https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48052
--- Comment #14 from amker at gcc dot gnu.org --- Author: amker Date: Tue Jun 2 10:19:18 2015 New Revision: 224020 URL: https://gcc.gnu.org/viewcvs?rev=224020&root=gcc&view=rev Log: 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. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/scev-10.c trunk/gcc/testsuite/gcc.dg/tree-ssa/scev-8.c trunk/gcc/testsuite/gcc.dg/tree-ssa/scev-9.c trunk/gcc/testsuite/gcc.dg/vect/pr48052.c Modified: trunk/gcc/ChangeLog trunk/gcc/cfgloop.h trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-loop-niter.c trunk/gcc/tree-ssa-loop-niter.h