From patchwork Fri Jan 21 19:27:34 2011 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Sebastian Pop X-Patchwork-Id: 79897 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) by ozlabs.org (Postfix) with SMTP id 54BEFB6F10 for ; Sat, 22 Jan 2011 06:30:44 +1100 (EST) Received: (qmail 17169 invoked by alias); 21 Jan 2011 19:30:22 -0000 Received: (qmail 16964 invoked by uid 22791); 21 Jan 2011 19:30:18 -0000 X-SWARE-Spam-Status: No, hits=-2.4 required=5.0 tests=AWL, BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, FREEMAIL_FROM, RCVD_IN_DNSWL_LOW, TW_SV, T_TO_NO_BRKTS_FREEMAIL X-Spam-Check-By: sourceware.org Received: from mail-yx0-f175.google.com (HELO mail-yx0-f175.google.com) (209.85.213.175) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Fri, 21 Jan 2011 19:30:00 +0000 Received: by yxd5 with SMTP id 5so674162yxd.20 for ; Fri, 21 Jan 2011 11:29:59 -0800 (PST) Received: by 10.100.5.3 with SMTP id 3mr753591ane.67.1295638197963; Fri, 21 Jan 2011 11:29:57 -0800 (PST) Received: from napoca (adsl-76-233-39-4.dsl.austtx.sbcglobal.net [76.233.39.4]) by mx.google.com with ESMTPS id w4sm11857660anw.36.2011.01.21.11.29.56 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 21 Jan 2011 11:29:57 -0800 (PST) Received: by napoca (sSMTP sendmail emulation); Fri, 21 Jan 2011 13:29:54 -0600 From: Sebastian Pop To: gcc-patches@gcc.gnu.org Cc: rguenther@suse.de Subject: [PATCH 15/28] Expect at least the version 0.11 of PPL. Date: Fri, 21 Jan 2011 13:27:34 -0600 Message-Id: <1295638067-13460-16-git-send-email-sebpop@gmail.com> In-Reply-To: References: X-IsSubscribed: yes Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org From: spop 2011-01-15 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/graphite@168841 138bc75d-0d04-0410-961f-82ee72b054a4 --- ChangeLog | 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 b/ChangeLog index 4ef084f..78c47c6 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2011-01-21 Sebastian Pop + + * configure: Regenerated. + * configure.ac: Check for version 0.11 (or later revision) of PPL. + 2011-01-21 Tobias Grosser * configure: Regenerated. diff --git a/configure b/configure index ca3d534..257888b 100755 --- a/configure +++ b/configure @@ -5716,8 +5716,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" @@ -5725,7 +5725,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 bbb82c3..a497efe 100644 --- a/configure.ac +++ b/configure.ac @@ -1668,9 +1668,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 93c4c4e..62b5999 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,5 +1,11 @@ 2011-01-15 Sebastian Pop + * 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 + * 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 7d0fa88..68c5941 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