From f08e4b1ccbedc8fc1a2eac53d7ce6f29eefecdf2 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 6 Jun 2016 17:39:02 +0100
Subject: 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.

---
 mips/mips_prelude.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mips')

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
-- 
cgit v1.2.3