simple \
add addi \
amoadd_w amoand_w amomax_w amomaxu_w amomin_w amominu_w amoor_w amoxor_w amoswap_w \
+ lrsc \
and andi \
auipc \
beq bge bgeu blt bltu bne \
sub \
xor xori \
-rv32ui_mc_tests = \
- lrsc
-
rv32ui_p_tests = $(addprefix rv32ui-p-, $(rv32ui_sc_tests))
rv32ui_v_tests = $(addprefix rv32ui-v-, $(rv32ui_sc_tests))
)
# make sure that sc with the wrong reservation fails.
+# TODO is this actually mandatory behavior?
TEST_CASE( 3, a4, 1, \
la a0, foo; \
add a1, a0, 1024; \
add addi addiw addw \
amoadd_d amoand_d amomax_d amomaxu_d amomin_d amominu_d amoor_d amoxor_d amoswap_d \
amoadd_w amoand_w amomax_w amomaxu_w amomin_w amominu_w amoor_w amoxor_w amoswap_w \
+ lrsc \
and andi \
auipc \
beq bge bgeu blt bltu bne \
sub subw \
xor xori \
-rv64ui_mc_tests = \
- lrsc
-
rv64ui_p_tests = $(addprefix rv64ui-p-, $(rv64ui_sc_tests))
rv64ui_v_tests = $(addprefix rv64ui-v-, $(rv64ui_sc_tests))
)
# make sure that sc with the wrong reservation fails.
+# TODO is this actually mandatory behavior?
TEST_CASE( 3, a4, 1, \
la a0, foo; \
add a1, a0, 1024; \