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

Question

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？谢谢。

Answer 1

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

false，那么pc := pc + 4就是它执行的操作（落到下一条指令）。由于不采用分支，因此这会像任何其他指令一样以顺序方式推进 pc，例如 add.
true，则取分支，操作为pc := pc + 4 + sxt32(imm16)*4，将控制转移到目标，通常是汇编语言中的标签。但是，由于立即数为零，因此此等式的计算结果为 pc := pc + 4 + sxt32(0)*4，即 pc := pc + 4 + 0 - 或 - pc := pc + 4.

因此，无论条件为真还是假，分支是否被采纳，都只是将pc前进1条指令的效果。

使用标签而不是立即数：

    beq $t3, $t9, next
next:
    ...

这也会在 beq.

的机器码中产生立即数 0

如果被取beq的立即数是-1，那么它分支到自己，这将导致死循环。如果立即数是-2，则它向后分支1条指令；如果立即数为 0，它只是继续执行下一条指令；如果立即数为 1，则分支跳过一条指令。

删除指令将减少代码大小并提高性能，但不会影响程序的逻辑——假设程序不以某种方式依赖于代码大小或位置。

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

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

what happens if the destination address j jumps to is an immediate value?

mips

instruction-set