From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 8 Dec 2021 21:32:03 +0000 (+0000)
Subject: add special pagetable to ifetch_invalid with execute perms barred
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a170cf19a2a2968641a7745ac3c7de4512035872;p=soc.git

add special pagetable to ifetch_invalid with execute perms barred
---

diff --git a/src/soc/experiment/test/test_loadstore1.py b/src/soc/experiment/test/test_loadstore1.py
index 8074e17f..4e7ee7fe 100644
--- a/src/soc/experiment/test/test_loadstore1.py
+++ b/src/soc/experiment/test/test_loadstore1.py
@@ -546,7 +546,9 @@ def test_loadstore1_invalid():
 def test_loadstore1_ifetch_invalid():
     m, cmpi = setup_mmu()
 
-    mem = {}
+    # this is a specially-arranged page table which has the permissions
+    # barred for execute on the leaf node (EAA=0x2 instead of EAA=0x3)
+    mem = pagetables.test2
 
     # nmigen Simulation
     sim = Simulator(m)