aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/bseti.h
diff options
context:
space:
mode:
Diffstat (limited to 'riscv/insns/bseti.h')
-rw-r--r--riscv/insns/bseti.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/riscv/insns/bseti.h b/riscv/insns/bseti.h
index 4952378..8ef4b37 100644
--- 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)));