blob: 94026439fefa913e78381b3579f8ebe05d5e92c6 [file] [log] [blame]
Gordon Henriksen1aed5992008-08-17 18:44:35 +00001//===-- GCMetadata.cpp - Garbage collector metadata -----------------------===//
Gordon Henriksen17995b62007-09-27 22:18:46 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-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 Henriksen17995b62007-09-27 22:18:46 +00007//
8//===----------------------------------------------------------------------===//
9//
Gordon Henriksen1aed5992008-08-17 18:44:35 +000010// This file implements the GCFunctionInfo class and GCModuleInfo pass.
Gordon Henriksen17995b62007-09-27 22:18:46 +000011//
12//===----------------------------------------------------------------------===//
13
Gordon Henriksenf194af22008-08-17 12:56:54 +000014#include "llvm/CodeGen/GCMetadata.h"
15#include "llvm/CodeGen/GCStrategy.h"
Gordon Henriksen17995b62007-09-27 22:18:46 +000016#include "llvm/CodeGen/MachineFrameInfo.h"
Gordon Henriksenc22962f2007-12-11 00:30:17 +000017#include "llvm/Pass.h"
18#include "llvm/CodeGen/Passes.h"
Gordon Henriksen17995b62007-09-27 22:18:46 +000019#include "llvm/Function.h"
Chris Lattner0ede4552010-03-14 07:27:07 +000020#include "llvm/MC/MCSymbol.h"
David Greenedfa28662010-01-04 21:35:15 +000021#include "llvm/Support/Debug.h"
Edwin Törökced9ff82009-07-11 13:10:19 +000022#include "llvm/Support/ErrorHandling.h"
Chris Lattner0bde4e32009-08-23 03:13:20 +000023#include "llvm/Support/raw_ostream.h"
Gordon Henriksen17995b62007-09-27 22:18:46 +000024using namespace llvm;
25
26namespace {
27
Nick Lewycky492d06e2009-10-25 06:33:48 +000028 class Printer : public FunctionPass {
Gordon Henriksen17995b62007-09-27 22:18:46 +000029 static char ID;
Chris Lattner0bde4e32009-08-23 03:13:20 +000030 raw_ostream &OS;
Gordon Henriksen17995b62007-09-27 22:18:46 +000031
32 public:
Owen Anderson75693222010-08-06 18:33:48 +000033 explicit Printer(raw_ostream &OS) : FunctionPass(ID), OS(OS) {}
Chris Lattner0bde4e32009-08-23 03:13:20 +000034
Gordon Henriksen17995b62007-09-27 22:18:46 +000035
36 const char *getPassName() const;
37 void getAnalysisUsage(AnalysisUsage &AU) const;
38
Gordon Henriksenc22962f2007-12-11 00:30:17 +000039 bool runOnFunction(Function &F);
Gordon Henriksen17995b62007-09-27 22:18:46 +000040 };
41
Nick Lewycky492d06e2009-10-25 06:33:48 +000042 class Deleter : public FunctionPass {
Gordon Henriksen17995b62007-09-27 22:18:46 +000043 static char ID;
44
45 public:
46 Deleter();
47
48 const char *getPassName() const;
49 void getAnalysisUsage(AnalysisUsage &AU) const;
50
Gordon Henriksenc22962f2007-12-11 00:30:17 +000051 bool runOnFunction(Function &F);
Gordon Henriksen17995b62007-09-27 22:18:46 +000052 bool doFinalization(Module &M);
53 };
54
Gordon Henriksen17995b62007-09-27 22:18:46 +000055}
56
Owen Anderson6374c3d2010-07-21 22:09:45 +000057INITIALIZE_PASS(GCModuleInfo, "collector-metadata",
58 "Create Garbage Collector Module Metadata", false, false);
Dan Gohman089efff2008-05-13 00:00:25 +000059
Gordon Henriksen17995b62007-09-27 22:18:46 +000060// -----------------------------------------------------------------------------
61
Gordon Henriksen1aed5992008-08-17 18:44:35 +000062GCFunctionInfo::GCFunctionInfo(const Function &F, GCStrategy &S)
63 : F(F), S(S), FrameSize(~0LL) {}
Gordon Henriksen17995b62007-09-27 22:18:46 +000064
Gordon Henriksen1aed5992008-08-17 18:44:35 +000065GCFunctionInfo::~GCFunctionInfo() {}
Gordon Henriksen17995b62007-09-27 22:18:46 +000066
67// -----------------------------------------------------------------------------
68
Gordon Henriksen1aed5992008-08-17 18:44:35 +000069char GCModuleInfo::ID = 0;
Gordon Henriksen17995b62007-09-27 22:18:46 +000070
Gordon Henriksen1aed5992008-08-17 18:44:35 +000071GCModuleInfo::GCModuleInfo()
Owen Anderson75693222010-08-06 18:33:48 +000072 : ImmutablePass(ID) {}
Gordon Henriksen17995b62007-09-27 22:18:46 +000073
Gordon Henriksen1aed5992008-08-17 18:44:35 +000074GCModuleInfo::~GCModuleInfo() {
Gordon Henriksen17995b62007-09-27 22:18:46 +000075 clear();
76}
77
Gordon Henriksen1aed5992008-08-17 18:44:35 +000078GCStrategy *GCModuleInfo::getOrCreateStrategy(const Module *M,
79 const std::string &Name) {
Daniel Dunbar4d10add2009-07-23 18:17:34 +000080 strategy_map_type::iterator NMI = StrategyMap.find(Name);
Gordon Henriksen1aed5992008-08-17 18:44:35 +000081 if (NMI != StrategyMap.end())
Gordon Henriksenc22962f2007-12-11 00:30:17 +000082 return NMI->getValue();
83
Gordon Henriksen1aed5992008-08-17 18:44:35 +000084 for (GCRegistry::iterator I = GCRegistry::begin(),
85 E = GCRegistry::end(); I != E; ++I) {
Daniel Dunbar4d10add2009-07-23 18:17:34 +000086 if (Name == I->getName()) {
Gordon Henriksen1aed5992008-08-17 18:44:35 +000087 GCStrategy *S = I->instantiate();
88 S->M = M;
89 S->Name = Name;
Daniel Dunbar4d10add2009-07-23 18:17:34 +000090 StrategyMap.GetOrCreateValue(Name).setValue(S);
Gordon Henriksen1aed5992008-08-17 18:44:35 +000091 StrategyList.push_back(S);
92 return S;
Gordon Henriksenc22962f2007-12-11 00:30:17 +000093 }
94 }
Edwin Törökced9ff82009-07-11 13:10:19 +000095
David Greenedfa28662010-01-04 21:35:15 +000096 dbgs() << "unsupported GC: " << Name << "\n";
Edwin Törökbd448e32009-07-14 16:55:14 +000097 llvm_unreachable(0);
Gordon Henriksen17995b62007-09-27 22:18:46 +000098}
99
Gordon Henriksen1aed5992008-08-17 18:44:35 +0000100GCFunctionInfo &GCModuleInfo::getFunctionInfo(const Function &F) {
Gordon Henriksen46c16c52008-08-17 16:18:50 +0000101 assert(!F.isDeclaration() && "Can only get GCFunctionInfo for a definition!");
Gordon Henriksen1aed5992008-08-17 18:44:35 +0000102 assert(F.hasGC());
Gordon Henriksen46c16c52008-08-17 16:18:50 +0000103
Gordon Henriksen1aed5992008-08-17 18:44:35 +0000104 finfo_map_type::iterator I = FInfoMap.find(&F);
105 if (I != FInfoMap.end())
Gordon Henriksenc22962f2007-12-11 00:30:17 +0000106 return *I->second;
Gordon Henriksen1aed5992008-08-17 18:44:35 +0000107
108 GCStrategy *S = getOrCreateStrategy(F.getParent(), F.getGC());
109 GCFunctionInfo *GFI = S->insertFunctionInfo(F);
110 FInfoMap[&F] = GFI;
111 return *GFI;
Gordon Henriksen17995b62007-09-27 22:18:46 +0000112}
113
Gordon Henriksen1aed5992008-08-17 18:44:35 +0000114void GCModuleInfo::clear() {
115 FInfoMap.clear();
116 StrategyMap.clear();
Gordon Henriksenc22962f2007-12-11 00:30:17 +0000117
Gordon Henriksen17995b62007-09-27 22:18:46 +0000118 for (iterator I = begin(), E = end(); I != E; ++I)
119 delete *I;
Gordon Henriksen1aed5992008-08-17 18:44:35 +0000120 StrategyList.clear();
Gordon Henriksen17995b62007-09-27 22:18:46 +0000121}
122
123// -----------------------------------------------------------------------------
124
125char Printer::ID = 0;
126
Chris Lattner0bde4e32009-08-23 03:13:20 +0000127FunctionPass *llvm::createGCInfoPrinter(raw_ostream &OS) {
Gordon Henriksen17995b62007-09-27 22:18:46 +0000128 return new Printer(OS);
129}
130
Gordon Henriksen17995b62007-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 Henriksenc22962f2007-12-11 00:30:17 +0000137 FunctionPass::getAnalysisUsage(AU);
Gordon Henriksen17995b62007-09-27 22:18:46 +0000138 AU.setPreservesAll();
Gordon Henriksen1aed5992008-08-17 18:44:35 +0000139 AU.addRequired<GCModuleInfo>();
Gordon Henriksen17995b62007-09-27 22:18:46 +0000140}
141
142static const char *DescKind(GC::PointKind Kind) {
143 switch (Kind) {
Edwin Törökbd448e32009-07-14 16:55:14 +0000144 default: llvm_unreachable("Unknown GC point kind");
Gordon Henriksen17995b62007-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 Henriksenc22962f2007-12-11 00:30:17 +0000152bool Printer::runOnFunction(Function &F) {
Chris Lattner0ede4552010-03-14 07:27:07 +0000153 if (F.hasGC()) return false;
154
155 GCFunctionInfo *FD = &getAnalysis<GCModuleInfo>().getFunctionInfo(F);
156
157 OS << "GC roots for " << FD->getFunction().getNameStr() << ":\n";
158 for (GCFunctionInfo::roots_iterator RI = FD->roots_begin(),
159 RE = FD->roots_end(); RI != RE; ++RI)
160 OS << "\t" << RI->Num << "\t" << RI->StackOffset << "[sp]\n";
161
162 OS << "GC safe points for " << FD->getFunction().getNameStr() << ":\n";
163 for (GCFunctionInfo::iterator PI = FD->begin(),
164 PE = FD->end(); PI != PE; ++PI) {
Gordon Henriksen17995b62007-09-27 22:18:46 +0000165
Chris Lattner0ede4552010-03-14 07:27:07 +0000166 OS << "\t" << PI->Label->getName() << ": "
167 << DescKind(PI->Kind) << ", live = {";
Gordon Henriksen17995b62007-09-27 22:18:46 +0000168
Chris Lattner0ede4552010-03-14 07:27:07 +0000169 for (GCFunctionInfo::live_iterator RI = FD->live_begin(PI),
170 RE = FD->live_end(PI);;) {
171 OS << " " << RI->Num;
172 if (++RI == RE)
173 break;
174 OS << ",";
Gordon Henriksen17995b62007-09-27 22:18:46 +0000175 }
Chris Lattner0ede4552010-03-14 07:27:07 +0000176
177 OS << " }\n";
Gordon Henriksen17995b62007-09-27 22:18:46 +0000178 }
179
180 return false;
181}
182
183// -----------------------------------------------------------------------------
184
185char Deleter::ID = 0;
186
Gordon Henriksen1aed5992008-08-17 18:44:35 +0000187FunctionPass *llvm::createGCInfoDeleter() {
Gordon Henriksen17995b62007-09-27 22:18:46 +0000188 return new Deleter();
189}
190
Owen Anderson75693222010-08-06 18:33:48 +0000191Deleter::Deleter() : FunctionPass(ID) {}
Gordon Henriksen17995b62007-09-27 22:18:46 +0000192
193const char *Deleter::getPassName() const {
194 return "Delete Garbage Collector Information";
195}
196
197void Deleter::getAnalysisUsage(AnalysisUsage &AU) const {
198 AU.setPreservesAll();
Gordon Henriksen1aed5992008-08-17 18:44:35 +0000199 AU.addRequired<GCModuleInfo>();
Gordon Henriksen17995b62007-09-27 22:18:46 +0000200}
201
Gordon Henriksenc22962f2007-12-11 00:30:17 +0000202bool Deleter::runOnFunction(Function &MF) {
Gordon Henriksen17995b62007-09-27 22:18:46 +0000203 return false;
204}
205
206bool Deleter::doFinalization(Module &M) {
Duncan Sands4e0d6a72009-01-28 13:14:17 +0000207 GCModuleInfo *GMI = getAnalysisIfAvailable<GCModuleInfo>();
Gordon Henriksen1aed5992008-08-17 18:44:35 +0000208 assert(GMI && "Deleter didn't require GCModuleInfo?!");
209 GMI->clear();
Gordon Henriksen17995b62007-09-27 22:18:46 +0000210 return false;
211}