diff --git a/tests/wally-riscv-arch-test/riscv-test-suite/rv32i_m/privilege/Makefile b/tests/wally-riscv-arch-test/riscv-test-suite/rv32i_m/privilege/Makefile index fb2c55ad..e177848b 100644 --- a/tests/wally-riscv-arch-test/riscv-test-suite/rv32i_m/privilege/Makefile +++ b/tests/wally-riscv-arch-test/riscv-test-suite/rv32i_m/privilege/Makefile @@ -1,3 +1,3 @@ include ../../Makefile.include -$(eval $(call compile_template,-march=rv32i -mabi=ilp32 -Drvtest_mtrap_routine=True -DXLEN=$(XLEN))) +$(eval $(call compile_template,-march=rv32iac -mabi=ilp32 -Drvtest_mtrap_routine=True -DXLEN=$(XLEN))) diff --git a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/Makefile b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/Makefile index c5a3eabd..d70717f0 100644 --- a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/Makefile +++ b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/Makefile @@ -1,3 +1,3 @@ include ../../Makefile.include -$(eval $(call compile_template,-march=rv64i -mabi=lp64 -Drvtest_mtrap_routine=True -DXLEN=$(XLEN))) +$(eval $(call compile_template,-march=rv64iac -mabi=lp64 -Drvtest_mtrap_routine=True -DXLEN=$(XLEN))) diff --git a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/Makefrag b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/Makefrag index bdfaaa65..4b60965c 100644 --- a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/Makefrag +++ b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/Makefrag @@ -37,6 +37,7 @@ rv64i_sc_tests = \ WALLY-misa-01 \ WALLY-scratch-01 \ WALLY-sscratch-s-01 \ + WALLY-AMO \ # Don't simulate these because they rely on SoC features that Wally does not offer. target_tests_nosim = \