diff options
-rw-r--r-- | isa/rv32mi/Makefrag | 1 | ||||
-rw-r--r-- | isa/rv32si/Makefrag | 1 | ||||
-rw-r--r-- | isa/rv32si/dirty.S (renamed from isa/rv32mi/dirty.S) | 2 |
3 files changed, 2 insertions, 2 deletions
diff --git a/isa/rv32mi/Makefrag b/isa/rv32mi/Makefrag index c8fbcf4..636e097 100644 --- a/isa/rv32mi/Makefrag +++ b/isa/rv32mi/Makefrag @@ -4,7 +4,6 @@ rv32mi_sc_tests = \ csr \ - dirty \ illegal \ ma_fetch \ ma_addr \ diff --git a/isa/rv32si/Makefrag b/isa/rv32si/Makefrag index a40953e..f423788 100644 --- a/isa/rv32si/Makefrag +++ b/isa/rv32si/Makefrag @@ -4,6 +4,7 @@ rv32si_sc_tests = \ csr \ + dirty \ ma_fetch \ scall \ sbreak \ diff --git a/isa/rv32mi/dirty.S b/isa/rv32si/dirty.S index c1f9d19..7692b28 100644 --- a/isa/rv32mi/dirty.S +++ b/isa/rv32si/dirty.S @@ -7,4 +7,4 @@ #undef VM_SV39 #define VM_SV39 VM_SV32 -#include "../rv64mi/dirty.S" +#include "../rv64si/dirty.S" |