xref: /openbsd-src/gnu/llvm/llvm/lib/Object/ModuleSymbolTable.cpp (revision 097a140d792de8b2bbe59ad827d39eabf9b4280a)
109467b48Spatrick //===- ModuleSymbolTable.cpp - symbol table for in-memory IR --------------===//
209467b48Spatrick //
309467b48Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
409467b48Spatrick // See https://llvm.org/LICENSE.txt for license information.
509467b48Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
609467b48Spatrick //
709467b48Spatrick //===----------------------------------------------------------------------===//
809467b48Spatrick //
909467b48Spatrick // This class represents a symbol table built from in-memory IR. It provides
1009467b48Spatrick // access to GlobalValues and should only be used if such access is required
1109467b48Spatrick // (e.g. in the LTO implementation).
1209467b48Spatrick //
1309467b48Spatrick //===----------------------------------------------------------------------===//
1409467b48Spatrick 
1509467b48Spatrick #include "llvm/Object/ModuleSymbolTable.h"
1609467b48Spatrick #include "RecordStreamer.h"
1709467b48Spatrick #include "llvm/ADT/STLExtras.h"
1809467b48Spatrick #include "llvm/ADT/SmallString.h"
1909467b48Spatrick #include "llvm/ADT/StringMap.h"
2009467b48Spatrick #include "llvm/ADT/StringRef.h"
2109467b48Spatrick #include "llvm/ADT/Triple.h"
2209467b48Spatrick #include "llvm/IR/Function.h"
2309467b48Spatrick #include "llvm/IR/GlobalAlias.h"
2409467b48Spatrick #include "llvm/IR/GlobalValue.h"
2509467b48Spatrick #include "llvm/IR/GlobalVariable.h"
26*097a140dSpatrick #include "llvm/IR/InlineAsm.h"
2709467b48Spatrick #include "llvm/IR/Module.h"
2809467b48Spatrick #include "llvm/MC/MCAsmInfo.h"
2909467b48Spatrick #include "llvm/MC/MCContext.h"
3009467b48Spatrick #include "llvm/MC/MCDirectives.h"
3109467b48Spatrick #include "llvm/MC/MCInstrInfo.h"
3209467b48Spatrick #include "llvm/MC/MCObjectFileInfo.h"
3309467b48Spatrick #include "llvm/MC/MCParser/MCAsmParser.h"
3409467b48Spatrick #include "llvm/MC/MCParser/MCTargetAsmParser.h"
3509467b48Spatrick #include "llvm/MC/MCRegisterInfo.h"
3609467b48Spatrick #include "llvm/MC/MCSubtargetInfo.h"
3709467b48Spatrick #include "llvm/MC/MCSymbol.h"
3809467b48Spatrick #include "llvm/MC/MCTargetOptions.h"
3909467b48Spatrick #include "llvm/Object/SymbolicFile.h"
4009467b48Spatrick #include "llvm/Support/Casting.h"
4109467b48Spatrick #include "llvm/Support/CodeGen.h"
4209467b48Spatrick #include "llvm/Support/ErrorHandling.h"
4309467b48Spatrick #include "llvm/Support/MemoryBuffer.h"
4409467b48Spatrick #include "llvm/Support/SMLoc.h"
4509467b48Spatrick #include "llvm/Support/SourceMgr.h"
4609467b48Spatrick #include "llvm/Support/TargetRegistry.h"
4709467b48Spatrick #include "llvm/Support/raw_ostream.h"
4809467b48Spatrick #include <algorithm>
4909467b48Spatrick #include <cassert>
5009467b48Spatrick #include <cstdint>
5109467b48Spatrick #include <memory>
5209467b48Spatrick #include <string>
5309467b48Spatrick 
5409467b48Spatrick using namespace llvm;
5509467b48Spatrick using namespace object;
5609467b48Spatrick 
5709467b48Spatrick void ModuleSymbolTable::addModule(Module *M) {
5809467b48Spatrick   if (FirstMod)
5909467b48Spatrick     assert(FirstMod->getTargetTriple() == M->getTargetTriple());
6009467b48Spatrick   else
6109467b48Spatrick     FirstMod = M;
6209467b48Spatrick 
6309467b48Spatrick   for (GlobalValue &GV : M->global_values())
6409467b48Spatrick     SymTab.push_back(&GV);
6509467b48Spatrick 
6609467b48Spatrick   CollectAsmSymbols(*M, [this](StringRef Name, BasicSymbolRef::Flags Flags) {
67*097a140dSpatrick     SymTab.push_back(new (AsmSymbols.Allocate())
68*097a140dSpatrick                          AsmSymbol(std::string(Name), Flags));
6909467b48Spatrick   });
7009467b48Spatrick }
7109467b48Spatrick 
7209467b48Spatrick static void
7309467b48Spatrick initializeRecordStreamer(const Module &M,
7409467b48Spatrick                          function_ref<void(RecordStreamer &)> Init) {
7509467b48Spatrick   StringRef InlineAsm = M.getModuleInlineAsm();
7609467b48Spatrick   if (InlineAsm.empty())
7709467b48Spatrick     return;
7809467b48Spatrick 
7909467b48Spatrick   std::string Err;
8009467b48Spatrick   const Triple TT(M.getTargetTriple());
8109467b48Spatrick   const Target *T = TargetRegistry::lookupTarget(TT.str(), Err);
8209467b48Spatrick   assert(T && T->hasMCAsmParser());
8309467b48Spatrick 
8409467b48Spatrick   std::unique_ptr<MCRegisterInfo> MRI(T->createMCRegInfo(TT.str()));
8509467b48Spatrick   if (!MRI)
8609467b48Spatrick     return;
8709467b48Spatrick 
8809467b48Spatrick   MCTargetOptions MCOptions;
8909467b48Spatrick   std::unique_ptr<MCAsmInfo> MAI(T->createMCAsmInfo(*MRI, TT.str(), MCOptions));
9009467b48Spatrick   if (!MAI)
9109467b48Spatrick     return;
9209467b48Spatrick 
9309467b48Spatrick   std::unique_ptr<MCSubtargetInfo> STI(
9409467b48Spatrick       T->createMCSubtargetInfo(TT.str(), "", ""));
9509467b48Spatrick   if (!STI)
9609467b48Spatrick     return;
9709467b48Spatrick 
9809467b48Spatrick   std::unique_ptr<MCInstrInfo> MCII(T->createMCInstrInfo());
9909467b48Spatrick   if (!MCII)
10009467b48Spatrick     return;
10109467b48Spatrick 
10209467b48Spatrick   MCObjectFileInfo MOFI;
10309467b48Spatrick   MCContext MCCtx(MAI.get(), MRI.get(), &MOFI);
10409467b48Spatrick   MOFI.InitMCObjectFileInfo(TT, /*PIC*/ false, MCCtx);
10509467b48Spatrick   MOFI.setSDKVersion(M.getSDKVersion());
10609467b48Spatrick   RecordStreamer Streamer(MCCtx, M);
10709467b48Spatrick   T->createNullTargetStreamer(Streamer);
10809467b48Spatrick 
10909467b48Spatrick   std::unique_ptr<MemoryBuffer> Buffer(MemoryBuffer::getMemBuffer(InlineAsm));
11009467b48Spatrick   SourceMgr SrcMgr;
11109467b48Spatrick   SrcMgr.AddNewSourceBuffer(std::move(Buffer), SMLoc());
11209467b48Spatrick   std::unique_ptr<MCAsmParser> Parser(
11309467b48Spatrick       createMCAsmParser(SrcMgr, MCCtx, Streamer, *MAI));
11409467b48Spatrick 
11509467b48Spatrick   std::unique_ptr<MCTargetAsmParser> TAP(
11609467b48Spatrick       T->createMCAsmParser(*STI, *Parser, *MCII, MCOptions));
11709467b48Spatrick   if (!TAP)
11809467b48Spatrick     return;
11909467b48Spatrick 
120*097a140dSpatrick   // Module-level inline asm is assumed to use At&t syntax (see
121*097a140dSpatrick   // AsmPrinter::doInitialization()).
122*097a140dSpatrick   Parser->setAssemblerDialect(InlineAsm::AD_ATT);
123*097a140dSpatrick 
12409467b48Spatrick   Parser->setTargetParser(*TAP);
12509467b48Spatrick   if (Parser->Run(false))
12609467b48Spatrick     return;
12709467b48Spatrick 
12809467b48Spatrick   Init(Streamer);
12909467b48Spatrick }
13009467b48Spatrick 
13109467b48Spatrick void ModuleSymbolTable::CollectAsmSymbols(
13209467b48Spatrick     const Module &M,
13309467b48Spatrick     function_ref<void(StringRef, BasicSymbolRef::Flags)> AsmSymbol) {
13409467b48Spatrick   initializeRecordStreamer(M, [&](RecordStreamer &Streamer) {
13509467b48Spatrick     Streamer.flushSymverDirectives();
13609467b48Spatrick 
13709467b48Spatrick     for (auto &KV : Streamer) {
13809467b48Spatrick       StringRef Key = KV.first();
13909467b48Spatrick       RecordStreamer::State Value = KV.second;
14009467b48Spatrick       // FIXME: For now we just assume that all asm symbols are executable.
14109467b48Spatrick       uint32_t Res = BasicSymbolRef::SF_Executable;
14209467b48Spatrick       switch (Value) {
14309467b48Spatrick       case RecordStreamer::NeverSeen:
14409467b48Spatrick         llvm_unreachable("NeverSeen should have been replaced earlier");
14509467b48Spatrick       case RecordStreamer::DefinedGlobal:
14609467b48Spatrick         Res |= BasicSymbolRef::SF_Global;
14709467b48Spatrick         break;
14809467b48Spatrick       case RecordStreamer::Defined:
14909467b48Spatrick         break;
15009467b48Spatrick       case RecordStreamer::Global:
15109467b48Spatrick       case RecordStreamer::Used:
15209467b48Spatrick         Res |= BasicSymbolRef::SF_Undefined;
15309467b48Spatrick         Res |= BasicSymbolRef::SF_Global;
15409467b48Spatrick         break;
15509467b48Spatrick       case RecordStreamer::DefinedWeak:
15609467b48Spatrick         Res |= BasicSymbolRef::SF_Weak;
15709467b48Spatrick         Res |= BasicSymbolRef::SF_Global;
15809467b48Spatrick         break;
15909467b48Spatrick       case RecordStreamer::UndefinedWeak:
16009467b48Spatrick         Res |= BasicSymbolRef::SF_Weak;
16109467b48Spatrick         Res |= BasicSymbolRef::SF_Undefined;
16209467b48Spatrick       }
16309467b48Spatrick       AsmSymbol(Key, BasicSymbolRef::Flags(Res));
16409467b48Spatrick     }
16509467b48Spatrick   });
16609467b48Spatrick }
16709467b48Spatrick 
16809467b48Spatrick void ModuleSymbolTable::CollectAsmSymvers(
16909467b48Spatrick     const Module &M, function_ref<void(StringRef, StringRef)> AsmSymver) {
17009467b48Spatrick   initializeRecordStreamer(M, [&](RecordStreamer &Streamer) {
17109467b48Spatrick     for (auto &KV : Streamer.symverAliases())
17209467b48Spatrick       for (auto &Alias : KV.second)
17309467b48Spatrick         AsmSymver(KV.first->getName(), Alias);
17409467b48Spatrick   });
17509467b48Spatrick }
17609467b48Spatrick 
17709467b48Spatrick void ModuleSymbolTable::printSymbolName(raw_ostream &OS, Symbol S) const {
17809467b48Spatrick   if (S.is<AsmSymbol *>()) {
17909467b48Spatrick     OS << S.get<AsmSymbol *>()->first;
18009467b48Spatrick     return;
18109467b48Spatrick   }
18209467b48Spatrick 
18309467b48Spatrick   auto *GV = S.get<GlobalValue *>();
18409467b48Spatrick   if (GV->hasDLLImportStorageClass())
18509467b48Spatrick     OS << "__imp_";
18609467b48Spatrick 
18709467b48Spatrick   Mang.getNameWithPrefix(OS, GV, false);
18809467b48Spatrick }
18909467b48Spatrick 
19009467b48Spatrick uint32_t ModuleSymbolTable::getSymbolFlags(Symbol S) const {
19109467b48Spatrick   if (S.is<AsmSymbol *>())
19209467b48Spatrick     return S.get<AsmSymbol *>()->second;
19309467b48Spatrick 
19409467b48Spatrick   auto *GV = S.get<GlobalValue *>();
19509467b48Spatrick 
19609467b48Spatrick   uint32_t Res = BasicSymbolRef::SF_None;
19709467b48Spatrick   if (GV->isDeclarationForLinker())
19809467b48Spatrick     Res |= BasicSymbolRef::SF_Undefined;
19909467b48Spatrick   else if (GV->hasHiddenVisibility() && !GV->hasLocalLinkage())
20009467b48Spatrick     Res |= BasicSymbolRef::SF_Hidden;
20109467b48Spatrick   if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) {
20209467b48Spatrick     if (GVar->isConstant())
20309467b48Spatrick       Res |= BasicSymbolRef::SF_Const;
20409467b48Spatrick   }
20509467b48Spatrick   if (dyn_cast_or_null<Function>(GV->getBaseObject()))
20609467b48Spatrick     Res |= BasicSymbolRef::SF_Executable;
20709467b48Spatrick   if (isa<GlobalAlias>(GV))
20809467b48Spatrick     Res |= BasicSymbolRef::SF_Indirect;
20909467b48Spatrick   if (GV->hasPrivateLinkage())
21009467b48Spatrick     Res |= BasicSymbolRef::SF_FormatSpecific;
21109467b48Spatrick   if (!GV->hasLocalLinkage())
21209467b48Spatrick     Res |= BasicSymbolRef::SF_Global;
21309467b48Spatrick   if (GV->hasCommonLinkage())
21409467b48Spatrick     Res |= BasicSymbolRef::SF_Common;
21509467b48Spatrick   if (GV->hasLinkOnceLinkage() || GV->hasWeakLinkage() ||
21609467b48Spatrick       GV->hasExternalWeakLinkage())
21709467b48Spatrick     Res |= BasicSymbolRef::SF_Weak;
21809467b48Spatrick 
21909467b48Spatrick   if (GV->getName().startswith("llvm."))
22009467b48Spatrick     Res |= BasicSymbolRef::SF_FormatSpecific;
22109467b48Spatrick   else if (auto *Var = dyn_cast<GlobalVariable>(GV)) {
22209467b48Spatrick     if (Var->getSection() == "llvm.metadata")
22309467b48Spatrick       Res |= BasicSymbolRef::SF_FormatSpecific;
22409467b48Spatrick   }
22509467b48Spatrick 
22609467b48Spatrick   return Res;
22709467b48Spatrick }
228