http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55555
--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-18 13:12:39 UTC --- Author: rguenth Date: Tue Dec 18 13:12:34 2012 New Revision: 194578 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194578 Log: 2012-12-18 Richard Biener <rguent...@suse.de> PR tree-optimization/55555 * tree-ssa-loop-niter.c (idx_infer_loop_bounds): Properly analyze evolution of the index for the loop it is used in. * tree-scalar-evolution.c (instantiate_scev_name): Take inner loop we will be creating a chrec for. Generalize fix for PR40281 and prune invalid SCEVs. (instantiate_scev_poly): Likewise - pass down inner loop we will be creating a chrec for. (instantiate_scev_binary): Take and pass through inner loop. (instantiate_array_ref): Likewise. (instantiate_scev_convert): Likewise. (instantiate_scev_not): Likewise. (instantiate_scev_3): Likewise. (instantiate_scev_2): Likewise. (instantiate_scev_1): Likewise. (instantiate_scev_r): Likewise. (resolve_mixers): Adjust. (instantiate_scev): Likewise. * gcc.dg/torture/pr55555.c: New testcase. * gcc.dg/vect/vect-iv-11.c: Adjust. Added: trunk/gcc/testsuite/gcc.dg/torture/pr55555.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gcc.dg/vect/vect-iv-11.c trunk/gcc/tree-scalar-evolution.c trunk/gcc/tree-ssa-loop-niter.c