diff options
| author | Prashanth Mundkur | 2018-06-24 18:57:29 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-06-25 15:36:08 -0700 |
| commit | 71637ed07d4df310b6e9a10419d2ce0375d1de30 (patch) | |
| tree | d117417e894a577b170a2df8d28d17a34501f7d5 /riscv | |
| parent | e80a971905e6f8cf3f9f593bb48d43ad3b7d8702 (diff) | |
Make sstatus.UXL legalization match spike for now. Leave a fixme to make this a platform setting.
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/riscv_sys.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/riscv_sys.sail b/riscv/riscv_sys.sail index 506f0079..2beedded 100644 --- a/riscv/riscv_sys.sail +++ b/riscv/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()); |