2016-03-09 09:37:22 +08:00
|
|
|
//===-ThinLTOCodeGenerator.cpp - LLVM Link Time Optimizer -----------------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file implements the Thin Link Time Optimization library. This library is
|
|
|
|
// intended to be used by linker to optimize code at link time.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/LTO/ThinLTOCodeGenerator.h"
|
|
|
|
|
2016-04-21 13:54:23 +08:00
|
|
|
#ifdef HAVE_LLVM_REVISION
|
|
|
|
#include "LLVMLTORevision.h"
|
|
|
|
#endif
|
2016-04-24 11:18:01 +08:00
|
|
|
|
|
|
|
#include "UpdateCompilerUsed.h"
|
2016-03-15 05:18:10 +08:00
|
|
|
#include "llvm/ADT/Statistic.h"
|
2016-03-15 08:04:37 +08:00
|
|
|
#include "llvm/ADT/StringExtras.h"
|
2016-04-11 21:58:45 +08:00
|
|
|
#include "llvm/Analysis/ModuleSummaryAnalysis.h"
|
2016-03-09 09:37:22 +08:00
|
|
|
#include "llvm/Analysis/TargetLibraryInfo.h"
|
|
|
|
#include "llvm/Analysis/TargetTransformInfo.h"
|
2016-03-15 05:18:10 +08:00
|
|
|
#include "llvm/Bitcode/BitcodeWriterPass.h"
|
2016-03-15 08:04:37 +08:00
|
|
|
#include "llvm/Bitcode/ReaderWriter.h"
|
2016-03-09 09:37:22 +08:00
|
|
|
#include "llvm/ExecutionEngine/ObjectMemoryBuffer.h"
|
2016-03-15 05:18:10 +08:00
|
|
|
#include "llvm/IR/DiagnosticPrinter.h"
|
2016-03-15 08:04:37 +08:00
|
|
|
#include "llvm/IR/LLVMContext.h"
|
2016-03-09 09:37:22 +08:00
|
|
|
#include "llvm/IR/LegacyPassManager.h"
|
|
|
|
#include "llvm/IR/Mangler.h"
|
|
|
|
#include "llvm/IRReader/IRReader.h"
|
|
|
|
#include "llvm/Linker/Linker.h"
|
|
|
|
#include "llvm/MC/SubtargetFeature.h"
|
2016-04-24 11:18:01 +08:00
|
|
|
#include "llvm/Object/IRObjectFile.h"
|
2016-03-15 08:04:37 +08:00
|
|
|
#include "llvm/Object/ModuleSummaryIndexObjectFile.h"
|
2016-04-16 15:02:16 +08:00
|
|
|
#include "llvm/Support/Debug.h"
|
2016-04-21 13:54:23 +08:00
|
|
|
#include "llvm/Support/CachePruning.h"
|
|
|
|
#include "llvm/Support/Debug.h"
|
|
|
|
#include "llvm/Support/Path.h"
|
|
|
|
#include "llvm/Support/SHA1.h"
|
2016-03-09 09:37:22 +08:00
|
|
|
#include "llvm/Support/SourceMgr.h"
|
|
|
|
#include "llvm/Support/TargetRegistry.h"
|
|
|
|
#include "llvm/Support/ThreadPool.h"
|
|
|
|
#include "llvm/Target/TargetMachine.h"
|
|
|
|
#include "llvm/Transforms/IPO.h"
|
|
|
|
#include "llvm/Transforms/IPO/FunctionImport.h"
|
2016-04-24 11:18:01 +08:00
|
|
|
#include "llvm/Transforms/IPO/Internalize.h"
|
2016-03-09 09:37:22 +08:00
|
|
|
#include "llvm/Transforms/IPO/PassManagerBuilder.h"
|
|
|
|
#include "llvm/Transforms/ObjCARC.h"
|
|
|
|
#include "llvm/Transforms/Utils/FunctionImportUtils.h"
|
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
|
2016-04-16 15:02:16 +08:00
|
|
|
#define DEBUG_TYPE "thinlto"
|
|
|
|
|
Add a flag to the LLVMContext to disable name for Value other than GlobalValue
Summary:
This is intended to be a performance flag, on the same level as clang
cc1 option "--disable-free". LLVM will never initialize it by default,
it will be up to the client creating the LLVMContext to request this
behavior. Clang will do it by default in Release build (just like
--disable-free).
"opt" and "llc" can opt-in using -disable-named-value command line
option.
When performing LTO on llvm-tblgen, the initial merging of IR peaks
at 92MB without this patch, and 86MB after this patch,setNameImpl()
drops from 6.5MB to 0.5MB.
The total link time goes from ~29.5s to ~27.8s.
Compared to a compile-time flag (like the IRBuilder one), it performs
very close. I profiled on SROA and obtain these results:
420ms with IRBuilder that preserve name
372ms with IRBuilder that strip name
375ms with IRBuilder that preserve name, and a runtime flag to strip
Reviewers: chandlerc, dexonsmith, bogner
Subscribers: joker.eph, llvm-commits
Differential Revision: http://reviews.llvm.org/D17946
From: Mehdi Amini <mehdi.amini@apple.com>
llvm-svn: 263086
2016-03-10 09:28:54 +08:00
|
|
|
namespace llvm {
|
|
|
|
// Flags -discard-value-names, defined in LTOCodeGenerator.cpp
|
|
|
|
extern cl::opt<bool> LTODiscardValueNames;
|
|
|
|
}
|
|
|
|
|
2016-03-09 09:37:22 +08:00
|
|
|
namespace {
|
|
|
|
|
|
|
|
static cl::opt<int> ThreadCount("threads",
|
|
|
|
cl::init(std::thread::hardware_concurrency()));
|
|
|
|
|
|
|
|
static void diagnosticHandler(const DiagnosticInfo &DI) {
|
|
|
|
DiagnosticPrinterRawOStream DP(errs());
|
|
|
|
DI.print(DP);
|
|
|
|
errs() << '\n';
|
|
|
|
}
|
|
|
|
|
|
|
|
// Simple helper to load a module from bitcode
|
|
|
|
static std::unique_ptr<Module>
|
|
|
|
loadModuleFromBuffer(const MemoryBufferRef &Buffer, LLVMContext &Context,
|
|
|
|
bool Lazy) {
|
|
|
|
SMDiagnostic Err;
|
|
|
|
ErrorOr<std::unique_ptr<Module>> ModuleOrErr(nullptr);
|
|
|
|
if (Lazy) {
|
|
|
|
ModuleOrErr =
|
|
|
|
getLazyBitcodeModule(MemoryBuffer::getMemBuffer(Buffer, false), Context,
|
|
|
|
/* ShouldLazyLoadMetadata */ Lazy);
|
|
|
|
} else {
|
|
|
|
ModuleOrErr = parseBitcodeFile(Buffer, Context);
|
|
|
|
}
|
|
|
|
if (std::error_code EC = ModuleOrErr.getError()) {
|
|
|
|
Err = SMDiagnostic(Buffer.getBufferIdentifier(), SourceMgr::DK_Error,
|
|
|
|
EC.message());
|
|
|
|
Err.print("ThinLTO", errs());
|
|
|
|
report_fatal_error("Can't load module, abort.");
|
|
|
|
}
|
|
|
|
return std::move(ModuleOrErr.get());
|
|
|
|
}
|
|
|
|
|
|
|
|
// Simple helper to save temporary files for debug.
|
|
|
|
static void saveTempBitcode(const Module &TheModule, StringRef TempDir,
|
|
|
|
unsigned count, StringRef Suffix) {
|
|
|
|
if (TempDir.empty())
|
|
|
|
return;
|
|
|
|
// User asked to save temps, let dump the bitcode file after import.
|
|
|
|
auto SaveTempPath = TempDir + llvm::utostr(count) + Suffix;
|
|
|
|
std::error_code EC;
|
|
|
|
raw_fd_ostream OS(SaveTempPath.str(), EC, sys::fs::F_None);
|
|
|
|
if (EC)
|
|
|
|
report_fatal_error(Twine("Failed to open ") + SaveTempPath +
|
|
|
|
" to save optimized bitcode\n");
|
2016-04-05 05:19:31 +08:00
|
|
|
WriteBitcodeToFile(&TheModule, OS, /* ShouldPreserveUseListOrder */ true);
|
2016-03-09 09:37:22 +08:00
|
|
|
}
|
|
|
|
|
2016-04-24 22:57:11 +08:00
|
|
|
bool IsFirstDefinitionForLinker(const GlobalValueSummaryList &GVSummaryList,
|
2016-04-02 05:53:50 +08:00
|
|
|
const ModuleSummaryIndex &Index,
|
|
|
|
StringRef ModulePath) {
|
|
|
|
// Get the first *linker visible* definition for this global in the summary
|
|
|
|
// list.
|
|
|
|
auto FirstDefForLinker = llvm::find_if(
|
2016-04-24 22:57:11 +08:00
|
|
|
GVSummaryList, [](const std::unique_ptr<GlobalValueSummary> &Summary) {
|
|
|
|
auto Linkage = Summary->linkage();
|
2016-04-02 05:53:50 +08:00
|
|
|
return !GlobalValue::isAvailableExternallyLinkage(Linkage);
|
|
|
|
});
|
|
|
|
// If \p GV is not the first definition, give up...
|
2016-04-24 22:57:11 +08:00
|
|
|
if ((*FirstDefForLinker)->modulePath() != ModulePath)
|
2016-04-02 05:53:50 +08:00
|
|
|
return false;
|
|
|
|
// If there is any strong definition anywhere, do not bother emitting this.
|
|
|
|
if (llvm::any_of(
|
2016-04-24 22:57:11 +08:00
|
|
|
GVSummaryList,
|
|
|
|
[](const std::unique_ptr<GlobalValueSummary> &Summary) {
|
|
|
|
auto Linkage = Summary->linkage();
|
2016-04-02 05:53:50 +08:00
|
|
|
return !GlobalValue::isAvailableExternallyLinkage(Linkage) &&
|
|
|
|
!GlobalValue::isWeakForLinker(Linkage);
|
|
|
|
}))
|
|
|
|
return false;
|
|
|
|
return true;
|
2016-04-02 09:03:41 +08:00
|
|
|
}
|
2016-04-02 05:53:50 +08:00
|
|
|
|
2016-04-21 13:47:17 +08:00
|
|
|
static GlobalValue::LinkageTypes
|
|
|
|
ResolveODR(const ModuleSummaryIndex &Index,
|
|
|
|
const FunctionImporter::ExportSetTy &ExportList,
|
2016-04-26 18:35:01 +08:00
|
|
|
const DenseSet<GlobalValue::GUID> &GUIDPreservedSymbols,
|
2016-04-21 13:47:17 +08:00
|
|
|
StringRef ModuleIdentifier, GlobalValue::GUID GUID,
|
|
|
|
const GlobalValueSummary &GV) {
|
2016-04-24 22:57:11 +08:00
|
|
|
auto HasMultipleCopies = [&](const GlobalValueSummaryList &GVSummaryList) {
|
|
|
|
return GVSummaryList.size() > 1;
|
|
|
|
};
|
2016-04-02 05:53:50 +08:00
|
|
|
|
2016-04-16 15:02:16 +08:00
|
|
|
auto OriginalLinkage = GV.linkage();
|
|
|
|
switch (OriginalLinkage) {
|
2016-04-02 05:53:50 +08:00
|
|
|
case GlobalValue::ExternalLinkage:
|
|
|
|
case GlobalValue::AvailableExternallyLinkage:
|
|
|
|
case GlobalValue::AppendingLinkage:
|
|
|
|
case GlobalValue::InternalLinkage:
|
|
|
|
case GlobalValue::PrivateLinkage:
|
|
|
|
case GlobalValue::ExternalWeakLinkage:
|
|
|
|
case GlobalValue::CommonLinkage:
|
|
|
|
case GlobalValue::LinkOnceAnyLinkage:
|
|
|
|
case GlobalValue::WeakAnyLinkage:
|
|
|
|
break;
|
|
|
|
case GlobalValue::LinkOnceODRLinkage:
|
|
|
|
case GlobalValue::WeakODRLinkage: {
|
2016-04-24 22:57:11 +08:00
|
|
|
auto &GVSummaryList = Index.findGlobalValueSummaryList(GUID)->second;
|
2016-04-02 05:53:50 +08:00
|
|
|
// We need to emit only one of these, the first module will keep
|
|
|
|
// it, but turned into a weak while the others will drop it.
|
2016-04-24 22:57:11 +08:00
|
|
|
if (!HasMultipleCopies(GVSummaryList)) {
|
2016-04-21 13:47:17 +08:00
|
|
|
// Exported LinkonceODR needs to be promoted to not be discarded
|
|
|
|
if (GlobalValue::isDiscardableIfUnused(OriginalLinkage) &&
|
2016-04-26 18:35:01 +08:00
|
|
|
(ExportList.count(GUID) || GUIDPreservedSymbols.count(GUID)))
|
2016-04-21 13:47:17 +08:00
|
|
|
return GlobalValue::WeakODRLinkage;
|
2016-04-02 05:53:50 +08:00
|
|
|
break;
|
2016-04-21 13:47:17 +08:00
|
|
|
}
|
2016-04-24 22:57:11 +08:00
|
|
|
if (IsFirstDefinitionForLinker(GVSummaryList, Index, ModuleIdentifier))
|
2016-04-16 15:02:16 +08:00
|
|
|
return GlobalValue::WeakODRLinkage;
|
2016-04-21 13:47:17 +08:00
|
|
|
else if (isa<AliasSummary>(&GV))
|
|
|
|
// Alias can't be turned into available_externally.
|
|
|
|
return OriginalLinkage;
|
|
|
|
return GlobalValue::AvailableExternallyLinkage;
|
2016-04-02 05:53:50 +08:00
|
|
|
}
|
|
|
|
}
|
2016-04-16 15:02:16 +08:00
|
|
|
return OriginalLinkage;
|
2016-04-02 05:53:50 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Resolve LinkOnceODR and WeakODR.
|
|
|
|
///
|
|
|
|
/// We'd like to drop these function if they are no longer referenced in the
|
|
|
|
/// current module. However there is a chance that another module is still
|
|
|
|
/// referencing them because of the import. We make sure we always emit at least
|
|
|
|
/// one copy.
|
2016-04-16 15:02:16 +08:00
|
|
|
static void ResolveODR(
|
|
|
|
const ModuleSummaryIndex &Index,
|
2016-04-21 13:47:17 +08:00
|
|
|
const FunctionImporter::ExportSetTy &ExportList,
|
2016-04-26 18:35:01 +08:00
|
|
|
const DenseSet<GlobalValue::GUID> &GUIDPreservedSymbols,
|
2016-04-26 05:09:51 +08:00
|
|
|
const GVSummaryMapTy &DefinedGlobals, StringRef ModuleIdentifier,
|
2016-04-21 13:54:23 +08:00
|
|
|
std::map<GlobalValue::GUID, GlobalValue::LinkageTypes> &ResolvedODR) {
|
2016-04-14 16:46:22 +08:00
|
|
|
if (Index.modulePaths().size() == 1)
|
|
|
|
// Nothing to do if we don't have multiple modules
|
|
|
|
return;
|
|
|
|
|
2016-04-02 05:53:50 +08:00
|
|
|
// We won't optimize the globals that are referenced by an alias for now
|
|
|
|
// Ideally we should turn the alias into a global and duplicate the definition
|
|
|
|
// when needed.
|
2016-04-16 15:02:16 +08:00
|
|
|
DenseSet<GlobalValueSummary *> GlobalInvolvedWithAlias;
|
|
|
|
for (auto &GA : DefinedGlobals) {
|
|
|
|
if (auto AS = dyn_cast<AliasSummary>(GA.second))
|
|
|
|
GlobalInvolvedWithAlias.insert(&AS->getAliasee());
|
|
|
|
}
|
|
|
|
|
|
|
|
for (auto &GV : DefinedGlobals) {
|
|
|
|
if (GlobalInvolvedWithAlias.count(GV.second))
|
|
|
|
continue;
|
2016-04-21 13:47:17 +08:00
|
|
|
auto NewLinkage =
|
2016-04-26 18:35:01 +08:00
|
|
|
ResolveODR(Index, ExportList, GUIDPreservedSymbols, ModuleIdentifier, GV.first, *GV.second);
|
2016-04-16 15:02:16 +08:00
|
|
|
if (NewLinkage != GV.second->linkage()) {
|
|
|
|
ResolvedODR[GV.first] = NewLinkage;
|
|
|
|
}
|
2016-04-02 05:53:50 +08:00
|
|
|
}
|
2016-04-16 15:02:16 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Fixup linkage, see ResolveODR() above.
|
|
|
|
void fixupODR(
|
|
|
|
Module &TheModule,
|
2016-04-21 13:54:23 +08:00
|
|
|
const std::map<GlobalValue::GUID, GlobalValue::LinkageTypes> &ResolvedODR) {
|
2016-04-02 05:53:50 +08:00
|
|
|
// Process functions and global now
|
|
|
|
for (auto &GV : TheModule) {
|
2016-04-16 15:02:16 +08:00
|
|
|
auto NewLinkage = ResolvedODR.find(GV.getGUID());
|
|
|
|
if (NewLinkage == ResolvedODR.end())
|
|
|
|
continue;
|
|
|
|
DEBUG(dbgs() << "ODR fixing up linkage for `" << GV.getName() << "` from "
|
|
|
|
<< GV.getLinkage() << " to " << NewLinkage->second << "\n");
|
|
|
|
GV.setLinkage(NewLinkage->second);
|
2016-04-02 05:53:50 +08:00
|
|
|
}
|
|
|
|
for (auto &GV : TheModule.globals()) {
|
2016-04-16 15:02:16 +08:00
|
|
|
auto NewLinkage = ResolvedODR.find(GV.getGUID());
|
|
|
|
if (NewLinkage == ResolvedODR.end())
|
|
|
|
continue;
|
|
|
|
DEBUG(dbgs() << "ODR fixing up linkage for `" << GV.getName() << "` from "
|
|
|
|
<< GV.getLinkage() << " to " << NewLinkage->second << "\n");
|
|
|
|
GV.setLinkage(NewLinkage->second);
|
2016-04-02 05:53:50 +08:00
|
|
|
}
|
2016-04-21 13:47:17 +08:00
|
|
|
for (auto &GV : TheModule.aliases()) {
|
|
|
|
auto NewLinkage = ResolvedODR.find(GV.getGUID());
|
|
|
|
if (NewLinkage == ResolvedODR.end())
|
|
|
|
continue;
|
|
|
|
DEBUG(dbgs() << "ODR fixing up linkage for `" << GV.getName() << "` from "
|
|
|
|
<< GV.getLinkage() << " to " << NewLinkage->second << "\n");
|
|
|
|
GV.setLinkage(NewLinkage->second);
|
|
|
|
}
|
2016-04-02 05:53:50 +08:00
|
|
|
}
|
|
|
|
|
2016-03-09 09:37:22 +08:00
|
|
|
static StringMap<MemoryBufferRef>
|
|
|
|
generateModuleMap(const std::vector<MemoryBufferRef> &Modules) {
|
|
|
|
StringMap<MemoryBufferRef> ModuleMap;
|
|
|
|
for (auto &ModuleBuffer : Modules) {
|
|
|
|
assert(ModuleMap.find(ModuleBuffer.getBufferIdentifier()) ==
|
|
|
|
ModuleMap.end() &&
|
|
|
|
"Expect unique Buffer Identifier");
|
|
|
|
ModuleMap[ModuleBuffer.getBufferIdentifier()] = ModuleBuffer;
|
|
|
|
}
|
|
|
|
return ModuleMap;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Provide a "loader" for the FunctionImporter to access function from other
|
|
|
|
/// modules.
|
|
|
|
class ModuleLoader {
|
|
|
|
/// The context that will be used for importing.
|
|
|
|
LLVMContext &Context;
|
|
|
|
|
|
|
|
/// Map from Module identifier to MemoryBuffer. Used by clients like the
|
|
|
|
/// FunctionImported to request loading a Module.
|
|
|
|
StringMap<MemoryBufferRef> &ModuleMap;
|
|
|
|
|
|
|
|
public:
|
|
|
|
ModuleLoader(LLVMContext &Context, StringMap<MemoryBufferRef> &ModuleMap)
|
|
|
|
: Context(Context), ModuleMap(ModuleMap) {}
|
|
|
|
|
|
|
|
/// Load a module on demand.
|
|
|
|
std::unique_ptr<Module> operator()(StringRef Identifier) {
|
|
|
|
return loadModuleFromBuffer(ModuleMap[Identifier], Context, /*Lazy*/ true);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2016-03-15 08:04:37 +08:00
|
|
|
static void promoteModule(Module &TheModule, const ModuleSummaryIndex &Index) {
|
2016-03-09 09:37:22 +08:00
|
|
|
if (renameModuleForThinLTO(TheModule, Index))
|
|
|
|
report_fatal_error("renameModuleForThinLTO failed");
|
|
|
|
}
|
|
|
|
|
2016-03-26 13:40:34 +08:00
|
|
|
static void
|
|
|
|
crossImportIntoModule(Module &TheModule, const ModuleSummaryIndex &Index,
|
|
|
|
StringMap<MemoryBufferRef> &ModuleMap,
|
|
|
|
const FunctionImporter::ImportMapTy &ImportList) {
|
2016-03-09 09:37:22 +08:00
|
|
|
ModuleLoader Loader(TheModule.getContext(), ModuleMap);
|
|
|
|
FunctionImporter Importer(Index, Loader);
|
2016-03-26 13:40:34 +08:00
|
|
|
Importer.importFunctions(TheModule, ImportList);
|
2016-03-09 09:37:22 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
static void optimizeModule(Module &TheModule, TargetMachine &TM) {
|
|
|
|
// Populate the PassManager
|
|
|
|
PassManagerBuilder PMB;
|
|
|
|
PMB.LibraryInfo = new TargetLibraryInfoImpl(TM.getTargetTriple());
|
|
|
|
PMB.Inliner = createFunctionInliningPass();
|
|
|
|
// FIXME: should get it from the bitcode?
|
|
|
|
PMB.OptLevel = 3;
|
|
|
|
PMB.LoopVectorize = true;
|
|
|
|
PMB.SLPVectorize = true;
|
|
|
|
PMB.VerifyInput = true;
|
|
|
|
PMB.VerifyOutput = false;
|
|
|
|
|
|
|
|
legacy::PassManager PM;
|
|
|
|
|
|
|
|
// Add the TTI (required to inform the vectorizer about register size for
|
|
|
|
// instance)
|
|
|
|
PM.add(createTargetTransformInfoWrapperPass(TM.getTargetIRAnalysis()));
|
|
|
|
|
|
|
|
// Add optimizations
|
|
|
|
PMB.populateThinLTOPassManager(PM);
|
|
|
|
|
|
|
|
PM.run(TheModule);
|
|
|
|
}
|
|
|
|
|
2016-04-24 11:18:01 +08:00
|
|
|
// Create a DenseSet of GlobalValue to be used with the Internalizer.
|
|
|
|
static DenseSet<const GlobalValue *> computePreservedSymbolsForModule(
|
|
|
|
Module &TheModule, const DenseSet<GlobalValue::GUID> &GUIDPreservedSymbols,
|
|
|
|
const FunctionImporter::ExportSetTy &ExportList) {
|
|
|
|
DenseSet<const GlobalValue *> PreservedGV;
|
|
|
|
if (GUIDPreservedSymbols.empty())
|
|
|
|
// Early exit: internalize is disabled when there is nothing to preserve.
|
|
|
|
return PreservedGV;
|
|
|
|
|
|
|
|
auto AddPreserveGV = [&](const GlobalValue &GV) {
|
|
|
|
auto GUID = GV.getGUID();
|
|
|
|
if (GUIDPreservedSymbols.count(GUID) || ExportList.count(GUID))
|
|
|
|
PreservedGV.insert(&GV);
|
|
|
|
};
|
|
|
|
|
|
|
|
for (auto &GV : TheModule)
|
|
|
|
AddPreserveGV(GV);
|
|
|
|
for (auto &GV : TheModule.globals())
|
|
|
|
AddPreserveGV(GV);
|
|
|
|
for (auto &GV : TheModule.aliases())
|
|
|
|
AddPreserveGV(GV);
|
|
|
|
|
|
|
|
return PreservedGV;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Run internalization on \p TheModule
|
|
|
|
static void
|
|
|
|
doInternalizeModule(Module &TheModule, const TargetMachine &TM,
|
|
|
|
const DenseSet<const GlobalValue *> &PreservedGV) {
|
|
|
|
if (PreservedGV.empty()) {
|
|
|
|
// Be friendly and don't nuke totally the module when the client didn't
|
|
|
|
// supply anything to preserve.
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Parse inline ASM and collect the list of symbols that are not defined in
|
|
|
|
// the current module.
|
|
|
|
StringSet<> AsmUndefinedRefs;
|
|
|
|
object::IRObjectFile::CollectAsmUndefinedRefs(
|
|
|
|
Triple(TheModule.getTargetTriple()), TheModule.getModuleInlineAsm(),
|
|
|
|
[&AsmUndefinedRefs](StringRef Name, object::BasicSymbolRef::Flags Flags) {
|
|
|
|
if (Flags & object::BasicSymbolRef::SF_Undefined)
|
|
|
|
AsmUndefinedRefs.insert(Name);
|
|
|
|
});
|
|
|
|
|
|
|
|
// Update the llvm.compiler_used globals to force preserving libcalls and
|
|
|
|
// symbols referenced from asm
|
|
|
|
UpdateCompilerUsed(TheModule, TM, AsmUndefinedRefs);
|
|
|
|
|
|
|
|
// Declare a callback for the internalize pass that will ask for every
|
|
|
|
// candidate GlobalValue if it can be internalized or not.
|
|
|
|
auto MustPreserveGV =
|
|
|
|
[&](const GlobalValue &GV) -> bool { return PreservedGV.count(&GV); };
|
|
|
|
|
|
|
|
llvm::internalizeModule(TheModule, MustPreserveGV);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Convert the PreservedSymbols map from "Name" based to "GUID" based.
|
|
|
|
static DenseSet<GlobalValue::GUID>
|
|
|
|
computeGUIDPreservedSymbols(const StringSet<> &PreservedSymbols,
|
|
|
|
const Triple &TheTriple) {
|
|
|
|
DenseSet<GlobalValue::GUID> GUIDPreservedSymbols(PreservedSymbols.size());
|
|
|
|
for (auto &Entry : PreservedSymbols) {
|
|
|
|
StringRef Name = Entry.first();
|
|
|
|
if (TheTriple.isOSBinFormatMachO() && Name.size() > 0 && Name[0] == '_')
|
|
|
|
Name = Name.drop_front();
|
|
|
|
GUIDPreservedSymbols.insert(GlobalValue::getGUID(Name));
|
|
|
|
}
|
|
|
|
return GUIDPreservedSymbols;
|
|
|
|
}
|
|
|
|
|
2016-03-09 09:37:22 +08:00
|
|
|
std::unique_ptr<MemoryBuffer> codegenModule(Module &TheModule,
|
|
|
|
TargetMachine &TM) {
|
|
|
|
SmallVector<char, 128> OutputBuffer;
|
|
|
|
|
|
|
|
// CodeGen
|
|
|
|
{
|
|
|
|
raw_svector_ostream OS(OutputBuffer);
|
|
|
|
legacy::PassManager PM;
|
2016-04-01 16:22:59 +08:00
|
|
|
|
|
|
|
// If the bitcode files contain ARC code and were compiled with optimization,
|
|
|
|
// the ObjCARCContractPass must be run, so do it unconditionally here.
|
|
|
|
PM.add(createObjCARCContractPass());
|
|
|
|
|
|
|
|
// Setup the codegen now.
|
2016-03-09 09:37:22 +08:00
|
|
|
if (TM.addPassesToEmitFile(PM, OS, TargetMachine::CGFT_ObjectFile,
|
|
|
|
/* DisableVerify */ true))
|
|
|
|
report_fatal_error("Failed to setup codegen");
|
|
|
|
|
|
|
|
// Run codegen now. resulting binary is in OutputBuffer.
|
|
|
|
PM.run(TheModule);
|
|
|
|
}
|
|
|
|
return make_unique<ObjectMemoryBuffer>(std::move(OutputBuffer));
|
|
|
|
}
|
|
|
|
|
2016-04-21 13:54:23 +08:00
|
|
|
/// Manage caching for a single Module.
|
|
|
|
class ModuleCacheEntry {
|
|
|
|
SmallString<128> EntryPath;
|
|
|
|
|
|
|
|
public:
|
|
|
|
// Create a cache entry. This compute a unique hash for the Module considering
|
|
|
|
// the current list of export/import, and offer an interface to query to
|
|
|
|
// access the content in the cache.
|
|
|
|
ModuleCacheEntry(
|
|
|
|
StringRef CachePath, const ModuleSummaryIndex &Index, StringRef ModuleID,
|
|
|
|
const FunctionImporter::ImportMapTy &ImportList,
|
|
|
|
const FunctionImporter::ExportSetTy &ExportList,
|
|
|
|
const std::map<GlobalValue::GUID, GlobalValue::LinkageTypes> &ResolvedODR,
|
2016-04-26 05:09:51 +08:00
|
|
|
const GVSummaryMapTy &DefinedFunctions,
|
2016-04-21 13:54:23 +08:00
|
|
|
const DenseSet<GlobalValue::GUID> &PreservedSymbols) {
|
|
|
|
if (CachePath.empty())
|
|
|
|
return;
|
|
|
|
|
|
|
|
// Compute the unique hash for this entry
|
|
|
|
// This is based on the current compiler version, the module itself, the
|
|
|
|
// export list, the hash for every single module in the import list, the
|
|
|
|
// list of ResolvedODR for the module, and the list of preserved symbols.
|
|
|
|
|
|
|
|
SHA1 Hasher;
|
|
|
|
|
|
|
|
// Start with the compiler revision
|
|
|
|
Hasher.update(LLVM_VERSION_STRING);
|
|
|
|
#ifdef HAVE_LLVM_REVISION
|
|
|
|
Hasher.update(LLVM_REVISION);
|
|
|
|
#endif
|
|
|
|
|
|
|
|
// Include the hash for the current module
|
|
|
|
auto ModHash = Index.getModuleHash(ModuleID);
|
|
|
|
Hasher.update(ArrayRef<uint8_t>((uint8_t *)&ModHash[0], sizeof(ModHash)));
|
|
|
|
for (auto F : ExportList)
|
|
|
|
// The export list can impact the internalization, be conservative here
|
|
|
|
Hasher.update(ArrayRef<uint8_t>((uint8_t *)&F, sizeof(F)));
|
|
|
|
|
|
|
|
// Include the hash for every module we import functions from
|
|
|
|
for (auto &Entry : ImportList) {
|
|
|
|
auto ModHash = Index.getModuleHash(Entry.first());
|
|
|
|
Hasher.update(ArrayRef<uint8_t>((uint8_t *)&ModHash[0], sizeof(ModHash)));
|
|
|
|
}
|
|
|
|
|
|
|
|
// Include the hash for the resolved ODR.
|
|
|
|
for (auto &Entry : ResolvedODR) {
|
2016-04-28 02:35:02 +08:00
|
|
|
Hasher.update(ArrayRef<uint8_t>((const uint8_t *)&Entry.first,
|
2016-04-21 13:54:23 +08:00
|
|
|
sizeof(GlobalValue::GUID)));
|
2016-04-28 02:35:02 +08:00
|
|
|
Hasher.update(ArrayRef<uint8_t>((const uint8_t *)&Entry.second,
|
2016-04-21 13:54:23 +08:00
|
|
|
sizeof(GlobalValue::LinkageTypes)));
|
|
|
|
}
|
|
|
|
|
|
|
|
// Include the hash for the preserved symbols.
|
|
|
|
for (auto &Entry : PreservedSymbols) {
|
|
|
|
if (DefinedFunctions.count(Entry))
|
|
|
|
Hasher.update(
|
2016-04-28 02:35:02 +08:00
|
|
|
ArrayRef<uint8_t>((const uint8_t *)&Entry, sizeof(GlobalValue::GUID)));
|
2016-04-21 13:54:23 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
sys::path::append(EntryPath, CachePath, toHex(Hasher.result()));
|
|
|
|
}
|
|
|
|
|
2016-04-24 11:18:01 +08:00
|
|
|
// Access the path to this entry in the cache.
|
|
|
|
StringRef getEntryPath() { return EntryPath; }
|
|
|
|
|
2016-04-21 13:54:23 +08:00
|
|
|
// Try loading the buffer for this cache entry.
|
|
|
|
ErrorOr<std::unique_ptr<MemoryBuffer>> tryLoadingBuffer() {
|
|
|
|
if (EntryPath.empty())
|
|
|
|
return std::error_code();
|
|
|
|
return MemoryBuffer::getFile(EntryPath);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Cache the Produced object file
|
2016-05-17 03:11:59 +08:00
|
|
|
std::unique_ptr<MemoryBuffer>
|
|
|
|
write(std::unique_ptr<MemoryBuffer> OutputBuffer) {
|
2016-04-21 13:54:23 +08:00
|
|
|
if (EntryPath.empty())
|
2016-05-17 03:11:59 +08:00
|
|
|
return OutputBuffer;
|
2016-04-21 13:54:23 +08:00
|
|
|
|
|
|
|
// Write to a temporary to avoid race condition
|
|
|
|
SmallString<128> TempFilename;
|
|
|
|
int TempFD;
|
|
|
|
std::error_code EC =
|
|
|
|
sys::fs::createTemporaryFile("Thin", "tmp.o", TempFD, TempFilename);
|
|
|
|
if (EC) {
|
|
|
|
errs() << "Error: " << EC.message() << "\n";
|
|
|
|
report_fatal_error("ThinLTO: Can't get a temporary file");
|
|
|
|
}
|
|
|
|
{
|
|
|
|
raw_fd_ostream OS(TempFD, /* ShouldClose */ true);
|
2016-05-17 03:11:59 +08:00
|
|
|
OS << OutputBuffer->getBuffer();
|
2016-04-21 13:54:23 +08:00
|
|
|
}
|
|
|
|
// Rename to final destination (hopefully race condition won't matter here)
|
2016-05-14 12:58:38 +08:00
|
|
|
EC = sys::fs::rename(TempFilename, EntryPath);
|
|
|
|
if (EC) {
|
2016-05-14 13:16:35 +08:00
|
|
|
sys::fs::remove(TempFilename);
|
|
|
|
raw_fd_ostream OS(EntryPath, EC, sys::fs::F_None);
|
|
|
|
if (EC)
|
|
|
|
report_fatal_error(Twine("Failed to open ") + EntryPath +
|
|
|
|
" to save cached entry\n");
|
2016-05-17 03:11:59 +08:00
|
|
|
OS << OutputBuffer->getBuffer();
|
|
|
|
}
|
|
|
|
auto ReloadedBufferOrErr = MemoryBuffer::getFile(EntryPath);
|
|
|
|
if (auto EC = ReloadedBufferOrErr.getError()) {
|
|
|
|
// FIXME diagnose
|
|
|
|
errs() << "error: can't reload cached file '" << EntryPath
|
|
|
|
<< "': " << EC.message() << "\n";
|
|
|
|
return OutputBuffer;
|
2016-05-14 12:58:38 +08:00
|
|
|
}
|
2016-05-17 03:11:59 +08:00
|
|
|
return std::move(*ReloadedBufferOrErr);
|
2016-04-21 13:54:23 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2016-04-16 15:02:16 +08:00
|
|
|
static std::unique_ptr<MemoryBuffer> ProcessThinLTOModule(
|
|
|
|
Module &TheModule, const ModuleSummaryIndex &Index,
|
|
|
|
StringMap<MemoryBufferRef> &ModuleMap, TargetMachine &TM,
|
|
|
|
const FunctionImporter::ImportMapTy &ImportList,
|
2016-04-24 11:18:01 +08:00
|
|
|
const FunctionImporter::ExportSetTy &ExportList,
|
|
|
|
const DenseSet<GlobalValue::GUID> &GUIDPreservedSymbols,
|
2016-04-21 13:54:23 +08:00
|
|
|
std::map<GlobalValue::GUID, GlobalValue::LinkageTypes> &ResolvedODR,
|
2016-04-16 15:02:16 +08:00
|
|
|
ThinLTOCodeGenerator::CachingOptions CacheOptions, bool DisableCodeGen,
|
|
|
|
StringRef SaveTempsDir, unsigned count) {
|
2016-03-09 09:37:22 +08:00
|
|
|
|
2016-04-24 11:18:01 +08:00
|
|
|
// Prepare for internalization by computing the set of symbols to preserve.
|
|
|
|
// We need to compute the list of symbols to preserve during internalization
|
|
|
|
// before doing any promotion because after renaming we won't (easily) match
|
|
|
|
// to the original name.
|
|
|
|
auto PreservedGV = computePreservedSymbolsForModule(
|
|
|
|
TheModule, GUIDPreservedSymbols, ExportList);
|
|
|
|
|
2016-03-09 09:37:22 +08:00
|
|
|
// "Benchmark"-like optimization: single-source case
|
|
|
|
bool SingleModule = (ModuleMap.size() == 1);
|
|
|
|
|
|
|
|
if (!SingleModule) {
|
|
|
|
promoteModule(TheModule, Index);
|
|
|
|
|
2016-04-02 05:53:50 +08:00
|
|
|
// Resolve the LinkOnce/Weak ODR, trying to turn them into
|
|
|
|
// "available_externally" when possible.
|
|
|
|
// This is a compile-time optimization.
|
2016-04-16 15:02:16 +08:00
|
|
|
fixupODR(TheModule, ResolvedODR);
|
2016-04-02 05:53:50 +08:00
|
|
|
|
2016-03-09 09:37:22 +08:00
|
|
|
// Save temps: after promotion.
|
2016-05-05 13:14:16 +08:00
|
|
|
saveTempBitcode(TheModule, SaveTempsDir, count, ".1.promoted.bc");
|
2016-04-24 11:18:01 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// Internalization
|
|
|
|
doInternalizeModule(TheModule, TM, PreservedGV);
|
2016-03-09 09:37:22 +08:00
|
|
|
|
2016-04-24 11:18:01 +08:00
|
|
|
// Save internalized bitcode
|
2016-05-05 13:14:16 +08:00
|
|
|
saveTempBitcode(TheModule, SaveTempsDir, count, ".2.internalized.bc");
|
2016-04-24 11:18:01 +08:00
|
|
|
|
|
|
|
if (!SingleModule) {
|
2016-03-26 13:40:34 +08:00
|
|
|
crossImportIntoModule(TheModule, Index, ModuleMap, ImportList);
|
2016-03-09 09:37:22 +08:00
|
|
|
|
|
|
|
// Save temps: after cross-module import.
|
2016-05-05 13:14:16 +08:00
|
|
|
saveTempBitcode(TheModule, SaveTempsDir, count, ".3.imported.bc");
|
2016-03-09 09:37:22 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
optimizeModule(TheModule, TM);
|
|
|
|
|
2016-05-05 13:14:16 +08:00
|
|
|
saveTempBitcode(TheModule, SaveTempsDir, count, ".4.opt.bc");
|
2016-03-09 09:37:22 +08:00
|
|
|
|
2016-04-01 14:47:02 +08:00
|
|
|
if (DisableCodeGen) {
|
|
|
|
// Configured to stop before CodeGen, serialize the bitcode and return.
|
|
|
|
SmallVector<char, 128> OutputBuffer;
|
|
|
|
{
|
|
|
|
raw_svector_ostream OS(OutputBuffer);
|
2016-04-11 21:58:45 +08:00
|
|
|
ModuleSummaryIndexBuilder IndexBuilder(&TheModule);
|
|
|
|
WriteBitcodeToFile(&TheModule, OS, true, &IndexBuilder.getIndex());
|
2016-04-01 14:47:02 +08:00
|
|
|
}
|
|
|
|
return make_unique<ObjectMemoryBuffer>(std::move(OutputBuffer));
|
|
|
|
}
|
|
|
|
|
2016-03-09 09:37:22 +08:00
|
|
|
return codegenModule(TheModule, TM);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Initialize the TargetMachine builder for a given Triple
|
|
|
|
static void initTMBuilder(TargetMachineBuilder &TMBuilder,
|
|
|
|
const Triple &TheTriple) {
|
|
|
|
// Set a default CPU for Darwin triples (copied from LTOCodeGenerator).
|
|
|
|
// FIXME this looks pretty terrible...
|
|
|
|
if (TMBuilder.MCpu.empty() && TheTriple.isOSDarwin()) {
|
|
|
|
if (TheTriple.getArch() == llvm::Triple::x86_64)
|
|
|
|
TMBuilder.MCpu = "core2";
|
|
|
|
else if (TheTriple.getArch() == llvm::Triple::x86)
|
|
|
|
TMBuilder.MCpu = "yonah";
|
|
|
|
else if (TheTriple.getArch() == llvm::Triple::aarch64)
|
|
|
|
TMBuilder.MCpu = "cyclone";
|
|
|
|
}
|
|
|
|
TMBuilder.TheTriple = std::move(TheTriple);
|
|
|
|
}
|
|
|
|
|
|
|
|
} // end anonymous namespace
|
|
|
|
|
|
|
|
void ThinLTOCodeGenerator::addModule(StringRef Identifier, StringRef Data) {
|
|
|
|
MemoryBufferRef Buffer(Data, Identifier);
|
|
|
|
if (Modules.empty()) {
|
|
|
|
// First module added, so initialize the triple and some options
|
|
|
|
LLVMContext Context;
|
|
|
|
Triple TheTriple(getBitcodeTargetTriple(Buffer, Context));
|
|
|
|
initTMBuilder(TMBuilder, Triple(TheTriple));
|
|
|
|
}
|
|
|
|
#ifndef NDEBUG
|
|
|
|
else {
|
|
|
|
LLVMContext Context;
|
|
|
|
assert(TMBuilder.TheTriple.str() ==
|
|
|
|
getBitcodeTargetTriple(Buffer, Context) &&
|
|
|
|
"ThinLTO modules with different triple not supported");
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
Modules.push_back(Buffer);
|
|
|
|
}
|
|
|
|
|
|
|
|
void ThinLTOCodeGenerator::preserveSymbol(StringRef Name) {
|
|
|
|
PreservedSymbols.insert(Name);
|
|
|
|
}
|
|
|
|
|
|
|
|
void ThinLTOCodeGenerator::crossReferenceSymbol(StringRef Name) {
|
2016-04-24 11:18:01 +08:00
|
|
|
// FIXME: At the moment, we don't take advantage of this extra information,
|
|
|
|
// we're conservatively considering cross-references as preserved.
|
|
|
|
// CrossReferencedSymbols.insert(Name);
|
|
|
|
PreservedSymbols.insert(Name);
|
2016-03-09 09:37:22 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// TargetMachine factory
|
|
|
|
std::unique_ptr<TargetMachine> TargetMachineBuilder::create() const {
|
|
|
|
std::string ErrMsg;
|
|
|
|
const Target *TheTarget =
|
|
|
|
TargetRegistry::lookupTarget(TheTriple.str(), ErrMsg);
|
|
|
|
if (!TheTarget) {
|
|
|
|
report_fatal_error("Can't load target for this Triple: " + ErrMsg);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Use MAttr as the default set of features.
|
|
|
|
SubtargetFeatures Features(MAttr);
|
|
|
|
Features.getDefaultSubtargetFeatures(TheTriple);
|
|
|
|
std::string FeatureStr = Features.getString();
|
|
|
|
return std::unique_ptr<TargetMachine>(TheTarget->createTargetMachine(
|
|
|
|
TheTriple.str(), MCpu, FeatureStr, Options, RelocModel,
|
|
|
|
CodeModel::Default, CGOptLevel));
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2016-03-15 08:04:37 +08:00
|
|
|
* Produce the combined summary index from all the bitcode files:
|
2016-03-09 09:37:22 +08:00
|
|
|
* "thin-link".
|
|
|
|
*/
|
2016-03-15 08:04:37 +08:00
|
|
|
std::unique_ptr<ModuleSummaryIndex> ThinLTOCodeGenerator::linkCombinedIndex() {
|
|
|
|
std::unique_ptr<ModuleSummaryIndex> CombinedIndex;
|
2016-03-09 09:37:22 +08:00
|
|
|
uint64_t NextModuleId = 0;
|
|
|
|
for (auto &ModuleBuffer : Modules) {
|
2016-03-15 08:04:37 +08:00
|
|
|
ErrorOr<std::unique_ptr<object::ModuleSummaryIndexObjectFile>> ObjOrErr =
|
|
|
|
object::ModuleSummaryIndexObjectFile::create(ModuleBuffer,
|
2016-04-22 09:52:00 +08:00
|
|
|
diagnosticHandler);
|
2016-03-09 09:37:22 +08:00
|
|
|
if (std::error_code EC = ObjOrErr.getError()) {
|
|
|
|
// FIXME diagnose
|
2016-03-15 08:04:37 +08:00
|
|
|
errs() << "error: can't create ModuleSummaryIndexObjectFile for buffer: "
|
2016-03-09 09:37:22 +08:00
|
|
|
<< EC.message() << "\n";
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
auto Index = (*ObjOrErr)->takeIndex();
|
|
|
|
if (CombinedIndex) {
|
|
|
|
CombinedIndex->mergeFrom(std::move(Index), ++NextModuleId);
|
|
|
|
} else {
|
|
|
|
CombinedIndex = std::move(Index);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return CombinedIndex;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Perform promotion and renaming of exported internal functions.
|
|
|
|
*/
|
|
|
|
void ThinLTOCodeGenerator::promote(Module &TheModule,
|
2016-03-15 08:04:37 +08:00
|
|
|
ModuleSummaryIndex &Index) {
|
2016-04-21 13:47:17 +08:00
|
|
|
auto ModuleCount = Index.modulePaths().size();
|
2016-04-16 15:02:16 +08:00
|
|
|
auto ModuleIdentifier = TheModule.getModuleIdentifier();
|
|
|
|
// Collect for each module the list of function it defines (GUID -> Summary).
|
2016-04-26 05:09:51 +08:00
|
|
|
StringMap<GVSummaryMapTy> ModuleToDefinedGVSummaries;
|
2016-04-16 15:02:16 +08:00
|
|
|
Index.collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
|
2016-04-02 05:53:50 +08:00
|
|
|
|
2016-04-21 13:47:17 +08:00
|
|
|
// Generate import/export list
|
|
|
|
StringMap<FunctionImporter::ImportMapTy> ImportLists(ModuleCount);
|
|
|
|
StringMap<FunctionImporter::ExportSetTy> ExportLists(ModuleCount);
|
|
|
|
ComputeCrossModuleImport(Index, ModuleToDefinedGVSummaries, ImportLists,
|
|
|
|
ExportLists);
|
|
|
|
auto &ExportList = ExportLists[ModuleIdentifier];
|
|
|
|
|
2016-04-26 18:35:01 +08:00
|
|
|
// Convert the preserved symbols set from string to GUID
|
|
|
|
auto GUIDPreservedSymbols =
|
|
|
|
computeGUIDPreservedSymbols(PreservedSymbols, TMBuilder.TheTriple);
|
|
|
|
|
2016-04-02 05:53:50 +08:00
|
|
|
// Resolve the LinkOnceODR, trying to turn them into "available_externally"
|
|
|
|
// where possible.
|
2016-04-16 15:02:16 +08:00
|
|
|
// This is a compile-time optimization.
|
2016-04-21 13:54:23 +08:00
|
|
|
// We use a std::map here to be able to have a defined ordering when
|
|
|
|
// producing a hash for the cache entry.
|
|
|
|
std::map<GlobalValue::GUID, GlobalValue::LinkageTypes> ResolvedODR;
|
2016-04-26 18:35:01 +08:00
|
|
|
ResolveODR(Index, ExportList, GUIDPreservedSymbols, ModuleToDefinedGVSummaries[ModuleIdentifier],
|
2016-04-16 15:02:16 +08:00
|
|
|
ModuleIdentifier, ResolvedODR);
|
|
|
|
fixupODR(TheModule, ResolvedODR);
|
2016-04-02 05:53:50 +08:00
|
|
|
|
2016-03-09 09:37:22 +08:00
|
|
|
promoteModule(TheModule, Index);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Perform cross-module importing for the module identified by ModuleIdentifier.
|
|
|
|
*/
|
|
|
|
void ThinLTOCodeGenerator::crossModuleImport(Module &TheModule,
|
2016-03-15 08:04:37 +08:00
|
|
|
ModuleSummaryIndex &Index) {
|
2016-03-09 09:37:22 +08:00
|
|
|
auto ModuleMap = generateModuleMap(Modules);
|
2016-04-16 15:02:16 +08:00
|
|
|
auto ModuleCount = Index.modulePaths().size();
|
|
|
|
|
|
|
|
// Collect for each module the list of function it defines (GUID -> Summary).
|
2016-04-26 05:09:51 +08:00
|
|
|
StringMap<GVSummaryMapTy> ModuleToDefinedGVSummaries(ModuleCount);
|
2016-04-16 15:02:16 +08:00
|
|
|
Index.collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
|
2016-03-26 13:40:34 +08:00
|
|
|
|
|
|
|
// Generate import/export list
|
|
|
|
StringMap<FunctionImporter::ImportMapTy> ImportLists(ModuleCount);
|
|
|
|
StringMap<FunctionImporter::ExportSetTy> ExportLists(ModuleCount);
|
2016-04-16 15:02:16 +08:00
|
|
|
ComputeCrossModuleImport(Index, ModuleToDefinedGVSummaries, ImportLists,
|
|
|
|
ExportLists);
|
2016-03-26 13:40:34 +08:00
|
|
|
auto &ImportList = ImportLists[TheModule.getModuleIdentifier()];
|
|
|
|
|
|
|
|
crossImportIntoModule(TheModule, Index, ModuleMap, ImportList);
|
2016-03-09 09:37:22 +08:00
|
|
|
}
|
|
|
|
|
2016-05-10 21:48:23 +08:00
|
|
|
/**
|
|
|
|
* Compute the list of summaries needed for importing into module.
|
|
|
|
*/
|
|
|
|
void ThinLTOCodeGenerator::gatherImportedSummariesForModule(
|
|
|
|
StringRef ModulePath, ModuleSummaryIndex &Index,
|
|
|
|
std::map<std::string, GVSummaryMapTy> &ModuleToSummariesForIndex) {
|
|
|
|
auto ModuleCount = Index.modulePaths().size();
|
|
|
|
|
|
|
|
// Collect for each module the list of function it defines (GUID -> Summary).
|
|
|
|
StringMap<GVSummaryMapTy> ModuleToDefinedGVSummaries(ModuleCount);
|
|
|
|
Index.collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
|
|
|
|
|
|
|
|
// Generate import/export list
|
|
|
|
StringMap<FunctionImporter::ImportMapTy> ImportLists(ModuleCount);
|
|
|
|
StringMap<FunctionImporter::ExportSetTy> ExportLists(ModuleCount);
|
|
|
|
ComputeCrossModuleImport(Index, ModuleToDefinedGVSummaries, ImportLists,
|
|
|
|
ExportLists);
|
|
|
|
|
|
|
|
llvm::gatherImportedSummariesForModule(ModulePath, ModuleToDefinedGVSummaries,
|
|
|
|
ImportLists,
|
|
|
|
ModuleToSummariesForIndex);
|
|
|
|
}
|
|
|
|
|
2016-05-10 23:54:09 +08:00
|
|
|
/**
|
|
|
|
* Emit the list of files needed for importing into module.
|
|
|
|
*/
|
|
|
|
void ThinLTOCodeGenerator::emitImports(StringRef ModulePath,
|
|
|
|
StringRef OutputName,
|
|
|
|
ModuleSummaryIndex &Index) {
|
|
|
|
auto ModuleCount = Index.modulePaths().size();
|
|
|
|
|
|
|
|
// Collect for each module the list of function it defines (GUID -> Summary).
|
|
|
|
StringMap<GVSummaryMapTy> ModuleToDefinedGVSummaries(ModuleCount);
|
|
|
|
Index.collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
|
|
|
|
|
|
|
|
// Generate import/export list
|
|
|
|
StringMap<FunctionImporter::ImportMapTy> ImportLists(ModuleCount);
|
|
|
|
StringMap<FunctionImporter::ExportSetTy> ExportLists(ModuleCount);
|
|
|
|
ComputeCrossModuleImport(Index, ModuleToDefinedGVSummaries, ImportLists,
|
|
|
|
ExportLists);
|
|
|
|
|
|
|
|
std::error_code EC;
|
|
|
|
if ((EC = EmitImportsFiles(ModulePath, OutputName, ImportLists)))
|
|
|
|
report_fatal_error(Twine("Failed to open ") + OutputName +
|
|
|
|
" to save imports lists\n");
|
|
|
|
}
|
|
|
|
|
2016-04-24 11:18:01 +08:00
|
|
|
/**
|
|
|
|
* Perform internalization.
|
|
|
|
*/
|
|
|
|
void ThinLTOCodeGenerator::internalize(Module &TheModule,
|
|
|
|
ModuleSummaryIndex &Index) {
|
|
|
|
initTMBuilder(TMBuilder, Triple(TheModule.getTargetTriple()));
|
|
|
|
auto ModuleCount = Index.modulePaths().size();
|
|
|
|
auto ModuleIdentifier = TheModule.getModuleIdentifier();
|
|
|
|
|
|
|
|
// Convert the preserved symbols set from string to GUID
|
|
|
|
auto GUIDPreservedSymbols =
|
|
|
|
computeGUIDPreservedSymbols(PreservedSymbols, TMBuilder.TheTriple);
|
|
|
|
|
|
|
|
// Collect for each module the list of function it defines (GUID -> Summary).
|
2016-04-26 05:09:51 +08:00
|
|
|
StringMap<GVSummaryMapTy> ModuleToDefinedGVSummaries(ModuleCount);
|
2016-04-24 11:18:01 +08:00
|
|
|
Index.collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
|
|
|
|
|
|
|
|
// Generate import/export list
|
|
|
|
StringMap<FunctionImporter::ImportMapTy> ImportLists(ModuleCount);
|
|
|
|
StringMap<FunctionImporter::ExportSetTy> ExportLists(ModuleCount);
|
|
|
|
ComputeCrossModuleImport(Index, ModuleToDefinedGVSummaries, ImportLists,
|
|
|
|
ExportLists);
|
|
|
|
auto &ExportList = ExportLists[ModuleIdentifier];
|
|
|
|
|
|
|
|
// Internalization
|
|
|
|
auto PreservedGV = computePreservedSymbolsForModule(
|
|
|
|
TheModule, GUIDPreservedSymbols, ExportList);
|
|
|
|
doInternalizeModule(TheModule, *TMBuilder.create(), PreservedGV);
|
|
|
|
}
|
|
|
|
|
2016-03-09 09:37:22 +08:00
|
|
|
/**
|
|
|
|
* Perform post-importing ThinLTO optimizations.
|
|
|
|
*/
|
|
|
|
void ThinLTOCodeGenerator::optimize(Module &TheModule) {
|
|
|
|
initTMBuilder(TMBuilder, Triple(TheModule.getTargetTriple()));
|
2016-04-24 11:18:01 +08:00
|
|
|
|
|
|
|
// Optimize now
|
2016-03-09 09:37:22 +08:00
|
|
|
optimizeModule(TheModule, *TMBuilder.create());
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Perform ThinLTO CodeGen.
|
|
|
|
*/
|
|
|
|
std::unique_ptr<MemoryBuffer> ThinLTOCodeGenerator::codegen(Module &TheModule) {
|
|
|
|
initTMBuilder(TMBuilder, Triple(TheModule.getTargetTriple()));
|
|
|
|
return codegenModule(TheModule, *TMBuilder.create());
|
|
|
|
}
|
|
|
|
|
|
|
|
// Main entry point for the ThinLTO processing
|
|
|
|
void ThinLTOCodeGenerator::run() {
|
2016-04-01 14:47:02 +08:00
|
|
|
if (CodeGenOnly) {
|
|
|
|
// Perform only parallel codegen and return.
|
|
|
|
ThreadPool Pool;
|
|
|
|
assert(ProducedBinaries.empty() && "The generator should not be reused");
|
|
|
|
ProducedBinaries.resize(Modules.size());
|
|
|
|
int count = 0;
|
|
|
|
for (auto &ModuleBuffer : Modules) {
|
|
|
|
Pool.async([&](int count) {
|
|
|
|
LLVMContext Context;
|
|
|
|
Context.setDiscardValueNames(LTODiscardValueNames);
|
|
|
|
|
|
|
|
// Parse module now
|
|
|
|
auto TheModule = loadModuleFromBuffer(ModuleBuffer, Context, false);
|
|
|
|
|
|
|
|
// CodeGen
|
|
|
|
ProducedBinaries[count] = codegen(*TheModule);
|
|
|
|
}, count++);
|
|
|
|
}
|
|
|
|
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2016-03-09 09:37:22 +08:00
|
|
|
// Sequential linking phase
|
|
|
|
auto Index = linkCombinedIndex();
|
|
|
|
|
|
|
|
// Save temps: index.
|
|
|
|
if (!SaveTempsDir.empty()) {
|
|
|
|
auto SaveTempPath = SaveTempsDir + "index.bc";
|
|
|
|
std::error_code EC;
|
|
|
|
raw_fd_ostream OS(SaveTempPath, EC, sys::fs::F_None);
|
|
|
|
if (EC)
|
|
|
|
report_fatal_error(Twine("Failed to open ") + SaveTempPath +
|
|
|
|
" to save optimized bitcode\n");
|
[ThinLTO] Support for reference graph in per-module and combined summary.
Summary:
This patch adds support for including a full reference graph including
call graph edges and other GV references in the summary.
The reference graph edges can be used to make importing decisions
without materializing any source modules, can be used in the plugin
to make file staging decisions for distributed build systems, and is
expected to have other uses.
The call graph edges are recorded in each function summary in the
bitcode via a list of <CalleeValueIds, StaticCount> tuples when no PGO
data exists, or <CalleeValueId, StaticCount, ProfileCount> pairs when
there is PGO, where the ValueId can be mapped to the function GUID via
the ValueSymbolTable. In the function index in memory, the call graph
edges reference the target via the CalleeGUID instead of the
CalleeValueId.
The reference graph edges are recorded in each summary record with a
list of referenced value IDs, which can be mapped to value GUID via the
ValueSymbolTable.
Addtionally, a new summary record type is added to record references
from global variable initializers. A number of bitcode records and data
structures have been renamed to reflect the newly expanded scope of the
summary beyond functions. More cleanup will follow.
Reviewers: joker.eph, davidxl
Subscribers: joker.eph, llvm-commits
Differential Revision: http://reviews.llvm.org/D17212
llvm-svn: 263275
2016-03-12 02:52:24 +08:00
|
|
|
WriteIndexToFile(*Index, OS);
|
2016-03-09 09:37:22 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// Prepare the resulting object vector
|
|
|
|
assert(ProducedBinaries.empty() && "The generator should not be reused");
|
|
|
|
ProducedBinaries.resize(Modules.size());
|
|
|
|
|
|
|
|
// Prepare the module map.
|
|
|
|
auto ModuleMap = generateModuleMap(Modules);
|
2016-03-26 13:40:34 +08:00
|
|
|
auto ModuleCount = Modules.size();
|
|
|
|
|
2016-04-16 15:02:16 +08:00
|
|
|
// Collect for each module the list of function it defines (GUID -> Summary).
|
2016-04-26 05:09:51 +08:00
|
|
|
StringMap<GVSummaryMapTy> ModuleToDefinedGVSummaries(ModuleCount);
|
2016-04-16 15:02:16 +08:00
|
|
|
Index->collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
|
|
|
|
|
2016-03-26 13:40:34 +08:00
|
|
|
// Collect the import/export lists for all modules from the call-graph in the
|
|
|
|
// combined index.
|
|
|
|
StringMap<FunctionImporter::ImportMapTy> ImportLists(ModuleCount);
|
|
|
|
StringMap<FunctionImporter::ExportSetTy> ExportLists(ModuleCount);
|
2016-04-16 15:02:16 +08:00
|
|
|
ComputeCrossModuleImport(*Index, ModuleToDefinedGVSummaries, ImportLists,
|
|
|
|
ExportLists);
|
2016-03-09 09:37:22 +08:00
|
|
|
|
2016-04-21 13:54:23 +08:00
|
|
|
// Convert the preserved symbols set from string to GUID, this is needed for
|
2016-04-24 11:18:01 +08:00
|
|
|
// computing the caching hash and the internalization.
|
|
|
|
auto GUIDPreservedSymbols =
|
|
|
|
computeGUIDPreservedSymbols(PreservedSymbols, TMBuilder.TheTriple);
|
2016-04-21 13:54:23 +08:00
|
|
|
|
2016-05-15 13:49:47 +08:00
|
|
|
// Make sure that every module has an entry in the ExportLists to enable
|
|
|
|
// threaded access to this map below
|
|
|
|
for (auto &DefinedGVSummaries : ModuleToDefinedGVSummaries)
|
|
|
|
ExportLists[DefinedGVSummaries.first()];
|
|
|
|
|
2016-03-09 09:37:22 +08:00
|
|
|
// Parallel optimizer + codegen
|
|
|
|
{
|
|
|
|
ThreadPool Pool(ThreadCount);
|
|
|
|
int count = 0;
|
|
|
|
for (auto &ModuleBuffer : Modules) {
|
|
|
|
Pool.async([&](int count) {
|
2016-04-16 15:02:16 +08:00
|
|
|
auto ModuleIdentifier = ModuleBuffer.getBufferIdentifier();
|
2016-04-21 13:47:17 +08:00
|
|
|
auto &ExportList = ExportLists[ModuleIdentifier];
|
2016-04-16 15:02:16 +08:00
|
|
|
|
2016-04-21 13:54:23 +08:00
|
|
|
auto &DefinedFunctions = ModuleToDefinedGVSummaries[ModuleIdentifier];
|
|
|
|
|
|
|
|
// Resolve ODR, this has to be done early because it impacts the caching
|
|
|
|
// We use a std::map here to be able to have a defined ordering when
|
|
|
|
// producing a hash for the cache entry.
|
|
|
|
std::map<GlobalValue::GUID, GlobalValue::LinkageTypes> ResolvedODR;
|
2016-04-26 18:35:01 +08:00
|
|
|
ResolveODR(*Index, ExportList, GUIDPreservedSymbols, DefinedFunctions, ModuleIdentifier,
|
2016-04-24 11:18:01 +08:00
|
|
|
ResolvedODR);
|
2016-03-09 09:37:22 +08:00
|
|
|
|
2016-04-21 13:54:23 +08:00
|
|
|
// The module may be cached, this helps handling it.
|
2016-04-24 11:18:01 +08:00
|
|
|
ModuleCacheEntry CacheEntry(CacheOptions.Path, *Index, ModuleIdentifier,
|
|
|
|
ImportLists[ModuleIdentifier], ExportList,
|
|
|
|
ResolvedODR, DefinedFunctions,
|
|
|
|
GUIDPreservedSymbols);
|
2016-04-21 13:54:23 +08:00
|
|
|
|
|
|
|
{
|
|
|
|
auto ErrOrBuffer = CacheEntry.tryLoadingBuffer();
|
2016-04-24 11:18:01 +08:00
|
|
|
DEBUG(dbgs() << "Cache " << (ErrOrBuffer ? "hit" : "miss") << " '"
|
|
|
|
<< CacheEntry.getEntryPath() << "' for buffer " << count
|
|
|
|
<< " " << ModuleIdentifier << "\n");
|
|
|
|
|
2016-04-21 13:54:23 +08:00
|
|
|
if (ErrOrBuffer) {
|
|
|
|
// Cache Hit!
|
|
|
|
ProducedBinaries[count] = std::move(ErrOrBuffer.get());
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
LLVMContext Context;
|
|
|
|
Context.setDiscardValueNames(LTODiscardValueNames);
|
|
|
|
Context.enableDebugTypeODRUniquing();
|
|
|
|
|
2016-03-09 09:37:22 +08:00
|
|
|
// Parse module now
|
|
|
|
auto TheModule = loadModuleFromBuffer(ModuleBuffer, Context, false);
|
|
|
|
|
|
|
|
// Save temps: original file.
|
2016-04-24 11:18:01 +08:00
|
|
|
saveTempBitcode(*TheModule, SaveTempsDir, count, ".0.original.bc");
|
2016-03-09 09:37:22 +08:00
|
|
|
|
2016-04-16 15:02:16 +08:00
|
|
|
auto &ImportList = ImportLists[ModuleIdentifier];
|
2016-04-24 11:18:01 +08:00
|
|
|
// Run the main process now, and generates a binary
|
2016-04-21 13:54:23 +08:00
|
|
|
auto OutputBuffer = ProcessThinLTOModule(
|
2016-03-26 13:40:34 +08:00
|
|
|
*TheModule, *Index, ModuleMap, *TMBuilder.create(), ImportList,
|
2016-04-24 11:18:01 +08:00
|
|
|
ExportList, GUIDPreservedSymbols, ResolvedODR, CacheOptions,
|
|
|
|
DisableCodeGen, SaveTempsDir, count);
|
2016-04-21 13:54:23 +08:00
|
|
|
|
2016-05-17 03:11:59 +08:00
|
|
|
OutputBuffer = CacheEntry.write(std::move(OutputBuffer));
|
2016-04-21 13:54:23 +08:00
|
|
|
ProducedBinaries[count] = std::move(OutputBuffer);
|
2016-03-09 09:37:22 +08:00
|
|
|
}, count);
|
|
|
|
count++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-04-21 13:54:23 +08:00
|
|
|
CachePruning(CacheOptions.Path)
|
|
|
|
.setPruningInterval(CacheOptions.PruningInterval)
|
|
|
|
.setEntryExpiration(CacheOptions.Expiration)
|
|
|
|
.setMaxSize(CacheOptions.MaxPercentageOfAvailableSpace)
|
|
|
|
.prune();
|
|
|
|
|
2016-03-09 09:37:22 +08:00
|
|
|
// If statistics were requested, print them out now.
|
|
|
|
if (llvm::AreStatisticsEnabled())
|
|
|
|
llvm::PrintStatistics();
|
|
|
|
}
|