Correct fcvtmod.w.d flag generation logic

Timmmm · Apr 29, 2024 · d737393 · d737393
1 parent 0aae5bc
commit d737393
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/model/riscv_insts_zfa.sail b/model/riscv_insts_zfa.sail
@@ -745,7 +745,9 @@ function fcvtmod_helper(x64) = {
                                 else integer;
 
     /* Raise FP exception flags, honoring the precedence of nV > nX */
-    let flags : bits(5) = if (true_exp > 31)         then nvFlag()
+    let max_integer = if sign == 0b1 then unsigned(0x80000000)
+                                     else unsigned(0x7fffffff);
+    let flags : bits(5) = if (true_exp > 31 | unsigned(integer) > max_integer) then nvFlag()
                      else if (fractional != zeros()) then nxFlag()
                      else                            zeros();