From 0deada9e5b187a9b7bd39e35b3043c5e8242d982 Mon Sep 17 00:00:00 2001 From: Sebastian Pop Date: Tue, 25 Jan 2011 06:46:19 +0000 Subject: Expect at least the version 0.11 of PPL. 2011-01-25 Sebastian Pop 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 --- gcc/graphite-ppl.c | 10 ---------- 1 file changed, 10 deletions(-) (limited to 'gcc/graphite-ppl.c') 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 -- cgit v1.1