C语句翻译为MIPS代码时为何使用sll和add指令？以swap函数为例

这两条指令完全没有冗余，核心作用是动态计算带动态下标的数组元素的真实内存地址，逻辑完全匹配C语言数组的存储规则与MIPS架构的硬件限制，具体拆解如下：

• C语言中int类型占4字节，数组所有元素在内存中连续排布，取第k个元素的地址公式为：v[k]的实际地址 = 数组v的基地址 + k × 单元素字节长度。按照给定的寄存器映射规则，数组v的基地址存在$4，入参k存在$5，要得到可访存的有效地址，必须完成这一步计算。
• sll $2, $5, 2的作用是高效计算数组元素的字节偏移。sll是逻辑左移指令，将寄存器中的值左移2位，等价于把k的值乘以4（2的2次方），刚好匹配int类型4字节的长度。相比专门的硬件乘法指令，移位指令执行周期更短，是MIPS计算数组元素偏移的标准优化。结合题目给出的入参k=3，这条指令执行后，临时寄存器$2中存储的偏移量就是3×4=12。
• add $2, $4, $2的存在是由MIPS访存指令的硬件寻址模式决定的。MIPS的lw、sw等访存指令，仅支持「基址寄存器值 + 16位固定立即数偏移」的寻址逻辑，不支持把动态计算的寄存器值作为偏移量直接传入。由于k是函数运行时传入的可变参数，对应的k×4的偏移量是动态生成的，不能直接写死在访存指令的立即数字段里，必须通过加法把数组基地址和动态计算的偏移量相加，把最终的元素地址存入$2，作为后续访存操作的基址。

按题目给出的入参（数组v基地址为2000、k=3）推导，两条指令执行后$2中存储的实际地址为2000+12=2012，刚好对应v[3]的内存位置；后续代码中lw $15, 0($2)就是读取这个位置的数值存入临时变量temp，lw $16, 4($2)就是读取相邻的2016地址的数值（即v[k+1]），完全匹配原C代码的执行逻辑。

小提示：这套「左移算字节偏移、加基址算有效地址」的流程，是MIPS架构下所有带动态下标的数组访存操作的固定实现，并非swap函数独有的逻辑。

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