From d26a230b63e5e6ba528d3d5930521d23c8bdd727 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 4 May 2016 13:31:31 +0100
Subject: check for PC alignment on instruction fetch.

---
 mips/mips_wrappers.sail | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'mips')

diff --git a/mips/mips_wrappers.sail b/mips/mips_wrappers.sail
index 8fe1b4d4..25b8936b 100644
--- a/mips/mips_wrappers.sail
+++ b/mips/mips_wrappers.sail
@@ -6,7 +6,10 @@ function bit[64] addrWrapper((bit[64]) addr, (MemAccessType) accessType, (WordTy
     addr
 
 function (bit[64]) TranslateAddress ((bit[64]) vAddr, (MemAccessType) accessType) = 
-    TLBTranslate(vAddr, accessType)
+    if (vAddr[1..0] != 0b00) then (* bad PC alignment *)
+      exit (SignalExceptionBadAddr(AdEL, vAddr))
+    else
+      TLBTranslate(vAddr, accessType)
 
 function unit SignalException ((Exception) ex) = SignalExceptionMIPS(ex)
 
-- 
cgit v1.2.3