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/graphite-ppl.c | |
| 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/graphite-ppl.c')
| -rw-r--r-- | gcc/graphite-ppl.c | 10 |
1 files changed, 0 insertions, 10 deletions
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 |