From f9d3944cc51673ba608e5ac6d7923d63725a7223 Mon Sep 17 00:00:00 2001
From: harshinisrinath <harshini.srinath@gmail.com>
Date: Fri, 16 Jun 2023 17:13:54 -0700
Subject: [PATCH] Improved testing of pmd in priv.

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

diff --git a/tests/coverage/priv.S b/tests/coverage/priv.S
index d311f2a06..4be1d4091 100644
--- a/tests/coverage/priv.S
+++ b/tests/coverage/priv.S
@@ -27,6 +27,18 @@
 #include "WALLY-init-lib.h"
 
 main:
+    # Tests sret in machine mode
+    la t1, sretdone
+    csrw sepc, t1
+    sret
+sretdone:
+    addi t2, x0, 42 
+
+    # switch to user mode
+    li a0, 0   
+    ecall
+    sret #should be treated as illegal instruction
+    mret #mret in user mode and should be illegal
 
     # switch to supervisor mode
     li a0, 1