From patchwork Fri Aug 20 23:44:36 2010 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Sebastian Pop X-Patchwork-Id: 62332 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 9DC3AB70DB for ; Sat, 21 Aug 2010 09:45:15 +1000 (EST) Received: (qmail 515 invoked by alias); 20 Aug 2010 23:45:12 -0000 Received: (qmail 497 invoked by uid 22791); 20 Aug 2010 23:45:11 -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, T_TO_NO_BRKTS_FREEMAIL X-Spam-Check-By: sourceware.org Received: from mail-yw0-f47.google.com (HELO mail-yw0-f47.google.com) (209.85.213.47) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Fri, 20 Aug 2010 23:45:06 +0000 Received: by ywa8 with SMTP id 8so557457ywa.20 for ; Fri, 20 Aug 2010 16:45:04 -0700 (PDT) Received: by 10.151.122.3 with SMTP id z3mr2459203ybm.267.1282347904697; Fri, 20 Aug 2010 16:45:04 -0700 (PDT) Received: from napoca ([163.181.251.115]) by mx.google.com with ESMTPS id u41sm4421010yba.10.2010.08.20.16.45.02 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 20 Aug 2010 16:45:04 -0700 (PDT) Received: by napoca (sSMTP sendmail emulation); Fri, 20 Aug 2010 18:45:01 -0500 From: Sebastian Pop To: gcc-patches@gcc.gnu.org Cc: gcc-graphite@googlegroups.com, Sebastian Pop Subject: [PATCH 2/6] A function is affine when CHREC_RIGHT is invariant. Date: Fri, 20 Aug 2010 18:44:36 -0500 Message-Id: <1282347880-797-3-git-send-email-sebpop@gmail.com> In-Reply-To: <1282347880-797-1-git-send-email-sebpop@gmail.com> References: <1282347880-797-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 2010-08-20 Sebastian Pop * tree-chrec.h (evolution_function_is_affine_p): Do not check whether CHREC_LEFT is invariant. A function is affine when CHREC_RIGHT is invariant. --- gcc/ChangeLog.graphite | 6 ++++++ gcc/tree-chrec.h | 21 ++++----------------- 2 files changed, 10 insertions(+), 17 deletions(-) diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index 34bd5be..16b5dfa 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,5 +1,11 @@ 2010-08-20 Sebastian Pop + * tree-chrec.h (evolution_function_is_affine_p): Do not check + whether CHREC_LEFT is invariant. A function is affine when + CHREC_RIGHT is invariant. + +2010-08-20 Sebastian Pop + * graphite-sese-to-poly.c (reduction_phi_p): Remove check for is_gimple_reg. (rewrite_degenerate_phi): Same. diff --git a/gcc/tree-chrec.h b/gcc/tree-chrec.h index eb60ac9..58b14e7 100644 --- a/gcc/tree-chrec.h +++ b/gcc/tree-chrec.h @@ -202,23 +202,10 @@ evolution_function_is_affine_in_loop (const_tree chrec, int loopnum) static inline bool evolution_function_is_affine_p (const_tree chrec) { - if (chrec == NULL_TREE) - return false; - - switch (TREE_CODE (chrec)) - { - case POLYNOMIAL_CHREC: - if (evolution_function_is_invariant_p (CHREC_LEFT (chrec), - CHREC_VARIABLE (chrec)) - && evolution_function_is_invariant_p (CHREC_RIGHT (chrec), - CHREC_VARIABLE (chrec))) - return true; - else - return false; - - default: - return false; - } + return chrec + && TREE_CODE (chrec) == POLYNOMIAL_CHREC + && evolution_function_is_invariant_p (CHREC_RIGHT (chrec), + CHREC_VARIABLE (chrec)); } /* Determines whether EXPR does not contains chrec expressions. */