sanjoy added a comment. The other option would be to keep LFTR aggressive (i.e. have it drop no-wrap flags if needed), but to do that only if the backedge condition is quadratic. https://reviews.llvm.org/D30446