Xavi/cvw
1
0
Fork 0
forked from Github_Repos/cvw
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Removed Trap outputs from writes covered by SVADU

Browse Source
This commit is contained in:
Kip Macsai-Goren 2023-04-11 17:41:57 -07:00
parent 41ef59ddfe
commit c179d76542
3 changed files with 0 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/wally-riscv-arch-test/riscv-test-suite/rv32i_m/privilege/references/WALLY-mmu-sv32-01.reference_output
View File

@ -36,10 +36,6 @@ beef0110
0000000f 0000000f
0000000c 0000000c
00000bad 00000bad
0000000f
0000000d
00000bad
0000000f
beef0bb0 beef0bb0
beef0077 # Test 12.3.1.4.1: successful read back of saved value with new memory mapping beef0077 # Test 12.3.1.4.1: successful read back of saved value with new memory mapping
00000009 # Test 12.3.1.5.1: ecall from going to m mode from s mode 00000009 # Test 12.3.1.5.1: ecall from going to m mode from s mode

8
tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/references/WALLY-mmu-sv39-01.reference_output
View File

@ -86,14 +86,6 @@ beef0110 # Test 12.3.1.3.4: read test success
00000000 00000000
00000bad 00000bad
00000000 00000000
0000000f # Test 12.3.1.3.6: write test with page fault
00000000
0000000d # read test with page fault
00000000
00000bad
00000000
0000000f # Test 12.3.1.3.7: write test with page fault
00000000
beef0bb0 # read test success beef0bb0 # read test success
0440dead 0440dead
beef0000 # Test 12.3.1.4.1: read test success from new page table mapping beef0000 # Test 12.3.1.4.1: read test success from new page table mapping

8
tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/references/WALLY-mmu-sv48-01.reference_output
View File

@ -94,14 +94,6 @@ beef0110 # Test 12.3.1.3.4: read test success
00000000 00000000
00000bad 00000bad
00000000 00000000
0000000f # Test 12.3.1.3.6: write test with page fault
00000000
0000000d # read test with page fault
00000000
00000bad
00000000
0000000f # Test 12.3.1.3.7: write test with page fault
00000000
beef0bb0 # read test success beef0bb0 # read test success
0440dead 0440dead
beef0000 # Test 12.3.1.4.1: read test success on new page table mapping beef0000 # Test 12.3.1.4.1: read test success on new page table mapping