LLVM  14.0.0git
Config.h
Go to the documentation of this file.
1 //===-Config.h - LLVM Link Time Optimizer Configuration ---------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file defines the lto::Config data structure, which allows clients to
10 // configure LTO.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_LTO_CONFIG_H
15 #define LLVM_LTO_CONFIG_H
16 
17 #include "llvm/ADT/DenseSet.h"
18 #include "llvm/Config/llvm-config.h"
19 #include "llvm/IR/DiagnosticInfo.h"
20 #include "llvm/IR/GlobalValue.h"
21 #include "llvm/IR/LLVMContext.h"
24 #include "llvm/Support/CodeGen.h"
26 
27 #include <functional>
28 
29 namespace llvm {
30 
31 class Error;
32 class Module;
33 class ModuleSummaryIndex;
34 class raw_pwrite_stream;
35 
36 namespace lto {
37 
38 /// LTO configuration. A linker can configure LTO by setting fields in this data
39 /// structure and passing it to the lto::LTO constructor.
40 struct Config {
41  enum VisScheme {
43  ELF,
44  };
45  // Note: when adding fields here, consider whether they need to be added to
46  // computeCacheKey in LTO.cpp.
47  std::string CPU;
49  std::vector<std::string> MAttrs;
50  std::vector<std::string> PassPlugins;
51  /// For adding passes that run right before codegen.
57  unsigned OptLevel = 2;
58  bool DisableVerify = false;
59 
60  /// Use the new pass manager
61  bool UseNewPM = LLVM_ENABLE_NEW_PASS_MANAGER;
62 
63  /// Flag to indicate that the optimizer should not assume builtins are present
64  /// on the target.
65  bool Freestanding = false;
66 
67  /// Disable entirely the optimizer, including importing for ThinLTO
68  bool CodeGenOnly = false;
69 
70  /// Run PGO context sensitive IR instrumentation.
71  bool RunCSIRInstr = false;
72 
73  /// Turn on/off the warning about a hash mismatch in the PGO profile data.
74  bool PGOWarnMismatch = true;
75 
76  /// Asserts whether we can assume whole program visibility during the LTO
77  /// link.
79 
80  /// Always emit a Regular LTO object even when it is empty because no Regular
81  /// LTO modules were linked. This option is useful for some build system which
82  /// want to know a priori all possible output files.
84 
85  /// Allows non-imported definitions to get the potentially more constraining
86  /// visibility from the prevailing definition. FromPrevailing is the default
87  /// because it works for many binary formats. ELF can use the more optimized
88  /// 'ELF' scheme.
90 
91  /// If this field is set, the set of passes run in the middle-end optimizer
92  /// will be the one specified by the string. Only works with the new pass
93  /// manager as the old one doesn't have this ability.
94  std::string OptPipeline;
95 
96  // If this field is set, it has the same effect of specifying an AA pipeline
97  // identified by the string. Only works with the new pass manager, in
98  // conjunction OptPipeline.
99  std::string AAPipeline;
100 
101  /// Setting this field will replace target triples in input files with this
102  /// triple.
103  std::string OverrideTriple;
104 
105  /// Setting this field will replace unspecified target triples in input files
106  /// with this triple.
107  std::string DefaultTriple;
108 
109  /// Context Sensitive PGO profile path.
110  std::string CSIRProfile;
111 
112  /// Sample PGO profile path.
113  std::string SampleProfile;
114 
115  /// Name remapping file for profile data.
116  std::string ProfileRemapping;
117 
118  /// The directory to store .dwo files.
119  std::string DwoDir;
120 
121  /// The name for the split debug info file used for the DW_AT_[GNU_]dwo_name
122  /// attribute in the skeleton CU. This should generally only be used when
123  /// running an individual backend directly via thinBackend(), as otherwise
124  /// all objects would use the same .dwo file. Not used as output path.
125  std::string SplitDwarfFile;
126 
127  /// The path to write a .dwo file to. This should generally only be used when
128  /// running an individual backend directly via thinBackend(), as otherwise
129  /// all .dwo files will be written to the same path. Not used in skeleton CU.
130  std::string SplitDwarfOutput;
131 
132  /// Optimization remarks file path.
133  std::string RemarksFilename;
134 
135  /// Optimization remarks pass filter.
136  std::string RemarksPasses;
137 
138  /// Whether to emit optimization remarks with hotness informations.
139  bool RemarksWithHotness = false;
140 
141  /// The minimum hotness value a diagnostic needs in order to be included in
142  /// optimization diagnostics.
143  ///
144  /// The threshold is an Optional value, which maps to one of the 3 states:
145  /// 1. 0 => threshold disabled. All emarks will be printed.
146  /// 2. positive int => manual threshold by user. Remarks with hotness exceed
147  /// threshold will be printed.
148  /// 3. None => 'auto' threshold by user. The actual value is not
149  /// available at command line, but will be synced with
150  /// hotness threhold from profile summary during
151  /// compilation.
152  ///
153  /// If threshold option is not specified, it is disabled by default.
155 
156  /// The format used for serializing remarks (default: YAML).
157  std::string RemarksFormat;
158 
159  /// Whether to emit the pass manager debuggging informations.
160  bool DebugPassManager = false;
161 
162  /// Statistics output file path.
163  std::string StatsFile;
164 
165  /// Specific thinLTO modules to compile.
166  std::vector<std::string> ThinLTOModulesToCompile;
167 
168  /// Time trace enabled.
169  bool TimeTraceEnabled = false;
170 
171  /// Time trace granularity.
172  unsigned TimeTraceGranularity = 500;
173 
176 
177  /// Add FSAFDO discriminators.
178  bool AddFSDiscriminator = false;
179 
180  /// If this field is set, LTO will write input file paths and symbol
181  /// resolutions here in llvm-lto2 command line flag format. This can be
182  /// used for testing and for running the LTO pipeline outside of the linker
183  /// with llvm-lto2.
184  std::unique_ptr<raw_ostream> ResolutionFile;
185 
186  /// Tunable parameters for passes in the default pipelines.
188 
189  /// The following callbacks deal with tasks, which normally represent the
190  /// entire optimization and code generation pipeline for what will become a
191  /// single native object file. Each task has a unique identifier between 0 and
192  /// getMaxTasks()-1, which is supplied to the callback via the Task parameter.
193  /// A task represents the entire pipeline for ThinLTO and regular
194  /// (non-parallel) LTO, but a parallel code generation task will be split into
195  /// N tasks before code generation, where N is the parallelism level.
196  ///
197  /// LTO may decide to stop processing a task at any time, for example if the
198  /// module is empty or if a module hook (see below) returns false. For this
199  /// reason, the client should not expect to receive exactly getMaxTasks()
200  /// native object files.
201 
202  /// A module hook may be used by a linker to perform actions during the LTO
203  /// pipeline. For example, a linker may use this function to implement
204  /// -save-temps. If this function returns false, any further processing for
205  /// that task is aborted.
206  ///
207  /// Module hooks must be thread safe with respect to the linker's internal
208  /// data structures. A module hook will never be called concurrently from
209  /// multiple threads with the same task ID, or the same module.
210  ///
211  /// Note that in out-of-process backend scenarios, none of the hooks will be
212  /// called for ThinLTO tasks.
213  using ModuleHookFn = std::function<bool(unsigned Task, const Module &)>;
214 
215  /// This module hook is called after linking (regular LTO) or loading
216  /// (ThinLTO) the module, before modifying it.
218 
219  /// This hook is called after promoting any internal functions
220  /// (ThinLTO-specific).
222 
223  /// This hook is called after internalizing the module.
225 
226  /// This hook is called after importing from other modules (ThinLTO-specific).
228 
229  /// This module hook is called after optimization is complete.
231 
232  /// This module hook is called before code generation. It is similar to the
233  /// PostOptModuleHook, but for parallel code generation it is called after
234  /// splitting the module.
236 
237  /// A combined index hook is called after all per-module indexes have been
238  /// combined (ThinLTO-specific). It can be used to implement -save-temps for
239  /// the combined index.
240  ///
241  /// If this function returns false, any further processing for ThinLTO tasks
242  /// is aborted.
243  ///
244  /// It is called regardless of whether the backend is in-process, although it
245  /// is not called from individual backend processes.
246  using CombinedIndexHookFn = std::function<bool(
247  const ModuleSummaryIndex &Index,
248  const DenseSet<GlobalValue::GUID> &GUIDPreservedSymbols)>;
250 
251  /// This is a convenience function that configures this Config object to write
252  /// temporary files named after the given OutputFileName for each of the LTO
253  /// phases to disk. A client can use this function to implement -save-temps.
254  ///
255  /// FIXME: Temporary files derived from ThinLTO backends are currently named
256  /// after the input file name, rather than the output file name, when
257  /// UseInputModulePath is set to true.
258  ///
259  /// Specifically, it (1) sets each of the above module hooks and the combined
260  /// index hook to a function that calls the hook function (if any) that was
261  /// present in the appropriate field when the addSaveTemps function was
262  /// called, and writes the module to a bitcode file with a name prefixed by
263  /// the given output file name, and (2) creates a resolution file whose name
264  /// is prefixed by the given output file name and sets ResolutionFile to its
265  /// file handle.
266  Error addSaveTemps(std::string OutputFileName,
267  bool UseInputModulePath = false);
268 };
269 
273  : Fn(DiagHandlerFn) {}
274  bool handleDiagnostics(const DiagnosticInfo &DI) override {
275  (*Fn)(DI);
276  return true;
277  }
278 };
279 /// A derived class of LLVMContext that initializes itself according to a given
280 /// Config object. The purpose of this class is to tie ownership of the
281 /// diagnostic handler to the context, as opposed to the Config object (which
282 /// may be ephemeral).
283 // FIXME: This should not be required as diagnostic handler is not callback.
285 
287  setDiscardValueNames(C.ShouldDiscardValueNames);
290  std::make_unique<LTOLLVMDiagnosticHandler>(&DiagHandler), true);
291  }
293 };
294 
295 }
296 }
297 
298 #endif
llvm::LLVMContext::enableDebugTypeODRUniquing
void enableDebugTypeODRUniquing()
Definition: LLVMContext.cpp:322
llvm
This is an optimization pass for GlobalISel generic memory operations.
Definition: AllocatorList.h:23
PassBuilder.h
llvm::lltok::Error
@ Error
Definition: LLToken.h:21
llvm::CGFT_ObjectFile
@ CGFT_ObjectFile
Definition: CodeGen.h:65
llvm::TargetOptions
Definition: TargetOptions.h:124
llvm::lto::Config::DisableVerify
bool DisableVerify
Definition: Config.h:58
llvm::lto::Config::CGOptLevel
CodeGenOpt::Level CGOptLevel
Definition: Config.h:55
llvm::lto::Config::DiagHandler
DiagnosticHandlerFunction DiagHandler
Definition: Config.h:175
llvm::lto::Config::TimeTraceGranularity
unsigned TimeTraceGranularity
Time trace granularity.
Definition: Config.h:172
llvm::lto::Config::RemarksFormat
std::string RemarksFormat
The format used for serializing remarks (default: YAML).
Definition: Config.h:157
llvm::lto::Config::CodeModel
Optional< CodeModel::Model > CodeModel
Definition: Config.h:54
llvm::lto::Config::RemarksWithHotness
bool RemarksWithHotness
Whether to emit optimization remarks with hotness informations.
Definition: Config.h:139
llvm::PipelineTuningOptions
Tunable parameters for passes in the default pipelines.
Definition: PassBuilder.h:38
llvm::lto::Config::ThinLTOModulesToCompile
std::vector< std::string > ThinLTOModulesToCompile
Specific thinLTO modules to compile.
Definition: Config.h:166
llvm::DiagnosticHandler
This is the base class for diagnostic handling in LLVM.
Definition: DiagnosticHandler.h:24
llvm::lto::Config
LTO configuration.
Definition: Config.h:40
llvm::Optional< Reloc::Model >
llvm::lto::Config::Freestanding
bool Freestanding
Flag to indicate that the optimizer should not assume builtins are present on the target.
Definition: Config.h:65
llvm::lto::LTOLLVMDiagnosticHandler::LTOLLVMDiagnosticHandler
LTOLLVMDiagnosticHandler(DiagnosticHandlerFunction *DiagHandlerFn)
Definition: Config.h:272
llvm::lto::Config::ShouldDiscardValueNames
bool ShouldDiscardValueNames
Definition: Config.h:174
llvm::lto::Config::PostImportModuleHook
ModuleHookFn PostImportModuleHook
This hook is called after importing from other modules (ThinLTO-specific).
Definition: Config.h:227
llvm::lto::Config::CodeGenOnly
bool CodeGenOnly
Disable entirely the optimizer, including importing for ThinLTO.
Definition: Config.h:68
LegacyPassManager.h
llvm::lto::Config::CombinedIndexHook
CombinedIndexHookFn CombinedIndexHook
Definition: Config.h:249
llvm::lto::Config::VisScheme
VisScheme
Definition: Config.h:41
llvm::lto::Config::FromPrevailing
@ FromPrevailing
Definition: Config.h:42
llvm::lto::Config::SplitDwarfFile
std::string SplitDwarfFile
The name for the split debug info file used for the DW_AT_[GNU_]dwo_name attribute in the skeleton CU...
Definition: Config.h:125
llvm::lto::Config::RunCSIRInstr
bool RunCSIRInstr
Run PGO context sensitive IR instrumentation.
Definition: Config.h:71
GlobalValue.h
llvm::lto::Config::PostPromoteModuleHook
ModuleHookFn PostPromoteModuleHook
This hook is called after promoting any internal functions (ThinLTO-specific).
Definition: Config.h:221
llvm::lto::Config::SampleProfile
std::string SampleProfile
Sample PGO profile path.
Definition: Config.h:113
C
(vector float) vec_cmpeq(*A, *B) C
Definition: README_ALTIVEC.txt:86
llvm::lto::Config::Options
TargetOptions Options
Definition: Config.h:48
llvm::lto::LTOLLVMDiagnosticHandler::Fn
DiagnosticHandlerFunction * Fn
Definition: Config.h:271
llvm::lto::Config::PreCodeGenPassesHook
std::function< void(legacy::PassManager &)> PreCodeGenPassesHook
For adding passes that run right before codegen.
Definition: Config.h:52
llvm::lto::Config::VisibilityScheme
VisScheme VisibilityScheme
Allows non-imported definitions to get the potentially more constraining visibility from the prevaili...
Definition: Config.h:89
llvm::lto::Config::ELF
@ ELF
Definition: Config.h:43
DenseSet.h
llvm::DiagnosticHandlerFunction
std::function< void(const DiagnosticInfo &)> DiagnosticHandlerFunction
Definition: DiagnosticInfo.h:129
llvm::lto::Config::ResolutionFile
std::unique_ptr< raw_ostream > ResolutionFile
If this field is set, LTO will write input file paths and symbol resolutions here in llvm-lto2 comman...
Definition: Config.h:184
llvm::lto::LTOLLVMDiagnosticHandler
Definition: Config.h:270
llvm::lto::LTOLLVMContext::LTOLLVMContext
LTOLLVMContext(const Config &C)
Definition: Config.h:286
llvm::DiagnosticInfo
This is the base abstract class for diagnostic reporting in the backend.
Definition: DiagnosticInfo.h:103
llvm::lto::Config::ModuleHookFn
std::function< bool(unsigned Task, const Module &)> ModuleHookFn
The following callbacks deal with tasks, which normally represent the entire optimization and code ge...
Definition: Config.h:213
llvm::lto::Config::DebugPassManager
bool DebugPassManager
Whether to emit the pass manager debuggging informations.
Definition: Config.h:160
llvm::LLVMContext::setDiagnosticHandler
void setDiagnosticHandler(std::unique_ptr< DiagnosticHandler > &&DH, bool RespectFilters=false)
setDiagnosticHandler - This method sets unique_ptr to object of DiagnosticHandler to provide custom d...
Definition: LLVMContext.cpp:122
llvm::None
const NoneType None
Definition: None.h:23
llvm::lto::Config::StatsFile
std::string StatsFile
Statistics output file path.
Definition: Config.h:163
llvm::lto::Config::PostInternalizeModuleHook
ModuleHookFn PostInternalizeModuleHook
This hook is called after internalizing the module.
Definition: Config.h:224
llvm::lto::Config::OverrideTriple
std::string OverrideTriple
Setting this field will replace target triples in input files with this triple.
Definition: Config.h:103
llvm::lto::Config::PreCodeGenModuleHook
ModuleHookFn PreCodeGenModuleHook
This module hook is called before code generation.
Definition: Config.h:235
llvm::lto::Config::OptLevel
unsigned OptLevel
Definition: Config.h:57
llvm::DenseSet
Implements a dense probed hash-table based set.
Definition: DenseSet.h:268
llvm::lto::Config::RemarksFilename
std::string RemarksFilename
Optimization remarks file path.
Definition: Config.h:133
llvm::lto::Config::DefaultTriple
std::string DefaultTriple
Setting this field will replace unspecified target triples in input files with this triple.
Definition: Config.h:107
llvm::lto::LTOLLVMDiagnosticHandler::handleDiagnostics
bool handleDiagnostics(const DiagnosticInfo &DI) override
Override handleDiagnostics to provide custom implementation.
Definition: Config.h:274
llvm::CodeGenOpt::Default
@ Default
Definition: CodeGen.h:55
Index
uint32_t Index
Definition: ELFObjHandler.cpp:84
llvm::lto::Config::DwoDir
std::string DwoDir
The directory to store .dwo files.
Definition: Config.h:119
llvm::lto::Config::AddFSDiscriminator
bool AddFSDiscriminator
Add FSAFDO discriminators.
Definition: Config.h:178
llvm::LLVMContext
This is an important class for using LLVM in a threaded context.
Definition: LLVMContext.h:68
llvm::lto::LTOLLVMContext
A derived class of LLVMContext that initializes itself according to a given Config object.
Definition: Config.h:284
llvm::lto::Config::addSaveTemps
Error addSaveTemps(std::string OutputFileName, bool UseInputModulePath=false)
This is a convenience function that configures this Config object to write temporary files named afte...
Definition: LTOBackend.cpp:87
llvm::lto::Config::SplitDwarfOutput
std::string SplitDwarfOutput
The path to write a .dwo file to.
Definition: Config.h:130
function
print Print MemDeps of function
Definition: MemDepPrinter.cpp:83
llvm::lto::Config::MAttrs
std::vector< std::string > MAttrs
Definition: Config.h:49
llvm::Module
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:67
llvm::lto::Config::ProfileRemapping
std::string ProfileRemapping
Name remapping file for profile data.
Definition: Config.h:116
TargetOptions.h
llvm::lto::Config::RelocModel
Optional< Reloc::Model > RelocModel
Definition: Config.h:53
llvm::lto::Config::PostOptModuleHook
ModuleHookFn PostOptModuleHook
This module hook is called after optimization is complete.
Definition: Config.h:230
llvm::lto::Config::RemarksHotnessThreshold
llvm::Optional< uint64_t > RemarksHotnessThreshold
The minimum hotness value a diagnostic needs in order to be included in optimization diagnostics.
Definition: Config.h:154
llvm::lto::Config::HasWholeProgramVisibility
bool HasWholeProgramVisibility
Asserts whether we can assume whole program visibility during the LTO link.
Definition: Config.h:78
llvm::Reloc::PIC_
@ PIC_
Definition: CodeGen.h:22
llvm::CodeGenFileType
CodeGenFileType
These enums are meant to be passed into addPassesToEmitFile to indicate what type of file to emit,...
Definition: CodeGen.h:63
llvm::lto::Config::TimeTraceEnabled
bool TimeTraceEnabled
Time trace enabled.
Definition: Config.h:169
Module
Machine Check Debug Module
Definition: MachineCheckDebugify.cpp:122
llvm::lto::Config::AlwaysEmitRegularLTOObj
bool AlwaysEmitRegularLTOObj
Always emit a Regular LTO object even when it is empty because no Regular LTO modules were linked.
Definition: Config.h:83
llvm::lto::Config::OptPipeline
std::string OptPipeline
If this field is set, the set of passes run in the middle-end optimizer will be the one specified by ...
Definition: Config.h:94
llvm::CodeGenOpt::Level
Level
Definition: CodeGen.h:52
llvm::Error
Lightweight error class with error context and mandatory checking.
Definition: Error.h:157
llvm::legacy::PassManager
PassManager manages ModulePassManagers.
Definition: LegacyPassManager.h:52
llvm::lto::LTOLLVMContext::DiagHandler
DiagnosticHandlerFunction DiagHandler
Definition: Config.h:292
DiagnosticInfo.h
llvm::lto::Config::AAPipeline
std::string AAPipeline
Definition: Config.h:99
llvm::LLVMContext::setDiscardValueNames
void setDiscardValueNames(bool Discard)
Set the Context runtime configuration to discard all value name (but GlobalValue).
Definition: LLVMContext.cpp:331
llvm::lto::Config::PreOptModuleHook
ModuleHookFn PreOptModuleHook
This module hook is called after linking (regular LTO) or loading (ThinLTO) the module,...
Definition: Config.h:217
llvm::lto::Config::PTO
PipelineTuningOptions PTO
Tunable parameters for passes in the default pipelines.
Definition: Config.h:187
llvm::lto::Config::CSIRProfile
std::string CSIRProfile
Context Sensitive PGO profile path.
Definition: Config.h:110
llvm::lto::Config::CombinedIndexHookFn
std::function< bool(const ModuleSummaryIndex &Index, const DenseSet< GlobalValue::GUID > &GUIDPreservedSymbols)> CombinedIndexHookFn
A combined index hook is called after all per-module indexes have been combined (ThinLTO-specific).
Definition: Config.h:248
CodeGen.h
llvm::lto::Config::CGFileType
CodeGenFileType CGFileType
Definition: Config.h:56
llvm::lto::Config::UseNewPM
bool UseNewPM
Use the new pass manager.
Definition: Config.h:61
llvm::ModuleSummaryIndex
Class to hold module path string table and global value map, and encapsulate methods for operating on...
Definition: ModuleSummaryIndex.h:1078
llvm::lto::Config::PassPlugins
std::vector< std::string > PassPlugins
Definition: Config.h:50
llvm::lto::Config::CPU
std::string CPU
Definition: Config.h:47
LLVMContext.h
llvm::lto::Config::RemarksPasses
std::string RemarksPasses
Optimization remarks pass filter.
Definition: Config.h:136
llvm::lto::Config::PGOWarnMismatch
bool PGOWarnMismatch
Turn on/off the warning about a hash mismatch in the PGO profile data.
Definition: Config.h:74