Revert "Fix for issue #183: No illegal instruction exception for c.sxxi instructions...

This reverts commit be0555d585b332fd0496affe559c0a5a4e7e5644.

See #190

diff --git a/riscv/insns/c_slli.h b/riscv/insns/c_slli.h
index 19d7908dc5b5f8659a44353d41ec88edeb714a45..24fbb1335be3060dd7b9b1d2c2dd96a1585608ba 100644 (file)
--- a/riscv/insns/c_slli.h
+++ b/riscv/insns/c_slli.h
@@ -1,3 +1,3 @@
 require_extension('C');
-require(insn.rvc_zimm() < xlen && insn.rvc_zimm() > 0);
+require(insn.rvc_zimm() < xlen);
 WRITE_RD(sext_xlen(RVC_RS1 << insn.rvc_zimm()));

diff --git a/riscv/insns/c_srai.h b/riscv/insns/c_srai.h
index 7b594e9ef1f48cccc2262aa4e28e9d0f8aed8b57..f6638b1e2747c7bc2ec8bb268230658ff4f77052 100644 (file)
--- a/riscv/insns/c_srai.h
+++ b/riscv/insns/c_srai.h
@@ -1,3 +1,3 @@
 require_extension('C');
-require(insn.rvc_zimm() < xlen && insn.rvc_zimm() > 0);
+require(insn.rvc_zimm() < xlen);
 WRITE_RVC_RS1S(sext_xlen(sext_xlen(RVC_RS1S) >> insn.rvc_zimm()));

diff --git a/riscv/insns/c_srli.h b/riscv/insns/c_srli.h
index 008ae6221e89985b2f3a0aef5c74e698137a9114..f410fefda56322c0aa7d4d39caa2d5af3c75fbee 100644 (file)
--- a/riscv/insns/c_srli.h
+++ b/riscv/insns/c_srli.h
@@ -1,3 +1,3 @@
 require_extension('C');
-require(insn.rvc_zimm() < xlen && insn.rvc_zimm() > 0);
+require(insn.rvc_zimm() < xlen);
 WRITE_RVC_RS1S(sext_xlen(zext_xlen(RVC_RS1S) >> insn.rvc_zimm()));