diff options
| author | Robert Norton | 2016-05-19 16:39:47 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-19 16:39:47 +0100 |
| commit | d173e01d07d831b504a0b9efe43be1baa408039a (patch) | |
| tree | 67f60ad00fb66ae4fe4efbbd8dd4884972d10db9 | |
| parent | bf1c1d510e6051e4ab3140452a7f5697e09f4a81 (diff) | |
workaround unable to read fields in PC translation bug.
| -rw-r--r-- | mips/mips_prelude.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips_prelude.sail b/mips/mips_prelude.sail index 1f2b55b9..f23df90c 100644 --- a/mips/mips_prelude.sail +++ b/mips/mips_prelude.sail @@ -350,7 +350,7 @@ function bool tlbEntryMatch(r, vpn2, asid, (TLBEntry) entry) = function option<TLBIndexT> tlbSearch((bit[64]) VAddr) = let r = (VAddr[63..62]) in let vpn2 = (VAddr[39..13]) in - let asid = (TLBEntryHi.ASID) in + let asid = (((bit[64])TLBEntryHi)[7..0]) in (* XXX workaround sail bug *) if (tlbEntryMatch(r, vpn2, asid, TLBEntry00)) then Some(0b000) else if (tlbEntryMatch(r, vpn2, asid, TLBEntry01)) then |