From patchwork Mon Aug 2 20:20:13 2010 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Subject: [40/65] Scevs could be expressions without chrecs and still be scev_analyzable_p. From: Sebastian Pop X-Patchwork-Id: 60636 Message-Id: <1280780438-17543-41-git-send-email-sebpop@gmail.com> To: gcc-patches@gcc.gnu.org Cc: Tobias Grosser , gcc-graphite Date: Mon, 2 Aug 2010 15:20:13 -0500 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