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 44fe6060f1SDimitry Andric static cl::OptionCategory LinkCategory("Link Options"); 45fe6060f1SDimitry Andric 46fe6060f1SDimitry Andric static cl::list<std::string> InputFilenames(cl::Positional, cl::OneOrMore, 47fe6060f1SDimitry Andric cl::desc("<input bitcode files>"), 48fe6060f1SDimitry Andric cl::cat(LinkCategory)); 490b57cec5SDimitry Andric 500b57cec5SDimitry Andric static cl::list<std::string> OverridingInputs( 51*81ad6265SDimitry Andric "override", cl::value_desc("filename"), 520b57cec5SDimitry Andric cl::desc( 53fe6060f1SDimitry Andric "input bitcode file which can override previously defined symbol(s)"), 54fe6060f1SDimitry 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( 59*81ad6265SDimitry Andric "import", cl::value_desc("function:filename"), 600b57cec5SDimitry Andric cl::desc("Pair of function name and filename, where function should be " 61fe6060f1SDimitry Andric "imported from bitcode in filename"), 62fe6060f1SDimitry 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"), 71fe6060f1SDimitry Andric cl::init(""), cl::value_desc("filename"), 72fe6060f1SDimitry Andric cl::cat(LinkCategory)); 730b57cec5SDimitry Andric 740b57cec5SDimitry Andric static cl::opt<std::string> 750b57cec5SDimitry Andric OutputFilename("o", cl::desc("Override output filename"), cl::init("-"), 76fe6060f1SDimitry Andric cl::value_desc("filename"), cl::cat(LinkCategory)); 770b57cec5SDimitry Andric 78fe6060f1SDimitry Andric static cl::opt<bool> Internalize("internalize", 79fe6060f1SDimitry Andric cl::desc("Internalize linked symbols"), 80fe6060f1SDimitry Andric cl::cat(LinkCategory)); 810b57cec5SDimitry Andric 820b57cec5SDimitry Andric static cl::opt<bool> 830b57cec5SDimitry Andric DisableDITypeMap("disable-debug-info-type-map", 84fe6060f1SDimitry Andric cl::desc("Don't use a uniquing type map for debug info"), 85fe6060f1SDimitry Andric cl::cat(LinkCategory)); 860b57cec5SDimitry Andric 87fe6060f1SDimitry Andric static cl::opt<bool> OnlyNeeded("only-needed", 88fe6060f1SDimitry Andric cl::desc("Link only needed symbols"), 89fe6060f1SDimitry Andric cl::cat(LinkCategory)); 900b57cec5SDimitry Andric 91fe6060f1SDimitry Andric static cl::opt<bool> Force("f", cl::desc("Enable binary output on terminals"), 92fe6060f1SDimitry Andric cl::cat(LinkCategory)); 930b57cec5SDimitry Andric 94fe6060f1SDimitry Andric static cl::opt<bool> DisableLazyLoad("disable-lazy-loading", 95fe6060f1SDimitry Andric cl::desc("Disable lazy module loading"), 96fe6060f1SDimitry Andric cl::cat(LinkCategory)); 970b57cec5SDimitry Andric 98fe6060f1SDimitry Andric static cl::opt<bool> OutputAssembly("S", 99fe6060f1SDimitry Andric cl::desc("Write output as LLVM assembly"), 100fe6060f1SDimitry Andric cl::Hidden, cl::cat(LinkCategory)); 1010b57cec5SDimitry Andric 102fe6060f1SDimitry Andric static cl::opt<bool> Verbose("v", 103fe6060f1SDimitry Andric cl::desc("Print information about actions taken"), 104fe6060f1SDimitry Andric cl::cat(LinkCategory)); 1050b57cec5SDimitry Andric 106fe6060f1SDimitry Andric static cl::opt<bool> DumpAsm("d", cl::desc("Print assembly as linked"), 107fe6060f1SDimitry Andric cl::Hidden, cl::cat(LinkCategory)); 1080b57cec5SDimitry Andric 109fe6060f1SDimitry Andric static cl::opt<bool> SuppressWarnings("suppress-warnings", 110fe6060f1SDimitry Andric cl::desc("Suppress all linking warnings"), 111fe6060f1SDimitry 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."), 116fe6060f1SDimitry 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."), 121fe6060f1SDimitry Andric cl::init(false), cl::Hidden, cl::cat(LinkCategory)); 122fe6060f1SDimitry Andric 123fe6060f1SDimitry Andric static cl::opt<bool> NoVerify("disable-verify", 124fe6060f1SDimitry Andric cl::desc("Do not run the verifier"), cl::Hidden, 125fe6060f1SDimitry Andric cl::cat(LinkCategory)); 1260b57cec5SDimitry Andric 127*81ad6265SDimitry Andric static cl::opt<bool> IgnoreNonBitcode( 128*81ad6265SDimitry Andric "ignore-non-bitcode", 129*81ad6265SDimitry Andric cl::desc("Do not report an error for non-bitcode files in archives"), 130*81ad6265SDimitry Andric cl::Hidden); 131*81ad6265SDimitry Andric 1320b57cec5SDimitry Andric static ExitOnError ExitOnErr; 1330b57cec5SDimitry Andric 1340b57cec5SDimitry Andric // Read the specified bitcode file in and return it. This routine searches the 1350b57cec5SDimitry Andric // link path for the specified file to try to find it... 1360b57cec5SDimitry Andric // 1370b57cec5SDimitry Andric static std::unique_ptr<Module> loadFile(const char *argv0, 138e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer, 1390b57cec5SDimitry Andric LLVMContext &Context, 1400b57cec5SDimitry Andric bool MaterializeMetadata = true) { 1410b57cec5SDimitry Andric SMDiagnostic Err; 1420b57cec5SDimitry Andric if (Verbose) 143e8d8bef9SDimitry Andric errs() << "Loading '" << Buffer->getBufferIdentifier() << "'\n"; 1440b57cec5SDimitry Andric std::unique_ptr<Module> Result; 1450b57cec5SDimitry Andric if (DisableLazyLoad) 146e8d8bef9SDimitry Andric Result = parseIR(*Buffer, Err, Context); 1470b57cec5SDimitry Andric else 148e8d8bef9SDimitry Andric Result = 149e8d8bef9SDimitry Andric getLazyIRModule(std::move(Buffer), Err, Context, !MaterializeMetadata); 1500b57cec5SDimitry Andric 1510b57cec5SDimitry Andric if (!Result) { 1520b57cec5SDimitry Andric Err.print(argv0, errs()); 1530b57cec5SDimitry Andric return nullptr; 1540b57cec5SDimitry Andric } 1550b57cec5SDimitry Andric 1560b57cec5SDimitry Andric if (MaterializeMetadata) { 1570b57cec5SDimitry Andric ExitOnErr(Result->materializeMetadata()); 1580b57cec5SDimitry Andric UpgradeDebugInfo(*Result); 1590b57cec5SDimitry Andric } 1600b57cec5SDimitry Andric 1610b57cec5SDimitry Andric return Result; 1620b57cec5SDimitry Andric } 1630b57cec5SDimitry Andric 1645ffd83dbSDimitry Andric static std::unique_ptr<Module> loadArFile(const char *Argv0, 165e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer, 166e8d8bef9SDimitry Andric LLVMContext &Context) { 1675ffd83dbSDimitry Andric std::unique_ptr<Module> Result(new Module("ArchiveModule", Context)); 168e8d8bef9SDimitry Andric StringRef ArchiveName = Buffer->getBufferIdentifier(); 1695ffd83dbSDimitry Andric if (Verbose) 1705ffd83dbSDimitry Andric errs() << "Reading library archive file '" << ArchiveName 1715ffd83dbSDimitry Andric << "' to memory\n"; 172*81ad6265SDimitry Andric Expected<std::unique_ptr<object::Archive>> ArchiveOrError = 173*81ad6265SDimitry Andric object::Archive::create(Buffer->getMemBufferRef()); 174*81ad6265SDimitry Andric if (!ArchiveOrError) 175*81ad6265SDimitry Andric ExitOnErr(ArchiveOrError.takeError()); 176*81ad6265SDimitry Andric 177*81ad6265SDimitry Andric std::unique_ptr<object::Archive> Archive = std::move(ArchiveOrError.get()); 178*81ad6265SDimitry Andric 179e8d8bef9SDimitry Andric Linker L(*Result); 180*81ad6265SDimitry Andric Error Err = Error::success(); 181*81ad6265SDimitry Andric for (const object::Archive::Child &C : Archive->children(Err)) { 1825ffd83dbSDimitry Andric Expected<StringRef> Ename = C.getName(); 1835ffd83dbSDimitry Andric if (Error E = Ename.takeError()) { 1845ffd83dbSDimitry Andric errs() << Argv0 << ": "; 185fe6060f1SDimitry Andric WithColor::error() << " failed to read name of archive member" 1865ffd83dbSDimitry Andric << ArchiveName << "'\n"; 1875ffd83dbSDimitry Andric return nullptr; 188e8d8bef9SDimitry Andric } 1895ffd83dbSDimitry Andric std::string ChildName = Ename.get().str(); 1905ffd83dbSDimitry Andric if (Verbose) 1915ffd83dbSDimitry Andric errs() << "Parsing member '" << ChildName 1925ffd83dbSDimitry Andric << "' of archive library to module.\n"; 1935ffd83dbSDimitry Andric SMDiagnostic ParseErr; 1945ffd83dbSDimitry Andric Expected<MemoryBufferRef> MemBuf = C.getMemoryBufferRef(); 1955ffd83dbSDimitry Andric if (Error E = MemBuf.takeError()) { 1965ffd83dbSDimitry Andric errs() << Argv0 << ": "; 1975ffd83dbSDimitry Andric WithColor::error() << " loading memory for member '" << ChildName 1985ffd83dbSDimitry Andric << "' of archive library failed'" << ArchiveName 1995ffd83dbSDimitry Andric << "'\n"; 2005ffd83dbSDimitry Andric return nullptr; 2015ffd83dbSDimitry Andric }; 2025ffd83dbSDimitry Andric 203fe6060f1SDimitry Andric if (!isBitcode(reinterpret_cast<const unsigned char *>( 204fe6060f1SDimitry Andric MemBuf.get().getBufferStart()), 205fe6060f1SDimitry Andric reinterpret_cast<const unsigned char *>( 206fe6060f1SDimitry Andric MemBuf.get().getBufferEnd()))) { 207*81ad6265SDimitry Andric if (IgnoreNonBitcode) 208*81ad6265SDimitry Andric continue; 2095ffd83dbSDimitry Andric errs() << Argv0 << ": "; 2105ffd83dbSDimitry Andric WithColor::error() << " member of archive is not a bitcode file: '" 2115ffd83dbSDimitry Andric << ChildName << "'\n"; 2125ffd83dbSDimitry Andric return nullptr; 2135ffd83dbSDimitry Andric } 2145ffd83dbSDimitry Andric 215e8d8bef9SDimitry Andric std::unique_ptr<Module> M; 216e8d8bef9SDimitry Andric if (DisableLazyLoad) 217e8d8bef9SDimitry Andric M = parseIR(MemBuf.get(), ParseErr, Context); 218e8d8bef9SDimitry Andric else 219e8d8bef9SDimitry Andric M = getLazyIRModule(MemoryBuffer::getMemBuffer(MemBuf.get(), false), 220e8d8bef9SDimitry Andric ParseErr, Context); 2215ffd83dbSDimitry Andric 2225ffd83dbSDimitry Andric if (!M.get()) { 2235ffd83dbSDimitry Andric errs() << Argv0 << ": "; 2245ffd83dbSDimitry Andric WithColor::error() << " parsing member '" << ChildName 2255ffd83dbSDimitry Andric << "' of archive library failed'" << ArchiveName 2265ffd83dbSDimitry Andric << "'\n"; 2275ffd83dbSDimitry Andric return nullptr; 2285ffd83dbSDimitry Andric } 2295ffd83dbSDimitry Andric if (Verbose) 2305ffd83dbSDimitry Andric errs() << "Linking member '" << ChildName << "' of archive library.\n"; 231e8d8bef9SDimitry Andric if (L.linkInModule(std::move(M))) 2325ffd83dbSDimitry Andric return nullptr; 2335ffd83dbSDimitry Andric } // end for each child 2345ffd83dbSDimitry Andric ExitOnErr(std::move(Err)); 2355ffd83dbSDimitry Andric return Result; 2365ffd83dbSDimitry Andric } 2375ffd83dbSDimitry Andric 2380b57cec5SDimitry Andric namespace { 2390b57cec5SDimitry Andric 2400b57cec5SDimitry Andric /// Helper to load on demand a Module from file and cache it for subsequent 2410b57cec5SDimitry Andric /// queries during function importing. 2420b57cec5SDimitry Andric class ModuleLazyLoaderCache { 2430b57cec5SDimitry Andric /// Cache of lazily loaded module for import. 2440b57cec5SDimitry Andric StringMap<std::unique_ptr<Module>> ModuleMap; 2450b57cec5SDimitry Andric 2460b57cec5SDimitry Andric /// Retrieve a Module from the cache or lazily load it on demand. 2470b57cec5SDimitry Andric std::function<std::unique_ptr<Module>(const char *argv0, 2480b57cec5SDimitry Andric const std::string &FileName)> 2490b57cec5SDimitry Andric createLazyModule; 2500b57cec5SDimitry Andric 2510b57cec5SDimitry Andric public: 2520b57cec5SDimitry Andric /// Create the loader, Module will be initialized in \p Context. 2530b57cec5SDimitry Andric ModuleLazyLoaderCache(std::function<std::unique_ptr<Module>( 2540b57cec5SDimitry Andric const char *argv0, const std::string &FileName)> 2550b57cec5SDimitry Andric createLazyModule) 2560b57cec5SDimitry Andric : createLazyModule(std::move(createLazyModule)) {} 2570b57cec5SDimitry Andric 2580b57cec5SDimitry Andric /// Retrieve a Module from the cache or lazily load it on demand. 2590b57cec5SDimitry Andric Module &operator()(const char *argv0, const std::string &FileName); 2600b57cec5SDimitry Andric 2610b57cec5SDimitry Andric std::unique_ptr<Module> takeModule(const std::string &FileName) { 2620b57cec5SDimitry Andric auto I = ModuleMap.find(FileName); 2630b57cec5SDimitry Andric assert(I != ModuleMap.end()); 2640b57cec5SDimitry Andric std::unique_ptr<Module> Ret = std::move(I->second); 2650b57cec5SDimitry Andric ModuleMap.erase(I); 2660b57cec5SDimitry Andric return Ret; 2670b57cec5SDimitry Andric } 2680b57cec5SDimitry Andric }; 2690b57cec5SDimitry Andric 2700b57cec5SDimitry Andric // Get a Module for \p FileName from the cache, or load it lazily. 2710b57cec5SDimitry Andric Module &ModuleLazyLoaderCache::operator()(const char *argv0, 2720b57cec5SDimitry Andric const std::string &Identifier) { 2730b57cec5SDimitry Andric auto &Module = ModuleMap[Identifier]; 274fe6060f1SDimitry Andric if (!Module) { 2750b57cec5SDimitry Andric Module = createLazyModule(argv0, Identifier); 276fe6060f1SDimitry Andric assert(Module && "Failed to create lazy module!"); 277fe6060f1SDimitry Andric } 2780b57cec5SDimitry Andric return *Module; 2790b57cec5SDimitry Andric } 2800b57cec5SDimitry Andric } // anonymous namespace 2810b57cec5SDimitry Andric 2820b57cec5SDimitry Andric namespace { 2830b57cec5SDimitry Andric struct LLVMLinkDiagnosticHandler : public DiagnosticHandler { 2840b57cec5SDimitry Andric bool handleDiagnostics(const DiagnosticInfo &DI) override { 2850b57cec5SDimitry Andric unsigned Severity = DI.getSeverity(); 2860b57cec5SDimitry Andric switch (Severity) { 2870b57cec5SDimitry Andric case DS_Error: 2880b57cec5SDimitry Andric WithColor::error(); 2890b57cec5SDimitry Andric break; 2900b57cec5SDimitry Andric case DS_Warning: 2910b57cec5SDimitry Andric if (SuppressWarnings) 2920b57cec5SDimitry Andric return true; 2930b57cec5SDimitry Andric WithColor::warning(); 2940b57cec5SDimitry Andric break; 2950b57cec5SDimitry Andric case DS_Remark: 2960b57cec5SDimitry Andric case DS_Note: 2970b57cec5SDimitry Andric llvm_unreachable("Only expecting warnings and errors"); 2980b57cec5SDimitry Andric } 2990b57cec5SDimitry Andric 3000b57cec5SDimitry Andric DiagnosticPrinterRawOStream DP(errs()); 3010b57cec5SDimitry Andric DI.print(DP); 3020b57cec5SDimitry Andric errs() << '\n'; 3030b57cec5SDimitry Andric return true; 3040b57cec5SDimitry Andric } 3050b57cec5SDimitry Andric }; 306fe6060f1SDimitry Andric } // namespace 3070b57cec5SDimitry Andric 3080b57cec5SDimitry Andric /// Import any functions requested via the -import option. 3090b57cec5SDimitry Andric static bool importFunctions(const char *argv0, Module &DestModule) { 3100b57cec5SDimitry Andric if (SummaryIndex.empty()) 3110b57cec5SDimitry Andric return true; 3120b57cec5SDimitry Andric std::unique_ptr<ModuleSummaryIndex> Index = 3130b57cec5SDimitry Andric ExitOnErr(llvm::getModuleSummaryIndexForFile(SummaryIndex)); 3140b57cec5SDimitry Andric 3150b57cec5SDimitry Andric // Map of Module -> List of globals to import from the Module 3160b57cec5SDimitry Andric FunctionImporter::ImportMapTy ImportList; 3170b57cec5SDimitry Andric 3180b57cec5SDimitry Andric auto ModuleLoader = [&DestModule](const char *argv0, 3190b57cec5SDimitry Andric const std::string &Identifier) { 320e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer = 321e8d8bef9SDimitry Andric ExitOnErr(errorOrToExpected(MemoryBuffer::getFileOrSTDIN(Identifier))); 322e8d8bef9SDimitry Andric return loadFile(argv0, std::move(Buffer), DestModule.getContext(), false); 3230b57cec5SDimitry Andric }; 3240b57cec5SDimitry Andric 3250b57cec5SDimitry Andric ModuleLazyLoaderCache ModuleLoaderCache(ModuleLoader); 3260b57cec5SDimitry Andric for (const auto &Import : Imports) { 3270b57cec5SDimitry Andric // Identify the requested function and its bitcode source file. 3280b57cec5SDimitry Andric size_t Idx = Import.find(':'); 3290b57cec5SDimitry Andric if (Idx == std::string::npos) { 3300b57cec5SDimitry Andric errs() << "Import parameter bad format: " << Import << "\n"; 3310b57cec5SDimitry Andric return false; 3320b57cec5SDimitry Andric } 3330b57cec5SDimitry Andric std::string FunctionName = Import.substr(0, Idx); 3340b57cec5SDimitry Andric std::string FileName = Import.substr(Idx + 1, std::string::npos); 3350b57cec5SDimitry Andric 3360b57cec5SDimitry Andric // Load the specified source module. 3370b57cec5SDimitry Andric auto &SrcModule = ModuleLoaderCache(argv0, FileName); 3380b57cec5SDimitry Andric 339fe6060f1SDimitry Andric if (!NoVerify && verifyModule(SrcModule, &errs())) { 3400b57cec5SDimitry Andric errs() << argv0 << ": " << FileName; 3410b57cec5SDimitry Andric WithColor::error() << "input module is broken!\n"; 3420b57cec5SDimitry Andric return false; 3430b57cec5SDimitry Andric } 3440b57cec5SDimitry Andric 3450b57cec5SDimitry Andric Function *F = SrcModule.getFunction(FunctionName); 3460b57cec5SDimitry Andric if (!F) { 3470b57cec5SDimitry Andric errs() << "Ignoring import request for non-existent function " 3480b57cec5SDimitry Andric << FunctionName << " from " << FileName << "\n"; 3490b57cec5SDimitry Andric continue; 3500b57cec5SDimitry Andric } 3510b57cec5SDimitry Andric // We cannot import weak_any functions without possibly affecting the 3520b57cec5SDimitry Andric // order they are seen and selected by the linker, changing program 3530b57cec5SDimitry Andric // semantics. 3540b57cec5SDimitry Andric if (F->hasWeakAnyLinkage()) { 3550b57cec5SDimitry Andric errs() << "Ignoring import request for weak-any function " << FunctionName 3560b57cec5SDimitry Andric << " from " << FileName << "\n"; 3570b57cec5SDimitry Andric continue; 3580b57cec5SDimitry Andric } 3590b57cec5SDimitry Andric 3600b57cec5SDimitry Andric if (Verbose) 3610b57cec5SDimitry Andric errs() << "Importing " << FunctionName << " from " << FileName << "\n"; 3620b57cec5SDimitry Andric 3630b57cec5SDimitry Andric auto &Entry = ImportList[FileName]; 3640b57cec5SDimitry Andric Entry.insert(F->getGUID()); 3650b57cec5SDimitry Andric } 3660b57cec5SDimitry Andric auto CachedModuleLoader = [&](StringRef Identifier) { 3675ffd83dbSDimitry Andric return ModuleLoaderCache.takeModule(std::string(Identifier)); 3680b57cec5SDimitry Andric }; 3695ffd83dbSDimitry Andric FunctionImporter Importer(*Index, CachedModuleLoader, 3705ffd83dbSDimitry Andric /*ClearDSOLocalOnDeclarations=*/false); 3710b57cec5SDimitry Andric ExitOnErr(Importer.importFunctions(DestModule, ImportList)); 3720b57cec5SDimitry Andric 3730b57cec5SDimitry Andric return true; 3740b57cec5SDimitry Andric } 3750b57cec5SDimitry Andric 3760b57cec5SDimitry Andric static bool linkFiles(const char *argv0, LLVMContext &Context, Linker &L, 377fe6060f1SDimitry Andric const cl::list<std::string> &Files, unsigned Flags) { 3780b57cec5SDimitry Andric // Filter out flags that don't apply to the first file we load. 3790b57cec5SDimitry Andric unsigned ApplicableFlags = Flags & Linker::Flags::OverrideFromSrc; 3800b57cec5SDimitry Andric // Similar to some flags, internalization doesn't apply to the first file. 3810b57cec5SDimitry Andric bool InternalizeLinkedSymbols = false; 3820b57cec5SDimitry Andric for (const auto &File : Files) { 383e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer = 384e8d8bef9SDimitry Andric ExitOnErr(errorOrToExpected(MemoryBuffer::getFileOrSTDIN(File))); 385e8d8bef9SDimitry Andric 3865ffd83dbSDimitry Andric std::unique_ptr<Module> M = 387e8d8bef9SDimitry Andric identify_magic(Buffer->getBuffer()) == file_magic::archive 388e8d8bef9SDimitry Andric ? loadArFile(argv0, std::move(Buffer), Context) 389e8d8bef9SDimitry Andric : loadFile(argv0, std::move(Buffer), Context); 3900b57cec5SDimitry Andric if (!M.get()) { 3910b57cec5SDimitry Andric errs() << argv0 << ": "; 3920b57cec5SDimitry Andric WithColor::error() << " loading file '" << File << "'\n"; 3930b57cec5SDimitry Andric return false; 3940b57cec5SDimitry Andric } 3950b57cec5SDimitry Andric 3960b57cec5SDimitry Andric // Note that when ODR merging types cannot verify input files in here When 3970b57cec5SDimitry Andric // doing that debug metadata in the src module might already be pointing to 3980b57cec5SDimitry Andric // the destination. 399fe6060f1SDimitry Andric if (DisableDITypeMap && !NoVerify && verifyModule(*M, &errs())) { 4000b57cec5SDimitry Andric errs() << argv0 << ": " << File << ": "; 4010b57cec5SDimitry Andric WithColor::error() << "input module is broken!\n"; 4020b57cec5SDimitry Andric return false; 4030b57cec5SDimitry Andric } 4040b57cec5SDimitry Andric 4050b57cec5SDimitry Andric // If a module summary index is supplied, load it so linkInModule can treat 4060b57cec5SDimitry Andric // local functions/variables as exported and promote if necessary. 4070b57cec5SDimitry Andric if (!SummaryIndex.empty()) { 4080b57cec5SDimitry Andric std::unique_ptr<ModuleSummaryIndex> Index = 4090b57cec5SDimitry Andric ExitOnErr(llvm::getModuleSummaryIndexForFile(SummaryIndex)); 4100b57cec5SDimitry Andric 4110b57cec5SDimitry Andric // Conservatively mark all internal values as promoted, since this tool 4120b57cec5SDimitry Andric // does not do the ThinLink that would normally determine what values to 4130b57cec5SDimitry Andric // promote. 4140b57cec5SDimitry Andric for (auto &I : *Index) { 4150b57cec5SDimitry Andric for (auto &S : I.second.SummaryList) { 4160b57cec5SDimitry Andric if (GlobalValue::isLocalLinkage(S->linkage())) 4170b57cec5SDimitry Andric S->setLinkage(GlobalValue::ExternalLinkage); 4180b57cec5SDimitry Andric } 4190b57cec5SDimitry Andric } 4200b57cec5SDimitry Andric 4210b57cec5SDimitry Andric // Promotion 4225ffd83dbSDimitry Andric if (renameModuleForThinLTO(*M, *Index, 4235ffd83dbSDimitry Andric /*ClearDSOLocalOnDeclarations=*/false)) 4240b57cec5SDimitry Andric return true; 4250b57cec5SDimitry Andric } 4260b57cec5SDimitry Andric 4270b57cec5SDimitry Andric if (Verbose) 4280b57cec5SDimitry Andric errs() << "Linking in '" << File << "'\n"; 4290b57cec5SDimitry Andric 4300b57cec5SDimitry Andric bool Err = false; 4310b57cec5SDimitry Andric if (InternalizeLinkedSymbols) { 4320b57cec5SDimitry Andric Err = L.linkInModule( 4330b57cec5SDimitry Andric std::move(M), ApplicableFlags, [](Module &M, const StringSet<> &GVS) { 4340b57cec5SDimitry Andric internalizeModule(M, [&GVS](const GlobalValue &GV) { 4350b57cec5SDimitry Andric return !GV.hasName() || (GVS.count(GV.getName()) == 0); 4360b57cec5SDimitry Andric }); 4370b57cec5SDimitry Andric }); 4380b57cec5SDimitry Andric } else { 4390b57cec5SDimitry Andric Err = L.linkInModule(std::move(M), ApplicableFlags); 4400b57cec5SDimitry Andric } 4410b57cec5SDimitry Andric 4420b57cec5SDimitry Andric if (Err) 4430b57cec5SDimitry Andric return false; 4440b57cec5SDimitry Andric 4450b57cec5SDimitry Andric // Internalization applies to linking of subsequent files. 4460b57cec5SDimitry Andric InternalizeLinkedSymbols = Internalize; 4470b57cec5SDimitry Andric 4480b57cec5SDimitry Andric // All linker flags apply to linking of subsequent files. 4490b57cec5SDimitry Andric ApplicableFlags = Flags; 4500b57cec5SDimitry Andric } 4510b57cec5SDimitry Andric 4520b57cec5SDimitry Andric return true; 4530b57cec5SDimitry Andric } 4540b57cec5SDimitry Andric 4550b57cec5SDimitry Andric int main(int argc, char **argv) { 4560b57cec5SDimitry Andric InitLLVM X(argc, argv); 4570b57cec5SDimitry Andric ExitOnErr.setBanner(std::string(argv[0]) + ": "); 4580b57cec5SDimitry Andric 4590b57cec5SDimitry Andric LLVMContext Context; 460fe6060f1SDimitry Andric Context.setDiagnosticHandler(std::make_unique<LLVMLinkDiagnosticHandler>(), 461fe6060f1SDimitry Andric true); 462fe6060f1SDimitry Andric cl::HideUnrelatedOptions({&LinkCategory, &getColorCategory()}); 4630b57cec5SDimitry Andric cl::ParseCommandLineOptions(argc, argv, "llvm linker\n"); 4640b57cec5SDimitry Andric 4650b57cec5SDimitry Andric if (!DisableDITypeMap) 4660b57cec5SDimitry Andric Context.enableDebugTypeODRUniquing(); 4670b57cec5SDimitry Andric 4688bcb0991SDimitry Andric auto Composite = std::make_unique<Module>("llvm-link", Context); 4690b57cec5SDimitry Andric Linker L(*Composite); 4700b57cec5SDimitry Andric 4710b57cec5SDimitry Andric unsigned Flags = Linker::Flags::None; 4720b57cec5SDimitry Andric if (OnlyNeeded) 4730b57cec5SDimitry Andric Flags |= Linker::Flags::LinkOnlyNeeded; 4740b57cec5SDimitry Andric 4750b57cec5SDimitry Andric // First add all the regular input files 4760b57cec5SDimitry Andric if (!linkFiles(argv[0], Context, L, InputFilenames, Flags)) 4770b57cec5SDimitry Andric return 1; 4780b57cec5SDimitry Andric 4790b57cec5SDimitry Andric // Next the -override ones. 4800b57cec5SDimitry Andric if (!linkFiles(argv[0], Context, L, OverridingInputs, 4810b57cec5SDimitry Andric Flags | Linker::Flags::OverrideFromSrc)) 4820b57cec5SDimitry Andric return 1; 4830b57cec5SDimitry Andric 4840b57cec5SDimitry Andric // Import any functions requested via -import 4850b57cec5SDimitry Andric if (!importFunctions(argv[0], *Composite)) 4860b57cec5SDimitry Andric return 1; 4870b57cec5SDimitry Andric 4880b57cec5SDimitry Andric if (DumpAsm) 4890b57cec5SDimitry Andric errs() << "Here's the assembly:\n" << *Composite; 4900b57cec5SDimitry Andric 4910b57cec5SDimitry Andric std::error_code EC; 492e8d8bef9SDimitry Andric ToolOutputFile Out(OutputFilename, EC, 493fe6060f1SDimitry Andric OutputAssembly ? sys::fs::OF_TextWithCRLF 494fe6060f1SDimitry Andric : sys::fs::OF_None); 4950b57cec5SDimitry Andric if (EC) { 4960b57cec5SDimitry Andric WithColor::error() << EC.message() << '\n'; 4970b57cec5SDimitry Andric return 1; 4980b57cec5SDimitry Andric } 4990b57cec5SDimitry Andric 500fe6060f1SDimitry Andric if (!NoVerify && verifyModule(*Composite, &errs())) { 5010b57cec5SDimitry Andric errs() << argv[0] << ": "; 5020b57cec5SDimitry Andric WithColor::error() << "linked module is broken!\n"; 5030b57cec5SDimitry Andric return 1; 5040b57cec5SDimitry Andric } 5050b57cec5SDimitry Andric 5060b57cec5SDimitry Andric if (Verbose) 5070b57cec5SDimitry Andric errs() << "Writing bitcode...\n"; 5080b57cec5SDimitry Andric if (OutputAssembly) { 5090b57cec5SDimitry Andric Composite->print(Out.os(), nullptr, PreserveAssemblyUseListOrder); 5105ffd83dbSDimitry Andric } else if (Force || !CheckBitcodeOutputToConsole(Out.os())) 5110b57cec5SDimitry Andric WriteBitcodeToFile(*Composite, Out.os(), PreserveBitcodeUseListOrder); 5120b57cec5SDimitry Andric 5130b57cec5SDimitry Andric // Declare success. 5140b57cec5SDimitry Andric Out.keep(); 5150b57cec5SDimitry Andric 5160b57cec5SDimitry Andric return 0; 5170b57cec5SDimitry Andric } 518