blob: 6b8f7e66d9487a6b4da9aea74669012566bcd62b [file] [log] [blame]
Chris Lattner65e96e52002-05-07 19:04:39 +00001//===- RaiseAllocations.cpp - Convert %malloc & %free calls to insts ------===//
Misha Brukmanfd939082005-04-21 23:48:37 +00002//
John Criswellb576c942003-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 Brukmanfd939082005-04-21 23:48:37 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattnerade686e2002-05-07 19:02:48 +00009//
Chris Lattner65e96e52002-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 Lattnerade686e2002-05-07 19:02:48 +000012//
13//===----------------------------------------------------------------------===//
14
Chris Lattner86453c52006-12-19 22:09:18 +000015#define DEBUG_TYPE "raiseallocs"
Chris Lattner2dbfa032003-09-01 03:14:56 +000016#include "llvm/Transforms/IPO.h"
Chris Lattnereb12cd62003-12-07 01:42:08 +000017#include "llvm/Constants.h"
Chris Lattnerade686e2002-05-07 19:02:48 +000018#include "llvm/DerivedTypes.h"
Chris Lattnereb12cd62003-12-07 01:42:08 +000019#include "llvm/Module.h"
Misha Brukman47b14a42004-07-29 17:30:56 +000020#include "llvm/Instructions.h"
Chris Lattnerade686e2002-05-07 19:02:48 +000021#include "llvm/Pass.h"
Chris Lattner2dbfa032003-09-01 03:14:56 +000022#include "llvm/Support/CallSite.h"
Reid Spencer9133fe22007-02-05 23:32:05 +000023#include "llvm/Support/Compiler.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000024#include "llvm/ADT/Statistic.h"
Jeff Cohenca5183d2007-03-05 00:00:42 +000025#include <algorithm>
Chris Lattner1e2385b2003-11-21 21:54:22 +000026using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000027
Chris Lattner86453c52006-12-19 22:09:18 +000028STATISTIC(NumRaised, "Number of allocations raised");
Chris Lattnerade686e2002-05-07 19:02:48 +000029
Chris Lattner86453c52006-12-19 22:09:18 +000030namespace {
Chris Lattnera92f6962002-10-01 22:38:41 +000031 // RaiseAllocations - Turn %malloc and %free calls into the appropriate
32 // instruction.
Chris Lattnerade686e2002-05-07 19:02:48 +000033 //
Reid Spencer9133fe22007-02-05 23:32:05 +000034 class VISIBILITY_HIDDEN RaiseAllocations : public ModulePass {
Chris Lattnera92f6962002-10-01 22:38:41 +000035 Function *MallocFunc; // Functions in the module we are processing
36 Function *FreeFunc; // Initialized by doPassInitializationVirt
37 public:
Devang Patel19974732007-05-03 01:11:54 +000038 static char ID; // Pass identifcation, replacement for typeid
Devang Patel794fd752007-05-01 21:15:47 +000039 RaiseAllocations()
40 : ModulePass((intptr_t)&ID), MallocFunc(0), FreeFunc(0) {}
Misha Brukmanfd939082005-04-21 23:48:37 +000041
Chris Lattnera92f6962002-10-01 22:38:41 +000042 // doPassInitialization - For the raise allocations pass, this finds a
43 // declaration for malloc and free if they exist.
44 //
Chris Lattner2dbfa032003-09-01 03:14:56 +000045 void doInitialization(Module &M);
Misha Brukmanfd939082005-04-21 23:48:37 +000046
Chris Lattner2dbfa032003-09-01 03:14:56 +000047 // run - This method does the actual work of converting instructions over.
Chris Lattnera92f6962002-10-01 22:38:41 +000048 //
Chris Lattnerb12914b2004-09-20 04:48:05 +000049 bool runOnModule(Module &M);
Chris Lattnera92f6962002-10-01 22:38:41 +000050 };
Misha Brukmanfd939082005-04-21 23:48:37 +000051
Devang Patel19974732007-05-03 01:11:54 +000052 char RaiseAllocations::ID = 0;
Chris Lattner7f8897f2006-08-27 22:42:52 +000053 RegisterPass<RaiseAllocations>
Chris Lattnera6275cc2002-07-26 21:12:46 +000054 X("raiseallocs", "Raise allocations from calls to instructions");
Chris Lattnerade686e2002-05-07 19:02:48 +000055} // end anonymous namespace
56
57
58// createRaiseAllocationsPass - The interface to this file...
Chris Lattnerb12914b2004-09-20 04:48:05 +000059ModulePass *llvm::createRaiseAllocationsPass() {
Chris Lattnerade686e2002-05-07 19:02:48 +000060 return new RaiseAllocations();
61}
62
63
Chris Lattner2dbfa032003-09-01 03:14:56 +000064// If the module has a symbol table, they might be referring to the malloc and
65// free functions. If this is the case, grab the method pointers that the
66// module is using.
67//
68// Lookup %malloc and %free in the symbol table, for later use. If they don't
69// exist, or are not external, we do not worry about converting calls to that
70// function into the appropriate instruction.
71//
72void RaiseAllocations::doInitialization(Module &M) {
Chris Lattnerade686e2002-05-07 19:02:48 +000073
Chris Lattner0b5909e2002-07-18 00:18:01 +000074 // Get Malloc and free prototypes if they exist!
Reid Spenceref9b9a72007-02-05 20:47:22 +000075 MallocFunc = M.getFunction("malloc");
76 if (MallocFunc) {
77 const FunctionType* TyWeHave = MallocFunc->getFunctionType();
Chris Lattnerade686e2002-05-07 19:02:48 +000078
Reid Spenceref9b9a72007-02-05 20:47:22 +000079 // Get the expected prototype for malloc
80 const FunctionType *Malloc1Type =
81 FunctionType::get(PointerType::get(Type::Int8Ty),
82 std::vector<const Type*>(1, Type::Int64Ty), false);
83
84 // Chck to see if we got the expected malloc
85 if (TyWeHave != Malloc1Type) {
86 // Check to see if the prototype is wrong, giving us sbyte*(uint) * malloc
87 // This handles the common declaration of: 'void *malloc(unsigned);'
88 const FunctionType *Malloc2Type =
89 FunctionType::get(PointerType::get(Type::Int8Ty),
90 std::vector<const Type*>(1, Type::Int32Ty), false);
91 if (TyWeHave != Malloc2Type) {
92 // Check to see if the prototype is missing, giving us
93 // sbyte*(...) * malloc
94 // This handles the common declaration of: 'void *malloc();'
95 const FunctionType *Malloc3Type =
96 FunctionType::get(PointerType::get(Type::Int8Ty),
97 std::vector<const Type*>(), true);
98 if (TyWeHave != Malloc3Type)
99 // Give up
100 MallocFunc = 0;
101 }
102 }
Chris Lattner0b5909e2002-07-18 00:18:01 +0000103 }
104
Reid Spenceref9b9a72007-02-05 20:47:22 +0000105 FreeFunc = M.getFunction("free");
106 if (FreeFunc) {
107 const FunctionType* TyWeHave = FreeFunc->getFunctionType();
108
109 // Get the expected prototype for void free(i8*)
110 const FunctionType *Free1Type = FunctionType::get(Type::VoidTy,
111 std::vector<const Type*>(1, PointerType::get(Type::Int8Ty)), false);
Chris Lattner47e0f3a2002-05-24 20:29:18 +0000112
Reid Spenceref9b9a72007-02-05 20:47:22 +0000113 if (TyWeHave != Free1Type) {
114 // Check to see if the prototype was forgotten, giving us
115 // void (...) * free
116 // This handles the common forward declaration of: 'void free();'
117 const FunctionType* Free2Type = FunctionType::get(Type::VoidTy,
118 std::vector<const Type*>(),true);
Chris Lattner47e0f3a2002-05-24 20:29:18 +0000119
Reid Spenceref9b9a72007-02-05 20:47:22 +0000120 if (TyWeHave != Free2Type) {
121 // One last try, check to see if we can find free as
122 // int (...)* free. This handles the case where NOTHING was declared.
123 const FunctionType* Free3Type = FunctionType::get(Type::Int32Ty,
124 std::vector<const Type*>(),true);
125
126 if (TyWeHave != Free3Type) {
127 // Give up.
128 FreeFunc = 0;
129 }
130 }
131 }
Chris Lattner1f28e8c2003-08-11 15:05:08 +0000132 }
133
Chris Lattnerade686e2002-05-07 19:02:48 +0000134 // Don't mess with locally defined versions of these functions...
Reid Spencer5cbf9852007-01-30 20:08:39 +0000135 if (MallocFunc && !MallocFunc->isDeclaration()) MallocFunc = 0;
136 if (FreeFunc && !FreeFunc->isDeclaration()) FreeFunc = 0;
Chris Lattnerade686e2002-05-07 19:02:48 +0000137}
138
Chris Lattner2dbfa032003-09-01 03:14:56 +0000139// run - Transform calls into instructions...
Chris Lattnerade686e2002-05-07 19:02:48 +0000140//
Chris Lattnerb12914b2004-09-20 04:48:05 +0000141bool RaiseAllocations::runOnModule(Module &M) {
Chris Lattner2dbfa032003-09-01 03:14:56 +0000142 // Find the malloc/free prototypes...
143 doInitialization(M);
144
Chris Lattnerade686e2002-05-07 19:02:48 +0000145 bool Changed = false;
Chris Lattnerade686e2002-05-07 19:02:48 +0000146
Chris Lattner2dbfa032003-09-01 03:14:56 +0000147 // First, process all of the malloc calls...
148 if (MallocFunc) {
149 std::vector<User*> Users(MallocFunc->use_begin(), MallocFunc->use_end());
Chris Lattnereb12cd62003-12-07 01:42:08 +0000150 std::vector<Value*> EqPointers; // Values equal to MallocFunc
Chris Lattner2dbfa032003-09-01 03:14:56 +0000151 while (!Users.empty()) {
Chris Lattnereb12cd62003-12-07 01:42:08 +0000152 User *U = Users.back();
153 Users.pop_back();
154
155 if (Instruction *I = dyn_cast<Instruction>(U)) {
Chris Lattner2dbfa032003-09-01 03:14:56 +0000156 CallSite CS = CallSite::get(I);
Chris Lattnereb12cd62003-12-07 01:42:08 +0000157 if (CS.getInstruction() && CS.arg_begin() != CS.arg_end() &&
158 (CS.getCalledFunction() == MallocFunc ||
159 std::find(EqPointers.begin(), EqPointers.end(),
160 CS.getCalledValue()) != EqPointers.end())) {
Misha Brukmanfd939082005-04-21 23:48:37 +0000161
Chris Lattner2dbfa032003-09-01 03:14:56 +0000162 Value *Source = *CS.arg_begin();
Misha Brukmanfd939082005-04-21 23:48:37 +0000163
Chris Lattner2dbfa032003-09-01 03:14:56 +0000164 // If no prototype was provided for malloc, we may need to cast the
165 // source size.
Reid Spencerc5b206b2006-12-31 05:48:39 +0000166 if (Source->getType() != Type::Int32Ty)
Reid Spencer3da59db2006-11-27 01:05:10 +0000167 Source =
Reid Spencerc5b206b2006-12-31 05:48:39 +0000168 CastInst::createIntegerCast(Source, Type::Int32Ty, false/*ZExt*/,
Reid Spencer7b06bd52006-12-13 00:50:17 +0000169 "MallocAmtCast", I);
Misha Brukmanfd939082005-04-21 23:48:37 +0000170
Chris Lattner046800a2007-02-11 01:08:35 +0000171 MallocInst *MI = new MallocInst(Type::Int8Ty, Source, "", I);
172 MI->takeName(I);
Chris Lattner2dbfa032003-09-01 03:14:56 +0000173 I->replaceAllUsesWith(MI);
Chris Lattnercc838342003-09-16 19:42:21 +0000174
175 // If the old instruction was an invoke, add an unconditional branch
176 // before the invoke, which will become the new terminator.
177 if (InvokeInst *II = dyn_cast<InvokeInst>(I))
178 new BranchInst(II->getNormalDest(), I);
179
180 // Delete the old call site
Chris Lattner2dbfa032003-09-01 03:14:56 +0000181 MI->getParent()->getInstList().erase(I);
182 Changed = true;
183 ++NumRaised;
184 }
Reid Spencer518310c2004-07-18 00:44:37 +0000185 } else if (GlobalValue *GV = dyn_cast<GlobalValue>(U)) {
186 Users.insert(Users.end(), GV->use_begin(), GV->use_end());
187 EqPointers.push_back(GV);
Chris Lattnereb12cd62003-12-07 01:42:08 +0000188 } else if (ConstantExpr *CE = dyn_cast<ConstantExpr>(U)) {
Reid Spencer3da59db2006-11-27 01:05:10 +0000189 if (CE->isCast()) {
Chris Lattnereb12cd62003-12-07 01:42:08 +0000190 Users.insert(Users.end(), CE->use_begin(), CE->use_end());
191 EqPointers.push_back(CE);
192 }
Chris Lattnerade686e2002-05-07 19:02:48 +0000193 }
Chris Lattner2dbfa032003-09-01 03:14:56 +0000194 }
195 }
196
197 // Next, process all free calls...
198 if (FreeFunc) {
199 std::vector<User*> Users(FreeFunc->use_begin(), FreeFunc->use_end());
Chris Lattnereb12cd62003-12-07 01:42:08 +0000200 std::vector<Value*> EqPointers; // Values equal to FreeFunc
Chris Lattner2dbfa032003-09-01 03:14:56 +0000201
202 while (!Users.empty()) {
Chris Lattnereb12cd62003-12-07 01:42:08 +0000203 User *U = Users.back();
204 Users.pop_back();
205
206 if (Instruction *I = dyn_cast<Instruction>(U)) {
Chris Lattner2dbfa032003-09-01 03:14:56 +0000207 CallSite CS = CallSite::get(I);
Chris Lattnereb12cd62003-12-07 01:42:08 +0000208 if (CS.getInstruction() && CS.arg_begin() != CS.arg_end() &&
209 (CS.getCalledFunction() == FreeFunc ||
210 std::find(EqPointers.begin(), EqPointers.end(),
211 CS.getCalledValue()) != EqPointers.end())) {
Misha Brukmanfd939082005-04-21 23:48:37 +0000212
Chris Lattner2dbfa032003-09-01 03:14:56 +0000213 // If no prototype was provided for free, we may need to cast the
214 // source pointer. This should be really uncommon, but it's necessary
Chris Lattnerda895d62005-02-27 06:18:25 +0000215 // just in case we are dealing with weird code like this:
Chris Lattner2dbfa032003-09-01 03:14:56 +0000216 // free((long)ptr);
217 //
218 Value *Source = *CS.arg_begin();
219 if (!isa<PointerType>(Source->getType()))
Reid Spencerc5b206b2006-12-31 05:48:39 +0000220 Source = new IntToPtrInst(Source, PointerType::get(Type::Int8Ty),
Reid Spencer7b06bd52006-12-13 00:50:17 +0000221 "FreePtrCast", I);
Chris Lattner2dbfa032003-09-01 03:14:56 +0000222 new FreeInst(Source, I);
Chris Lattnercc838342003-09-16 19:42:21 +0000223
224 // If the old instruction was an invoke, add an unconditional branch
225 // before the invoke, which will become the new terminator.
226 if (InvokeInst *II = dyn_cast<InvokeInst>(I))
227 new BranchInst(II->getNormalDest(), I);
228
229 // Delete the old call site
Chris Lattner52f20f82004-11-09 05:10:56 +0000230 if (I->getType() != Type::VoidTy)
231 I->replaceAllUsesWith(UndefValue::get(I->getType()));
232 I->eraseFromParent();
Chris Lattner2dbfa032003-09-01 03:14:56 +0000233 Changed = true;
234 ++NumRaised;
235 }
Reid Spencer518310c2004-07-18 00:44:37 +0000236 } else if (GlobalValue *GV = dyn_cast<GlobalValue>(U)) {
237 Users.insert(Users.end(), GV->use_begin(), GV->use_end());
238 EqPointers.push_back(GV);
Chris Lattnereb12cd62003-12-07 01:42:08 +0000239 } else if (ConstantExpr *CE = dyn_cast<ConstantExpr>(U)) {
Reid Spencer3da59db2006-11-27 01:05:10 +0000240 if (CE->isCast()) {
Chris Lattnereb12cd62003-12-07 01:42:08 +0000241 Users.insert(Users.end(), CE->use_begin(), CE->use_end());
242 EqPointers.push_back(CE);
243 }
Chris Lattner2dbfa032003-09-01 03:14:56 +0000244 }
Chris Lattnerade686e2002-05-07 19:02:48 +0000245 }
Chris Lattnerade686e2002-05-07 19:02:48 +0000246 }
247
248 return Changed;
249}