From 35cfde167a31f19a93557d7ecb41e18a989f85af Mon Sep 17 00:00:00 2001
From: liweiwei90 <34847211+liweiwei90@users.noreply.github.com>
Date: Tue, 19 Oct 2021 08:23:45 +0800
Subject: [PATCH] Delete SHAMT check in pack (#838)

---
 riscv/insns/pack.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/riscv/insns/pack.h b/riscv/insns/pack.h
index b1e0ac38..d4f6858e 100644
--- 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));