rv32ui_sc_tests = \
add addi \
amoadd_w amoand_w amomax_w amomaxu_w amomin_w amominu_w amoor_w amoswap_w \
- #and andi \
- #auipc \
- #beq bge bgeu blt bltu bne \
- #div divu \
- #fence_i \
- #j jal jalr \
- #lb lbu lh lhu lw \
- #lui \
- #mul mulh mulhsu mulhu \
- #or ori \
- #rem remu \
- #sb sh sw \
- #sll slli \
- #slt slti \
+ and andi \
+ auipc \
+ beq bge bgeu blt bltu bne \
+ div divu \
+ fence_i \
+ j jal jalr \
+ lb lbu lh lhu lw \
+ lui \
+ mul mulh mulhu mulhsu \
+ or ori \
+ rem remu \
+ sb sh sw \
+ sll slli \
+ slt slti \
#sra srai \
#srl srli \
#sub \
#xor xori \
rv32ui_mc_tests = \
- #lrsc
+ lrsc
rv32ui_p_tests = $(addprefix rv32ui-p-, $(rv32ui_sc_tests))
rv32ui_pm_tests = $(addprefix rv32ui-pm-, $(rv32ui_mc_tests))