1 //===-- GCMetadata.cpp - Garbage collector metadata -----------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file implements the GCFunctionInfo class and GCModuleInfo pass.
12 //===----------------------------------------------------------------------===//
14 #include "llvm/CodeGen/GCMetadata.h"
15 #include "llvm/CodeGen/GCStrategy.h"
16 #include "llvm/CodeGen/MachineFrameInfo.h"
17 #include "llvm/CodeGen/Passes.h"
18 #include "llvm/IR/Function.h"
19 #include "llvm/MC/MCSymbol.h"
20 #include "llvm/Pass.h"
21 #include "llvm/Support/Debug.h"
22 #include "llvm/Support/ErrorHandling.h"
23 #include "llvm/Support/raw_ostream.h"
28 class Printer : public FunctionPass {
33 explicit Printer(raw_ostream &OS) : FunctionPass(ID), OS(OS) {}
35 const char *getPassName() const override;
36 void getAnalysisUsage(AnalysisUsage &AU) const override;
38 bool runOnFunction(Function &F) override;
39 bool doFinalization(Module &M) override;
43 INITIALIZE_PASS(GCModuleInfo, "collector-metadata",
44 "Create Garbage Collector Module Metadata", false, false)
46 // -----------------------------------------------------------------------------
48 GCFunctionInfo::GCFunctionInfo(const Function &F, GCStrategy &S)
49 : F(F), S(S), FrameSize(~0LL) {}
51 GCFunctionInfo::~GCFunctionInfo() {}
53 // -----------------------------------------------------------------------------
55 char GCModuleInfo::ID = 0;
57 GCModuleInfo::GCModuleInfo() : ImmutablePass(ID) {
58 initializeGCModuleInfoPass(*PassRegistry::getPassRegistry());
61 GCFunctionInfo &GCModuleInfo::getFunctionInfo(const Function &F) {
62 assert(!F.isDeclaration() && "Can only get GCFunctionInfo for a definition!");
65 finfo_map_type::iterator I = FInfoMap.find(&F);
66 if (I != FInfoMap.end())
69 GCStrategy *S = getGCStrategy(F.getGC());
70 Functions.push_back(make_unique<GCFunctionInfo>(F, *S));
71 GCFunctionInfo *GFI = Functions.back().get();
76 void GCModuleInfo::clear() {
79 GCStrategyList.clear();
82 // -----------------------------------------------------------------------------
86 FunctionPass *llvm::createGCInfoPrinter(raw_ostream &OS) {
87 return new Printer(OS);
90 const char *Printer::getPassName() const {
91 return "Print Garbage Collector Information";
94 void Printer::getAnalysisUsage(AnalysisUsage &AU) const {
95 FunctionPass::getAnalysisUsage(AU);
97 AU.addRequired<GCModuleInfo>();
100 static const char *DescKind(GC::PointKind Kind) {
107 llvm_unreachable("Invalid point kind");
110 bool Printer::runOnFunction(Function &F) {
114 GCFunctionInfo *FD = &getAnalysis<GCModuleInfo>().getFunctionInfo(F);
116 OS << "GC roots for " << FD->getFunction().getName() << ":\n";
117 for (GCFunctionInfo::roots_iterator RI = FD->roots_begin(),
118 RE = FD->roots_end();
120 OS << "\t" << RI->Num << "\t" << RI->StackOffset << "[sp]\n";
122 OS << "GC safe points for " << FD->getFunction().getName() << ":\n";
123 for (GCFunctionInfo::iterator PI = FD->begin(), PE = FD->end(); PI != PE;
126 OS << "\t" << PI->Label->getName() << ": " << DescKind(PI->Kind)
129 for (GCFunctionInfo::live_iterator RI = FD->live_begin(PI),
130 RE = FD->live_end(PI);
132 OS << " " << RI->Num;
144 bool Printer::doFinalization(Module &M) {
145 GCModuleInfo *GMI = getAnalysisIfAvailable<GCModuleInfo>();
146 assert(GMI && "Printer didn't require GCModuleInfo?!");
151 GCStrategy *GCModuleInfo::getGCStrategy(const StringRef Name) {
152 // TODO: Arguably, just doing a linear search would be faster for small N
153 auto NMI = GCStrategyMap.find(Name);
154 if (NMI != GCStrategyMap.end())
155 return NMI->getValue();
157 for (auto& Entry : GCRegistry::entries()) {
158 if (Name == Entry.getName()) {
159 std::unique_ptr<GCStrategy> S = Entry.instantiate();
161 GCStrategyMap[Name] = S.get();
162 GCStrategyList.push_back(std::move(S));
163 return GCStrategyList.back().get();
167 if (GCRegistry::begin() == GCRegistry::end()) {
168 // In normal operation, the registry should not be empty. There should
169 // be the builtin GCs if nothing else. The most likely scenario here is
170 // that we got here without running the initializers used by the Registry
171 // itself and it's registration mechanism.
172 const std::string error = ("unsupported GC: " + Name).str() +
173 " (did you remember to link and initialize the CodeGen library?)";
174 report_fatal_error(error);
176 report_fatal_error(std::string("unsupported GC: ") + Name);