This is an archive of the discontinued LLVM Phabricator instance.

[SCEV] Unify getUnsignedRange and getSignedRange
ClosedPublic

Authored by sanjoy on Mar 7 2015, 4:22 PM.

Details

Summary

Doing this removes some duplicated code, and also helps optimization:
e.g. in the test case added, %idx ULT 128 in @x is not currently
optimized to true by -indvars.

Diff Detail

Repository
rL LLVM

Event Timeline

sanjoy updated this revision to Diff 21436.Mar 7 2015, 4:22 PM
sanjoy retitled this revision from to [SCEV] Unify getUnsignedRange and getSignedRange.
sanjoy updated this object.
sanjoy edited the test plan for this revision. (Show Details)
sanjoy added reviewers: atrick, nlewycky.
sanjoy added a subscriber: Unknown Object (MLST).
atrick accepted this revision.Mar 9 2015, 12:19 PM
atrick edited edge metadata.

LGTM assuming I parsed the contorted diff correctly. i.e. there's no functional change except for handling unsigned ranges in more cases.

This revision is now accepted and ready to land.Mar 9 2015, 12:19 PM
This revision was automatically updated to reflect the committed changes.