This is an archive of the discontinued LLVM Phabricator instance.

[SLSR] handles off bounds GEPs
ClosedPublic

Authored by jingyue on Apr 2 2015, 1:47 PM.

Details

Summary

The old requirement on GEP candidates being in bounds is unnecessary.
For off-bound GEPs, we still have

&B[i * S] = B + (i * S) * e = B + (i * e) * S

Diff Detail

Event Timeline

jingyue updated this revision to Diff 23181.Apr 2 2015, 1:47 PM
jingyue retitled this revision from to [SLSR] handles off bounds GEPs.
jingyue updated this object.
jingyue edited the test plan for this revision. (Show Details)
jingyue added a reviewer: meheff.
jingyue added a subscriber: Unknown Object (MLST).
meheff edited edge metadata.Apr 2 2015, 1:57 PM

LGTM. Thanks!

test/Transforms/StraightLineStrengthReduce/slsr-gep.ll
112

nit: "out of bounds" is probably the term you want to use, not "off bounds".

jingyue updated this revision to Diff 23182.Apr 2 2015, 2:12 PM
jingyue edited edge metadata.

fixed grammar

This revision was automatically updated to reflect the committed changes.