如何实现获取B[2]、计算A[B[2]]*2逻辑的MIPS汇编代码

前提假设：

• 数组A、B为int类型，单元素占4字节内存
• A的基地址预存在寄存器$s0，B的基地址预存在寄存器$s1
• 变量X最终存入寄存器$s2
• 临时寄存器$t0~$t2存储中间值，暂不考虑数据溢出场景

核心操作分步实现 #

1. 读取B[2]并做分支判断 #

C代码中首先要拿到B[2]的值判断是否非负，对应MIPS代码如下：

# 计算B[2]地址：基址+2*4偏移，读取值存入$t0
lw $t0, 8($s1)
# 若B[2]小于0，直接跳过分支逻辑
bltz $t0, END_IF

2. 计算A[B[2]] * 2 #

首先通过B[2]的值计算A对应元素的地址，读取后完成乘2计算：

# 下标乘4得到偏移量：左移2位等价于*4，执行效率高于乘法指令
sll $t1, $t0, 2
# 偏移量加A的基地址，得到A[B[2]]的实际内存地址
add $t1, $t1, $s0
# 读取A[B[2]]的值存入$t2
lw $t2, 0($t1)
# 乘2计算：左移1位等价于*2
sll $t2, $t2, 1

3. 结果赋值给X #

# 将计算结果存入X对应的寄存器
move $s2, $t2
END_IF: # 分支结束标签，不满足条件时直接跳转至此处

完整可运行片段 #

lw $t0, 8($s1)
bltz $t0, END_IF
sll $t1, $t0, 2
add $t1, $t1, $s0
lw $t2, 0($t1)
sll $t2, $t2, 1
move $s2, $t2
END_IF:

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