[xcc, sim] added slei/sleui in lieu of slti/sltiu

Rationale was that since we have the datapath for rc = (ra < rb),
it's straightforward to also add rc = !(imm < rb) = (rb <= imm).

diff --git a/riscv/execute.h b/riscv/execute.h
index 15f90efcd67800172974b9c9d62e1c7c11fe845d..69bdeb05e042c1e483152e2b8b6347a1ca5e83ed 100644 (file)
--- 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 (file)
index 0000000..2f4fe29
--- /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 (file)
index 0000000..2519eb4
--- /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 (file)
index a5ef31e..0000000
--- 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 (file)
index a09f3ec..0000000
--- a/riscv/insns/sltiu.h
+++ /dev/null
@@ -1 +0,0 @@
-RA = cmp_trunc(RB) < cmp_trunc(SIMM);