aboutsummaryrefslogtreecommitdiff
path: root/isa/rv32mi
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@cs.berkeley.edu>2016-03-10 14:47:44 -0800
committerAndrew Waterman <waterman@cs.berkeley.edu>2016-03-10 14:48:38 -0800
commit057b1432679ded5dce4149797fa624205baee62e (patch)
tree1b2787116f4e5c9633d1508301edfbdd674213e7 /isa/rv32mi
parent31f39a39dffbdb810b18721bece5c233b91577eb (diff)
downloadriscv-tests-057b1432679ded5dce4149797fa624205baee62e.zip
riscv-tests-057b1432679ded5dce4149797fa624205baee62e.tar.gz
riscv-tests-057b1432679ded5dce4149797fa624205baee62e.tar.bz2
Add missing rv32mi/rv32si tests
Diffstat (limited to 'isa/rv32mi')
-rw-r--r--isa/rv32mi/Makefrag3
-rw-r--r--isa/rv32mi/dirty.S10
-rw-r--r--isa/rv32mi/mcsr.S7
-rw-r--r--isa/rv32mi/wfi.S8
4 files changed, 28 insertions, 0 deletions
diff --git a/isa/rv32mi/Makefrag b/isa/rv32mi/Makefrag
index 3a5b376..66a0e39 100644
--- a/isa/rv32mi/Makefrag
+++ b/isa/rv32mi/Makefrag
@@ -4,13 +4,16 @@
rv32mi_sc_tests = \
csr \
+ dirty \
illegal \
ma_fetch \
ma_addr \
+ mcsr \
scall \
sbreak \
shamt \
timer \
+ wfi \
rv32mi_mc_tests = \
ipi \
diff --git a/isa/rv32mi/dirty.S b/isa/rv32mi/dirty.S
new file mode 100644
index 0000000..c1f9d19
--- /dev/null
+++ b/isa/rv32mi/dirty.S
@@ -0,0 +1,10 @@
+# See LICENSE for license details.
+
+#include "riscv_test.h"
+#undef RVTEST_RV64M
+#define RVTEST_RV64M RVTEST_RV32M
+
+#undef VM_SV39
+#define VM_SV39 VM_SV32
+
+#include "../rv64mi/dirty.S"
diff --git a/isa/rv32mi/mcsr.S b/isa/rv32mi/mcsr.S
new file mode 100644
index 0000000..0d5a5cd
--- /dev/null
+++ b/isa/rv32mi/mcsr.S
@@ -0,0 +1,7 @@
+# See LICENSE for license details.
+
+#include "riscv_test.h"
+#undef RVTEST_RV64M
+#define RVTEST_RV64M RVTEST_RV32M
+
+#include "../rv64mi/mcsr.S"
diff --git a/isa/rv32mi/wfi.S b/isa/rv32mi/wfi.S
new file mode 100644
index 0000000..d5cb3cb
--- /dev/null
+++ b/isa/rv32mi/wfi.S
@@ -0,0 +1,8 @@
+# See LICENSE for license details.
+
+#include "riscv_test.h"
+#undef RVTEST_RV64S
+#define RVTEST_RV64S RVTEST_RV32M
+#define __MACHINE_MODE
+
+#include "../rv64si/wfi.S"