This is an archive of the discontinued LLVM Phabricator instance.

Make GlobalsModRef more aggressive in finding allocations associated with globals by looking through bitcasts and all-zero GEPs.i
AbandonedPublic

Authored by chandlerc on Oct 16 2014, 12:01 PM.

Details

Reviewers
None
Summary

Also switches it to use a worklist so that it doesn't recurse too
deeply.

I wrote this because I was hunting for any place where we failed to look
through poniter casts feeding loads or stores, and saw this. I have no
idea if this really matters at all, if it helps, etc. I'm not really
looking at LTO stuff at the moment and don't have time to dig into the
details, figure out if this is a worthwhile change, or write test cases.
Mailing it to the list in case someone else wants to play with it.

Diff Detail

Event Timeline

chandlerc updated this revision to Diff 15035.Oct 16 2014, 12:01 PM
chandlerc retitled this revision from to Make GlobalsModRef more aggressive in finding allocations associated with globals by looking through bitcasts and all-zero GEPs.i.
chandlerc updated this object.
chandlerc added a subscriber: Unknown Object (MLST).
chandlerc abandoned this revision.Apr 6 2016, 10:18 PM