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" 15*e8d8bef9SDimitry 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" 27*e8d8bef9SDimitry 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 440b57cec5SDimitry Andric static cl::list<std::string> 450b57cec5SDimitry Andric InputFilenames(cl::Positional, cl::OneOrMore, 460b57cec5SDimitry Andric cl::desc("<input bitcode files>")); 470b57cec5SDimitry Andric 480b57cec5SDimitry Andric static cl::list<std::string> OverridingInputs( 490b57cec5SDimitry Andric "override", cl::ZeroOrMore, cl::value_desc("filename"), 500b57cec5SDimitry Andric cl::desc( 510b57cec5SDimitry Andric "input bitcode file which can override previously defined symbol(s)")); 520b57cec5SDimitry Andric 530b57cec5SDimitry Andric // Option to simulate function importing for testing. This enables using 540b57cec5SDimitry Andric // llvm-link to simulate ThinLTO backend processes. 550b57cec5SDimitry Andric static cl::list<std::string> Imports( 560b57cec5SDimitry Andric "import", cl::ZeroOrMore, cl::value_desc("function:filename"), 570b57cec5SDimitry Andric cl::desc("Pair of function name and filename, where function should be " 580b57cec5SDimitry Andric "imported from bitcode in filename")); 590b57cec5SDimitry Andric 600b57cec5SDimitry Andric // Option to support testing of function importing. The module summary 610b57cec5SDimitry Andric // must be specified in the case were we request imports via the -import 620b57cec5SDimitry Andric // option, as well as when compiling any module with functions that may be 630b57cec5SDimitry Andric // exported (imported by a different llvm-link -import invocation), to ensure 640b57cec5SDimitry Andric // consistent promotion and renaming of locals. 650b57cec5SDimitry Andric static cl::opt<std::string> 660b57cec5SDimitry Andric SummaryIndex("summary-index", cl::desc("Module summary index filename"), 670b57cec5SDimitry Andric cl::init(""), cl::value_desc("filename")); 680b57cec5SDimitry Andric 690b57cec5SDimitry Andric static cl::opt<std::string> 700b57cec5SDimitry Andric OutputFilename("o", cl::desc("Override output filename"), cl::init("-"), 710b57cec5SDimitry Andric cl::value_desc("filename")); 720b57cec5SDimitry Andric 730b57cec5SDimitry Andric static cl::opt<bool> 740b57cec5SDimitry Andric Internalize("internalize", cl::desc("Internalize linked symbols")); 750b57cec5SDimitry Andric 760b57cec5SDimitry Andric static cl::opt<bool> 770b57cec5SDimitry Andric DisableDITypeMap("disable-debug-info-type-map", 780b57cec5SDimitry Andric cl::desc("Don't use a uniquing type map for debug info")); 790b57cec5SDimitry Andric 800b57cec5SDimitry Andric static cl::opt<bool> 810b57cec5SDimitry Andric OnlyNeeded("only-needed", cl::desc("Link only needed symbols")); 820b57cec5SDimitry Andric 830b57cec5SDimitry Andric static cl::opt<bool> 840b57cec5SDimitry Andric Force("f", cl::desc("Enable binary output on terminals")); 850b57cec5SDimitry Andric 860b57cec5SDimitry Andric static cl::opt<bool> 870b57cec5SDimitry Andric DisableLazyLoad("disable-lazy-loading", 880b57cec5SDimitry Andric cl::desc("Disable lazy module loading")); 890b57cec5SDimitry Andric 900b57cec5SDimitry Andric static cl::opt<bool> 910b57cec5SDimitry Andric OutputAssembly("S", cl::desc("Write output as LLVM assembly"), cl::Hidden); 920b57cec5SDimitry Andric 930b57cec5SDimitry Andric static cl::opt<bool> 940b57cec5SDimitry Andric Verbose("v", cl::desc("Print information about actions taken")); 950b57cec5SDimitry Andric 960b57cec5SDimitry Andric static cl::opt<bool> 970b57cec5SDimitry Andric DumpAsm("d", cl::desc("Print assembly as linked"), cl::Hidden); 980b57cec5SDimitry Andric 990b57cec5SDimitry Andric static cl::opt<bool> 1000b57cec5SDimitry Andric SuppressWarnings("suppress-warnings", cl::desc("Suppress all linking warnings"), 1010b57cec5SDimitry Andric cl::init(false)); 1020b57cec5SDimitry Andric 1030b57cec5SDimitry Andric static cl::opt<bool> PreserveBitcodeUseListOrder( 1040b57cec5SDimitry Andric "preserve-bc-uselistorder", 1050b57cec5SDimitry Andric cl::desc("Preserve use-list order when writing LLVM bitcode."), 1060b57cec5SDimitry Andric cl::init(true), cl::Hidden); 1070b57cec5SDimitry Andric 1080b57cec5SDimitry Andric static cl::opt<bool> PreserveAssemblyUseListOrder( 1090b57cec5SDimitry Andric "preserve-ll-uselistorder", 1100b57cec5SDimitry Andric cl::desc("Preserve use-list order when writing LLVM assembly."), 1110b57cec5SDimitry Andric cl::init(false), cl::Hidden); 1120b57cec5SDimitry Andric 1130b57cec5SDimitry Andric static ExitOnError ExitOnErr; 1140b57cec5SDimitry Andric 1150b57cec5SDimitry Andric // Read the specified bitcode file in and return it. This routine searches the 1160b57cec5SDimitry Andric // link path for the specified file to try to find it... 1170b57cec5SDimitry Andric // 1180b57cec5SDimitry Andric static std::unique_ptr<Module> loadFile(const char *argv0, 119*e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer, 1200b57cec5SDimitry Andric LLVMContext &Context, 1210b57cec5SDimitry Andric bool MaterializeMetadata = true) { 1220b57cec5SDimitry Andric SMDiagnostic Err; 1230b57cec5SDimitry Andric if (Verbose) 124*e8d8bef9SDimitry Andric errs() << "Loading '" << Buffer->getBufferIdentifier() << "'\n"; 1250b57cec5SDimitry Andric std::unique_ptr<Module> Result; 1260b57cec5SDimitry Andric if (DisableLazyLoad) 127*e8d8bef9SDimitry Andric Result = parseIR(*Buffer, Err, Context); 1280b57cec5SDimitry Andric else 129*e8d8bef9SDimitry Andric Result = 130*e8d8bef9SDimitry Andric getLazyIRModule(std::move(Buffer), Err, Context, !MaterializeMetadata); 1310b57cec5SDimitry Andric 1320b57cec5SDimitry Andric if (!Result) { 1330b57cec5SDimitry Andric Err.print(argv0, errs()); 1340b57cec5SDimitry Andric return nullptr; 1350b57cec5SDimitry Andric } 1360b57cec5SDimitry Andric 1370b57cec5SDimitry Andric if (MaterializeMetadata) { 1380b57cec5SDimitry Andric ExitOnErr(Result->materializeMetadata()); 1390b57cec5SDimitry Andric UpgradeDebugInfo(*Result); 1400b57cec5SDimitry Andric } 1410b57cec5SDimitry Andric 1420b57cec5SDimitry Andric return Result; 1430b57cec5SDimitry Andric } 1440b57cec5SDimitry Andric 1455ffd83dbSDimitry Andric static std::unique_ptr<Module> loadArFile(const char *Argv0, 146*e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer, 147*e8d8bef9SDimitry Andric LLVMContext &Context) { 1485ffd83dbSDimitry Andric std::unique_ptr<Module> Result(new Module("ArchiveModule", Context)); 149*e8d8bef9SDimitry Andric StringRef ArchiveName = Buffer->getBufferIdentifier(); 1505ffd83dbSDimitry Andric if (Verbose) 1515ffd83dbSDimitry Andric errs() << "Reading library archive file '" << ArchiveName 1525ffd83dbSDimitry Andric << "' to memory\n"; 1535ffd83dbSDimitry Andric Error Err = Error::success(); 154*e8d8bef9SDimitry Andric object::Archive Archive(*Buffer, Err); 1555ffd83dbSDimitry Andric ExitOnErr(std::move(Err)); 156*e8d8bef9SDimitry Andric Linker L(*Result); 1575ffd83dbSDimitry Andric for (const object::Archive::Child &C : Archive.children(Err)) { 1585ffd83dbSDimitry Andric Expected<StringRef> Ename = C.getName(); 1595ffd83dbSDimitry Andric if (Error E = Ename.takeError()) { 1605ffd83dbSDimitry Andric errs() << Argv0 << ": "; 1615ffd83dbSDimitry Andric WithColor::error() 1625ffd83dbSDimitry Andric << " failed to read name of archive member" 1635ffd83dbSDimitry Andric << ArchiveName << "'\n"; 1645ffd83dbSDimitry Andric return nullptr; 165*e8d8bef9SDimitry Andric } 1665ffd83dbSDimitry Andric std::string ChildName = Ename.get().str(); 1675ffd83dbSDimitry Andric if (Verbose) 1685ffd83dbSDimitry Andric errs() << "Parsing member '" << ChildName 1695ffd83dbSDimitry Andric << "' of archive library to module.\n"; 1705ffd83dbSDimitry Andric SMDiagnostic ParseErr; 1715ffd83dbSDimitry Andric Expected<MemoryBufferRef> MemBuf = C.getMemoryBufferRef(); 1725ffd83dbSDimitry Andric if (Error E = MemBuf.takeError()) { 1735ffd83dbSDimitry Andric errs() << Argv0 << ": "; 1745ffd83dbSDimitry Andric WithColor::error() << " loading memory for member '" << ChildName 1755ffd83dbSDimitry Andric << "' of archive library failed'" << ArchiveName 1765ffd83dbSDimitry Andric << "'\n"; 1775ffd83dbSDimitry Andric return nullptr; 1785ffd83dbSDimitry Andric }; 1795ffd83dbSDimitry Andric 1805ffd83dbSDimitry Andric if (!isBitcode(reinterpret_cast<const unsigned char *> 1815ffd83dbSDimitry Andric (MemBuf.get().getBufferStart()), 1825ffd83dbSDimitry Andric reinterpret_cast<const unsigned char *> 1835ffd83dbSDimitry Andric (MemBuf.get().getBufferEnd()))) { 1845ffd83dbSDimitry Andric errs() << Argv0 << ": "; 1855ffd83dbSDimitry Andric WithColor::error() << " member of archive is not a bitcode file: '" 1865ffd83dbSDimitry Andric << ChildName << "'\n"; 1875ffd83dbSDimitry Andric return nullptr; 1885ffd83dbSDimitry Andric } 1895ffd83dbSDimitry Andric 190*e8d8bef9SDimitry Andric std::unique_ptr<Module> M; 191*e8d8bef9SDimitry Andric if (DisableLazyLoad) 192*e8d8bef9SDimitry Andric M = parseIR(MemBuf.get(), ParseErr, Context); 193*e8d8bef9SDimitry Andric else 194*e8d8bef9SDimitry Andric M = getLazyIRModule(MemoryBuffer::getMemBuffer(MemBuf.get(), false), 195*e8d8bef9SDimitry Andric ParseErr, Context); 1965ffd83dbSDimitry Andric 1975ffd83dbSDimitry Andric if (!M.get()) { 1985ffd83dbSDimitry Andric errs() << Argv0 << ": "; 1995ffd83dbSDimitry Andric WithColor::error() << " parsing member '" << ChildName 2005ffd83dbSDimitry Andric << "' of archive library failed'" << ArchiveName 2015ffd83dbSDimitry Andric << "'\n"; 2025ffd83dbSDimitry Andric return nullptr; 2035ffd83dbSDimitry Andric } 2045ffd83dbSDimitry Andric if (Verbose) 2055ffd83dbSDimitry Andric errs() << "Linking member '" << ChildName << "' of archive library.\n"; 206*e8d8bef9SDimitry Andric if (L.linkInModule(std::move(M))) 2075ffd83dbSDimitry Andric return nullptr; 2085ffd83dbSDimitry Andric } // end for each child 2095ffd83dbSDimitry Andric ExitOnErr(std::move(Err)); 2105ffd83dbSDimitry Andric return Result; 2115ffd83dbSDimitry Andric } 2125ffd83dbSDimitry Andric 2130b57cec5SDimitry Andric namespace { 2140b57cec5SDimitry Andric 2150b57cec5SDimitry Andric /// Helper to load on demand a Module from file and cache it for subsequent 2160b57cec5SDimitry Andric /// queries during function importing. 2170b57cec5SDimitry Andric class ModuleLazyLoaderCache { 2180b57cec5SDimitry Andric /// Cache of lazily loaded module for import. 2190b57cec5SDimitry Andric StringMap<std::unique_ptr<Module>> ModuleMap; 2200b57cec5SDimitry Andric 2210b57cec5SDimitry Andric /// Retrieve a Module from the cache or lazily load it on demand. 2220b57cec5SDimitry Andric std::function<std::unique_ptr<Module>(const char *argv0, 2230b57cec5SDimitry Andric const std::string &FileName)> 2240b57cec5SDimitry Andric createLazyModule; 2250b57cec5SDimitry Andric 2260b57cec5SDimitry Andric public: 2270b57cec5SDimitry Andric /// Create the loader, Module will be initialized in \p Context. 2280b57cec5SDimitry Andric ModuleLazyLoaderCache(std::function<std::unique_ptr<Module>( 2290b57cec5SDimitry Andric const char *argv0, const std::string &FileName)> 2300b57cec5SDimitry Andric createLazyModule) 2310b57cec5SDimitry Andric : createLazyModule(std::move(createLazyModule)) {} 2320b57cec5SDimitry Andric 2330b57cec5SDimitry Andric /// Retrieve a Module from the cache or lazily load it on demand. 2340b57cec5SDimitry Andric Module &operator()(const char *argv0, const std::string &FileName); 2350b57cec5SDimitry Andric 2360b57cec5SDimitry Andric std::unique_ptr<Module> takeModule(const std::string &FileName) { 2370b57cec5SDimitry Andric auto I = ModuleMap.find(FileName); 2380b57cec5SDimitry Andric assert(I != ModuleMap.end()); 2390b57cec5SDimitry Andric std::unique_ptr<Module> Ret = std::move(I->second); 2400b57cec5SDimitry Andric ModuleMap.erase(I); 2410b57cec5SDimitry Andric return Ret; 2420b57cec5SDimitry Andric } 2430b57cec5SDimitry Andric }; 2440b57cec5SDimitry Andric 2450b57cec5SDimitry Andric // Get a Module for \p FileName from the cache, or load it lazily. 2460b57cec5SDimitry Andric Module &ModuleLazyLoaderCache::operator()(const char *argv0, 2470b57cec5SDimitry Andric const std::string &Identifier) { 2480b57cec5SDimitry Andric auto &Module = ModuleMap[Identifier]; 2490b57cec5SDimitry Andric if (!Module) 2500b57cec5SDimitry Andric Module = createLazyModule(argv0, Identifier); 2510b57cec5SDimitry Andric return *Module; 2520b57cec5SDimitry Andric } 2530b57cec5SDimitry Andric } // anonymous namespace 2540b57cec5SDimitry Andric 2550b57cec5SDimitry Andric namespace { 2560b57cec5SDimitry Andric struct LLVMLinkDiagnosticHandler : public DiagnosticHandler { 2570b57cec5SDimitry Andric bool handleDiagnostics(const DiagnosticInfo &DI) override { 2580b57cec5SDimitry Andric unsigned Severity = DI.getSeverity(); 2590b57cec5SDimitry Andric switch (Severity) { 2600b57cec5SDimitry Andric case DS_Error: 2610b57cec5SDimitry Andric WithColor::error(); 2620b57cec5SDimitry Andric break; 2630b57cec5SDimitry Andric case DS_Warning: 2640b57cec5SDimitry Andric if (SuppressWarnings) 2650b57cec5SDimitry Andric return true; 2660b57cec5SDimitry Andric WithColor::warning(); 2670b57cec5SDimitry Andric break; 2680b57cec5SDimitry Andric case DS_Remark: 2690b57cec5SDimitry Andric case DS_Note: 2700b57cec5SDimitry Andric llvm_unreachable("Only expecting warnings and errors"); 2710b57cec5SDimitry Andric } 2720b57cec5SDimitry Andric 2730b57cec5SDimitry Andric DiagnosticPrinterRawOStream DP(errs()); 2740b57cec5SDimitry Andric DI.print(DP); 2750b57cec5SDimitry Andric errs() << '\n'; 2760b57cec5SDimitry Andric return true; 2770b57cec5SDimitry Andric } 2780b57cec5SDimitry Andric }; 2790b57cec5SDimitry Andric } 2800b57cec5SDimitry Andric 2810b57cec5SDimitry Andric /// Import any functions requested via the -import option. 2820b57cec5SDimitry Andric static bool importFunctions(const char *argv0, Module &DestModule) { 2830b57cec5SDimitry Andric if (SummaryIndex.empty()) 2840b57cec5SDimitry Andric return true; 2850b57cec5SDimitry Andric std::unique_ptr<ModuleSummaryIndex> Index = 2860b57cec5SDimitry Andric ExitOnErr(llvm::getModuleSummaryIndexForFile(SummaryIndex)); 2870b57cec5SDimitry Andric 2880b57cec5SDimitry Andric // Map of Module -> List of globals to import from the Module 2890b57cec5SDimitry Andric FunctionImporter::ImportMapTy ImportList; 2900b57cec5SDimitry Andric 2910b57cec5SDimitry Andric auto ModuleLoader = [&DestModule](const char *argv0, 2920b57cec5SDimitry Andric const std::string &Identifier) { 293*e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer = 294*e8d8bef9SDimitry Andric ExitOnErr(errorOrToExpected(MemoryBuffer::getFileOrSTDIN(Identifier))); 295*e8d8bef9SDimitry Andric return loadFile(argv0, std::move(Buffer), DestModule.getContext(), false); 2960b57cec5SDimitry Andric }; 2970b57cec5SDimitry Andric 2980b57cec5SDimitry Andric ModuleLazyLoaderCache ModuleLoaderCache(ModuleLoader); 2990b57cec5SDimitry Andric for (const auto &Import : Imports) { 3000b57cec5SDimitry Andric // Identify the requested function and its bitcode source file. 3010b57cec5SDimitry Andric size_t Idx = Import.find(':'); 3020b57cec5SDimitry Andric if (Idx == std::string::npos) { 3030b57cec5SDimitry Andric errs() << "Import parameter bad format: " << Import << "\n"; 3040b57cec5SDimitry Andric return false; 3050b57cec5SDimitry Andric } 3060b57cec5SDimitry Andric std::string FunctionName = Import.substr(0, Idx); 3070b57cec5SDimitry Andric std::string FileName = Import.substr(Idx + 1, std::string::npos); 3080b57cec5SDimitry Andric 3090b57cec5SDimitry Andric // Load the specified source module. 3100b57cec5SDimitry Andric auto &SrcModule = ModuleLoaderCache(argv0, FileName); 3110b57cec5SDimitry Andric 3120b57cec5SDimitry Andric if (verifyModule(SrcModule, &errs())) { 3130b57cec5SDimitry Andric errs() << argv0 << ": " << FileName; 3140b57cec5SDimitry Andric WithColor::error() << "input module is broken!\n"; 3150b57cec5SDimitry Andric return false; 3160b57cec5SDimitry Andric } 3170b57cec5SDimitry Andric 3180b57cec5SDimitry Andric Function *F = SrcModule.getFunction(FunctionName); 3190b57cec5SDimitry Andric if (!F) { 3200b57cec5SDimitry Andric errs() << "Ignoring import request for non-existent function " 3210b57cec5SDimitry Andric << FunctionName << " from " << FileName << "\n"; 3220b57cec5SDimitry Andric continue; 3230b57cec5SDimitry Andric } 3240b57cec5SDimitry Andric // We cannot import weak_any functions without possibly affecting the 3250b57cec5SDimitry Andric // order they are seen and selected by the linker, changing program 3260b57cec5SDimitry Andric // semantics. 3270b57cec5SDimitry Andric if (F->hasWeakAnyLinkage()) { 3280b57cec5SDimitry Andric errs() << "Ignoring import request for weak-any function " << FunctionName 3290b57cec5SDimitry Andric << " from " << FileName << "\n"; 3300b57cec5SDimitry Andric continue; 3310b57cec5SDimitry Andric } 3320b57cec5SDimitry Andric 3330b57cec5SDimitry Andric if (Verbose) 3340b57cec5SDimitry Andric errs() << "Importing " << FunctionName << " from " << FileName << "\n"; 3350b57cec5SDimitry Andric 3360b57cec5SDimitry Andric auto &Entry = ImportList[FileName]; 3370b57cec5SDimitry Andric Entry.insert(F->getGUID()); 3380b57cec5SDimitry Andric } 3390b57cec5SDimitry Andric auto CachedModuleLoader = [&](StringRef Identifier) { 3405ffd83dbSDimitry Andric return ModuleLoaderCache.takeModule(std::string(Identifier)); 3410b57cec5SDimitry Andric }; 3425ffd83dbSDimitry Andric FunctionImporter Importer(*Index, CachedModuleLoader, 3435ffd83dbSDimitry Andric /*ClearDSOLocalOnDeclarations=*/false); 3440b57cec5SDimitry Andric ExitOnErr(Importer.importFunctions(DestModule, ImportList)); 3450b57cec5SDimitry Andric 3460b57cec5SDimitry Andric return true; 3470b57cec5SDimitry Andric } 3480b57cec5SDimitry Andric 3490b57cec5SDimitry Andric static bool linkFiles(const char *argv0, LLVMContext &Context, Linker &L, 3500b57cec5SDimitry Andric const cl::list<std::string> &Files, 3510b57cec5SDimitry Andric unsigned Flags) { 3520b57cec5SDimitry Andric // Filter out flags that don't apply to the first file we load. 3530b57cec5SDimitry Andric unsigned ApplicableFlags = Flags & Linker::Flags::OverrideFromSrc; 3540b57cec5SDimitry Andric // Similar to some flags, internalization doesn't apply to the first file. 3550b57cec5SDimitry Andric bool InternalizeLinkedSymbols = false; 3560b57cec5SDimitry Andric for (const auto &File : Files) { 357*e8d8bef9SDimitry Andric std::unique_ptr<MemoryBuffer> Buffer = 358*e8d8bef9SDimitry Andric ExitOnErr(errorOrToExpected(MemoryBuffer::getFileOrSTDIN(File))); 359*e8d8bef9SDimitry Andric 3605ffd83dbSDimitry Andric std::unique_ptr<Module> M = 361*e8d8bef9SDimitry Andric identify_magic(Buffer->getBuffer()) == file_magic::archive 362*e8d8bef9SDimitry Andric ? loadArFile(argv0, std::move(Buffer), Context) 363*e8d8bef9SDimitry Andric : loadFile(argv0, std::move(Buffer), Context); 3640b57cec5SDimitry Andric if (!M.get()) { 3650b57cec5SDimitry Andric errs() << argv0 << ": "; 3660b57cec5SDimitry Andric WithColor::error() << " loading file '" << File << "'\n"; 3670b57cec5SDimitry Andric return false; 3680b57cec5SDimitry Andric } 3690b57cec5SDimitry Andric 3700b57cec5SDimitry Andric // Note that when ODR merging types cannot verify input files in here When 3710b57cec5SDimitry Andric // doing that debug metadata in the src module might already be pointing to 3720b57cec5SDimitry Andric // the destination. 3730b57cec5SDimitry Andric if (DisableDITypeMap && verifyModule(*M, &errs())) { 3740b57cec5SDimitry Andric errs() << argv0 << ": " << File << ": "; 3750b57cec5SDimitry Andric WithColor::error() << "input module is broken!\n"; 3760b57cec5SDimitry Andric return false; 3770b57cec5SDimitry Andric } 3780b57cec5SDimitry Andric 3790b57cec5SDimitry Andric // If a module summary index is supplied, load it so linkInModule can treat 3800b57cec5SDimitry Andric // local functions/variables as exported and promote if necessary. 3810b57cec5SDimitry Andric if (!SummaryIndex.empty()) { 3820b57cec5SDimitry Andric std::unique_ptr<ModuleSummaryIndex> Index = 3830b57cec5SDimitry Andric ExitOnErr(llvm::getModuleSummaryIndexForFile(SummaryIndex)); 3840b57cec5SDimitry Andric 3850b57cec5SDimitry Andric // Conservatively mark all internal values as promoted, since this tool 3860b57cec5SDimitry Andric // does not do the ThinLink that would normally determine what values to 3870b57cec5SDimitry Andric // promote. 3880b57cec5SDimitry Andric for (auto &I : *Index) { 3890b57cec5SDimitry Andric for (auto &S : I.second.SummaryList) { 3900b57cec5SDimitry Andric if (GlobalValue::isLocalLinkage(S->linkage())) 3910b57cec5SDimitry Andric S->setLinkage(GlobalValue::ExternalLinkage); 3920b57cec5SDimitry Andric } 3930b57cec5SDimitry Andric } 3940b57cec5SDimitry Andric 3950b57cec5SDimitry Andric // Promotion 3965ffd83dbSDimitry Andric if (renameModuleForThinLTO(*M, *Index, 3975ffd83dbSDimitry Andric /*ClearDSOLocalOnDeclarations=*/false)) 3980b57cec5SDimitry Andric return true; 3990b57cec5SDimitry Andric } 4000b57cec5SDimitry Andric 4010b57cec5SDimitry Andric if (Verbose) 4020b57cec5SDimitry Andric errs() << "Linking in '" << File << "'\n"; 4030b57cec5SDimitry Andric 4040b57cec5SDimitry Andric bool Err = false; 4050b57cec5SDimitry Andric if (InternalizeLinkedSymbols) { 4060b57cec5SDimitry Andric Err = L.linkInModule( 4070b57cec5SDimitry Andric std::move(M), ApplicableFlags, [](Module &M, const StringSet<> &GVS) { 4080b57cec5SDimitry Andric internalizeModule(M, [&GVS](const GlobalValue &GV) { 4090b57cec5SDimitry Andric return !GV.hasName() || (GVS.count(GV.getName()) == 0); 4100b57cec5SDimitry Andric }); 4110b57cec5SDimitry Andric }); 4120b57cec5SDimitry Andric } else { 4130b57cec5SDimitry Andric Err = L.linkInModule(std::move(M), ApplicableFlags); 4140b57cec5SDimitry Andric } 4150b57cec5SDimitry Andric 4160b57cec5SDimitry Andric if (Err) 4170b57cec5SDimitry Andric return false; 4180b57cec5SDimitry Andric 4190b57cec5SDimitry Andric // Internalization applies to linking of subsequent files. 4200b57cec5SDimitry Andric InternalizeLinkedSymbols = Internalize; 4210b57cec5SDimitry Andric 4220b57cec5SDimitry Andric // All linker flags apply to linking of subsequent files. 4230b57cec5SDimitry Andric ApplicableFlags = Flags; 4240b57cec5SDimitry Andric } 4250b57cec5SDimitry Andric 4260b57cec5SDimitry Andric return true; 4270b57cec5SDimitry Andric } 4280b57cec5SDimitry Andric 4290b57cec5SDimitry Andric int main(int argc, char **argv) { 4300b57cec5SDimitry Andric InitLLVM X(argc, argv); 4310b57cec5SDimitry Andric ExitOnErr.setBanner(std::string(argv[0]) + ": "); 4320b57cec5SDimitry Andric 4330b57cec5SDimitry Andric LLVMContext Context; 4340b57cec5SDimitry Andric Context.setDiagnosticHandler( 4358bcb0991SDimitry Andric std::make_unique<LLVMLinkDiagnosticHandler>(), true); 4360b57cec5SDimitry Andric cl::ParseCommandLineOptions(argc, argv, "llvm linker\n"); 4370b57cec5SDimitry Andric 4380b57cec5SDimitry Andric if (!DisableDITypeMap) 4390b57cec5SDimitry Andric Context.enableDebugTypeODRUniquing(); 4400b57cec5SDimitry Andric 4418bcb0991SDimitry Andric auto Composite = std::make_unique<Module>("llvm-link", Context); 4420b57cec5SDimitry Andric Linker L(*Composite); 4430b57cec5SDimitry Andric 4440b57cec5SDimitry Andric unsigned Flags = Linker::Flags::None; 4450b57cec5SDimitry Andric if (OnlyNeeded) 4460b57cec5SDimitry Andric Flags |= Linker::Flags::LinkOnlyNeeded; 4470b57cec5SDimitry Andric 4480b57cec5SDimitry Andric // First add all the regular input files 4490b57cec5SDimitry Andric if (!linkFiles(argv[0], Context, L, InputFilenames, Flags)) 4500b57cec5SDimitry Andric return 1; 4510b57cec5SDimitry Andric 4520b57cec5SDimitry Andric // Next the -override ones. 4530b57cec5SDimitry Andric if (!linkFiles(argv[0], Context, L, OverridingInputs, 4540b57cec5SDimitry Andric Flags | Linker::Flags::OverrideFromSrc)) 4550b57cec5SDimitry Andric return 1; 4560b57cec5SDimitry Andric 4570b57cec5SDimitry Andric // Import any functions requested via -import 4580b57cec5SDimitry Andric if (!importFunctions(argv[0], *Composite)) 4590b57cec5SDimitry Andric return 1; 4600b57cec5SDimitry Andric 4610b57cec5SDimitry Andric if (DumpAsm) 4620b57cec5SDimitry Andric errs() << "Here's the assembly:\n" << *Composite; 4630b57cec5SDimitry Andric 4640b57cec5SDimitry Andric std::error_code EC; 465*e8d8bef9SDimitry Andric ToolOutputFile Out(OutputFilename, EC, 466*e8d8bef9SDimitry Andric OutputAssembly ? sys::fs::OF_Text : sys::fs::OF_None); 4670b57cec5SDimitry Andric if (EC) { 4680b57cec5SDimitry Andric WithColor::error() << EC.message() << '\n'; 4690b57cec5SDimitry Andric return 1; 4700b57cec5SDimitry Andric } 4710b57cec5SDimitry Andric 4720b57cec5SDimitry Andric if (verifyModule(*Composite, &errs())) { 4730b57cec5SDimitry Andric errs() << argv[0] << ": "; 4740b57cec5SDimitry Andric WithColor::error() << "linked module is broken!\n"; 4750b57cec5SDimitry Andric return 1; 4760b57cec5SDimitry Andric } 4770b57cec5SDimitry Andric 4780b57cec5SDimitry Andric if (Verbose) 4790b57cec5SDimitry Andric errs() << "Writing bitcode...\n"; 4800b57cec5SDimitry Andric if (OutputAssembly) { 4810b57cec5SDimitry Andric Composite->print(Out.os(), nullptr, PreserveAssemblyUseListOrder); 4825ffd83dbSDimitry Andric } else if (Force || !CheckBitcodeOutputToConsole(Out.os())) 4830b57cec5SDimitry Andric WriteBitcodeToFile(*Composite, Out.os(), PreserveBitcodeUseListOrder); 4840b57cec5SDimitry Andric 4850b57cec5SDimitry Andric // Declare success. 4860b57cec5SDimitry Andric Out.keep(); 4870b57cec5SDimitry Andric 4880b57cec5SDimitry Andric return 0; 4890b57cec5SDimitry Andric } 490