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

1 year ago · 2687fa3c48
4 changed files with 4 additions and 0 deletions
--- 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)));
--- 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)));
--- 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)));
--- 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)));