From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32008 invoked by alias); 2 Aug 2010 20:23:54 -0000 Received: (qmail 31849 invoked by uid 22791); 2 Aug 2010 20:23:52 -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-yx0-f175.google.com (HELO mail-yx0-f175.google.com) (209.85.213.175) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 02 Aug 2010 20:23:44 +0000 Received: by mail-yx0-f175.google.com with SMTP id 11so1550084yxi.20 for ; Mon, 02 Aug 2010 13:23:44 -0700 (PDT) Received: by 10.101.175.9 with SMTP id c9mr6889106anp.3.1280780624082; Mon, 02 Aug 2010 13:23:44 -0700 (PDT) Received: from napoca (cpe-70-120-196-107.austin.res.rr.com [70.120.196.107]) by mx.google.com with ESMTPS id h5sm10329364anb.28.2010.08.02.13.23.42 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 02 Aug 2010 13:23:43 -0700 (PDT) Received: by napoca (sSMTP sendmail emulation); Mon, 02 Aug 2010 15:23:40 -0500 From: Sebastian Pop To: gcc-patches@gcc.gnu.org Cc: Tobias Grosser , gcc-graphite Subject: [PATCH 40/65] Scevs could be expressions without chrecs and still be scev_analyzable_p. Date: Mon, 02 Aug 2010 20:23:00 -0000 Message-Id: <1280780438-17543-41-git-send-email-sebpop@gmail.com> In-Reply-To: <1280780438-17543-1-git-send-email-sebpop@gmail.com> References: <1280780438-17543-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-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2010-08/txt/msg00113.txt.bz2 From: spop 2010-07-15 Sebastian Pop * sese.h (scev_analyzable_p): Scevs could be expressions without chrecs and still be scev_analyzable_p. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/graphite@162248 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/ChangeLog.graphite | 5 +++++ gcc/sese.h | 3 ++- 3 files changed, 12 insertions(+), 1 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d6c67ad..524376d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2010-08-02 Sebastian Pop + * sese.h (scev_analyzable_p): Scevs could be expressions without + chrecs and still be scev_analyzable_p. + +2010-08-02 Sebastian Pop + * params.def (PARAM_SCEV_MAX_EXPR_SIZE): Bump the value to 100. 2010-08-02 Sebastian Pop diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index 9eb3ae8..a93e035 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,5 +1,10 @@ 2010-07-15 Sebastian Pop + * sese.h (scev_analyzable_p): Scevs could be expressions without + chrecs and still be scev_analyzable_p. + +2010-07-15 Sebastian Pop + * params.def (PARAM_SCEV_MAX_EXPR_SIZE): Bump the value to 100. 2010-07-15 Sebastian Pop diff --git a/gcc/sese.h b/gcc/sese.h index 1502cbe..f10030c 100644 --- a/gcc/sese.h +++ b/gcc/sese.h @@ -398,7 +398,8 @@ scev_analyzable_p (tree def, sese region) return !chrec_contains_undetermined (scev) && TREE_CODE (scev) != SSA_NAME - && evolution_function_is_affine_p (scev); + && (tree_does_not_contain_chrecs (scev) + || evolution_function_is_affine_p (scev)); } #endif -- 1.7.0.4