blob: 3ee74d49c7fc88a58701123b932da7ba9e3ccecc [file] [log] [blame]
Chris Lattner5048c3b2002-01-22 00:13:51 +00001//===- ChangeAllocations.cpp - Modify %malloc & %free calls -----------------=//
Chris Lattner1bffea02001-10-15 17:31:51 +00002//
Chris Lattner5048c3b2002-01-22 00:13:51 +00003// This file defines two passes that convert malloc and free instructions to
4// calls to and from %malloc & %free function calls. The LowerAllocations
5// transformation is a target dependant tranformation because it depends on the
6// size of data types and alignment constraints.
Chris Lattner1bffea02001-10-15 17:31:51 +00007//
8//===----------------------------------------------------------------------===//
9
Chris Lattnerd7db8632002-01-22 01:04:08 +000010#include "llvm/Transforms/ChangeAllocations.h"
Chris Lattner1bffea02001-10-15 17:31:51 +000011#include "llvm/Target/TargetData.h"
Chris Lattner793c6b82002-01-31 00:45:11 +000012#include "llvm/Module.h"
Chris Lattner1bffea02001-10-15 17:31:51 +000013#include "llvm/DerivedTypes.h"
14#include "llvm/iMemory.h"
15#include "llvm/iOther.h"
16#include "llvm/SymbolTable.h"
Chris Lattnere9bb2df2001-12-03 22:26:30 +000017#include "llvm/ConstantVals.h"
Chris Lattnerbd0ef772002-02-26 21:46:54 +000018#include "llvm/Pass.h"
Chris Lattner5048c3b2002-01-22 00:13:51 +000019#include "TransformInternals.h"
Chris Lattner697954c2002-01-20 22:54:45 +000020using std::vector;
21
Chris Lattnerbd0ef772002-02-26 21:46:54 +000022namespace {
23
24// LowerAllocations - Turn malloc and free instructions into %malloc and %free
25// calls.
26//
27class LowerAllocations : public BasicBlockPass {
Chris Lattner79df7c02002-03-26 18:01:55 +000028 Function *MallocFunc; // Functions in the module we are processing
29 Function *FreeFunc; // Initialized by doInitialization
Chris Lattnerbd0ef772002-02-26 21:46:54 +000030
31 const TargetData &DataLayout;
32public:
33 inline LowerAllocations(const TargetData &TD) : DataLayout(TD) {
Chris Lattner79df7c02002-03-26 18:01:55 +000034 MallocFunc = FreeFunc = 0;
Chris Lattnerbd0ef772002-02-26 21:46:54 +000035 }
36
37 // doPassInitialization - For the lower allocations pass, this ensures that a
38 // module contains a declaration for a malloc and a free function.
39 //
40 bool doInitialization(Module *M);
41
42 // runOnBasicBlock - This method does the actual work of converting
43 // instructions over, assuming that the pass has already been initialized.
44 //
45 bool runOnBasicBlock(BasicBlock *BB);
46};
47
48// RaiseAllocations - Turn %malloc and %free calls into the appropriate
49// instruction.
50//
51class RaiseAllocations : public BasicBlockPass {
Chris Lattner79df7c02002-03-26 18:01:55 +000052 Function *MallocFunc; // Functions in the module we are processing
53 Function *FreeFunc; // Initialized by doPassInitializationVirt
Chris Lattnerbd0ef772002-02-26 21:46:54 +000054public:
Chris Lattner79df7c02002-03-26 18:01:55 +000055 inline RaiseAllocations() : MallocFunc(0), FreeFunc(0) {}
Chris Lattnerbd0ef772002-02-26 21:46:54 +000056
57 // doPassInitialization - For the raise allocations pass, this finds a
58 // declaration for malloc and free if they exist.
59 //
60 bool doInitialization(Module *M);
61
62 // runOnBasicBlock - This method does the actual work of converting
63 // instructions over, assuming that the pass has already been initialized.
64 //
65 bool runOnBasicBlock(BasicBlock *BB);
66};
67
68} // end anonymous namespace
Chris Lattner1bffea02001-10-15 17:31:51 +000069
Chris Lattnerf4de63f2002-01-21 07:31:50 +000070// doInitialization - For the lower allocations pass, this ensures that a
Chris Lattner1bffea02001-10-15 17:31:51 +000071// module contains a declaration for a malloc and a free function.
72//
73// This function is always successful.
74//
Chris Lattnerf4de63f2002-01-21 07:31:50 +000075bool LowerAllocations::doInitialization(Module *M) {
Chris Lattner42c9c2c2001-10-18 05:27:33 +000076 bool Changed = false;
Chris Lattner1bffea02001-10-15 17:31:51 +000077 const MethodType *MallocType =
Chris Lattner7ef65592001-10-31 06:36:23 +000078 MethodType::get(PointerType::get(Type::SByteTy),
Chris Lattner1bffea02001-10-15 17:31:51 +000079 vector<const Type*>(1, Type::UIntTy), false);
80
81 SymbolTable *SymTab = M->getSymbolTableSure();
82
83 // Check for a definition of malloc
84 if (Value *V = SymTab->lookup(PointerType::get(MallocType), "malloc")) {
Chris Lattner79df7c02002-03-26 18:01:55 +000085 MallocFunc = cast<Function>(V); // Yup, got it
Chris Lattner1bffea02001-10-15 17:31:51 +000086 } else { // Nope, add one
Chris Lattner79df7c02002-03-26 18:01:55 +000087 M->getFunctionList().push_back(MallocFunc = new Function(MallocType, false,
88 "malloc"));
Chris Lattner42c9c2c2001-10-18 05:27:33 +000089 Changed = true;
Chris Lattner1bffea02001-10-15 17:31:51 +000090 }
91
92 const MethodType *FreeType =
93 MethodType::get(Type::VoidTy,
Chris Lattner7ef65592001-10-31 06:36:23 +000094 vector<const Type*>(1, PointerType::get(Type::SByteTy)),
Chris Lattner1bffea02001-10-15 17:31:51 +000095 false);
96
97 // Check for a definition of free
98 if (Value *V = SymTab->lookup(PointerType::get(FreeType), "free")) {
Chris Lattner79df7c02002-03-26 18:01:55 +000099 FreeFunc = cast<Function>(V); // Yup, got it
Chris Lattner1bffea02001-10-15 17:31:51 +0000100 } else { // Nope, add one
Chris Lattner79df7c02002-03-26 18:01:55 +0000101 FreeFunc = new Function(FreeType, false,"free");
102 M->getFunctionList().push_back(FreeFunc);
Chris Lattner42c9c2c2001-10-18 05:27:33 +0000103 Changed = true;
Chris Lattner1bffea02001-10-15 17:31:51 +0000104 }
105
Chris Lattner84453722002-01-21 23:34:02 +0000106 return Changed;
Chris Lattner1bffea02001-10-15 17:31:51 +0000107}
108
Chris Lattner84453722002-01-21 23:34:02 +0000109// runOnBasicBlock - This method does the actual work of converting
Chris Lattner1bffea02001-10-15 17:31:51 +0000110// instructions over, assuming that the pass has already been initialized.
111//
Chris Lattner84453722002-01-21 23:34:02 +0000112bool LowerAllocations::runOnBasicBlock(BasicBlock *BB) {
Chris Lattner42c9c2c2001-10-18 05:27:33 +0000113 bool Changed = false;
Chris Lattner79df7c02002-03-26 18:01:55 +0000114 assert(MallocFunc && FreeFunc && BB && "Pass not initialized!");
Chris Lattner1bffea02001-10-15 17:31:51 +0000115
116 // Loop over all of the instructions, looking for malloc or free instructions
Chris Lattner84453722002-01-21 23:34:02 +0000117 for (unsigned i = 0; i < BB->size(); ++i) {
118 BasicBlock::InstListType &BBIL = BB->getInstList();
119 if (MallocInst *MI = dyn_cast<MallocInst>(*(BBIL.begin()+i))) {
120 BBIL.remove(BBIL.begin()+i); // remove the malloc instr...
Chris Lattner1bffea02001-10-15 17:31:51 +0000121
Chris Lattner84453722002-01-21 23:34:02 +0000122 const Type *AllocTy =cast<PointerType>(MI->getType())->getElementType();
123
124 // Get the number of bytes to be allocated for one element of the
125 // requested type...
126 unsigned Size = DataLayout.getTypeSize(AllocTy);
127
128 // malloc(type) becomes sbyte *malloc(constint)
129 Value *MallocArg = ConstantUInt::get(Type::UIntTy, Size);
130 if (MI->getNumOperands() && Size == 1) {
131 MallocArg = MI->getOperand(0); // Operand * 1 = Operand
132 } else if (MI->getNumOperands()) {
133 // Multiply it by the array size if neccesary...
134 MallocArg = BinaryOperator::create(Instruction::Mul,MI->getOperand(0),
135 MallocArg);
136 BBIL.insert(BBIL.begin()+i++, cast<Instruction>(MallocArg));
Chris Lattner1bffea02001-10-15 17:31:51 +0000137 }
Chris Lattner84453722002-01-21 23:34:02 +0000138
139 // Create the call to Malloc...
Chris Lattner79df7c02002-03-26 18:01:55 +0000140 CallInst *MCall = new CallInst(MallocFunc,
Chris Lattner84453722002-01-21 23:34:02 +0000141 vector<Value*>(1, MallocArg));
142 BBIL.insert(BBIL.begin()+i, MCall);
143
144 // Create a cast instruction to convert to the right type...
145 CastInst *MCast = new CastInst(MCall, MI->getType());
146 BBIL.insert(BBIL.begin()+i+1, MCast);
147
148 // Replace all uses of the old malloc inst with the cast inst
149 MI->replaceAllUsesWith(MCast);
150 delete MI; // Delete the malloc inst
151 Changed = true;
152 } else if (FreeInst *FI = dyn_cast<FreeInst>(*(BBIL.begin()+i))) {
153 BBIL.remove(BB->getInstList().begin()+i);
154
155 // Cast the argument to free into a ubyte*...
156 CastInst *MCast = new CastInst(FI->getOperand(0),
157 PointerType::get(Type::UByteTy));
158 BBIL.insert(BBIL.begin()+i, MCast);
159
160 // Insert a call to the free function...
Chris Lattner79df7c02002-03-26 18:01:55 +0000161 CallInst *FCall = new CallInst(FreeFunc,
Chris Lattner84453722002-01-21 23:34:02 +0000162 vector<Value*>(1, MCast));
163 BBIL.insert(BBIL.begin()+i+1, FCall);
164
165 // Delete the old free instruction
166 delete FI;
167 Changed = true;
Chris Lattner1bffea02001-10-15 17:31:51 +0000168 }
169 }
170
Chris Lattner42c9c2c2001-10-18 05:27:33 +0000171 return Changed;
Chris Lattner1bffea02001-10-15 17:31:51 +0000172}
173
Chris Lattner5048c3b2002-01-22 00:13:51 +0000174bool RaiseAllocations::doInitialization(Module *M) {
175 SymbolTable *ST = M->getSymbolTable();
176 if (!ST) return false;
177
178 // If the module has a symbol table, they might be referring to the malloc
179 // and free functions. If this is the case, grab the method pointers that
180 // the module is using.
181 //
182 // Lookup %malloc and %free in the symbol table, for later use. If they
183 // don't exist, or are not external, we do not worry about converting calls
184 // to that function into the appropriate instruction.
185 //
186 const PointerType *MallocType = // Get the type for malloc
187 PointerType::get(MethodType::get(PointerType::get(Type::SByteTy),
188 vector<const Type*>(1, Type::UIntTy), false));
Chris Lattner79df7c02002-03-26 18:01:55 +0000189 MallocFunc = cast_or_null<Function>(ST->lookup(MallocType, "malloc"));
190 if (MallocFunc && !MallocFunc->isExternal())
191 MallocFunc = 0; // Don't mess with locally defined versions of the fn
Chris Lattner5048c3b2002-01-22 00:13:51 +0000192
193 const PointerType *FreeType = // Get the type for free
194 PointerType::get(MethodType::get(Type::VoidTy,
195 vector<const Type*>(1, PointerType::get(Type::SByteTy)), false));
Chris Lattner79df7c02002-03-26 18:01:55 +0000196 FreeFunc = cast_or_null<Function>(ST->lookup(FreeType, "free"));
197 if (FreeFunc && !FreeFunc->isExternal())
198 FreeFunc = 0; // Don't mess with locally defined versions of the fn
Chris Lattner5048c3b2002-01-22 00:13:51 +0000199
200 return false;
201}
202
203// doOneCleanupPass - Do one pass over the input method, fixing stuff up.
204//
205bool RaiseAllocations::runOnBasicBlock(BasicBlock *BB) {
206 bool Changed = false;
207 BasicBlock::InstListType &BIL = BB->getInstList();
208
209 for (BasicBlock::iterator BI = BB->begin(); BI != BB->end();) {
210 Instruction *I = *BI;
211
212 if (CallInst *CI = dyn_cast<CallInst>(I)) {
Chris Lattner79df7c02002-03-26 18:01:55 +0000213 if (CI->getCalledValue() == MallocFunc) { // Replace call to malloc?
Chris Lattner5048c3b2002-01-22 00:13:51 +0000214 const Type *PtrSByte = PointerType::get(Type::SByteTy);
215 MallocInst *MallocI = new MallocInst(PtrSByte, CI->getOperand(1),
216 CI->getName());
217 CI->setName("");
Chris Lattner31b80d92002-01-22 03:30:06 +0000218 ReplaceInstWithInst(BIL, BI, MallocI);
Chris Lattner5048c3b2002-01-22 00:13:51 +0000219 Changed = true;
220 continue; // Skip the ++BI
Chris Lattner79df7c02002-03-26 18:01:55 +0000221 } else if (CI->getCalledValue() == FreeFunc) { // Replace call to free?
Chris Lattner5048c3b2002-01-22 00:13:51 +0000222 ReplaceInstWithInst(BIL, BI, new FreeInst(CI->getOperand(1)));
223 Changed = true;
224 continue; // Skip the ++BI
225 }
226 }
227
228 ++BI;
229 }
230
231 return Changed;
232}
Chris Lattnerbd0ef772002-02-26 21:46:54 +0000233
234Pass *createLowerAllocationsPass(const TargetData &TD) {
235 return new LowerAllocations(TD);
236}
237Pass *createRaiseAllocationsPass() {
238 return new RaiseAllocations();
239}
240
241