diff --git a/riscv/execute.h b/riscv/execute.h
index 15f90efc..69bdeb05 100644
--- a/riscv/execute.h
+++ b/riscv/execute.h
@@ -480,12 +480,12 @@ switch((insn.bits >> 0x19) & 0x7f)
       }
       case 0x2:
       {
-        #include "insns/slti.h"
+        #include "insns/slei.h"
         break;
       }
       case 0x3:
       {
-        #include "insns/sltiu.h"
+        #include "insns/sleiu.h"
         break;
       }
       case 0x4:
diff --git a/riscv/insns/slei.h b/riscv/insns/slei.h
new file mode 100644
index 00000000..2f4fe290
--- /dev/null
+++ b/riscv/insns/slei.h
@@ -0,0 +1 @@
+RA = !(sreg_t(cmp_trunc(SIMM)) < sreg_t(cmp_trunc(RB)));
diff --git a/riscv/insns/sleiu.h b/riscv/insns/sleiu.h
new file mode 100644
index 00000000..2519eb45
--- /dev/null
+++ b/riscv/insns/sleiu.h
@@ -0,0 +1 @@
+RA = !(cmp_trunc(SIMM) < cmp_trunc(RB));
diff --git a/riscv/insns/slti.h b/riscv/insns/slti.h
deleted file mode 100644
index a5ef31ed..00000000
--- a/riscv/insns/slti.h
+++ /dev/null
@@ -1 +0,0 @@
-RA = sreg_t(cmp_trunc(RB)) < sreg_t(cmp_trunc(SIMM));
diff --git a/riscv/insns/sltiu.h b/riscv/insns/sltiu.h
deleted file mode 100644
index a09f3ecb..00000000
--- a/riscv/insns/sltiu.h
+++ /dev/null
@@ -1 +0,0 @@
-RA = cmp_trunc(RB) < cmp_trunc(SIMM);