August 2008 - PPL-devel - BUGSENG Mailman

ppl configure.ac
by Roberto Bagnara 22 Aug '08

22 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-22 17:35:15 Modified files: . : configure.ac Log message: Fixed the generation of the file names for the Prolog and Java interfaces. Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

Some fails of simplify_using_context_assign in CLooG's testsuite
by Sebastian Pop 22 Aug '08

22 Aug '08

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

3 9

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 22 Aug '08

22 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-22 16:50:15 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 Log message: The same as in the previous commit - but for the OCaml interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_in…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 22 Aug '08

22 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-22 16:49:09 Modified files: interfaces : ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 ppl_interface_generator_prolog_hh_code.m4 ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 interfaces/C : C_interface.dox ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 interfaces/Java: Java_interface.dox interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: The Prolog predicate simplify_using_context_assign has 3 arguments the third for the Boolean result. As a result, special schematic code for all the interfaces needed to be provided just for this method (previously it had used the schematic code for the binary operators with the "and_minimize" option). The documentation for C and Java updated for this method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Java_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 22 Aug '08

22 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-22 16:13:07 Modified files: src : Polyhedron_public.cc Log message: Modified method simplify_using_context_assign(): more simplifications detected (now test06 in test/Polyhedron/interpreservenlarge1.cc succeeds). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 22 Aug '08

22 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-22 13:33:51 Modified files: src : Polyhedron_public.cc Log message: Solved the problem causing an assertion to fail in test06. Correction still incomplete, since simplification fails to detect some redundant inequalities as such. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests/Polyhedron interspreservenlarge1.cc
by Enea Zaffanella 22 Aug '08

22 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-22 12:42:13 Modified files: tests/Polyhedron: interspreservenlarge1.cc Log message: Fixed test showing bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/interspreser…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 22 Aug '08

22 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-22 12:14:48 Modified files: src : Polyhedron_public.cc Log message: Previous change reverted: it wasn't the proper fix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 22 Aug '08

22 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-22 11:23:46 Modified files: src : Polyhedron_public.cc Log message: Corrected variable naming typo causing an assertion failure (as witnessed by test06 in test/Polyhedron/interspreservenlarge1.cc). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests/Polyhedron interspreservenlarge1.cc
by Enea Zaffanella 22 Aug '08

22 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-22 11:22:00 Modified files: tests/Polyhedron: interspreservenlarge1.cc Log message: New test (test06) shows a bug in simplify_using_context_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/interspreser…

1 0