blob: ce6db5624a08975ad40d0e4c9b4ab5178a4d68c6 [file] [log] [blame]
Chris Lattner03453a02002-05-07 19:04:39 +00001//===- RaiseAllocations.cpp - Convert %malloc & %free calls to insts ------===//
Misha Brukmanb1c93172005-04-21 23:48:37 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukmanb1c93172005-04-21 23:48:37 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner77f791d2002-05-07 19:02:48 +00009//
Chris Lattner03453a02002-05-07 19:04:39 +000010// This file defines the RaiseAllocations pass which convert malloc and free
11// calls to malloc and free instructions.
Chris Lattner77f791d2002-05-07 19:02:48 +000012//
13//===----------------------------------------------------------------------===//
14
Chris Lattner1631bcb2006-12-19 22:09:18 +000015#define DEBUG_TYPE "raiseallocs"
Chris Lattner8ef1b882003-09-01 03:14:56 +000016#include "llvm/Transforms/IPO.h"
Chris Lattner771804b2003-12-07 01:42:08 +000017#include "llvm/Constants.h"
Chris Lattner77f791d2002-05-07 19:02:48 +000018#include "llvm/DerivedTypes.h"
Chris Lattner771804b2003-12-07 01:42:08 +000019#include "llvm/Module.h"
Misha Brukman63b38bd2004-07-29 17:30:56 +000020#include "llvm/Instructions.h"
Chris Lattner77f791d2002-05-07 19:02:48 +000021#include "llvm/Pass.h"
Chris Lattner8ef1b882003-09-01 03:14:56 +000022#include "llvm/Support/CallSite.h"
Reid Spencer557ab152007-02-05 23:32:05 +000023#include "llvm/Support/Compiler.h"
Reid Spencer7c16caa2004-09-01 22:55:40 +000024#include "llvm/ADT/Statistic.h"
Jeff Cohenb622c112007-03-05 00:00:42 +000025#include <algorithm>
Chris Lattnerf52e03c2003-11-21 21:54:22 +000026using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000027
Chris Lattner1631bcb2006-12-19 22:09:18 +000028STATISTIC(NumRaised, "Number of allocations raised");
Chris Lattner77f791d2002-05-07 19:02:48 +000029
Chris Lattner1631bcb2006-12-19 22:09:18 +000030namespace {
Chris Lattnerbf3a0992002-10-01 22:38:41 +000031 // RaiseAllocations - Turn %malloc and %free calls into the appropriate
32 // instruction.
Chris Lattner77f791d2002-05-07 19:02:48 +000033 //
Reid Spencer557ab152007-02-05 23:32:05 +000034 class VISIBILITY_HIDDEN RaiseAllocations : public ModulePass {
Chris Lattnerbf3a0992002-10-01 22:38:41 +000035 Function *MallocFunc; // Functions in the module we are processing
36 Function *FreeFunc; // Initialized by doPassInitializationVirt
37 public:
38 RaiseAllocations() : MallocFunc(0), FreeFunc(0) {}
Misha Brukmanb1c93172005-04-21 23:48:37 +000039
Chris Lattnerbf3a0992002-10-01 22:38:41 +000040 // doPassInitialization - For the raise allocations pass, this finds a
41 // declaration for malloc and free if they exist.
42 //
Chris Lattner8ef1b882003-09-01 03:14:56 +000043 void doInitialization(Module &M);
Misha Brukmanb1c93172005-04-21 23:48:37 +000044
Chris Lattner8ef1b882003-09-01 03:14:56 +000045 // run - This method does the actual work of converting instructions over.
Chris Lattnerbf3a0992002-10-01 22:38:41 +000046 //
Chris Lattner4f2cf032004-09-20 04:48:05 +000047 bool runOnModule(Module &M);
Chris Lattnerbf3a0992002-10-01 22:38:41 +000048 };
Misha Brukmanb1c93172005-04-21 23:48:37 +000049
Chris Lattnerc2d3d312006-08-27 22:42:52 +000050 RegisterPass<RaiseAllocations>
Chris Lattnerc8b70922002-07-26 21:12:46 +000051 X("raiseallocs", "Raise allocations from calls to instructions");
Chris Lattner77f791d2002-05-07 19:02:48 +000052} // end anonymous namespace
53
54
55// createRaiseAllocationsPass - The interface to this file...
Chris Lattner4f2cf032004-09-20 04:48:05 +000056ModulePass *llvm::createRaiseAllocationsPass() {
Chris Lattner77f791d2002-05-07 19:02:48 +000057 return new RaiseAllocations();
58}
59
60
Chris Lattner8ef1b882003-09-01 03:14:56 +000061// If the module has a symbol table, they might be referring to the malloc and
62// free functions. If this is the case, grab the method pointers that the
63// module is using.
64//
65// Lookup %malloc and %free in the symbol table, for later use. If they don't
66// exist, or are not external, we do not worry about converting calls to that
67// function into the appropriate instruction.
68//
69void RaiseAllocations::doInitialization(Module &M) {
Chris Lattner77f791d2002-05-07 19:02:48 +000070
Chris Lattnerdfe04182002-07-18 00:18:01 +000071 // Get Malloc and free prototypes if they exist!
Reid Spencer3aaaa0b2007-02-05 20:47:22 +000072 MallocFunc = M.getFunction("malloc");
73 if (MallocFunc) {
74 const FunctionType* TyWeHave = MallocFunc->getFunctionType();
Chris Lattner77f791d2002-05-07 19:02:48 +000075
Reid Spencer3aaaa0b2007-02-05 20:47:22 +000076 // Get the expected prototype for malloc
77 const FunctionType *Malloc1Type =
78 FunctionType::get(PointerType::get(Type::Int8Ty),
79 std::vector<const Type*>(1, Type::Int64Ty), false);
80
81 // Chck to see if we got the expected malloc
82 if (TyWeHave != Malloc1Type) {
83 // Check to see if the prototype is wrong, giving us sbyte*(uint) * malloc
84 // This handles the common declaration of: 'void *malloc(unsigned);'
85 const FunctionType *Malloc2Type =
86 FunctionType::get(PointerType::get(Type::Int8Ty),
87 std::vector<const Type*>(1, Type::Int32Ty), false);
88 if (TyWeHave != Malloc2Type) {
89 // Check to see if the prototype is missing, giving us
90 // sbyte*(...) * malloc
91 // This handles the common declaration of: 'void *malloc();'
92 const FunctionType *Malloc3Type =
93 FunctionType::get(PointerType::get(Type::Int8Ty),
94 std::vector<const Type*>(), true);
95 if (TyWeHave != Malloc3Type)
96 // Give up
97 MallocFunc = 0;
98 }
99 }
Chris Lattnerdfe04182002-07-18 00:18:01 +0000100 }
101
Reid Spencer3aaaa0b2007-02-05 20:47:22 +0000102 FreeFunc = M.getFunction("free");
103 if (FreeFunc) {
104 const FunctionType* TyWeHave = FreeFunc->getFunctionType();
105
106 // Get the expected prototype for void free(i8*)
107 const FunctionType *Free1Type = FunctionType::get(Type::VoidTy,
108 std::vector<const Type*>(1, PointerType::get(Type::Int8Ty)), false);
Chris Lattnere3da2982002-05-24 20:29:18 +0000109
Reid Spencer3aaaa0b2007-02-05 20:47:22 +0000110 if (TyWeHave != Free1Type) {
111 // Check to see if the prototype was forgotten, giving us
112 // void (...) * free
113 // This handles the common forward declaration of: 'void free();'
114 const FunctionType* Free2Type = FunctionType::get(Type::VoidTy,
115 std::vector<const Type*>(),true);
Chris Lattnere3da2982002-05-24 20:29:18 +0000116
Reid Spencer3aaaa0b2007-02-05 20:47:22 +0000117 if (TyWeHave != Free2Type) {
118 // One last try, check to see if we can find free as
119 // int (...)* free. This handles the case where NOTHING was declared.
120 const FunctionType* Free3Type = FunctionType::get(Type::Int32Ty,
121 std::vector<const Type*>(),true);
122
123 if (TyWeHave != Free3Type) {
124 // Give up.
125 FreeFunc = 0;
126 }
127 }
128 }
Chris Lattner603e0072003-08-11 15:05:08 +0000129 }
130
Chris Lattner77f791d2002-05-07 19:02:48 +0000131 // Don't mess with locally defined versions of these functions...
Reid Spencer5301e7c2007-01-30 20:08:39 +0000132 if (MallocFunc && !MallocFunc->isDeclaration()) MallocFunc = 0;
133 if (FreeFunc && !FreeFunc->isDeclaration()) FreeFunc = 0;
Chris Lattner77f791d2002-05-07 19:02:48 +0000134}
135
Chris Lattner8ef1b882003-09-01 03:14:56 +0000136// run - Transform calls into instructions...
Chris Lattner77f791d2002-05-07 19:02:48 +0000137//
Chris Lattner4f2cf032004-09-20 04:48:05 +0000138bool RaiseAllocations::runOnModule(Module &M) {
Chris Lattner8ef1b882003-09-01 03:14:56 +0000139 // Find the malloc/free prototypes...
140 doInitialization(M);
141
Chris Lattner77f791d2002-05-07 19:02:48 +0000142 bool Changed = false;
Chris Lattner77f791d2002-05-07 19:02:48 +0000143
Chris Lattner8ef1b882003-09-01 03:14:56 +0000144 // First, process all of the malloc calls...
145 if (MallocFunc) {
146 std::vector<User*> Users(MallocFunc->use_begin(), MallocFunc->use_end());
Chris Lattner771804b2003-12-07 01:42:08 +0000147 std::vector<Value*> EqPointers; // Values equal to MallocFunc
Chris Lattner8ef1b882003-09-01 03:14:56 +0000148 while (!Users.empty()) {
Chris Lattner771804b2003-12-07 01:42:08 +0000149 User *U = Users.back();
150 Users.pop_back();
151
152 if (Instruction *I = dyn_cast<Instruction>(U)) {
Chris Lattner8ef1b882003-09-01 03:14:56 +0000153 CallSite CS = CallSite::get(I);
Chris Lattner771804b2003-12-07 01:42:08 +0000154 if (CS.getInstruction() && CS.arg_begin() != CS.arg_end() &&
155 (CS.getCalledFunction() == MallocFunc ||
156 std::find(EqPointers.begin(), EqPointers.end(),
157 CS.getCalledValue()) != EqPointers.end())) {
Misha Brukmanb1c93172005-04-21 23:48:37 +0000158
Chris Lattner8ef1b882003-09-01 03:14:56 +0000159 Value *Source = *CS.arg_begin();
Misha Brukmanb1c93172005-04-21 23:48:37 +0000160
Chris Lattner8ef1b882003-09-01 03:14:56 +0000161 // If no prototype was provided for malloc, we may need to cast the
162 // source size.
Reid Spencerc635f472006-12-31 05:48:39 +0000163 if (Source->getType() != Type::Int32Ty)
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000164 Source =
Reid Spencerc635f472006-12-31 05:48:39 +0000165 CastInst::createIntegerCast(Source, Type::Int32Ty, false/*ZExt*/,
Reid Spencerbfe26ff2006-12-13 00:50:17 +0000166 "MallocAmtCast", I);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000167
Chris Lattner8d4c36b2007-02-11 01:08:35 +0000168 MallocInst *MI = new MallocInst(Type::Int8Ty, Source, "", I);
169 MI->takeName(I);
Chris Lattner8ef1b882003-09-01 03:14:56 +0000170 I->replaceAllUsesWith(MI);
Chris Lattner39f398b2003-09-16 19:42:21 +0000171
172 // If the old instruction was an invoke, add an unconditional branch
173 // before the invoke, which will become the new terminator.
174 if (InvokeInst *II = dyn_cast<InvokeInst>(I))
175 new BranchInst(II->getNormalDest(), I);
176
177 // Delete the old call site
Chris Lattner8ef1b882003-09-01 03:14:56 +0000178 MI->getParent()->getInstList().erase(I);
179 Changed = true;
180 ++NumRaised;
181 }
Reid Spencercb3fb5d2004-07-18 00:44:37 +0000182 } else if (GlobalValue *GV = dyn_cast<GlobalValue>(U)) {
183 Users.insert(Users.end(), GV->use_begin(), GV->use_end());
184 EqPointers.push_back(GV);
Chris Lattner771804b2003-12-07 01:42:08 +0000185 } else if (ConstantExpr *CE = dyn_cast<ConstantExpr>(U)) {
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000186 if (CE->isCast()) {
Chris Lattner771804b2003-12-07 01:42:08 +0000187 Users.insert(Users.end(), CE->use_begin(), CE->use_end());
188 EqPointers.push_back(CE);
189 }
Chris Lattner77f791d2002-05-07 19:02:48 +0000190 }
Chris Lattner8ef1b882003-09-01 03:14:56 +0000191 }
192 }
193
194 // Next, process all free calls...
195 if (FreeFunc) {
196 std::vector<User*> Users(FreeFunc->use_begin(), FreeFunc->use_end());
Chris Lattner771804b2003-12-07 01:42:08 +0000197 std::vector<Value*> EqPointers; // Values equal to FreeFunc
Chris Lattner8ef1b882003-09-01 03:14:56 +0000198
199 while (!Users.empty()) {
Chris Lattner771804b2003-12-07 01:42:08 +0000200 User *U = Users.back();
201 Users.pop_back();
202
203 if (Instruction *I = dyn_cast<Instruction>(U)) {
Chris Lattner8ef1b882003-09-01 03:14:56 +0000204 CallSite CS = CallSite::get(I);
Chris Lattner771804b2003-12-07 01:42:08 +0000205 if (CS.getInstruction() && CS.arg_begin() != CS.arg_end() &&
206 (CS.getCalledFunction() == FreeFunc ||
207 std::find(EqPointers.begin(), EqPointers.end(),
208 CS.getCalledValue()) != EqPointers.end())) {
Misha Brukmanb1c93172005-04-21 23:48:37 +0000209
Chris Lattner8ef1b882003-09-01 03:14:56 +0000210 // If no prototype was provided for free, we may need to cast the
211 // source pointer. This should be really uncommon, but it's necessary
Chris Lattner0ce80cd2005-02-27 06:18:25 +0000212 // just in case we are dealing with weird code like this:
Chris Lattner8ef1b882003-09-01 03:14:56 +0000213 // free((long)ptr);
214 //
215 Value *Source = *CS.arg_begin();
216 if (!isa<PointerType>(Source->getType()))
Reid Spencerc635f472006-12-31 05:48:39 +0000217 Source = new IntToPtrInst(Source, PointerType::get(Type::Int8Ty),
Reid Spencerbfe26ff2006-12-13 00:50:17 +0000218 "FreePtrCast", I);
Chris Lattner8ef1b882003-09-01 03:14:56 +0000219 new FreeInst(Source, I);
Chris Lattner39f398b2003-09-16 19:42:21 +0000220
221 // If the old instruction was an invoke, add an unconditional branch
222 // before the invoke, which will become the new terminator.
223 if (InvokeInst *II = dyn_cast<InvokeInst>(I))
224 new BranchInst(II->getNormalDest(), I);
225
226 // Delete the old call site
Chris Lattner1f0a97c2004-11-09 05:10:56 +0000227 if (I->getType() != Type::VoidTy)
228 I->replaceAllUsesWith(UndefValue::get(I->getType()));
229 I->eraseFromParent();
Chris Lattner8ef1b882003-09-01 03:14:56 +0000230 Changed = true;
231 ++NumRaised;
232 }
Reid Spencercb3fb5d2004-07-18 00:44:37 +0000233 } else if (GlobalValue *GV = dyn_cast<GlobalValue>(U)) {
234 Users.insert(Users.end(), GV->use_begin(), GV->use_end());
235 EqPointers.push_back(GV);
Chris Lattner771804b2003-12-07 01:42:08 +0000236 } else if (ConstantExpr *CE = dyn_cast<ConstantExpr>(U)) {
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000237 if (CE->isCast()) {
Chris Lattner771804b2003-12-07 01:42:08 +0000238 Users.insert(Users.end(), CE->use_begin(), CE->use_end());
239 EqPointers.push_back(CE);
240 }
Chris Lattner8ef1b882003-09-01 03:14:56 +0000241 }
Chris Lattner77f791d2002-05-07 19:02:48 +0000242 }
Chris Lattner77f791d2002-05-07 19:02:48 +0000243 }
244
245 return Changed;
246}