| # test/Regression/Verifier/Makefile |
| # |
| # This directory contains regression tests for the LLVM verifier pass. Basically |
| # all of these LLVM source files are invalid programs that should be marked as |
| # such by the verifier |
| |
| LEVEL = ../../.. |
| include $(LEVEL)/test/Makefile.tests |
| |
| TESTS := $(wildcard *.ll) |
| |
| all:: $(addprefix Output/, $(TESTS:%.ll=%.ntbc)) |
| |
| Output/%.ntbc: %.ll $(LAS) Output/.dir |
| @echo "======== Verifying $< ===========" |
| if $(LAS) -f $< -o /dev/null; \ |
| then $(FAILURE) $@; exit 1; \ |
| else touch $@; exit 0;\ |
| fi |