blob: a2c5fce20131b1c7fa7c5b2021e7d64908447267 [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/CodeGen/Passes.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000018#include "llvm/IR/Function.h"
Chris Lattneraba9bcb2010-03-14 07:27:07 +000019#include "llvm/MC/MCSymbol.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000020#include "llvm/Pass.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 {
Chris Lattnercf143a42009-08-23 03:13:20 +000027
Stephen Hinesebe69fe2015-03-23 12:10:34 -070028class Printer : public FunctionPass {
29 static char ID;
30 raw_ostream &OS;
Stephen Hines36b56882014-04-23 16:57:46 -070031
Stephen Hinesebe69fe2015-03-23 12:10:34 -070032public:
33 explicit Printer(raw_ostream &OS) : FunctionPass(ID), OS(OS) {}
Stephen Hines36b56882014-04-23 16:57:46 -070034
Stephen Hinesebe69fe2015-03-23 12:10:34 -070035 const char *getPassName() const override;
36 void getAnalysisUsage(AnalysisUsage &AU) const override;
Benjamin Kramer06333732013-02-19 16:51:44 +000037
Stephen Hinesebe69fe2015-03-23 12:10:34 -070038 bool runOnFunction(Function &F) override;
39 bool doFinalization(Module &M) override;
40};
Gordon Henriksenfc328222007-09-27 22:18:46 +000041}
42
Owen Andersond13db2c2010-07-21 22:09:45 +000043INITIALIZE_PASS(GCModuleInfo, "collector-metadata",
Owen Andersonce665bd2010-10-07 22:25:06 +000044 "Create Garbage Collector Module Metadata", false, false)
Dan Gohman844731a2008-05-13 00:00:25 +000045
Gordon Henriksenfc328222007-09-27 22:18:46 +000046// -----------------------------------------------------------------------------
47
Gordon Henriksen5eca0752008-08-17 18:44:35 +000048GCFunctionInfo::GCFunctionInfo(const Function &F, GCStrategy &S)
Stephen Hinesebe69fe2015-03-23 12:10:34 -070049 : F(F), S(S), FrameSize(~0LL) {}
Gordon Henriksenfc328222007-09-27 22:18:46 +000050
Gordon Henriksen5eca0752008-08-17 18:44:35 +000051GCFunctionInfo::~GCFunctionInfo() {}
Gordon Henriksenfc328222007-09-27 22:18:46 +000052
53// -----------------------------------------------------------------------------
54
Gordon Henriksen5eca0752008-08-17 18:44:35 +000055char GCModuleInfo::ID = 0;
Gordon Henriksenfc328222007-09-27 22:18:46 +000056
Stephen Hinesebe69fe2015-03-23 12:10:34 -070057GCModuleInfo::GCModuleInfo() : ImmutablePass(ID) {
Owen Anderson081c34b2010-10-19 17:21:58 +000058 initializeGCModuleInfoPass(*PassRegistry::getPassRegistry());
59}
Gordon Henriksenfc328222007-09-27 22:18:46 +000060
Gordon Henriksen5eca0752008-08-17 18:44:35 +000061GCFunctionInfo &GCModuleInfo::getFunctionInfo(const Function &F) {
Gordon Henriksen418b6e82008-08-17 16:18:50 +000062 assert(!F.isDeclaration() && "Can only get GCFunctionInfo for a definition!");
Gordon Henriksen5eca0752008-08-17 18:44:35 +000063 assert(F.hasGC());
Stephen Hinesebe69fe2015-03-23 12:10:34 -070064
Gordon Henriksen5eca0752008-08-17 18:44:35 +000065 finfo_map_type::iterator I = FInfoMap.find(&F);
66 if (I != FInfoMap.end())
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000067 return *I->second;
Stephen Hinesebe69fe2015-03-23 12:10:34 -070068
69 GCStrategy *S = getGCStrategy(F.getGC());
70 Functions.push_back(make_unique<GCFunctionInfo>(F, *S));
71 GCFunctionInfo *GFI = Functions.back().get();
Gordon Henriksen5eca0752008-08-17 18:44:35 +000072 FInfoMap[&F] = GFI;
73 return *GFI;
Gordon Henriksenfc328222007-09-27 22:18:46 +000074}
75
Gordon Henriksen5eca0752008-08-17 18:44:35 +000076void GCModuleInfo::clear() {
Stephen Hinesebe69fe2015-03-23 12:10:34 -070077 Functions.clear();
Gordon Henriksen5eca0752008-08-17 18:44:35 +000078 FInfoMap.clear();
Stephen Hinesebe69fe2015-03-23 12:10:34 -070079 GCStrategyList.clear();
Gordon Henriksenfc328222007-09-27 22:18:46 +000080}
81
82// -----------------------------------------------------------------------------
83
84char Printer::ID = 0;
85
Chris Lattnercf143a42009-08-23 03:13:20 +000086FunctionPass *llvm::createGCInfoPrinter(raw_ostream &OS) {
Gordon Henriksenfc328222007-09-27 22:18:46 +000087 return new Printer(OS);
88}
89
Gordon Henriksenfc328222007-09-27 22:18:46 +000090const char *Printer::getPassName() const {
91 return "Print Garbage Collector Information";
92}
93
94void Printer::getAnalysisUsage(AnalysisUsage &AU) const {
Gordon Henriksenad93c4f2007-12-11 00:30:17 +000095 FunctionPass::getAnalysisUsage(AU);
Gordon Henriksenfc328222007-09-27 22:18:46 +000096 AU.setPreservesAll();
Gordon Henriksen5eca0752008-08-17 18:44:35 +000097 AU.addRequired<GCModuleInfo>();
Gordon Henriksenfc328222007-09-27 22:18:46 +000098}
99
100static const char *DescKind(GC::PointKind Kind) {
101 switch (Kind) {
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700102 case GC::Loop:
103 return "loop";
104 case GC::Return:
105 return "return";
106 case GC::PreCall:
107 return "pre-call";
108 case GC::PostCall:
109 return "post-call";
Gordon Henriksenfc328222007-09-27 22:18:46 +0000110 }
Chandler Carruth732f05c2012-01-10 18:08:01 +0000111 llvm_unreachable("Invalid point kind");
Gordon Henriksenfc328222007-09-27 22:18:46 +0000112}
113
Gordon Henriksenad93c4f2007-12-11 00:30:17 +0000114bool Printer::runOnFunction(Function &F) {
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700115 if (F.hasGC())
116 return false;
117
Chris Lattneraba9bcb2010-03-14 07:27:07 +0000118 GCFunctionInfo *FD = &getAnalysis<GCModuleInfo>().getFunctionInfo(F);
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700119
Benjamin Kramera7b0cb72011-11-15 16:27:03 +0000120 OS << "GC roots for " << FD->getFunction().getName() << ":\n";
Chris Lattneraba9bcb2010-03-14 07:27:07 +0000121 for (GCFunctionInfo::roots_iterator RI = FD->roots_begin(),
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700122 RE = FD->roots_end();
123 RI != RE; ++RI)
Chris Lattneraba9bcb2010-03-14 07:27:07 +0000124 OS << "\t" << RI->Num << "\t" << RI->StackOffset << "[sp]\n";
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700125
Benjamin Kramera7b0cb72011-11-15 16:27:03 +0000126 OS << "GC safe points for " << FD->getFunction().getName() << ":\n";
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700127 for (GCFunctionInfo::iterator PI = FD->begin(), PE = FD->end(); PI != PE;
128 ++PI) {
129
130 OS << "\t" << PI->Label->getName() << ": " << DescKind(PI->Kind)
131 << ", live = {";
132
Chris Lattneraba9bcb2010-03-14 07:27:07 +0000133 for (GCFunctionInfo::live_iterator RI = FD->live_begin(PI),
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700134 RE = FD->live_end(PI);
135 ;) {
Chris Lattneraba9bcb2010-03-14 07:27:07 +0000136 OS << " " << RI->Num;
137 if (++RI == RE)
138 break;
139 OS << ",";
Gordon Henriksenfc328222007-09-27 22:18:46 +0000140 }
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700141
Chris Lattneraba9bcb2010-03-14 07:27:07 +0000142 OS << " }\n";
Gordon Henriksenfc328222007-09-27 22:18:46 +0000143 }
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700144
Gordon Henriksenfc328222007-09-27 22:18:46 +0000145 return false;
146}
147
Benjamin Kramer06333732013-02-19 16:51:44 +0000148bool Printer::doFinalization(Module &M) {
Duncan Sands1465d612009-01-28 13:14:17 +0000149 GCModuleInfo *GMI = getAnalysisIfAvailable<GCModuleInfo>();
Benjamin Kramer06333732013-02-19 16:51:44 +0000150 assert(GMI && "Printer didn't require GCModuleInfo?!");
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000151 GMI->clear();
Gordon Henriksenfc328222007-09-27 22:18:46 +0000152 return false;
153}
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700154
155
156GCStrategy *GCModuleInfo::getGCStrategy(const StringRef Name) {
157 // TODO: Arguably, just doing a linear search would be faster for small N
158 auto NMI = GCStrategyMap.find(Name);
159 if (NMI != GCStrategyMap.end())
160 return NMI->getValue();
161
162 for (auto& Entry : GCRegistry::entries()) {
163 if (Name == Entry.getName()) {
164 std::unique_ptr<GCStrategy> S = Entry.instantiate();
165 S->Name = Name;
166 GCStrategyMap[Name] = S.get();
167 GCStrategyList.push_back(std::move(S));
168 return GCStrategyList.back().get();
169 }
170 }
171
172 report_fatal_error(std::string("unsupported GC: ") + Name);
173}