Github_Repos/cvw
1
0
Fork 1
mirror of https://github.com/openhwgroup/cvw synced 2025-01-23 21:14:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fixed tlbmisc testing with PBMTE = 0

Browse Source
This commit is contained in:
David Harris 2024-01-24 12:24:33 -08:00
parent 17f579d4ba
commit 0e1c53f9f6
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
tests/coverage/tlbmisc.S
View File

@ -104,14 +104,17 @@ main:
# jump to address for TLB miss to trigger HPTW to make access with DisableTranslation = 1, Translate = 0 # jump to address for TLB miss to trigger HPTW to make access with DisableTranslation = 1, Translate = 0
li t0, 0x80805000 li t0, 0x80805000
jalr ra, t0 jalr ra, t0
li t0, 0x80807000 # again, triggering setting access bit
jalr ra, t0
# Good PBMT with menvcfg.PBMTE = 0 # Good PBMT with menvcfg.PBMTE = 0
li t0, 3 li a0, 3
ecall # switch to machine mode ecall # switch to machine mode
li t5, 0x1 li t5, 0x1
slli t5, t5, 62 slli t5, t5, 62
csrc menvcfg, t5 # menvcfg.PBMTE = 0 csrc menvcfg, t5 # menvcfg.PBMTE = 0
li t0, 1 li a0, 1
ecall # switch back to supervisor mode ecall # switch back to supervisor mode
li t0, 0x80806000 li t0, 0x80806000
jalr ra, t0 # jump to page to exercise ITLB with PBMT !=0 when ENVCFG_PMTE=0 jalr ra, t0 # jump to page to exercise ITLB with PBMT !=0 when ENVCFG_PMTE=0
@ -365,6 +368,7 @@ pagetable:
.8byte 0x00000000200000C3 # valid r for VA 80802000 .8byte 0x00000000200000C3 # valid r for VA 80802000
.8byte 0x00000000200000C9 # valid x for VA 80803000 .8byte 0x00000000200000C9 # valid x for VA 80803000
.8byte 0x00000000200000CD # valid wx for VA 80804000 (illegal combination, but used to test tlbcontrol) .8byte 0x00000000200000CD # valid wx for VA 80804000 (illegal combination, but used to test tlbcontrol)
.8byte 0x000000002000000F # valid rwx for VA 80805000 for covering ITLB translate and UpdateDA .8byte 0x00000000200000CF # valid rwx for VA 80805000 for covering ITLB translate
.8byte 0x20000000200000CF # PBMT=1 for VA 80806000 for covering ITLB BadPBMT .8byte 0x20000000200000CF # PBMT=1 for VA 80806000 for covering ITLB BadPBMT
.8byte 0x000000002000000F # valid rwx for VA 80807000 for covering UpdateDA