From: Kewen Lin <linkw@gcc.gnu.org>
Date: Thu, 27 Jun 2019 05:33:15 +0000 (+0000)
Subject: One line change onto r272731
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b5b31291bd21749edc3d1f1d74ac09fcb6a89310;p=gcc.git

One line change onto r272731

    PR target/62147
    * gcc/loop-iv.c (find_simple_exit)

-  if (single_exit (loop) && finite_loop_p (loop))
+  if (desc->infinite && single_exit (loop) && finite_loop_p (loop))

From-SVN: r272732
---

diff --git a/gcc/loop-iv.c b/gcc/loop-iv.c
index 36f9856f5f6..207b5e2bfa3 100644
--- a/gcc/loop-iv.c
+++ b/gcc/loop-iv.c
@@ -3004,7 +3004,7 @@ find_simple_exit (struct loop *loop, struct niter_desc *desc)
      well.  It results in incorrect predicate information on the exit condition
      expression.  For example, if says [(int) _1 + -8, + , -8] != 0 finite,
      it means _1 can exactly divide -8.  */
-  if (single_exit (loop) && finite_loop_p (loop))
+  if (desc->infinite && single_exit (loop) && finite_loop_p (loop))
     {
       desc->infinite = NULL_RTX;
       if (dump_file)