C++结构体遍历转MIPS汇编的移位寻址与代码正确性解析

前置内存布局约定 #

根据题目给出的转换约束，无内存填充、成员按声明顺序存储、short类型占2字节、active成员偏移为3字节，ProductionUnit 结构体的内存分布如下：

• yield（unsigned short，2字节）：结构体内偏移0
• id（short，2字节）：结构体内偏移2
• active（bool，1字节）：结构体内偏移3
  单结构体总大小为5字节，数组中相邻元素的地址间隔为5字节。

朋友提供代码的问题 #

这份代码完全不满足C++源码的语义要求，从寄存器分配、地址计算到循环逻辑全链路存在错误，具体如下：

1. 寄存器误用
   约束明确$s0存储units数组的基地址，代码未给循环变量i分配独立寄存器，直接将$s0当作循环变量做移位、自增操作，从第一次循环开始就破坏了数组基地址，后续所有访存操作都指向非法内存位置。
2. 地址计算逻辑完全错误
   • 移位运算结果和注释不符：前两行指令先将输入值左移1位（乘2）、再左移1位（乘4），二者相加得到的是输入值的6倍，和注释标注的3i完全无关——2i加4i结果为6i，不存在得到3i的可能。
   • 步长计算不符合结构体规则：定位第i个数组元素的起始地址，需要计算基地址 + i * 5，不存在左移2位（乘4）就能算出元素偏移的可能。定位active成员需要在元素起始地址基础上再加3字节偏移，定位yield成员直接取元素起始地址的2字节值即可，和代码计算出的偏移量完全不匹配。
   • 针对你提出的疑问：单次左移2位（乘4）完全无法定位到偏移3的active成员。左移2位是单元素大小为4字节的数组专用的快速索引计算方式，既匹配不了5字节的结构体步长，也覆盖不了active的3字节内部偏移。
3. 访存指令与数据类型不匹配
   • active是1字节的bool类型，判断状态应该用lbu（无符号字节加载）指令读1字节，代码用lw加载4字节，会把相邻内存的无关值一并读入，分支判断逻辑完全失效。
   • yield是2字节的unsigned short类型，累加时应该用lhu（无符号半字加载）从元素偏移0位置取值，代码在分支判断后，从和active相同的错误地址用lw加载4字节累加，取到的值根本不是yield的内容。
4. 循环结构残缺
   C源码的for循环有明确的初始化（i=0）、终止条件（i<1000）、变量自增逻辑，这份代码没有i的初始化，没有i和1000的比较判断，甚至没有定义loop标签就直接做无条件跳转，形成死循环，且自增操作修改的是存基地址的$s0而非循环变量i，完全不符合for循环的执行逻辑。

正确实现参考 #

符合约束的MIPS汇编片段逻辑如下：

add     $t0, $zero, $zero   # 初始化循环变量i=0，存入$t0
loop:
        slti    $t1, $t0, 1000      # 判断i < 1000，不满足则跳转到end
        beqz    $t1, end
        addi    $t2, $zero, 5       # 计算第i个元素的起始地址：基地址 + i*5
        mult    $t0, $t2
        mflo    $t2
        add     $t2, $s0, $t2
        lbu     $t3, 3($t2)         # 加载active成员（偏移3，1字节）
        beqz    $t3, next_iter      # active为0则跳过累加
        lhu     $t4, 0($t2)         # 加载yield成员（偏移0，2字节无符号）
        add     $s7, $s7, $t4       # 累加到totalSum
next_iter:
        addi    $t0, $t0, 1         # i自增
        j       loop
end:

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