diff options
author | David Bolvansky <david.bolvansky@gmail.com> | 2018-05-22 15:41:23 +0000 |
---|---|---|
committer | David Bolvansky <david.bolvansky@gmail.com> | 2018-05-22 15:41:23 +0000 |
commit | 41f4b64ee17cc5559a687ce9ac9338a158a00d41 (patch) | |
tree | 970db2c0385b83be923c91ae2193a4f163b87eeb /llvm/lib/Analysis | |
parent | 1ff6b27940bc88c6cf5234bc39bf97038b4da602 (diff) | |
download | bcm5719-llvm-41f4b64ee17cc5559a687ce9ac9338a158a00d41.tar.gz bcm5719-llvm-41f4b64ee17cc5559a687ce9ac9338a158a00d41.zip |
[InstCombine] Calloc-ed strings optimizations
Summary:
Example cases:
strlen(calloc(...)) -> 0
Reviewers: efriedma, bkramer
Reviewed By: bkramer
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D47059
llvm-svn: 332990
Diffstat (limited to 'llvm/lib/Analysis')
-rw-r--r-- | llvm/lib/Analysis/MemoryBuiltins.cpp | 2 | ||||
-rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 33 |
2 files changed, 32 insertions, 3 deletions
diff --git a/llvm/lib/Analysis/MemoryBuiltins.cpp b/llvm/lib/Analysis/MemoryBuiltins.cpp index deacdb9e324..988eacbf3c9 100644 --- a/llvm/lib/Analysis/MemoryBuiltins.cpp +++ b/llvm/lib/Analysis/MemoryBuiltins.cpp @@ -589,7 +589,7 @@ SizeOffsetType ObjectSizeOffsetVisitor::visitCallSite(CallSite CS) { // Handle strdup-like functions separately. if (FnData->AllocTy == StrDupLike) { - APInt Size(IntTyBits, GetStringLength(CS.getArgument(0))); + APInt Size(IntTyBits, GetStringLength(CS.getArgument(0), TLI)); if (!Size) return unknown(); diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 4442df8cfd5..95e7a9bfd74 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -3372,10 +3372,39 @@ static uint64_t GetStringLengthH(const Value *V, return NullIndex + 1; } +static bool isStringFromCalloc(const Value *Str, const TargetLibraryInfo *TLI) { + const CallInst *Calloc = dyn_cast<CallInst>(Str); + if (!Calloc) + return false; + + const Function *InnerCallee = Calloc->getCalledFunction(); + if (!InnerCallee) + return false; + + LibFunc Func; + if (!TLI->getLibFunc(*InnerCallee, Func) || !TLI->has(Func) || + Func != LibFunc_calloc) + return false; + + const ConstantInt *N = dyn_cast<ConstantInt>(Calloc->getOperand(0)); + const ConstantInt *Size = dyn_cast<ConstantInt>(Calloc->getOperand(1)); + + if (!N || !Size) + return false; + + if (N->isNullValue() || Size->isNullValue()) + return false; + + return true; +} + /// If we can compute the length of the string pointed to by /// the specified pointer, return 'len+1'. If we can't, return 0. -uint64_t llvm::GetStringLength(const Value *V, unsigned CharSize) { - if (!V->getType()->isPointerTy()) return 0; +uint64_t llvm::GetStringLength(const Value *V, const TargetLibraryInfo *TLI, unsigned CharSize) { + if (!V->getType()->isPointerTy()) + return 0; + if (isStringFromCalloc(V, TLI)) + return 1; SmallPtrSet<const PHINode*, 32> PHIs; uint64_t Len = GetStringLengthH(V, PHIs, CharSize); |