标签只是让您从另一条指令中引用地址的一种方式。他们不会阻止执行。无论源代码中的空格或标签如何，执行总是继续到下一条指令。
请记住，asm 源代码只是一种将机器代码写入文件的语言；标签不会出现在机器码中。
你的代码很奇怪。在b 指令之后您有一个addi $t0,$t0,2，因此在禁用分支延迟槽的情况下永远无法到达它。 （默认为 MARS/SPIM）。它上面没有标签，所以它不是你从其他地方跳转到的分支目标。
但是，如果您使用的是带有分支延迟槽的真正 MIPS（即使采用分支，分支后的指令也会执行），那么 b 位于 beq leads to unpredictable behaviour 的分支延迟槽中。即 b 无论分支是否被采用都会运行，这使它毫无意义。因此，无论哪种方式，您的代码都没有意义。
您正在使您的if 变得比它需要的复杂得多（或者它是if/else？）。 不用beq / b 总是跳转到某处，只需使用bne 跳转或跌倒。另外，使用有意义的标签名称。
## MIPS without branch-delay slots
add $t0, $t1,$t2
bnez $t0, sum_nonzero
# addi $t0,$t0,2 # was unreachable, or was that supposed to be a branch-delay slot?
# sumzero: # not really a branch target, only reached via fallthrough
addi $t2, $zero, 3 # only reached with t0 = 0, might as well not even read it
# execution falls through to the next instruction like always
sum_nonzero:
addi $t1,$t1,2 # runs whether bnez was taken or not
... execution continues
或者在带有分支延迟槽的 MIPS 上，假设 addi $t0,$t0,2 应该仅在 $t0 非零时运行。
我正在使用来自直通路径的addi $t1,$t1,2 填充分支延迟槽，因为它始终在您的原始源中运行。我认为这是故意的。
add $t0, $t1,$t2
bnez $t0, sum_nonzero
addi $t1,$t1,2 # branch-delay: runs whether bnez was taken or not
# Fall through when sum == zero
addi $t2, $zero, 3
addiu $t0,$zero, -2 # instead of branching to avoid addi $t0,$t0,2 on this path, do its inverse
sum_nonzero:
addi $t0,$t0,2 # produces $t0 = 0 if $t1+$t2 == 0, otherwise $t0 = $t1+$t2+2
... execution continues
如果您正在制作if/else，您可以将一侧的代码放在其他地方（在jr $ra 返回之后），这样您就不必跳过它。因此，一条路径有一个未采用的分支；对方有一个采取beq和一个无条件的b重新加入另一条路径。