Merge pull request #1907 from kassasAndes/fix-bitmanip-zbs

aswaterman · web-flow · commit d182829e68f1 · 2025-01-27T14:05:00.000-08:00
[riscv|insns] Fix zbs immediate instructions: bclri, bexti, binvi, an…
diff --git a/riscv/insns/bclri.h b/riscv/insns/bclri.h
@@ -1,3 +1,4 @@
 require_extension(EXT_ZBS);
+require(SHAMT < xlen);
 int shamt = SHAMT & (xlen-1);
 WRITE_RD(sext_xlen(RS1 & ~(1LL << shamt)));
diff --git a/riscv/insns/bexti.h b/riscv/insns/bexti.h
@@ -1,3 +1,4 @@
 require_extension(EXT_ZBS);
+require(SHAMT < xlen);
 int shamt = SHAMT & (xlen-1);
 WRITE_RD(sext_xlen(1 & (RS1 >> shamt)));
diff --git a/riscv/insns/binvi.h b/riscv/insns/binvi.h
@@ -1,3 +1,4 @@
 require_extension(EXT_ZBS);
+require(SHAMT < xlen);
 int shamt = SHAMT & (xlen-1);
 WRITE_RD(sext_xlen(RS1 ^ (1LL << shamt)));
diff --git a/riscv/insns/bseti.h b/riscv/insns/bseti.h
@@ -1,3 +1,4 @@
 require_extension(EXT_ZBS);
+require(SHAMT < xlen);
 int shamt = SHAMT & (xlen-1);
 WRITE_RD(sext_xlen(RS1 | (1LL << shamt)));
