计算机结构与组成07-MachineStruRepII.pptVIP

CS61C L221 Performance ? UC Regents I-Format Problems (0/3) 问题0: 无符号数的符号扩展? addiu, sltiu, 符号扩展立即数为32位. 因此共立即数为 “有符号”整数. 合理性 addiu的含义：不是无符号数相加，而是不检测溢出的加法 参考前面书的结果 sltiu的含义：无符号数比较，确实有问题！但我们还是要坚持进行符号扩展，简单硬件 总会得到错误的结果吗? 否。仅对215 ≤ n 216有问题！太大的数我们也处理不了，汇编器想一些办法 I-Format Problem (1/3) 问题: 多数情况下addi, lw, sw 和slti所涉及的立即数足够小，从而在立即数字段即可装下. …但要是太大怎么办呢? 需要有一种办法来处理任意I格式所有32位立即数. I-Format Problem (2/3) 解答: 在软件中处理 + 新指令 不改变当前指令: 而是通过增加一条新的指令来解决 新指令: lui register, immediate 表示(Load Upper Immediate)装入立即数高位 取立即数的的高16位，并将这些位放到指定寄存器的上半部 (高位部分) 而设置低半部分为0 I-Format Problems (3/3) 解答 (续): 那么lui到底如何帮我们呢? 例: addi $t0,$t0, 0xABABCDCD 改为: lui $at, 0xABAB ori $at, $at, 0xCDCD add $t0,$t0,$at 这样，I格式指令仅取16位立即数 能否让汇编器帮我们自动处理呢? (后面讲) Branches: PC-Relative Addressing (1/5) Use I-Format 分支: PC相对寻址 (2/5) 分支的典型应用是怎么样的？ 回答: if-else, while, for 一般循环较小: 通常不到50条指令 函数调用和无条件跳转使用跳转指令 (j和 jal), 而不是分支. 结论: 可能跳转到内存的任何地方, 但分支通常只对PC作很小的改变 分支: PC相对寻址 (3/5) 32位分支指令解决方案: PC相对寻址 令16位立即数immediate字段为以补码表示的有符号数，在分支时，将其加上PC 得要去的地址. 那么，我们可以以PC为基点，分支± 215 字节，这对大多数循环来说是足够了. 如何进一步优化呢? Branches: PC-Relative Addressing (4/5) 注意: 指令是字, 因此是字对齐的 (字节地址总是4的倍数, 即二进制形式表示时，最后两位总是00). 因此，加到PC上的字节数永远都是4的倍数. 因此，指定立即数immediate以字作为单位 那么, 以PC为基点，我们可以分支± 215 个字 (或± 217个字节), 因此，可以处理的循环范围为原来的4倍. Branches: PC-Relative Addressing (5/5) 分支计算: 如果不进行分支: PC = PC + 4 PC+4 = 下一指令的字节地址 如果进行分支: PC = (PC + 4) + (immediate * 4) 观察 Immediate字段指定跳转的字数, 即要跳过多少条指令. Immediate 字段可正可负. 由于硬件的原因, 立即数是加到(PC+4)上, 而不是加到PC; 这样做的原因后面会讲 分支示例 (1/3) MIPS代码: Loop: beq $9,$0,End add $8,$8,$10 addi $9,$9,-1 j Loop End: Beq分支是I-格式: opcode = 4 (查表得) rs = 9 (首操作数) rt = 0 (次操作数) immediate = ??? Branch Example (2/3) MIPS代码: Loop: beq $9,$0,End addi $8,$8,$10 addi $9,$9,-1 j Loop End: Immediate字段: 加到PC (或者从PC中减去)的指令的条数， 从分支的后一条算起. 在此处, immediate = 3 Branch Example (3/3) MIPS Code: Loop: beq $9,$0,End addi $8,$8,$10 addi $9,$9,-1 j Loop End: PC寻址的问题 如果要移动整个函数代码在内存中的位置，分支字段的立