Path: blob/main/contrib/llvm-project/llvm/lib/Object/ModuleSymbolTable.cpp
35232 views
//===- ModuleSymbolTable.cpp - symbol table for in-memory IR --------------===//1//2// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.3// See https://llvm.org/LICENSE.txt for license information.4// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception5//6//===----------------------------------------------------------------------===//7//8// This class represents a symbol table built from in-memory IR. It provides9// access to GlobalValues and should only be used if such access is required10// (e.g. in the LTO implementation).11//12//===----------------------------------------------------------------------===//1314#include "llvm/Object/ModuleSymbolTable.h"15#include "RecordStreamer.h"16#include "llvm/ADT/STLExtras.h"17#include "llvm/ADT/StringRef.h"18#include "llvm/IR/DiagnosticInfo.h"19#include "llvm/IR/Function.h"20#include "llvm/IR/GlobalAlias.h"21#include "llvm/IR/GlobalValue.h"22#include "llvm/IR/GlobalVariable.h"23#include "llvm/IR/InlineAsm.h"24#include "llvm/IR/Module.h"25#include "llvm/MC/MCAsmInfo.h"26#include "llvm/MC/MCContext.h"27#include "llvm/MC/MCInstrInfo.h"28#include "llvm/MC/MCObjectFileInfo.h"29#include "llvm/MC/MCParser/MCAsmParser.h"30#include "llvm/MC/MCParser/MCTargetAsmParser.h"31#include "llvm/MC/MCRegisterInfo.h"32#include "llvm/MC/MCSubtargetInfo.h"33#include "llvm/MC/MCSymbol.h"34#include "llvm/MC/MCTargetOptions.h"35#include "llvm/MC/TargetRegistry.h"36#include "llvm/Object/SymbolicFile.h"37#include "llvm/Support/Casting.h"38#include "llvm/Support/ErrorHandling.h"39#include "llvm/Support/MemoryBuffer.h"40#include "llvm/Support/SMLoc.h"41#include "llvm/Support/SourceMgr.h"42#include "llvm/Support/raw_ostream.h"43#include "llvm/TargetParser/Triple.h"44#include <algorithm>45#include <cassert>46#include <cstdint>47#include <memory>48#include <string>4950using namespace llvm;51using namespace object;5253void ModuleSymbolTable::addModule(Module *M) {54if (FirstMod)55assert(FirstMod->getTargetTriple() == M->getTargetTriple());56else57FirstMod = M;5859for (GlobalValue &GV : M->global_values())60SymTab.push_back(&GV);6162CollectAsmSymbols(*M, [this](StringRef Name, BasicSymbolRef::Flags Flags) {63SymTab.push_back(new (AsmSymbols.Allocate())64AsmSymbol(std::string(Name), Flags));65});66}6768static void69initializeRecordStreamer(const Module &M,70function_ref<void(RecordStreamer &)> Init) {71// This function may be called twice, once for ModuleSummaryIndexAnalysis and72// the other when writing the IR symbol table. If parsing inline assembly has73// caused errors in the first run, suppress the second run.74if (M.getContext().getDiagHandlerPtr()->HasErrors)75return;76StringRef InlineAsm = M.getModuleInlineAsm();77if (InlineAsm.empty())78return;7980std::string Err;81const Triple TT(M.getTargetTriple());82const Target *T = TargetRegistry::lookupTarget(TT.str(), Err);83assert(T && T->hasMCAsmParser());8485std::unique_ptr<MCRegisterInfo> MRI(T->createMCRegInfo(TT.str()));86if (!MRI)87return;8889MCTargetOptions MCOptions;90std::unique_ptr<MCAsmInfo> MAI(T->createMCAsmInfo(*MRI, TT.str(), MCOptions));91if (!MAI)92return;9394std::unique_ptr<MCSubtargetInfo> STI(95T->createMCSubtargetInfo(TT.str(), "", ""));96if (!STI)97return;9899std::unique_ptr<MCInstrInfo> MCII(T->createMCInstrInfo());100if (!MCII)101return;102103std::unique_ptr<MemoryBuffer> Buffer(104MemoryBuffer::getMemBuffer(InlineAsm, "<inline asm>"));105SourceMgr SrcMgr;106SrcMgr.AddNewSourceBuffer(std::move(Buffer), SMLoc());107108MCContext MCCtx(TT, MAI.get(), MRI.get(), STI.get(), &SrcMgr);109std::unique_ptr<MCObjectFileInfo> MOFI(110T->createMCObjectFileInfo(MCCtx, /*PIC=*/false));111MOFI->setSDKVersion(M.getSDKVersion());112MCCtx.setObjectFileInfo(MOFI.get());113RecordStreamer Streamer(MCCtx, M);114T->createNullTargetStreamer(Streamer);115116std::unique_ptr<MCAsmParser> Parser(117createMCAsmParser(SrcMgr, MCCtx, Streamer, *MAI));118119std::unique_ptr<MCTargetAsmParser> TAP(120T->createMCAsmParser(*STI, *Parser, *MCII, MCOptions));121if (!TAP)122return;123124MCCtx.setDiagnosticHandler([&](const SMDiagnostic &SMD, bool IsInlineAsm,125const SourceMgr &SrcMgr,126std::vector<const MDNode *> &LocInfos) {127M.getContext().diagnose(128DiagnosticInfoSrcMgr(SMD, M.getName(), IsInlineAsm, /*LocCookie=*/0));129});130131// Module-level inline asm is assumed to use At&t syntax (see132// AsmPrinter::doInitialization()).133Parser->setAssemblerDialect(InlineAsm::AD_ATT);134135Parser->setTargetParser(*TAP);136if (Parser->Run(false))137return;138139Init(Streamer);140}141142void ModuleSymbolTable::CollectAsmSymbols(143const Module &M,144function_ref<void(StringRef, BasicSymbolRef::Flags)> AsmSymbol) {145initializeRecordStreamer(M, [&](RecordStreamer &Streamer) {146Streamer.flushSymverDirectives();147148for (auto &KV : Streamer) {149StringRef Key = KV.first();150RecordStreamer::State Value = KV.second;151// FIXME: For now we just assume that all asm symbols are executable.152uint32_t Res = BasicSymbolRef::SF_Executable;153switch (Value) {154case RecordStreamer::NeverSeen:155llvm_unreachable("NeverSeen should have been replaced earlier");156case RecordStreamer::DefinedGlobal:157Res |= BasicSymbolRef::SF_Global;158break;159case RecordStreamer::Defined:160break;161case RecordStreamer::Global:162case RecordStreamer::Used:163Res |= BasicSymbolRef::SF_Undefined;164Res |= BasicSymbolRef::SF_Global;165break;166case RecordStreamer::DefinedWeak:167Res |= BasicSymbolRef::SF_Weak;168Res |= BasicSymbolRef::SF_Global;169break;170case RecordStreamer::UndefinedWeak:171Res |= BasicSymbolRef::SF_Weak;172Res |= BasicSymbolRef::SF_Undefined;173}174AsmSymbol(Key, BasicSymbolRef::Flags(Res));175}176});177178// In ELF, object code generated for x86-32 and some code models of x86-64 may179// reference the special symbol _GLOBAL_OFFSET_TABLE_ that is not used in the180// IR. Record it like inline asm symbols.181Triple TT(M.getTargetTriple());182if (!TT.isOSBinFormatELF() || !TT.isX86())183return;184auto CM = M.getCodeModel();185if (TT.getArch() == Triple::x86 || CM == CodeModel::Medium ||186CM == CodeModel::Large) {187AsmSymbol("_GLOBAL_OFFSET_TABLE_",188BasicSymbolRef::Flags(BasicSymbolRef::SF_Undefined |189BasicSymbolRef::SF_Global));190}191}192193void ModuleSymbolTable::CollectAsmSymvers(194const Module &M, function_ref<void(StringRef, StringRef)> AsmSymver) {195initializeRecordStreamer(M, [&](RecordStreamer &Streamer) {196for (auto &KV : Streamer.symverAliases())197for (auto &Alias : KV.second)198AsmSymver(KV.first->getName(), Alias);199});200}201202void ModuleSymbolTable::printSymbolName(raw_ostream &OS, Symbol S) const {203if (isa<AsmSymbol *>(S)) {204OS << cast<AsmSymbol *>(S)->first;205return;206}207208auto *GV = cast<GlobalValue *>(S);209if (GV->hasDLLImportStorageClass())210OS << "__imp_";211212Mang.getNameWithPrefix(OS, GV, false);213}214215uint32_t ModuleSymbolTable::getSymbolFlags(Symbol S) const {216if (isa<AsmSymbol *>(S))217return cast<AsmSymbol *>(S)->second;218219auto *GV = cast<GlobalValue *>(S);220221uint32_t Res = BasicSymbolRef::SF_None;222if (GV->isDeclarationForLinker())223Res |= BasicSymbolRef::SF_Undefined;224else if (GV->hasHiddenVisibility() && !GV->hasLocalLinkage())225Res |= BasicSymbolRef::SF_Hidden;226if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) {227if (GVar->isConstant())228Res |= BasicSymbolRef::SF_Const;229}230if (const GlobalObject *GO = GV->getAliaseeObject())231if (isa<Function>(GO) || isa<GlobalIFunc>(GO))232Res |= BasicSymbolRef::SF_Executable;233if (isa<GlobalAlias>(GV))234Res |= BasicSymbolRef::SF_Indirect;235if (GV->hasPrivateLinkage())236Res |= BasicSymbolRef::SF_FormatSpecific;237if (!GV->hasLocalLinkage())238Res |= BasicSymbolRef::SF_Global;239if (GV->hasCommonLinkage())240Res |= BasicSymbolRef::SF_Common;241if (GV->hasLinkOnceLinkage() || GV->hasWeakLinkage() ||242GV->hasExternalWeakLinkage())243Res |= BasicSymbolRef::SF_Weak;244245if (GV->getName().starts_with("llvm."))246Res |= BasicSymbolRef::SF_FormatSpecific;247else if (auto *Var = dyn_cast<GlobalVariable>(GV)) {248if (Var->getSection() == "llvm.metadata")249Res |= BasicSymbolRef::SF_FormatSpecific;250}251252return Res;253}254255256