Victor Hernandez | f006b18 | 2009-10-27 20:05:49 +0000 | [diff] [blame] | 1 | //===------ MemoryBuiltins.cpp - Identify calls to memory builtins --------===// |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Victor Hernandez | f006b18 | 2009-10-27 20:05:49 +0000 | [diff] [blame] | 10 | // This family of functions identifies calls to builtin functions that allocate |
| 11 | // or free memory. |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Victor Hernandez | f006b18 | 2009-10-27 20:05:49 +0000 | [diff] [blame] | 15 | #include "llvm/Analysis/MemoryBuiltins.h" |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 16 | #include "llvm/Constants.h" |
| 17 | #include "llvm/Instructions.h" |
| 18 | #include "llvm/Module.h" |
Victor Hernandez | 8e345a1 | 2009-11-10 08:32:25 +0000 | [diff] [blame] | 19 | #include "llvm/Analysis/ValueTracking.h" |
Victor Hernandez | 9d0b704 | 2009-11-07 00:16:28 +0000 | [diff] [blame] | 20 | #include "llvm/Target/TargetData.h" |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 21 | using namespace llvm; |
| 22 | |
| 23 | //===----------------------------------------------------------------------===// |
| 24 | // malloc Call Utility Functions. |
| 25 | // |
| 26 | |
Dan Gohman | f451cb8 | 2010-02-10 16:03:48 +0000 | [diff] [blame] | 27 | /// isMalloc - Returns true if the value is either a malloc call or a |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 28 | /// bitcast of the result of a malloc call. |
Victor Hernandez | 88efeae | 2009-11-03 20:02:35 +0000 | [diff] [blame] | 29 | bool llvm::isMalloc(const Value *I) { |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 30 | return extractMallocCall(I) || extractMallocCallFromBitCast(I); |
| 31 | } |
| 32 | |
| 33 | static bool isMallocCall(const CallInst *CI) { |
| 34 | if (!CI) |
| 35 | return false; |
| 36 | |
Victor Hernandez | 3ad70d5 | 2009-11-03 20:39:35 +0000 | [diff] [blame] | 37 | Function *Callee = CI->getCalledFunction(); |
Nick Lewycky | 42e72ca | 2011-03-15 07:31:32 +0000 | [diff] [blame] | 38 | if (Callee == 0 || !Callee->isDeclaration()) |
| 39 | return false; |
| 40 | if (Callee->getName() != "malloc" && |
Nick Lewycky | 1ace169 | 2011-03-17 05:20:12 +0000 | [diff] [blame^] | 41 | Callee->getName() != "_Znwj" && // operator new(unsigned int) |
| 42 | Callee->getName() != "_Znwm" && // operator new(unsigned long) |
| 43 | Callee->getName() != "_Znaj" && // operator new[](unsigned int) |
| 44 | Callee->getName() != "_Znam") // operator new[](unsigned long) |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 45 | return false; |
| 46 | |
Torok Edwin | 85c005a | 2009-10-05 21:15:43 +0000 | [diff] [blame] | 47 | // Check malloc prototype. |
Torok Edwin | 4de86fe | 2009-10-07 09:22:55 +0000 | [diff] [blame] | 48 | // FIXME: workaround for PR5130, this will be obsolete when a nobuiltin |
| 49 | // attribute will exist. |
Victor Hernandez | 3ad70d5 | 2009-11-03 20:39:35 +0000 | [diff] [blame] | 50 | const FunctionType *FTy = Callee->getFunctionType(); |
Torok Edwin | 85c005a | 2009-10-05 21:15:43 +0000 | [diff] [blame] | 51 | if (FTy->getNumParams() != 1) |
| 52 | return false; |
| 53 | if (IntegerType *ITy = dyn_cast<IntegerType>(FTy->param_begin()->get())) { |
| 54 | if (ITy->getBitWidth() != 32 && ITy->getBitWidth() != 64) |
| 55 | return false; |
| 56 | return true; |
| 57 | } |
| 58 | |
| 59 | return false; |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 60 | } |
| 61 | |
| 62 | /// extractMallocCall - Returns the corresponding CallInst if the instruction |
| 63 | /// is a malloc call. Since CallInst::CreateMalloc() only creates calls, we |
| 64 | /// ignore InvokeInst here. |
Victor Hernandez | 88efeae | 2009-11-03 20:02:35 +0000 | [diff] [blame] | 65 | const CallInst *llvm::extractMallocCall(const Value *I) { |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 66 | const CallInst *CI = dyn_cast<CallInst>(I); |
| 67 | return (isMallocCall(CI)) ? CI : NULL; |
| 68 | } |
| 69 | |
Victor Hernandez | 88efeae | 2009-11-03 20:02:35 +0000 | [diff] [blame] | 70 | CallInst *llvm::extractMallocCall(Value *I) { |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 71 | CallInst *CI = dyn_cast<CallInst>(I); |
| 72 | return (isMallocCall(CI)) ? CI : NULL; |
| 73 | } |
| 74 | |
Victor Hernandez | 88efeae | 2009-11-03 20:02:35 +0000 | [diff] [blame] | 75 | static bool isBitCastOfMallocCall(const BitCastInst *BCI) { |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 76 | if (!BCI) |
| 77 | return false; |
| 78 | |
| 79 | return isMallocCall(dyn_cast<CallInst>(BCI->getOperand(0))); |
| 80 | } |
| 81 | |
| 82 | /// extractMallocCallFromBitCast - Returns the corresponding CallInst if the |
| 83 | /// instruction is a bitcast of the result of a malloc call. |
Victor Hernandez | 88efeae | 2009-11-03 20:02:35 +0000 | [diff] [blame] | 84 | CallInst *llvm::extractMallocCallFromBitCast(Value *I) { |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 85 | BitCastInst *BCI = dyn_cast<BitCastInst>(I); |
Victor Hernandez | 399e45b | 2009-09-10 20:18:57 +0000 | [diff] [blame] | 86 | return (isBitCastOfMallocCall(BCI)) ? cast<CallInst>(BCI->getOperand(0)) |
| 87 | : NULL; |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 88 | } |
| 89 | |
Victor Hernandez | 88efeae | 2009-11-03 20:02:35 +0000 | [diff] [blame] | 90 | const CallInst *llvm::extractMallocCallFromBitCast(const Value *I) { |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 91 | const BitCastInst *BCI = dyn_cast<BitCastInst>(I); |
Victor Hernandez | 399e45b | 2009-09-10 20:18:57 +0000 | [diff] [blame] | 92 | return (isBitCastOfMallocCall(BCI)) ? cast<CallInst>(BCI->getOperand(0)) |
| 93 | : NULL; |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 94 | } |
| 95 | |
Victor Hernandez | 8e345a1 | 2009-11-10 08:32:25 +0000 | [diff] [blame] | 96 | static Value *computeArraySize(const CallInst *CI, const TargetData *TD, |
| 97 | bool LookThroughSExt = false) { |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 98 | if (!CI) |
Victor Hernandez | 90f48e7 | 2009-10-28 20:18:55 +0000 | [diff] [blame] | 99 | return NULL; |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 100 | |
Victor Hernandez | 9d0b704 | 2009-11-07 00:16:28 +0000 | [diff] [blame] | 101 | // The size of the malloc's result type must be known to determine array size. |
Victor Hernandez | 88efeae | 2009-11-03 20:02:35 +0000 | [diff] [blame] | 102 | const Type *T = getMallocAllocatedType(CI); |
Victor Hernandez | 9d0b704 | 2009-11-07 00:16:28 +0000 | [diff] [blame] | 103 | if (!T || !T->isSized() || !TD) |
Victor Hernandez | 90f48e7 | 2009-10-28 20:18:55 +0000 | [diff] [blame] | 104 | return NULL; |
Victor Hernandez | 88d9839 | 2009-09-18 19:20:02 +0000 | [diff] [blame] | 105 | |
Victor Hernandez | 8e345a1 | 2009-11-10 08:32:25 +0000 | [diff] [blame] | 106 | unsigned ElementSize = TD->getTypeAllocSize(T); |
Victor Hernandez | 9d0b704 | 2009-11-07 00:16:28 +0000 | [diff] [blame] | 107 | if (const StructType *ST = dyn_cast<StructType>(T)) |
Victor Hernandez | 8e345a1 | 2009-11-10 08:32:25 +0000 | [diff] [blame] | 108 | ElementSize = TD->getStructLayout(ST)->getSizeInBytes(); |
Victor Hernandez | 88d9839 | 2009-09-18 19:20:02 +0000 | [diff] [blame] | 109 | |
Gabor Greif | e3401c4 | 2010-06-23 21:41:47 +0000 | [diff] [blame] | 110 | // If malloc call's arg can be determined to be a multiple of ElementSize, |
Victor Hernandez | 8e345a1 | 2009-11-10 08:32:25 +0000 | [diff] [blame] | 111 | // return the multiple. Otherwise, return NULL. |
Gabor Greif | e3401c4 | 2010-06-23 21:41:47 +0000 | [diff] [blame] | 112 | Value *MallocArg = CI->getArgOperand(0); |
Victor Hernandez | 8e345a1 | 2009-11-10 08:32:25 +0000 | [diff] [blame] | 113 | Value *Multiple = NULL; |
Victor Hernandez | 8e345a1 | 2009-11-10 08:32:25 +0000 | [diff] [blame] | 114 | if (ComputeMultiple(MallocArg, ElementSize, Multiple, |
Dan Gohman | 3dbb9e6 | 2009-11-18 00:58:27 +0000 | [diff] [blame] | 115 | LookThroughSExt)) |
Victor Hernandez | 8e345a1 | 2009-11-10 08:32:25 +0000 | [diff] [blame] | 116 | return Multiple; |
Victor Hernandez | 88d9839 | 2009-09-18 19:20:02 +0000 | [diff] [blame] | 117 | |
Victor Hernandez | 90f48e7 | 2009-10-28 20:18:55 +0000 | [diff] [blame] | 118 | return NULL; |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 119 | } |
| 120 | |
| 121 | /// isArrayMalloc - Returns the corresponding CallInst if the instruction |
Victor Hernandez | 90f48e7 | 2009-10-28 20:18:55 +0000 | [diff] [blame] | 122 | /// is a call to malloc whose array size can be determined and the array size |
| 123 | /// is not constant 1. Otherwise, return NULL. |
Chris Lattner | 7b550cc | 2009-11-06 04:27:31 +0000 | [diff] [blame] | 124 | const CallInst *llvm::isArrayMalloc(const Value *I, const TargetData *TD) { |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 125 | const CallInst *CI = extractMallocCall(I); |
Victor Hernandez | 8e345a1 | 2009-11-10 08:32:25 +0000 | [diff] [blame] | 126 | Value *ArraySize = computeArraySize(CI, TD); |
Victor Hernandez | 90f48e7 | 2009-10-28 20:18:55 +0000 | [diff] [blame] | 127 | |
| 128 | if (ArraySize && |
Gabor Greif | e3401c4 | 2010-06-23 21:41:47 +0000 | [diff] [blame] | 129 | ArraySize != ConstantInt::get(CI->getArgOperand(0)->getType(), 1)) |
Victor Hernandez | 90f48e7 | 2009-10-28 20:18:55 +0000 | [diff] [blame] | 130 | return CI; |
| 131 | |
| 132 | // CI is a non-array malloc or we can't figure out that it is an array malloc. |
| 133 | return NULL; |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 134 | } |
| 135 | |
| 136 | /// getMallocType - Returns the PointerType resulting from the malloc call. |
Victor Hernandez | 9d0b704 | 2009-11-07 00:16:28 +0000 | [diff] [blame] | 137 | /// The PointerType depends on the number of bitcast uses of the malloc call: |
| 138 | /// 0: PointerType is the calls' return type. |
| 139 | /// 1: PointerType is the bitcast's result type. |
| 140 | /// >1: Unique PointerType cannot be determined, return NULL. |
Victor Hernandez | 88efeae | 2009-11-03 20:02:35 +0000 | [diff] [blame] | 141 | const PointerType *llvm::getMallocType(const CallInst *CI) { |
Victor Hernandez | 8e345a1 | 2009-11-10 08:32:25 +0000 | [diff] [blame] | 142 | assert(isMalloc(CI) && "getMallocType and not malloc call"); |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 143 | |
Victor Hernandez | 9d0b704 | 2009-11-07 00:16:28 +0000 | [diff] [blame] | 144 | const PointerType *MallocType = NULL; |
| 145 | unsigned NumOfBitCastUses = 0; |
| 146 | |
Victor Hernandez | 88d9839 | 2009-09-18 19:20:02 +0000 | [diff] [blame] | 147 | // Determine if CallInst has a bitcast use. |
Gabor Greif | 60ad781 | 2010-03-25 23:06:16 +0000 | [diff] [blame] | 148 | for (Value::const_use_iterator UI = CI->use_begin(), E = CI->use_end(); |
Victor Hernandez | 88d9839 | 2009-09-18 19:20:02 +0000 | [diff] [blame] | 149 | UI != E; ) |
Victor Hernandez | 9d0b704 | 2009-11-07 00:16:28 +0000 | [diff] [blame] | 150 | if (const BitCastInst *BCI = dyn_cast<BitCastInst>(*UI++)) { |
| 151 | MallocType = cast<PointerType>(BCI->getDestTy()); |
| 152 | NumOfBitCastUses++; |
| 153 | } |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 154 | |
Victor Hernandez | 9d0b704 | 2009-11-07 00:16:28 +0000 | [diff] [blame] | 155 | // Malloc call has 1 bitcast use, so type is the bitcast's destination type. |
| 156 | if (NumOfBitCastUses == 1) |
| 157 | return MallocType; |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 158 | |
Victor Hernandez | 60cfc03 | 2009-09-22 18:50:03 +0000 | [diff] [blame] | 159 | // Malloc call was not bitcast, so type is the malloc function's return type. |
Victor Hernandez | 9d0b704 | 2009-11-07 00:16:28 +0000 | [diff] [blame] | 160 | if (NumOfBitCastUses == 0) |
Victor Hernandez | 88d9839 | 2009-09-18 19:20:02 +0000 | [diff] [blame] | 161 | return cast<PointerType>(CI->getType()); |
| 162 | |
| 163 | // Type could not be determined. |
| 164 | return NULL; |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 165 | } |
| 166 | |
Victor Hernandez | 9d0b704 | 2009-11-07 00:16:28 +0000 | [diff] [blame] | 167 | /// getMallocAllocatedType - Returns the Type allocated by malloc call. |
| 168 | /// The Type depends on the number of bitcast uses of the malloc call: |
| 169 | /// 0: PointerType is the malloc calls' return type. |
| 170 | /// 1: PointerType is the bitcast's result type. |
| 171 | /// >1: Unique PointerType cannot be determined, return NULL. |
Victor Hernandez | 88efeae | 2009-11-03 20:02:35 +0000 | [diff] [blame] | 172 | const Type *llvm::getMallocAllocatedType(const CallInst *CI) { |
| 173 | const PointerType *PT = getMallocType(CI); |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 174 | return PT ? PT->getElementType() : NULL; |
| 175 | } |
| 176 | |
Victor Hernandez | 90f48e7 | 2009-10-28 20:18:55 +0000 | [diff] [blame] | 177 | /// getMallocArraySize - Returns the array size of a malloc call. If the |
| 178 | /// argument passed to malloc is a multiple of the size of the malloced type, |
| 179 | /// then return that multiple. For non-array mallocs, the multiple is |
| 180 | /// constant 1. Otherwise, return NULL for mallocs whose array size cannot be |
Victor Hernandez | 2491ce0 | 2009-10-15 20:14:52 +0000 | [diff] [blame] | 181 | /// determined. |
Victor Hernandez | 8e345a1 | 2009-11-10 08:32:25 +0000 | [diff] [blame] | 182 | Value *llvm::getMallocArraySize(CallInst *CI, const TargetData *TD, |
| 183 | bool LookThroughSExt) { |
| 184 | assert(isMalloc(CI) && "getMallocArraySize and not malloc call"); |
| 185 | return computeArraySize(CI, TD, LookThroughSExt); |
Evan Cheng | fabcb91 | 2009-09-10 04:36:43 +0000 | [diff] [blame] | 186 | } |
Victor Hernandez | 66284e0 | 2009-10-24 04:23:03 +0000 | [diff] [blame] | 187 | |
Victor Hernandez | 046e78c | 2009-10-26 23:43:48 +0000 | [diff] [blame] | 188 | //===----------------------------------------------------------------------===// |
| 189 | // free Call Utility Functions. |
| 190 | // |
| 191 | |
Gabor Greif | 02680f9 | 2010-06-23 21:51:12 +0000 | [diff] [blame] | 192 | /// isFreeCall - Returns non-null if the value is a call to the builtin free() |
| 193 | const CallInst *llvm::isFreeCall(const Value *I) { |
Victor Hernandez | 66284e0 | 2009-10-24 04:23:03 +0000 | [diff] [blame] | 194 | const CallInst *CI = dyn_cast<CallInst>(I); |
| 195 | if (!CI) |
Gabor Greif | 02680f9 | 2010-06-23 21:51:12 +0000 | [diff] [blame] | 196 | return 0; |
Victor Hernandez | 3ad70d5 | 2009-11-03 20:39:35 +0000 | [diff] [blame] | 197 | Function *Callee = CI->getCalledFunction(); |
Nick Lewycky | 42e72ca | 2011-03-15 07:31:32 +0000 | [diff] [blame] | 198 | if (Callee == 0 || !Callee->isDeclaration()) |
| 199 | return 0; |
| 200 | |
| 201 | if (Callee->getName() != "free" && |
Nick Lewycky | 1ace169 | 2011-03-17 05:20:12 +0000 | [diff] [blame^] | 202 | Callee->getName() != "_ZdlPv" && // operator delete(void*) |
| 203 | Callee->getName() != "_ZdaPv") // operator delete[](void*) |
Gabor Greif | 02680f9 | 2010-06-23 21:51:12 +0000 | [diff] [blame] | 204 | return 0; |
Victor Hernandez | 66284e0 | 2009-10-24 04:23:03 +0000 | [diff] [blame] | 205 | |
| 206 | // Check free prototype. |
| 207 | // FIXME: workaround for PR5130, this will be obsolete when a nobuiltin |
| 208 | // attribute will exist. |
Victor Hernandez | 3ad70d5 | 2009-11-03 20:39:35 +0000 | [diff] [blame] | 209 | const FunctionType *FTy = Callee->getFunctionType(); |
| 210 | if (!FTy->getReturnType()->isVoidTy()) |
Gabor Greif | 02680f9 | 2010-06-23 21:51:12 +0000 | [diff] [blame] | 211 | return 0; |
Victor Hernandez | 66284e0 | 2009-10-24 04:23:03 +0000 | [diff] [blame] | 212 | if (FTy->getNumParams() != 1) |
Gabor Greif | 02680f9 | 2010-06-23 21:51:12 +0000 | [diff] [blame] | 213 | return 0; |
Victor Hernandez | 3ad70d5 | 2009-11-03 20:39:35 +0000 | [diff] [blame] | 214 | if (FTy->param_begin()->get() != Type::getInt8PtrTy(Callee->getContext())) |
Gabor Greif | 02680f9 | 2010-06-23 21:51:12 +0000 | [diff] [blame] | 215 | return 0; |
Victor Hernandez | 66284e0 | 2009-10-24 04:23:03 +0000 | [diff] [blame] | 216 | |
Gabor Greif | 02680f9 | 2010-06-23 21:51:12 +0000 | [diff] [blame] | 217 | return CI; |
Victor Hernandez | 66284e0 | 2009-10-24 04:23:03 +0000 | [diff] [blame] | 218 | } |