diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2018-06-24 18:57:29 -0700 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2018-06-25 15:36:08 -0700 |
| commit | 8f1f8b36533e513c86412eecb8737ab0de1467a7 (patch) | |
| tree | a94891d506034172301cf598a2dd580b8c1a5b52 /riscv_sys.sail | |
| parent | f27f6edae9051ecc1b0cb9f474927b2f178b74b9 (diff) | |
| download | sail-riscv-8f1f8b36533e513c86412eecb8737ab0de1467a7.zip sail-riscv-8f1f8b36533e513c86412eecb8737ab0de1467a7.tar.gz sail-riscv-8f1f8b36533e513c86412eecb8737ab0de1467a7.tar.bz2 | |
Make sstatus.UXL legalization match spike for now. Leave a fixme to make this a platform setting.
Diffstat (limited to 'riscv_sys.sail')
| -rw-r--r-- | riscv_sys.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv_sys.sail b/riscv_sys.sail index 506f007..2beedde 100644 --- a/riscv_sys.sail +++ b/riscv_sys.sail @@ -329,7 +329,7 @@ function lower_mstatus(m : Mstatus) -> Sstatus = { function lift_sstatus(m : Mstatus, s : Sstatus) -> Mstatus = { let m = update_SD(m, s.SD()); - let m = update_UXL(m, s.UXL()); + // let m = update_UXL(m, s.UXL()); FIXME: This should be parameterized by a platform setting. For now, match spike. let m = update_MXR(m, s.MXR()); let m = update_SUM(m, s.SUM()); let m = update_XS(m, s.XS()); |