基于MIPS的DeLuXe汇编：计算行列式时分子为0的除法处理疑问

核心结论 #

分子为0的浮点除法（0/非0）在MIPS DeLuXe指令集中完全合法，不会触发任何异常，你不需要为这种情况添加捕获逻辑；只有除数为0的情况才会触发FPU异常，需要针对性处理。

详细解释 #

• MIPS FPU异常触发规则：MIPS浮点单元仅在以下场景触发异常：
  • 除数为0（非0/0）
  • 浮点溢出/下溢
  • 无效操作（如0/0、负数开平方等）
    单纯的0除以非0值是符合数学定义的合法运算，结果为0，不会触发任何异常，和高级编程语言的行为一致。
• 你的代码场景分析：
  你当前代码中的除法是divf f13,f12,f14，其中f14固定加载的是4.0（非0常量），所以不管f12（分子）是否为0，这个除法都是安全的。你注释掉的beqz f12,finish逻辑完全多余，反而会错误跳过那些对角线含0但数学上有效的矩阵计算，应该直接删除这些判断。
• 需处理的异常场景：只有当除数可能为变量（存在为0的可能）时，才需要提前判断并处理，比如如果f14是动态计算的值，就需要加beqz f14, handle_div_zero分支来规避除数为0的异常。但你的代码里f14是固定的4.0，所以连这个判断都不需要。

修正后的代码片段 #

calculoMatriz:
         
        lf f14,cuatro  ; cuatro=4.0 para poder operar, dimension de la matriz

    lf  f6,vector+20 ; cargamos de memoria vector[6]

        sf  m,f6  ; lo almacenamos en f6

        lf  f7,vector+24 ; cargamos de memoria vector[7]

        sf  m+4,f7 ; lo almacenamos en f7

        lf  f8,vector+28 ; cargamos de memoria vector[8]

        sf  m+8,f8 ; lo almacenamos en f8

        lf  f9,vector+32 ; cargamos de memoria vector[9]

        sf  m+12,f9 ; lo almacenamos en f9

        addf f12,f6,f7   ;añadimos los dos primeros valores porque al estar vacio podemos aprovechar los operandos

        addf f12,f12,f9  ;añadimos el tercer miembro
        
        addf f12,f12,f8  ; añadimos el cuarto miembro

        divf f13,f12,f14  ; dividir por cuatro 

        sf    mediam,f13  ; lo almacenamos en media

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