From 273842344186de7c39e311fff1ffa53ff8e7c455 Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Sun, 20 Aug 2023 12:49:31 -0700
Subject: [PATCH] Improved CSRU coverage with priv.S

---
 testbench/tests.vh    | 2 +-
 tests/coverage/priv.S | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/testbench/tests.vh b/testbench/tests.vh
index 116d39424..06c7e5f62 100644
--- a/testbench/tests.vh
+++ b/testbench/tests.vh
@@ -44,10 +44,10 @@ string tvpaths[] = '{
 
   string coverage64gc[] = '{
     `COVERAGE,
+    "priv",
     "ieu",
     "ebu",
     "csrwrites",
-    "priv",
     "ifu",
     "fpu",
     "lsu",
diff --git a/tests/coverage/priv.S b/tests/coverage/priv.S
index 0dff00f37..e90e943a9 100644
--- a/tests/coverage/priv.S
+++ b/tests/coverage/priv.S
@@ -92,6 +92,9 @@ sretdone:
 
     # writes to FCSR
     li t0, 1
+    slli t0, t0, 13
+    csrs mstatus, t0
+    li t0, 1
     csrw fcsr, t0
 
     # switch to supervisor mode