From: Sebastian Pop <sebpop@gmail.com>
To: gcc-patches@gcc.gnu.org
Cc: rguenther@suse.de, gcc-graphite@googlegroups.com,
Sebastian Pop <sebpop@gmail.com>
Subject: [PATCH 09/10] Expect at least the version 0.11 of PPL.
Date: Sat, 15 Jan 2011 09:09:00 -0000 [thread overview]
Message-ID: <1295082315-32242-10-git-send-email-sebpop@gmail.com> (raw)
In-Reply-To: <1295082315-32242-1-git-send-email-sebpop@gmail.com>
2011-01-15 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.
---
ChangeLog.graphite | 5 +++++
configure | 6 +++---
configure.ac | 4 ++--
gcc/ChangeLog.graphite | 6 ++++++
gcc/doc/install.texi | 2 +-
gcc/graphite-ppl.c | 10 ----------
6 files changed, 17 insertions(+), 16 deletions(-)
diff --git a/ChangeLog.graphite b/ChangeLog.graphite
index e0e5725..987aefa 100644
--- a/ChangeLog.graphite
+++ b/ChangeLog.graphite
@@ -1,3 +1,8 @@
+2011-01-15 Sebastian Pop <sebastian.pop@amd.com>
+
+ * configure: Regenerated.
+ * configure.ac: Check for version 0.11 (or later revision) of PPL.
+
2011-01-13 Tobias Grosser <grosser@fim.uni-passau.de>
* configure: Regenerated.
diff --git a/configure b/configure
index e1ed49f..ac55cfb 100755
--- a/configure
+++ b/configure
@@ -5709,8 +5709,8 @@ fi
if test "x$with_ppl" != "xno" -a "${ENABLE_PPL_CHECK}" = "yes"; then
saved_CFLAGS="$CFLAGS"
CFLAGS="$CFLAGS $pplinc $gmpinc"
- { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.10 (or later revision) of PPL" >&5
-$as_echo_n "checking for version 0.10 (or later revision) of PPL... " >&6; }
+ { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.11 (or later revision) of PPL" >&5
+$as_echo_n "checking for version 0.11 (or later revision) of PPL... " >&6; }
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
/* end confdefs.h. */
#include "ppl_c.h"
@@ -5718,7 +5718,7 @@ int
main ()
{
- #if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 10
+ #if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 11
choke me
#endif
diff --git a/configure.ac b/configure.ac
index 1ff3047..877b3b7 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1637,9 +1637,9 @@ ENABLE_PPL_CHECK=yes)
if test "x$with_ppl" != "xno" -a "${ENABLE_PPL_CHECK}" = "yes"; then
saved_CFLAGS="$CFLAGS"
CFLAGS="$CFLAGS $pplinc $gmpinc"
- AC_MSG_CHECKING([for version 0.10 (or later revision) of PPL])
+ AC_MSG_CHECKING([for version 0.11 (or later revision) of PPL])
AC_TRY_COMPILE([#include "ppl_c.h"],[
- #if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 10
+ #if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 11
choke me
#endif
], [AC_MSG_RESULT([yes])], [AC_MSG_RESULT([no]); ppllibs= ; pplinc= ; with_ppl=no ])
diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite
index 51a5407..8328af3 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 650754e..b47049b 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
--
1.7.1
next prev parent reply other threads:[~2011-01-15 9:09 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-01-15 9:09 [PATCH 00/10] Make -floop-interchange catch almost all testcases of -ftree-loop-linear Sebastian Pop
2011-01-15 9:09 ` [PATCH 05/10] speedup compilation Sebastian Pop
2011-01-15 9:09 ` Sebastian Pop [this message]
2011-01-15 9:09 ` [PATCH 08/10] Minimize the number of expensive calls to ppl_powerset_is_empty Sebastian Pop
2011-01-15 9:09 ` [PATCH 06/10] Correct the precedence relation Sebastian Pop
2011-01-15 9:09 ` [PATCH 04/10] Fix pbb_remove_duplicate_pdrs Sebastian Pop
2011-01-15 9:09 ` [PATCH 01/10] Add debug_gmp_value Sebastian Pop
2011-01-15 9:09 ` [PATCH 02/10] Print the data dependence polyhedron in the PPL format Sebastian Pop
2011-01-15 9:28 ` [PATCH 10/10] Remove the temporary array for reductions written to memory Sebastian Pop
[not found] ` <AANLkTikHnNc5jznpHA51TySErrZ=7tiMYBFowcxLqk1a@mail.gmail.com>
2011-01-19 19:59 ` Sebastian Pop
2011-01-20 0:20 ` [PATCH 0/3] Fix 3 SPEC compile fails Sebastian Pop
2011-01-20 0:29 ` [PATCH 3/3] Only copy PBB_DOMAIN when it is initialized Sebastian Pop
2011-01-20 2:26 ` [PATCH 1/3] Move rewrite_commutative_reductions_out_of_ssa before find_scop_parameters Sebastian Pop
2011-01-20 4:08 ` [PATCH 2/3] Pass to dr_analyze_indices the analysis loop for subscripts Sebastian Pop
2011-01-15 10:09 ` [PATCH 03/10] Test the profitability of interchange on the perfect nest Sebastian Pop
2011-01-15 10:54 ` [PATCH 07/10] Use PIP to determine the integer feasibility of a constraint system Sebastian Pop
2011-01-15 18:54 ` Sven Verdoolaege
2011-01-15 22:08 ` Sebastian Pop
2011-01-15 22:27 ` Sven Verdoolaege
2011-01-17 10:43 ` [PATCH] Pass 0 as the number of parameters to PIP when testing for integer feasibility Sebastian Pop
2011-01-17 6:31 ` [PATCH 00/10] Make -floop-interchange catch almost all testcases of -ftree-loop-linear Jack Howarth
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1295082315-32242-10-git-send-email-sebpop@gmail.com \
--to=sebpop@gmail.com \
--cc=gcc-graphite@googlegroups.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=rguenther@suse.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).