xref: /freebsd/contrib/llvm-project/lld/COFF/LTO.cpp (revision 85868e8a1daeaae7a0e48effb2ea2310ae3b02c6)
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