add pet_inliner
[pet.git] / codegen_test.sh.in
blob550c494bcf8e6acfe6357bb9a2986de14e955252
1 #!/bin/sh
3 EXEEXT=@EXEEXT@
4 srcdir=@ISL_SRCDIR@
6 for i in $srcdir/test_inputs/codegen/*.st \
7 $srcdir/test_inputs/codegen/cloog/*.st; do
8 echo $i;
9 for opt in "" "--separate" "--atomic" \
10 "--isl-no-ast-build-atomic-upper-bound"; do
11 echo options: $opt
12 (./pet_codegen$EXEEXT --tree $opt < $i > test.c &&
13 ./pet_check_code$EXEEXT --tree $i test.c) || exit
14 done
15 done
17 for i in $srcdir/test_inputs/codegen/*.in \
18 $srcdir/test_inputs/codegen/omega/*.in \
19 $srcdir/test_inputs/codegen/pldi2012/*.in; do
20 echo $i;
21 for opt in "" "--separate" "--atomic" \
22 "--isl-no-ast-build-atomic-upper-bound" "--read-options"; do
23 echo options: $opt
24 (./pet_codegen$EXEEXT $opt < $i > test.c &&
25 ./pet_check_code$EXEEXT $i test.c) || exit
26 done
27 done