14#ifndef LLVM_PASSES_CODEGENPASSBUILDER_H
15#define LLVM_PASSES_CODEGENPASSBUILDER_H
130#include <type_traits>
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);
650 return std::move(Err);
653 return std::move(Err);
655 if (!
Opt.DisableVerify)
659 derived().addAsmPrinter(
660 addPass, [
this, &Out, DwoOut, FileType](
MCContext &Ctx) {
661 return this->TM.createMCStreamer(Out, DwoOut, FileType, Ctx);
668 return verifyStartStop(*StartStopInfo);
671template <
typename Derived,
typename TargetMachineT>
672void CodeGenPassBuilder<Derived, TargetMachineT>::setStartStopPasses(
674 if (!Info.StartPass.empty()) {
676 BeforeCallbacks.emplace_back([
this, &Info, AfterFlag = Info.StartAfter,
678 if (Count == Info.StartInstanceNum) {
686 auto PassName =
PIC->getPassNameForClassName(ClassName);
688 Started = !Info.StartAfter;
694 if (!
Info.StopPass.empty()) {
696 BeforeCallbacks.emplace_back([
this, &
Info, AfterFlag =
Info.StopAfter,
698 if (Count == Info.StopInstanceNum) {
708 Stopped = !
Info.StopAfter;
714template <
typename Derived,
typename TargetMachineT>
715Error CodeGenPassBuilder<Derived, TargetMachineT>::verifyStartStop(
717 if (Started && Stopped)
722 "Can't find start pass \"" +
Info.StartPass +
"\".",
723 std::make_error_code(std::errc::invalid_argument));
726 "Can't find stop pass \"" +
Info.StopPass +
"\".",
727 std::make_error_code(std::errc::invalid_argument));
731template <
typename Derived,
typename TargetMachineT>
734 derived().addGlobalMergePass(addPass);
735 if (
TM.useEmulatedTLS())
742 derived().addIRPasses(addPass);
743 derived().addCodeGenPrepare(addPass);
745 derived().addISelPrepare(addPass);
750template <
typename Derived,
typename TargetMachineT>
755 if (!
Opt.DisableVerify)
763 if (
Opt.EnableLoopTermFold)
774 if (!
Opt.DisableMergeICmps)
798 !
Opt.DisablePartialLibcallInlining)
810 if (!
Opt.DisableExpandReductions)
817 if (
Opt.EnableGlobalMergeFunc)
823template <
typename Derived,
typename TargetMachineT>
827 assert(MCAI &&
"No MCAsmInfo");
870template <
typename Derived,
typename TargetMachineT>
881template <
typename Derived,
typename TargetMachineT>
884 derived().addPreISel(addPass);
886 if (
Opt.RequiresCodeGenSCCOrder)
898 if (
Opt.PrintISelInput)
900 "\n\n*** Final LLVM Code input to ISel ***\n"));
904 if (!
Opt.DisableVerify)
908template <
typename Derived,
typename TargetMachineT>
912 TM.setO0WantsFastISel(
Opt.EnableFastISelOption.value_or(
true));
916 SelectorType Selector;
918 if (
Opt.EnableFastISelOption && *
Opt.EnableFastISelOption ==
true)
919 Selector = SelectorType::FastISel;
920 else if ((
Opt.EnableGlobalISelOption &&
921 *
Opt.EnableGlobalISelOption ==
true) ||
922 (
TM.Options.EnableGlobalISel &&
923 (!
Opt.EnableGlobalISelOption ||
924 *
Opt.EnableGlobalISelOption ==
false)))
925 Selector = SelectorType::GlobalISel;
927 Selector = SelectorType::FastISel;
929 Selector = SelectorType::SelectionDAG;
932 if (Selector == SelectorType::FastISel) {
933 TM.setFastISel(
true);
934 TM.setGlobalISel(
false);
935 }
else if (Selector == SelectorType::GlobalISel) {
936 TM.setFastISel(
false);
937 TM.setGlobalISel(
true);
941 if (Selector == SelectorType::GlobalISel) {
943 return std::move(Err);
945 derived().addPreLegalizeMachineIR(addPass);
948 return std::move(Err);
952 derived().addPreRegBankSelect(addPass);
955 return std::move(Err);
957 derived().addPreGlobalInstructionSelect(addPass);
960 return std::move(Err);
970 return std::move(Err);
973 return std::move(Err);
1001template <
typename Derived,
typename TargetMachineT>
1006 derived().addMachineSSAOptimization(addPass);
1013 if (
TM.Options.EnableIPRA) {
1018 derived().addPreRegAlloc(addPass);
1022 if (*
Opt.OptimizeRegAlloc) {
1023 derived().addOptimizedRegAlloc(addPass);
1030 derived().addPostRegAlloc(addPass);
1045 derived().addMachineLateOptimization(addPass);
1051 derived().addPreSched2(addPass);
1053 if (
Opt.EnableImplicitNullChecks)
1054 addPass(ImplicitNullChecksPass());
1060 !
TM.targetSchedulesPostRAScheduling()) {
1061 if (
Opt.MISchedPostRA)
1068 derived().addGCPasses(addPass);
1072 derived().addBlockPlacement(addPass);
1080 derived().addPreEmitPass(addPass);
1082 if (
TM.Options.EnableIPRA)
1087 addPass(FuncletLayoutPass());
1090 addPass(StackMapLivenessPass());
1095 if (
TM.Options.EnableMachineOutliner &&
1099 TM.Options.SupportsDefaultOutlining)
1100 addPass(MachineOutlinerPass(
Opt.EnableMachineOutliner));
1106 derived().addPreEmitPass2(addPass);
1112template <
typename Derived,
typename TargetMachineT>
1139 derived().addILPOpts(addPass);
1166template <
typename Derived,
typename TargetMachineT>
1181template <
typename Derived,
typename TargetMachineT>
1186 switch (
Opt.RegAlloc) {
1200 derived().addTargetRegisterAllocator(addPass, Optimized);
1203template <
typename Derived,
typename TargetMachineT>
1211template <
typename Derived,
typename TargetMachineT>
1218 derived().addPreRewrite(addPass);
1233template <
typename Derived,
typename TargetMachineT>
1238 return derived().addRegAssignmentFast(addPass);
1244template <
typename Derived,
typename TargetMachineT>
1271 if (
Opt.EarlyLiveIntervals)
1291 derived().addPostRewrite(addPass);
1308template <
typename Derived,
typename TargetMachineT>
1318 if (!
TM.requiresStructuredCFG())
1329template <
typename Derived,
typename TargetMachineT>
1334 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.
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.
FunctionToLoopPassAdaptor createFunctionToLoopPassAdaptor(LoopPassT &&Pass, bool UseMemorySSA=false, bool UseBlockFrequencyInfo=false, bool UseBranchProbabilityInfo=false)
A function to deduce a loop pass type and wrap it in the templated adaptor.
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.