Merge pull request #592 from jordancarlin/main

Coverage improvements
This commit is contained in:
David Harris 2024-01-22 09:56:35 -08:00 committed by GitHub
commit cb597d2c85
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 18 additions and 1 deletions

View File

@ -37,6 +37,8 @@
# SV39 and SV48 supported
--override cpu/Sv_modes=768
--override cpu/Svinval=T
# clarify
#--override refRoot/cpu/mtvec_sext=F

View File

@ -300,6 +300,8 @@ sretdone:
# Test uncovered privdec instructions
li a0, 3
ecall
# exercise sfence.inval.ir instruction
.word 0x18100073
@ -307,7 +309,20 @@ sretdone:
.word 0x102F8073
j done
# cover mret when mpp = 3 and mprv = 1
li a0, 3
ecall # enter machine mode
bseti t0, zero, 17
csrs mstatus, t0 # set MPRV
li t1, 0x00001800
csrs mstatus, t1 # set MPP=3
la t1, finished
csrr t0, mepc
csrw mepc, t1 # set mepc for mret to jump to
mret
finished: j done