diff --git a/tests/coverage/priv.S b/tests/coverage/priv.S index aa9c8b50b..dcf56e14a 100644 --- a/tests/coverage/priv.S +++ b/tests/coverage/priv.S @@ -297,6 +297,16 @@ sretdone: wfi + + + # Test uncovered privdec instructions + # exercise sfence.inval.ir instruction + .word 0x18100073 + + # exercise sret with rs1 not 0 + .word 0x102F8073 + + j done