diff options
Diffstat (limited to 'model/riscv_jalr_seq.sail')
| -rw-r--r-- | model/riscv_jalr_seq.sail | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/model/riscv_jalr_seq.sail b/model/riscv_jalr_seq.sail index 1af2910..6f04b69 100644 --- a/model/riscv_jalr_seq.sail +++ b/model/riscv_jalr_seq.sail @@ -15,9 +15,8 @@ function clause execute (RISCV_JALR(imm, rs1, rd)) = { RETIRE_FAIL }, Ext_ControlAddr_OK(addr) => { - let target = [addr with 0 = bitzero]; /* clear addr[0] */ - if target[1] & (~ (haveRVC())) - then { + let target = [addr with 0 = bitzero]; /* clear addr[0] */ + if bit_to_bool(target[1]) & ~(haveRVC()) then { handle_mem_exception(target, E_Fetch_Addr_Align()); RETIRE_FAIL } else { |