From 12b2baff827707f6934e71b6f1623f423fe08e1d Mon Sep 17 00:00:00 2001
From: Jordan Carlin <jordanmcarlin@gmail.com>
Date: Thu, 18 Jan 2024 17:33:59 -0800
Subject: [PATCH] add coverage of sfence.inval.ir instruction and fix sret
 coverage

---
 tests/coverage/priv.S | 10 ++++++++++
 1 file changed, 10 insertions(+)

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