PR tree-optimization/48052

commit 05032b10839cf0498c992c819bf2358e86c22bb0
Author: amker <amker@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Tue Jun 2 10:19:18 2015 +0000

        PR tree-optimization/48052
        * cfgloop.h (struct control_iv): New.
        (struct loop): New field control_ivs.
        * tree-ssa-loop-niter.c : Include "stor-layout.h".
        (number_of_iterations_lt): Set no_overflow information.
        (number_of_iterations_exit): Init control iv in niter struct.
        (record_control_iv): New.
        (estimate_numbers_of_iterations_loop): Call record_control_iv.
        (loop_exits_before_overflow): New.  Interface factored out of
        scev_probably_wraps_p.
        (scev_probably_wraps_p): Factor loop niter related code into
        loop_exits_before_overflow.
        (free_numbers_of_iterations_estimates_loop): Free control ivs.
        * tree-ssa-loop-niter.h (free_loop_control_ivs): New.

        gcc/testsuite/ChangeLog
        PR tree-optimization/48052
        * gcc.dg/tree-ssa/scev-8.c: New.
        * gcc.dg/tree-ssa/scev-9.c: New.
        * gcc.dg/tree-ssa/scev-10.c: New.
        * gcc.dg/vect/pr48052.c: New.

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

1 files changed, 11 insertions, 0 deletions

diff --git a/gcc-4.9/gcc/cfgloop.h b/gcc-4.9/gcc/cfgloop.h
index c7e417bf2..11bfc810f 100644
--- a/gcc-4.9/gcc/cfgloop.h
+++ b/gcc-4.9/gcc/cfgloop.h
@@ -100,6 +100,14 @@ enum loop_estimation
   EST_LAST
 };
 
+/* The structure describing non-overflow control induction variable for
+   loop's exit edge.  */
+struct GTY ((chain_next ("%h.next"))) control_iv {
+  tree base;
+  tree step;
+  struct control_iv *next;
+};
+
 /* Structure to hold information for each natural loop.  */
 struct GTY ((chain_next ("%h.next"))) loop {
   /* Index into loops array.  */
@@ -187,6 +195,9 @@ struct GTY ((chain_next ("%h.next"))) loop {
   /* Upper bound on number of iterations of a loop.  */
   struct nb_iter_bound *bounds;
 
+  /* Non-overflow control ivs of a loop.  */
+  struct control_iv *control_ivs;
+
   /* Head of the cyclic list of the exits of the loop.  */
   struct loop_exit *exits;