For the testcase in PR43571 when not disabling VRP complete unrolling can not figure out the number of iterations because VRP jump threading destroys proper loop form.
-- Summary: VRP destroys loop form Product: gcc Version: 4.6.0 Status: UNCONFIRMED Keywords: missed-optimization Severity: enhancement Priority: P3 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: rguenth at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43768