From e6a25959364f8310c203d3b8604137d8c6489097 Mon Sep 17 00:00:00 2001 From: Rose Thompson Date: Fri, 12 Jan 2024 11:05:06 -0600 Subject: [PATCH] Modified sv48 svadu test to work with 128MB rather than 2GB physical memory. --- .../rv64i_m/privilege/src/WALLY-mmu-sv48-svadu-01.S | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/src/WALLY-mmu-sv48-svadu-01.S b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/src/WALLY-mmu-sv48-svadu-01.S index 5cecb41ce..dcea1ff33 100644 --- a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/src/WALLY-mmu-sv48-svadu-01.S +++ b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/src/WALLY-mmu-sv48-svadu-01.S @@ -113,7 +113,7 @@ test_cases: .8byte 0x80200AC0, 0x0990DEADBEEF0033, write64_test # 11.3.1.3.2 .8byte 0x80200130, 0x0110DEADBEEF0077, write64_test # 11.3.1.3.2 .8byte 0x85212348, 0x0330DEADBEEF0440, write64_test # 11.3.1.3.3 -.8byte 0x88888000, 0x0000806711100393, write64_test # 11.3.1.3.5 write same executable code +.8byte 0x87888000, 0x0000806711100393, write64_test # 11.3.1.3.5 write same executable code .8byte 0x80203658, 0xDEADBEEFDEADBEEF, write64_test # 11.3.1.3.7(a) #.8byte 0x85bc0ab0, 0x0123456789abcdf0, write64_test # 11.3.1.1.4 @@ -188,7 +188,7 @@ test_cases: # test 11.3.1.3.5 eXecute flag # executes on pages with X = 1 already tested in 11.3.1.3.1 -.8byte 0x010088888000, 0x2, executable_test # execute fault when X=0 +.8byte 0x010087888000, 0x2, executable_test # execute fault when X=0 # In the following two tests, SVADU is supported, so the hardware handles the A/D bits