##===- TEST.dsprecision.Makefile ---------------------------*- Makefile -*-===##
#
# This recursively traverses the programs, running -aa-eval on them with various
# different aa implementations.
#
##===----------------------------------------------------------------------===##

RELDIR  := $(subst $(PROJ_OBJ_ROOT),,$(PROJ_OBJ_DIR))

# We require the programs to be linked with libdummy
include $(LEVEL)/Makefile.dummylib

$(PROGRAMS_TO_TEST:%=Output/%.$(TEST).report.txt): \
Output/%.$(TEST).report.txt: Output/%.lib.bc $(LOPT)
	@echo > $@
	-($(LOPT) -basicaa -aa-eval -disable-output $<) > Output/$*.basicaa.out 2>&1
	@echo -n "BASIC MA: " >> $@
	-@grep 'may alias responses' Output/$*.basicaa.out >> $@
	@echo >> $@
	@echo -n "BASIC NOMR: " >> $@
	-@grep 'no mod/ref responses' Output/$*.basicaa.out >> $@
	@echo >> $@
	@echo -n "BASIC JUSTREF: " >> $@
	-@grep '[0-9] ref responses' Output/$*.basicaa.out >> $@
	@echo >> $@
	@echo -n "BASIC JUSTMOD: " >> $@
	-@grep 'mod responses' Output/$*.basicaa.out >> $@
	@echo >> $@
	@echo -n "BASIC MR: " >> $@
	-@grep 'mod & ref responses' Output/$*.basicaa.out >> $@
	@echo >> $@
	@
	-($(LOPT) -steens-aa -disable-ds-field-sensitivity -aa-eval \
                           -disable-output $<) > Output/$*.steensfiaa.out 2>&1
	@echo -n "STEENS-FI MA: " >> $@
	-@grep 'may alias responses' Output/$*.steensfiaa.out >> $@
	@echo >> $@
	@echo -n "STEENS-FI NOMR: " >> $@
	-@grep 'no mod/ref responses' Output/$*.steensfiaa.out >> $@
	@echo >> $@
	@echo -n "STEENS-FI JUSTREF: " >> $@
	-@grep '[0-9] ref responses' Output/$*.steensfiaa.out >> $@
	@echo >> $@
	@echo -n "STEENS-FI JUSTMOD: " >> $@
	-@grep 'mod responses' Output/$*.steensfiaa.out >> $@
	@echo >> $@
	@echo -n "STEENS-FI MR: " >> $@
	-@grep 'mod & ref responses' Output/$*.steensfiaa.out >> $@
	@echo >> $@
	@
	-($(LOPT) -steens-aa -aa-eval -disable-output $<) > Output/$*.steensfsaa.out 2>&1
	@echo -n "STEENS-FS MA: " >> $@
	-@grep 'may alias responses' Output/$*.steensfsaa.out >> $@
	@echo >> $@
	@echo -n "STEENS-FS NOMR: " >> $@
	-@grep 'no mod/ref responses' Output/$*.steensfsaa.out >> $@
	@echo >> $@
	@echo -n "STEENS-FS JUSTREF: " >> $@
	-@grep '[0-9] ref responses' Output/$*.steensfsaa.out >> $@
	@echo >> $@
	@echo -n "STEENS-FS JUSTMOD: " >> $@
	-@grep 'mod responses' Output/$*.steensfsaa.out >> $@
	@echo >> $@
	@echo -n "STEENS-FS MR: " >> $@
	-@grep 'mod & ref responses' Output/$*.steensfsaa.out >> $@
	@echo >> $@
	@
	-($(LOPT) -anders-aa -aa-eval -disable-output $<) > Output/$*.andersaa.out 2>&1
	@echo -n "ANDERS MA: " >> $@
	-@grep 'may alias responses' Output/$*.andersaa.out >> $@
	@echo >> $@
	@echo -n "ANDERS NOMR: " >> $@
	-@grep 'no mod/ref responses' Output/$*.andersaa.out >> $@
	@echo >> $@
	@echo -n "ANDERS JUSTREF: " >> $@
	-@grep '[0-9] ref responses' Output/$*.andersaa.out >> $@
	@echo >> $@
	@echo -n "ANDERS JUSTMOD: " >> $@
	-@grep 'mod responses' Output/$*.andersaa.out >> $@
	@echo >> $@
	@echo -n "ANDERS MR: " >> $@
	-@grep 'mod & ref responses' Output/$*.andersaa.out >> $@
	@echo >> $@
	@
	-($(LOPT) -ds-aa -aa-eval -disable-output $<) > Output/$*.dsaa.out 2>&1
	@echo -n "DS MA: " >> $@
	-@grep 'may alias responses' Output/$*.dsaa.out >> $@
	@echo >> $@
	@echo -n "DS NOMR: " >> $@
	-@grep 'no mod/ref responses' Output/$*.dsaa.out >> $@
	@echo >> $@
	@echo -n "DS JUSTREF: " >> $@
	-@grep '[0-9] ref responses' Output/$*.dsaa.out >> $@
	@echo >> $@
	@echo -n "DS JUSTMOD: " >> $@
	-@grep 'mod responses' Output/$*.dsaa.out >> $@
	@echo >> $@
	@echo -n "DS MR: " >> $@
	-@grep 'mod & ref responses' Output/$*.dsaa.out >> $@
	@echo >> $@

$(PROGRAMS_TO_TEST:%=test.$(TEST).%): \
test.$(TEST).%: Output/%.$(TEST).report.txt
	@echo "---------------------------------------------------------------"
	@echo ">>> ========= '$(RELDIR)/$*' Program"
	@echo "---------------------------------------------------------------"
	@cat $<

# Define REPORT_DEPENDENCIES so that the report is regenerated if analyze or
# dummylib is updated.
#
REPORT_DEPENDENCIES := $(DUMMYLIB) $(LOPT)