From 74b103fae49c6cec7ee6a3845bb7cfa312c0b13d Mon Sep 17 00:00:00 2001
From: Kip Macsai-Goren <kipmacsaigoren@gmail.com>
Date: Mon, 25 Apr 2022 19:18:15 +0000
Subject: [PATCH] added working tests to test list, updated regression for new
 configs

---
 pipelined/regression/regression-wally | 12 ++++++------
 pipelined/testbench/tests.vh          |  9 +++++----
 2 files changed, 11 insertions(+), 10 deletions(-)

diff --git a/pipelined/regression/regression-wally b/pipelined/regression/regression-wally
index c37186d05..1776958c7 100755
--- a/pipelined/regression/regression-wally
+++ b/pipelined/regression/regression-wally
@@ -80,20 +80,20 @@ for test in tests32gc:
   configs.append(tc)
 
 
-tests64ia = ["wally64priv"]
-for test in tests64ia:
+tests64i = ["wally64priv"]
+for test in tests64i:
   tc = TestCase(
         name=test,
-        variant="rv64ia",
+        variant="rv64i",
         cmd="vsim > {} -c <<!\ndo wally-pipelined-batch.do rv64ia "+test+"\n!",
         grepstr="All tests ran without failures")
   configs.append(tc)
 
-tests32ia = ["wally32priv"]
-for test in tests32ia:
+tests32i = ["wally32priv"]
+for test in tests32i:
   tc = TestCase(
         name=test,
-        variant="rv32ia",
+        variant="rv32i",
         cmd="vsim > {} -c <<!\ndo wally-pipelined-batch.do rv32ia "+test+"\n!",
         grepstr="All tests ran without failures")
   configs.append(tc)
diff --git a/pipelined/testbench/tests.vh b/pipelined/testbench/tests.vh
index e31708c80..e7841bab8 100644
--- a/pipelined/testbench/tests.vh
+++ b/pipelined/testbench/tests.vh
@@ -47,7 +47,8 @@ string tvpaths[] = '{
   string wally64a[] = '{
     `WALLYTEST,
     "rv64i_m/privilege/WALLY-AMO", "2210",
-    "rv64i_m/privilege/WALLY-LRSC", "2410"
+    "rv64i_m/privilege/WALLY-LRSC", "2410",
+    "rv64i_m/privilege/WALLY-status-fp-enabled-01", "50a0"
   };
 
     string wally32a[] = '{
@@ -1479,10 +1480,10 @@ string imperas32f[] = '{
     "rv64i_m/privilege/WALLY-stvec-01", "0050a0",
     "rv64i_m/privilege/WALLY-PIE-stack-01", "0050a0",
     "rv64i_m/privilege/WALLY-PIE-stack-s-01", "0050a0",
-    "rv64i_m/privilege/WALLY-trap-sret-01", "0050a0"
+    "rv64i_m/privilege/WALLY-trap-sret-01", "0050a0",
     // "rv64i_m/privilege/WALLY-status-tw-01", "0050a0",
-    // "rv64i_m/privilege/WALLY-WFI-01", "0050a0",
-    // "rv64i_m/privilege/WALLY-status-fp-01", "0050a0"
+    "rv64i_m/privilege/WALLY-WFI-01", "0050a0",
+    "rv64i_m/privilege/WALLY-status-fp-disabled-01", "50a0"
 //    "rv64i_m/privilege/WALLY-STVEC", "002090",
 //    "rv64i_m/privilege/WALLY-UCAUSE", "002090",