10b57cec5SDimitry Andric //===- LTO.cpp ------------------------------------------------------------===// 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 #include "LTO.h" 100b57cec5SDimitry Andric #include "Config.h" 110b57cec5SDimitry Andric #include "InputFiles.h" 120b57cec5SDimitry Andric #include "Symbols.h" 130b57cec5SDimitry Andric #include "lld/Common/Args.h" 140b57cec5SDimitry Andric #include "lld/Common/ErrorHandler.h" 150b57cec5SDimitry Andric #include "lld/Common/Strings.h" 160b57cec5SDimitry Andric #include "lld/Common/TargetOptionsCommandFlags.h" 170b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h" 180b57cec5SDimitry Andric #include "llvm/ADT/SmallString.h" 190b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h" 200b57cec5SDimitry Andric #include "llvm/ADT/Twine.h" 210b57cec5SDimitry Andric #include "llvm/Bitcode/BitcodeWriter.h" 220b57cec5SDimitry Andric #include "llvm/IR/DiagnosticPrinter.h" 230b57cec5SDimitry Andric #include "llvm/LTO/Caching.h" 240b57cec5SDimitry Andric #include "llvm/LTO/Config.h" 250b57cec5SDimitry Andric #include "llvm/LTO/LTO.h" 260b57cec5SDimitry Andric #include "llvm/Object/SymbolicFile.h" 270b57cec5SDimitry Andric #include "llvm/Support/CodeGen.h" 280b57cec5SDimitry Andric #include "llvm/Support/Error.h" 290b57cec5SDimitry Andric #include "llvm/Support/FileSystem.h" 300b57cec5SDimitry Andric #include "llvm/Support/MemoryBuffer.h" 310b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h" 320b57cec5SDimitry Andric #include <algorithm> 330b57cec5SDimitry Andric #include <cstddef> 340b57cec5SDimitry Andric #include <memory> 350b57cec5SDimitry Andric #include <string> 360b57cec5SDimitry Andric #include <system_error> 370b57cec5SDimitry Andric #include <vector> 380b57cec5SDimitry Andric 390b57cec5SDimitry Andric using namespace llvm; 400b57cec5SDimitry Andric using namespace llvm::object; 410b57cec5SDimitry Andric 42*85868e8aSDimitry Andric namespace lld { 43*85868e8aSDimitry Andric namespace coff { 440b57cec5SDimitry Andric 450b57cec5SDimitry Andric // Creates an empty file to and returns a raw_fd_ostream to write to it. 460b57cec5SDimitry Andric static std::unique_ptr<raw_fd_ostream> openFile(StringRef file) { 470b57cec5SDimitry Andric std::error_code ec; 480b57cec5SDimitry Andric auto ret = 49*85868e8aSDimitry Andric std::make_unique<raw_fd_ostream>(file, ec, sys::fs::OpenFlags::OF_None); 500b57cec5SDimitry Andric if (ec) { 510b57cec5SDimitry Andric error("cannot open " + file + ": " + ec.message()); 520b57cec5SDimitry Andric return nullptr; 530b57cec5SDimitry Andric } 540b57cec5SDimitry Andric return ret; 550b57cec5SDimitry Andric } 560b57cec5SDimitry Andric 570b57cec5SDimitry Andric static std::string getThinLTOOutputFile(StringRef path) { 580b57cec5SDimitry Andric return lto::getThinLTOOutputFile(path, 590b57cec5SDimitry Andric config->thinLTOPrefixReplace.first, 600b57cec5SDimitry Andric config->thinLTOPrefixReplace.second); 610b57cec5SDimitry Andric } 620b57cec5SDimitry Andric 630b57cec5SDimitry Andric static lto::Config createConfig() { 640b57cec5SDimitry Andric lto::Config c; 650b57cec5SDimitry Andric c.Options = initTargetOptionsFromCodeGenFlags(); 660b57cec5SDimitry Andric 670b57cec5SDimitry Andric // Always emit a section per function/datum with LTO. LLVM LTO should get most 680b57cec5SDimitry Andric // of the benefit of linker GC, but there are still opportunities for ICF. 690b57cec5SDimitry Andric c.Options.FunctionSections = true; 700b57cec5SDimitry Andric c.Options.DataSections = true; 710b57cec5SDimitry Andric 720b57cec5SDimitry Andric // Use static reloc model on 32-bit x86 because it usually results in more 730b57cec5SDimitry Andric // compact code, and because there are also known code generation bugs when 740b57cec5SDimitry Andric // using the PIC model (see PR34306). 750b57cec5SDimitry Andric if (config->machine == COFF::IMAGE_FILE_MACHINE_I386) 760b57cec5SDimitry Andric c.RelocModel = Reloc::Static; 770b57cec5SDimitry Andric else 780b57cec5SDimitry Andric c.RelocModel = Reloc::PIC_; 790b57cec5SDimitry Andric c.DisableVerify = true; 800b57cec5SDimitry Andric c.DiagHandler = diagnosticHandler; 810b57cec5SDimitry Andric c.OptLevel = config->ltoo; 820b57cec5SDimitry Andric c.CPU = getCPUStr(); 830b57cec5SDimitry Andric c.MAttrs = getMAttrs(); 840b57cec5SDimitry Andric c.CGOptLevel = args::getCGOptLevel(config->ltoo); 850b57cec5SDimitry Andric 860b57cec5SDimitry Andric if (config->saveTemps) 870b57cec5SDimitry Andric checkError(c.addSaveTemps(std::string(config->outputFile) + ".", 880b57cec5SDimitry Andric /*UseInputModulePath*/ true)); 890b57cec5SDimitry Andric return c; 900b57cec5SDimitry Andric } 910b57cec5SDimitry Andric 920b57cec5SDimitry Andric BitcodeCompiler::BitcodeCompiler() { 930b57cec5SDimitry Andric // Initialize indexFile. 940b57cec5SDimitry Andric if (!config->thinLTOIndexOnlyArg.empty()) 950b57cec5SDimitry Andric indexFile = openFile(config->thinLTOIndexOnlyArg); 960b57cec5SDimitry Andric 970b57cec5SDimitry Andric // Initialize ltoObj. 980b57cec5SDimitry Andric lto::ThinBackend backend; 990b57cec5SDimitry Andric if (config->thinLTOIndexOnly) { 1000b57cec5SDimitry Andric auto OnIndexWrite = [&](StringRef S) { thinIndices.erase(S); }; 1010b57cec5SDimitry Andric backend = lto::createWriteIndexesThinBackend( 1020b57cec5SDimitry Andric config->thinLTOPrefixReplace.first, config->thinLTOPrefixReplace.second, 1030b57cec5SDimitry Andric config->thinLTOEmitImportsFiles, indexFile.get(), OnIndexWrite); 1040b57cec5SDimitry Andric } else if (config->thinLTOJobs != 0) { 1050b57cec5SDimitry Andric backend = lto::createInProcessThinBackend(config->thinLTOJobs); 1060b57cec5SDimitry Andric } 1070b57cec5SDimitry Andric 108*85868e8aSDimitry Andric ltoObj = std::make_unique<lto::LTO>(createConfig(), backend, 1090b57cec5SDimitry Andric config->ltoPartitions); 1100b57cec5SDimitry Andric } 1110b57cec5SDimitry Andric 1120b57cec5SDimitry Andric BitcodeCompiler::~BitcodeCompiler() = default; 1130b57cec5SDimitry Andric 1140b57cec5SDimitry Andric static void undefine(Symbol *s) { replaceSymbol<Undefined>(s, s->getName()); } 1150b57cec5SDimitry Andric 1160b57cec5SDimitry Andric void BitcodeCompiler::add(BitcodeFile &f) { 1170b57cec5SDimitry Andric lto::InputFile &obj = *f.obj; 1180b57cec5SDimitry Andric unsigned symNum = 0; 1190b57cec5SDimitry Andric std::vector<Symbol *> symBodies = f.getSymbols(); 1200b57cec5SDimitry Andric std::vector<lto::SymbolResolution> resols(symBodies.size()); 1210b57cec5SDimitry Andric 1220b57cec5SDimitry Andric if (config->thinLTOIndexOnly) 1230b57cec5SDimitry Andric thinIndices.insert(obj.getName()); 1240b57cec5SDimitry Andric 1250b57cec5SDimitry Andric // Provide a resolution to the LTO API for each symbol. 1260b57cec5SDimitry Andric for (const lto::InputFile::Symbol &objSym : obj.symbols()) { 1270b57cec5SDimitry Andric Symbol *sym = symBodies[symNum]; 1280b57cec5SDimitry Andric lto::SymbolResolution &r = resols[symNum]; 1290b57cec5SDimitry Andric ++symNum; 1300b57cec5SDimitry Andric 1310b57cec5SDimitry Andric // Ideally we shouldn't check for SF_Undefined but currently IRObjectFile 1320b57cec5SDimitry Andric // reports two symbols for module ASM defined. Without this check, lld 1330b57cec5SDimitry Andric // flags an undefined in IR with a definition in ASM as prevailing. 1340b57cec5SDimitry Andric // Once IRObjectFile is fixed to report only one symbol this hack can 1350b57cec5SDimitry Andric // be removed. 1360b57cec5SDimitry Andric r.Prevailing = !objSym.isUndefined() && sym->getFile() == &f; 1370b57cec5SDimitry Andric r.VisibleToRegularObj = sym->isUsedInRegularObj; 1380b57cec5SDimitry Andric if (r.Prevailing) 1390b57cec5SDimitry Andric undefine(sym); 1400b57cec5SDimitry Andric } 1410b57cec5SDimitry Andric checkError(ltoObj->add(std::move(f.obj), resols)); 1420b57cec5SDimitry Andric } 1430b57cec5SDimitry Andric 1440b57cec5SDimitry Andric // Merge all the bitcode files we have seen, codegen the result 1450b57cec5SDimitry Andric // and return the resulting objects. 1460b57cec5SDimitry Andric std::vector<StringRef> BitcodeCompiler::compile() { 1470b57cec5SDimitry Andric unsigned maxTasks = ltoObj->getMaxTasks(); 1480b57cec5SDimitry Andric buf.resize(maxTasks); 1490b57cec5SDimitry Andric files.resize(maxTasks); 1500b57cec5SDimitry Andric 1510b57cec5SDimitry Andric // The /lldltocache option specifies the path to a directory in which to cache 1520b57cec5SDimitry Andric // native object files for ThinLTO incremental builds. If a path was 1530b57cec5SDimitry Andric // specified, configure LTO to use it as the cache directory. 1540b57cec5SDimitry Andric lto::NativeObjectCache cache; 1550b57cec5SDimitry Andric if (!config->ltoCache.empty()) 1560b57cec5SDimitry Andric cache = check(lto::localCache( 1570b57cec5SDimitry Andric config->ltoCache, [&](size_t task, std::unique_ptr<MemoryBuffer> mb) { 1580b57cec5SDimitry Andric files[task] = std::move(mb); 1590b57cec5SDimitry Andric })); 1600b57cec5SDimitry Andric 1610b57cec5SDimitry Andric checkError(ltoObj->run( 1620b57cec5SDimitry Andric [&](size_t task) { 163*85868e8aSDimitry Andric return std::make_unique<lto::NativeObjectStream>( 164*85868e8aSDimitry Andric std::make_unique<raw_svector_ostream>(buf[task])); 1650b57cec5SDimitry Andric }, 1660b57cec5SDimitry Andric cache)); 1670b57cec5SDimitry Andric 1680b57cec5SDimitry Andric // Emit empty index files for non-indexed files 1690b57cec5SDimitry Andric for (StringRef s : thinIndices) { 1700b57cec5SDimitry Andric std::string path = getThinLTOOutputFile(s); 1710b57cec5SDimitry Andric openFile(path + ".thinlto.bc"); 1720b57cec5SDimitry Andric if (config->thinLTOEmitImportsFiles) 1730b57cec5SDimitry Andric openFile(path + ".imports"); 1740b57cec5SDimitry Andric } 1750b57cec5SDimitry Andric 1760b57cec5SDimitry Andric // ThinLTO with index only option is required to generate only the index 1770b57cec5SDimitry Andric // files. After that, we exit from linker and ThinLTO backend runs in a 1780b57cec5SDimitry Andric // distributed environment. 1790b57cec5SDimitry Andric if (config->thinLTOIndexOnly) { 180*85868e8aSDimitry Andric if (!config->ltoObjPath.empty()) 181*85868e8aSDimitry Andric saveBuffer(buf[0], config->ltoObjPath); 1820b57cec5SDimitry Andric if (indexFile) 1830b57cec5SDimitry Andric indexFile->close(); 1840b57cec5SDimitry Andric return {}; 1850b57cec5SDimitry Andric } 1860b57cec5SDimitry Andric 1870b57cec5SDimitry Andric if (!config->ltoCache.empty()) 1880b57cec5SDimitry Andric pruneCache(config->ltoCache, config->ltoCachePolicy); 1890b57cec5SDimitry Andric 1900b57cec5SDimitry Andric std::vector<StringRef> ret; 1910b57cec5SDimitry Andric for (unsigned i = 0; i != maxTasks; ++i) { 1920b57cec5SDimitry Andric if (buf[i].empty()) 1930b57cec5SDimitry Andric continue; 1940b57cec5SDimitry Andric if (config->saveTemps) { 1950b57cec5SDimitry Andric if (i == 0) 1960b57cec5SDimitry Andric saveBuffer(buf[i], config->outputFile + ".lto.obj"); 1970b57cec5SDimitry Andric else 1980b57cec5SDimitry Andric saveBuffer(buf[i], config->outputFile + Twine(i) + ".lto.obj"); 1990b57cec5SDimitry Andric } 2000b57cec5SDimitry Andric ret.emplace_back(buf[i].data(), buf[i].size()); 2010b57cec5SDimitry Andric } 2020b57cec5SDimitry Andric 2030b57cec5SDimitry Andric for (std::unique_ptr<MemoryBuffer> &file : files) 2040b57cec5SDimitry Andric if (file) 2050b57cec5SDimitry Andric ret.push_back(file->getBuffer()); 2060b57cec5SDimitry Andric 2070b57cec5SDimitry Andric return ret; 2080b57cec5SDimitry Andric } 209*85868e8aSDimitry Andric 210*85868e8aSDimitry Andric } // namespace coff 211*85868e8aSDimitry Andric } // namespace lld 212