MIPS指令数组循环中process_instruction函数集成问题求助

问题描述 #

课程作业要求编写MIPS汇编程序，实现遍历指令指针数组、解析每条指令的opcode以判断指令类型的功能。目前已能正确打印指令内容及对应的opcode值，但process_instruction函数无法正确集成到loop_array循环中，尝试多种集成方式后出现以下异常：

• 程序进入死循环
• 仅打印数组首个指针，且指令类型判断错误
• 输出结果全为0

排查与解决思路 #

1. 校验循环终止与指针更新逻辑 #

MIPS数组遍历依赖准确的循环控制，需重点检查：

• 循环中是否正确递增数组指针/索引，避免因未更新导致死循环
• 终止条件是否正确，比如是否误将bne写成beq，或比较的寄存器值与数组终止标记不匹配（比如数组用0结尾，但循环判断时用了其他值）

2. 遵循MIPS调用约定保存寄存器 #

MIPS函数调用会涉及寄存器的使用规则，若process_instruction破坏了循环依赖的寄存器，会直接导致循环异常：

• 临时寄存器（$t0-$t9）不需要被函数保存，但如果循环中使用了这些寄存器，需确认函数是否修改了未备份的临时寄存器
• 保存寄存器（$s0-$s7）若被函数使用，必须在函数开头将其压入栈保存，结尾恢复，否则会覆盖循环中的变量值

示例寄存器保存恢复模板：

process_instruction:
    addi    $sp, $sp, -8       # 分配栈空间
    sw      $s0, 0($sp)        # 保存$s0
    sw      $s1, 4($sp)        # 保存$s1

    # 函数核心逻辑...

    lw      $s1, 4($sp)        # 恢复$s1
    lw      $s0, 0($sp)        # 恢复$s0
    addi    $sp, $sp, 8        # 释放栈空间
    jr      $ra                # 返回

3. 确认函数参数传递正确性 #

调用process_instruction时，需确保指令值/地址正确传入函数：

• 按照MIPS约定，参数通常通过$a0-$a3传递，需确认调用前已将当前指令值加载到对应参数寄存器
• 避免在调用函数前覆盖参数寄存器的值

4. 检查opcode解析与指令类型判断逻辑 #

若出现指令类型判断错误，需排查：

• opcode提取是否正确：R/I/J型指令的opcode都在指令的高6位，需用srl或andi正确提取

  # 提取高6位opcode示例
  srl     $t0, $instr, 26      # 将指令右移26位，得到opcode
  andi    $t0, $t0, 0x3F       # 确保只保留低6位（可选，右移后已为6位）
  

• 检查opcode与指令类型的映射是否正确，比如R型指令opcode为0，I型addi为8，J型j为2等

5. 验证内存访问正确性 #

若输出全为0，需确认：

• 指令数组初始化是否正确，是否将有效指令指针存入数组，而非全0值
• 加载指令值时的地址是否正确，比如是否误将数组指针直接作为指令值使用，未执行lw操作

示例修正后的循环集成模板 #

.data
instructions: .word instr1, instr2, instr3, 0  # 数组以0作为终止标记
instr1: .word 0x00221820  # add $3, $1, $2 (R型，opcode 0)
instr2: .word 0x20010005  # addi $1, $0, 5 (I型，opcode 8)
instr3: .word 0x08000001  # j instr1 (J型，opcode 2)

r_type_msg: .asciiz "R-type instruction\n"
i_type_msg: .asciiz "I-type instruction\n"
j_type_msg: .asciiz "J-type instruction\n"
unknown_msg: .asciiz "Unknown instruction type\n"

.text
main:
    la      $t0, instructions  # 加载数组基地址
loop_array:
    lw      $t1, 0($t0)        # 加载当前指令指针
    beq     $t1, $0, exit_loop # 遇到0终止循环
    lw      $a0, 0($t1)        # 将指令值传入$a0作为参数
    jal     process_instruction# 调用处理函数
    addi    $t0, $t0, 4        # 数组指针+4，指向下一个元素
    j       loop_array
exit_loop:
    li      $v0, 10            # 退出程序
    syscall

process_instruction:
    addi    $sp, $sp, -4
    sw      $ra, 0($sp)        # 保存返回地址

    # 提取opcode
    srl     $t0, $a0, 26
    # 判断指令类型
    beq     $t0, $0, print_r_type
    beq     $t0, 8, print_i_type
    beq     $t0, 2, print_j_type

    # 输出未知类型
    li      $v0, 4
    la      $a0, unknown_msg
    syscall
    j       end_process

print_r_type:
    li      $v0, 4
    la      $a0, r_type_msg
    syscall
    j       end_process

print_i_type:
    li      $v0, 4
    la      $a0, i_type_msg
    syscall
    j       end_process

print_j_type:
    li      $v0, 4
    la      $a0, j_type_msg
    syscall

end_process:
    lw      $ra, 0($sp)
    addi    $sp, $sp, 4
    jr      $ra

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