From: Paul Mackerras <paulus@ozlabs.org>
Date: Thu, 7 May 2020 10:12:46 +0000 (+1000)
Subject: tests/mmu: Add a test of PTE refetching on permission error
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f3c6119cf63d21671bbad9bdfb983316b0336dd8;p=microwatt.git

tests/mmu: Add a test of PTE refetching on permission error

Signed-off-by: Paul Mackerras <paulus@ozlabs.org>
---

diff --git a/tests/mmu/mmu.c b/tests/mmu/mmu.c
index 994ffe3..8281b04 100644
--- a/tests/mmu/mmu.c
+++ b/tests/mmu/mmu.c
@@ -145,8 +145,6 @@ void map(void *ea, void *pa, unsigned long perm_attr)
 		free_ptr += 512 * sizeof(unsigned long);
 	}
 	ptep = read_pgd(i);
-	if (ptep[j])
-		do_tlbie(((unsigned long)ea & ~0xfff), 0);
 	store_pte(&ptep[j], 0xc000000000000000 | ((unsigned long)pa & 0x00fffffffffff000) | perm_attr);
 	eas_mapped[neas_mapped++] = ea;
 }
@@ -569,6 +567,7 @@ int mmu_test_17(void)
 	if (mfspr(SRR0) != (long) ptr || mfspr(SRR1) != 0x00040020)
 		return 2;
 	/* create a PTE without ref or execute permission */
+	unmap((void *)ptr);
 	map((void *)ptr, (void *)mem, 0);
 	/* this should fail */
 	if (test_exec(2, ptr, MSR_IR))
@@ -599,6 +598,28 @@ int mmu_test_18(void)
 	return 0;
 }
 
+int mmu_test_19(void)
+{
+	long *mem = (long *) 0x8000;
+	long *ptr = (long *) 0x124000;
+
+	*mem = 0x123456789abcdef0;
+	/* create PTE with read but not write permission */
+	map(ptr, mem, REF | PERM_RD);
+	/* this should fail and create a TLB entry */
+	if (test_write(ptr, 0xdeadbeef0dd1))
+		return 1;
+	/* DAR and DSISR should be set correctly */
+	if (mfspr(DAR) != (long)ptr || mfspr(DSISR) != 0x0a000000)
+		return 2;
+	/* Update the PTE to have write permission */
+	map(ptr, mem, REF | CHG | PERM_RD | PERM_WR);
+	/* this should succeed */
+	if (!test_write(ptr, 0xdeadbeef0dd1))
+		return 3;
+	return 0;
+}
+
 int fail = 0;
 
 void do_test(int num, int (*test)(void))
@@ -616,7 +637,7 @@ void do_test(int num, int (*test)(void))
 		fail = 1;
 		print_string("FAIL ");
 		putchar(ret + '0');
-		if (num <= 10) {
+		if (num <= 10 || num == 19) {
 			print_string(" DAR=");
 			print_hex(mfspr(DAR));
 			print_string(" DSISR=");
@@ -654,6 +675,7 @@ int main(void)
 	do_test(16, mmu_test_16);
 	do_test(17, mmu_test_17);
 	do_test(18, mmu_test_18);
+	do_test(19, mmu_test_19);
 
 	return fail;
 }
diff --git a/tests/test_mmu.bin b/tests/test_mmu.bin
index 416ae70..a1861b2 100755
Binary files a/tests/test_mmu.bin and b/tests/test_mmu.bin differ
diff --git a/tests/test_mmu.console_out b/tests/test_mmu.console_out
index a5c08ea..cb4ad85 100644
--- a/tests/test_mmu.console_out
+++ b/tests/test_mmu.console_out
@@ -16,3 +16,4 @@ test 15:PASS
 test 16:PASS
 test 17:PASS
 test 18:PASS
+test 19:PASS