diff options
Diffstat (limited to 'polly/lib/External/isl/codegen_test.sh')
| -rw-r--r-- | polly/lib/External/isl/codegen_test.sh | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/polly/lib/External/isl/codegen_test.sh b/polly/lib/External/isl/codegen_test.sh deleted file mode 100644 index fbb55d2c573..00000000000 --- a/polly/lib/External/isl/codegen_test.sh +++ /dev/null @@ -1,30 +0,0 @@ -#!/bin/sh - -EXEEXT= -srcdir=. - -failed=0 - -for i in $srcdir/test_inputs/codegen/*.st \ - $srcdir/test_inputs/codegen/cloog/*.st; do - echo $i; - base=`basename $i .st` - 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 -for i in $srcdir/test_inputs/codegen/*.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 |
