diff options
Diffstat (limited to 'polly/lib/External/isl/codegen_test.sh.in')
| -rw-r--r-- | polly/lib/External/isl/codegen_test.sh.in | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/polly/lib/External/isl/codegen_test.sh.in b/polly/lib/External/isl/codegen_test.sh.in new file mode 100644 index 00000000000..36a1815b762 --- /dev/null +++ b/polly/lib/External/isl/codegen_test.sh.in @@ -0,0 +1,21 @@ +#!/bin/sh + +EXEEXT=@EXEEXT@ +srcdir=@srcdir@ + +failed=0 + +for i in $srcdir/test_inputs/codegen/*.in \ + $srcdir/test_inputs/codegen/cloog/*.in \ + $srcdir/test_inputs/codegen/omega/*.in \ + $srcdir/test_inputs/codegen/pldi2012/*.in; do + echo $i; + base=`basename $i .in` + test=test-$base.c + dir=`dirname $i` + ref=$dir/$base.c + (./isl_codegen$EXEEXT < $i > $test && + diff -uw $ref $test && rm $test) || failed=1 +done + +test $failed -eq 0 || exit |
