aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/fmin_s.h
diff options
context:
space:
mode:
Diffstat (limited to 'riscv/insns/fmin_s.h')
-rw-r--r--riscv/insns/fmin_s.h4
1 files changed, 0 insertions, 4 deletions
diff --git a/riscv/insns/fmin_s.h b/riscv/insns/fmin_s.h
deleted file mode 100644
index 994c860..0000000
--- a/riscv/insns/fmin_s.h
+++ /dev/null
@@ -1,4 +0,0 @@
-require_fp;
-FRD = isNaNF32UI(FRS2) || f32_lt_quiet(FRS1,FRS2) /* && FRS1 not NaN */
- ? FRS1 : FRS2;
-set_fp_exceptions;