请求协助将MIPS汇编代码转换为Java/C伪代码

先帮你拆解原MIPS汇编的逻辑，再修正你的伪代码：

原MIPS指令逐行解析 #

1. addu $v0, $0, $0：把返回值寄存器$v0初始化为0（$0是MIPS的零寄存器，值永远为0）
2. beq $a1, $0, END：如果参数寄存器$a1的值为0，直接跳转到END标签（也就是函数返回）
3. sll $t0, $a0, $t0：这里有个明显的问题——$t0在这条指令前没有被赋值，移位操作的结果完全不确定。结合后续循环逻辑（bne $a0, $t0, LOOP），推测这是笔误，正确逻辑应该是计算数组的结束地址：先把元素个数$a1左移2位（等价于乘以4，因为每个int占4字节），再加上数组基地址$a0，对应指令应该是：

   sll $t0, $a1, 2    # $t0 = $a1 * 4
   addu $t0, $a0, $t0 # $t0 = 数组基地址 + 总字节数 = 结束地址
   

   我会基于这个合理推测生成符合业务逻辑的伪代码，同时也会给出严格对应原指令的字面转换版本。
4. LOOP:：循环开始标签
5. lw $t1, 0($a0)：从$a0指向的内存地址加载一个int值到$t1
6. addu $v0, $v0, $t1：把$t1的值加到累加器$v0中
7. addiu $a0, $a0, 4：$a0加4，指向下一个数组元素（因为int占4字节）
8. bne $a0, $t0, LOOP：如果$a0不等于$t0（还没到数组结束地址），跳回循环继续执行
9. END: jr $ra：函数返回，返回值存在$v0中

符合业务逻辑的Java伪代码 #

这是一个计算int数组元素和的函数，更贴近实际开发逻辑：

// 参数：arr对应MIPS的$a0（数组基地址），length对应$a1（数组元素个数）
int sumArray(int[] arr, int length) {
    int result = 0; // 对应MIPS的$v0，累加器初始化
    if (length == 0) {
        return result; // 元素个数为0，直接返回0
    }
    int currentIndex = 0;
    while (currentIndex < length) {
        int currentElement = arr[currentIndex]; // 对应lw指令加载元素
        result += currentElement; // 对应addu累加操作
        currentIndex++; // 对应addiu移动到下一个元素
    }
    return result; // 返回累加结果
}

严格对应原指令（忽略$t0未初始化问题）的字面伪代码 #

仅做指令的直接转换，逻辑存在不合理性：

int mipsFunc(int[] arr, int param) {
    int v0 = 0;
    if (param == 0) {
        return v0;
    }
    // 原指令sll $t0,$a0,$t0的字面转换，$t0未初始化，逻辑无效
    int t0 = arr << t0;
    int currentAddr = arr; // 模拟MIPS的$a0寄存器
    while (currentAddr != t0) {
        int t1 = *currentAddr; // 模拟内存加载，Java不支持直接指针操作，仅为字面转换
        v0 += t1;
        currentAddr += 4; // 地址加4，对应MIPS的addiu指令
    }
    return v0;
}

内容的提问来源于stack exchange，提问作者Βασιλική Παντελή