minNum -> minimumNumber

[riscv-isa-sim.git] / riscv / insns / fmin_s.h

diff --git a/riscv/insns/fmin_s.h b/riscv/insns/fmin_s.h
index 994c86089d029a6ba55e057a476548813a23f79f..80990035a6004a721261d57eabda019589fc95d2 100644 (file)
--- a/riscv/insns/fmin_s.h
+++ b/riscv/insns/fmin_s.h
@@ -1,4 +1,8 @@
+require_extension('F');
 require_fp;
-FRD = isNaNF32UI(FRS2) || f32_lt_quiet(FRS1,FRS2) /* && FRS1 not NaN */
-      ? FRS1 : FRS2;
+bool less = f32_lt_quiet(f32(FRS1), f32(FRS2)) ||
+            (f32_eq(f32(FRS1), f32(FRS2)) && (f32(FRS1).v & F32_SIGN));
+WRITE_FRD(less || isNaNF32UI(f32(FRS2).v) ? FRS1 : FRS2);
+if (isNaNF32UI(f32(FRS1).v) && isNaNF32UI(f32(FRS2).v))
+  WRITE_FRD(f32(defaultNaNF32UI));
 set_fp_exceptions;