151690af2SDimitry Andric //===- ModuleSymbolTable.cpp - symbol table for in-memory IR --------------===// 2d88c1a5aSDimitry Andric // 3d88c1a5aSDimitry Andric // The LLVM Compiler Infrastructure 4d88c1a5aSDimitry Andric // 5d88c1a5aSDimitry Andric // This file is distributed under the University of Illinois Open Source 6d88c1a5aSDimitry Andric // License. See LICENSE.TXT for details. 7d88c1a5aSDimitry Andric // 8d88c1a5aSDimitry Andric //===----------------------------------------------------------------------===// 9d88c1a5aSDimitry Andric // 10d88c1a5aSDimitry Andric // This class represents a symbol table built from in-memory IR. It provides 11d88c1a5aSDimitry Andric // access to GlobalValues and should only be used if such access is required 12d88c1a5aSDimitry Andric // (e.g. in the LTO implementation). 13d88c1a5aSDimitry Andric // 14d88c1a5aSDimitry Andric //===----------------------------------------------------------------------===// 15d88c1a5aSDimitry Andric 16db17bf38SDimitry Andric #include "llvm/Object/ModuleSymbolTable.h" 17d88c1a5aSDimitry Andric #include "RecordStreamer.h" 18d88c1a5aSDimitry Andric #include "llvm/ADT/STLExtras.h" 19db17bf38SDimitry Andric #include "llvm/ADT/SmallString.h" 2051690af2SDimitry Andric #include "llvm/ADT/StringMap.h" 2151690af2SDimitry Andric #include "llvm/ADT/StringRef.h" 2251690af2SDimitry Andric #include "llvm/ADT/Triple.h" 2351690af2SDimitry Andric #include "llvm/IR/Function.h" 2451690af2SDimitry Andric #include "llvm/IR/GlobalAlias.h" 2551690af2SDimitry Andric #include "llvm/IR/GlobalValue.h" 2651690af2SDimitry Andric #include "llvm/IR/GlobalVariable.h" 27d88c1a5aSDimitry Andric #include "llvm/IR/Module.h" 28d88c1a5aSDimitry Andric #include "llvm/MC/MCAsmInfo.h" 29d88c1a5aSDimitry Andric #include "llvm/MC/MCContext.h" 3051690af2SDimitry Andric #include "llvm/MC/MCDirectives.h" 31d88c1a5aSDimitry Andric #include "llvm/MC/MCInstrInfo.h" 32d88c1a5aSDimitry Andric #include "llvm/MC/MCObjectFileInfo.h" 33d88c1a5aSDimitry Andric #include "llvm/MC/MCParser/MCAsmParser.h" 34d88c1a5aSDimitry Andric #include "llvm/MC/MCParser/MCTargetAsmParser.h" 35d88c1a5aSDimitry Andric #include "llvm/MC/MCRegisterInfo.h" 36d88c1a5aSDimitry Andric #include "llvm/MC/MCSubtargetInfo.h" 3751690af2SDimitry Andric #include "llvm/MC/MCSymbol.h" 3851690af2SDimitry Andric #include "llvm/MC/MCTargetOptions.h" 3951690af2SDimitry Andric #include "llvm/Object/SymbolicFile.h" 4051690af2SDimitry Andric #include "llvm/Support/Casting.h" 4151690af2SDimitry Andric #include "llvm/Support/CodeGen.h" 4251690af2SDimitry Andric #include "llvm/Support/ErrorHandling.h" 43d88c1a5aSDimitry Andric #include "llvm/Support/MemoryBuffer.h" 4451690af2SDimitry Andric #include "llvm/Support/SMLoc.h" 45d88c1a5aSDimitry Andric #include "llvm/Support/SourceMgr.h" 46d88c1a5aSDimitry Andric #include "llvm/Support/TargetRegistry.h" 47db17bf38SDimitry Andric #include "llvm/Support/raw_ostream.h" 4851690af2SDimitry Andric #include <algorithm> 4951690af2SDimitry Andric #include <cassert> 5051690af2SDimitry Andric #include <cstdint> 5151690af2SDimitry Andric #include <memory> 5251690af2SDimitry Andric #include <string> 5351690af2SDimitry Andric 54d88c1a5aSDimitry Andric using namespace llvm; 55d88c1a5aSDimitry Andric using namespace object; 56d88c1a5aSDimitry Andric 57d88c1a5aSDimitry Andric void ModuleSymbolTable::addModule(Module *M) { 58d88c1a5aSDimitry Andric if (FirstMod) 59d88c1a5aSDimitry Andric assert(FirstMod->getTargetTriple() == M->getTargetTriple()); 60d88c1a5aSDimitry Andric else 61d88c1a5aSDimitry Andric FirstMod = M; 62d88c1a5aSDimitry Andric 637a7e6055SDimitry Andric for (GlobalValue &GV : M->global_values()) 64d88c1a5aSDimitry Andric SymTab.push_back(&GV); 65d88c1a5aSDimitry Andric 667a7e6055SDimitry Andric CollectAsmSymbols(*M, [this](StringRef Name, BasicSymbolRef::Flags Flags) { 677a7e6055SDimitry Andric SymTab.push_back(new (AsmSymbols.Allocate()) AsmSymbol(Name, Flags)); 68d88c1a5aSDimitry Andric }); 69d88c1a5aSDimitry Andric } 70d88c1a5aSDimitry Andric 71d88c1a5aSDimitry Andric void ModuleSymbolTable::CollectAsmSymbols( 727a7e6055SDimitry Andric const Module &M, 73d88c1a5aSDimitry Andric function_ref<void(StringRef, BasicSymbolRef::Flags)> AsmSymbol) { 747a7e6055SDimitry Andric StringRef InlineAsm = M.getModuleInlineAsm(); 75d88c1a5aSDimitry Andric if (InlineAsm.empty()) 76d88c1a5aSDimitry Andric return; 77d88c1a5aSDimitry Andric 78d88c1a5aSDimitry Andric std::string Err; 797a7e6055SDimitry Andric const Triple TT(M.getTargetTriple()); 80d88c1a5aSDimitry Andric const Target *T = TargetRegistry::lookupTarget(TT.str(), Err); 81d88c1a5aSDimitry Andric assert(T && T->hasMCAsmParser()); 82d88c1a5aSDimitry Andric 83d88c1a5aSDimitry Andric std::unique_ptr<MCRegisterInfo> MRI(T->createMCRegInfo(TT.str())); 84d88c1a5aSDimitry Andric if (!MRI) 85d88c1a5aSDimitry Andric return; 86d88c1a5aSDimitry Andric 87d88c1a5aSDimitry Andric std::unique_ptr<MCAsmInfo> MAI(T->createMCAsmInfo(*MRI, TT.str())); 88d88c1a5aSDimitry Andric if (!MAI) 89d88c1a5aSDimitry Andric return; 90d88c1a5aSDimitry Andric 91d88c1a5aSDimitry Andric std::unique_ptr<MCSubtargetInfo> STI( 92d88c1a5aSDimitry Andric T->createMCSubtargetInfo(TT.str(), "", "")); 93d88c1a5aSDimitry Andric if (!STI) 94d88c1a5aSDimitry Andric return; 95d88c1a5aSDimitry Andric 96d88c1a5aSDimitry Andric std::unique_ptr<MCInstrInfo> MCII(T->createMCInstrInfo()); 97d88c1a5aSDimitry Andric if (!MCII) 98d88c1a5aSDimitry Andric return; 99d88c1a5aSDimitry Andric 100d88c1a5aSDimitry Andric MCObjectFileInfo MOFI; 101d88c1a5aSDimitry Andric MCContext MCCtx(MAI.get(), MRI.get(), &MOFI); 1022cab237bSDimitry Andric MOFI.InitMCObjectFileInfo(TT, /*PIC*/ false, MCCtx); 103*ad414d86SDimitry Andric RecordStreamer Streamer(MCCtx, M); 104d88c1a5aSDimitry Andric T->createNullTargetStreamer(Streamer); 105d88c1a5aSDimitry Andric 106d88c1a5aSDimitry Andric std::unique_ptr<MemoryBuffer> Buffer(MemoryBuffer::getMemBuffer(InlineAsm)); 107d88c1a5aSDimitry Andric SourceMgr SrcMgr; 108d88c1a5aSDimitry Andric SrcMgr.AddNewSourceBuffer(std::move(Buffer), SMLoc()); 109d88c1a5aSDimitry Andric std::unique_ptr<MCAsmParser> Parser( 110d88c1a5aSDimitry Andric createMCAsmParser(SrcMgr, MCCtx, Streamer, *MAI)); 111d88c1a5aSDimitry Andric 112d88c1a5aSDimitry Andric MCTargetOptions MCOptions; 113d88c1a5aSDimitry Andric std::unique_ptr<MCTargetAsmParser> TAP( 114d88c1a5aSDimitry Andric T->createMCAsmParser(*STI, *Parser, *MCII, MCOptions)); 115d88c1a5aSDimitry Andric if (!TAP) 116d88c1a5aSDimitry Andric return; 117d88c1a5aSDimitry Andric 118d88c1a5aSDimitry Andric Parser->setTargetParser(*TAP); 119d88c1a5aSDimitry Andric if (Parser->Run(false)) 120d88c1a5aSDimitry Andric return; 121d88c1a5aSDimitry Andric 122*ad414d86SDimitry Andric Streamer.flushSymverDirectives(); 1237a7e6055SDimitry Andric 124d88c1a5aSDimitry Andric for (auto &KV : Streamer) { 125d88c1a5aSDimitry Andric StringRef Key = KV.first(); 126d88c1a5aSDimitry Andric RecordStreamer::State Value = KV.second; 127d88c1a5aSDimitry Andric // FIXME: For now we just assume that all asm symbols are executable. 128d88c1a5aSDimitry Andric uint32_t Res = BasicSymbolRef::SF_Executable; 129d88c1a5aSDimitry Andric switch (Value) { 130d88c1a5aSDimitry Andric case RecordStreamer::NeverSeen: 131d88c1a5aSDimitry Andric llvm_unreachable("NeverSeen should have been replaced earlier"); 132d88c1a5aSDimitry Andric case RecordStreamer::DefinedGlobal: 133d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Global; 134d88c1a5aSDimitry Andric break; 135d88c1a5aSDimitry Andric case RecordStreamer::Defined: 136d88c1a5aSDimitry Andric break; 137d88c1a5aSDimitry Andric case RecordStreamer::Global: 138d88c1a5aSDimitry Andric case RecordStreamer::Used: 139d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Undefined; 140d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Global; 141d88c1a5aSDimitry Andric break; 142d88c1a5aSDimitry Andric case RecordStreamer::DefinedWeak: 143d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Weak; 144d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Global; 145d88c1a5aSDimitry Andric break; 146d88c1a5aSDimitry Andric case RecordStreamer::UndefinedWeak: 147d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Weak; 148d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Undefined; 149d88c1a5aSDimitry Andric } 150d88c1a5aSDimitry Andric AsmSymbol(Key, BasicSymbolRef::Flags(Res)); 151d88c1a5aSDimitry Andric } 152d88c1a5aSDimitry Andric } 153d88c1a5aSDimitry Andric 154d88c1a5aSDimitry Andric void ModuleSymbolTable::printSymbolName(raw_ostream &OS, Symbol S) const { 155d88c1a5aSDimitry Andric if (S.is<AsmSymbol *>()) { 156d88c1a5aSDimitry Andric OS << S.get<AsmSymbol *>()->first; 157d88c1a5aSDimitry Andric return; 158d88c1a5aSDimitry Andric } 159d88c1a5aSDimitry Andric 160d88c1a5aSDimitry Andric auto *GV = S.get<GlobalValue *>(); 161d88c1a5aSDimitry Andric if (GV->hasDLLImportStorageClass()) 162d88c1a5aSDimitry Andric OS << "__imp_"; 163d88c1a5aSDimitry Andric 164d88c1a5aSDimitry Andric Mang.getNameWithPrefix(OS, GV, false); 165d88c1a5aSDimitry Andric } 166d88c1a5aSDimitry Andric 167d88c1a5aSDimitry Andric uint32_t ModuleSymbolTable::getSymbolFlags(Symbol S) const { 168d88c1a5aSDimitry Andric if (S.is<AsmSymbol *>()) 169d88c1a5aSDimitry Andric return S.get<AsmSymbol *>()->second; 170d88c1a5aSDimitry Andric 171d88c1a5aSDimitry Andric auto *GV = S.get<GlobalValue *>(); 172d88c1a5aSDimitry Andric 173d88c1a5aSDimitry Andric uint32_t Res = BasicSymbolRef::SF_None; 174d88c1a5aSDimitry Andric if (GV->isDeclarationForLinker()) 175d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Undefined; 176d88c1a5aSDimitry Andric else if (GV->hasHiddenVisibility() && !GV->hasLocalLinkage()) 177d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Hidden; 178d88c1a5aSDimitry Andric if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) { 179d88c1a5aSDimitry Andric if (GVar->isConstant()) 180d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Const; 181d88c1a5aSDimitry Andric } 182d88c1a5aSDimitry Andric if (dyn_cast_or_null<Function>(GV->getBaseObject())) 183d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Executable; 184d88c1a5aSDimitry Andric if (isa<GlobalAlias>(GV)) 185d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Indirect; 186d88c1a5aSDimitry Andric if (GV->hasPrivateLinkage()) 187d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_FormatSpecific; 188d88c1a5aSDimitry Andric if (!GV->hasLocalLinkage()) 189d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Global; 190d88c1a5aSDimitry Andric if (GV->hasCommonLinkage()) 191d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Common; 192d88c1a5aSDimitry Andric if (GV->hasLinkOnceLinkage() || GV->hasWeakLinkage() || 193d88c1a5aSDimitry Andric GV->hasExternalWeakLinkage()) 194d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_Weak; 195d88c1a5aSDimitry Andric 196d88c1a5aSDimitry Andric if (GV->getName().startswith("llvm.")) 197d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_FormatSpecific; 198d88c1a5aSDimitry Andric else if (auto *Var = dyn_cast<GlobalVariable>(GV)) { 199d88c1a5aSDimitry Andric if (Var->getSection() == "llvm.metadata") 200d88c1a5aSDimitry Andric Res |= BasicSymbolRef::SF_FormatSpecific; 201d88c1a5aSDimitry Andric } 202d88c1a5aSDimitry Andric 203d88c1a5aSDimitry Andric return Res; 204d88c1a5aSDimitry Andric } 205