utils/ABITest/Makefile.test.common

   1 # -*- Makefile -*-
   2
   3 # Usage: make test.N.report
   4 #
   5 # COUNT can be over-ridden to change the number of tests generated per
   6 # file, and TESTARGS is used to change the type generation. Make sure
   7 # to 'make clean' after changing either of these parameters.
   8
   9 TESTARGS := --no-unsigned --no-vector --no-complex --no-bool
  10
  11 COUNT := 1
  12 TIMEOUT := 5
  13
  14 CFLAGS := -std=gnu99
  15
  16 X_COMPILER := gcc
  17 X_LL_CFLAGS := -emit-llvm -S
  18 Y_COMPILER := clang
  19 Y_LL_CFLAGS := -emit-llvm -S
  20 CC := gcc
  21
  22 ###
  23
  24 ABITESTGEN := ../ABITestGen.py
  25
  26 ifndef VERBOSE
  27   Verb := @
  28 endif
  29
  30 .PHONY: test.%.report
  31 test.%.report: temps/test.%.xx.diff temps/test.%.xy.diff temps/test.%.yx.diff temps/test.%.yy.diff
  32         @ok=1;\
  33         for t in $^; do \
  34                 if [ -s $$t ]; then \
  35                         echo "TEST $*: $$t failed"; \
  36                         ok=0;\
  37                 fi; \
  38         done; \
  39         if [ $$ok -eq 1 ]; then \
  40                 true; \
  41         else \
  42                 false; \
  43         fi
  44
  45
  46 .PHONY: test.%.defs-report
  47 test.%.defs-report: temps/test.%.defs.diff
  48         @for t in $^; do \
  49                 if [ -s $$t ]; then \
  50                         echo "TEST $*: $$t failed"; \
  51                         cat $$t; \
  52                 fi; \
  53         done
  54
  55 .PHONY: test.%.build
  56 test.%.build: temps/test.%.ref temps/test.%.xx temps/test.%.xy temps/test.%.yx temps/test.%.yy temps/test.%.x.defs temps/test.%.y.defs
  57         @true
  58
  59 ###
  60
  61 # Diffs and output
  62
  63 .PRECIOUS: temps/.dir
  64
  65 .PRECIOUS: temps/test.%.xx.diff
  66 temps/test.%.xx.diff: temps/test.%.ref.out temps/test.%.xx.out
  67         $(Verb) diff $^ > $@ || true
  68 .PRECIOUS: temps/test.%.xy.diff
  69 temps/test.%.xy.diff: temps/test.%.ref.out temps/test.%.xy.out
  70         $(Verb) diff $^ > $@ || true
  71 .PRECIOUS: temps/test.%.yx.diff
  72 temps/test.%.yx.diff: temps/test.%.ref.out temps/test.%.yx.out
  73         $(Verb) diff $^ > $@ || true
  74 .PRECIOUS: temps/test.%.yy.diff
  75 temps/test.%.yy.diff: temps/test.%.ref.out temps/test.%.yy.out
  76         $(Verb) diff $^ > $@ || true
  77 .PRECIOUS: temps/test.%.defs.diff
  78 temps/test.%.defs.diff: temps/test.%.x.defs temps/test.%.y.defs
  79         $(Verb) zipdifflines \
  80           --replace "%struct.T[0-9]+" "%struct.s" \
  81           --replace "%union.T[0-9]+" "%struct.s" \
  82           --replace "byval align [0-9]+" "byval" \
  83           $^ > $@
  84
  85 .PRECIOUS: temps/test.%.out
  86 temps/test.%.out: temps/test.%
  87         -$(Verb) ./$< > $@
  88
  89 # Executables
  90
  91 .PRECIOUS: temps/test.%.ref
  92 temps/test.%.ref: temps/test.%.driver.ref.o temps/test.%.a.ref.o temps/test.%.b.ref.o
  93         $(Verb) $(CC) $(CFLAGS) $(CC_CFLAGS) -O3 -o $@ $^
  94 .PRECIOUS: temps/test.%.xx
  95 temps/test.%.xx: temps/test.%.driver.ref.o temps/test.%.a.x.o temps/test.%.b.x.o
  96         $(Verb) $(CC) $(CFLAGS) $(CC_CFLAGS) -O3  -o $@ $^
  97 .PRECIOUS: temps/test.%.xy
  98 temps/test.%.xy: temps/test.%.driver.ref.o temps/test.%.a.x.o temps/test.%.b.y.o
  99         $(Verb) $(CC) $(CFLAGS) $(CC_CFLAGS) -O3  -o $@ $^
 100 .PRECIOUS: temps/test.%.yx
 101 temps/test.%.yx: temps/test.%.driver.ref.o temps/test.%.a.y.o temps/test.%.b.x.o
 102         $(Verb) $(CC) $(CFLAGS) $(CC_CFLAGS) -O3  -o $@ $^
 103 .PRECIOUS: temps/test.%.yy
 104 temps/test.%.yy: temps/test.%.driver.ref.o temps/test.%.a.y.o temps/test.%.b.y.o
 105         $(Verb) $(CC) $(CFLAGS) $(CC_CFLAGS) -O3  -o $@ $^
 106
 107 # Object files
 108
 109 .PRECIOUS: temps/test.%.ref.o
 110 temps/test.%.ref.o: inputs/test.%.c temps/.dir
 111         $(Verb) $(CC) -c $(CFLAGS) $(CC_CFLAGS) -o $@ $<
 112 .PRECIOUS: temps/test.%.x.o
 113 temps/test.%.x.o: inputs/test.%.c temps/.dir
 114         $(Verb) $(X_COMPILER) -c $(CFLAGS) $(X_CFLAGS) -o $@ $<
 115 .PRECIOUS: temps/test.%.y.o
 116 temps/test.%.y.o: inputs/test.%.c temps/.dir
 117         $(Verb) $(Y_COMPILER) -c $(CFLAGS) $(Y_CFLAGS) -o $@ $<
 118
 119 .PRECIOUS: temps/test.%.x.defs
 120 temps/test.%.x.defs: temps/test.%.a.x.ll temps/.dir
 121         -$(Verb) -grep '^define ' $< > $@
 122 .PRECIOUS: temps/test.%.y.defs
 123 temps/test.%.y.defs: temps/test.%.a.y.ll temps/.dir
 124         -$(Verb) -grep '^define ' $< > $@
 125
 126 .PRECIOUS: temps/test.%.a.x.ll
 127 temps/test.%.a.x.ll: inputs/test.%.a.c temps/.dir
 128         $(Verb) $(X_COMPILER) $(CFLAGS) $(X_LL_CFLAGS) $(X_CFLAGS) -o $@ $<
 129 .PRECIOUS: temps/test.%.b.x.ll
 130 temps/test.%.b.x.ll: inputs/test.%.b.c temps/.dir
 131         $(Verb) $(X_COMPILER) $(CFLAGS) $(X_LL_CFLAGS) $(X_CFLAGS) -o $@ $<
 132 .PRECIOUS: temps/test.%.a.y.ll
 133 temps/test.%.a.y.ll: inputs/test.%.a.c temps/.dir
 134         $(Verb) $(Y_COMPILER) $(CFLAGS) $(Y_LL_CFLAGS) $(Y_CFLAGS) -o $@ $<
 135 .PRECIOUS: temps/test.%.b.y.ll
 136 temps/test.%.b.y.ll: inputs/test.%.b.c temps/.dir
 137         $(Verb) $(Y_COMPILER) $(CFLAGS) $(Y_LL_CFLAGS) $(Y_CFLAGS) -o $@ $<
 138
 139 # Input generation
 140
 141 .PHONY: test.%.top
 142 test.%.top: inputs/test.%.a.c inputs/test.%.b.c inputs/test.%.driver.c
 143         @true
 144
 145 .PRECIOUS: inputs/test.%.a.c inputs/test.%.b.c inputs/test.%.driver.c
 146 inputs/test.%.a.c: test.%.generate
 147         @true
 148 inputs/test.%.b.c: test.%.generate
 149         @true
 150 inputs/test.%.driver.c: test.%.generate
 151         @true
 152
 153 .PHONY: test.%.generate
 154 .PRECIOUS: inputs/.dir
 155 test.%.generate: $(ABITESTGEN) inputs/.dir
 156         $(Verb) $(ABITESTGEN) $(TESTARGS) -o inputs/test.$*.a.c -T inputs/test.$*.b.c -D inputs/test.$*.driver.c --min=$(shell expr $* '*' $(COUNT))  --count=$(COUNT)
 157
 158 # Cleaning
 159
 160 clean-temps:
 161         $(Verb) rm -rf temps
 162
 163 clean:
 164         $(Verb) rm -rf temps inputs
 165
 166 # Etc.
 167
 168 %/.dir:
 169         $(Verb) mkdir -p $* > /dev/null
 170         $(Verb) $(DATE) > $@