From patchwork Thu Sep 30 18:01:30 2010 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Sebastian Pop X-Patchwork-Id: 66224 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 BF213B70A3 for ; Fri, 1 Oct 2010 04:07:46 +1000 (EST) Received: (qmail 21523 invoked by alias); 30 Sep 2010 18:06:00 -0000 Received: (qmail 13309 invoked by uid 22791); 30 Sep 2010 18:03:57 -0000 X-SWARE-Spam-Status: No, hits=-1.9 required=5.0 tests=AWL, BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, FREEMAIL_FROM, RCVD_IN_DNSWL_NONE, TW_SV, T_TO_NO_BRKTS_FREEMAIL X-Spam-Check-By: sourceware.org Received: from mail-gw0-f47.google.com (HELO mail-gw0-f47.google.com) (74.125.83.47) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 30 Sep 2010 18:03:48 +0000 Received: by mail-gw0-f47.google.com with SMTP id 1so990158gwb.20 for ; Thu, 30 Sep 2010 11:03:48 -0700 (PDT) Received: by 10.101.100.13 with SMTP id c13mr56913anm.57.1285869828211; Thu, 30 Sep 2010 11:03:48 -0700 (PDT) Received: from napoca ([163.181.251.115]) by mx.google.com with ESMTPS id i25sm152017anh.37.2010.09.30.11.03.46 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 30 Sep 2010 11:03:47 -0700 (PDT) Received: by napoca (sSMTP sendmail emulation); Thu, 30 Sep 2010 13:03:45 -0500 From: Sebastian Pop To: gcc-patches@gcc.gnu.org Cc: gcc-graphite@googlegroups.com Subject: [PATCH 38/44] CDI_POST_DOMINATORS are not used in Graphite. Date: Thu, 30 Sep 2010 13:01:30 -0500 Message-Id: <1285869696-10915-39-git-send-email-sebpop@gmail.com> In-Reply-To: <1285869696-10915-1-git-send-email-sebpop@gmail.com> References: <1285869696-10915-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 From: spop 2010-09-20 Sebastian Pop * graphite-clast-to-gimple.c (graphite_verify): Remove call to verify_dominators for CDI_POST_DOMINATORS. * sese.h: Remove comment about CDI_POST_DOMINATORS. (recompute_all_dominators): Remove call to free_dominance_info for CDI_POST_DOMINATORS. Remove call to calculate_dominance_info for CDI_POST_DOMINATORS. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/graphite@164463 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 9 +++++++++ gcc/ChangeLog.graphite | 9 +++++++++ gcc/graphite-clast-to-gimple.c | 1 - gcc/sese.h | 6 ------ 4 files changed, 18 insertions(+), 7 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 09958c3..4d9cd28 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,14 @@ 2010-09-30 Sebastian Pop + * graphite-clast-to-gimple.c (graphite_verify): Remove call to + verify_dominators for CDI_POST_DOMINATORS. + * sese.h: Remove comment about CDI_POST_DOMINATORS. + (recompute_all_dominators): Remove call to free_dominance_info + for CDI_POST_DOMINATORS. Remove call to calculate_dominance_info + for CDI_POST_DOMINATORS. + +2010-09-30 Sebastian Pop + * graphite-poly.c (pbb_number_of_iterations_at_time): Only iterate over pbb_dim_iter_domain. diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index 3eaf807..997df9b 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,3 +1,12 @@ +2010-09-20 Sebastian Pop + + * graphite-clast-to-gimple.c (graphite_verify): Remove call to + verify_dominators for CDI_POST_DOMINATORS. + * sese.h: Remove comment about CDI_POST_DOMINATORS. + (recompute_all_dominators): Remove call to free_dominance_info + for CDI_POST_DOMINATORS. Remove call to calculate_dominance_info + for CDI_POST_DOMINATORS. + 2010-09-09 Sebastian Pop * graphite-poly.c (pbb_number_of_iterations_at_time): Only iterate diff --git a/gcc/graphite-clast-to-gimple.c b/gcc/graphite-clast-to-gimple.c index 6fde344..0e2ec80 100644 --- a/gcc/graphite-clast-to-gimple.c +++ b/gcc/graphite-clast-to-gimple.c @@ -67,7 +67,6 @@ graphite_verify (void) #ifdef ENABLE_CHECKING verify_loop_structure (); verify_dominators (CDI_DOMINATORS); - verify_dominators (CDI_POST_DOMINATORS); verify_loop_closed_ssa (true); #endif } diff --git a/gcc/sese.h b/gcc/sese.h index f10030c..8277f68 100644 --- a/gcc/sese.h +++ b/gcc/sese.h @@ -94,10 +94,6 @@ bb_in_region (basic_block bb, basic_block entry, basic_block exit) predecessors of EXIT are dominated by ENTRY. */ FOR_EACH_EDGE (e, ei, exit->preds) dominated_by_p (CDI_DOMINATORS, e->src, entry); - - /* Check that there are no edges going out of the region: the - entry is post-dominated by the exit. FIXME: This cannot be - checked right now as the CDI_POST_DOMINATORS are needed. */ } #endif @@ -310,9 +306,7 @@ recompute_all_dominators (void) { mark_irreducible_loops (); free_dominance_info (CDI_DOMINATORS); - free_dominance_info (CDI_POST_DOMINATORS); calculate_dominance_info (CDI_DOMINATORS); - calculate_dominance_info (CDI_POST_DOMINATORS); } typedef struct gimple_bb