diff options
| author | spop <spop@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-01-25 06:46:19 +0000 |
|---|---|---|
| committer | spop <spop@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-01-25 06:46:19 +0000 |
| commit | 11ce391e24ff81eb5a203f4c99f87040be32ae38 (patch) | |
| tree | 362c11c425b5253e3e4035389d5c8468a9059423 /gcc/graphite-ppl.c | |
| parent | 1877ea6b65581899eee95785b8bd39ddbc60597d (diff) | |
| download | gcc-11ce391e24ff81eb5a203f4c99f87040be32ae38.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@169207 138bc75d-0d04-0410-961f-82ee72b054a4
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 d879d788738..1a083627ea6 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 |