11df42facSEugene Zelenko //===- ModuleSymbolTable.cpp - symbol table for in-memory IR --------------===//
2863cbfbeSPeter Collingbourne //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6863cbfbeSPeter Collingbourne //
7863cbfbeSPeter Collingbourne //===----------------------------------------------------------------------===//
8863cbfbeSPeter Collingbourne //
9863cbfbeSPeter Collingbourne // This class represents a symbol table built from in-memory IR. It provides
10863cbfbeSPeter Collingbourne // access to GlobalValues and should only be used if such access is required
11863cbfbeSPeter Collingbourne // (e.g. in the LTO implementation).
12863cbfbeSPeter Collingbourne //
13863cbfbeSPeter Collingbourne //===----------------------------------------------------------------------===//
14863cbfbeSPeter Collingbourne
156bda14b3SChandler Carruth #include "llvm/Object/ModuleSymbolTable.h"
16863cbfbeSPeter Collingbourne #include "RecordStreamer.h"
17863cbfbeSPeter Collingbourne #include "llvm/ADT/STLExtras.h"
181df42facSEugene Zelenko #include "llvm/ADT/StringMap.h"
191df42facSEugene Zelenko #include "llvm/ADT/StringRef.h"
201df42facSEugene Zelenko #include "llvm/ADT/Triple.h"
211df42facSEugene Zelenko #include "llvm/IR/Function.h"
221df42facSEugene Zelenko #include "llvm/IR/GlobalAlias.h"
231df42facSEugene Zelenko #include "llvm/IR/GlobalValue.h"
241df42facSEugene Zelenko #include "llvm/IR/GlobalVariable.h"
25a8e582c8SHans Wennborg #include "llvm/IR/InlineAsm.h"
26863cbfbeSPeter Collingbourne #include "llvm/IR/Module.h"
27863cbfbeSPeter Collingbourne #include "llvm/MC/MCAsmInfo.h"
28863cbfbeSPeter Collingbourne #include "llvm/MC/MCContext.h"
29863cbfbeSPeter Collingbourne #include "llvm/MC/MCInstrInfo.h"
30863cbfbeSPeter Collingbourne #include "llvm/MC/MCObjectFileInfo.h"
31863cbfbeSPeter Collingbourne #include "llvm/MC/MCParser/MCAsmParser.h"
32863cbfbeSPeter Collingbourne #include "llvm/MC/MCParser/MCTargetAsmParser.h"
33863cbfbeSPeter Collingbourne #include "llvm/MC/MCRegisterInfo.h"
34863cbfbeSPeter Collingbourne #include "llvm/MC/MCSubtargetInfo.h"
351df42facSEugene Zelenko #include "llvm/MC/MCSymbol.h"
361df42facSEugene Zelenko #include "llvm/MC/MCTargetOptions.h"
3789b57061SReid Kleckner #include "llvm/MC/TargetRegistry.h"
381df42facSEugene Zelenko #include "llvm/Object/SymbolicFile.h"
391df42facSEugene Zelenko #include "llvm/Support/Casting.h"
401df42facSEugene Zelenko #include "llvm/Support/ErrorHandling.h"
41863cbfbeSPeter Collingbourne #include "llvm/Support/MemoryBuffer.h"
421df42facSEugene Zelenko #include "llvm/Support/SMLoc.h"
43863cbfbeSPeter Collingbourne #include "llvm/Support/SourceMgr.h"
446bda14b3SChandler Carruth #include "llvm/Support/raw_ostream.h"
451df42facSEugene Zelenko #include <algorithm>
461df42facSEugene Zelenko #include <cassert>
471df42facSEugene Zelenko #include <cstdint>
481df42facSEugene Zelenko #include <memory>
491df42facSEugene Zelenko #include <string>
501df42facSEugene Zelenko
51863cbfbeSPeter Collingbourne using namespace llvm;
52863cbfbeSPeter Collingbourne using namespace object;
53863cbfbeSPeter Collingbourne
addModule(Module * M)54863cbfbeSPeter Collingbourne void ModuleSymbolTable::addModule(Module *M) {
55863cbfbeSPeter Collingbourne if (FirstMod)
56863cbfbeSPeter Collingbourne assert(FirstMod->getTargetTriple() == M->getTargetTriple());
57863cbfbeSPeter Collingbourne else
58863cbfbeSPeter Collingbourne FirstMod = M;
59863cbfbeSPeter Collingbourne
60b26bc7fdSRafael Espindola for (GlobalValue &GV : M->global_values())
61863cbfbeSPeter Collingbourne SymTab.push_back(&GV);
62863cbfbeSPeter Collingbourne
63d8204472STeresa Johnson CollectAsmSymbols(*M, [this](StringRef Name, BasicSymbolRef::Flags Flags) {
64a9bc7b83SBenjamin Kramer SymTab.push_back(new (AsmSymbols.Allocate())
65a9bc7b83SBenjamin Kramer AsmSymbol(std::string(Name), Flags));
66863cbfbeSPeter Collingbourne });
67863cbfbeSPeter Collingbourne }
68863cbfbeSPeter Collingbourne
69230b2567SVlad Tsyrklevich static void
initializeRecordStreamer(const Module & M,function_ref<void (RecordStreamer &)> Init)70230b2567SVlad Tsyrklevich initializeRecordStreamer(const Module &M,
71230b2567SVlad Tsyrklevich function_ref<void(RecordStreamer &)> Init) {
72d8204472STeresa Johnson StringRef InlineAsm = M.getModuleInlineAsm();
73863cbfbeSPeter Collingbourne if (InlineAsm.empty())
74863cbfbeSPeter Collingbourne return;
75863cbfbeSPeter Collingbourne
76863cbfbeSPeter Collingbourne std::string Err;
77d8204472STeresa Johnson const Triple TT(M.getTargetTriple());
78863cbfbeSPeter Collingbourne const Target *T = TargetRegistry::lookupTarget(TT.str(), Err);
79863cbfbeSPeter Collingbourne assert(T && T->hasMCAsmParser());
80863cbfbeSPeter Collingbourne
81863cbfbeSPeter Collingbourne std::unique_ptr<MCRegisterInfo> MRI(T->createMCRegInfo(TT.str()));
82863cbfbeSPeter Collingbourne if (!MRI)
83863cbfbeSPeter Collingbourne return;
84863cbfbeSPeter Collingbourne
854b63ca13SMirko Brkusanin MCTargetOptions MCOptions;
864b63ca13SMirko Brkusanin std::unique_ptr<MCAsmInfo> MAI(T->createMCAsmInfo(*MRI, TT.str(), MCOptions));
87863cbfbeSPeter Collingbourne if (!MAI)
88863cbfbeSPeter Collingbourne return;
89863cbfbeSPeter Collingbourne
90863cbfbeSPeter Collingbourne std::unique_ptr<MCSubtargetInfo> STI(
91863cbfbeSPeter Collingbourne T->createMCSubtargetInfo(TT.str(), "", ""));
92863cbfbeSPeter Collingbourne if (!STI)
93863cbfbeSPeter Collingbourne return;
94863cbfbeSPeter Collingbourne
95863cbfbeSPeter Collingbourne std::unique_ptr<MCInstrInfo> MCII(T->createMCInstrInfo());
96863cbfbeSPeter Collingbourne if (!MCII)
97863cbfbeSPeter Collingbourne return;
98863cbfbeSPeter Collingbourne
991558bb80SYuanfang Chen std::unique_ptr<MemoryBuffer> Buffer(MemoryBuffer::getMemBuffer(InlineAsm));
1001558bb80SYuanfang Chen SourceMgr SrcMgr;
1011558bb80SYuanfang Chen SrcMgr.AddNewSourceBuffer(std::move(Buffer), SMLoc());
1021558bb80SYuanfang Chen
1031558bb80SYuanfang Chen MCContext MCCtx(TT, MAI.get(), MRI.get(), STI.get(), &SrcMgr);
104c2f819afSPhilipp Krones std::unique_ptr<MCObjectFileInfo> MOFI(
105c2f819afSPhilipp Krones T->createMCObjectFileInfo(MCCtx, /*PIC=*/false));
106c2f819afSPhilipp Krones MOFI->setSDKVersion(M.getSDKVersion());
107c2f819afSPhilipp Krones MCCtx.setObjectFileInfo(MOFI.get());
1080d03881eSVitaly Buka RecordStreamer Streamer(MCCtx, M);
109863cbfbeSPeter Collingbourne T->createNullTargetStreamer(Streamer);
110863cbfbeSPeter Collingbourne
111863cbfbeSPeter Collingbourne std::unique_ptr<MCAsmParser> Parser(
112863cbfbeSPeter Collingbourne createMCAsmParser(SrcMgr, MCCtx, Streamer, *MAI));
113863cbfbeSPeter Collingbourne
114863cbfbeSPeter Collingbourne std::unique_ptr<MCTargetAsmParser> TAP(
115863cbfbeSPeter Collingbourne T->createMCAsmParser(*STI, *Parser, *MCII, MCOptions));
116863cbfbeSPeter Collingbourne if (!TAP)
117863cbfbeSPeter Collingbourne return;
118863cbfbeSPeter Collingbourne
119a8e582c8SHans Wennborg // Module-level inline asm is assumed to use At&t syntax (see
120a8e582c8SHans Wennborg // AsmPrinter::doInitialization()).
121a8e582c8SHans Wennborg Parser->setAssemblerDialect(InlineAsm::AD_ATT);
122a8e582c8SHans Wennborg
123863cbfbeSPeter Collingbourne Parser->setTargetParser(*TAP);
124863cbfbeSPeter Collingbourne if (Parser->Run(false))
125863cbfbeSPeter Collingbourne return;
126863cbfbeSPeter Collingbourne
127230b2567SVlad Tsyrklevich Init(Streamer);
128230b2567SVlad Tsyrklevich }
129230b2567SVlad Tsyrklevich
CollectAsmSymbols(const Module & M,function_ref<void (StringRef,BasicSymbolRef::Flags)> AsmSymbol)130230b2567SVlad Tsyrklevich void ModuleSymbolTable::CollectAsmSymbols(
131230b2567SVlad Tsyrklevich const Module &M,
132230b2567SVlad Tsyrklevich function_ref<void(StringRef, BasicSymbolRef::Flags)> AsmSymbol) {
133230b2567SVlad Tsyrklevich initializeRecordStreamer(M, [&](RecordStreamer &Streamer) {
1340d03881eSVitaly Buka Streamer.flushSymverDirectives();
135d8204472STeresa Johnson
136863cbfbeSPeter Collingbourne for (auto &KV : Streamer) {
137863cbfbeSPeter Collingbourne StringRef Key = KV.first();
138863cbfbeSPeter Collingbourne RecordStreamer::State Value = KV.second;
139e2f1b4a6SPeter Collingbourne // FIXME: For now we just assume that all asm symbols are executable.
140e2f1b4a6SPeter Collingbourne uint32_t Res = BasicSymbolRef::SF_Executable;
141863cbfbeSPeter Collingbourne switch (Value) {
142863cbfbeSPeter Collingbourne case RecordStreamer::NeverSeen:
143863cbfbeSPeter Collingbourne llvm_unreachable("NeverSeen should have been replaced earlier");
144863cbfbeSPeter Collingbourne case RecordStreamer::DefinedGlobal:
145863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Global;
146863cbfbeSPeter Collingbourne break;
147863cbfbeSPeter Collingbourne case RecordStreamer::Defined:
148863cbfbeSPeter Collingbourne break;
149863cbfbeSPeter Collingbourne case RecordStreamer::Global:
150863cbfbeSPeter Collingbourne case RecordStreamer::Used:
151863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Undefined;
152863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Global;
153863cbfbeSPeter Collingbourne break;
154863cbfbeSPeter Collingbourne case RecordStreamer::DefinedWeak:
155863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Weak;
156863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Global;
157863cbfbeSPeter Collingbourne break;
158863cbfbeSPeter Collingbourne case RecordStreamer::UndefinedWeak:
159863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Weak;
160863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Undefined;
161863cbfbeSPeter Collingbourne }
162863cbfbeSPeter Collingbourne AsmSymbol(Key, BasicSymbolRef::Flags(Res));
163863cbfbeSPeter Collingbourne }
164230b2567SVlad Tsyrklevich });
165230b2567SVlad Tsyrklevich }
166230b2567SVlad Tsyrklevich
CollectAsmSymvers(const Module & M,function_ref<void (StringRef,StringRef)> AsmSymver)167230b2567SVlad Tsyrklevich void ModuleSymbolTable::CollectAsmSymvers(
168230b2567SVlad Tsyrklevich const Module &M, function_ref<void(StringRef, StringRef)> AsmSymver) {
169230b2567SVlad Tsyrklevich initializeRecordStreamer(M, [&](RecordStreamer &Streamer) {
170230b2567SVlad Tsyrklevich for (auto &KV : Streamer.symverAliases())
171230b2567SVlad Tsyrklevich for (auto &Alias : KV.second)
172230b2567SVlad Tsyrklevich AsmSymver(KV.first->getName(), Alias);
173230b2567SVlad Tsyrklevich });
174863cbfbeSPeter Collingbourne }
175863cbfbeSPeter Collingbourne
printSymbolName(raw_ostream & OS,Symbol S) const176863cbfbeSPeter Collingbourne void ModuleSymbolTable::printSymbolName(raw_ostream &OS, Symbol S) const {
177863cbfbeSPeter Collingbourne if (S.is<AsmSymbol *>()) {
178863cbfbeSPeter Collingbourne OS << S.get<AsmSymbol *>()->first;
179863cbfbeSPeter Collingbourne return;
180863cbfbeSPeter Collingbourne }
181863cbfbeSPeter Collingbourne
182863cbfbeSPeter Collingbourne auto *GV = S.get<GlobalValue *>();
183863cbfbeSPeter Collingbourne if (GV->hasDLLImportStorageClass())
184863cbfbeSPeter Collingbourne OS << "__imp_";
185863cbfbeSPeter Collingbourne
186863cbfbeSPeter Collingbourne Mang.getNameWithPrefix(OS, GV, false);
187863cbfbeSPeter Collingbourne }
188863cbfbeSPeter Collingbourne
getSymbolFlags(Symbol S) const189863cbfbeSPeter Collingbourne uint32_t ModuleSymbolTable::getSymbolFlags(Symbol S) const {
190863cbfbeSPeter Collingbourne if (S.is<AsmSymbol *>())
191863cbfbeSPeter Collingbourne return S.get<AsmSymbol *>()->second;
192863cbfbeSPeter Collingbourne
193863cbfbeSPeter Collingbourne auto *GV = S.get<GlobalValue *>();
194863cbfbeSPeter Collingbourne
195863cbfbeSPeter Collingbourne uint32_t Res = BasicSymbolRef::SF_None;
196863cbfbeSPeter Collingbourne if (GV->isDeclarationForLinker())
197863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Undefined;
198863cbfbeSPeter Collingbourne else if (GV->hasHiddenVisibility() && !GV->hasLocalLinkage())
199863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Hidden;
200863cbfbeSPeter Collingbourne if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) {
201863cbfbeSPeter Collingbourne if (GVar->isConstant())
202863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Const;
203863cbfbeSPeter Collingbourne }
204*08ed2160SItay Bookstein if (const GlobalObject *GO = GV->getAliaseeObject())
205*08ed2160SItay Bookstein if (isa<Function>(GO) || isa<GlobalIFunc>(GO))
206e2f1b4a6SPeter Collingbourne Res |= BasicSymbolRef::SF_Executable;
207d64ecf26SPeter Collingbourne if (isa<GlobalAlias>(GV))
208d64ecf26SPeter Collingbourne Res |= BasicSymbolRef::SF_Indirect;
209863cbfbeSPeter Collingbourne if (GV->hasPrivateLinkage())
210863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_FormatSpecific;
211863cbfbeSPeter Collingbourne if (!GV->hasLocalLinkage())
212863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Global;
213863cbfbeSPeter Collingbourne if (GV->hasCommonLinkage())
214863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Common;
215863cbfbeSPeter Collingbourne if (GV->hasLinkOnceLinkage() || GV->hasWeakLinkage() ||
216863cbfbeSPeter Collingbourne GV->hasExternalWeakLinkage())
217863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_Weak;
218863cbfbeSPeter Collingbourne
219863cbfbeSPeter Collingbourne if (GV->getName().startswith("llvm."))
220863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_FormatSpecific;
221863cbfbeSPeter Collingbourne else if (auto *Var = dyn_cast<GlobalVariable>(GV)) {
222863cbfbeSPeter Collingbourne if (Var->getSection() == "llvm.metadata")
223863cbfbeSPeter Collingbourne Res |= BasicSymbolRef::SF_FormatSpecific;
224863cbfbeSPeter Collingbourne }
225863cbfbeSPeter Collingbourne
226863cbfbeSPeter Collingbourne return Res;
227863cbfbeSPeter Collingbourne }
228