Hi,
Many thanks for the implementation of simplify_using_context_assign. Using the attached patch on top of cloog-ppl, I got some segfaults in the code of simplify_using_context_assign:
diff -u ref_check.txt check_2008_08_21_22_00_44 --- ref_check.txt 2008-08-02 17:36:07.000000000 -0500 +++ check_2008_08_21_22_00_44 2008-08-21 22:01:18.000000000 -0500 @@ -135,6 +135,7 @@ Verify file cholesky cholesky passed Verify file cholesky2 +/bin/bash: line 2: 19236 Segmentation fault ../cloog ./$x.cloog > ttemp cholesky2 passed Verify file classen classen passed @@ -197,12 +198,15 @@ Verify file logopar logopar passed Verify file lu +/bin/bash: line 2: 19763 Segmentation fault ../cloog ./$x.cloog > ttemp lu passed Verify file lu2 +/bin/bash: line 2: 19785 Segmentation fault ../cloog ./$x.cloog > ttemp lu2 passed Verify file lub lub passed Verify file lux +/bin/bash: line 2: 19819 Segmentation fault ../cloog ./$x.cloog > ttemp lux passed Verify file min-1-1 min-1-1 passed @@ -283,12 +287,14 @@ Verify file ./reservoir/mg-interp2 ./reservoir/mg-interp2 passed Verify file ./reservoir/mg-interp +/bin/bash: line 2: 20499 Segmentation fault ../cloog ./$x.cloog > ttemp ./reservoir/mg-interp passed Verify file ./reservoir/mg-psinv ./reservoir/mg-psinv passed Verify file ./reservoir/mg-resid ./reservoir/mg-resid passed Verify file ./reservoir/mg-rprj3 +/bin/bash: line 2: 20550 Segmentation fault ../cloog ./$x.cloog > ttemp ./reservoir/mg-rprj3 passed Verify file ./reservoir/pingali1 ./reservoir/pingali1 passed @@ -310,6 +316,7 @@ ./reservoir/two passed --- Testing FORTRAN files... Verify file dartef +[CLooG]ERROR: unbounded loops not allowed in FORTRAN. dartef passed Verify file iftestf iftestf passed
I tried to debug it but I'm sure somebody more familiar with the code of PPL could jump in to help.
From a first look over the changes to the testsuite of CLooG, the
redundant checks in loops seem to disappear now. Thanks again,
Sebastian Pop -- AMD - GNU Tools