2014-44
某程序中有如下循环代码段 P:for(int i = 0; i < N; i++) sum+=A[i];。假设编译时变量 sum 和 i 分别分配在寄存器 R1 和 R2 中。常量 N 在寄存器 R6 中,数组 A 的首地址在寄存器 R3 中。程序段 P 起始地址为 08048100H,对应的汇编代码和机器代码如下表所示。

执行上述代码的计算机 M 采用 32 位定长指令字,其中分支指令 bne 采用如下格式:

OP 为操作码;Rs 和 Rd 为寄存器编号;OFFSET 为偏移量,用补码表示。请回答下列问题,并说明理由。
1)M 的存储器编址单位是什么?
2)已知 sll 指令实现左移功能,数组 A 中每个元素占多少位?
3)表中 bne 指令的 OFFSET 字段的值是多少?已知 bne 指令采用相对寻址方式,当前 PC 内容为 bne 指令地址,通过分析表中指令地址和 bne 指令内容,推断出 bne 指令的转移目标地址计算公式。
4)若 M 采用如下“按序发射、按序完成”的 5 级指令流水线:IF(取指)、ID(译码及取数)、EXE(执行)、MEM(访存)、WB(写回寄存器),且硬件不采取任何转发措施,分支指令的执行均引起 3 个时钟周期的阻塞,则 P 中哪些指令的执行会由于数据相关而发生流水线阻塞?哪条指令的执行会发生控制冒险?为什么指令 1 的执行不会因为与指令 5 的数据相关而发生阻塞?
(1)存储器编址单位
字节编址。
理由:采用32位定长指令字(4字节),表中指令地址间隔为4个地址单位,因此每个地址单位代表1字节。
(2)数组A每个元素占用位数
32位(或4字节)。
理由:sll指令左移两位等价于乘以4,表示数组元素地址间隔为4字节,结合字节编址可知每个元素占4字节。
(3)bne指令的OFFSET值及转移目标地址计算公式
- OFFSET字段值为-6(机器代码中FFFAH为补码表示)。
- 转移目标地址计算公式:PC + 4 + OFFSET × 4。
理由:执行bne时PC自动加4,目标地址与当前PC+4的差值为-24,OFFSET为-6,故每个偏移单位对应4字节。
(4)流水线阻塞与冒险分析
- 数据相关阻塞的指令:2、3、4、6。
(指令2依赖指令1,指令3依赖指令2,指令4依赖指令3,指令6依赖指令5)
- 发生控制冒险的指令:6(bne为分支指令)。
- 指令1不会因与指令5的数据相关而阻塞:因为分支指令bne引起3个时钟周期的阻塞,消除了循环尾指令5与下一次循环首指令1之间的数据相关影响。