| ##===- TEST.aa.Makefile ------------------------------------*- Makefile -*-===## |
| # |
| # This recursively traverses the programs, computing the precision of various |
| # alias analysis passes on the programs. |
| # |
| ##===----------------------------------------------------------------------===## |
| |
| # We require the programs to be linked with libdummy |
| include $(LEVEL)/Makefile.dummylib |
| |
| AA_IMPLS := basic steens-fi steens ds-fi ds |
| |
| SUFFIX = -aa-eval -time-passes -disable-output -disable-verify < $< 2> $@ |
| |
| $(PROGRAMS_TO_TEST:%=Output/%.aa.basic.txt): \ |
| Output/%.aa.basic.txt: Output/%.lib.bc $(LOPT) |
| -$(LOPT) -basicaa $(SUFFIX) |
| |
| $(PROGRAMS_TO_TEST:%=Output/%.aa.steens-fi.txt): \ |
| Output/%.aa.steens-fi.txt: Output/%.lib.bc $(LOPT) |
| -$(LOPT) -steens-aa -disable-ds-field-sensitivity $(SUFFIX) |
| |
| $(PROGRAMS_TO_TEST:%=Output/%.aa.steens.txt): \ |
| Output/%.aa.steens.txt: Output/%.lib.bc $(LOPT) |
| -$(LOPT) -steens-aa $(SUFFIX) |
| |
| $(PROGRAMS_TO_TEST:%=Output/%.aa.ds-fi.txt): \ |
| Output/%.aa.ds-fi.txt: Output/%.lib.bc $(LOPT) |
| -$(LOPT) -ds-aa -disable-ds-field-sensitivity $(SUFFIX) |
| |
| $(PROGRAMS_TO_TEST:%=Output/%.aa.ds.txt): \ |
| Output/%.aa.ds.txt: Output/%.lib.bc $(LOPT) |
| -$(LOPT) -ds-aa $(SUFFIX) |
| |
| |
| AA_OUTPUTS := $(addsuffix .txt, $(AA_IMPLS)) |
| |
| # Overall tests: just run subordinate tests |
| $(PROGRAMS_TO_TEST:%=Output/%.$(TEST).report.txt): \ |
| Output/%.$(TEST).report.txt: $(addprefix Output/%.aa., $(AA_OUTPUTS)) |
| $(VERB) $(RM) -f $@ |
| @echo "---------------------------------------------------------------" >> $@ |
| @echo ">>> ========= '$(RELDIR)/$*' Program" >> $@ |
| @echo "---------------------------------------------------------------" >> $@ |
| -$(LDIS) < Output/$*.lib.bc | grep ^declare >> $@ |
| @-for output in $(addprefix Output/$*.aa., $(AA_OUTPUTS)); do \ |
| echo -n "$$output:" >> $@; \ |
| grep Summary $$output >> $@; \ |
| echo "" >> $@; \ |
| echo -n "$$output: " >> $@; \ |
| grep "Total Execution" $$output >> $@; \ |
| echo "" >> $@; \ |
| done |
| |
| $(PROGRAMS_TO_TEST:%=test.$(TEST).%): \ |
| test.$(TEST).%: Output/%.$(TEST).report.txt |
| @cat $< |
| |
| # Define REPORT_DEPENDENCIES so that the report is regenerated if analyze or |
| # dummylib is updated. |
| # |
| REPORT_DEPENDENCIES := $(DUMMYLIB) $(LANALYZE) $(LOPT) |