mirror of
https://github.com/openhwgroup/cvw.git
synced 2025-06-28 09:36:01 -04:00
Full privdec code coverage
This commit is contained in:
parent
c0274022fd
commit
1a3bcc69a6
1 changed files with 3 additions and 0 deletions
|
@ -309,6 +309,9 @@ sretdone:
|
||||||
# exercise sret with rs1 not 0
|
# exercise sret with rs1 not 0
|
||||||
.word 0x102F8073
|
.word 0x102F8073
|
||||||
|
|
||||||
|
# illegal ebreak with nonzero rs1
|
||||||
|
.word 0x00110073
|
||||||
|
|
||||||
|
|
||||||
# cover mret when mpp = 3 and mprv = 1
|
# cover mret when mpp = 3 and mprv = 1
|
||||||
li a0, 3
|
li a0, 3
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue