pet_context_evaluate_expr: first insert domain
[pet.git] / codegen_test.sh.in
blobe0b88a5d400881220cc0d9bcc0163d1e86faf09e
1 #!/bin/sh
3 EXEEXT=@EXEEXT@
4 srcdir=@ISL_SRCDIR@
6 for i in $srcdir/test_inputs/codegen/*.in \
7 $srcdir/test_inputs/codegen/cloog/*.in \
8 $srcdir/test_inputs/codegen/omega/*.in \
9 $srcdir/test_inputs/codegen/pldi2012/*.in; do
10 echo $i;
11 for opt in "" "--separate" "--atomic" \
12 "--isl-no-ast-build-atomic-upper-bound" "--read-options"; do
13 echo options: $opt
14 (./pet_codegen$EXEEXT $opt < $i > test.c &&
15 ./pet_check_code$EXEEXT $i test.c) || exit
16 done
17 done