blob: 0d2f350e8537bce6340faa3898d95c4dfd23610d [file] [log] [blame]
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +00001//===-- IndMemRemoval.cpp - Remove indirect allocations and frees ----------===//
2//
3// 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.
7//
8//===----------------------------------------------------------------------===//
9//
10// This pass finds places where memory allocation functions may escape into
11// indirect land. Some transforms are much easier (aka possible) only if free
12// or malloc are not called indirectly.
13// Thus find places where the address of memory functions are taken and construct
14// bounce functions with direct calls of those functions.
15//
16//===----------------------------------------------------------------------===//
17
Chris Lattner1631bcb2006-12-19 22:09:18 +000018#define DEBUG_TYPE "indmemrem"
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000019#include "llvm/Transforms/IPO.h"
20#include "llvm/Pass.h"
21#include "llvm/Module.h"
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000022#include "llvm/Instructions.h"
23#include "llvm/Type.h"
Reid Spencera94d3942007-01-19 21:13:56 +000024#include "llvm/DerivedTypes.h"
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000025#include "llvm/ADT/Statistic.h"
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000026using namespace llvm;
27
Chris Lattner1631bcb2006-12-19 22:09:18 +000028STATISTIC(NumBounceSites, "Number of sites modified");
29STATISTIC(NumBounce , "Number of bounce functions created");
30
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000031namespace {
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000032 class IndMemRemPass : public ModulePass {
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000033 public:
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000034 virtual bool runOnModule(Module &M);
35 };
Chris Lattnerc2d3d312006-08-27 22:42:52 +000036 RegisterPass<IndMemRemPass> X("indmemrem","Indirect Malloc and Free Removal");
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000037} // end anonymous namespace
38
39
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000040bool IndMemRemPass::runOnModule(Module &M) {
41 //in Theory, all direct calls of malloc and free should be promoted
42 //to intrinsics. Therefor, this goes through and finds where the
43 //address of free or malloc are taken and replaces those with bounce
44 //functions, ensuring that all malloc and free that might happen
Andrew Lenharth92cf71f2006-04-13 13:43:31 +000045 //happen through intrinsics.
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000046 bool changed = false;
47 if (Function* F = M.getNamedFunction("free")) {
Reid Spencer5301e7c2007-01-30 20:08:39 +000048 assert(F->isDeclaration() && "free not external?");
Andrew Lenharth92cf71f2006-04-13 13:43:31 +000049 if (!F->use_empty()) {
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000050 Function* FN = new Function(F->getFunctionType(),
51 GlobalValue::LinkOnceLinkage,
52 "free_llvm_bounce", &M);
53 BasicBlock* bb = new BasicBlock("entry",FN);
54 Instruction* R = new ReturnInst(bb);
55 new FreeInst(FN->arg_begin(), R);
56 ++NumBounce;
57 NumBounceSites += F->getNumUses();
58 F->replaceAllUsesWith(FN);
59 changed = true;
60 }
61 }
62 if (Function* F = M.getNamedFunction("malloc")) {
Reid Spencer5301e7c2007-01-30 20:08:39 +000063 assert(F->isDeclaration() && "malloc not external?");
Andrew Lenharth92cf71f2006-04-13 13:43:31 +000064 if (!F->use_empty()) {
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000065 Function* FN = new Function(F->getFunctionType(),
66 GlobalValue::LinkOnceLinkage,
67 "malloc_llvm_bounce", &M);
68 BasicBlock* bb = new BasicBlock("entry",FN);
Reid Spencerbfe26ff2006-12-13 00:50:17 +000069 Instruction* c = CastInst::createIntegerCast(
Reid Spencerc635f472006-12-31 05:48:39 +000070 FN->arg_begin(), Type::Int32Ty, false, "c", bb);
71 Instruction* a = new MallocInst(Type::Int8Ty, c, "m", bb);
Reid Spencerde46e482006-11-02 20:25:50 +000072 new ReturnInst(a, bb);
Andrew Lenhartha9cdcca2006-04-10 19:26:09 +000073 ++NumBounce;
74 NumBounceSites += F->getNumUses();
75 F->replaceAllUsesWith(FN);
76 changed = true;
77 }
78 }
79 return changed;
80}
81
82ModulePass *llvm::createIndMemRemPass() {
83 return new IndMemRemPass();
84}