diff options
author | Robert Norton <rmn30@cam.ac.uk> | 2019-09-04 17:28:22 +0100 |
---|---|---|
committer | Robert Norton <rmn30@cam.ac.uk> | 2019-09-04 17:28:22 +0100 |
commit | e918e17c081bc24bbf2ae213c211b9dabc276324 (patch) | |
tree | 7621be42dcb86adfaf59f4351498dc7325f6bed2 /model/riscv_vmem_rv32.sail | |
parent | 50033a227e89d679cd42b070e7e096586275357c (diff) | |
parent | 3d75de27c854072b82493a73e01c69d27624bf94 (diff) | |
download | sail-riscv-e918e17c081bc24bbf2ae213c211b9dabc276324.zip sail-riscv-e918e17c081bc24bbf2ae213c211b9dabc276324.tar.gz sail-riscv-e918e17c081bc24bbf2ae213c211b9dabc276324.tar.bz2 |
Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_ext
Diffstat (limited to 'model/riscv_vmem_rv32.sail')
-rw-r--r-- | model/riscv_vmem_rv32.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/model/riscv_vmem_rv32.sail b/model/riscv_vmem_rv32.sail index 146d2a9..4ff7891 100644 --- a/model/riscv_vmem_rv32.sail +++ b/model/riscv_vmem_rv32.sail @@ -17,7 +17,7 @@ function translationMode(priv) = { match arch { Some(RV32) => { let s = Mk_Satp32(satp[31..0]); - if s.Mode() == false then Sbare else Sv32 + if s.Mode() == 0b0 then Sbare else Sv32 }, _ => internal_error("unsupported address translation arch") } @@ -32,8 +32,8 @@ function translateAddr(vAddr, ac) = { Execute() => cur_privilege, _ => effectivePrivilege(mstatus, cur_privilege) }; - let mxr : bool = mstatus.MXR() == true; - let do_sum : bool = mstatus.SUM() == true; + let mxr : bool = mstatus.MXR() == 0b1; + let do_sum : bool = mstatus.SUM() == 0b1; let mode : SATPMode = translationMode(effPriv); let asid = curAsid32(satp); |