Delete SHAMT check in pack (#838)

5 years ago · 35cfde167a
1 changed files with 0 additions and 1 deletions
--- a/riscv/insns/pack.h
+++ b/riscv/insns/pack.h
@ -3,7 +3,6 @@ require(((xlen == 32) && (insn.rs2() == 0) && p->extension_enabled(EXT_ZBB))
  || p->extension_enabled(EXT_ZPN)
  || p->extension_enabled(EXT_ZBKB)
  || p->extension_enabled(EXT_XBITMANIP));
-require(SHAMT < (xlen/2));
 reg_t lo = zext_xlen(RS1 << (xlen/2)) >> (xlen/2);
 reg_t hi = zext_xlen(RS2 << (xlen/2));
 WRITE_RD(sext_xlen(lo | hi));