From cea89f27cf6ae8535e70b7fa470480af48161e07 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Fri, 27 Jan 2023 07:25:04 -0800
Subject: [PATCH] Removed unused WALLY test references

---
 .../I/references/WALLY-ADD.reference_output   | 24 -------------------
 .../I/references/WALLY-SLT.reference_output   | 24 -------------------
 .../I/references/WALLY-SLTU.reference_output  | 24 -------------------
 .../I/references/WALLY-SUB.reference_output   | 24 -------------------
 .../I/references/WALLY-XOR.reference_output   | 24 -------------------
 5 files changed, 120 deletions(-)
 delete mode 100644 tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-ADD.reference_output
 delete mode 100644 tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-SLT.reference_output
 delete mode 100644 tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-SLTU.reference_output
 delete mode 100644 tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-SUB.reference_output
 delete mode 100644 tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-XOR.reference_output

diff --git a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-ADD.reference_output b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-ADD.reference_output
deleted file mode 100644
index 7e1ab4344..000000000
--- a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-ADD.reference_output
+++ /dev/null
@@ -1,24 +0,0 @@
-00000000
-00000000
-00000001
-00000000
-ffffffff
-ffffffff
-00000001
-00000000
-00000002
-00000000
-00000000
-00000000
-ffffffff
-ffffffff
-00000000
-00000000
-fffffffe
-ffffffff
-393cb5d1
-72ca6f49
-7b12609b
-245889d8
-7f42ac28
-af17a2d3
diff --git a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-SLT.reference_output b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-SLT.reference_output
deleted file mode 100644
index 5958e1ed6..000000000
--- a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-SLT.reference_output
+++ /dev/null
@@ -1,24 +0,0 @@
-00000000
-00000000
-00000001
-00000000
-00000000
-00000000
-00000000
-00000000
-00000000
-00000000
-00000000
-00000000
-00000001
-00000000
-00000001
-00000000
-00000000
-00000000
-00000001
-00000000
-00000000
-00000000
-00000000
-00000000
diff --git a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-SLTU.reference_output b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-SLTU.reference_output
deleted file mode 100644
index 476470e4a..000000000
--- a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-SLTU.reference_output
+++ /dev/null
@@ -1,24 +0,0 @@
-00000000
-00000000
-00000001
-00000000
-00000001
-00000000
-00000000
-00000000
-00000000
-00000000
-00000001
-00000000
-00000000
-00000000
-00000000
-00000000
-00000000
-00000000
-00000001
-00000000
-00000000
-00000000
-00000001
-00000000
diff --git a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-SUB.reference_output b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-SUB.reference_output
deleted file mode 100644
index cc7461347..000000000
--- a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-SUB.reference_output
+++ /dev/null
@@ -1,24 +0,0 @@
-00000000
-00000000
-ffffffff
-ffffffff
-00000001
-00000000
-00000001
-00000000
-00000000
-00000000
-00000002
-00000000
-ffffffff
-ffffffff
-fffffffe
-ffffffff
-00000000
-00000000
-0f7dc13a
-f51130ed
-bb2485d0
-9633d6e4
-4557352f
-60fe4e94
diff --git a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-XOR.reference_output b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-XOR.reference_output
deleted file mode 100644
index 477289586..000000000
--- a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/I/references/WALLY-XOR.reference_output
+++ /dev/null
@@ -1,24 +0,0 @@
-00000000
-00000000
-00000001
-00000000
-ffffffff
-ffffffff
-00000001
-00000000
-00000000
-00000000
-fffffffe
-ffffffff
-ffffffff
-ffffffff
-fffffffe
-ffffffff
-00000000
-00000000
-e6f91511
-a770a807
-87ea008b
-3afeadc9
-3e7f1ce8
-a43d2571