如果目标地址j跳转到立即数会怎样？

如何解决如果目标地址j跳转到立即数会怎样？

3. Mr.Noob is pondering about this strange line of MIPS instruction in his program:
beq $t3,$t9,0 #0 is the immediate value
Which of the following statements is TRUE?
A. That instruction is an “infinite loop”.
B. That instruction can be removed from the program with NO impact on execution
result.
C. That instruction is equivalent to a branch‐lesser‐or‐equal (ble).
D. That instruction jumps to the instruction at instruction address 0.
E. None of the above.

请问为什么答案是B？谢谢。

解决方法

beq指令是I-Type，这意味着该指令的一部分编码了一个16位带符号立即数。该指令是条件分支。该指令的立即数用作采用的分支目标。如果条件是：

• false，则pc := pc + 4是它执行的操作（直到下一条指令）。由于未采用分支，因此与其他任何指令（例如add）一样，pc以顺序方式前进。

• true，然后进行分支，操作是pc := pc + 4 + sxt32(imm16)*4，它将控制权转移到目标，通常是汇编语言中的标签。但是，由于立即数为零，因此该等式的求值为pc := pc + 4 + sxt32(0)*4-或-pc := pc + 4 + 0。{p>

因此，无论条件是真还是假，是否采用分支，都具有仅将pc提前1条指令的效果。

使用标签代替即时标签：

pc := pc + 4

这还将在 beq $t3,$t9,next next: ... 的机器代码中立即产生0值。

如果所取beq的立即数为-1，则它分支到自身，这将导致无限循环。如果立即数为-2，则按1条指令向后跳转；否则为0。如果立即数为0，则继续执行下一条指令；如果立即数为1，则分支跳过一条指令。

删除指令将减少代码大小并提高性能，但不会以其他方式影响程序的逻辑-假定程序不以某种方式取决于代码大小或位置。

让我们注意，使用带有立即数的分支的代码通常取决于位置，如果删除一条指令，则可能必须修复这些分支-这就是为什么我们改为使用标签来使汇编器计算正确的立即数（因此我们可以自由添加和删除说明，只需重新组装即可。