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) {}
36 const char *getPassName() const;
37 void getAnalysisUsage(AnalysisUsage &AU) const;
39 bool runOnFunction(Function &F);
40 bool doFinalization(Module &M);
45 INITIALIZE_PASS(GCModuleInfo, "collector-metadata",
46 "Create Garbage Collector Module Metadata", false, false)
48 // -----------------------------------------------------------------------------
50 GCFunctionInfo::GCFunctionInfo(const Function &F, GCStrategy &S)
51 : F(F), S(S), FrameSize(~0LL) {}
53 GCFunctionInfo::~GCFunctionInfo() {}
55 // -----------------------------------------------------------------------------
57 char GCModuleInfo::ID = 0;
59 GCModuleInfo::GCModuleInfo()
61 initializeGCModuleInfoPass(*PassRegistry::getPassRegistry());
64 GCModuleInfo::~GCModuleInfo() {
68 GCStrategy *GCModuleInfo::getOrCreateStrategy(const Module *M,
69 const std::string &Name) {
70 strategy_map_type::iterator NMI = StrategyMap.find(Name);
71 if (NMI != StrategyMap.end())
72 return NMI->getValue();
74 for (GCRegistry::iterator I = GCRegistry::begin(),
75 E = GCRegistry::end(); I != E; ++I) {
76 if (Name == I->getName()) {
77 GCStrategy *S = I->instantiate();
80 StrategyMap.GetOrCreateValue(Name).setValue(S);
81 StrategyList.push_back(S);
86 dbgs() << "unsupported GC: " << Name << "\n";
90 GCFunctionInfo &GCModuleInfo::getFunctionInfo(const Function &F) {
91 assert(!F.isDeclaration() && "Can only get GCFunctionInfo for a definition!");
94 finfo_map_type::iterator I = FInfoMap.find(&F);
95 if (I != FInfoMap.end())
98 GCStrategy *S = getOrCreateStrategy(F.getParent(), F.getGC());
99 GCFunctionInfo *GFI = S->insertFunctionInfo(F);
104 void GCModuleInfo::clear() {
108 for (iterator I = begin(), E = end(); I != E; ++I)
110 StrategyList.clear();
113 // -----------------------------------------------------------------------------
115 char Printer::ID = 0;
117 FunctionPass *llvm::createGCInfoPrinter(raw_ostream &OS) {
118 return new Printer(OS);
122 const char *Printer::getPassName() const {
123 return "Print Garbage Collector Information";
126 void Printer::getAnalysisUsage(AnalysisUsage &AU) const {
127 FunctionPass::getAnalysisUsage(AU);
128 AU.setPreservesAll();
129 AU.addRequired<GCModuleInfo>();
132 static const char *DescKind(GC::PointKind Kind) {
134 case GC::Loop: return "loop";
135 case GC::Return: return "return";
136 case GC::PreCall: return "pre-call";
137 case GC::PostCall: return "post-call";
139 llvm_unreachable("Invalid point kind");
142 bool Printer::runOnFunction(Function &F) {
143 if (F.hasGC()) return false;
145 GCFunctionInfo *FD = &getAnalysis<GCModuleInfo>().getFunctionInfo(F);
147 OS << "GC roots for " << FD->getFunction().getName() << ":\n";
148 for (GCFunctionInfo::roots_iterator RI = FD->roots_begin(),
149 RE = FD->roots_end(); RI != RE; ++RI)
150 OS << "\t" << RI->Num << "\t" << RI->StackOffset << "[sp]\n";
152 OS << "GC safe points for " << FD->getFunction().getName() << ":\n";
153 for (GCFunctionInfo::iterator PI = FD->begin(),
154 PE = FD->end(); PI != PE; ++PI) {
156 OS << "\t" << PI->Label->getName() << ": "
157 << DescKind(PI->Kind) << ", live = {";
159 for (GCFunctionInfo::live_iterator RI = FD->live_begin(PI),
160 RE = FD->live_end(PI);;) {
161 OS << " " << RI->Num;
173 bool Printer::doFinalization(Module &M) {
174 GCModuleInfo *GMI = getAnalysisIfAvailable<GCModuleInfo>();
175 assert(GMI && "Printer didn't require GCModuleInfo?!");