From 2b3e9580536dfb5666b9d91e99baebf6d45bfa5f Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Thu, 21 Jun 2012 21:25:05 +0000 Subject: Add support for invoke to the MemoryBuiltin analysid. Update comments accordingly. Make instcombine remove useless invokes to C++'s 'new' allocation function (test attached). git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@158937 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/MemoryBuiltins.cpp | 37 ++++++++++++++++++++++--------------- 1 file changed, 22 insertions(+), 15 deletions(-) (limited to 'lib/Analysis/MemoryBuiltins.cpp') diff --git a/lib/Analysis/MemoryBuiltins.cpp b/lib/Analysis/MemoryBuiltins.cpp index 86d9135264..26d466ed31 100644 --- a/lib/Analysis/MemoryBuiltins.cpp +++ b/lib/Analysis/MemoryBuiltins.cpp @@ -65,11 +65,17 @@ static const AllocFnsTy AllocationFnData[] = { static Function *getCalledFunction(const Value *V, bool LookThroughBitCast) { if (LookThroughBitCast) V = V->stripPointerCasts(); - const CallInst *CI = dyn_cast(V); - if (!CI) + + Value *I = const_cast(V); + CallSite CS; + if (CallInst *CI = dyn_cast(I)) + CS = CallSite(CI); + else if (InvokeInst *II = dyn_cast(I)) + CS = CallSite(II); + else return 0; - Function *Callee = CI->getCalledFunction(); + Function *Callee = CS.getCalledFunction(); if (!Callee || !Callee->isDeclaration()) return 0; return Callee; @@ -122,39 +128,40 @@ static bool hasNoAliasAttr(const Value *V, bool LookThroughBitCast) { } -/// \brief Tests if a value is a call to a library function that allocates or -/// reallocates memory (either malloc, calloc, realloc, or strdup like). +/// \brief Tests if a value is a call or invoke to a library function that +/// allocates or reallocates memory (either malloc, calloc, realloc, or strdup +/// like). bool llvm::isAllocationFn(const Value *V, bool LookThroughBitCast) { return getAllocationData(V, AnyAlloc, LookThroughBitCast); } -/// \brief Tests if a value is a call to a function that returns a NoAlias -/// pointer (including malloc/calloc/strdup-like functions). +/// \brief Tests if a value is a call or invoke to a function that returns a +/// NoAlias pointer (including malloc/calloc/strdup-like functions). bool llvm::isNoAliasFn(const Value *V, bool LookThroughBitCast) { return isAllocLikeFn(V, LookThroughBitCast) || hasNoAliasAttr(V, LookThroughBitCast); } -/// \brief Tests if a value is a call to a library function that allocates -/// uninitialized memory (such as malloc). +/// \brief Tests if a value is a call or invoke to a library function that +/// allocates uninitialized memory (such as malloc). bool llvm::isMallocLikeFn(const Value *V, bool LookThroughBitCast) { return getAllocationData(V, MallocLike, LookThroughBitCast); } -/// \brief Tests if a value is a call to a library function that allocates -/// zero-filled memory (such as calloc). +/// \brief Tests if a value is a call or invoke to a library function that +/// allocates zero-filled memory (such as calloc). bool llvm::isCallocLikeFn(const Value *V, bool LookThroughBitCast) { return getAllocationData(V, CallocLike, LookThroughBitCast); } -/// \brief Tests if a value is a call to a library function that allocates -/// memory (either malloc, calloc, or strdup like). +/// \brief Tests if a value is a call or invoke to a library function that +/// allocates memory (either malloc, calloc, or strdup like). bool llvm::isAllocLikeFn(const Value *V, bool LookThroughBitCast) { return getAllocationData(V, AllocLike, LookThroughBitCast); } -/// \brief Tests if a value is a call to a library function that reallocates -/// memory (such as realloc). +/// \brief Tests if a value is a call or invoke to a library function that +/// reallocates memory (such as realloc). bool llvm::isReallocLikeFn(const Value *V, bool LookThroughBitCast) { return getAllocationData(V, ReallocLike, LookThroughBitCast); } -- cgit v1.2.3-70-g09d2