MIPS - 使用 bne 的分支约定

Question

在讲座中，我们的教授说在分支中使用bne而不是使用beq是有原因的（让我们自己弄清楚），如下图所示。

if ( i == j )
    i++ ;
j-- ;

编译成

bne  $r1, $r2, L1        # branch if ! ( i == j ) 
addi $r1, $r1, 1         # i++ 
L1: addi $r2, $r2, -1    # j-- 

另外，in this link，也暗示了在 MIPS 程序集中以 否定 方式实现条件分支是一个约定。我最好的选择是，它是为了保持普通情况简单 - 因此快速 - 因为直观地说，如果我们检查是否相等，那么我们会期望它更有可能变得相等，因此当它是 不相等。我想我只是努力使它合理，但我仍然无法区分在beq 或bne 中实现它的核心区别。如果有人解释原因，我将不胜感激。

Answer 1

考虑一下如果您使用了beq，代码会是什么样子。你可能会得到这样的结果：

beq $r1, $r2, L1
L2: addi $r2, $r2, -1 # j--
...
...
L1: addi $r1, $r1, 1 #i++
j L2

或者这个：

beq $r1, $r2, L1
addi $r2, $r2, -1 # j--
j L2
L1: addi $r1, $r1, 1 #i++
addi $r2, $r2, -1 # j--
L2:

与在开始时使用bne 相比，在任何一种情况下，您都会在其中一个执行路径中有一个额外的分支。