如何将MIPS汇编的beq $t2, $0, ELSE转换为十六进制机器码？

问题1：标签先引用后定义的合法性说明 #

MIPS汇编器默认采用两遍扫描机制处理源码，这是前向引用标签合法的核心原因：

• 第一遍扫描仅遍历所有汇编代码，逐行记录每个标签对应的内存地址（即当前PC值），存入内部符号表，不会生成机器码，无论标签是在引用前还是引用后定义，扫描完成后所有标签的地址都会被完整记录
• 第二遍扫描才会逐行将汇编指令翻译为机器码，此时直接从符号表查询目标标签的地址即可完成计算，不存在找不到标签的问题

问题2：beq $t2, $0, ELSE转十六进制机器码步骤 #

前提确认 #

MIPS32架构下beq属于I型指令，32位结构如下：

步骤1：确认寄存器编号 #

• $t2的寄存器编号为10，二进制为01010
• $0（零寄存器）的寄存器编号为0，二进制为00000

步骤2：计算偏移量 #

MIPS中分支指令的偏移量计算规则为：

偏移量 = (目标标签地址 - 当前分支指令的下一条指令地址) / 4
注：MIPS采用流水线设计，执行当前分支指令时，PC已经自动+4指向了下一条指令，所以偏移基准是分支指令的下一条地址

我们给示例代码逐行分配地址（假设第一条指令起始地址为PC_BASE，每条指令占4字节）：

地址          代码
PC_BASE + 0   slt $t2, $t0, $t1
PC_BASE + 4   beq $t2, $0, ELSE  ; 待转换的分支指令
PC_BASE + 8   j DONE             ; 分支指令的下一条指令，作为偏移基准
PC_BASE + 12  ELSE: addi $t2, $0, 3  ; 目标标签地址
PC_BASE + 16  DONE:

代入公式计算偏移量：
偏移量 = ( (PC_BASE + 12) - (PC_BASE + 8) ) / 4 = 1，16位二进制表示为0000000000000001

步骤3：拼接字段转十六进制 #

将所有字段拼接得到32位二进制机器码：
000100 01010 00000 0000000000000001
每4位为一组转换为十六进制，最终结果为：0x11400001

内容的提问来源于stack exchange，提问作者Triple Jay