计算机组成-关于MIPS流水线问题

keQsia

北大陆俊林计算机组成流水线处理器一讲课后习题有一道如下：
如果采用延迟转移技术(延迟数为1)，那么执行完下面这些指令之后，$s1的内容是什么：
xor $s1,$s1,$s1
addi $t1,$t3,1
subi $t2,$t4,2
beq $t1,$t2,Next:Assume $t1 ==$t2 is True
addi $s1,$s1,1
addi $s1,$s1,2
Next:
addi $s1,$s1,3
答案是 4。但是我不太理解为什么，延迟转移不会改变程序结果，所以我认为 xor 运算后 $s1=0，然后经过 beq 分支计算：$s1=$s1+3 后应当变成 3，我在网上找了很多帖子都没有解释这个问题，希望有懂这方面的大神指点一下。

kof888

我的理解是先执行完beq后面那条指令才跳转的吧。

keQsia

kof888 发表于 2022-7-21 20:05
我的理解是先执行完beq后面那条指令才跳转的吧。

beq下面的指令不是分支语句的一部分吗？在分支还没判断完成之前怎么可以运行呢？

kof888

在beq判断完毕以后，先执行延迟指令也就是后面那个add，然后才跳转的，条件判断指令有很多种，不熟悉的话需要自己查看指令集是否有延迟跳转

keQsia

kof888 发表于 2022-7-22 06:57
在beq判断完毕以后，先执行延迟指令也就是后面那个add，然后才跳转的，条件判断指令有很多种，不熟悉的话需 ...

延迟难道不是机器在处理指令的时候自动完成的？我查到的情况就是会把判断之前的语句置换到判断后面紧跟执行，这里就是xor。大神的意思是这段代码已经重构了？我看了指令集好像没规定条件判断下面要放一条需要执行的语句。