10b57cec5SDimitry Andric //===- llvm-link.cpp - Low-level LLVM linker ------------------------------===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This utility may be invoked in the following manner: 100b57cec5SDimitry Andric // llvm-link a.bc b.bc c.bc -o x.bc 110b57cec5SDimitry Andric // 120b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 130b57cec5SDimitry Andric 140b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h" 15e8d8bef9SDimitry Andric #include "llvm/BinaryFormat/Magic.h" 160b57cec5SDimitry Andric #include "llvm/Bitcode/BitcodeReader.h" 170b57cec5SDimitry Andric #include "llvm/Bitcode/BitcodeWriter.h" 180b57cec5SDimitry Andric #include "llvm/IR/AutoUpgrade.h" 190b57cec5SDimitry Andric #include "llvm/IR/DiagnosticInfo.h" 200b57cec5SDimitry Andric #include "llvm/IR/DiagnosticPrinter.h" 210b57cec5SDimitry Andric #include "llvm/IR/LLVMContext.h" 220b57cec5SDimitry Andric #include "llvm/IR/Module.h" 230b57cec5SDimitry Andric #include "llvm/IR/ModuleSummaryIndex.h" 240b57cec5SDimitry Andric #include "llvm/IR/Verifier.h" 250b57cec5SDimitry Andric #include "llvm/IRReader/IRReader.h" 260b57cec5SDimitry Andric #include "llvm/Linker/Linker.h" 27e8d8bef9SDimitry Andric #include "llvm/Object/Archive.h" 280b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h" 290b57cec5SDimitry Andric #include "llvm/Support/FileSystem.h" 300b57cec5SDimitry Andric #include "llvm/Support/InitLLVM.h" 310b57cec5SDimitry Andric #include "llvm/Support/Path.h" 320b57cec5SDimitry Andric #include "llvm/Support/SourceMgr.h" 330b57cec5SDimitry Andric #include "llvm/Support/SystemUtils.h" 340b57cec5SDimitry Andric #include "llvm/Support/ToolOutputFile.h" 350b57cec5SDimitry Andric #include "llvm/Support/WithColor.h" 360b57cec5SDimitry Andric #include "llvm/Transforms/IPO/FunctionImport.h" 370b57cec5SDimitry Andric #include "llvm/Transforms/IPO/Internalize.h" 380b57cec5SDimitry Andric #include "llvm/Transforms/Utils/FunctionImportUtils.h" 390b57cec5SDimitry Andric 400b57cec5SDimitry Andric #include <memory> 410b57cec5SDimitry Andric #include <utility> 420b57cec5SDimitry Andric using namespace llvm; 430b57cec5SDimitry Andric 44*fe6060f1SDimitry Andric static cl::OptionCategory LinkCategory("Link Options"); 45*fe6060f1SDimitry Andric 46*fe6060f1SDimitry Andric static cl::list<std::string> InputFilenames(cl::Positional, cl::OneOrMore, 47*fe6060f1SDimitry Andric cl::desc("<input bitcode files>"), 48*fe6060f1SDimitry Andric cl::cat(LinkCategory)); 490b57cec5SDimitry Andric 500b57cec5SDimitry Andric static cl::list<std::string> OverridingInputs( 510b57cec5SDimitry Andric "override", cl::ZeroOrMore, cl::value_desc("filename"), 520b57cec5SDimitry Andric cl::desc( 53*fe6060f1SDimitry Andric "input bitcode file which can override previously defined symbol(s)"), 54*fe6060f1SDimitry Andric cl::cat(LinkCategory)); 550b57cec5SDimitry Andric 560b57cec5SDimitry Andric // Option to simulate function importing for testing. This enables using 570b57cec5SDimitry Andric // llvm-link to simulate ThinLTO backend processes. 580b57cec5SDimitry Andric static cl::list<std::string> Imports( 590b57cec5SDimitry Andric "import", cl::ZeroOrMore, cl::value_desc("function:filename"), 600b57cec5SDimitry Andric cl::desc("Pair of function name and filename, where function should be " 61*fe6060f1SDimitry Andric "imported from bitcode in filename"), 62*fe6060f1SDimitry Andric cl::cat(LinkCategory)); 630b57cec5SDimitry Andric 640b57cec5SDimitry Andric // Option to support testing of function importing. The module summary 650b57cec5SDimitry Andric // must be specified in the case were we request imports via the -import 660b57cec5SDimitry Andric // option, as well as when compiling any module with functions that may be 670b57cec5SDimitry Andric // exported (imported by a different llvm-link -import invocation), to ensure 680b57cec5SDimitry Andric // consistent promotion and renaming of locals. 690b57cec5SDimitry Andric static cl::opt<std::string> 700b57cec5SDimitry Andric SummaryIndex("summary-index", cl::desc("Module summary index filename"), 71*fe6060f1SDimitry Andric cl::init(""), cl::value_desc("filename"), 72*fe6060f1SDimitry Andric cl::cat(LinkCategory)); 730b57cec5SDimitry Andric 740b57cec5SDimitry Andric static cl::opt<std::string> 750b57cec5SDimitry Andric OutputFilename("o", cl::desc("Override output filename"), cl::init("-"), 76*fe6060f1SDimitry Andric cl::value_desc("filename"), cl::cat(LinkCategory)); 770b57cec5SDimitry Andric 78*fe6060f1SDimitry Andric static cl::opt<bool> Internalize("internalize", 79*fe6060f1SDimitry Andric cl::desc("Internalize linked symbols"), 80*fe6060f1SDimitry Andric cl::cat(LinkCategory)); 810b57cec5SDimitry Andric 820b57cec5SDimitry Andric static cl::opt<bool> 830b57cec5SDimitry Andric DisableDITypeMap("disable-debug-info-type-map", 84*fe6060f1SDimitry Andric cl::desc("Don't use a uniquing type map for debug info"), 85*fe6060f1SDimitry Andric cl::cat(LinkCategory)); 860b57cec5SDimitry Andric 87*fe6060f1SDimitry Andric static cl::opt<bool> OnlyNeeded("only-needed", 88*fe6060f1SDimitry Andric cl::desc("Link only needed symbols"), 89*fe6060f1SDimitry Andric cl::cat(LinkCategory)); 900b57cec5SDimitry Andric 91*fe6060f1SDimitry Andric static cl::opt<bool> Force("f", cl::desc("Enable binary output on terminals"), 92*fe6060f1SDimitry Andric cl::cat(LinkCategory)); 930b57cec5SDimitry Andric 94*fe6060f1SDimitry Andric static cl::opt<bool> DisableLazyLoad("disable-lazy-loading", 95*fe6060f1SDimitry Andric cl::desc("Disable lazy module loading"), 96*fe6060f1SDimitry Andric cl::cat(LinkCategory)); 970b57cec5SDimitry Andric 98*fe6060f1SDimitry Andric static cl::opt<bool> OutputAssembly("S", 99*fe6060f1SDimitry Andric cl::desc("Write output as LLVM assembly"), 100*fe6060f1SDimitry Andric cl::Hidden, cl::cat(LinkCategory)); 1010b57cec5SDimitry Andric 102*fe6060f1SDimitry Andric static cl::opt<bool> Verbose("v", 103*fe6060f1SDimitry Andric cl::desc("Print information about actions taken"), 104*fe6060f1SDimitry Andric cl::cat(LinkCategory)); 1050b57cec5SDimitry Andric 106*fe6060f1SDimitry Andric static cl::opt<bool> DumpAsm("d", cl::desc("Print assembly as linked"), 107*fe6060f1SDimitry Andric cl::Hidden, cl::cat(LinkCategory)); 1080b57cec5SDimitry Andric 109*fe6060f1SDimitry Andric static cl::opt<bool> SuppressWarnings("suppress-warnings", 110*fe6060f1SDimitry Andric cl::desc("Suppress all linking warnings"), 111*fe6060f1SDimitry Andric cl::init(false), cl::cat(LinkCategory)); 1120b57cec5SDimitry Andric 1130b57cec5SDimitry Andric static cl::opt<bool> PreserveBitcodeUseListOrder( 1140b57cec5SDimitry Andric "preserve-bc-uselistorder", 1150b57cec5SDimitry Andric cl::desc("Preserve use-list order when writing LLVM bitcode."), 116*fe6060f1SDimitry Andric cl::init(true), cl::Hidden, cl::cat(LinkCategory)); 1170b57cec5SDimitry Andric 1180b57cec5SDimitry Andric static cl::opt<bool> PreserveAssemblyUseListOrder( 1190b57cec5SDimitry Andric "preserve-ll-uselistorder", 1200b57cec5SDimitry Andric cl::desc("Preserve use-list order when writing LLVM assembly."), 121*fe6060f1SDimitry Andric cl::init(false), cl::Hidden, cl::cat(LinkCategory)); 122*fe6060f1SDimitry Andric 123*fe6060f1SDimitry Andric static cl::opt<bool> NoVerify("disable-verify", 124*fe6060f1SDimitry Andric cl::desc("Do not run the verifier"), cl::Hidden, 125*fe6060f1SDimitry Andric cl::cat(LinkCategory)); 1260b57cec5SDimitry Andric 1270b57cec5SDimitry Andric static ExitOnError ExitOnErr; 1280b57cec5SDimitry Andric 1290b57cec5SDimitry Andric // Read the specified bitcode file in and return it. This routine searches the 1300b57cec5SDimitry Andric // link path for the specified file to try to find it... 1310b57cec5SDimitry Andric // 1320b57cec5SDimitry Andric static std::unique_ptr<Module> loadFile(const char *argv0, 133e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer, 1340b57cec5SDimitry Andric LLVMContext &Context, 1350b57cec5SDimitry Andric bool MaterializeMetadata = true) { 1360b57cec5SDimitry Andric SMDiagnostic Err; 1370b57cec5SDimitry Andric if (Verbose) 138e8d8bef9SDimitry Andric errs() << "Loading '" << Buffer->getBufferIdentifier() << "'\n"; 1390b57cec5SDimitry Andric std::unique_ptr<Module> Result; 1400b57cec5SDimitry Andric if (DisableLazyLoad) 141e8d8bef9SDimitry Andric Result = parseIR(*Buffer, Err, Context); 1420b57cec5SDimitry Andric else 143e8d8bef9SDimitry Andric Result = 144e8d8bef9SDimitry Andric getLazyIRModule(std::move(Buffer), Err, Context, !MaterializeMetadata); 1450b57cec5SDimitry Andric 1460b57cec5SDimitry Andric if (!Result) { 1470b57cec5SDimitry Andric Err.print(argv0, errs()); 1480b57cec5SDimitry Andric return nullptr; 1490b57cec5SDimitry Andric } 1500b57cec5SDimitry Andric 1510b57cec5SDimitry Andric if (MaterializeMetadata) { 1520b57cec5SDimitry Andric ExitOnErr(Result->materializeMetadata()); 1530b57cec5SDimitry Andric UpgradeDebugInfo(*Result); 1540b57cec5SDimitry Andric } 1550b57cec5SDimitry Andric 1560b57cec5SDimitry Andric return Result; 1570b57cec5SDimitry Andric } 1580b57cec5SDimitry Andric 1595ffd83dbSDimitry Andric static std::unique_ptr<Module> loadArFile(const char *Argv0, 160e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer, 161e8d8bef9SDimitry Andric LLVMContext &Context) { 1625ffd83dbSDimitry Andric std::unique_ptr<Module> Result(new Module("ArchiveModule", Context)); 163e8d8bef9SDimitry Andric StringRef ArchiveName = Buffer->getBufferIdentifier(); 1645ffd83dbSDimitry Andric if (Verbose) 1655ffd83dbSDimitry Andric errs() << "Reading library archive file '" << ArchiveName 1665ffd83dbSDimitry Andric << "' to memory\n"; 1675ffd83dbSDimitry Andric Error Err = Error::success(); 168e8d8bef9SDimitry Andric object::Archive Archive(*Buffer, Err); 1695ffd83dbSDimitry Andric ExitOnErr(std::move(Err)); 170e8d8bef9SDimitry Andric Linker L(*Result); 1715ffd83dbSDimitry Andric for (const object::Archive::Child &C : Archive.children(Err)) { 1725ffd83dbSDimitry Andric Expected<StringRef> Ename = C.getName(); 1735ffd83dbSDimitry Andric if (Error E = Ename.takeError()) { 1745ffd83dbSDimitry Andric errs() << Argv0 << ": "; 175*fe6060f1SDimitry Andric WithColor::error() << " failed to read name of archive member" 1765ffd83dbSDimitry Andric << ArchiveName << "'\n"; 1775ffd83dbSDimitry Andric return nullptr; 178e8d8bef9SDimitry Andric } 1795ffd83dbSDimitry Andric std::string ChildName = Ename.get().str(); 1805ffd83dbSDimitry Andric if (Verbose) 1815ffd83dbSDimitry Andric errs() << "Parsing member '" << ChildName 1825ffd83dbSDimitry Andric << "' of archive library to module.\n"; 1835ffd83dbSDimitry Andric SMDiagnostic ParseErr; 1845ffd83dbSDimitry Andric Expected<MemoryBufferRef> MemBuf = C.getMemoryBufferRef(); 1855ffd83dbSDimitry Andric if (Error E = MemBuf.takeError()) { 1865ffd83dbSDimitry Andric errs() << Argv0 << ": "; 1875ffd83dbSDimitry Andric WithColor::error() << " loading memory for member '" << ChildName 1885ffd83dbSDimitry Andric << "' of archive library failed'" << ArchiveName 1895ffd83dbSDimitry Andric << "'\n"; 1905ffd83dbSDimitry Andric return nullptr; 1915ffd83dbSDimitry Andric }; 1925ffd83dbSDimitry Andric 193*fe6060f1SDimitry Andric if (!isBitcode(reinterpret_cast<const unsigned char *>( 194*fe6060f1SDimitry Andric MemBuf.get().getBufferStart()), 195*fe6060f1SDimitry Andric reinterpret_cast<const unsigned char *>( 196*fe6060f1SDimitry Andric MemBuf.get().getBufferEnd()))) { 1975ffd83dbSDimitry Andric errs() << Argv0 << ": "; 1985ffd83dbSDimitry Andric WithColor::error() << " member of archive is not a bitcode file: '" 1995ffd83dbSDimitry Andric << ChildName << "'\n"; 2005ffd83dbSDimitry Andric return nullptr; 2015ffd83dbSDimitry Andric } 2025ffd83dbSDimitry Andric 203e8d8bef9SDimitry Andric std::unique_ptr<Module> M; 204e8d8bef9SDimitry Andric if (DisableLazyLoad) 205e8d8bef9SDimitry Andric M = parseIR(MemBuf.get(), ParseErr, Context); 206e8d8bef9SDimitry Andric else 207e8d8bef9SDimitry Andric M = getLazyIRModule(MemoryBuffer::getMemBuffer(MemBuf.get(), false), 208e8d8bef9SDimitry Andric ParseErr, Context); 2095ffd83dbSDimitry Andric 2105ffd83dbSDimitry Andric if (!M.get()) { 2115ffd83dbSDimitry Andric errs() << Argv0 << ": "; 2125ffd83dbSDimitry Andric WithColor::error() << " parsing member '" << ChildName 2135ffd83dbSDimitry Andric << "' of archive library failed'" << ArchiveName 2145ffd83dbSDimitry Andric << "'\n"; 2155ffd83dbSDimitry Andric return nullptr; 2165ffd83dbSDimitry Andric } 2175ffd83dbSDimitry Andric if (Verbose) 2185ffd83dbSDimitry Andric errs() << "Linking member '" << ChildName << "' of archive library.\n"; 219e8d8bef9SDimitry Andric if (L.linkInModule(std::move(M))) 2205ffd83dbSDimitry Andric return nullptr; 2215ffd83dbSDimitry Andric } // end for each child 2225ffd83dbSDimitry Andric ExitOnErr(std::move(Err)); 2235ffd83dbSDimitry Andric return Result; 2245ffd83dbSDimitry Andric } 2255ffd83dbSDimitry Andric 2260b57cec5SDimitry Andric namespace { 2270b57cec5SDimitry Andric 2280b57cec5SDimitry Andric /// Helper to load on demand a Module from file and cache it for subsequent 2290b57cec5SDimitry Andric /// queries during function importing. 2300b57cec5SDimitry Andric class ModuleLazyLoaderCache { 2310b57cec5SDimitry Andric /// Cache of lazily loaded module for import. 2320b57cec5SDimitry Andric StringMap<std::unique_ptr<Module>> ModuleMap; 2330b57cec5SDimitry Andric 2340b57cec5SDimitry Andric /// Retrieve a Module from the cache or lazily load it on demand. 2350b57cec5SDimitry Andric std::function<std::unique_ptr<Module>(const char *argv0, 2360b57cec5SDimitry Andric const std::string &FileName)> 2370b57cec5SDimitry Andric createLazyModule; 2380b57cec5SDimitry Andric 2390b57cec5SDimitry Andric public: 2400b57cec5SDimitry Andric /// Create the loader, Module will be initialized in \p Context. 2410b57cec5SDimitry Andric ModuleLazyLoaderCache(std::function<std::unique_ptr<Module>( 2420b57cec5SDimitry Andric const char *argv0, const std::string &FileName)> 2430b57cec5SDimitry Andric createLazyModule) 2440b57cec5SDimitry Andric : createLazyModule(std::move(createLazyModule)) {} 2450b57cec5SDimitry Andric 2460b57cec5SDimitry Andric /// Retrieve a Module from the cache or lazily load it on demand. 2470b57cec5SDimitry Andric Module &operator()(const char *argv0, const std::string &FileName); 2480b57cec5SDimitry Andric 2490b57cec5SDimitry Andric std::unique_ptr<Module> takeModule(const std::string &FileName) { 2500b57cec5SDimitry Andric auto I = ModuleMap.find(FileName); 2510b57cec5SDimitry Andric assert(I != ModuleMap.end()); 2520b57cec5SDimitry Andric std::unique_ptr<Module> Ret = std::move(I->second); 2530b57cec5SDimitry Andric ModuleMap.erase(I); 2540b57cec5SDimitry Andric return Ret; 2550b57cec5SDimitry Andric } 2560b57cec5SDimitry Andric }; 2570b57cec5SDimitry Andric 2580b57cec5SDimitry Andric // Get a Module for \p FileName from the cache, or load it lazily. 2590b57cec5SDimitry Andric Module &ModuleLazyLoaderCache::operator()(const char *argv0, 2600b57cec5SDimitry Andric const std::string &Identifier) { 2610b57cec5SDimitry Andric auto &Module = ModuleMap[Identifier]; 262*fe6060f1SDimitry Andric if (!Module) { 2630b57cec5SDimitry Andric Module = createLazyModule(argv0, Identifier); 264*fe6060f1SDimitry Andric assert(Module && "Failed to create lazy module!"); 265*fe6060f1SDimitry Andric } 2660b57cec5SDimitry Andric return *Module; 2670b57cec5SDimitry Andric } 2680b57cec5SDimitry Andric } // anonymous namespace 2690b57cec5SDimitry Andric 2700b57cec5SDimitry Andric namespace { 2710b57cec5SDimitry Andric struct LLVMLinkDiagnosticHandler : public DiagnosticHandler { 2720b57cec5SDimitry Andric bool handleDiagnostics(const DiagnosticInfo &DI) override { 2730b57cec5SDimitry Andric unsigned Severity = DI.getSeverity(); 2740b57cec5SDimitry Andric switch (Severity) { 2750b57cec5SDimitry Andric case DS_Error: 2760b57cec5SDimitry Andric WithColor::error(); 2770b57cec5SDimitry Andric break; 2780b57cec5SDimitry Andric case DS_Warning: 2790b57cec5SDimitry Andric if (SuppressWarnings) 2800b57cec5SDimitry Andric return true; 2810b57cec5SDimitry Andric WithColor::warning(); 2820b57cec5SDimitry Andric break; 2830b57cec5SDimitry Andric case DS_Remark: 2840b57cec5SDimitry Andric case DS_Note: 2850b57cec5SDimitry Andric llvm_unreachable("Only expecting warnings and errors"); 2860b57cec5SDimitry Andric } 2870b57cec5SDimitry Andric 2880b57cec5SDimitry Andric DiagnosticPrinterRawOStream DP(errs()); 2890b57cec5SDimitry Andric DI.print(DP); 2900b57cec5SDimitry Andric errs() << '\n'; 2910b57cec5SDimitry Andric return true; 2920b57cec5SDimitry Andric } 2930b57cec5SDimitry Andric }; 294*fe6060f1SDimitry Andric } // namespace 2950b57cec5SDimitry Andric 2960b57cec5SDimitry Andric /// Import any functions requested via the -import option. 2970b57cec5SDimitry Andric static bool importFunctions(const char *argv0, Module &DestModule) { 2980b57cec5SDimitry Andric if (SummaryIndex.empty()) 2990b57cec5SDimitry Andric return true; 3000b57cec5SDimitry Andric std::unique_ptr<ModuleSummaryIndex> Index = 3010b57cec5SDimitry Andric ExitOnErr(llvm::getModuleSummaryIndexForFile(SummaryIndex)); 3020b57cec5SDimitry Andric 3030b57cec5SDimitry Andric // Map of Module -> List of globals to import from the Module 3040b57cec5SDimitry Andric FunctionImporter::ImportMapTy ImportList; 3050b57cec5SDimitry Andric 3060b57cec5SDimitry Andric auto ModuleLoader = [&DestModule](const char *argv0, 3070b57cec5SDimitry Andric const std::string &Identifier) { 308e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer = 309e8d8bef9SDimitry Andric ExitOnErr(errorOrToExpected(MemoryBuffer::getFileOrSTDIN(Identifier))); 310e8d8bef9SDimitry Andric return loadFile(argv0, std::move(Buffer), DestModule.getContext(), false); 3110b57cec5SDimitry Andric }; 3120b57cec5SDimitry Andric 3130b57cec5SDimitry Andric ModuleLazyLoaderCache ModuleLoaderCache(ModuleLoader); 3140b57cec5SDimitry Andric for (const auto &Import : Imports) { 3150b57cec5SDimitry Andric // Identify the requested function and its bitcode source file. 3160b57cec5SDimitry Andric size_t Idx = Import.find(':'); 3170b57cec5SDimitry Andric if (Idx == std::string::npos) { 3180b57cec5SDimitry Andric errs() << "Import parameter bad format: " << Import << "\n"; 3190b57cec5SDimitry Andric return false; 3200b57cec5SDimitry Andric } 3210b57cec5SDimitry Andric std::string FunctionName = Import.substr(0, Idx); 3220b57cec5SDimitry Andric std::string FileName = Import.substr(Idx + 1, std::string::npos); 3230b57cec5SDimitry Andric 3240b57cec5SDimitry Andric // Load the specified source module. 3250b57cec5SDimitry Andric auto &SrcModule = ModuleLoaderCache(argv0, FileName); 3260b57cec5SDimitry Andric 327*fe6060f1SDimitry Andric if (!NoVerify && verifyModule(SrcModule, &errs())) { 3280b57cec5SDimitry Andric errs() << argv0 << ": " << FileName; 3290b57cec5SDimitry Andric WithColor::error() << "input module is broken!\n"; 3300b57cec5SDimitry Andric return false; 3310b57cec5SDimitry Andric } 3320b57cec5SDimitry Andric 3330b57cec5SDimitry Andric Function *F = SrcModule.getFunction(FunctionName); 3340b57cec5SDimitry Andric if (!F) { 3350b57cec5SDimitry Andric errs() << "Ignoring import request for non-existent function " 3360b57cec5SDimitry Andric << FunctionName << " from " << FileName << "\n"; 3370b57cec5SDimitry Andric continue; 3380b57cec5SDimitry Andric } 3390b57cec5SDimitry Andric // We cannot import weak_any functions without possibly affecting the 3400b57cec5SDimitry Andric // order they are seen and selected by the linker, changing program 3410b57cec5SDimitry Andric // semantics. 3420b57cec5SDimitry Andric if (F->hasWeakAnyLinkage()) { 3430b57cec5SDimitry Andric errs() << "Ignoring import request for weak-any function " << FunctionName 3440b57cec5SDimitry Andric << " from " << FileName << "\n"; 3450b57cec5SDimitry Andric continue; 3460b57cec5SDimitry Andric } 3470b57cec5SDimitry Andric 3480b57cec5SDimitry Andric if (Verbose) 3490b57cec5SDimitry Andric errs() << "Importing " << FunctionName << " from " << FileName << "\n"; 3500b57cec5SDimitry Andric 3510b57cec5SDimitry Andric auto &Entry = ImportList[FileName]; 3520b57cec5SDimitry Andric Entry.insert(F->getGUID()); 3530b57cec5SDimitry Andric } 3540b57cec5SDimitry Andric auto CachedModuleLoader = [&](StringRef Identifier) { 3555ffd83dbSDimitry Andric return ModuleLoaderCache.takeModule(std::string(Identifier)); 3560b57cec5SDimitry Andric }; 3575ffd83dbSDimitry Andric FunctionImporter Importer(*Index, CachedModuleLoader, 3585ffd83dbSDimitry Andric /*ClearDSOLocalOnDeclarations=*/false); 3590b57cec5SDimitry Andric ExitOnErr(Importer.importFunctions(DestModule, ImportList)); 3600b57cec5SDimitry Andric 3610b57cec5SDimitry Andric return true; 3620b57cec5SDimitry Andric } 3630b57cec5SDimitry Andric 3640b57cec5SDimitry Andric static bool linkFiles(const char *argv0, LLVMContext &Context, Linker &L, 365*fe6060f1SDimitry Andric const cl::list<std::string> &Files, unsigned Flags) { 3660b57cec5SDimitry Andric // Filter out flags that don't apply to the first file we load. 3670b57cec5SDimitry Andric unsigned ApplicableFlags = Flags & Linker::Flags::OverrideFromSrc; 3680b57cec5SDimitry Andric // Similar to some flags, internalization doesn't apply to the first file. 3690b57cec5SDimitry Andric bool InternalizeLinkedSymbols = false; 3700b57cec5SDimitry Andric for (const auto &File : Files) { 371e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer = 372e8d8bef9SDimitry Andric ExitOnErr(errorOrToExpected(MemoryBuffer::getFileOrSTDIN(File))); 373e8d8bef9SDimitry Andric 3745ffd83dbSDimitry Andric std::unique_ptr<Module> M = 375e8d8bef9SDimitry Andric identify_magic(Buffer->getBuffer()) == file_magic::archive 376e8d8bef9SDimitry Andric ? loadArFile(argv0, std::move(Buffer), Context) 377e8d8bef9SDimitry Andric : loadFile(argv0, std::move(Buffer), Context); 3780b57cec5SDimitry Andric if (!M.get()) { 3790b57cec5SDimitry Andric errs() << argv0 << ": "; 3800b57cec5SDimitry Andric WithColor::error() << " loading file '" << File << "'\n"; 3810b57cec5SDimitry Andric return false; 3820b57cec5SDimitry Andric } 3830b57cec5SDimitry Andric 3840b57cec5SDimitry Andric // Note that when ODR merging types cannot verify input files in here When 3850b57cec5SDimitry Andric // doing that debug metadata in the src module might already be pointing to 3860b57cec5SDimitry Andric // the destination. 387*fe6060f1SDimitry Andric if (DisableDITypeMap && !NoVerify && verifyModule(*M, &errs())) { 3880b57cec5SDimitry Andric errs() << argv0 << ": " << File << ": "; 3890b57cec5SDimitry Andric WithColor::error() << "input module is broken!\n"; 3900b57cec5SDimitry Andric return false; 3910b57cec5SDimitry Andric } 3920b57cec5SDimitry Andric 3930b57cec5SDimitry Andric // If a module summary index is supplied, load it so linkInModule can treat 3940b57cec5SDimitry Andric // local functions/variables as exported and promote if necessary. 3950b57cec5SDimitry Andric if (!SummaryIndex.empty()) { 3960b57cec5SDimitry Andric std::unique_ptr<ModuleSummaryIndex> Index = 3970b57cec5SDimitry Andric ExitOnErr(llvm::getModuleSummaryIndexForFile(SummaryIndex)); 3980b57cec5SDimitry Andric 3990b57cec5SDimitry Andric // Conservatively mark all internal values as promoted, since this tool 4000b57cec5SDimitry Andric // does not do the ThinLink that would normally determine what values to 4010b57cec5SDimitry Andric // promote. 4020b57cec5SDimitry Andric for (auto &I : *Index) { 4030b57cec5SDimitry Andric for (auto &S : I.second.SummaryList) { 4040b57cec5SDimitry Andric if (GlobalValue::isLocalLinkage(S->linkage())) 4050b57cec5SDimitry Andric S->setLinkage(GlobalValue::ExternalLinkage); 4060b57cec5SDimitry Andric } 4070b57cec5SDimitry Andric } 4080b57cec5SDimitry Andric 4090b57cec5SDimitry Andric // Promotion 4105ffd83dbSDimitry Andric if (renameModuleForThinLTO(*M, *Index, 4115ffd83dbSDimitry Andric /*ClearDSOLocalOnDeclarations=*/false)) 4120b57cec5SDimitry Andric return true; 4130b57cec5SDimitry Andric } 4140b57cec5SDimitry Andric 4150b57cec5SDimitry Andric if (Verbose) 4160b57cec5SDimitry Andric errs() << "Linking in '" << File << "'\n"; 4170b57cec5SDimitry Andric 4180b57cec5SDimitry Andric bool Err = false; 4190b57cec5SDimitry Andric if (InternalizeLinkedSymbols) { 4200b57cec5SDimitry Andric Err = L.linkInModule( 4210b57cec5SDimitry Andric std::move(M), ApplicableFlags, [](Module &M, const StringSet<> &GVS) { 4220b57cec5SDimitry Andric internalizeModule(M, [&GVS](const GlobalValue &GV) { 4230b57cec5SDimitry Andric return !GV.hasName() || (GVS.count(GV.getName()) == 0); 4240b57cec5SDimitry Andric }); 4250b57cec5SDimitry Andric }); 4260b57cec5SDimitry Andric } else { 4270b57cec5SDimitry Andric Err = L.linkInModule(std::move(M), ApplicableFlags); 4280b57cec5SDimitry Andric } 4290b57cec5SDimitry Andric 4300b57cec5SDimitry Andric if (Err) 4310b57cec5SDimitry Andric return false; 4320b57cec5SDimitry Andric 4330b57cec5SDimitry Andric // Internalization applies to linking of subsequent files. 4340b57cec5SDimitry Andric InternalizeLinkedSymbols = Internalize; 4350b57cec5SDimitry Andric 4360b57cec5SDimitry Andric // All linker flags apply to linking of subsequent files. 4370b57cec5SDimitry Andric ApplicableFlags = Flags; 4380b57cec5SDimitry Andric } 4390b57cec5SDimitry Andric 4400b57cec5SDimitry Andric return true; 4410b57cec5SDimitry Andric } 4420b57cec5SDimitry Andric 4430b57cec5SDimitry Andric int main(int argc, char **argv) { 4440b57cec5SDimitry Andric InitLLVM X(argc, argv); 4450b57cec5SDimitry Andric ExitOnErr.setBanner(std::string(argv[0]) + ": "); 4460b57cec5SDimitry Andric 4470b57cec5SDimitry Andric LLVMContext Context; 448*fe6060f1SDimitry Andric Context.setDiagnosticHandler(std::make_unique<LLVMLinkDiagnosticHandler>(), 449*fe6060f1SDimitry Andric true); 450*fe6060f1SDimitry Andric cl::HideUnrelatedOptions({&LinkCategory, &getColorCategory()}); 4510b57cec5SDimitry Andric cl::ParseCommandLineOptions(argc, argv, "llvm linker\n"); 4520b57cec5SDimitry Andric 4530b57cec5SDimitry Andric if (!DisableDITypeMap) 4540b57cec5SDimitry Andric Context.enableDebugTypeODRUniquing(); 4550b57cec5SDimitry Andric 4568bcb0991SDimitry Andric auto Composite = std::make_unique<Module>("llvm-link", Context); 4570b57cec5SDimitry Andric Linker L(*Composite); 4580b57cec5SDimitry Andric 4590b57cec5SDimitry Andric unsigned Flags = Linker::Flags::None; 4600b57cec5SDimitry Andric if (OnlyNeeded) 4610b57cec5SDimitry Andric Flags |= Linker::Flags::LinkOnlyNeeded; 4620b57cec5SDimitry Andric 4630b57cec5SDimitry Andric // First add all the regular input files 4640b57cec5SDimitry Andric if (!linkFiles(argv[0], Context, L, InputFilenames, Flags)) 4650b57cec5SDimitry Andric return 1; 4660b57cec5SDimitry Andric 4670b57cec5SDimitry Andric // Next the -override ones. 4680b57cec5SDimitry Andric if (!linkFiles(argv[0], Context, L, OverridingInputs, 4690b57cec5SDimitry Andric Flags | Linker::Flags::OverrideFromSrc)) 4700b57cec5SDimitry Andric return 1; 4710b57cec5SDimitry Andric 4720b57cec5SDimitry Andric // Import any functions requested via -import 4730b57cec5SDimitry Andric if (!importFunctions(argv[0], *Composite)) 4740b57cec5SDimitry Andric return 1; 4750b57cec5SDimitry Andric 4760b57cec5SDimitry Andric if (DumpAsm) 4770b57cec5SDimitry Andric errs() << "Here's the assembly:\n" << *Composite; 4780b57cec5SDimitry Andric 4790b57cec5SDimitry Andric std::error_code EC; 480e8d8bef9SDimitry Andric ToolOutputFile Out(OutputFilename, EC, 481*fe6060f1SDimitry Andric OutputAssembly ? sys::fs::OF_TextWithCRLF 482*fe6060f1SDimitry Andric : sys::fs::OF_None); 4830b57cec5SDimitry Andric if (EC) { 4840b57cec5SDimitry Andric WithColor::error() << EC.message() << '\n'; 4850b57cec5SDimitry Andric return 1; 4860b57cec5SDimitry Andric } 4870b57cec5SDimitry Andric 488*fe6060f1SDimitry Andric if (!NoVerify && verifyModule(*Composite, &errs())) { 4890b57cec5SDimitry Andric errs() << argv[0] << ": "; 4900b57cec5SDimitry Andric WithColor::error() << "linked module is broken!\n"; 4910b57cec5SDimitry Andric return 1; 4920b57cec5SDimitry Andric } 4930b57cec5SDimitry Andric 4940b57cec5SDimitry Andric if (Verbose) 4950b57cec5SDimitry Andric errs() << "Writing bitcode...\n"; 4960b57cec5SDimitry Andric if (OutputAssembly) { 4970b57cec5SDimitry Andric Composite->print(Out.os(), nullptr, PreserveAssemblyUseListOrder); 4985ffd83dbSDimitry Andric } else if (Force || !CheckBitcodeOutputToConsole(Out.os())) 4990b57cec5SDimitry Andric WriteBitcodeToFile(*Composite, Out.os(), PreserveBitcodeUseListOrder); 5000b57cec5SDimitry Andric 5010b57cec5SDimitry Andric // Declare success. 5020b57cec5SDimitry Andric Out.keep(); 5030b57cec5SDimitry Andric 5040b57cec5SDimitry Andric return 0; 5050b57cec5SDimitry Andric } 506