diff options
Diffstat (limited to 'riscv/insns/binvi.h')
| -rw-r--r-- | riscv/insns/binvi.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/riscv/insns/binvi.h b/riscv/insns/binvi.h index 3272d39..7f6723c 100644 --- 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))); |