privately export pet_stmt_is_affine_assume
[pet.git] / codegen_test.sh.in
blobfd4a65998f0972d5e4fa872333adafc981f732ec
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
29 rm test.c