如何在RISC-V汇编中检测溢出？递归阶乘函数溢出检测方案咨询

核心思路 #

阶乘溢出的本质是 n * fact(n-1) 超出当前架构的有符号整数范围（RV32为2^31-1，RV64为2^63-1）。递归过程中，每次拿到子问题的结果后，先通过除法预判断再执行乘法：

• 若 fact(n-1) > MAX_VAL / n，则相乘必然溢出，触发错误
• 否则执行乘法，返回结果

RV32汇编实现示例 #

# 递归阶乘函数，输入a0 = n，返回a0 = n!，溢出时触发错误
fact:
    # 处理base case: n <= 1时返回1
    li t0, 1
    ble a0, t0, base_case

    # 保存寄存器到栈（递归调用需保存返回地址和当前n）
    addi sp, sp, -8
    sw ra, 4(sp)
    sw a0, 0(sp)

    # 递归调用fact(n-1)
    addi a0, a0, -1
    call fact

    # 恢复当前n
    lw t0, 0(sp)       # t0 = n
    # 溢出检测：判断fact(n-1) > 0x7FFFFFFF / n？
    li t1, 0x7FFFFFFF  # RV32有符号整数最大值
    div t2, t1, t0     # t2 = MAX_VAL / n
    bgt a0, t2, overflow_error  # 如果fact(n-1) > t2，触发溢出

    # 执行乘法：n * fact(n-1)
    mul a0, a0, t0

    # 恢复栈和返回地址
    lw ra, 4(sp)
    addi sp, sp, 8
    ret

base_case:
    li a0, 1
    ret

overflow_error:
    # 触发错误：设置错误码并调用ecall（可根据环境调整）
    li a0, -1          # 用-1标记溢出错误
    li a7, 10          # 假设环境中a7=10对应退出并返回错误码的ecall
    ecall

RV64适配调整 #

仅需修改最大值常量，除法指令保持默认64位运算即可：

# 在溢出检测段替换最大值
li t1, 0x7FFFFFFFFFFFFFFF  # RV64有符号整数最大值
div t2, t1, t0

关键细节说明 #

• 栈帧管理：递归时必须保存ra（返回地址）和当前n，否则子函数调用会覆盖上下文导致错误
• 溢出判断逻辑：用除法预判断避免乘法溢出，比先乘法再检测标志位（如mulh）更高效，且不会产生无效的中间溢出值
• 错误触发方式：示例用ecall调用环境错误处理，也可替换为ebreak触发调试中断，或直接跳转到自定义错误处理流程
• 输入合法性：若需处理负数输入，可在函数开头添加blt a0, zero, overflow_error，直接触发错误

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