diff options
Diffstat (limited to 'isa/rv32um/Makefrag')
| -rw-r--r-- | isa/rv32um/Makefrag | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/isa/rv32um/Makefrag b/isa/rv32um/Makefrag new file mode 100644 index 0000000..1391c6a --- /dev/null +++ b/isa/rv32um/Makefrag @@ -0,0 +1,13 @@ +#======================================================================= +# Makefrag for rv32um tests +#----------------------------------------------------------------------- + +rv32um_sc_tests = \ + div divu \ + mul mulh mulhsu mulhu \ + rem remu \ + +rv32um_p_tests = $(addprefix rv32um-p-, $(rv32um_sc_tests)) +rv32um_v_tests = $(addprefix rv32um-v-, $(rv32um_sc_tests)) + +spike32_tests += $(rv32um_p_tests) $(rv32um_v_tests) |