diff options
| author | Robert Norton | 2016-06-06 17:39:02 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-06-06 17:39:11 +0100 |
| commit | f08e4b1ccbedc8fc1a2eac53d7ce6f29eefecdf2 (patch) | |
| tree | 08ec65a4e3577d2ea67804511ce2c739beceecfd /mips | |
| parent | 24e0814bb9edf53853cdf3f7b5efd9bb550006a4 (diff) | |
Add explicit type cast required because of the way sail does slicing (we want indexing of pfn to be reset to 23..0). Kathy to investigate why this was not caught by type checker.
Diffstat (limited to 'mips')
| -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 e498d354..bf9d8cc0 100644 --- a/mips/mips_prelude.sail +++ b/mips/mips_prelude.sail @@ -432,7 +432,7 @@ function (bit[64], bool) TLBTranslate2 ((bit[64]) vAddr, (MemAccessType) accessT case _ -> undefined } in let isOdd = (vAddr[evenOddBit]) in - let (caps, capl, pfn, d, v) = if (isOdd) then + let (caps, capl, (bit[24])pfn, d, v) = if (isOdd) then (entry[61], entry[60], entry[59..36], entry[32], entry[31]) else (entry[30], entry[29], entry[28..5], entry[1], entry[0]) in |