MIPS程序parse_significand函数问题求助：解析有效位数遇阻

我正在开发一款MIPS程序，该程序接收用户输入的十进制数，输出符号位、指数位、有效位数（significand）、截断无符号整数及截断整数。目前parse_significand函数出现问题，无法定位故障点。函数代码如下：

# Procedure to parse and interpret the significand (mantissa) and add the implied 1
parse_significand:
    andi $v0, $a0, 0x7FFFFF     
    ori  $v0, $v0, 0x800000      
    jr   $ra

可能的故障点分析 #

• 未处理非规格化数场景：单精度浮点数中，当指数位全为0时属于非规格化数，此时有效位数没有隐含的前导1。你的代码无条件执行ori $v0, $v0, 0x800000，会给非规格化数错误添加前导1，导致结果偏差。
• 输入参数格式错误：该函数假设$a0存储的是单精度浮点数的完整位模式（即通过mfc1从浮点寄存器取出的整数形式）。如果传入的是用户输入的十进制整数直接值，而非浮点数的位表示，逻辑会完全失效。
• 未匹配有效位数的数值需求：当前函数仅将有效位拼接成整数返回，但如果程序需要的是有效位数的实际浮点值（如1.xxxxxx形式），这种位拼接的结果无法直接使用，需要进一步转换。

修复后的示例代码 #

针对非规格化数的问题，修改函数增加指数位检查：

# Procedure to parse and interpret the significand (mantissa), adding implied 1 if normalized
parse_significand:
    # 提取8位指数位（单精度浮点数指数位于第23-30位）
    srl  $t0, $a0, 23
    andi $t0, $t0, 0xFF
    
    # 提取低23位有效位
    andi $v0, $a0, 0x7FFFFF
    
    # 仅规格化数（指数非0）添加隐含前导1
    bne  $t0, $zero, add_implied_one
    jr   $ra                # 非规格化数直接返回有效位

add_implied_one:
    ori  $v0, $v0, 0x800000
    jr   $ra

额外检查建议 #

• 确认调用函数前，已将用户输入的十进制数正确转换为单精度浮点数的位模式：比如先用十进制转浮点逻辑将输入转成浮点寄存器中的值，再通过mfc1指令将浮点值的位表示存入$a0。
• 如果需要有效位数的实际数值，可将返回的24位整数除以2^23（即右移23位结合浮点转换）得到对应的小数部分。

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