diff options
| author | Sebastian Pop <sebastian.pop@amd.com> | 2011-01-25 06:46:19 +0000 |
|---|---|---|
| committer | Sebastian Pop <spop@gcc.gnu.org> | 2011-01-25 06:46:19 +0000 |
| commit | 0deada9e5b187a9b7bd39e35b3043c5e8242d982 (patch) | |
| tree | 362c11c425b5253e3e4035389d5c8468a9059423 /gcc | |
| parent | d7d3d6af69a25722d6fac836e21799563fba8c70 (diff) | |
| download | gcc-0deada9e5b187a9b7bd39e35b3043c5e8242d982.zip gcc-0deada9e5b187a9b7bd39e35b3043c5e8242d982.tar.gz gcc-0deada9e5b187a9b7bd39e35b3043c5e8242d982.tar.bz2 | |
Expect at least the version 0.11 of PPL.
2011-01-25 Sebastian Pop <sebastian.pop@amd.com>
toplev/
* configure: Regenerated.
* configure.ac: Check for version 0.11 (or later revision) of PPL.
toplev/gcc/
* doc/install.texi: Update the expected version number of PPL to 0.11.
* graphite-ppl.c (ppl_powerset_is_empty): Remove now dead code under
#if PPL_VERSION_MINOR < 11.
From-SVN: r169207
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ChangeLog.graphite | 6 | ||||
| -rw-r--r-- | gcc/doc/install.texi | 2 | ||||
| -rw-r--r-- | gcc/graphite-ppl.c | 10 |
4 files changed, 13 insertions, 11 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ff43b8e..5885aa7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2011-01-25 Sebastian Pop <sebastian.pop@amd.com> + * doc/install.texi: Update the expected version number of PPL to 0.11. + * graphite-ppl.c (ppl_powerset_is_empty): Remove now dead code under + #if PPL_VERSION_MINOR < 11. + +2011-01-25 Sebastian Pop <sebastian.pop@amd.com> + * graphite-dependences.c: Include graphite-cloog-util.h. (new_poly_ddr): Inlined into dependence_polyhedron. (free_poly_ddr): Moved close by new_poly_ddr. diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index 93c4c4e..62b5999 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,5 +1,11 @@ 2011-01-15 Sebastian Pop <sebastian.pop@amd.com> + * doc/install.texi: Update the expected version number of PPL to 0.11. + * graphite-ppl.c (ppl_powerset_is_empty): Remove now dead code under + #if PPL_VERSION_MINOR < 11. + +2011-01-15 Sebastian Pop <sebastian.pop@amd.com> + * graphite-dependences.c (new_poly_ddr): Inlined into dependence_polyhedron. (free_poly_ddr): Moved close by new_poly_ddr. diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index 7797fcb..e451119 100644 --- a/gcc/doc/install.texi +++ b/gcc/doc/install.texi @@ -332,7 +332,7 @@ and @option{--with-mpc-include}. Alternatively, if an MPC source distribution is found in a subdirectory of your GCC sources named @file{mpc}, it will be built together with GCC@. -@item Parma Polyhedra Library (PPL) version 0.10 +@item Parma Polyhedra Library (PPL) version 0.11 Necessary to build GCC with the Graphite loop optimizations. It can be downloaded from @uref{http://www.cs.unipr.it/ppl/Download/}. diff --git a/gcc/graphite-ppl.c b/gcc/graphite-ppl.c index d879d78..1a08362 100644 --- a/gcc/graphite-ppl.c +++ b/gcc/graphite-ppl.c @@ -525,15 +525,6 @@ bool ppl_powerset_is_empty (ppl_Pointset_Powerset_C_Polyhedron_t ps, int nb_params ATTRIBUTE_UNUSED) { -#if PPL_VERSION_MAJOR == 0 && PPL_VERSION_MINOR < 11 - /* On PPL 0.10, - ppl_Pointset_Powerset_C_Polyhedron_contains_integer_point (ps) - takes too long on some cases and so we call _is_empty instead. */ - return ppl_Pointset_Powerset_C_Polyhedron_is_empty (ps); - -#else - /* On PPL 0.11 or later, we can check for integer feasibility using - the PIP solver. */ ppl_PIP_Problem_t pip; ppl_dimension_type d; ppl_const_Constraint_System_t pcs; @@ -585,7 +576,6 @@ ppl_powerset_is_empty (ppl_Pointset_Powerset_C_Polyhedron_t ps, free (ds); return !has_integer_solutions; -#endif } #endif |