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
Paths
| Differential D13962
[OperandBundles] Teach AliasAnalysis about operand bundles ClosedPublic Authored by sanjoy on Oct 21 2015, 4:15 PM.
Details Summary If a CallSite has operand bundles, then do not peek into the called This is tested using argmemonly, -basicaa and -gvn; but the Depends on D13961
Diff Detail Event Timelinesanjoy updated this object. sanjoy added a parent revision: D13961: [OperandBundles] Make function attributes conservatively correct. This revision is now accepted and ready to land.Oct 21 2015, 6:31 PM Closed by commit rL250974: [OperandBundles] Teach AliasAnalysis about operand bundles (authored by sanjoy). · Explain WhyOct 21 2015, 8:15 PM This revision was automatically updated to reflect the committed changes.
Revision Contents
Diff 38061 include/llvm/Analysis/AliasAnalysis.h
include/llvm/IR/InstrTypes.h
test/Feature/OperandBundles/basic-aa-argmemonly.ll
|
This is rather conservative, but that's fine for the moment.