diff options
| author | Vitaly Buka <vitalybuka@google.com> | 2017-06-24 01:35:13 +0000 |
|---|---|---|
| committer | Vitaly Buka <vitalybuka@google.com> | 2017-06-24 01:35:13 +0000 |
| commit | 9c2a036276b943c42132fda7f989ca65cde10cd1 (patch) | |
| tree | c271add1d8543532524970336f3b8d9be7ce09e6 /llvm/lib/Analysis/Loads.cpp | |
| parent | 18c10c53d0e9b29c0d65d370073967a78558dcd2 (diff) | |
| download | bcm5719-llvm-9c2a036276b943c42132fda7f989ca65cde10cd1.tar.gz bcm5719-llvm-9c2a036276b943c42132fda7f989ca65cde10cd1.zip | |
Make visible isDereferenceableAndAlignedPointer(..., const APInt &Size, ...)
Summary: Used by D34311 and D34467
Reviewers: hfinkel, efriedma
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D34585
llvm-svn: 306193
Diffstat (limited to 'llvm/lib/Analysis/Loads.cpp')
| -rw-r--r-- | llvm/lib/Analysis/Loads.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/Loads.cpp b/llvm/lib/Analysis/Loads.cpp index 96799a459bf..591b0fc481d 100644 --- a/llvm/lib/Analysis/Loads.cpp +++ b/llvm/lib/Analysis/Loads.cpp @@ -117,6 +117,16 @@ static bool isDereferenceableAndAlignedPointer( } bool llvm::isDereferenceableAndAlignedPointer(const Value *V, unsigned Align, + const APInt &Size, + const DataLayout &DL, + const Instruction *CtxI, + const DominatorTree *DT) { + SmallPtrSet<const Value *, 32> Visited; + return ::isDereferenceableAndAlignedPointer(V, Align, Size, DL, CtxI, DT, + Visited); +} + +bool llvm::isDereferenceableAndAlignedPointer(const Value *V, unsigned Align, const DataLayout &DL, const Instruction *CtxI, const DominatorTree *DT) { |
