diff options
Diffstat (limited to 'model/riscv_sys_regs.sail')
| -rw-r--r-- | model/riscv_sys_regs.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_sys_regs.sail b/model/riscv_sys_regs.sail index 25da335..71f39f7 100644 --- a/model/riscv_sys_regs.sail +++ b/model/riscv_sys_regs.sail @@ -81,7 +81,7 @@ function legalize_misa(m : Misa, v : xlenbits) -> Misa = { then { /* Allow modifications to C only for now. */ let v = Mk_Misa(v); /* Suppress changing C if nextPC would become misaligned. */ - if v.C() == 0b0 & nextPC[1] == bitone + if v.C() == 0b0 & nextPC[1] == bitone then m else update_C(m, v.C()) } |