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 14*5ffd83dbSDimitry Andric #include "llvm/Object/Archive.h" 150b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.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" 270b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h" 280b57cec5SDimitry Andric #include "llvm/Support/FileSystem.h" 290b57cec5SDimitry Andric #include "llvm/Support/InitLLVM.h" 300b57cec5SDimitry Andric #include "llvm/Support/Path.h" 310b57cec5SDimitry Andric #include "llvm/Support/SourceMgr.h" 320b57cec5SDimitry Andric #include "llvm/Support/SystemUtils.h" 330b57cec5SDimitry Andric #include "llvm/Support/ToolOutputFile.h" 340b57cec5SDimitry Andric #include "llvm/Support/WithColor.h" 350b57cec5SDimitry Andric #include "llvm/Transforms/IPO/FunctionImport.h" 360b57cec5SDimitry Andric #include "llvm/Transforms/IPO/Internalize.h" 370b57cec5SDimitry Andric #include "llvm/Transforms/Utils/FunctionImportUtils.h" 380b57cec5SDimitry Andric 390b57cec5SDimitry Andric #include <memory> 400b57cec5SDimitry Andric #include <utility> 410b57cec5SDimitry Andric using namespace llvm; 420b57cec5SDimitry Andric 430b57cec5SDimitry Andric static cl::list<std::string> 440b57cec5SDimitry Andric InputFilenames(cl::Positional, cl::OneOrMore, 450b57cec5SDimitry Andric cl::desc("<input bitcode files>")); 460b57cec5SDimitry Andric 470b57cec5SDimitry Andric static cl::list<std::string> OverridingInputs( 480b57cec5SDimitry Andric "override", cl::ZeroOrMore, cl::value_desc("filename"), 490b57cec5SDimitry Andric cl::desc( 500b57cec5SDimitry Andric "input bitcode file which can override previously defined symbol(s)")); 510b57cec5SDimitry Andric 520b57cec5SDimitry Andric // Option to simulate function importing for testing. This enables using 530b57cec5SDimitry Andric // llvm-link to simulate ThinLTO backend processes. 540b57cec5SDimitry Andric static cl::list<std::string> Imports( 550b57cec5SDimitry Andric "import", cl::ZeroOrMore, cl::value_desc("function:filename"), 560b57cec5SDimitry Andric cl::desc("Pair of function name and filename, where function should be " 570b57cec5SDimitry Andric "imported from bitcode in filename")); 580b57cec5SDimitry Andric 590b57cec5SDimitry Andric // Option to support testing of function importing. The module summary 600b57cec5SDimitry Andric // must be specified in the case were we request imports via the -import 610b57cec5SDimitry Andric // option, as well as when compiling any module with functions that may be 620b57cec5SDimitry Andric // exported (imported by a different llvm-link -import invocation), to ensure 630b57cec5SDimitry Andric // consistent promotion and renaming of locals. 640b57cec5SDimitry Andric static cl::opt<std::string> 650b57cec5SDimitry Andric SummaryIndex("summary-index", cl::desc("Module summary index filename"), 660b57cec5SDimitry Andric cl::init(""), cl::value_desc("filename")); 670b57cec5SDimitry Andric 680b57cec5SDimitry Andric static cl::opt<std::string> 690b57cec5SDimitry Andric OutputFilename("o", cl::desc("Override output filename"), cl::init("-"), 700b57cec5SDimitry Andric cl::value_desc("filename")); 710b57cec5SDimitry Andric 720b57cec5SDimitry Andric static cl::opt<bool> 730b57cec5SDimitry Andric Internalize("internalize", cl::desc("Internalize linked symbols")); 740b57cec5SDimitry Andric 750b57cec5SDimitry Andric static cl::opt<bool> 760b57cec5SDimitry Andric DisableDITypeMap("disable-debug-info-type-map", 770b57cec5SDimitry Andric cl::desc("Don't use a uniquing type map for debug info")); 780b57cec5SDimitry Andric 790b57cec5SDimitry Andric static cl::opt<bool> 800b57cec5SDimitry Andric OnlyNeeded("only-needed", cl::desc("Link only needed symbols")); 810b57cec5SDimitry Andric 820b57cec5SDimitry Andric static cl::opt<bool> 830b57cec5SDimitry Andric Force("f", cl::desc("Enable binary output on terminals")); 840b57cec5SDimitry Andric 850b57cec5SDimitry Andric static cl::opt<bool> 860b57cec5SDimitry Andric DisableLazyLoad("disable-lazy-loading", 870b57cec5SDimitry Andric cl::desc("Disable lazy module loading")); 880b57cec5SDimitry Andric 890b57cec5SDimitry Andric static cl::opt<bool> 900b57cec5SDimitry Andric OutputAssembly("S", cl::desc("Write output as LLVM assembly"), cl::Hidden); 910b57cec5SDimitry Andric 920b57cec5SDimitry Andric static cl::opt<bool> 930b57cec5SDimitry Andric Verbose("v", cl::desc("Print information about actions taken")); 940b57cec5SDimitry Andric 950b57cec5SDimitry Andric static cl::opt<bool> 960b57cec5SDimitry Andric DumpAsm("d", cl::desc("Print assembly as linked"), cl::Hidden); 970b57cec5SDimitry Andric 980b57cec5SDimitry Andric static cl::opt<bool> 990b57cec5SDimitry Andric SuppressWarnings("suppress-warnings", cl::desc("Suppress all linking warnings"), 1000b57cec5SDimitry Andric cl::init(false)); 1010b57cec5SDimitry Andric 1020b57cec5SDimitry Andric static cl::opt<bool> PreserveBitcodeUseListOrder( 1030b57cec5SDimitry Andric "preserve-bc-uselistorder", 1040b57cec5SDimitry Andric cl::desc("Preserve use-list order when writing LLVM bitcode."), 1050b57cec5SDimitry Andric cl::init(true), cl::Hidden); 1060b57cec5SDimitry Andric 1070b57cec5SDimitry Andric static cl::opt<bool> PreserveAssemblyUseListOrder( 1080b57cec5SDimitry Andric "preserve-ll-uselistorder", 1090b57cec5SDimitry Andric cl::desc("Preserve use-list order when writing LLVM assembly."), 1100b57cec5SDimitry Andric cl::init(false), cl::Hidden); 1110b57cec5SDimitry Andric 1120b57cec5SDimitry Andric static ExitOnError ExitOnErr; 1130b57cec5SDimitry Andric 1140b57cec5SDimitry Andric // Read the specified bitcode file in and return it. This routine searches the 1150b57cec5SDimitry Andric // link path for the specified file to try to find it... 1160b57cec5SDimitry Andric // 1170b57cec5SDimitry Andric static std::unique_ptr<Module> loadFile(const char *argv0, 1180b57cec5SDimitry Andric const std::string &FN, 1190b57cec5SDimitry Andric LLVMContext &Context, 1200b57cec5SDimitry Andric bool MaterializeMetadata = true) { 1210b57cec5SDimitry Andric SMDiagnostic Err; 1220b57cec5SDimitry Andric if (Verbose) 1230b57cec5SDimitry Andric errs() << "Loading '" << FN << "'\n"; 1240b57cec5SDimitry Andric std::unique_ptr<Module> Result; 1250b57cec5SDimitry Andric if (DisableLazyLoad) 1260b57cec5SDimitry Andric Result = parseIRFile(FN, Err, Context); 1270b57cec5SDimitry Andric else 1280b57cec5SDimitry Andric Result = getLazyIRFileModule(FN, Err, Context, !MaterializeMetadata); 1290b57cec5SDimitry Andric 1300b57cec5SDimitry Andric if (!Result) { 1310b57cec5SDimitry Andric Err.print(argv0, errs()); 1320b57cec5SDimitry Andric return nullptr; 1330b57cec5SDimitry Andric } 1340b57cec5SDimitry Andric 1350b57cec5SDimitry Andric if (MaterializeMetadata) { 1360b57cec5SDimitry Andric ExitOnErr(Result->materializeMetadata()); 1370b57cec5SDimitry Andric UpgradeDebugInfo(*Result); 1380b57cec5SDimitry Andric } 1390b57cec5SDimitry Andric 1400b57cec5SDimitry Andric return Result; 1410b57cec5SDimitry Andric } 1420b57cec5SDimitry Andric 143*5ffd83dbSDimitry Andric static std::unique_ptr<Module> loadArFile(const char *Argv0, 144*5ffd83dbSDimitry Andric const std::string &ArchiveName, 145*5ffd83dbSDimitry Andric LLVMContext &Context, Linker &L, 146*5ffd83dbSDimitry Andric unsigned OrigFlags, 147*5ffd83dbSDimitry Andric unsigned ApplicableFlags) { 148*5ffd83dbSDimitry Andric std::unique_ptr<Module> Result(new Module("ArchiveModule", Context)); 149*5ffd83dbSDimitry Andric if (Verbose) 150*5ffd83dbSDimitry Andric errs() << "Reading library archive file '" << ArchiveName 151*5ffd83dbSDimitry Andric << "' to memory\n"; 152*5ffd83dbSDimitry Andric ErrorOr<std::unique_ptr<MemoryBuffer>> Buf = 153*5ffd83dbSDimitry Andric MemoryBuffer::getFile(ArchiveName, -1, false); 154*5ffd83dbSDimitry Andric ExitOnErr(errorCodeToError(Buf.getError())); 155*5ffd83dbSDimitry Andric Error Err = Error::success(); 156*5ffd83dbSDimitry Andric object::Archive Archive(Buf.get()->getMemBufferRef(), Err); 157*5ffd83dbSDimitry Andric ExitOnErr(std::move(Err)); 158*5ffd83dbSDimitry Andric for (const object::Archive::Child &C : Archive.children(Err)) { 159*5ffd83dbSDimitry Andric Expected<StringRef> Ename = C.getName(); 160*5ffd83dbSDimitry Andric if (Error E = Ename.takeError()) { 161*5ffd83dbSDimitry Andric errs() << Argv0 << ": "; 162*5ffd83dbSDimitry Andric WithColor::error() 163*5ffd83dbSDimitry Andric << " failed to read name of archive member" 164*5ffd83dbSDimitry Andric << ArchiveName << "'\n"; 165*5ffd83dbSDimitry Andric return nullptr; 166*5ffd83dbSDimitry Andric }; 167*5ffd83dbSDimitry Andric std::string ChildName = Ename.get().str(); 168*5ffd83dbSDimitry Andric if (Verbose) 169*5ffd83dbSDimitry Andric errs() << "Parsing member '" << ChildName 170*5ffd83dbSDimitry Andric << "' of archive library to module.\n"; 171*5ffd83dbSDimitry Andric SMDiagnostic ParseErr; 172*5ffd83dbSDimitry Andric Expected<MemoryBufferRef> MemBuf = C.getMemoryBufferRef(); 173*5ffd83dbSDimitry Andric if (Error E = MemBuf.takeError()) { 174*5ffd83dbSDimitry Andric errs() << Argv0 << ": "; 175*5ffd83dbSDimitry Andric WithColor::error() << " loading memory for member '" << ChildName 176*5ffd83dbSDimitry Andric << "' of archive library failed'" << ArchiveName 177*5ffd83dbSDimitry Andric << "'\n"; 178*5ffd83dbSDimitry Andric return nullptr; 179*5ffd83dbSDimitry Andric }; 180*5ffd83dbSDimitry Andric 181*5ffd83dbSDimitry Andric if (!isBitcode(reinterpret_cast<const unsigned char *> 182*5ffd83dbSDimitry Andric (MemBuf.get().getBufferStart()), 183*5ffd83dbSDimitry Andric reinterpret_cast<const unsigned char *> 184*5ffd83dbSDimitry Andric (MemBuf.get().getBufferEnd()))) { 185*5ffd83dbSDimitry Andric errs() << Argv0 << ": "; 186*5ffd83dbSDimitry Andric WithColor::error() << " member of archive is not a bitcode file: '" 187*5ffd83dbSDimitry Andric << ChildName << "'\n"; 188*5ffd83dbSDimitry Andric return nullptr; 189*5ffd83dbSDimitry Andric } 190*5ffd83dbSDimitry Andric 191*5ffd83dbSDimitry Andric std::unique_ptr<Module> M = parseIR(MemBuf.get(), ParseErr, Context); 192*5ffd83dbSDimitry Andric 193*5ffd83dbSDimitry Andric if (!M.get()) { 194*5ffd83dbSDimitry Andric errs() << Argv0 << ": "; 195*5ffd83dbSDimitry Andric WithColor::error() << " parsing member '" << ChildName 196*5ffd83dbSDimitry Andric << "' of archive library failed'" << ArchiveName 197*5ffd83dbSDimitry Andric << "'\n"; 198*5ffd83dbSDimitry Andric return nullptr; 199*5ffd83dbSDimitry Andric } 200*5ffd83dbSDimitry Andric if (Verbose) 201*5ffd83dbSDimitry Andric errs() << "Linking member '" << ChildName << "' of archive library.\n"; 202*5ffd83dbSDimitry Andric if (L.linkModules(*Result, std::move(M), ApplicableFlags)) 203*5ffd83dbSDimitry Andric return nullptr; 204*5ffd83dbSDimitry Andric ApplicableFlags = OrigFlags; 205*5ffd83dbSDimitry Andric } // end for each child 206*5ffd83dbSDimitry Andric ExitOnErr(std::move(Err)); 207*5ffd83dbSDimitry Andric return Result; 208*5ffd83dbSDimitry Andric } 209*5ffd83dbSDimitry Andric 2100b57cec5SDimitry Andric namespace { 2110b57cec5SDimitry Andric 2120b57cec5SDimitry Andric /// Helper to load on demand a Module from file and cache it for subsequent 2130b57cec5SDimitry Andric /// queries during function importing. 2140b57cec5SDimitry Andric class ModuleLazyLoaderCache { 2150b57cec5SDimitry Andric /// Cache of lazily loaded module for import. 2160b57cec5SDimitry Andric StringMap<std::unique_ptr<Module>> ModuleMap; 2170b57cec5SDimitry Andric 2180b57cec5SDimitry Andric /// Retrieve a Module from the cache or lazily load it on demand. 2190b57cec5SDimitry Andric std::function<std::unique_ptr<Module>(const char *argv0, 2200b57cec5SDimitry Andric const std::string &FileName)> 2210b57cec5SDimitry Andric createLazyModule; 2220b57cec5SDimitry Andric 2230b57cec5SDimitry Andric public: 2240b57cec5SDimitry Andric /// Create the loader, Module will be initialized in \p Context. 2250b57cec5SDimitry Andric ModuleLazyLoaderCache(std::function<std::unique_ptr<Module>( 2260b57cec5SDimitry Andric const char *argv0, const std::string &FileName)> 2270b57cec5SDimitry Andric createLazyModule) 2280b57cec5SDimitry Andric : createLazyModule(std::move(createLazyModule)) {} 2290b57cec5SDimitry Andric 2300b57cec5SDimitry Andric /// Retrieve a Module from the cache or lazily load it on demand. 2310b57cec5SDimitry Andric Module &operator()(const char *argv0, const std::string &FileName); 2320b57cec5SDimitry Andric 2330b57cec5SDimitry Andric std::unique_ptr<Module> takeModule(const std::string &FileName) { 2340b57cec5SDimitry Andric auto I = ModuleMap.find(FileName); 2350b57cec5SDimitry Andric assert(I != ModuleMap.end()); 2360b57cec5SDimitry Andric std::unique_ptr<Module> Ret = std::move(I->second); 2370b57cec5SDimitry Andric ModuleMap.erase(I); 2380b57cec5SDimitry Andric return Ret; 2390b57cec5SDimitry Andric } 2400b57cec5SDimitry Andric }; 2410b57cec5SDimitry Andric 2420b57cec5SDimitry Andric // Get a Module for \p FileName from the cache, or load it lazily. 2430b57cec5SDimitry Andric Module &ModuleLazyLoaderCache::operator()(const char *argv0, 2440b57cec5SDimitry Andric const std::string &Identifier) { 2450b57cec5SDimitry Andric auto &Module = ModuleMap[Identifier]; 2460b57cec5SDimitry Andric if (!Module) 2470b57cec5SDimitry Andric Module = createLazyModule(argv0, Identifier); 2480b57cec5SDimitry Andric return *Module; 2490b57cec5SDimitry Andric } 2500b57cec5SDimitry Andric } // anonymous namespace 2510b57cec5SDimitry Andric 2520b57cec5SDimitry Andric namespace { 2530b57cec5SDimitry Andric struct LLVMLinkDiagnosticHandler : public DiagnosticHandler { 2540b57cec5SDimitry Andric bool handleDiagnostics(const DiagnosticInfo &DI) override { 2550b57cec5SDimitry Andric unsigned Severity = DI.getSeverity(); 2560b57cec5SDimitry Andric switch (Severity) { 2570b57cec5SDimitry Andric case DS_Error: 2580b57cec5SDimitry Andric WithColor::error(); 2590b57cec5SDimitry Andric break; 2600b57cec5SDimitry Andric case DS_Warning: 2610b57cec5SDimitry Andric if (SuppressWarnings) 2620b57cec5SDimitry Andric return true; 2630b57cec5SDimitry Andric WithColor::warning(); 2640b57cec5SDimitry Andric break; 2650b57cec5SDimitry Andric case DS_Remark: 2660b57cec5SDimitry Andric case DS_Note: 2670b57cec5SDimitry Andric llvm_unreachable("Only expecting warnings and errors"); 2680b57cec5SDimitry Andric } 2690b57cec5SDimitry Andric 2700b57cec5SDimitry Andric DiagnosticPrinterRawOStream DP(errs()); 2710b57cec5SDimitry Andric DI.print(DP); 2720b57cec5SDimitry Andric errs() << '\n'; 2730b57cec5SDimitry Andric return true; 2740b57cec5SDimitry Andric } 2750b57cec5SDimitry Andric }; 2760b57cec5SDimitry Andric } 2770b57cec5SDimitry Andric 2780b57cec5SDimitry Andric /// Import any functions requested via the -import option. 2790b57cec5SDimitry Andric static bool importFunctions(const char *argv0, Module &DestModule) { 2800b57cec5SDimitry Andric if (SummaryIndex.empty()) 2810b57cec5SDimitry Andric return true; 2820b57cec5SDimitry Andric std::unique_ptr<ModuleSummaryIndex> Index = 2830b57cec5SDimitry Andric ExitOnErr(llvm::getModuleSummaryIndexForFile(SummaryIndex)); 2840b57cec5SDimitry Andric 2850b57cec5SDimitry Andric // Map of Module -> List of globals to import from the Module 2860b57cec5SDimitry Andric FunctionImporter::ImportMapTy ImportList; 2870b57cec5SDimitry Andric 2880b57cec5SDimitry Andric auto ModuleLoader = [&DestModule](const char *argv0, 2890b57cec5SDimitry Andric const std::string &Identifier) { 2900b57cec5SDimitry Andric return loadFile(argv0, Identifier, DestModule.getContext(), false); 2910b57cec5SDimitry Andric }; 2920b57cec5SDimitry Andric 2930b57cec5SDimitry Andric ModuleLazyLoaderCache ModuleLoaderCache(ModuleLoader); 2940b57cec5SDimitry Andric for (const auto &Import : Imports) { 2950b57cec5SDimitry Andric // Identify the requested function and its bitcode source file. 2960b57cec5SDimitry Andric size_t Idx = Import.find(':'); 2970b57cec5SDimitry Andric if (Idx == std::string::npos) { 2980b57cec5SDimitry Andric errs() << "Import parameter bad format: " << Import << "\n"; 2990b57cec5SDimitry Andric return false; 3000b57cec5SDimitry Andric } 3010b57cec5SDimitry Andric std::string FunctionName = Import.substr(0, Idx); 3020b57cec5SDimitry Andric std::string FileName = Import.substr(Idx + 1, std::string::npos); 3030b57cec5SDimitry Andric 3040b57cec5SDimitry Andric // Load the specified source module. 3050b57cec5SDimitry Andric auto &SrcModule = ModuleLoaderCache(argv0, FileName); 3060b57cec5SDimitry Andric 3070b57cec5SDimitry Andric if (verifyModule(SrcModule, &errs())) { 3080b57cec5SDimitry Andric errs() << argv0 << ": " << FileName; 3090b57cec5SDimitry Andric WithColor::error() << "input module is broken!\n"; 3100b57cec5SDimitry Andric return false; 3110b57cec5SDimitry Andric } 3120b57cec5SDimitry Andric 3130b57cec5SDimitry Andric Function *F = SrcModule.getFunction(FunctionName); 3140b57cec5SDimitry Andric if (!F) { 3150b57cec5SDimitry Andric errs() << "Ignoring import request for non-existent function " 3160b57cec5SDimitry Andric << FunctionName << " from " << FileName << "\n"; 3170b57cec5SDimitry Andric continue; 3180b57cec5SDimitry Andric } 3190b57cec5SDimitry Andric // We cannot import weak_any functions without possibly affecting the 3200b57cec5SDimitry Andric // order they are seen and selected by the linker, changing program 3210b57cec5SDimitry Andric // semantics. 3220b57cec5SDimitry Andric if (F->hasWeakAnyLinkage()) { 3230b57cec5SDimitry Andric errs() << "Ignoring import request for weak-any function " << FunctionName 3240b57cec5SDimitry Andric << " from " << FileName << "\n"; 3250b57cec5SDimitry Andric continue; 3260b57cec5SDimitry Andric } 3270b57cec5SDimitry Andric 3280b57cec5SDimitry Andric if (Verbose) 3290b57cec5SDimitry Andric errs() << "Importing " << FunctionName << " from " << FileName << "\n"; 3300b57cec5SDimitry Andric 3310b57cec5SDimitry Andric auto &Entry = ImportList[FileName]; 3320b57cec5SDimitry Andric Entry.insert(F->getGUID()); 3330b57cec5SDimitry Andric } 3340b57cec5SDimitry Andric auto CachedModuleLoader = [&](StringRef Identifier) { 335*5ffd83dbSDimitry Andric return ModuleLoaderCache.takeModule(std::string(Identifier)); 3360b57cec5SDimitry Andric }; 337*5ffd83dbSDimitry Andric FunctionImporter Importer(*Index, CachedModuleLoader, 338*5ffd83dbSDimitry Andric /*ClearDSOLocalOnDeclarations=*/false); 3390b57cec5SDimitry Andric ExitOnErr(Importer.importFunctions(DestModule, ImportList)); 3400b57cec5SDimitry Andric 3410b57cec5SDimitry Andric return true; 3420b57cec5SDimitry Andric } 3430b57cec5SDimitry Andric 3440b57cec5SDimitry Andric static bool linkFiles(const char *argv0, LLVMContext &Context, Linker &L, 3450b57cec5SDimitry Andric const cl::list<std::string> &Files, 3460b57cec5SDimitry Andric unsigned Flags) { 3470b57cec5SDimitry Andric // Filter out flags that don't apply to the first file we load. 3480b57cec5SDimitry Andric unsigned ApplicableFlags = Flags & Linker::Flags::OverrideFromSrc; 3490b57cec5SDimitry Andric // Similar to some flags, internalization doesn't apply to the first file. 3500b57cec5SDimitry Andric bool InternalizeLinkedSymbols = false; 3510b57cec5SDimitry Andric for (const auto &File : Files) { 352*5ffd83dbSDimitry Andric std::unique_ptr<Module> M = 353*5ffd83dbSDimitry Andric (llvm::sys::path::extension(File) == ".a") 354*5ffd83dbSDimitry Andric ? loadArFile(argv0, File, Context, L, Flags, ApplicableFlags) 355*5ffd83dbSDimitry Andric : loadFile(argv0, File, Context); 3560b57cec5SDimitry Andric if (!M.get()) { 3570b57cec5SDimitry Andric errs() << argv0 << ": "; 3580b57cec5SDimitry Andric WithColor::error() << " loading file '" << File << "'\n"; 3590b57cec5SDimitry Andric return false; 3600b57cec5SDimitry Andric } 3610b57cec5SDimitry Andric 3620b57cec5SDimitry Andric // Note that when ODR merging types cannot verify input files in here When 3630b57cec5SDimitry Andric // doing that debug metadata in the src module might already be pointing to 3640b57cec5SDimitry Andric // the destination. 3650b57cec5SDimitry Andric if (DisableDITypeMap && verifyModule(*M, &errs())) { 3660b57cec5SDimitry Andric errs() << argv0 << ": " << File << ": "; 3670b57cec5SDimitry Andric WithColor::error() << "input module is broken!\n"; 3680b57cec5SDimitry Andric return false; 3690b57cec5SDimitry Andric } 3700b57cec5SDimitry Andric 3710b57cec5SDimitry Andric // If a module summary index is supplied, load it so linkInModule can treat 3720b57cec5SDimitry Andric // local functions/variables as exported and promote if necessary. 3730b57cec5SDimitry Andric if (!SummaryIndex.empty()) { 3740b57cec5SDimitry Andric std::unique_ptr<ModuleSummaryIndex> Index = 3750b57cec5SDimitry Andric ExitOnErr(llvm::getModuleSummaryIndexForFile(SummaryIndex)); 3760b57cec5SDimitry Andric 3770b57cec5SDimitry Andric // Conservatively mark all internal values as promoted, since this tool 3780b57cec5SDimitry Andric // does not do the ThinLink that would normally determine what values to 3790b57cec5SDimitry Andric // promote. 3800b57cec5SDimitry Andric for (auto &I : *Index) { 3810b57cec5SDimitry Andric for (auto &S : I.second.SummaryList) { 3820b57cec5SDimitry Andric if (GlobalValue::isLocalLinkage(S->linkage())) 3830b57cec5SDimitry Andric S->setLinkage(GlobalValue::ExternalLinkage); 3840b57cec5SDimitry Andric } 3850b57cec5SDimitry Andric } 3860b57cec5SDimitry Andric 3870b57cec5SDimitry Andric // Promotion 388*5ffd83dbSDimitry Andric if (renameModuleForThinLTO(*M, *Index, 389*5ffd83dbSDimitry Andric /*ClearDSOLocalOnDeclarations=*/false)) 3900b57cec5SDimitry Andric return true; 3910b57cec5SDimitry Andric } 3920b57cec5SDimitry Andric 3930b57cec5SDimitry Andric if (Verbose) 3940b57cec5SDimitry Andric errs() << "Linking in '" << File << "'\n"; 3950b57cec5SDimitry Andric 3960b57cec5SDimitry Andric bool Err = false; 3970b57cec5SDimitry Andric if (InternalizeLinkedSymbols) { 3980b57cec5SDimitry Andric Err = L.linkInModule( 3990b57cec5SDimitry Andric std::move(M), ApplicableFlags, [](Module &M, const StringSet<> &GVS) { 4000b57cec5SDimitry Andric internalizeModule(M, [&GVS](const GlobalValue &GV) { 4010b57cec5SDimitry Andric return !GV.hasName() || (GVS.count(GV.getName()) == 0); 4020b57cec5SDimitry Andric }); 4030b57cec5SDimitry Andric }); 4040b57cec5SDimitry Andric } else { 4050b57cec5SDimitry Andric Err = L.linkInModule(std::move(M), ApplicableFlags); 4060b57cec5SDimitry Andric } 4070b57cec5SDimitry Andric 4080b57cec5SDimitry Andric if (Err) 4090b57cec5SDimitry Andric return false; 4100b57cec5SDimitry Andric 4110b57cec5SDimitry Andric // Internalization applies to linking of subsequent files. 4120b57cec5SDimitry Andric InternalizeLinkedSymbols = Internalize; 4130b57cec5SDimitry Andric 4140b57cec5SDimitry Andric // All linker flags apply to linking of subsequent files. 4150b57cec5SDimitry Andric ApplicableFlags = Flags; 4160b57cec5SDimitry Andric } 4170b57cec5SDimitry Andric 4180b57cec5SDimitry Andric return true; 4190b57cec5SDimitry Andric } 4200b57cec5SDimitry Andric 4210b57cec5SDimitry Andric int main(int argc, char **argv) { 4220b57cec5SDimitry Andric InitLLVM X(argc, argv); 4230b57cec5SDimitry Andric ExitOnErr.setBanner(std::string(argv[0]) + ": "); 4240b57cec5SDimitry Andric 4250b57cec5SDimitry Andric LLVMContext Context; 4260b57cec5SDimitry Andric Context.setDiagnosticHandler( 4278bcb0991SDimitry Andric std::make_unique<LLVMLinkDiagnosticHandler>(), true); 4280b57cec5SDimitry Andric cl::ParseCommandLineOptions(argc, argv, "llvm linker\n"); 4290b57cec5SDimitry Andric 4300b57cec5SDimitry Andric if (!DisableDITypeMap) 4310b57cec5SDimitry Andric Context.enableDebugTypeODRUniquing(); 4320b57cec5SDimitry Andric 4338bcb0991SDimitry Andric auto Composite = std::make_unique<Module>("llvm-link", Context); 4340b57cec5SDimitry Andric Linker L(*Composite); 4350b57cec5SDimitry Andric 4360b57cec5SDimitry Andric unsigned Flags = Linker::Flags::None; 4370b57cec5SDimitry Andric if (OnlyNeeded) 4380b57cec5SDimitry Andric Flags |= Linker::Flags::LinkOnlyNeeded; 4390b57cec5SDimitry Andric 4400b57cec5SDimitry Andric // First add all the regular input files 4410b57cec5SDimitry Andric if (!linkFiles(argv[0], Context, L, InputFilenames, Flags)) 4420b57cec5SDimitry Andric return 1; 4430b57cec5SDimitry Andric 4440b57cec5SDimitry Andric // Next the -override ones. 4450b57cec5SDimitry Andric if (!linkFiles(argv[0], Context, L, OverridingInputs, 4460b57cec5SDimitry Andric Flags | Linker::Flags::OverrideFromSrc)) 4470b57cec5SDimitry Andric return 1; 4480b57cec5SDimitry Andric 4490b57cec5SDimitry Andric // Import any functions requested via -import 4500b57cec5SDimitry Andric if (!importFunctions(argv[0], *Composite)) 4510b57cec5SDimitry Andric return 1; 4520b57cec5SDimitry Andric 4530b57cec5SDimitry Andric if (DumpAsm) 4540b57cec5SDimitry Andric errs() << "Here's the assembly:\n" << *Composite; 4550b57cec5SDimitry Andric 4560b57cec5SDimitry Andric std::error_code EC; 4578bcb0991SDimitry Andric ToolOutputFile Out(OutputFilename, EC, sys::fs::OF_None); 4580b57cec5SDimitry Andric if (EC) { 4590b57cec5SDimitry Andric WithColor::error() << EC.message() << '\n'; 4600b57cec5SDimitry Andric return 1; 4610b57cec5SDimitry Andric } 4620b57cec5SDimitry Andric 4630b57cec5SDimitry Andric if (verifyModule(*Composite, &errs())) { 4640b57cec5SDimitry Andric errs() << argv[0] << ": "; 4650b57cec5SDimitry Andric WithColor::error() << "linked module is broken!\n"; 4660b57cec5SDimitry Andric return 1; 4670b57cec5SDimitry Andric } 4680b57cec5SDimitry Andric 4690b57cec5SDimitry Andric if (Verbose) 4700b57cec5SDimitry Andric errs() << "Writing bitcode...\n"; 4710b57cec5SDimitry Andric if (OutputAssembly) { 4720b57cec5SDimitry Andric Composite->print(Out.os(), nullptr, PreserveAssemblyUseListOrder); 473*5ffd83dbSDimitry Andric } else if (Force || !CheckBitcodeOutputToConsole(Out.os())) 4740b57cec5SDimitry Andric WriteBitcodeToFile(*Composite, Out.os(), PreserveBitcodeUseListOrder); 4750b57cec5SDimitry Andric 4760b57cec5SDimitry Andric // Declare success. 4770b57cec5SDimitry Andric Out.keep(); 4780b57cec5SDimitry Andric 4790b57cec5SDimitry Andric return 0; 4800b57cec5SDimitry Andric } 481