3 files changed, 3 insertions, 3 deletions
diff --git a/riscv/insns/c_slli.h b/riscv/insns/c_slli.h
index 19d7908..24fbb13 100644
--- 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 7b594e9..f6638b1 100644
--- 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 008ae62..f410fef 100644
--- 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()));