blob: c3e4f3ee2fb1b4c719abe87f99d7f5c225d520a2 [file] [log] [blame]
Gordon Henriksend930f912008-08-17 18:44:35 +00001//===-- GCMetadata.cpp - Garbage collector metadata -----------------------===//
Gordon Henriksen613afce2007-09-27 22:18:46 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-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 Henriksen613afce2007-09-27 22:18:46 +00007//
8//===----------------------------------------------------------------------===//
9//
Gordon Henriksend930f912008-08-17 18:44:35 +000010// This file implements the GCFunctionInfo class and GCModuleInfo pass.
Gordon Henriksen613afce2007-09-27 22:18:46 +000011//
12//===----------------------------------------------------------------------===//
13
Gordon Henriksenbcef14d2008-08-17 12:56:54 +000014#include "llvm/CodeGen/GCMetadata.h"
15#include "llvm/CodeGen/GCStrategy.h"
Gordon Henriksen613afce2007-09-27 22:18:46 +000016#include "llvm/CodeGen/MachineFrameInfo.h"
Gordon Henriksen7843c162007-12-11 00:30:17 +000017#include "llvm/CodeGen/Passes.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000018#include "llvm/IR/Function.h"
Chris Lattner1065f492010-03-14 07:27:07 +000019#include "llvm/MC/MCSymbol.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000020#include "llvm/Pass.h"
David Greene821e67e2010-01-04 21:35:15 +000021#include "llvm/Support/Debug.h"
Torok Edwinccb29cd2009-07-11 13:10:19 +000022#include "llvm/Support/ErrorHandling.h"
Chris Lattner565449d2009-08-23 03:13:20 +000023#include "llvm/Support/raw_ostream.h"
Gordon Henriksen613afce2007-09-27 22:18:46 +000024using namespace llvm;
25
26namespace {
27
Nick Lewycky02d5f772009-10-25 06:33:48 +000028 class Printer : public FunctionPass {
Gordon Henriksen613afce2007-09-27 22:18:46 +000029 static char ID;
Chris Lattner565449d2009-08-23 03:13:20 +000030 raw_ostream &OS;
Gordon Henriksen613afce2007-09-27 22:18:46 +000031
32 public:
Owen Andersona7aed182010-08-06 18:33:48 +000033 explicit Printer(raw_ostream &OS) : FunctionPass(ID), OS(OS) {}
Chris Lattner565449d2009-08-23 03:13:20 +000034
Craig Topper4584cd52014-03-07 09:26:03 +000035
36 const char *getPassName() const override;
37 void getAnalysisUsage(AnalysisUsage &AU) const override;
38
39 bool runOnFunction(Function &F) override;
40 bool doFinalization(Module &M) override;
Gordon Henriksen613afce2007-09-27 22:18:46 +000041 };
Benjamin Kramerb3aa2b82013-02-19 16:51:44 +000042
Gordon Henriksen613afce2007-09-27 22:18:46 +000043}
44
Owen Andersona57b97e2010-07-21 22:09:45 +000045INITIALIZE_PASS(GCModuleInfo, "collector-metadata",
Owen Andersondf7a4f22010-10-07 22:25:06 +000046 "Create Garbage Collector Module Metadata", false, false)
Dan Gohmand78c4002008-05-13 00:00:25 +000047
Gordon Henriksen613afce2007-09-27 22:18:46 +000048// -----------------------------------------------------------------------------
49
Gordon Henriksend930f912008-08-17 18:44:35 +000050GCFunctionInfo::GCFunctionInfo(const Function &F, GCStrategy &S)
51 : F(F), S(S), FrameSize(~0LL) {}
Gordon Henriksen613afce2007-09-27 22:18:46 +000052
Gordon Henriksend930f912008-08-17 18:44:35 +000053GCFunctionInfo::~GCFunctionInfo() {}
Gordon Henriksen613afce2007-09-27 22:18:46 +000054
55// -----------------------------------------------------------------------------
56
Gordon Henriksend930f912008-08-17 18:44:35 +000057char GCModuleInfo::ID = 0;
Gordon Henriksen613afce2007-09-27 22:18:46 +000058
Gordon Henriksend930f912008-08-17 18:44:35 +000059GCModuleInfo::GCModuleInfo()
Owen Anderson6c18d1a2010-10-19 17:21:58 +000060 : ImmutablePass(ID) {
61 initializeGCModuleInfoPass(*PassRegistry::getPassRegistry());
62}
Gordon Henriksen613afce2007-09-27 22:18:46 +000063
Gordon Henriksend930f912008-08-17 18:44:35 +000064GCStrategy *GCModuleInfo::getOrCreateStrategy(const Module *M,
65 const std::string &Name) {
Daniel Dunbar5bf72e22009-07-23 18:17:34 +000066 strategy_map_type::iterator NMI = StrategyMap.find(Name);
Gordon Henriksend930f912008-08-17 18:44:35 +000067 if (NMI != StrategyMap.end())
Gordon Henriksen7843c162007-12-11 00:30:17 +000068 return NMI->getValue();
69
Gordon Henriksend930f912008-08-17 18:44:35 +000070 for (GCRegistry::iterator I = GCRegistry::begin(),
71 E = GCRegistry::end(); I != E; ++I) {
Daniel Dunbar5bf72e22009-07-23 18:17:34 +000072 if (Name == I->getName()) {
David Blaikieec528ee2014-04-15 05:53:26 +000073 std::unique_ptr<GCStrategy> S = I->instantiate();
Gordon Henriksend930f912008-08-17 18:44:35 +000074 S->M = M;
75 S->Name = Name;
David Blaikie88368ba2014-04-15 05:34:49 +000076 StrategyMap.GetOrCreateValue(Name).setValue(S.get());
77 StrategyList.push_back(std::move(S));
78 return StrategyList.back().get();
Gordon Henriksen7843c162007-12-11 00:30:17 +000079 }
80 }
Torok Edwinccb29cd2009-07-11 13:10:19 +000081
David Greene821e67e2010-01-04 21:35:15 +000082 dbgs() << "unsupported GC: " << Name << "\n";
Craig Topperc0196b12014-04-14 00:51:57 +000083 llvm_unreachable(nullptr);
Gordon Henriksen613afce2007-09-27 22:18:46 +000084}
85
Gordon Henriksend930f912008-08-17 18:44:35 +000086GCFunctionInfo &GCModuleInfo::getFunctionInfo(const Function &F) {
Gordon Henriksene431adb2008-08-17 16:18:50 +000087 assert(!F.isDeclaration() && "Can only get GCFunctionInfo for a definition!");
Gordon Henriksend930f912008-08-17 18:44:35 +000088 assert(F.hasGC());
Gordon Henriksene431adb2008-08-17 16:18:50 +000089
Gordon Henriksend930f912008-08-17 18:44:35 +000090 finfo_map_type::iterator I = FInfoMap.find(&F);
91 if (I != FInfoMap.end())
Gordon Henriksen7843c162007-12-11 00:30:17 +000092 return *I->second;
Gordon Henriksend930f912008-08-17 18:44:35 +000093
94 GCStrategy *S = getOrCreateStrategy(F.getParent(), F.getGC());
95 GCFunctionInfo *GFI = S->insertFunctionInfo(F);
96 FInfoMap[&F] = GFI;
97 return *GFI;
Gordon Henriksen613afce2007-09-27 22:18:46 +000098}
99
Gordon Henriksend930f912008-08-17 18:44:35 +0000100void GCModuleInfo::clear() {
101 FInfoMap.clear();
102 StrategyMap.clear();
Gordon Henriksend930f912008-08-17 18:44:35 +0000103 StrategyList.clear();
Gordon Henriksen613afce2007-09-27 22:18:46 +0000104}
105
106// -----------------------------------------------------------------------------
107
108char Printer::ID = 0;
109
Chris Lattner565449d2009-08-23 03:13:20 +0000110FunctionPass *llvm::createGCInfoPrinter(raw_ostream &OS) {
Gordon Henriksen613afce2007-09-27 22:18:46 +0000111 return new Printer(OS);
112}
113
Gordon Henriksen613afce2007-09-27 22:18:46 +0000114
115const char *Printer::getPassName() const {
116 return "Print Garbage Collector Information";
117}
118
119void Printer::getAnalysisUsage(AnalysisUsage &AU) const {
Gordon Henriksen7843c162007-12-11 00:30:17 +0000120 FunctionPass::getAnalysisUsage(AU);
Gordon Henriksen613afce2007-09-27 22:18:46 +0000121 AU.setPreservesAll();
Gordon Henriksend930f912008-08-17 18:44:35 +0000122 AU.addRequired<GCModuleInfo>();
Gordon Henriksen613afce2007-09-27 22:18:46 +0000123}
124
125static const char *DescKind(GC::PointKind Kind) {
126 switch (Kind) {
Gordon Henriksen613afce2007-09-27 22:18:46 +0000127 case GC::Loop: return "loop";
128 case GC::Return: return "return";
129 case GC::PreCall: return "pre-call";
130 case GC::PostCall: return "post-call";
131 }
Chandler Carruthf3e85022012-01-10 18:08:01 +0000132 llvm_unreachable("Invalid point kind");
Gordon Henriksen613afce2007-09-27 22:18:46 +0000133}
134
Gordon Henriksen7843c162007-12-11 00:30:17 +0000135bool Printer::runOnFunction(Function &F) {
Chris Lattner1065f492010-03-14 07:27:07 +0000136 if (F.hasGC()) return false;
137
138 GCFunctionInfo *FD = &getAnalysis<GCModuleInfo>().getFunctionInfo(F);
139
Benjamin Kramer1f97a5a2011-11-15 16:27:03 +0000140 OS << "GC roots for " << FD->getFunction().getName() << ":\n";
Chris Lattner1065f492010-03-14 07:27:07 +0000141 for (GCFunctionInfo::roots_iterator RI = FD->roots_begin(),
142 RE = FD->roots_end(); RI != RE; ++RI)
143 OS << "\t" << RI->Num << "\t" << RI->StackOffset << "[sp]\n";
144
Benjamin Kramer1f97a5a2011-11-15 16:27:03 +0000145 OS << "GC safe points for " << FD->getFunction().getName() << ":\n";
Chris Lattner1065f492010-03-14 07:27:07 +0000146 for (GCFunctionInfo::iterator PI = FD->begin(),
147 PE = FD->end(); PI != PE; ++PI) {
Gordon Henriksen613afce2007-09-27 22:18:46 +0000148
Chris Lattner1065f492010-03-14 07:27:07 +0000149 OS << "\t" << PI->Label->getName() << ": "
150 << DescKind(PI->Kind) << ", live = {";
Gordon Henriksen613afce2007-09-27 22:18:46 +0000151
Chris Lattner1065f492010-03-14 07:27:07 +0000152 for (GCFunctionInfo::live_iterator RI = FD->live_begin(PI),
153 RE = FD->live_end(PI);;) {
154 OS << " " << RI->Num;
155 if (++RI == RE)
156 break;
157 OS << ",";
Gordon Henriksen613afce2007-09-27 22:18:46 +0000158 }
Chris Lattner1065f492010-03-14 07:27:07 +0000159
160 OS << " }\n";
Gordon Henriksen613afce2007-09-27 22:18:46 +0000161 }
162
163 return false;
164}
165
Benjamin Kramerb3aa2b82013-02-19 16:51:44 +0000166bool Printer::doFinalization(Module &M) {
Duncan Sands5a913d62009-01-28 13:14:17 +0000167 GCModuleInfo *GMI = getAnalysisIfAvailable<GCModuleInfo>();
Benjamin Kramerb3aa2b82013-02-19 16:51:44 +0000168 assert(GMI && "Printer didn't require GCModuleInfo?!");
Gordon Henriksend930f912008-08-17 18:44:35 +0000169 GMI->clear();
Gordon Henriksen613afce2007-09-27 22:18:46 +0000170 return false;
171}