blob: cc8f82fbe531ce5934a3f129a547b0904228089a [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"
20#include "llvm/Support/Compiler.h"
Torok Edwin7d696d82009-07-11 13:10:19 +000021#include "llvm/Support/ErrorHandling.h"
Gordon Henriksenfc328222007-09-27 22:18:46 +000022
23using namespace llvm;
24
25namespace {
26
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000027 class VISIBILITY_HIDDEN Printer : public FunctionPass {
Gordon Henriksenfc328222007-09-27 22:18:46 +000028 static char ID;
29 std::ostream &OS;
30
31 public:
Dan Gohmanded2b0d2007-12-14 15:41:34 +000032 explicit Printer(std::ostream &OS = *cerr);
Gordon Henriksenfc328222007-09-27 22:18:46 +000033
34 const char *getPassName() const;
35 void getAnalysisUsage(AnalysisUsage &AU) const;
36
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000037 bool runOnFunction(Function &F);
Gordon Henriksenfc328222007-09-27 22:18:46 +000038 };
39
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000040 class VISIBILITY_HIDDEN Deleter : public FunctionPass {
Gordon Henriksenfc328222007-09-27 22:18:46 +000041 static char ID;
42
43 public:
44 Deleter();
45
46 const char *getPassName() const;
47 void getAnalysisUsage(AnalysisUsage &AU) const;
48
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000049 bool runOnFunction(Function &F);
Gordon Henriksenfc328222007-09-27 22:18:46 +000050 bool doFinalization(Module &M);
51 };
52
Gordon Henriksenfc328222007-09-27 22:18:46 +000053}
54
Gordon Henriksen5eca0752008-08-17 18:44:35 +000055static RegisterPass<GCModuleInfo>
Dan Gohman844731a2008-05-13 00:00:25 +000056X("collector-metadata", "Create Garbage Collector Module Metadata");
57
Gordon Henriksenfc328222007-09-27 22:18:46 +000058// -----------------------------------------------------------------------------
59
Gordon Henriksen5eca0752008-08-17 18:44:35 +000060GCFunctionInfo::GCFunctionInfo(const Function &F, GCStrategy &S)
61 : F(F), S(S), FrameSize(~0LL) {}
Gordon Henriksenfc328222007-09-27 22:18:46 +000062
Gordon Henriksen5eca0752008-08-17 18:44:35 +000063GCFunctionInfo::~GCFunctionInfo() {}
Gordon Henriksenfc328222007-09-27 22:18:46 +000064
65// -----------------------------------------------------------------------------
66
Gordon Henriksen5eca0752008-08-17 18:44:35 +000067char GCModuleInfo::ID = 0;
Gordon Henriksenfc328222007-09-27 22:18:46 +000068
Gordon Henriksen5eca0752008-08-17 18:44:35 +000069GCModuleInfo::GCModuleInfo()
Dan Gohmanae73dc12008-09-04 17:05:41 +000070 : ImmutablePass(&ID) {}
Gordon Henriksenfc328222007-09-27 22:18:46 +000071
Gordon Henriksen5eca0752008-08-17 18:44:35 +000072GCModuleInfo::~GCModuleInfo() {
Gordon Henriksenfc328222007-09-27 22:18:46 +000073 clear();
74}
75
Gordon Henriksen5eca0752008-08-17 18:44:35 +000076GCStrategy *GCModuleInfo::getOrCreateStrategy(const Module *M,
77 const std::string &Name) {
Daniel Dunbar6316fbc2009-07-23 18:17:34 +000078 strategy_map_type::iterator NMI = StrategyMap.find(Name);
Gordon Henriksen5eca0752008-08-17 18:44:35 +000079 if (NMI != StrategyMap.end())
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000080 return NMI->getValue();
81
Gordon Henriksen5eca0752008-08-17 18:44:35 +000082 for (GCRegistry::iterator I = GCRegistry::begin(),
83 E = GCRegistry::end(); I != E; ++I) {
Daniel Dunbar6316fbc2009-07-23 18:17:34 +000084 if (Name == I->getName()) {
Gordon Henriksen5eca0752008-08-17 18:44:35 +000085 GCStrategy *S = I->instantiate();
86 S->M = M;
87 S->Name = Name;
Daniel Dunbar6316fbc2009-07-23 18:17:34 +000088 StrategyMap.GetOrCreateValue(Name).setValue(S);
Gordon Henriksen5eca0752008-08-17 18:44:35 +000089 StrategyList.push_back(S);
90 return S;
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000091 }
92 }
Torok Edwin7d696d82009-07-11 13:10:19 +000093
Gordon Henriksen5eca0752008-08-17 18:44:35 +000094 cerr << "unsupported GC: " << Name << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +000095 llvm_unreachable(0);
Gordon Henriksenfc328222007-09-27 22:18:46 +000096}
97
Gordon Henriksen5eca0752008-08-17 18:44:35 +000098GCFunctionInfo &GCModuleInfo::getFunctionInfo(const Function &F) {
Gordon Henriksen418b6e82008-08-17 16:18:50 +000099 assert(!F.isDeclaration() && "Can only get GCFunctionInfo for a definition!");
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000100 assert(F.hasGC());
Gordon Henriksen418b6e82008-08-17 16:18:50 +0000101
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000102 finfo_map_type::iterator I = FInfoMap.find(&F);
103 if (I != FInfoMap.end())
Gordon Henriksenad93c4f2007-12-11 00:30:17 +0000104 return *I->second;
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000105
106 GCStrategy *S = getOrCreateStrategy(F.getParent(), F.getGC());
107 GCFunctionInfo *GFI = S->insertFunctionInfo(F);
108 FInfoMap[&F] = GFI;
109 return *GFI;
Gordon Henriksenfc328222007-09-27 22:18:46 +0000110}
111
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000112void GCModuleInfo::clear() {
113 FInfoMap.clear();
114 StrategyMap.clear();
Gordon Henriksenad93c4f2007-12-11 00:30:17 +0000115
Gordon Henriksenfc328222007-09-27 22:18:46 +0000116 for (iterator I = begin(), E = end(); I != E; ++I)
117 delete *I;
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000118 StrategyList.clear();
Gordon Henriksenfc328222007-09-27 22:18:46 +0000119}
120
121// -----------------------------------------------------------------------------
122
123char Printer::ID = 0;
124
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000125FunctionPass *llvm::createGCInfoPrinter(std::ostream &OS) {
Gordon Henriksenfc328222007-09-27 22:18:46 +0000126 return new Printer(OS);
127}
128
129Printer::Printer(std::ostream &OS)
Dan Gohman865f0062009-02-18 05:09:16 +0000130 : FunctionPass(&ID), OS(OS) {}
Gordon Henriksenfc328222007-09-27 22:18:46 +0000131
132const char *Printer::getPassName() const {
133 return "Print Garbage Collector Information";
134}
135
136void Printer::getAnalysisUsage(AnalysisUsage &AU) const {
Gordon Henriksenad93c4f2007-12-11 00:30:17 +0000137 FunctionPass::getAnalysisUsage(AU);
Gordon Henriksenfc328222007-09-27 22:18:46 +0000138 AU.setPreservesAll();
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000139 AU.addRequired<GCModuleInfo>();
Gordon Henriksenfc328222007-09-27 22:18:46 +0000140}
141
142static const char *DescKind(GC::PointKind Kind) {
143 switch (Kind) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000144 default: llvm_unreachable("Unknown GC point kind");
Gordon Henriksenfc328222007-09-27 22:18:46 +0000145 case GC::Loop: return "loop";
146 case GC::Return: return "return";
147 case GC::PreCall: return "pre-call";
148 case GC::PostCall: return "post-call";
149 }
150}
151
Gordon Henriksenad93c4f2007-12-11 00:30:17 +0000152bool Printer::runOnFunction(Function &F) {
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000153 if (!F.hasGC()) {
154 GCFunctionInfo *FD = &getAnalysis<GCModuleInfo>().getFunctionInfo(F);
Gordon Henriksenfc328222007-09-27 22:18:46 +0000155
Daniel Dunbar460f6562009-07-26 09:48:23 +0000156 OS << "GC roots for " << FD->getFunction().getNameStr() << ":\n";
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000157 for (GCFunctionInfo::roots_iterator RI = FD->roots_begin(),
158 RE = FD->roots_end(); RI != RE; ++RI)
Gordon Henriksenfc328222007-09-27 22:18:46 +0000159 OS << "\t" << RI->Num << "\t" << RI->StackOffset << "[sp]\n";
160
Daniel Dunbar460f6562009-07-26 09:48:23 +0000161 OS << "GC safe points for " << FD->getFunction().getNameStr() << ":\n";
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000162 for (GCFunctionInfo::iterator PI = FD->begin(),
163 PE = FD->end(); PI != PE; ++PI) {
Gordon Henriksenfc328222007-09-27 22:18:46 +0000164
165 OS << "\tlabel " << PI->Num << ": " << DescKind(PI->Kind) << ", live = {";
166
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000167 for (GCFunctionInfo::live_iterator RI = FD->live_begin(PI),
168 RE = FD->live_end(PI);;) {
Gordon Henriksenfc328222007-09-27 22:18:46 +0000169 OS << " " << RI->Num;
170 if (++RI == RE)
171 break;
172 OS << ",";
173 }
174
175 OS << " }\n";
176 }
177 }
178
179 return false;
180}
181
182// -----------------------------------------------------------------------------
183
184char Deleter::ID = 0;
185
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000186FunctionPass *llvm::createGCInfoDeleter() {
Gordon Henriksenfc328222007-09-27 22:18:46 +0000187 return new Deleter();
188}
189
Dan Gohman865f0062009-02-18 05:09:16 +0000190Deleter::Deleter() : FunctionPass(&ID) {}
Gordon Henriksenfc328222007-09-27 22:18:46 +0000191
192const char *Deleter::getPassName() const {
193 return "Delete Garbage Collector Information";
194}
195
196void Deleter::getAnalysisUsage(AnalysisUsage &AU) const {
197 AU.setPreservesAll();
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000198 AU.addRequired<GCModuleInfo>();
Gordon Henriksenfc328222007-09-27 22:18:46 +0000199}
200
Gordon Henriksenad93c4f2007-12-11 00:30:17 +0000201bool Deleter::runOnFunction(Function &MF) {
Gordon Henriksenfc328222007-09-27 22:18:46 +0000202 return false;
203}
204
205bool Deleter::doFinalization(Module &M) {
Duncan Sands1465d612009-01-28 13:14:17 +0000206 GCModuleInfo *GMI = getAnalysisIfAvailable<GCModuleInfo>();
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000207 assert(GMI && "Deleter didn't require GCModuleInfo?!");
208 GMI->clear();
Gordon Henriksenfc328222007-09-27 22:18:46 +0000209 return false;
210}