diff options
| author | Yichao Yu <yyc1992@gmail.com> | 2017-11-02 12:18:33 +0000 |
|---|---|---|
| committer | Yichao Yu <yyc1992@gmail.com> | 2017-11-02 12:18:33 +0000 |
| commit | 6fefc0d65eec0cafe73a8dc6bf9d8c94bc90643f (patch) | |
| tree | 4da105d8fad9ab008061f95be52604893b56b8df /llvm/lib/Analysis/BasicAliasAnalysis.cpp | |
| parent | 205bcd0d54e55ff746dfd25b45dfac22866c8b1d (diff) | |
| download | bcm5719-llvm-6fefc0d65eec0cafe73a8dc6bf9d8c94bc90643f.tar.gz bcm5719-llvm-6fefc0d65eec0cafe73a8dc6bf9d8c94bc90643f.zip | |
Allow inaccessiblememonly and inaccessiblemem_or_argmemonly to be overwriten on call site with operand bundle
Summary:
Similar to argmemonly, readonly and readnone.
Fix PR35128
Reviewers: andrew.w.kaylor, chandlerc, hfinkel
Reviewed By: hfinkel
Subscribers: hfinkel, llvm-commits
Differential Revision: https://reviews.llvm.org/D39434
llvm-svn: 317201
Diffstat (limited to 'llvm/lib/Analysis/BasicAliasAnalysis.cpp')
| -rw-r--r-- | llvm/lib/Analysis/BasicAliasAnalysis.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp index 3909e6b44aa..4a6abae8e97 100644 --- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp +++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp @@ -617,6 +617,10 @@ FunctionModRefBehavior BasicAAResult::getModRefBehavior(ImmutableCallSite CS) { if (CS.onlyAccessesArgMemory()) Min = FunctionModRefBehavior(Min & FMRB_OnlyAccessesArgumentPointees); + else if (CS.onlyAccessesInaccessibleMemory()) + Min = FunctionModRefBehavior(Min & FMRB_OnlyAccessesInaccessibleMem); + else if (CS.onlyAccessesInaccessibleMemOrArgMem()) + Min = FunctionModRefBehavior(Min & FMRB_OnlyAccessesInaccessibleOrArgMem); // If CS has operand bundles then aliasing attributes from the function it // calls do not directly apply to the CallSite. This can be made more |
