This is an archive of the discontinued LLVM Phabricator instance.

[OperandBundles] Teach AliasAnalysis about operand bundles

Authored by sanjoy on Oct 21 2015, 4:15 PM.



If a CallSite has operand bundles, then do not peek into the called
function to get a more precise ModRef answer.

This is tested using argmemonly, -basicaa and -gvn; but the
functionality is not specific to any of these.

Depends on D13961

Diff Detail


Event Timeline

sanjoy updated this revision to Diff 38061.Oct 21 2015, 4:15 PM
sanjoy retitled this revision from to [OperandBundles] Teach AliasAnalysis about operand bundles.
sanjoy updated this object.
sanjoy added reviewers: reames, chandlerc.
sanjoy added a subscriber: llvm-commits.
reames accepted this revision.Oct 21 2015, 6:31 PM
reames edited edge metadata.


762 ↗(On Diff #38061)

This is rather conservative, but that's fine for the moment.

768 ↗(On Diff #38061)

Unrelated to your change: I'm surprised we're not looking at CallSite attributes here..

This revision is now accepted and ready to land.Oct 21 2015, 6:31 PM
This revision was automatically updated to reflect the committed changes.