15 Aug
2008
15 Aug
'08
4:10 p.m.
Roberto Bagnara wrote:
The first thing I did was to compile Cloog against PPL 0.10: I had to rename a few symbols, but it was a 5-minutes affair... a patch for Cloog is attached.
Here is the patch. By the way, please accept my apologies if I am mailing someone unnecessarily or if I missed someone else. Is there a mailing list for this project? For PPL-related messages it is very easy: mail ppl-devel@cs.unipr.it (only). Cheers,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
diff --git a/Makefile.am b/Makefile.am
index 16aecd2..25f4458 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -38,6 +38,8 @@
SUBDIRS = . doc test
+ACLOCAL_AMFLAGS = -I m4
+
bin_PROGRAMS = cloog
lib_LTLIBRARIES = libcloog.la
diff --git a/configure.in b/configure.in
index da4d3ff..29431b5 100644
--- a/configure.in
+++ b/configure.in
@@ -41,6 +41,7 @@ dnl ***************************************************************************/
AC_PREREQ(2.13)
AC_INIT(source/cloog.c)
AC_CONFIG_AUX_DIR(autoconf)
+AC_CONFIG_MACRO_DIR([m4])
dnl Every other copy of the package version number gets its value from here.
AM_INIT_AUTOMAKE(cloog, 0.15)
@@ -86,7 +87,7 @@ AC_PROG_MAKE_SET
AC_CHECK_PROG(CD, cd)
dnl Configure needs an empty install.sh file with this, i HATE that...
AC_PROG_INSTALL
-AC_PROG_LIBTOOL
+LT_INIT([dlopen,win32-dll])
dnl Checks for typedefs, structures, and compiler characteristics.
diff --git a/source/ppl/domain.c b/source/ppl/domain.c
index 0c82f98..1d1db81 100644
--- a/source/ppl/domain.c
+++ b/source/ppl/domain.c
@@ -324,7 +324,7 @@ cloog_build_ppl_cstr (ppl_Linear_Expression_t expr, int ineq)
break;
case 1:
- ppl_new_Constraint (&cstr, expr, PPL_CONSTRAINT_TYPE_GREATER_THAN_OR_EQUAL);
+ ppl_new_Constraint (&cstr, expr, PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL);
break;
default:
@@ -439,7 +439,7 @@ cloog_translate_constraint_matrix (CloogMatrix *matrix)
ppl_Polyhedron_t ppl;
ppl_dimension_type dim = matrix->NbColumns - 2;
- ppl_new_NNC_Polyhedron_from_dimension (&ppl, dim);
+ ppl_new_NNC_Polyhedron_from_space_dimension (&ppl, dim, 0);
cloog_translate_constraint_matrix_1 (ppl, matrix);
return ppl;
}
@@ -494,7 +494,7 @@ cloog_translate_ppl_polyhedron_1 (ppl_Polyhedron_t pol)
int eqs, orig_ineqs, ineqs, row, i;
ppl_const_Constraint_t pc;
- ppl_Polyhedron_minimized_constraints (pol, &pcs);
+ ppl_Polyhedron_get_minimized_constraints (pol, &pcs);
ppl_new_Constraint_System_const_iterator (&cit);
ppl_new_Constraint_System_const_iterator (&end);
@@ -535,7 +535,7 @@ cloog_translate_ppl_polyhedron_1 (ppl_Polyhedron_t pol)
ppl_Constraint_System_const_iterator_dereference (cit, &pc);
neg = (ppl_Constraint_type (pc) == PPL_CONSTRAINT_TYPE_LESS_THAN
- || ppl_Constraint_type (pc) == PPL_CONSTRAINT_TYPE_LESS_THAN_OR_EQUAL) ? 1 : 0;
+ || ppl_Constraint_type (pc) == PPL_CONSTRAINT_TYPE_LESS_OR_EQUAL) ? 1 : 0;
row = (ppl_Constraint_type (pc) == PPL_CONSTRAINT_TYPE_EQUAL) ? eqs++ : ineqs++;
for (col = 0; col < dim; col++)
@@ -567,8 +567,8 @@ cloog_translate_ppl_polyhedron_1 (ppl_Polyhedron_t pol)
value_set_si (res->Constraint[row][0], 1);
break;
- case PPL_CONSTRAINT_TYPE_LESS_THAN_OR_EQUAL:
- case PPL_CONSTRAINT_TYPE_GREATER_THAN_OR_EQUAL:
+ case PPL_CONSTRAINT_TYPE_LESS_OR_EQUAL:
+ case PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL:
value_set_si (res->Constraint[row][0], 1);
break;
@@ -789,7 +789,7 @@ cloog_domain_convex (CloogDomain * domain)
m = cloog_upol_domain2matrix (upol);
p2 = cloog_translate_constraint_matrix (m);
- ppl_Polyhedron_generators (p2, &g);
+ ppl_Polyhedron_get_generators (p2, &g);
ppl_Polyhedron_add_generators_and_minimize (p1, g);
ppl_delete_Polyhedron (p2);
@@ -869,7 +869,7 @@ non_redundant_constraint (ppl_Constraint_t c, ppl_Polyhedron_t p)
ppl_new_Constraint_System_from_Constraint (&cs, c);
ppl_new_NNC_Polyhedron_from_Constraint_System (&p1, cs);
- ppl_Polyhedron_generators (p1, &g);
+ ppl_Polyhedron_get_generators (p1, &g);
ppl_new_Generator_System_const_iterator (&git);
ppl_new_Generator_System_const_iterator (&end);
@@ -910,7 +910,7 @@ changes_constraints (ppl_Constraint_t c, ppl_Polyhedron_t p)
ppl_new_Constraint_System_const_iterator (&git);
ppl_new_Constraint_System_const_iterator (&end);
- ppl_Polyhedron_minimized_constraints (p, &g);
+ ppl_Polyhedron_get_minimized_constraints (p, &g);
for (ppl_Constraint_System_begin (g, git), ppl_Constraint_System_end (g, end);
!ppl_Constraint_System_const_iterator_equal_test (git, end);
@@ -925,7 +925,7 @@ changes_constraints (ppl_Constraint_t c, ppl_Polyhedron_t p)
a1++;
break;
- case PPL_CONSTRAINT_TYPE_LESS_THAN_OR_EQUAL:
+ case PPL_CONSTRAINT_TYPE_LESS_OR_EQUAL:
a2++;
break;
@@ -933,7 +933,7 @@ changes_constraints (ppl_Constraint_t c, ppl_Polyhedron_t p)
a3++;
break;
- case PPL_CONSTRAINT_TYPE_GREATER_THAN_OR_EQUAL:
+ case PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL:
a4++;
break;
@@ -948,7 +948,7 @@ changes_constraints (ppl_Constraint_t c, ppl_Polyhedron_t p)
ppl_new_NNC_Polyhedron_from_NNC_Polyhedron (&q, p);
ppl_Polyhedron_add_constraint_and_minimize (q, c);
- ppl_Polyhedron_minimized_constraints (q, &g);
+ ppl_Polyhedron_get_minimized_constraints (q, &g);
for (ppl_Constraint_System_begin (g, git), ppl_Constraint_System_end (g, end);
!ppl_Constraint_System_const_iterator_equal_test (git, end);
@@ -963,7 +963,7 @@ changes_constraints (ppl_Constraint_t c, ppl_Polyhedron_t p)
b1++;
break;
- case PPL_CONSTRAINT_TYPE_LESS_THAN_OR_EQUAL:
+ case PPL_CONSTRAINT_TYPE_LESS_OR_EQUAL:
b2++;
break;
@@ -971,7 +971,7 @@ changes_constraints (ppl_Constraint_t c, ppl_Polyhedron_t p)
b3++;
break;
- case PPL_CONSTRAINT_TYPE_GREATER_THAN_OR_EQUAL:
+ case PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL:
b4++;
break;
@@ -1008,7 +1008,7 @@ changes_generators (ppl_Constraint_t c, ppl_Polyhedron_t p)
ppl_new_Generator_System_const_iterator (&git);
ppl_new_Generator_System_const_iterator (&end);
- ppl_Polyhedron_minimized_generators (p, &g);
+ ppl_Polyhedron_get_minimized_generators (p, &g);
for (ppl_Generator_System_begin (g, git), ppl_Generator_System_end (g, end);
!ppl_Generator_System_const_iterator_equal_test (git, end);
@@ -1036,7 +1036,7 @@ changes_generators (ppl_Constraint_t c, ppl_Polyhedron_t p)
ppl_new_NNC_Polyhedron_from_NNC_Polyhedron (&q, p);
ppl_Polyhedron_add_constraint (q, c);
- ppl_Polyhedron_minimized_generators (q, &g);
+ ppl_Polyhedron_get_minimized_generators (q, &g);
for (ppl_Generator_System_begin (g, git), ppl_Generator_System_end (g, end);
!ppl_Generator_System_const_iterator_equal_test (git, end);
@@ -1110,7 +1110,7 @@ cloog_domain_simplify (CloogDomain * dom1, CloogDomain * dom2)
ppl_Polyhedron_t p2 = cloog_translate_constraint_matrix (m2);
ppl_Polyhedron_t p3;
- ppl_new_NNC_Polyhedron_from_dimension (&p3, dim);
+ ppl_new_NNC_Polyhedron_from_space_dimension (&p3, dim, 0);
for (i = 0; i < m1->NbRows; i++)
if (!cloog_positivity_constraint_p (m1, i, dim + 1))
@@ -1398,7 +1398,7 @@ cloog_domain_addconstraints (CloogDomain *domain_source, CloogDomain *domain_tar
source = cloog_domain_upol (domain_source);
target = cloog_domain_upol (domain_target);
- ppl_new_NNC_Polyhedron_from_dimension (&ppl, dim);
+ ppl_new_NNC_Polyhedron_from_space_dimension (&ppl, dim, 0);
cloog_translate_constraint_matrix_1 (ppl, cloog_upol_domain2matrix (target));
cloog_translate_constraint_matrix_1 (ppl, cloog_upol_domain2matrix (source));
res = cloog_translate_ppl_polyhedron (ppl);
@@ -1410,7 +1410,7 @@ cloog_domain_addconstraints (CloogDomain *domain_source, CloogDomain *domain_tar
while (target)
{
- ppl_new_NNC_Polyhedron_from_dimension (&ppl, dim);
+ ppl_new_NNC_Polyhedron_from_space_dimension (&ppl, dim, 0);
cloog_translate_constraint_matrix_1 (ppl, cloog_upol_domain2matrix (target));
if (source)