计算机组成原理白中英主编课件chp10.pptVIP

【例4】按照上面的处理方式，安腾的编译器将对例3的汇编代码进行优化 ①1d8.S r1＝［r3］//以r3内容为地址访存，推测加载寄存器r1 ②……//加载指令被提前若干个周期 ③cmp．eq P1，P2=0，r3；//无条件执行：将r3寄存器的值与0比较,若相等则置推断寄存器P1为1，P2为0,否则置推断寄存器P1为0，P2为1 ④(P1) add r2=1，r2 //若P1为1，则r2+l送r2 ⑤(P2) chk．S r1．err_recov //若P2为1，则检查r1寄存器的NaT标记,若NaT=1，则转入err_recov例程,若NaT＝0，则保存［r3］到r1 【例5】研究下面的程序段 ①add r5=4，r0； ②st4［r7］=r5; / /将r5的值存入r7指向的内存单元 ③ld4 r2=［r8］；//以r8的内容为地址访存，加载寄存器r2 ④add r6=r2，r5 //r6=r2+r5 其中第4条指令需要使用第3条指令取数的结果。为了减少访存延迟，编译器可以将第3条指令提前到第1条指令之前。但这样做的风险是，假如当前寄存器r8的值和r7的值相等，则意味着第三条取数指令和第二条存数指令访问的是同一个内存单元。而把取数指令提前到存数指令之前将使取数指令得到存数之前的值，而不是程序原意要使用的存数指令执行之后的取值。因此，在传统体系结构中，如果编译器不能确