14#ifndef LLVM_PASSES_CODEGENPASSBUILDER_H
15#define LLVM_PASSES_CODEGENPASSBUILDER_H
137#define DUMMY_FUNCTION_PASS(NAME, PASS_NAME) \
138 struct PASS_NAME : public PassInfoMixin<PASS_NAME> { \
139 template <typename... Ts> PASS_NAME(Ts &&...) {} \
140 PreservedAnalyses run(Function &, FunctionAnalysisManager &) { \
141 return PreservedAnalyses::all(); \
144#define DUMMY_MACHINE_MODULE_PASS(NAME, PASS_NAME) \
145 struct PASS_NAME : public PassInfoMixin<PASS_NAME> { \
146 template <typename... Ts> PASS_NAME(Ts &&...) {} \
147 PreservedAnalyses run(Module &, ModuleAnalysisManager &) { \
148 return PreservedAnalyses::all(); \
151#define DUMMY_MACHINE_FUNCTION_PASS(NAME, PASS_NAME) \
152 struct PASS_NAME : public PassInfoMixin<PASS_NAME> { \
153 template <typename... Ts> PASS_NAME(Ts &&...) {} \
154 PreservedAnalyses run(MachineFunction &, \
155 MachineFunctionAnalysisManager &) { \
156 return PreservedAnalyses::all(); \
159#include "llvm/Passes/MachinePassRegistry.def"
178 if (
Opt.EnableIPRA) {
179 TM.Options.EnableIPRA = *Opt.EnableIPRA;
182 TM.Options.EnableIPRA |= TM.useIPRA();
185 if (
Opt.EnableGlobalISelAbort)
186 TM.Options.GlobalISelAbort = *
Opt.EnableGlobalISelAbort;
188 if (!
Opt.OptimizeRegAlloc)
201 template <
typename PassT>
203 std::declval<Module &>(), std::declval<ModuleAnalysisManager &>()));
205 template <
typename PassT>
207 std::declval<Function &>(), std::declval<FunctionAnalysisManager &>()));
209 template <
typename PassT>
211 std::declval<MachineFunction &>(),
212 std::declval<MachineFunctionAnalysisManager &>()));
223 template <
typename PassT>
228 "Only module pass and function pass are supported.");
229 if (!Force && !PB.runBeforeAdding(Name))
234 FPM.addPass(std::forward<PassT>(
Pass));
238 MPM.addPass(std::forward<PassT>(
Pass));
244 if (PB.AddInCGSCCOrder)
247 PB.AddInCGSCCOrder =
true;
253 if (!PB.AddInCGSCCOrder)
256 PB.AddInCGSCCOrder =
false;
260 void flushFPMToMPM() {
263 if (
PB.AddInCGSCCOrder) {
280 : MPM(MPM), PB(PB) {}
288 if (this->PB.AddInCGSCCOrder) {
295 template <
typename PassT>
300 "Only module pass and function pass are supported.");
302 if (!Force && !PB.runBeforeAdding(Name))
307 MFPM.addPass(std::forward<PassT>(
Pass));
311 MPM.addPass(std::forward<PassT>(
Pass));
314 for (
auto &
C : PB.AfterCallbacks)
320 if (PB.AddInCGSCCOrder)
323 PB.AddInCGSCCOrder =
true;
329 if (!PB.AddInCGSCCOrder)
332 PB.AddInCGSCCOrder =
false;
336 void flushMFPMToMPM() {
340 if (
PB.AddInCGSCCOrder) {
360 template <
typename TMC> TMC &
getTM()
const {
return static_cast<TMC &
>(
TM); }
485 "addGlobalInstructionSelect is not overridden",
551 std::function<Expected<std::unique_ptr<MCStreamer>>(
MCContext &)>;
575 BeforeCallbacks.emplace_back(
576 [](
StringRef Name) {
return ((Name != PassTs::name()) && ...); });
581 template <
typename TargetPassT,
typename InsertedPassT>
583 AfterCallbacks.emplace_back(
585 if (Name == TargetPassT::name() &&
586 runBeforeAdding(InsertedPassT::name())) {
593 DerivedT &derived() {
return static_cast<DerivedT &
>(*this); }
594 const DerivedT &derived()
const {
595 return static_cast<const DerivedT &
>(*this);
598 bool runBeforeAdding(StringRef Name)
const {
599 bool ShouldAdd =
true;
600 for (
auto &
C : BeforeCallbacks)
601 ShouldAdd &=
C(Name);
605 void setStartStopPasses(
const TargetPassConfig::StartStopInfo &
Info)
const;
607 Error verifyStartStop(
const TargetPassConfig::StartStopInfo &
Info)
const;
609 mutable SmallVector<llvm::unique_function<bool(StringRef)>, 4>
616 mutable bool Started =
true;
617 mutable bool Stopped =
true;
618 mutable bool AddInCGSCCOrder =
false;
621template <
typename Derived,
typename TargetMachineT>
627 return StartStopInfo.takeError();
628 setStartStopPasses(*StartStopInfo);
652 return std::move(Err);
655 return std::move(Err);
657 if (!
Opt.DisableVerify)
661 derived().addAsmPrinter(
662 addPass, [
this, &Out, DwoOut, FileType](
MCContext &Ctx) {
663 return this->TM.createMCStreamer(Out, DwoOut, FileType, Ctx);
670 return verifyStartStop(*StartStopInfo);
673template <
typename Derived,
typename TargetMachineT>
674void CodeGenPassBuilder<Derived, TargetMachineT>::setStartStopPasses(
676 if (!Info.StartPass.empty()) {
678 BeforeCallbacks.emplace_back([
this, &Info, AfterFlag = Info.StartAfter,
680 if (Count == Info.StartInstanceNum) {
688 auto PassName =
PIC->getPassNameForClassName(ClassName);
690 Started = !Info.StartAfter;
696 if (!
Info.StopPass.empty()) {
698 BeforeCallbacks.emplace_back([
this, &
Info, AfterFlag =
Info.StopAfter,
700 if (Count == Info.StopInstanceNum) {
710 Stopped = !
Info.StopAfter;
716template <
typename Derived,
typename TargetMachineT>
717Error CodeGenPassBuilder<Derived, TargetMachineT>::verifyStartStop(
719 if (Started && Stopped)
724 "Can't find start pass \"" +
Info.StartPass +
"\".",
725 std::make_error_code(std::errc::invalid_argument));
728 "Can't find stop pass \"" +
Info.StopPass +
"\".",
729 std::make_error_code(std::errc::invalid_argument));
733template <
typename Derived,
typename TargetMachineT>
736 derived().addGlobalMergePass(addPass);
737 if (
TM.useEmulatedTLS())
744 derived().addIRPasses(addPass);
745 derived().addCodeGenPrepare(addPass);
747 derived().addISelPrepare(addPass);
752template <
typename Derived,
typename TargetMachineT>
757 if (!
Opt.DisableVerify)
765 if (
Opt.EnableLoopTermFold)
776 if (!
Opt.DisableMergeICmps)
800 !
Opt.DisablePartialLibcallInlining)
812 if (!
Opt.DisableExpandReductions)
819 if (
Opt.EnableGlobalMergeFunc)
825template <
typename Derived,
typename TargetMachineT>
829 assert(MCAI &&
"No MCAsmInfo");
872template <
typename Derived,
typename TargetMachineT>
883template <
typename Derived,
typename TargetMachineT>
886 derived().addPreISel(addPass);
888 if (
Opt.RequiresCodeGenSCCOrder)
900 if (
Opt.PrintISelInput)
902 "\n\n*** Final LLVM Code input to ISel ***\n"));
906 if (!
Opt.DisableVerify)
910template <
typename Derived,
typename TargetMachineT>
914 TM.setO0WantsFastISel(
Opt.EnableFastISelOption.value_or(
true));
918 SelectorType Selector;
920 if (
Opt.EnableFastISelOption && *
Opt.EnableFastISelOption ==
true)
921 Selector = SelectorType::FastISel;
922 else if ((
Opt.EnableGlobalISelOption &&
923 *
Opt.EnableGlobalISelOption ==
true) ||
924 (
TM.Options.EnableGlobalISel &&
925 (!
Opt.EnableGlobalISelOption ||
926 *
Opt.EnableGlobalISelOption ==
false)))
927 Selector = SelectorType::GlobalISel;
929 Selector = SelectorType::FastISel;
931 Selector = SelectorType::SelectionDAG;
934 if (Selector == SelectorType::FastISel) {
935 TM.setFastISel(
true);
936 TM.setGlobalISel(
false);
937 }
else if (Selector == SelectorType::GlobalISel) {
938 TM.setFastISel(
false);
939 TM.setGlobalISel(
true);
943 if (Selector == SelectorType::GlobalISel) {
945 return std::move(Err);
947 derived().addPreLegalizeMachineIR(addPass);
950 return std::move(Err);
954 derived().addPreRegBankSelect(addPass);
957 return std::move(Err);
959 derived().addPreGlobalInstructionSelect(addPass);
962 return std::move(Err);
972 return std::move(Err);
975 return std::move(Err);
1003template <
typename Derived,
typename TargetMachineT>
1008 derived().addMachineSSAOptimization(addPass);
1015 if (
TM.Options.EnableIPRA) {
1020 derived().addPreRegAlloc(addPass);
1024 if (*
Opt.OptimizeRegAlloc) {
1025 derived().addOptimizedRegAlloc(addPass);
1032 derived().addPostRegAlloc(addPass);
1047 derived().addMachineLateOptimization(addPass);
1053 derived().addPreSched2(addPass);
1055 if (
Opt.EnableImplicitNullChecks)
1056 addPass(ImplicitNullChecksPass());
1062 !
TM.targetSchedulesPostRAScheduling()) {
1063 if (
Opt.MISchedPostRA)
1070 derived().addGCPasses(addPass);
1074 derived().addBlockPlacement(addPass);
1082 derived().addPreEmitPass(addPass);
1084 if (
TM.Options.EnableIPRA)
1089 addPass(FuncletLayoutPass());
1092 addPass(StackMapLivenessPass());
1097 if (
TM.Options.EnableMachineOutliner &&
1101 TM.Options.SupportsDefaultOutlining)
1102 addPass(MachineOutlinerPass(
Opt.EnableMachineOutliner));
1108 derived().addPreEmitPass2(addPass);
1114template <
typename Derived,
typename TargetMachineT>
1141 derived().addILPOpts(addPass);
1168template <
typename Derived,
typename TargetMachineT>
1183template <
typename Derived,
typename TargetMachineT>
1188 switch (
Opt.RegAlloc) {
1202 derived().addTargetRegisterAllocator(addPass, Optimized);
1205template <
typename Derived,
typename TargetMachineT>
1213template <
typename Derived,
typename TargetMachineT>
1220 derived().addPreRewrite(addPass);
1235template <
typename Derived,
typename TargetMachineT>
1240 return derived().addRegAssignmentFast(addPass);
1246template <
typename Derived,
typename TargetMachineT>
1273 if (
Opt.EarlyLiveIntervals)
1293 derived().addPostRewrite(addPass);
1310template <
typename Derived,
typename TargetMachineT>
1320 if (!
TM.requiresStructuredCFG())
1331template <
typename Derived,
typename TargetMachineT>
1336 if (
Opt.EnableBlockPlacementStats)
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This is the interface for LLVM's primary stateless and local alias analysis.
This header provides classes for managing passes over SCCs of the call graph.
Analysis containing CSE Info
Defines an IR pass for CodeGen Prepare.
Analysis that tracks defined/used subregister lanes across COPY instructions and instructions that ge...
This file defines passes to print out IR in various granularities.
This header defines various interfaces for pass management in LLVM.
This file contains the declaration of the InterleavedAccessPass class, its corresponding pass name is...
This header provides classes for managing a pipeline of passes over loops in LLVM IR.
The header file for the LowerConstantIntrinsics pass as used by the new pass manager.
PassInstrumentationCallbacks PIC
PassBuilder PB(Machine, PassOpts->PTO, std::nullopt, &PIC)
This pass is required to take advantage of the interprocedural register allocation infrastructure.
This is the interface for a metadata-based scoped no-alias analysis.
This file contains the declaration of the SelectOptimizePass class, its corresponding pass name is se...
This file defines the SmallVector class.
Target-Independent Code Generator Pass Configuration Options pass.
This is the interface for a metadata-based TBAA.
static const char PassName[]
A pass that canonicalizes freeze instructions in a loop.
AddIRPass(ModulePassManager &MPM, const DerivedT &PB)
void operator()(PassT &&Pass, bool Force=false, StringRef Name=PassT::name())
void requireCGSCCOrder()
Setting this will add passes to the CGSCC pass manager.
void stopAddingInCGSCCOrder()
Stop adding passes to the CGSCC pass manager.
void stopAddingInCGSCCOrder()
Stop adding passes to the CGSCC pass manager.
AddMachinePass(ModulePassManager &MPM, const DerivedT &PB)
void operator()(PassT &&Pass, bool Force=false, StringRef Name=PassT::name())
void requireCGSCCOrder()
Setting this will add passes to the CGSCC pass manager.
void addPreRewrite(AddMachinePass &) const
addPreRewrite - Add passes to the optimized register allocation pipeline after register allocation is...
void addPostRegAlloc(AddMachinePass &) const
This method may be implemented by targets that want to run passes after register allocation pass pipe...
void addPreGlobalInstructionSelect(AddMachinePass &) const
This method may be implemented by targets that want to run passes immediately before the (global) ins...
Error addRegAssignmentFast(AddMachinePass &) const
Add core register alloator passes which do the actual register assignment and rewriting.
decltype(std::declval< PassT & >().run( std::declval< Function & >(), std::declval< FunctionAnalysisManager & >())) is_function_pass_t
Error addFastRegAlloc(AddMachinePass &) const
addFastRegAlloc - Add the minimum set of target-independent passes that are required for fast registe...
Error addIRTranslator(AddMachinePass &) const
This method should install an IR translator pass, which converts from LLVM code to machine instructio...
void addILPOpts(AddMachinePass &) const
Add passes that optimize instruction level parallelism for out-of-order targets.
void addRegAllocPass(AddMachinePass &, bool Optimized) const
addMachinePasses helper to create the target-selected or overriden regalloc pass.
void addPreSched2(AddMachinePass &) const
This method may be implemented by targets that want to run passes after prolog-epilog insertion and b...
Error addRegBankSelect(AddMachinePass &) const
This method should install a register bank selector pass, which assigns register banks to virtual reg...
bool isGlobalISelAbortEnabled() const
Check whether or not GlobalISel should abort on error.
void addPreRegAlloc(AddMachinePass &) const
This method may be implemented by targets that want to run passes immediately before register allocat...
void insertPass(InsertedPassT &&Pass) const
Insert InsertedPass pass after TargetPass pass.
void addGCPasses(AddMachinePass &) const
addGCPasses - Add late codegen passes that analyze code for garbage collection.
Error buildPipeline(ModulePassManager &MPM, raw_pwrite_stream &Out, raw_pwrite_stream *DwoOut, CodeGenFileType FileType) const
void addGlobalMergePass(AddIRPass &) const
Target can override this to add GlobalMergePass before all IR passes.
Error addLegalizeMachineIR(AddMachinePass &) const
This method should install a legalize pass, which converts the instruction sequence into one that can...
Error addCoreISelPasses(AddMachinePass &) const
Add the actual instruction selection passes.
std::function< Expected< std::unique_ptr< MCStreamer > >(MCContext &)> CreateMCStreamer
void addOptimizedRegAlloc(AddMachinePass &) const
addOptimizedRegAlloc - Add passes related to register allocation.
void addISelPasses(AddIRPass &) const
High level function that adds all passes necessary to go from llvm IR representation to the MI repres...
decltype(std::declval< PassT & >().run( std::declval< MachineFunction & >(), std::declval< MachineFunctionAnalysisManager & >())) is_machine_function_pass_t
PassInstrumentationCallbacks * PIC
void addMachineSSAOptimization(AddMachinePass &) const
Methods with trivial inline returns are convenient points in the common codegen pass pipeline where t...
CodeGenPassBuilder(TargetMachineT &TM, const CGPassBuilderOption &Opts, PassInstrumentationCallbacks *PIC)
Error addRegAssignmentOptimized(AddMachinePass &) const
void addCodeGenPrepare(AddIRPass &) const
Add pass to prepare the LLVM IR for code generation.
Error addMachinePasses(AddMachinePass &) const
Add the complete, standard set of LLVM CodeGen passes.
void addISelPrepare(AddIRPass &) const
Add common passes that perform LLVM IR to IR transforms in preparation for instruction selection.
void disablePass()
Allow the target to disable a specific pass by default.
void addBlockPlacement(AddMachinePass &) const
Add standard basic block placement passes.
Error addInstSelector(AddMachinePass &) const
addInstSelector - This method should install an instruction selector pass, which converts from LLVM c...
void addTargetRegisterAllocator(AddMachinePass &, bool Optimized) const
Utilities for targets to add passes to the pass manager.
void addPreEmitPass2(AddMachinePass &) const
Targets may add passes immediately before machine code is emitted in this callback.
void addPostRewrite(AddMachinePass &) const
Add passes to be run immediately after virtual registers are rewritten to physical registers.
void addPreRegBankSelect(AddMachinePass &) const
This method may be implemented by targets that want to run passes immediately before the register ban...
void addPreEmitPass(AddMachinePass &) const
This pass may be implemented by targets that want to run passes immediately before machine code is em...
Error addGlobalInstructionSelect(AddMachinePass &) const
This method should install a (global) instruction selector pass, which converts possibly generic inst...
void addMachineLateOptimization(AddMachinePass &) const
Add passes that optimize machine instructions after register allocation.
void addIRPasses(AddIRPass &) const
Add common target configurable passes that perform LLVM IR to IR transforms following machine indepen...
decltype(std::declval< PassT & >().run( std::declval< Module & >(), std::declval< ModuleAnalysisManager & >())) is_module_pass_t
void addPreLegalizeMachineIR(AddMachinePass &) const
This method may be implemented by targets that want to run passes immediately before legalization.
CodeGenOptLevel getOptLevel() const
void addPassesToHandleExceptions(AddIRPass &) const
Add passes to lower exception handling for the code generator.
PassInstrumentationCallbacks * getPassInstrumentationCallbacks() const
bool reportDiagnosticWhenGlobalISelFallback() const
Check whether or not a diagnostic should be emitted when GlobalISel uses the fallback path.
void addPreISel(AddIRPass &) const
{{@ For GlobalISel
void addAsmPrinter(AddMachinePass &, CreateMCStreamer) const
Lightweight error class with error context and mandatory checking.
static ErrorSuccess success()
Create a success value.
This is a fast-path instruction selection class that generates poor code and doesn't support illegal ...
LowerIntrinsics - This pass rewrites calls to the llvm.gcread or llvm.gcwrite intrinsics,...
Performs Loop Strength Reduce Pass.
This class is intended to be used as a base class for asm properties and features specific to the tar...
ExceptionHandling getExceptionHandlingType() const
Context object for machine code objects.
This class manages callbacks registration, as well as provides a way for PassInstrumentation to pass ...
LLVM_ABI StringRef getPassNameForClassName(StringRef ClassName)
Get the pass name for a given pass class name. Empty if no match found.
LLVM_ATTRIBUTE_MINSIZE std::enable_if_t<!std::is_same_v< PassT, PassManager > > addPass(PassT &&Pass)
bool isEmpty() const
Returns if the pass manager contains any passes.
Pass interface - Implemented by all 'passes'.
Pass (for the new pass manager) for printing a Function as LLVM's text IR assembly.
This is used to represent a portion of an LLVM function in a low-level Data Dependence DAG representa...
StringRef - Represent a constant reference to a string, i.e.
static Expected< StartStopInfo > getStartStopInfo(PassInstrumentationCallbacks &PIC)
Returns pass name in -stop-before or -stop-after NOTE: New pass manager migration only.
static bool willCompleteCodeGenPipeline()
Returns true if none of the -stop-before and -stop-after options is set.
An abstract base class for streams implementations that also support a pwrite operation.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
This is an optimization pass for GlobalISel generic memory operations.
ModuleToFunctionPassAdaptor createModuleToFunctionPassAdaptor(FunctionPassT &&Pass, bool EagerlyInvalidate=false)
A function to deduce a function pass type and wrap it in the templated adaptor.
LLVM_ABI std::error_code inconvertibleErrorCode()
The value returned by this function can be returned from convertToErrorCode for Error values where no...
@ SjLj
setjmp/longjmp based exceptions
@ ZOS
z/OS MVS Exception Handling.
@ None
No exception support.
@ AIX
AIX Exception Handling.
@ DwarfCFI
DWARF-like instruction based exceptions.
@ WinEH
Windows Exception Handling.
@ Wasm
WebAssembly Exception Handling.
PassManager< Loop, LoopAnalysisManager, LoopStandardAnalysisResults &, LPMUpdater & > LoopPassManager
The Loop pass manager.
ModuleToPostOrderCGSCCPassAdaptor createModuleToPostOrderCGSCCPassAdaptor(CGSCCPassT &&Pass)
A function to deduce a function pass type and wrap it in the templated adaptor.
FunctionToLoopPassAdaptor createFunctionToLoopPassAdaptor(LoopPassT &&Pass, bool UseMemorySSA=false)
A function to deduce a loop pass type and wrap it in the templated adaptor.
CGSCCToFunctionPassAdaptor createCGSCCToFunctionPassAdaptor(FunctionPassT &&Pass, bool EagerlyInvalidate=false, bool NoRerun=false)
A function to deduce a function pass type and wrap it in the templated adaptor.
CodeGenFileType
These enums are meant to be passed into addPassesToEmitFile to indicate what type of file to emit,...
FunctionToMachineFunctionPassAdaptor createFunctionToMachineFunctionPassAdaptor(MachineFunctionPassT &&Pass)
PassManager< Module > ModulePassManager
Convenience typedef for a pass manager over modules.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
FunctionAddr VTableAddr Count
CodeGenOptLevel
Code generation optimization level.
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
Error make_error(ArgTs &&... Args)
Make a Error instance representing failure using the given error info type.
PassManager< Function > FunctionPassManager
Convenience typedef for a pass manager over functions.
typename detail::detector< void, Op, Args... >::value_t is_detected
Detects if a given trait holds for some set of arguments 'Args'.
PassManager< MachineFunction > MachineFunctionPassManager
Convenience typedef for a pass manager over functions.
LLVM_ABI void reportFatalUsageError(Error Err)
Report a fatal error that does not indicate a bug in LLVM.
Global function merging pass for new pass manager.
A utility pass template to force an analysis result to be available.