aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/flt_s.h
diff options
context:
space:
mode:
Diffstat (limited to 'riscv/insns/flt_s.h')
-rw-r--r--riscv/insns/flt_s.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/riscv/insns/flt_s.h b/riscv/insns/flt_s.h
index 40acc34..2f50ed6 100644
--- a/riscv/insns/flt_s.h
+++ b/riscv/insns/flt_s.h
@@ -1,4 +1,4 @@
-require_extension('F');
+require_either_extension('F', EXT_ZFINX);
require_fp;
-WRITE_RD(f32_lt(f32(FRS1), f32(FRS2)));
+WRITE_RD(f32_lt(FRS1_F, FRS2_F));
set_fp_exceptions;