diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2021-02-11 19:11:36 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-11 19:11:36 -0800 |
| commit | 33cacbd88289bf0503b07433ee0c2923e32ef946 (patch) | |
| tree | 0707525efa92a8d5a2ad72c3b13cd9c4bdb09f00 /model | |
| parent | 434dd8c1193e4921ebb383ff4e48f454e10c82e0 (diff) | |
| parent | 3b5e98f7bdea6868c001cf8827ce6b91aeb1bd65 (diff) | |
| download | sail-riscv-33cacbd88289bf0503b07433ee0c2923e32ef946.zip sail-riscv-33cacbd88289bf0503b07433ee0c2923e32ef946.tar.gz sail-riscv-33cacbd88289bf0503b07433ee0c2923e32ef946.tar.bz2 | |
Merge pull request #81 from scottj97/sstatus-fix
Prevent CSRW to sstatus from modifying uie & upie if N-ext not present
Diffstat (limited to 'model')
| -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 b1d6fd7..1601aea 100644 --- a/model/riscv_sys_regs.sail +++ b/model/riscv_sys_regs.sail @@ -535,7 +535,7 @@ function lift_sstatus(m : Mstatus, s : Sstatus) -> Mstatus = { } function legalize_sstatus(m : Mstatus, v : xlenbits) -> Mstatus = { - lift_sstatus(m, Mk_Sstatus(v)) + legalize_mstatus(m, lift_sstatus(m, Mk_Sstatus(v)).bits()) } bitfield Sedeleg : xlenbits = { |