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
