From patchwork Tue Jan 18 05:37:59 2011 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Sebastian Pop X-Patchwork-Id: 79249 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 684EAB7139 for ; Tue, 18 Jan 2011 16:38:25 +1100 (EST) Received: (qmail 17295 invoked by alias); 18 Jan 2011 05:38:19 -0000 Received: (qmail 17219 invoked by uid 22791); 18 Jan 2011 05:38:18 -0000 X-SWARE-Spam-Status: No, hits=-2.6 required=5.0 tests=AWL, BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, FREEMAIL_FROM, RCVD_IN_DNSWL_LOW, T_TO_NO_BRKTS_FREEMAIL X-Spam-Check-By: sourceware.org Received: from mail-gx0-f175.google.com (HELO mail-gx0-f175.google.com) (209.85.161.175) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Tue, 18 Jan 2011 05:38:13 +0000 Received: by gxk20 with SMTP id 20so2305632gxk.20 for ; Mon, 17 Jan 2011 21:38:11 -0800 (PST) Received: by 10.100.106.18 with SMTP id e18mr3208146anc.80.1295329091773; Mon, 17 Jan 2011 21:38:11 -0800 (PST) Received: from napoca (adsl-99-184-93-67.dsl.austtx.sbcglobal.net [99.184.93.67]) by mx.google.com with ESMTPS id e24sm6454085ana.2.2011.01.17.21.38.09 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 17 Jan 2011 21:38:11 -0800 (PST) Received: by napoca (sSMTP sendmail emulation); Mon, 17 Jan 2011 23:38:08 -0600 From: Sebastian Pop To: gcc-patches@gcc.gnu.org Cc: rguenther@suse.de, gcc-graphite@googlegroups.com, Sebastian Pop Subject: [PATCH 1/5] Relax the definition of same_pdr_p. Date: Mon, 17 Jan 2011 23:37:59 -0600 Message-Id: <1295329083-27160-2-git-send-email-sebpop@gmail.com> In-Reply-To: <1295329083-27160-1-git-send-email-sebpop@gmail.com> References: <1295329083-27160-1-git-send-email-sebpop@gmail.com> 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 2011-01-17 Sebastian Pop * graphite-dependences.c (new_poly_ddr): Call same_pdr_p. * graphite-poly.h (same_pdr_p): Do not expect that the PDR_TYPE of both data references to be the same. --- gcc/ChangeLog.graphite | 6 ++++++ gcc/graphite-dependences.c | 3 +-- gcc/graphite-poly.h | 3 +-- 3 files changed, 8 insertions(+), 4 deletions(-) diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index 3912934..4b9572b 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,5 +1,11 @@ 2011-01-17 Sebastian Pop + * graphite-dependences.c (new_poly_ddr): Call same_pdr_p. + * graphite-poly.h (same_pdr_p): Do not expect that the PDR_TYPE + of both data references to be the same. + +2011-01-17 Sebastian Pop + * graphite-dependences.c (build_lexicographical_constraint): Remove the gdim parameter. (build_lexicographical_constraint): Adjust call to ppl_powerset_is_empty. diff --git a/gcc/graphite-dependences.c b/gcc/graphite-dependences.c index 252a987..1820d8b 100644 --- a/gcc/graphite-dependences.c +++ b/gcc/graphite-dependences.c @@ -531,8 +531,7 @@ new_poly_ddr (poly_dr_p pdr1, poly_dr_p pdr2, PDDR_KIND (res) = unknown_dependence; else if (!(pdr_read_p (pdr1) && pdr_read_p (pdr2)) - && PDR_BASE_OBJECT_SET (pdr1) == PDR_BASE_OBJECT_SET (pdr2) - && PDR_NB_SUBSCRIPTS (pdr1) == PDR_NB_SUBSCRIPTS (pdr2) + && same_pdr_p (pdr1, pdr2) && may_alias) { PDDR_DDP (res) = dependence_polyhedron (pdr1, pdr2, direction, diff --git a/gcc/graphite-poly.h b/gcc/graphite-poly.h index 8be905e..3bf87b0 100644 --- a/gcc/graphite-poly.h +++ b/gcc/graphite-poly.h @@ -301,8 +301,7 @@ pdr_may_write_p (poly_dr_p pdr) static inline bool same_pdr_p (poly_dr_p pdr1, poly_dr_p pdr2) { - return PDR_TYPE (pdr1) == PDR_TYPE (pdr2) - && PDR_NB_SUBSCRIPTS (pdr1) == PDR_NB_SUBSCRIPTS (pdr2) + return PDR_NB_SUBSCRIPTS (pdr1) == PDR_NB_SUBSCRIPTS (pdr2) && PDR_BASE_OBJECT_SET (pdr1) == PDR_BASE_OBJECT_SET (pdr2); }