diff options
Diffstat (limited to 'isa/rv64ua/Makefrag')
| -rw-r--r-- | isa/rv64ua/Makefrag | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/isa/rv64ua/Makefrag b/isa/rv64ua/Makefrag new file mode 100644 index 0000000..7acf644 --- /dev/null +++ b/isa/rv64ua/Makefrag @@ -0,0 +1,17 @@ +#======================================================================= +# Makefrag for rv64ua tests +#----------------------------------------------------------------------- + +rv64ua_sc_tests = \ + 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 \ + +rv64ua_mc_tests = \ + lrsc + +rv64ua_p_tests = $(addprefix rv64ua-p-, $(rv64ua_sc_tests)) +rv64ua_pt_tests = $(addprefix rv64ua-pt-, $(rv64ua_sc_tests)) +rv64ua_pm_tests = $(addprefix rv64ua-pm-, $(rv64ua_mc_tests)) +rv64ua_v_tests = $(addprefix rv64ua-v-, $(rv64ua_sc_tests)) + +spike_tests += $(rv64ua_p_tests) $(rv64ua_pm_tests) $(rv64ua_pt_tests) $(rv64ua_v_tests) |