Add a "--with-xlen" configure argument (#16)

[riscv-tests.git] / isa / rv32si / Makefrag

diff --git a/isa/rv32si/Makefrag b/isa/rv32si/Makefrag
index 024a9a013259e5488369b2a2e6419fc90f19ce52..a40953e0c2414d74714c07e7ec025461298788a2 100644 (file)
--- a/isa/rv32si/Makefrag
+++ b/isa/rv32si/Makefrag
@@ -4,19 +4,11 @@
 
 rv32si_sc_tests = \
        csr \
-       shamt \
        ma_fetch \
-       illegal \
-       privileged \
        scall \
        sbreak \
-       ma_addr \
-       timer \
-
-rv32si_mc_tests = \
-       ipi \
+       wfi \
 
 rv32si_p_tests = $(addprefix rv32si-p-, $(rv32si_sc_tests))
-rv32si_pm_tests = $(addprefix rv32si-pm-, $(rv32si_mc_tests))
 
-spike_tests += $(rv32si_p_tests) $(rv32si_pm_tests)
+spike32_tests += $(rv32si_p_tests)