From 2427e43ffd5d8f786cbd5e5c3eea1c640fe98323 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Tue, 28 Mar 2023 09:08:48 -0700
Subject: [PATCH] Moved rv32 peripheral tests using TEST-LIB to wally32priv
 because rv32imc doesn't support PMP

---
 testbench/tests.vh | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/testbench/tests.vh b/testbench/tests.vh
index 478cd3cdf..79f100d4f 100644
--- a/testbench/tests.vh
+++ b/testbench/tests.vh
@@ -1964,17 +1964,19 @@ string arch64zbs[] = '{
     "rv32i_m/privilege/src/WALLY-trap-u-01.S",
     "rv32i_m/privilege/src/WALLY-wfi-01.S",
     "rv32i_m/privilege/src/WALLY-endianness-01.S",
-    "rv32i_m/privilege/src/WALLY-satp-invalid-01.S"
- };
-
- string wally32periph[] = '{
-    `WALLYTEST,
-    "rv32i_m/privilege/src/WALLY-periph-01.S",
+    "rv32i_m/privilege/src/WALLY-satp-invalid-01.S",
+    // These peripherals are here instead of wally32periph because they don't work on rv32imc, which lacks a PMP register to configure
     "rv32i_m/privilege/src/WALLY-gpio-01.S",
     "rv32i_m/privilege/src/WALLY-clint-01.S",
     "rv32i_m/privilege/src/WALLY-uart-01.S",
     "rv32i_m/privilege/src/WALLY-plic-01.S",
     "rv32i_m/privilege/src/WALLY-plic-s-01.S"
+
+ };
+
+ string wally32periph[] = '{
+    `WALLYTEST,
+    "rv32i_m/privilege/src/WALLY-periph-01.S"
  };