blob: 32bc7d785b60869d61d170a4162d349cba374a85 [file] [log] [blame]
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001//===-- GCMetadata.cpp - Garbage collector metadata -----------------------===//
Gordon Henriksenfc328222007-09-27 22:18:46 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Gordon Henriksenfc328222007-09-27 22:18:46 +00007//
8//===----------------------------------------------------------------------===//
9//
Gordon Henriksen5eca0752008-08-17 18:44:35 +000010// This file implements the GCFunctionInfo class and GCModuleInfo pass.
Gordon Henriksenfc328222007-09-27 22:18:46 +000011//
12//===----------------------------------------------------------------------===//
13
Gordon Henriksen5a29c9e2008-08-17 12:56:54 +000014#include "llvm/CodeGen/GCMetadata.h"
15#include "llvm/CodeGen/GCStrategy.h"
Gordon Henriksenfc328222007-09-27 22:18:46 +000016#include "llvm/CodeGen/MachineFrameInfo.h"
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000017#include "llvm/Pass.h"
18#include "llvm/CodeGen/Passes.h"
Gordon Henriksenfc328222007-09-27 22:18:46 +000019#include "llvm/Function.h"
Chris Lattneraba9bcb2010-03-14 07:27:07 +000020#include "llvm/MC/MCSymbol.h"
David Greeneaba28d12010-01-04 21:35:15 +000021#include "llvm/Support/Debug.h"
Torok Edwin7d696d82009-07-11 13:10:19 +000022#include "llvm/Support/ErrorHandling.h"
Chris Lattnercf143a42009-08-23 03:13:20 +000023#include "llvm/Support/raw_ostream.h"
Gordon Henriksenfc328222007-09-27 22:18:46 +000024using namespace llvm;
25
26namespace {
27
Nick Lewycky6726b6d2009-10-25 06:33:48 +000028 class Printer : public FunctionPass {
Gordon Henriksenfc328222007-09-27 22:18:46 +000029 static char ID;
Chris Lattnercf143a42009-08-23 03:13:20 +000030 raw_ostream &OS;
Gordon Henriksenfc328222007-09-27 22:18:46 +000031
32 public:
Owen Anderson1f745902010-08-06 00:23:35 +000033 Printer() : FunctionPass(&ID), OS(errs()) {}
34 explicit Printer(raw_ostream &OS) : FunctionPass(&ID), OS(OS) {}
Chris Lattnercf143a42009-08-23 03:13:20 +000035
Gordon Henriksenfc328222007-09-27 22:18:46 +000036
37 const char *getPassName() const;
38 void getAnalysisUsage(AnalysisUsage &AU) const;
39
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000040 bool runOnFunction(Function &F);
Gordon Henriksenfc328222007-09-27 22:18:46 +000041 };
42
Nick Lewycky6726b6d2009-10-25 06:33:48 +000043 class Deleter : public FunctionPass {
Gordon Henriksenfc328222007-09-27 22:18:46 +000044 static char ID;
45
46 public:
47 Deleter();
48
49 const char *getPassName() const;
50 void getAnalysisUsage(AnalysisUsage &AU) const;
51
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000052 bool runOnFunction(Function &F);
Gordon Henriksenfc328222007-09-27 22:18:46 +000053 bool doFinalization(Module &M);
54 };
55
Gordon Henriksenfc328222007-09-27 22:18:46 +000056}
57
Owen Andersond13db2c2010-07-21 22:09:45 +000058INITIALIZE_PASS(GCModuleInfo, "collector-metadata",
59 "Create Garbage Collector Module Metadata", false, false);
Dan Gohman844731a2008-05-13 00:00:25 +000060
Gordon Henriksenfc328222007-09-27 22:18:46 +000061// -----------------------------------------------------------------------------
62
Gordon Henriksen5eca0752008-08-17 18:44:35 +000063GCFunctionInfo::GCFunctionInfo(const Function &F, GCStrategy &S)
64 : F(F), S(S), FrameSize(~0LL) {}
Gordon Henriksenfc328222007-09-27 22:18:46 +000065
Gordon Henriksen5eca0752008-08-17 18:44:35 +000066GCFunctionInfo::~GCFunctionInfo() {}
Gordon Henriksenfc328222007-09-27 22:18:46 +000067
68// -----------------------------------------------------------------------------
69
Gordon Henriksen5eca0752008-08-17 18:44:35 +000070char GCModuleInfo::ID = 0;
Gordon Henriksenfc328222007-09-27 22:18:46 +000071
Gordon Henriksen5eca0752008-08-17 18:44:35 +000072GCModuleInfo::GCModuleInfo()
Owen Anderson1f745902010-08-06 00:23:35 +000073 : ImmutablePass(&ID) {}
Gordon Henriksenfc328222007-09-27 22:18:46 +000074
Gordon Henriksen5eca0752008-08-17 18:44:35 +000075GCModuleInfo::~GCModuleInfo() {
Gordon Henriksenfc328222007-09-27 22:18:46 +000076 clear();
77}
78
Gordon Henriksen5eca0752008-08-17 18:44:35 +000079GCStrategy *GCModuleInfo::getOrCreateStrategy(const Module *M,
80 const std::string &Name) {
Daniel Dunbar6316fbc2009-07-23 18:17:34 +000081 strategy_map_type::iterator NMI = StrategyMap.find(Name);
Gordon Henriksen5eca0752008-08-17 18:44:35 +000082 if (NMI != StrategyMap.end())
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000083 return NMI->getValue();
84
Gordon Henriksen5eca0752008-08-17 18:44:35 +000085 for (GCRegistry::iterator I = GCRegistry::begin(),
86 E = GCRegistry::end(); I != E; ++I) {
Daniel Dunbar6316fbc2009-07-23 18:17:34 +000087 if (Name == I->getName()) {
Gordon Henriksen5eca0752008-08-17 18:44:35 +000088 GCStrategy *S = I->instantiate();
89 S->M = M;
90 S->Name = Name;
Daniel Dunbar6316fbc2009-07-23 18:17:34 +000091 StrategyMap.GetOrCreateValue(Name).setValue(S);
Gordon Henriksen5eca0752008-08-17 18:44:35 +000092 StrategyList.push_back(S);
93 return S;
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000094 }
95 }
Torok Edwin7d696d82009-07-11 13:10:19 +000096
David Greeneaba28d12010-01-04 21:35:15 +000097 dbgs() << "unsupported GC: " << Name << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +000098 llvm_unreachable(0);
Gordon Henriksenfc328222007-09-27 22:18:46 +000099}
100
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000101GCFunctionInfo &GCModuleInfo::getFunctionInfo(const Function &F) {
Gordon Henriksen418b6e82008-08-17 16:18:50 +0000102 assert(!F.isDeclaration() && "Can only get GCFunctionInfo for a definition!");
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000103 assert(F.hasGC());
Gordon Henriksen418b6e82008-08-17 16:18:50 +0000104
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000105 finfo_map_type::iterator I = FInfoMap.find(&F);
106 if (I != FInfoMap.end())
Gordon Henriksenad93c4f2007-12-11 00:30:17 +0000107 return *I->second;
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000108
109 GCStrategy *S = getOrCreateStrategy(F.getParent(), F.getGC());
110 GCFunctionInfo *GFI = S->insertFunctionInfo(F);
111 FInfoMap[&F] = GFI;
112 return *GFI;
Gordon Henriksenfc328222007-09-27 22:18:46 +0000113}
114
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000115void GCModuleInfo::clear() {
116 FInfoMap.clear();
117 StrategyMap.clear();
Gordon Henriksenad93c4f2007-12-11 00:30:17 +0000118
Gordon Henriksenfc328222007-09-27 22:18:46 +0000119 for (iterator I = begin(), E = end(); I != E; ++I)
120 delete *I;
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000121 StrategyList.clear();
Gordon Henriksenfc328222007-09-27 22:18:46 +0000122}
123
124// -----------------------------------------------------------------------------
125
126char Printer::ID = 0;
127
Chris Lattnercf143a42009-08-23 03:13:20 +0000128FunctionPass *llvm::createGCInfoPrinter(raw_ostream &OS) {
Gordon Henriksenfc328222007-09-27 22:18:46 +0000129 return new Printer(OS);
130}
131
Gordon Henriksenfc328222007-09-27 22:18:46 +0000132
133const char *Printer::getPassName() const {
134 return "Print Garbage Collector Information";
135}
136
137void Printer::getAnalysisUsage(AnalysisUsage &AU) const {
Gordon Henriksenad93c4f2007-12-11 00:30:17 +0000138 FunctionPass::getAnalysisUsage(AU);
Gordon Henriksenfc328222007-09-27 22:18:46 +0000139 AU.setPreservesAll();
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000140 AU.addRequired<GCModuleInfo>();
Gordon Henriksenfc328222007-09-27 22:18:46 +0000141}
142
143static const char *DescKind(GC::PointKind Kind) {
144 switch (Kind) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000145 default: llvm_unreachable("Unknown GC point kind");
Gordon Henriksenfc328222007-09-27 22:18:46 +0000146 case GC::Loop: return "loop";
147 case GC::Return: return "return";
148 case GC::PreCall: return "pre-call";
149 case GC::PostCall: return "post-call";
150 }
151}
152
Gordon Henriksenad93c4f2007-12-11 00:30:17 +0000153bool Printer::runOnFunction(Function &F) {
Chris Lattneraba9bcb2010-03-14 07:27:07 +0000154 if (F.hasGC()) return false;
155
156 GCFunctionInfo *FD = &getAnalysis<GCModuleInfo>().getFunctionInfo(F);
157
158 OS << "GC roots for " << FD->getFunction().getNameStr() << ":\n";
159 for (GCFunctionInfo::roots_iterator RI = FD->roots_begin(),
160 RE = FD->roots_end(); RI != RE; ++RI)
161 OS << "\t" << RI->Num << "\t" << RI->StackOffset << "[sp]\n";
162
163 OS << "GC safe points for " << FD->getFunction().getNameStr() << ":\n";
164 for (GCFunctionInfo::iterator PI = FD->begin(),
165 PE = FD->end(); PI != PE; ++PI) {
Gordon Henriksenfc328222007-09-27 22:18:46 +0000166
Chris Lattneraba9bcb2010-03-14 07:27:07 +0000167 OS << "\t" << PI->Label->getName() << ": "
168 << DescKind(PI->Kind) << ", live = {";
Gordon Henriksenfc328222007-09-27 22:18:46 +0000169
Chris Lattneraba9bcb2010-03-14 07:27:07 +0000170 for (GCFunctionInfo::live_iterator RI = FD->live_begin(PI),
171 RE = FD->live_end(PI);;) {
172 OS << " " << RI->Num;
173 if (++RI == RE)
174 break;
175 OS << ",";
Gordon Henriksenfc328222007-09-27 22:18:46 +0000176 }
Chris Lattneraba9bcb2010-03-14 07:27:07 +0000177
178 OS << " }\n";
Gordon Henriksenfc328222007-09-27 22:18:46 +0000179 }
180
181 return false;
182}
183
184// -----------------------------------------------------------------------------
185
186char Deleter::ID = 0;
187
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000188FunctionPass *llvm::createGCInfoDeleter() {
Gordon Henriksenfc328222007-09-27 22:18:46 +0000189 return new Deleter();
190}
191
Owen Anderson1f745902010-08-06 00:23:35 +0000192Deleter::Deleter() : FunctionPass(&ID) {}
Gordon Henriksenfc328222007-09-27 22:18:46 +0000193
194const char *Deleter::getPassName() const {
195 return "Delete Garbage Collector Information";
196}
197
198void Deleter::getAnalysisUsage(AnalysisUsage &AU) const {
199 AU.setPreservesAll();
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000200 AU.addRequired<GCModuleInfo>();
Gordon Henriksenfc328222007-09-27 22:18:46 +0000201}
202
Gordon Henriksenad93c4f2007-12-11 00:30:17 +0000203bool Deleter::runOnFunction(Function &MF) {
Gordon Henriksenfc328222007-09-27 22:18:46 +0000204 return false;
205}
206
207bool Deleter::doFinalization(Module &M) {
Duncan Sands1465d612009-01-28 13:14:17 +0000208 GCModuleInfo *GMI = getAnalysisIfAvailable<GCModuleInfo>();
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000209 assert(GMI && "Deleter didn't require GCModuleInfo?!");
210 GMI->clear();
Gordon Henriksenfc328222007-09-27 22:18:46 +0000211 return false;
212}