[riscv|insns] Fix zbs immediate instructions: bclri, bexti, binvi, and besti for shamt condition

kassasAndes · JJ-Gaisler · commit c80073527a47 · 2025-02-07T11:58:01.000+01:00
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)));
