blob: 9b56f6a84d1898ca7fb05d9c371db0f1c43e8eae [file] [log] [blame]
Chris Lattner03453a02002-05-07 19:04:39 +00001//===- RaiseAllocations.cpp - Convert %malloc & %free calls to insts ------===//
Chris Lattner77f791d2002-05-07 19:02:48 +00002//
Chris Lattner03453a02002-05-07 19:04:39 +00003// This file defines the RaiseAllocations pass which convert malloc and free
4// calls to malloc and free instructions.
Chris Lattner77f791d2002-05-07 19:02:48 +00005//
6//===----------------------------------------------------------------------===//
7
8#include "llvm/Transforms/ChangeAllocations.h"
9#include "llvm/Transforms/Utils/BasicBlockUtils.h"
10#include "llvm/Module.h"
11#include "llvm/Function.h"
12#include "llvm/DerivedTypes.h"
13#include "llvm/iMemory.h"
14#include "llvm/iOther.h"
15#include "llvm/Pass.h"
Chris Lattner0b18c1d2002-05-10 15:38:35 +000016#include "Support/StatisticReporter.h"
17
18static Statistic<> NumRaised("raiseallocs\t- Number of allocations raised");
Chris Lattner77f791d2002-05-07 19:02:48 +000019
20namespace {
21
22// RaiseAllocations - Turn %malloc and %free calls into the appropriate
23// instruction.
24//
25class RaiseAllocations : public BasicBlockPass {
26 Function *MallocFunc; // Functions in the module we are processing
27 Function *FreeFunc; // Initialized by doPassInitializationVirt
28public:
29 inline RaiseAllocations() : MallocFunc(0), FreeFunc(0) {}
30
31 const char *getPassName() const { return "Raise Allocations"; }
32
33 // doPassInitialization - For the raise allocations pass, this finds a
34 // declaration for malloc and free if they exist.
35 //
36 bool doInitialization(Module *M);
37
38 // runOnBasicBlock - This method does the actual work of converting
39 // instructions over, assuming that the pass has already been initialized.
40 //
41 bool runOnBasicBlock(BasicBlock *BB);
42};
43
44} // end anonymous namespace
45
46
47// createRaiseAllocationsPass - The interface to this file...
48Pass *createRaiseAllocationsPass() {
49 return new RaiseAllocations();
50}
51
52
53bool RaiseAllocations::doInitialization(Module *M) {
54 // If the module has a symbol table, they might be referring to the malloc
55 // and free functions. If this is the case, grab the method pointers that
56 // the module is using.
57 //
58 // Lookup %malloc and %free in the symbol table, for later use. If they
59 // don't exist, or are not external, we do not worry about converting calls
60 // to that function into the appropriate instruction.
61 //
62 const FunctionType *MallocType = // Get the type for malloc
63 FunctionType::get(PointerType::get(Type::SByteTy),
64 std::vector<const Type*>(1, Type::UIntTy), false);
65
66 const FunctionType *FreeType = // Get the type for free
67 FunctionType::get(Type::VoidTy,
68 std::vector<const Type*>(1, PointerType::get(Type::SByteTy)),
69 false);
70
71 MallocFunc = M->getFunction("malloc", MallocType);
72 FreeFunc = M->getFunction("free" , FreeType);
73
74 // Don't mess with locally defined versions of these functions...
75 if (MallocFunc && !MallocFunc->isExternal()) MallocFunc = 0;
76 if (FreeFunc && !FreeFunc->isExternal()) FreeFunc = 0;
77 return false;
78}
79
Chris Lattner03453a02002-05-07 19:04:39 +000080// runOnBasicBlock - Process a basic block, fixing it up...
Chris Lattner77f791d2002-05-07 19:02:48 +000081//
82bool RaiseAllocations::runOnBasicBlock(BasicBlock *BB) {
83 bool Changed = false;
84 BasicBlock::InstListType &BIL = BB->getInstList();
85
86 for (BasicBlock::iterator BI = BB->begin(); BI != BB->end();) {
87 Instruction *I = *BI;
88
89 if (CallInst *CI = dyn_cast<CallInst>(I)) {
90 if (CI->getCalledValue() == MallocFunc) { // Replace call to malloc?
91 const Type *PtrSByte = PointerType::get(Type::SByteTy);
92 MallocInst *MallocI = new MallocInst(PtrSByte, CI->getOperand(1),
93 CI->getName());
94 CI->setName("");
95 ReplaceInstWithInst(BIL, BI, MallocI);
96 Changed = true;
Chris Lattner0b18c1d2002-05-10 15:38:35 +000097 ++NumRaised;
Chris Lattner77f791d2002-05-07 19:02:48 +000098 continue; // Skip the ++BI
99 } else if (CI->getCalledValue() == FreeFunc) { // Replace call to free?
100 ReplaceInstWithInst(BIL, BI, new FreeInst(CI->getOperand(1)));
101 Changed = true;
102 continue; // Skip the ++BI
Chris Lattner0b18c1d2002-05-10 15:38:35 +0000103 ++NumRaised;
Chris Lattner77f791d2002-05-07 19:02:48 +0000104 }
105 }
106
107 ++BI;
108 }
109
110 return Changed;
111}