MIPS浮点程序输出异常及Odd FP double register number错误排查

核心问题定位 #

你的程序存在三个关键问题，导致输出始终为0且触发浮点寄存器错误：

1. 输入处理完全错误 #

你使用syscall 8读取用户输入的字符串后，直接用l.d $f2, input加载双精度浮点数——这是错误的，因为input存储的是ASCII格式的字符串，并非双精度浮点数的二进制表示。正确的做法是使用syscall 6直接读取双精度浮点数到浮点寄存器，同时需要添加输入有效性检查。

2. 双精度浮点寄存器使用违规 #

MIPS架构中，双精度浮点寄存器必须使用偶数编号（如$f0、$f2、$f4等），因为每个双精度值占用两个连续的寄存器（例如$f0和$f1组成一个双精度寄存器对）。你的代码中使用了奇数编号的$f1、$f3作为双精度寄存器，直接触发“Odd FP double register number”错误。

3. 舍入逻辑混乱 #

原代码的循环初始化、变量操作逻辑错误，导致舍入计算无法正确执行，最终输出0。

修正后的完整代码 #

.data
    prompt1: .asciiz "Enter a decimal number with at least 5 decimal places: "
    prompt2: .asciiz "Enter a precision value between 1 and 4: "
    error1: .asciiz "Invalid input. Please enter a valid decimal number: "
    error2: .asciiz "Invalid precision value. Please enter a precision value between 1 and 4: "
    original: .asciiz "The original number entered was: "
    rounded: .asciiz "The rounded number is: "
    newline: .asciiz "\n"
    message: .asciiz "Enter 1 to try again or 0 to exit: "

.text
main:
    li $t2, 1

while:
    beq $t2, $zero, exit

    # 提示输入小数并读取双精度浮点数
    li $v0, 4
    la $a0, prompt1
    syscall

    li $v0, 6          # syscall 6: 读取双精度浮点数到$f0
    syscall
    mov.d $f2, $f0     # 保存原始值到$f2（偶数寄存器）

    # 检查输入是否有效（判断是否为NaN/无穷）
    c.eq.d $f0, $f0
    bc1f error1_label

    # 回显原始输入
    li $v0, 4
    la $a0, original
    syscall
    li $v0, 3
    mov.d $f12, $f2    # 输出原始值
    syscall
    li $v0, 4
    la $a0, newline
    syscall

    # 提示输入精度值
    li $v0, 4
    la $a0, prompt2
    syscall

    li $v0, 5          # 读取整数精度值
    syscall
    move $t0, $v0

    # 检查精度范围
    blt $t0, 1, invalid_precision
    bgt $t0, 4, invalid_precision

    # 初始化舍入变量：将原始值乘以10^precision，取整后再除以10^precision
    mov.d $f4, $f2     # $f4: 待舍入的数值
    li.d $f6, 10.0     # $f6: 乘数10.0
    li $t1, 0          # 循环计数器

round_loop:
    beq $t1, $t0, round_done
    mul.d $f4, $f4, $f6  # 乘以10，循环precision次
    addi $t1, $t1, 1
    j round_loop

round_done:
    cvt.w.d $f4, $f4   # 转换为整数（自动舍入）
    cvt.d.w $f4, $f4   # 转换回双精度浮点数

    # 除以10^precision得到舍入结果
    li $t1, 0
div_loop:
    beq $t1, $t0, div_done
    div.d $f4, $f4, $f6
    addi $t1, $t1, 1
    j div_loop

div_done:
    # 输出舍入结果
    li $v0, 4
    la $a0, rounded
    syscall
    li $v0, 3
    mov.d $f12, $f4
    syscall
    li $v0, 4
    la $a0, newline
    syscall

    # 询问是否继续
    li $v0, 4
    la $a0, message
    syscall
    li $v0, 5
    syscall
    move $t2, $v0
    j while

invalid_precision:
    li $v0, 4
    la $a0, error2
    syscall
    j while

error1_label:
    li $v0, 4
    la $a0, error1
    syscall
    j while

exit:
    li $v0, 10
    syscall

关键修改说明 #

• 输入处理修复：用syscall 6替代syscall 8直接读取双精度浮点数，避免字符串到二进制浮点数的错误转换；添加了输入有效性检查（判断是否为NaN）。
• 浮点寄存器合规化：所有双精度操作均使用偶数编号寄存器（$f0、$f2、$f4、$f6），彻底解决“Odd FP double register number”错误。
• 舍入逻辑重构：采用更直观的舍入方式：将数值乘以10^{precision，取整后再除以10}precision，确保舍入结果正确。
• 流程优化：完善了循环逻辑、结果输出流程，添加了舍后结果的输出提示，修复了原程序中未处理的继续/退出分支。

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