11df42facSEugene Zelenko //===- ModuleSymbolTable.cpp - symbol table for in-memory IR --------------===//
2863cbfbeSPeter Collingbourne //
3863cbfbeSPeter Collingbourne //                     The LLVM Compiler Infrastructure
4863cbfbeSPeter Collingbourne //
5863cbfbeSPeter Collingbourne // This file is distributed under the University of Illinois Open Source
6863cbfbeSPeter Collingbourne // License. See LICENSE.TXT for details.
7863cbfbeSPeter Collingbourne //
8863cbfbeSPeter Collingbourne //===----------------------------------------------------------------------===//
9863cbfbeSPeter Collingbourne //
10863cbfbeSPeter Collingbourne // This class represents a symbol table built from in-memory IR. It provides
11863cbfbeSPeter Collingbourne // access to GlobalValues and should only be used if such access is required
12863cbfbeSPeter Collingbourne // (e.g. in the LTO implementation).
13863cbfbeSPeter Collingbourne //
14863cbfbeSPeter Collingbourne //===----------------------------------------------------------------------===//
15863cbfbeSPeter Collingbourne 
166bda14b3SChandler Carruth #include "llvm/Object/ModuleSymbolTable.h"
17863cbfbeSPeter Collingbourne #include "RecordStreamer.h"
18863cbfbeSPeter Collingbourne #include "llvm/ADT/STLExtras.h"
196bda14b3SChandler Carruth #include "llvm/ADT/SmallString.h"
201df42facSEugene Zelenko #include "llvm/ADT/StringMap.h"
211df42facSEugene Zelenko #include "llvm/ADT/StringRef.h"
221df42facSEugene Zelenko #include "llvm/ADT/Triple.h"
231df42facSEugene Zelenko #include "llvm/IR/Function.h"
241df42facSEugene Zelenko #include "llvm/IR/GlobalAlias.h"
251df42facSEugene Zelenko #include "llvm/IR/GlobalValue.h"
261df42facSEugene Zelenko #include "llvm/IR/GlobalVariable.h"
27863cbfbeSPeter Collingbourne #include "llvm/IR/Module.h"
28863cbfbeSPeter Collingbourne #include "llvm/MC/MCAsmInfo.h"
29863cbfbeSPeter Collingbourne #include "llvm/MC/MCContext.h"
301df42facSEugene Zelenko #include "llvm/MC/MCDirectives.h"
31863cbfbeSPeter Collingbourne #include "llvm/MC/MCInstrInfo.h"
32863cbfbeSPeter Collingbourne #include "llvm/MC/MCObjectFileInfo.h"
33863cbfbeSPeter Collingbourne #include "llvm/MC/MCParser/MCAsmParser.h"
34863cbfbeSPeter Collingbourne #include "llvm/MC/MCParser/MCTargetAsmParser.h"
35863cbfbeSPeter Collingbourne #include "llvm/MC/MCRegisterInfo.h"
36863cbfbeSPeter Collingbourne #include "llvm/MC/MCSubtargetInfo.h"
371df42facSEugene Zelenko #include "llvm/MC/MCSymbol.h"
381df42facSEugene Zelenko #include "llvm/MC/MCTargetOptions.h"
391df42facSEugene Zelenko #include "llvm/Object/SymbolicFile.h"
401df42facSEugene Zelenko #include "llvm/Support/Casting.h"
411df42facSEugene Zelenko #include "llvm/Support/CodeGen.h"
421df42facSEugene Zelenko #include "llvm/Support/ErrorHandling.h"
43863cbfbeSPeter Collingbourne #include "llvm/Support/MemoryBuffer.h"
441df42facSEugene Zelenko #include "llvm/Support/SMLoc.h"
45863cbfbeSPeter Collingbourne #include "llvm/Support/SourceMgr.h"
46863cbfbeSPeter Collingbourne #include "llvm/Support/TargetRegistry.h"
476bda14b3SChandler Carruth #include "llvm/Support/raw_ostream.h"
481df42facSEugene Zelenko #include <algorithm>
491df42facSEugene Zelenko #include <cassert>
501df42facSEugene Zelenko #include <cstdint>
511df42facSEugene Zelenko #include <memory>
521df42facSEugene Zelenko #include <string>
531df42facSEugene Zelenko 
54863cbfbeSPeter Collingbourne using namespace llvm;
55863cbfbeSPeter Collingbourne using namespace object;
56863cbfbeSPeter Collingbourne 
57863cbfbeSPeter Collingbourne void ModuleSymbolTable::addModule(Module *M) {
58863cbfbeSPeter Collingbourne   if (FirstMod)
59863cbfbeSPeter Collingbourne     assert(FirstMod->getTargetTriple() == M->getTargetTriple());
60863cbfbeSPeter Collingbourne   else
61863cbfbeSPeter Collingbourne     FirstMod = M;
62863cbfbeSPeter Collingbourne 
63b26bc7fdSRafael Espindola   for (GlobalValue &GV : M->global_values())
64863cbfbeSPeter Collingbourne     SymTab.push_back(&GV);
65863cbfbeSPeter Collingbourne 
66d8204472STeresa Johnson   CollectAsmSymbols(*M, [this](StringRef Name, BasicSymbolRef::Flags Flags) {
67d8204472STeresa Johnson     SymTab.push_back(new (AsmSymbols.Allocate()) AsmSymbol(Name, Flags));
68863cbfbeSPeter Collingbourne   });
69863cbfbeSPeter Collingbourne }
70863cbfbeSPeter Collingbourne 
71230b2567SVlad Tsyrklevich static void
72230b2567SVlad Tsyrklevich initializeRecordStreamer(const Module &M,
73230b2567SVlad Tsyrklevich                          function_ref<void(RecordStreamer &)> Init) {
74d8204472STeresa Johnson   StringRef InlineAsm = M.getModuleInlineAsm();
75863cbfbeSPeter Collingbourne   if (InlineAsm.empty())
76863cbfbeSPeter Collingbourne     return;
77863cbfbeSPeter Collingbourne 
78863cbfbeSPeter Collingbourne   std::string Err;
79d8204472STeresa Johnson   const Triple TT(M.getTargetTriple());
80863cbfbeSPeter Collingbourne   const Target *T = TargetRegistry::lookupTarget(TT.str(), Err);
81863cbfbeSPeter Collingbourne   assert(T && T->hasMCAsmParser());
82863cbfbeSPeter Collingbourne 
83863cbfbeSPeter Collingbourne   std::unique_ptr<MCRegisterInfo> MRI(T->createMCRegInfo(TT.str()));
84863cbfbeSPeter Collingbourne   if (!MRI)
85863cbfbeSPeter Collingbourne     return;
86863cbfbeSPeter Collingbourne 
87863cbfbeSPeter Collingbourne   std::unique_ptr<MCAsmInfo> MAI(T->createMCAsmInfo(*MRI, TT.str()));
88863cbfbeSPeter Collingbourne   if (!MAI)
89863cbfbeSPeter Collingbourne     return;
90863cbfbeSPeter Collingbourne 
91863cbfbeSPeter Collingbourne   std::unique_ptr<MCSubtargetInfo> STI(
92863cbfbeSPeter Collingbourne       T->createMCSubtargetInfo(TT.str(), "", ""));
93863cbfbeSPeter Collingbourne   if (!STI)
94863cbfbeSPeter Collingbourne     return;
95863cbfbeSPeter Collingbourne 
96863cbfbeSPeter Collingbourne   std::unique_ptr<MCInstrInfo> MCII(T->createMCInstrInfo());
97863cbfbeSPeter Collingbourne   if (!MCII)
98863cbfbeSPeter Collingbourne     return;
99863cbfbeSPeter Collingbourne 
100863cbfbeSPeter Collingbourne   MCObjectFileInfo MOFI;
101863cbfbeSPeter Collingbourne   MCContext MCCtx(MAI.get(), MRI.get(), &MOFI);
1029f929957SRafael Espindola   MOFI.InitMCObjectFileInfo(TT, /*PIC*/ false, MCCtx);
103*afa75d78SAlex Lorenz   MOFI.setSDKVersion(M.getSDKVersion());
1040d03881eSVitaly Buka   RecordStreamer Streamer(MCCtx, M);
105863cbfbeSPeter Collingbourne   T->createNullTargetStreamer(Streamer);
106863cbfbeSPeter Collingbourne 
107863cbfbeSPeter Collingbourne   std::unique_ptr<MemoryBuffer> Buffer(MemoryBuffer::getMemBuffer(InlineAsm));
108863cbfbeSPeter Collingbourne   SourceMgr SrcMgr;
109863cbfbeSPeter Collingbourne   SrcMgr.AddNewSourceBuffer(std::move(Buffer), SMLoc());
110863cbfbeSPeter Collingbourne   std::unique_ptr<MCAsmParser> Parser(
111863cbfbeSPeter Collingbourne       createMCAsmParser(SrcMgr, MCCtx, Streamer, *MAI));
112863cbfbeSPeter Collingbourne 
113863cbfbeSPeter Collingbourne   MCTargetOptions MCOptions;
114863cbfbeSPeter Collingbourne   std::unique_ptr<MCTargetAsmParser> TAP(
115863cbfbeSPeter Collingbourne       T->createMCAsmParser(*STI, *Parser, *MCII, MCOptions));
116863cbfbeSPeter Collingbourne   if (!TAP)
117863cbfbeSPeter Collingbourne     return;
118863cbfbeSPeter Collingbourne 
119863cbfbeSPeter Collingbourne   Parser->setTargetParser(*TAP);
120863cbfbeSPeter Collingbourne   if (Parser->Run(false))
121863cbfbeSPeter Collingbourne     return;
122863cbfbeSPeter Collingbourne 
123230b2567SVlad Tsyrklevich   Init(Streamer);
124230b2567SVlad Tsyrklevich }
125230b2567SVlad Tsyrklevich 
126230b2567SVlad Tsyrklevich void ModuleSymbolTable::CollectAsmSymbols(
127230b2567SVlad Tsyrklevich     const Module &M,
128230b2567SVlad Tsyrklevich     function_ref<void(StringRef, BasicSymbolRef::Flags)> AsmSymbol) {
129230b2567SVlad Tsyrklevich   initializeRecordStreamer(M, [&](RecordStreamer &Streamer) {
1300d03881eSVitaly Buka     Streamer.flushSymverDirectives();
131d8204472STeresa Johnson 
132863cbfbeSPeter Collingbourne     for (auto &KV : Streamer) {
133863cbfbeSPeter Collingbourne       StringRef Key = KV.first();
134863cbfbeSPeter Collingbourne       RecordStreamer::State Value = KV.second;
135e2f1b4a6SPeter Collingbourne       // FIXME: For now we just assume that all asm symbols are executable.
136e2f1b4a6SPeter Collingbourne       uint32_t Res = BasicSymbolRef::SF_Executable;
137863cbfbeSPeter Collingbourne       switch (Value) {
138863cbfbeSPeter Collingbourne       case RecordStreamer::NeverSeen:
139863cbfbeSPeter Collingbourne         llvm_unreachable("NeverSeen should have been replaced earlier");
140863cbfbeSPeter Collingbourne       case RecordStreamer::DefinedGlobal:
141863cbfbeSPeter Collingbourne         Res |= BasicSymbolRef::SF_Global;
142863cbfbeSPeter Collingbourne         break;
143863cbfbeSPeter Collingbourne       case RecordStreamer::Defined:
144863cbfbeSPeter Collingbourne         break;
145863cbfbeSPeter Collingbourne       case RecordStreamer::Global:
146863cbfbeSPeter Collingbourne       case RecordStreamer::Used:
147863cbfbeSPeter Collingbourne         Res |= BasicSymbolRef::SF_Undefined;
148863cbfbeSPeter Collingbourne         Res |= BasicSymbolRef::SF_Global;
149863cbfbeSPeter Collingbourne         break;
150863cbfbeSPeter Collingbourne       case RecordStreamer::DefinedWeak:
151863cbfbeSPeter Collingbourne         Res |= BasicSymbolRef::SF_Weak;
152863cbfbeSPeter Collingbourne         Res |= BasicSymbolRef::SF_Global;
153863cbfbeSPeter Collingbourne         break;
154863cbfbeSPeter Collingbourne       case RecordStreamer::UndefinedWeak:
155863cbfbeSPeter Collingbourne         Res |= BasicSymbolRef::SF_Weak;
156863cbfbeSPeter Collingbourne         Res |= BasicSymbolRef::SF_Undefined;
157863cbfbeSPeter Collingbourne       }
158863cbfbeSPeter Collingbourne       AsmSymbol(Key, BasicSymbolRef::Flags(Res));
159863cbfbeSPeter Collingbourne     }
160230b2567SVlad Tsyrklevich   });
161230b2567SVlad Tsyrklevich }
162230b2567SVlad Tsyrklevich 
163230b2567SVlad Tsyrklevich void ModuleSymbolTable::CollectAsmSymvers(
164230b2567SVlad Tsyrklevich     const Module &M, function_ref<void(StringRef, StringRef)> AsmSymver) {
165230b2567SVlad Tsyrklevich   initializeRecordStreamer(M, [&](RecordStreamer &Streamer) {
166230b2567SVlad Tsyrklevich     for (auto &KV : Streamer.symverAliases())
167230b2567SVlad Tsyrklevich       for (auto &Alias : KV.second)
168230b2567SVlad Tsyrklevich         AsmSymver(KV.first->getName(), Alias);
169230b2567SVlad Tsyrklevich   });
170863cbfbeSPeter Collingbourne }
171863cbfbeSPeter Collingbourne 
172863cbfbeSPeter Collingbourne void ModuleSymbolTable::printSymbolName(raw_ostream &OS, Symbol S) const {
173863cbfbeSPeter Collingbourne   if (S.is<AsmSymbol *>()) {
174863cbfbeSPeter Collingbourne     OS << S.get<AsmSymbol *>()->first;
175863cbfbeSPeter Collingbourne     return;
176863cbfbeSPeter Collingbourne   }
177863cbfbeSPeter Collingbourne 
178863cbfbeSPeter Collingbourne   auto *GV = S.get<GlobalValue *>();
179863cbfbeSPeter Collingbourne   if (GV->hasDLLImportStorageClass())
180863cbfbeSPeter Collingbourne     OS << "__imp_";
181863cbfbeSPeter Collingbourne 
182863cbfbeSPeter Collingbourne   Mang.getNameWithPrefix(OS, GV, false);
183863cbfbeSPeter Collingbourne }
184863cbfbeSPeter Collingbourne 
185863cbfbeSPeter Collingbourne uint32_t ModuleSymbolTable::getSymbolFlags(Symbol S) const {
186863cbfbeSPeter Collingbourne   if (S.is<AsmSymbol *>())
187863cbfbeSPeter Collingbourne     return S.get<AsmSymbol *>()->second;
188863cbfbeSPeter Collingbourne 
189863cbfbeSPeter Collingbourne   auto *GV = S.get<GlobalValue *>();
190863cbfbeSPeter Collingbourne 
191863cbfbeSPeter Collingbourne   uint32_t Res = BasicSymbolRef::SF_None;
192863cbfbeSPeter Collingbourne   if (GV->isDeclarationForLinker())
193863cbfbeSPeter Collingbourne     Res |= BasicSymbolRef::SF_Undefined;
194863cbfbeSPeter Collingbourne   else if (GV->hasHiddenVisibility() && !GV->hasLocalLinkage())
195863cbfbeSPeter Collingbourne     Res |= BasicSymbolRef::SF_Hidden;
196863cbfbeSPeter Collingbourne   if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) {
197863cbfbeSPeter Collingbourne     if (GVar->isConstant())
198863cbfbeSPeter Collingbourne       Res |= BasicSymbolRef::SF_Const;
199863cbfbeSPeter Collingbourne   }
200e2f1b4a6SPeter Collingbourne   if (dyn_cast_or_null<Function>(GV->getBaseObject()))
201e2f1b4a6SPeter Collingbourne     Res |= BasicSymbolRef::SF_Executable;
202d64ecf26SPeter Collingbourne   if (isa<GlobalAlias>(GV))
203d64ecf26SPeter Collingbourne     Res |= BasicSymbolRef::SF_Indirect;
204863cbfbeSPeter Collingbourne   if (GV->hasPrivateLinkage())
205863cbfbeSPeter Collingbourne     Res |= BasicSymbolRef::SF_FormatSpecific;
206863cbfbeSPeter Collingbourne   if (!GV->hasLocalLinkage())
207863cbfbeSPeter Collingbourne     Res |= BasicSymbolRef::SF_Global;
208863cbfbeSPeter Collingbourne   if (GV->hasCommonLinkage())
209863cbfbeSPeter Collingbourne     Res |= BasicSymbolRef::SF_Common;
210863cbfbeSPeter Collingbourne   if (GV->hasLinkOnceLinkage() || GV->hasWeakLinkage() ||
211863cbfbeSPeter Collingbourne       GV->hasExternalWeakLinkage())
212863cbfbeSPeter Collingbourne     Res |= BasicSymbolRef::SF_Weak;
213863cbfbeSPeter Collingbourne 
214863cbfbeSPeter Collingbourne   if (GV->getName().startswith("llvm."))
215863cbfbeSPeter Collingbourne     Res |= BasicSymbolRef::SF_FormatSpecific;
216863cbfbeSPeter Collingbourne   else if (auto *Var = dyn_cast<GlobalVariable>(GV)) {
217863cbfbeSPeter Collingbourne     if (Var->getSection() == "llvm.metadata")
218863cbfbeSPeter Collingbourne       Res |= BasicSymbolRef::SF_FormatSpecific;
219863cbfbeSPeter Collingbourne   }
220863cbfbeSPeter Collingbourne 
221863cbfbeSPeter Collingbourne   return Res;
222863cbfbeSPeter Collingbourne }
223