Page MenuHomePhabricator

[IVUsers] don't bail out of normalizing non-affine add recs
ClosedPublic

Authored by sanjoy on Apr 14 2017, 5:02 PM.

Details

Summary

In a previous change I changed SCEV's normalization / denormalization
to work with non-affine add recs. So the bailout in IVUsers can be
removed.

Diff Detail

Repository
rL LLVM

Event Timeline

sanjoy created this revision.Apr 14 2017, 5:02 PM
davide added a subscriber: davide.Apr 24 2017, 1:00 PM
davide added inline comments.
test/Analysis/IVUsers/quadradic-exit-value.ll
33–61 ↗(On Diff #95366)

Can you keep the test?

atrick accepted this revision.Apr 24 2017, 10:56 PM

Yeah, it seems like you should have the positive version of this test.
Otherwise, lgtm.

This revision is now accepted and ready to land.Apr 24 2017, 10:56 PM
This revision was automatically updated to reflect the committed changes.