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( 5181ad6265SDimitry 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( 5981ad6265SDimitry 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 12781ad6265SDimitry Andric static cl::opt<bool> IgnoreNonBitcode( 12881ad6265SDimitry Andric "ignore-non-bitcode", 12981ad6265SDimitry Andric cl::desc("Do not report an error for non-bitcode files in archives"), 13081ad6265SDimitry Andric cl::Hidden); 13181ad6265SDimitry 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"; 17281ad6265SDimitry Andric Expected<std::unique_ptr<object::Archive>> ArchiveOrError = 17381ad6265SDimitry Andric object::Archive::create(Buffer->getMemBufferRef()); 17481ad6265SDimitry Andric if (!ArchiveOrError) 17581ad6265SDimitry Andric ExitOnErr(ArchiveOrError.takeError()); 17681ad6265SDimitry Andric 17781ad6265SDimitry Andric std::unique_ptr<object::Archive> Archive = std::move(ArchiveOrError.get()); 17881ad6265SDimitry Andric 179e8d8bef9SDimitry Andric Linker L(*Result); 18081ad6265SDimitry Andric Error Err = Error::success(); 18181ad6265SDimitry 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()))) { 20781ad6265SDimitry Andric if (IgnoreNonBitcode) 20881ad6265SDimitry 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); 326*5f757f3fSDimitry Andric // Owns the filename strings used to key into the ImportList. Normally this is 327*5f757f3fSDimitry Andric // constructed from the index and the strings are owned by the index, however, 328*5f757f3fSDimitry Andric // since we are synthesizing this data structure from options we need a cache 329*5f757f3fSDimitry Andric // to own those strings. 330*5f757f3fSDimitry Andric StringSet<> FileNameStringCache; 3310b57cec5SDimitry Andric for (const auto &Import : Imports) { 3320b57cec5SDimitry Andric // Identify the requested function and its bitcode source file. 3330b57cec5SDimitry Andric size_t Idx = Import.find(':'); 3340b57cec5SDimitry Andric if (Idx == std::string::npos) { 3350b57cec5SDimitry Andric errs() << "Import parameter bad format: " << Import << "\n"; 3360b57cec5SDimitry Andric return false; 3370b57cec5SDimitry Andric } 3380b57cec5SDimitry Andric std::string FunctionName = Import.substr(0, Idx); 3390b57cec5SDimitry Andric std::string FileName = Import.substr(Idx + 1, std::string::npos); 3400b57cec5SDimitry Andric 3410b57cec5SDimitry Andric // Load the specified source module. 3420b57cec5SDimitry Andric auto &SrcModule = ModuleLoaderCache(argv0, FileName); 3430b57cec5SDimitry Andric 344fe6060f1SDimitry Andric if (!NoVerify && verifyModule(SrcModule, &errs())) { 3450b57cec5SDimitry Andric errs() << argv0 << ": " << FileName; 3460b57cec5SDimitry Andric WithColor::error() << "input module is broken!\n"; 3470b57cec5SDimitry Andric return false; 3480b57cec5SDimitry Andric } 3490b57cec5SDimitry Andric 3500b57cec5SDimitry Andric Function *F = SrcModule.getFunction(FunctionName); 3510b57cec5SDimitry Andric if (!F) { 3520b57cec5SDimitry Andric errs() << "Ignoring import request for non-existent function " 3530b57cec5SDimitry Andric << FunctionName << " from " << FileName << "\n"; 3540b57cec5SDimitry Andric continue; 3550b57cec5SDimitry Andric } 3560b57cec5SDimitry Andric // We cannot import weak_any functions without possibly affecting the 3570b57cec5SDimitry Andric // order they are seen and selected by the linker, changing program 3580b57cec5SDimitry Andric // semantics. 3590b57cec5SDimitry Andric if (F->hasWeakAnyLinkage()) { 3600b57cec5SDimitry Andric errs() << "Ignoring import request for weak-any function " << FunctionName 3610b57cec5SDimitry Andric << " from " << FileName << "\n"; 3620b57cec5SDimitry Andric continue; 3630b57cec5SDimitry Andric } 3640b57cec5SDimitry Andric 3650b57cec5SDimitry Andric if (Verbose) 3660b57cec5SDimitry Andric errs() << "Importing " << FunctionName << " from " << FileName << "\n"; 3670b57cec5SDimitry Andric 368*5f757f3fSDimitry Andric auto &Entry = 369*5f757f3fSDimitry Andric ImportList[FileNameStringCache.insert(FileName).first->getKey()]; 3700b57cec5SDimitry Andric Entry.insert(F->getGUID()); 3710b57cec5SDimitry Andric } 3720b57cec5SDimitry Andric auto CachedModuleLoader = [&](StringRef Identifier) { 3735ffd83dbSDimitry Andric return ModuleLoaderCache.takeModule(std::string(Identifier)); 3740b57cec5SDimitry Andric }; 3755ffd83dbSDimitry Andric FunctionImporter Importer(*Index, CachedModuleLoader, 3765ffd83dbSDimitry Andric /*ClearDSOLocalOnDeclarations=*/false); 3770b57cec5SDimitry Andric ExitOnErr(Importer.importFunctions(DestModule, ImportList)); 3780b57cec5SDimitry Andric 3790b57cec5SDimitry Andric return true; 3800b57cec5SDimitry Andric } 3810b57cec5SDimitry Andric 3820b57cec5SDimitry Andric static bool linkFiles(const char *argv0, LLVMContext &Context, Linker &L, 383fe6060f1SDimitry Andric const cl::list<std::string> &Files, unsigned Flags) { 3840b57cec5SDimitry Andric // Filter out flags that don't apply to the first file we load. 3850b57cec5SDimitry Andric unsigned ApplicableFlags = Flags & Linker::Flags::OverrideFromSrc; 3860b57cec5SDimitry Andric // Similar to some flags, internalization doesn't apply to the first file. 3870b57cec5SDimitry Andric bool InternalizeLinkedSymbols = false; 3880b57cec5SDimitry Andric for (const auto &File : Files) { 389e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer = 390e8d8bef9SDimitry Andric ExitOnErr(errorOrToExpected(MemoryBuffer::getFileOrSTDIN(File))); 391e8d8bef9SDimitry Andric 3925ffd83dbSDimitry Andric std::unique_ptr<Module> M = 393e8d8bef9SDimitry Andric identify_magic(Buffer->getBuffer()) == file_magic::archive 394e8d8bef9SDimitry Andric ? loadArFile(argv0, std::move(Buffer), Context) 395e8d8bef9SDimitry Andric : loadFile(argv0, std::move(Buffer), Context); 3960b57cec5SDimitry Andric if (!M.get()) { 3970b57cec5SDimitry Andric errs() << argv0 << ": "; 3980b57cec5SDimitry Andric WithColor::error() << " loading file '" << File << "'\n"; 3990b57cec5SDimitry Andric return false; 4000b57cec5SDimitry Andric } 4010b57cec5SDimitry Andric 4020b57cec5SDimitry Andric // Note that when ODR merging types cannot verify input files in here When 4030b57cec5SDimitry Andric // doing that debug metadata in the src module might already be pointing to 4040b57cec5SDimitry Andric // the destination. 405fe6060f1SDimitry Andric if (DisableDITypeMap && !NoVerify && verifyModule(*M, &errs())) { 4060b57cec5SDimitry Andric errs() << argv0 << ": " << File << ": "; 4070b57cec5SDimitry Andric WithColor::error() << "input module is broken!\n"; 4080b57cec5SDimitry Andric return false; 4090b57cec5SDimitry Andric } 4100b57cec5SDimitry Andric 4110b57cec5SDimitry Andric // If a module summary index is supplied, load it so linkInModule can treat 4120b57cec5SDimitry Andric // local functions/variables as exported and promote if necessary. 4130b57cec5SDimitry Andric if (!SummaryIndex.empty()) { 4140b57cec5SDimitry Andric std::unique_ptr<ModuleSummaryIndex> Index = 4150b57cec5SDimitry Andric ExitOnErr(llvm::getModuleSummaryIndexForFile(SummaryIndex)); 4160b57cec5SDimitry Andric 4170b57cec5SDimitry Andric // Conservatively mark all internal values as promoted, since this tool 4180b57cec5SDimitry Andric // does not do the ThinLink that would normally determine what values to 4190b57cec5SDimitry Andric // promote. 4200b57cec5SDimitry Andric for (auto &I : *Index) { 4210b57cec5SDimitry Andric for (auto &S : I.second.SummaryList) { 4220b57cec5SDimitry Andric if (GlobalValue::isLocalLinkage(S->linkage())) 4230b57cec5SDimitry Andric S->setLinkage(GlobalValue::ExternalLinkage); 4240b57cec5SDimitry Andric } 4250b57cec5SDimitry Andric } 4260b57cec5SDimitry Andric 4270b57cec5SDimitry Andric // Promotion 4285ffd83dbSDimitry Andric if (renameModuleForThinLTO(*M, *Index, 4295ffd83dbSDimitry Andric /*ClearDSOLocalOnDeclarations=*/false)) 4300b57cec5SDimitry Andric return true; 4310b57cec5SDimitry Andric } 4320b57cec5SDimitry Andric 4330b57cec5SDimitry Andric if (Verbose) 4340b57cec5SDimitry Andric errs() << "Linking in '" << File << "'\n"; 4350b57cec5SDimitry Andric 4360b57cec5SDimitry Andric bool Err = false; 4370b57cec5SDimitry Andric if (InternalizeLinkedSymbols) { 4380b57cec5SDimitry Andric Err = L.linkInModule( 4390b57cec5SDimitry Andric std::move(M), ApplicableFlags, [](Module &M, const StringSet<> &GVS) { 4400b57cec5SDimitry Andric internalizeModule(M, [&GVS](const GlobalValue &GV) { 4410b57cec5SDimitry Andric return !GV.hasName() || (GVS.count(GV.getName()) == 0); 4420b57cec5SDimitry Andric }); 4430b57cec5SDimitry Andric }); 4440b57cec5SDimitry Andric } else { 4450b57cec5SDimitry Andric Err = L.linkInModule(std::move(M), ApplicableFlags); 4460b57cec5SDimitry Andric } 4470b57cec5SDimitry Andric 4480b57cec5SDimitry Andric if (Err) 4490b57cec5SDimitry Andric return false; 4500b57cec5SDimitry Andric 4510b57cec5SDimitry Andric // Internalization applies to linking of subsequent files. 4520b57cec5SDimitry Andric InternalizeLinkedSymbols = Internalize; 4530b57cec5SDimitry Andric 4540b57cec5SDimitry Andric // All linker flags apply to linking of subsequent files. 4550b57cec5SDimitry Andric ApplicableFlags = Flags; 4560b57cec5SDimitry Andric } 4570b57cec5SDimitry Andric 4580b57cec5SDimitry Andric return true; 4590b57cec5SDimitry Andric } 4600b57cec5SDimitry Andric 4610b57cec5SDimitry Andric int main(int argc, char **argv) { 4620b57cec5SDimitry Andric InitLLVM X(argc, argv); 4630b57cec5SDimitry Andric ExitOnErr.setBanner(std::string(argv[0]) + ": "); 4640b57cec5SDimitry Andric 465bdd1243dSDimitry Andric cl::HideUnrelatedOptions({&LinkCategory, &getColorCategory()}); 466bdd1243dSDimitry Andric cl::ParseCommandLineOptions(argc, argv, "llvm linker\n"); 467bdd1243dSDimitry Andric 4680b57cec5SDimitry Andric LLVMContext Context; 469fe6060f1SDimitry Andric Context.setDiagnosticHandler(std::make_unique<LLVMLinkDiagnosticHandler>(), 470fe6060f1SDimitry Andric true); 4710b57cec5SDimitry Andric 4720b57cec5SDimitry Andric if (!DisableDITypeMap) 4730b57cec5SDimitry Andric Context.enableDebugTypeODRUniquing(); 4740b57cec5SDimitry Andric 4758bcb0991SDimitry Andric auto Composite = std::make_unique<Module>("llvm-link", Context); 4760b57cec5SDimitry Andric Linker L(*Composite); 4770b57cec5SDimitry Andric 4780b57cec5SDimitry Andric unsigned Flags = Linker::Flags::None; 4790b57cec5SDimitry Andric if (OnlyNeeded) 4800b57cec5SDimitry Andric Flags |= Linker::Flags::LinkOnlyNeeded; 4810b57cec5SDimitry Andric 4820b57cec5SDimitry Andric // First add all the regular input files 4830b57cec5SDimitry Andric if (!linkFiles(argv[0], Context, L, InputFilenames, Flags)) 4840b57cec5SDimitry Andric return 1; 4850b57cec5SDimitry Andric 4860b57cec5SDimitry Andric // Next the -override ones. 4870b57cec5SDimitry Andric if (!linkFiles(argv[0], Context, L, OverridingInputs, 4880b57cec5SDimitry Andric Flags | Linker::Flags::OverrideFromSrc)) 4890b57cec5SDimitry Andric return 1; 4900b57cec5SDimitry Andric 4910b57cec5SDimitry Andric // Import any functions requested via -import 4920b57cec5SDimitry Andric if (!importFunctions(argv[0], *Composite)) 4930b57cec5SDimitry Andric return 1; 4940b57cec5SDimitry Andric 4950b57cec5SDimitry Andric if (DumpAsm) 4960b57cec5SDimitry Andric errs() << "Here's the assembly:\n" << *Composite; 4970b57cec5SDimitry Andric 4980b57cec5SDimitry Andric std::error_code EC; 499e8d8bef9SDimitry Andric ToolOutputFile Out(OutputFilename, EC, 500fe6060f1SDimitry Andric OutputAssembly ? sys::fs::OF_TextWithCRLF 501fe6060f1SDimitry Andric : sys::fs::OF_None); 5020b57cec5SDimitry Andric if (EC) { 5030b57cec5SDimitry Andric WithColor::error() << EC.message() << '\n'; 5040b57cec5SDimitry Andric return 1; 5050b57cec5SDimitry Andric } 5060b57cec5SDimitry Andric 507fe6060f1SDimitry Andric if (!NoVerify && verifyModule(*Composite, &errs())) { 5080b57cec5SDimitry Andric errs() << argv[0] << ": "; 5090b57cec5SDimitry Andric WithColor::error() << "linked module is broken!\n"; 5100b57cec5SDimitry Andric return 1; 5110b57cec5SDimitry Andric } 5120b57cec5SDimitry Andric 5130b57cec5SDimitry Andric if (Verbose) 5140b57cec5SDimitry Andric errs() << "Writing bitcode...\n"; 5150b57cec5SDimitry Andric if (OutputAssembly) { 5160b57cec5SDimitry Andric Composite->print(Out.os(), nullptr, PreserveAssemblyUseListOrder); 5175ffd83dbSDimitry Andric } else if (Force || !CheckBitcodeOutputToConsole(Out.os())) 5180b57cec5SDimitry Andric WriteBitcodeToFile(*Composite, Out.os(), PreserveBitcodeUseListOrder); 5190b57cec5SDimitry Andric 5200b57cec5SDimitry Andric // Declare success. 5210b57cec5SDimitry Andric Out.keep(); 5220b57cec5SDimitry Andric 5230b57cec5SDimitry Andric return 0; 5240b57cec5SDimitry Andric } 525