From: amker <amker@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Fri, 21 Aug 2015 10:09:48 +0000 (+0000)
Subject: 	* tree-ssa-loop-niter.c (simplify_using_initial_conditions): Break
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=1ebfc4d6cac3e810d72f603585a0cb27fa351d2e;p=thirdparty%2Fgcc.git

	* tree-ssa-loop-niter.c (simplify_using_initial_conditions): Break
	loop if EXPR is simplified to const value.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@227055 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c746e164363a..cb1ed43dae7c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-08-21  Bin Cheng  <bin.cheng@arm.com>
+
+	* tree-ssa-loop-niter.c (simplify_using_initial_conditions): Break
+	loop if EXPR is simplified to const value.
+
 2015-08-21  Yury Gribov  <y.gribov@samsung.com>
 
 	* sanitizer.def (BUILT_IN_UBSAN_HANDLE_NONNULL_ARG,
diff --git a/gcc/tree-ssa-loop-niter.c b/gcc/tree-ssa-loop-niter.c
index 4e9a2acb19d0..39d680722403 100644
--- a/gcc/tree-ssa-loop-niter.c
+++ b/gcc/tree-ssa-loop-niter.c
@@ -2083,6 +2083,10 @@ simplify_using_initial_conditions (struct loop *loop, tree expr)
       if (e->flags & EDGE_FALSE_VALUE)
 	cond = invert_truthvalue (cond);
       expr = tree_simplify_using_condition (cond, expr);
+      /* Break if EXPR is simplified to const values.  */
+      if (expr && (integer_zerop (expr) || integer_nonzerop (expr)))
+	break;
+
       ++cnt;
     }