1f22ef01cSRoman Divacky //===-- GCMetadata.cpp - Garbage collector metadata -----------------------===//
2f22ef01cSRoman Divacky //
3f22ef01cSRoman Divacky //                     The LLVM Compiler Infrastructure
4f22ef01cSRoman Divacky //
5f22ef01cSRoman Divacky // This file is distributed under the University of Illinois Open Source
6f22ef01cSRoman Divacky // License. See LICENSE.TXT for details.
7f22ef01cSRoman Divacky //
8f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
9f22ef01cSRoman Divacky //
10f22ef01cSRoman Divacky // This file implements the GCFunctionInfo class and GCModuleInfo pass.
11f22ef01cSRoman Divacky //
12f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
13f22ef01cSRoman Divacky 
14db17bf38SDimitry Andric #include "llvm/ADT/STLExtras.h"
15f22ef01cSRoman Divacky #include "llvm/CodeGen/GCMetadata.h"
16f22ef01cSRoman Divacky #include "llvm/CodeGen/GCStrategy.h"
17f22ef01cSRoman Divacky #include "llvm/CodeGen/Passes.h"
18139f7f9bSDimitry Andric #include "llvm/IR/Function.h"
19f22ef01cSRoman Divacky #include "llvm/MC/MCSymbol.h"
20139f7f9bSDimitry Andric #include "llvm/Pass.h"
21f22ef01cSRoman Divacky #include "llvm/Support/ErrorHandling.h"
22f22ef01cSRoman Divacky #include "llvm/Support/raw_ostream.h"
23db17bf38SDimitry Andric #include <algorithm>
24db17bf38SDimitry Andric #include <cassert>
25db17bf38SDimitry Andric #include <memory>
26db17bf38SDimitry Andric #include <string>
27db17bf38SDimitry Andric 
28f22ef01cSRoman Divacky using namespace llvm;
29f22ef01cSRoman Divacky 
30f22ef01cSRoman Divacky namespace {
31f22ef01cSRoman Divacky 
32f22ef01cSRoman Divacky class Printer : public FunctionPass {
33f22ef01cSRoman Divacky   static char ID;
34db17bf38SDimitry Andric 
35f22ef01cSRoman Divacky   raw_ostream &OS;
36f22ef01cSRoman Divacky 
37f22ef01cSRoman Divacky public:
Printer(raw_ostream & OS)38e580952dSDimitry Andric   explicit Printer(raw_ostream &OS) : FunctionPass(ID), OS(OS) {}
39f22ef01cSRoman Divacky 
40d88c1a5aSDimitry Andric   StringRef getPassName() const override;
4191bc56edSDimitry Andric   void getAnalysisUsage(AnalysisUsage &AU) const override;
42f22ef01cSRoman Divacky 
4391bc56edSDimitry Andric   bool runOnFunction(Function &F) override;
4491bc56edSDimitry Andric   bool doFinalization(Module &M) override;
45f22ef01cSRoman Divacky };
46db17bf38SDimitry Andric 
47db17bf38SDimitry Andric } // end anonymous namespace
48f22ef01cSRoman Divacky 
49e580952dSDimitry Andric INITIALIZE_PASS(GCModuleInfo, "collector-metadata",
502754fe60SDimitry Andric                 "Create Garbage Collector Module Metadata", false, false)
51f22ef01cSRoman Divacky 
52f22ef01cSRoman Divacky // -----------------------------------------------------------------------------
53f22ef01cSRoman Divacky 
GCFunctionInfo(const Function & F,GCStrategy & S)54f22ef01cSRoman Divacky GCFunctionInfo::GCFunctionInfo(const Function &F, GCStrategy &S)
55f22ef01cSRoman Divacky     : F(F), S(S), FrameSize(~0LL) {}
56f22ef01cSRoman Divacky 
57db17bf38SDimitry Andric GCFunctionInfo::~GCFunctionInfo() = default;
58f22ef01cSRoman Divacky 
59f22ef01cSRoman Divacky // -----------------------------------------------------------------------------
60f22ef01cSRoman Divacky 
61f22ef01cSRoman Divacky char GCModuleInfo::ID = 0;
62f22ef01cSRoman Divacky 
GCModuleInfo()63ff0cc061SDimitry Andric GCModuleInfo::GCModuleInfo() : ImmutablePass(ID) {
642754fe60SDimitry Andric   initializeGCModuleInfoPass(*PassRegistry::getPassRegistry());
652754fe60SDimitry Andric }
66f22ef01cSRoman Divacky 
getFunctionInfo(const Function & F)67f22ef01cSRoman Divacky GCFunctionInfo &GCModuleInfo::getFunctionInfo(const Function &F) {
68f22ef01cSRoman Divacky   assert(!F.isDeclaration() && "Can only get GCFunctionInfo for a definition!");
69f22ef01cSRoman Divacky   assert(F.hasGC());
70f22ef01cSRoman Divacky 
71f22ef01cSRoman Divacky   finfo_map_type::iterator I = FInfoMap.find(&F);
72f22ef01cSRoman Divacky   if (I != FInfoMap.end())
73f22ef01cSRoman Divacky     return *I->second;
74f22ef01cSRoman Divacky 
75ff0cc061SDimitry Andric   GCStrategy *S = getGCStrategy(F.getGC());
76db17bf38SDimitry Andric   Functions.push_back(llvm::make_unique<GCFunctionInfo>(F, *S));
7739d628a0SDimitry Andric   GCFunctionInfo *GFI = Functions.back().get();
78f22ef01cSRoman Divacky   FInfoMap[&F] = GFI;
79f22ef01cSRoman Divacky   return *GFI;
80f22ef01cSRoman Divacky }
81f22ef01cSRoman Divacky 
clear()82f22ef01cSRoman Divacky void GCModuleInfo::clear() {
8339d628a0SDimitry Andric   Functions.clear();
84f22ef01cSRoman Divacky   FInfoMap.clear();
85ff0cc061SDimitry Andric   GCStrategyList.clear();
86f22ef01cSRoman Divacky }
87f22ef01cSRoman Divacky 
88f22ef01cSRoman Divacky // -----------------------------------------------------------------------------
89f22ef01cSRoman Divacky 
90f22ef01cSRoman Divacky char Printer::ID = 0;
91f22ef01cSRoman Divacky 
createGCInfoPrinter(raw_ostream & OS)92f22ef01cSRoman Divacky FunctionPass *llvm::createGCInfoPrinter(raw_ostream &OS) {
93f22ef01cSRoman Divacky   return new Printer(OS);
94f22ef01cSRoman Divacky }
95f22ef01cSRoman Divacky 
getPassName() const96d88c1a5aSDimitry Andric StringRef Printer::getPassName() const {
97f22ef01cSRoman Divacky   return "Print Garbage Collector Information";
98f22ef01cSRoman Divacky }
99f22ef01cSRoman Divacky 
getAnalysisUsage(AnalysisUsage & AU) const100f22ef01cSRoman Divacky void Printer::getAnalysisUsage(AnalysisUsage &AU) const {
101f22ef01cSRoman Divacky   FunctionPass::getAnalysisUsage(AU);
102f22ef01cSRoman Divacky   AU.setPreservesAll();
103f22ef01cSRoman Divacky   AU.addRequired<GCModuleInfo>();
104f22ef01cSRoman Divacky }
105f22ef01cSRoman Divacky 
runOnFunction(Function & F)106f22ef01cSRoman Divacky bool Printer::runOnFunction(Function &F) {
107ff0cc061SDimitry Andric   if (F.hasGC())
108ff0cc061SDimitry Andric     return false;
109f22ef01cSRoman Divacky 
110f22ef01cSRoman Divacky   GCFunctionInfo *FD = &getAnalysis<GCModuleInfo>().getFunctionInfo(F);
111f22ef01cSRoman Divacky 
112dff0c46cSDimitry Andric   OS << "GC roots for " << FD->getFunction().getName() << ":\n";
113f22ef01cSRoman Divacky   for (GCFunctionInfo::roots_iterator RI = FD->roots_begin(),
114ff0cc061SDimitry Andric                                       RE = FD->roots_end();
115ff0cc061SDimitry Andric        RI != RE; ++RI)
116f22ef01cSRoman Divacky     OS << "\t" << RI->Num << "\t" << RI->StackOffset << "[sp]\n";
117f22ef01cSRoman Divacky 
118dff0c46cSDimitry Andric   OS << "GC safe points for " << FD->getFunction().getName() << ":\n";
119ff0cc061SDimitry Andric   for (GCFunctionInfo::iterator PI = FD->begin(), PE = FD->end(); PI != PE;
120ff0cc061SDimitry Andric        ++PI) {
121f22ef01cSRoman Divacky 
122*b5893f02SDimitry Andric     OS << "\t" << PI->Label->getName() << ": " << "post-call"
123ff0cc061SDimitry Andric        << ", live = {";
124f22ef01cSRoman Divacky 
125f22ef01cSRoman Divacky     for (GCFunctionInfo::live_iterator RI = FD->live_begin(PI),
126ff0cc061SDimitry Andric                                        RE = FD->live_end(PI);
127ff0cc061SDimitry Andric          ;) {
128f22ef01cSRoman Divacky       OS << " " << RI->Num;
129f22ef01cSRoman Divacky       if (++RI == RE)
130f22ef01cSRoman Divacky         break;
131f22ef01cSRoman Divacky       OS << ",";
132f22ef01cSRoman Divacky     }
133f22ef01cSRoman Divacky 
134f22ef01cSRoman Divacky     OS << " }\n";
135f22ef01cSRoman Divacky   }
136f22ef01cSRoman Divacky 
137f22ef01cSRoman Divacky   return false;
138f22ef01cSRoman Divacky }
139f22ef01cSRoman Divacky 
doFinalization(Module & M)140139f7f9bSDimitry Andric bool Printer::doFinalization(Module &M) {
141f22ef01cSRoman Divacky   GCModuleInfo *GMI = getAnalysisIfAvailable<GCModuleInfo>();
142139f7f9bSDimitry Andric   assert(GMI && "Printer didn't require GCModuleInfo?!");
143f22ef01cSRoman Divacky   GMI->clear();
144f22ef01cSRoman Divacky   return false;
145f22ef01cSRoman Divacky }
146ff0cc061SDimitry Andric 
getGCStrategy(const StringRef Name)147ff0cc061SDimitry Andric GCStrategy *GCModuleInfo::getGCStrategy(const StringRef Name) {
148ff0cc061SDimitry Andric   // TODO: Arguably, just doing a linear search would be faster for small N
149ff0cc061SDimitry Andric   auto NMI = GCStrategyMap.find(Name);
150ff0cc061SDimitry Andric   if (NMI != GCStrategyMap.end())
151ff0cc061SDimitry Andric     return NMI->getValue();
152ff0cc061SDimitry Andric 
153ff0cc061SDimitry Andric   for (auto& Entry : GCRegistry::entries()) {
154ff0cc061SDimitry Andric     if (Name == Entry.getName()) {
155ff0cc061SDimitry Andric       std::unique_ptr<GCStrategy> S = Entry.instantiate();
156ff0cc061SDimitry Andric       S->Name = Name;
157ff0cc061SDimitry Andric       GCStrategyMap[Name] = S.get();
158ff0cc061SDimitry Andric       GCStrategyList.push_back(std::move(S));
159ff0cc061SDimitry Andric       return GCStrategyList.back().get();
160ff0cc061SDimitry Andric     }
161ff0cc061SDimitry Andric   }
162ff0cc061SDimitry Andric 
163ff0cc061SDimitry Andric   if (GCRegistry::begin() == GCRegistry::end()) {
164ff0cc061SDimitry Andric     // In normal operation, the registry should not be empty.  There should
165ff0cc061SDimitry Andric     // be the builtin GCs if nothing else.  The most likely scenario here is
166ff0cc061SDimitry Andric     // that we got here without running the initializers used by the Registry
167ff0cc061SDimitry Andric     // itself and it's registration mechanism.
168ff0cc061SDimitry Andric     const std::string error = ("unsupported GC: " + Name).str() +
169ff0cc061SDimitry Andric       " (did you remember to link and initialize the CodeGen library?)";
170ff0cc061SDimitry Andric     report_fatal_error(error);
171ff0cc061SDimitry Andric   } else
172ff0cc061SDimitry Andric     report_fatal_error(std::string("unsupported GC: ") + Name);
173ff0cc061SDimitry Andric }
174