1 files changed, 3 insertions, 0 deletions
diff --git a/riscv/insns/flt_s.h b/riscv/insns/flt_s.h
new file mode 100644
index 0000000..52eee5d
--- /dev/null
+++ b/riscv/insns/flt_s.h
@@ -0,0 +1,3 @@
+require_fp;
+RD = f32_lt(FRS1, FRS2);
+set_fp_exceptions;