351 "^(default|thinlto-pre-link|thinlto|lto-pre-link|lto)<(O[0123sz])>$");
355 "print-pipeline-passes",
356 cl::desc(
"Print a '-passes' compatible string describing the pipeline "
357 "(best-effort only)."));
369class TriggerCrashModulePass :
public PassInfoMixin<TriggerCrashModulePass> {
378class TriggerCrashFunctionPass
385 static StringRef name() {
return "TriggerCrashFunctionPass"; }
390class TriggerVerifierErrorPass
398 GlobalValue::LinkageTypes::InternalLinkage,
399 "__bad_alias",
nullptr, &M);
419 static StringRef name() {
return "TriggerVerifierErrorPass"; }
424class RequireAllMachineFunctionPropertiesPass
425 :
public PassInfoMixin<RequireAllMachineFunctionPropertiesPass> {
434 MFProps.
set(MachineFunctionProperties::Property::FailedISel);
435 MFProps.
set(MachineFunctionProperties::Property::FailsVerification);
436 MFProps.
set(MachineFunctionProperties::Property::IsSSA);
437 MFProps.
set(MachineFunctionProperties::Property::Legalized);
438 MFProps.
set(MachineFunctionProperties::Property::NoPHIs);
439 MFProps.
set(MachineFunctionProperties::Property::NoVRegs);
440 MFProps.
set(MachineFunctionProperties::Property::RegBankSelected);
441 MFProps.
set(MachineFunctionProperties::Property::Selected);
442 MFProps.
set(MachineFunctionProperties::Property::TiedOpsRewritten);
443 MFProps.
set(MachineFunctionProperties::Property::TracksDebugUserValues);
444 MFProps.
set(MachineFunctionProperties::Property::TracksLiveness);
447 static StringRef name() {
return "RequireAllMachineFunctionPropertiesPass"; }
453 std::optional<PGOOptions> PGOOpt,
455 : TM(TM), PTO(PTO), PGOOpt(PGOOpt),
PIC(
PIC) {
457 TM->registerPassBuilderCallbacks(*
this);
463#define MODULE_PASS(NAME, CREATE_PASS) \
464 PIC->addClassToPassName(decltype(CREATE_PASS)::name(), NAME);
465#define MODULE_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
466 PIC->addClassToPassName(CLASS, NAME);
467#define MODULE_ANALYSIS(NAME, CREATE_PASS) \
468 PIC->addClassToPassName(decltype(CREATE_PASS)::name(), NAME);
469#define FUNCTION_PASS(NAME, CREATE_PASS) \
470 PIC->addClassToPassName(decltype(CREATE_PASS)::name(), NAME);
471#define FUNCTION_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
472 PIC->addClassToPassName(CLASS, NAME);
473#define FUNCTION_ANALYSIS(NAME, CREATE_PASS) \
474 PIC->addClassToPassName(decltype(CREATE_PASS)::name(), NAME);
475#define LOOPNEST_PASS(NAME, CREATE_PASS) \
476 PIC->addClassToPassName(decltype(CREATE_PASS)::name(), NAME);
477#define LOOP_PASS(NAME, CREATE_PASS) \
478 PIC->addClassToPassName(decltype(CREATE_PASS)::name(), NAME);
479#define LOOP_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
480 PIC->addClassToPassName(CLASS, NAME);
481#define LOOP_ANALYSIS(NAME, CREATE_PASS) \
482 PIC->addClassToPassName(decltype(CREATE_PASS)::name(), NAME);
483#define CGSCC_PASS(NAME, CREATE_PASS) \
484 PIC->addClassToPassName(decltype(CREATE_PASS)::name(), NAME);
485#define CGSCC_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
486 PIC->addClassToPassName(CLASS, NAME);
487#define CGSCC_ANALYSIS(NAME, CREATE_PASS) \
488 PIC->addClassToPassName(decltype(CREATE_PASS)::name(), NAME);
489#include "PassRegistry.def"
491#define MACHINE_FUNCTION_ANALYSIS(NAME, CREATE_PASS) \
492 PIC->addClassToPassName(decltype(CREATE_PASS)::name(), NAME);
493#define MACHINE_FUNCTION_PASS(NAME, CREATE_PASS) \
494 PIC->addClassToPassName(decltype(CREATE_PASS)::name(), NAME);
495#define MACHINE_FUNCTION_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, \
497 PIC->addClassToPassName(CLASS, NAME);
498#include "llvm/Passes/MachinePassRegistry.def"
504#define MODULE_ANALYSIS(NAME, CREATE_PASS) \
505 MAM.registerPass([&] { return CREATE_PASS; });
506#include "PassRegistry.def"
508 for (
auto &
C : ModuleAnalysisRegistrationCallbacks)
513#define CGSCC_ANALYSIS(NAME, CREATE_PASS) \
514 CGAM.registerPass([&] { return CREATE_PASS; });
515#include "PassRegistry.def"
517 for (
auto &
C : CGSCCAnalysisRegistrationCallbacks)
527#define FUNCTION_ANALYSIS(NAME, CREATE_PASS) \
528 FAM.registerPass([&] { return CREATE_PASS; });
529#include "PassRegistry.def"
531 for (
auto &
C : FunctionAnalysisRegistrationCallbacks)
538#define MACHINE_FUNCTION_ANALYSIS(NAME, CREATE_PASS) \
539 MFAM.registerPass([&] { return CREATE_PASS; });
540#include "llvm/Passes/MachinePassRegistry.def"
542 for (
auto &
C : MachineFunctionAnalysisRegistrationCallbacks)
547#define LOOP_ANALYSIS(NAME, CREATE_PASS) \
548 LAM.registerPass([&] { return CREATE_PASS; });
549#include "PassRegistry.def"
551 for (
auto &
C : LoopAnalysisRegistrationCallbacks)
555static std::optional<std::pair<bool, bool>>
557 std::pair<bool, bool> Params;
558 if (!
Name.consume_front(
"function"))
562 if (!
Name.consume_front(
"<") || !
Name.consume_back(
">"))
564 while (!
Name.empty()) {
565 auto [Front, Back] =
Name.split(
';');
567 if (Front ==
"eager-inv")
569 else if (Front ==
"no-rerun")
570 Params.second =
true;
578 if (!
Name.consume_front(
"devirt<") || !
Name.consume_back(
">"))
581 if (
Name.getAsInteger(0, Count) || Count < 0)
601 while (!Params.
empty()) {
603 std::tie(ParamName, Params) = Params.
split(
';');
605 if (ParamName == OptionName) {
608 return make_error<StringError>(
623 while (!Params.
empty()) {
625 std::tie(ParamName, Params) = Params.
split(
';');
629 return make_error<StringError>(
630 formatv(
"invalid HardwareLoopPass parameter '{0}' ", ParamName).str(),
635 if (ParamName.
consume_front(
"hardware-loop-counter-bitwidth=")) {
638 return make_error<StringError>(
639 formatv(
"invalid HardwareLoopPass parameter '{0}' ", ParamName).str(),
644 if (ParamName ==
"force-hardware-loops") {
646 }
else if (ParamName ==
"force-hardware-loop-phi") {
648 }
else if (ParamName ==
"force-nested-hardware-loop") {
650 }
else if (ParamName ==
"force-hardware-loop-guard") {
653 return make_error<StringError>(
654 formatv(
"invalid HardwarePass parameter '{0}' ", ParamName).str(),
658 return HardwareLoopOpts;
664 while (!Params.
empty()) {
666 std::tie(ParamName, Params) = Params.
split(
';');
667 std::optional<OptimizationLevel> OptLevel =
parseOptLevel(ParamName);
669 if (OptLevel && !OptLevel->isOptimizingForSize()) {
670 UnrollOpts.
setOptLevel(OptLevel->getSpeedupLevel());
676 return make_error<StringError>(
677 formatv(
"invalid LoopUnrollPass parameter '{0}' ", ParamName).str(),
684 if (ParamName ==
"partial") {
686 }
else if (ParamName ==
"peeling") {
688 }
else if (ParamName ==
"profile-peeling") {
690 }
else if (ParamName ==
"runtime") {
692 }
else if (ParamName ==
"upperbound") {
695 return make_error<StringError>(
696 formatv(
"invalid LoopUnrollPass parameter '{0}' ", ParamName).str(),
705 Params,
"vfe-linkage-unit-visibility",
"GlobalDCE");
725 Params,
"skip-non-recursive-function-attrs",
"PostOrderFunctionAttrs");
734 return make_error<StringError>(
735 formatv(
"too many CFGuardPass parameters '{0}' ", Params).str(),
738 if (Param ==
"check")
740 if (Param ==
"dispatch")
743 return make_error<StringError>(
744 formatv(
"invalid CFGuardPass mechanism: '{0}' ", Param).str(),
754 "EntryExitInstrumenter");
763 "LowerMatrixIntrinsics");
768 while (!Params.
empty()) {
770 std::tie(ParamName, Params) = Params.
split(
';');
772 if (ParamName ==
"kernel") {
773 Result.CompileKernel =
true;
775 return make_error<StringError>(
776 formatv(
"invalid AddressSanitizer pass parameter '{0}' ", ParamName)
786 while (!Params.
empty()) {
788 std::tie(ParamName, Params) = Params.
split(
';');
790 if (ParamName ==
"recover") {
792 }
else if (ParamName ==
"kernel") {
793 Result.CompileKernel =
true;
795 return make_error<StringError>(
796 formatv(
"invalid HWAddressSanitizer pass parameter '{0}' ", ParamName)
806 while (!Params.
empty()) {
808 std::tie(ParamName, Params) = Params.
split(
';');
810 if (ParamName ==
"thinlto") {
812 }
else if (ParamName ==
"emit-summary") {
813 Result.EmitLTOSummary =
true;
815 return make_error<StringError>(
816 formatv(
"invalid EmbedBitcode pass parameter '{0}' ", ParamName)
825parseLowerAllowCheckPassOptions(
StringRef Params) {
827 while (!Params.
empty()) {
829 std::tie(ParamName, Params) = Params.
split(
';');
831 return make_error<StringError>(
832 formatv(
"invalid LowerAllowCheck pass parameter '{0}' ", ParamName)
841 while (!Params.
empty()) {
843 std::tie(ParamName, Params) = Params.
split(
';');
845 if (ParamName ==
"recover") {
847 }
else if (ParamName ==
"kernel") {
851 return make_error<StringError>(
852 formatv(
"invalid argument to MemorySanitizer pass track-origins "
857 }
else if (ParamName ==
"eager-checks") {
858 Result.EagerChecks =
true;
860 return make_error<StringError>(
861 formatv(
"invalid MemorySanitizer pass parameter '{0}' ", ParamName)
872 while (!Params.
empty()) {
874 std::tie(ParamName, Params) = Params.
split(
';');
877 if (ParamName ==
"speculate-blocks") {
879 }
else if (ParamName ==
"simplify-cond-branch") {
881 }
else if (ParamName ==
"forward-switch-cond") {
883 }
else if (ParamName ==
"switch-range-to-icmp") {
885 }
else if (ParamName ==
"switch-to-lookup") {
887 }
else if (ParamName ==
"keep-loops") {
889 }
else if (ParamName ==
"hoist-common-insts") {
891 }
else if (ParamName ==
"hoist-loads-stores-with-cond-faulting") {
893 }
else if (ParamName ==
"sink-common-insts") {
895 }
else if (ParamName ==
"speculate-unpredictables") {
898 APInt BonusInstThreshold;
900 return make_error<StringError>(
901 formatv(
"invalid argument to SimplifyCFG pass bonus-threshold "
907 return make_error<StringError>(
908 formatv(
"invalid SimplifyCFG pass parameter '{0}' ", ParamName).str(),
919 Result.setVerifyFixpoint(
true);
920 while (!Params.
empty()) {
922 std::tie(ParamName, Params) = Params.
split(
';');
925 if (ParamName ==
"verify-fixpoint") {
930 return make_error<StringError>(
931 formatv(
"invalid argument to InstCombine pass max-iterations "
937 return make_error<StringError>(
938 formatv(
"invalid InstCombine pass parameter '{0}' ", ParamName).str(),
948 while (!Params.
empty()) {
950 std::tie(ParamName, Params) = Params.
split(
';');
953 if (ParamName ==
"interleave-forced-only") {
955 }
else if (ParamName ==
"vectorize-forced-only") {
958 return make_error<StringError>(
959 formatv(
"invalid LoopVectorize parameter '{0}' ", ParamName).str(),
967 std::pair<bool, bool>
Result = {
false,
true};
968 while (!Params.
empty()) {
970 std::tie(ParamName, Params) = Params.
split(
';');
973 if (ParamName ==
"nontrivial") {
975 }
else if (ParamName ==
"trivial") {
978 return make_error<StringError>(
979 formatv(
"invalid LoopUnswitch pass parameter '{0}' ", ParamName)
989 while (!Params.
empty()) {
991 std::tie(ParamName, Params) = Params.
split(
';');
994 if (ParamName ==
"allowspeculation") {
997 return make_error<StringError>(
998 formatv(
"invalid LICM pass parameter '{0}' ", ParamName).str(),
1006 std::pair<bool, bool>
Result = {
true,
false};
1007 while (!Params.
empty()) {
1009 std::tie(ParamName, Params) = Params.
split(
';');
1012 if (ParamName ==
"header-duplication") {
1014 }
else if (ParamName ==
"prepare-for-lto") {
1017 return make_error<StringError>(
1018 formatv(
"invalid LoopRotate pass parameter '{0}' ", ParamName).str(),
1027 while (!Params.
empty()) {
1029 std::tie(ParamName, Params) = Params.
split(
';');
1032 if (ParamName ==
"split-footer-bb") {
1035 return make_error<StringError>(
1036 formatv(
"invalid MergedLoadStoreMotion pass parameter '{0}' ",
1047 while (!Params.
empty()) {
1049 std::tie(ParamName, Params) = Params.
split(
';');
1052 if (ParamName ==
"pre") {
1054 }
else if (ParamName ==
"load-pre") {
1056 }
else if (ParamName ==
"split-backedge-load-pre") {
1058 }
else if (ParamName ==
"memdep") {
1060 }
else if (ParamName ==
"memoryssa") {
1063 return make_error<StringError>(
1064 formatv(
"invalid GVN pass parameter '{0}' ", ParamName).str(),
1073 while (!Params.
empty()) {
1075 std::tie(ParamName, Params) = Params.
split(
';');
1078 if (ParamName ==
"func-spec")
1081 return make_error<StringError>(
1082 formatv(
"invalid IPSCCP pass parameter '{0}' ", ParamName).str(),
1090 while (!Params.
empty()) {
1092 std::tie(ParamName, Params) = Params.
split(
';');
1096 return make_error<StringError>(
1097 formatv(
"invalid argument to Scalarizer pass min-bits "
1098 "parameter: '{0}' ",
1108 if (ParamName ==
"load-store")
1110 else if (ParamName ==
"variable-insert-extract")
1113 return make_error<StringError>(
1114 formatv(
"invalid Scalarizer pass parameter '{0}' ", ParamName).str(),
1123 if (Params.
empty() || Params ==
"modify-cfg")
1125 if (Params ==
"preserve-cfg")
1127 return make_error<StringError>(
1128 formatv(
"invalid SROA pass parameter '{0}' (either preserve-cfg or "
1129 "modify-cfg can be specified)",
1136parseStackLifetimeOptions(
StringRef Params) {
1138 while (!Params.
empty()) {
1140 std::tie(ParamName, Params) = Params.
split(
';');
1142 if (ParamName ==
"may") {
1144 }
else if (ParamName ==
"must") {
1147 return make_error<StringError>(
1148 formatv(
"invalid StackLifetime parameter '{0}' ", ParamName).str(),
1157 "DependenceAnalysisPrinter");
1162 "SeparateConstOffsetFromGEP");
1171parseFunctionSimplificationPipelineOptions(
StringRef Params) {
1174 return make_error<StringError>(
1175 formatv(
"invalid function-simplification parameter '{0}' ", Params)
1184 "MemorySSAPrinterPass");
1189 "SpeculativeExecutionPass");
1194 while (!Params.
empty()) {
1196 std::tie(ParamName, Params) = Params.
split(
';');
1201 return make_error<StringError>(
1202 formatv(
"invalid MemProfUse pass parameter '{0}' ", ParamName).str(),
1210parseStructuralHashPrinterPassOptions(
StringRef Params) {
1213 if (Params ==
"detailed")
1215 if (Params ==
"call-target-ignored")
1217 return make_error<StringError>(
1218 formatv(
"invalid structural hash printer parameter '{0}' ", Params).str(),
1224 "WinEHPreparePass");
1229 while (!Params.
empty()) {
1231 std::tie(ParamName, Params) = Params.
split(
';');
1234 if (ParamName ==
"group-by-use")
1236 else if (ParamName ==
"ignore-single-use")
1238 else if (ParamName ==
"merge-const")
1240 else if (ParamName ==
"merge-external")
1244 return make_error<StringError>(
1245 formatv(
"invalid GlobalMergePass parameter '{0}' ", ParamName)
1255 while (!Params.
empty()) {
1257 std::tie(ParamName, Params) = Params.
split(
';');
1262 return make_error<StringError>(
1263 formatv(
"invalid Internalize pass parameter '{0}' ", ParamName).str(),
1274 while (!Params.
empty()) {
1276 std::tie(ParamName, Params) = Params.
split(
';');
1279 std::optional<RegAllocFilterFunc>
Filter =
1282 return make_error<StringError>(
1283 formatv(
"invalid regallocfast register filter '{0}' ", ParamName)
1292 if (ParamName ==
"no-clear-vregs") {
1297 return make_error<StringError>(
1298 formatv(
"invalid regallocfast pass parameter '{0}' ", ParamName).str(),
1305parseBoundsCheckingOptions(
StringRef Params) {
1307 while (!Params.
empty()) {
1309 std::tie(ParamName, Params) = Params.
split(
';');
1310 if (ParamName ==
"trap") {
1312 }
else if (ParamName ==
"rt") {
1317 }
else if (ParamName ==
"rt-abort") {
1322 }
else if (ParamName ==
"min-rt") {
1327 }
else if (ParamName ==
"min-rt-abort") {
1332 }
else if (ParamName ==
"merge") {
1337 std::tie(ParamEQ, Val) = ParamName.
split(
'=');
1342 return make_error<StringError>(
1343 formatv(
"invalid BoundsChecking pass parameter '{0}' ", ParamName)
1357 return Name.starts_with(
"default") ||
Name.starts_with(
"thinlto") ||
1358 Name.starts_with(
"lto");
1369template <
typename PassManagerT,
typename CallbacksT>
1371 if (!Callbacks.empty()) {
1372 PassManagerT DummyPM;
1373 for (
auto &CB : Callbacks)
1374 if (CB(
Name, DummyPM, {}))
1380template <
typename CallbacksT>
1386 StringRef NameNoBracket =
Name.take_until([](
char C) {
return C ==
'<'; });
1389 if (
Name ==
"module")
1391 if (
Name ==
"cgscc")
1393 if (NameNoBracket ==
"function")
1395 if (
Name ==
"coro-cond")
1398#define MODULE_PASS(NAME, CREATE_PASS) \
1401#define MODULE_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1402 if (PassBuilder::checkParametrizedPassName(Name, NAME)) \
1404#define MODULE_ANALYSIS(NAME, CREATE_PASS) \
1405 if (Name == "require<" NAME ">" || Name == "invalidate<" NAME ">") \
1407#include "PassRegistry.def"
1409 return callbacksAcceptPassName<ModulePassManager>(
Name, Callbacks);
1412template <
typename CallbacksT>
1415 StringRef NameNoBracket =
Name.take_until([](
char C) {
return C ==
'<'; });
1416 if (
Name ==
"cgscc")
1418 if (NameNoBracket ==
"function")
1425#define CGSCC_PASS(NAME, CREATE_PASS) \
1428#define CGSCC_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1429 if (PassBuilder::checkParametrizedPassName(Name, NAME)) \
1431#define CGSCC_ANALYSIS(NAME, CREATE_PASS) \
1432 if (Name == "require<" NAME ">" || Name == "invalidate<" NAME ">") \
1434#include "PassRegistry.def"
1436 return callbacksAcceptPassName<CGSCCPassManager>(
Name, Callbacks);
1439template <
typename CallbacksT>
1442 StringRef NameNoBracket =
Name.take_until([](
char C) {
return C ==
'<'; });
1443 if (NameNoBracket ==
"function")
1445 if (
Name ==
"loop" ||
Name ==
"loop-mssa" ||
Name ==
"machine-function")
1448#define FUNCTION_PASS(NAME, CREATE_PASS) \
1451#define FUNCTION_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1452 if (PassBuilder::checkParametrizedPassName(Name, NAME)) \
1454#define FUNCTION_ANALYSIS(NAME, CREATE_PASS) \
1455 if (Name == "require<" NAME ">" || Name == "invalidate<" NAME ">") \
1457#include "PassRegistry.def"
1459 return callbacksAcceptPassName<FunctionPassManager>(
Name, Callbacks);
1462template <
typename CallbacksT>
1465 if (
Name ==
"machine-function")
1468#define MACHINE_FUNCTION_PASS(NAME, CREATE_PASS) \
1471#define MACHINE_FUNCTION_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, \
1473 if (PassBuilder::checkParametrizedPassName(Name, NAME)) \
1476#define MACHINE_FUNCTION_ANALYSIS(NAME, CREATE_PASS) \
1477 if (Name == "require<" NAME ">" || Name == "invalidate<" NAME ">") \
1480#include "llvm/Passes/MachinePassRegistry.def"
1482 return callbacksAcceptPassName<MachineFunctionPassManager>(
Name, Callbacks);
1485template <
typename CallbacksT>
1487 bool &UseMemorySSA) {
1488 UseMemorySSA =
false;
1491 UseMemorySSA =
true;
1495#define LOOPNEST_PASS(NAME, CREATE_PASS) \
1498#include "PassRegistry.def"
1500 return callbacksAcceptPassName<LoopPassManager>(
Name, Callbacks);
1503template <
typename CallbacksT>
1505 bool &UseMemorySSA) {
1506 UseMemorySSA =
false;
1509 UseMemorySSA =
true;
1513#define LOOP_PASS(NAME, CREATE_PASS) \
1516#define LOOP_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1517 if (PassBuilder::checkParametrizedPassName(Name, NAME)) \
1519#define LOOP_ANALYSIS(NAME, CREATE_PASS) \
1520 if (Name == "require<" NAME ">" || Name == "invalidate<" NAME ">") \
1522#include "PassRegistry.def"
1524 return callbacksAcceptPassName<LoopPassManager>(
Name, Callbacks);
1527std::optional<std::vector<PassBuilder::PipelineElement>>
1528PassBuilder::parsePipelineText(
StringRef Text) {
1529 std::vector<PipelineElement> ResultPipeline;
1534 std::vector<PipelineElement> &Pipeline = *PipelineStack.
back();
1535 size_t Pos =
Text.find_first_of(
",()");
1536 Pipeline.push_back({
Text.substr(0, Pos), {}});
1539 if (Pos ==
Text.npos)
1542 char Sep =
Text[Pos];
1550 PipelineStack.
push_back(&Pipeline.back().InnerPipeline);
1554 assert(Sep ==
')' &&
"Bogus separator!");
1559 if (PipelineStack.
size() == 1)
1560 return std::nullopt;
1563 }
while (
Text.consume_front(
")"));
1571 if (!
Text.consume_front(
","))
1572 return std::nullopt;
1575 if (PipelineStack.
size() > 1)
1577 return std::nullopt;
1579 assert(PipelineStack.
back() == &ResultPipeline &&
1580 "Wrong pipeline at the bottom of the stack!");
1581 return {std::move(ResultPipeline)};
1585 const PipelineElement &E) {
1586 auto &
Name = E.Name;
1587 auto &InnerPipeline = E.InnerPipeline;
1590 if (!InnerPipeline.empty()) {
1591 if (
Name ==
"module") {
1593 if (
auto Err = parseModulePassPipeline(NestedMPM, InnerPipeline))
1595 MPM.
addPass(std::move(NestedMPM));
1598 if (
Name ==
"coro-cond") {
1600 if (
auto Err = parseModulePassPipeline(NestedMPM, InnerPipeline))
1605 if (
Name ==
"cgscc") {
1607 if (
auto Err = parseCGSCCPassPipeline(CGPM, InnerPipeline))
1614 return make_error<StringError>(
1615 "cannot have a no-rerun module to function adaptor",
1618 if (
auto Err = parseFunctionPassPipeline(FPM, InnerPipeline))
1625 for (
auto &
C : ModulePipelineParsingCallbacks)
1626 if (
C(
Name, MPM, InnerPipeline))
1630 return make_error<StringError>(
1631 formatv(
"invalid use of '{0}' pass as module pipeline",
Name).str(),
1640 return make_error<StringError>(
1641 formatv(
"unknown default pipeline alias '{0}'",
Name).str(),
1644 assert(Matches.
size() == 3 &&
"Must capture two matched strings!");
1656 if (Matches[1] ==
"default") {
1658 }
else if (Matches[1] ==
"thinlto-pre-link") {
1660 }
else if (Matches[1] ==
"thinlto") {
1662 }
else if (Matches[1] ==
"lto-pre-link") {
1671 assert(Matches[1] ==
"lto" &&
"Not one of the matched options!");
1678#define MODULE_PASS(NAME, CREATE_PASS) \
1679 if (Name == NAME) { \
1680 MPM.addPass(CREATE_PASS); \
1681 return Error::success(); \
1683#define MODULE_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1684 if (checkParametrizedPassName(Name, NAME)) { \
1685 auto Params = parsePassParameters(PARSER, Name, NAME); \
1687 return Params.takeError(); \
1688 MPM.addPass(CREATE_PASS(Params.get())); \
1689 return Error::success(); \
1691#define MODULE_ANALYSIS(NAME, CREATE_PASS) \
1692 if (Name == "require<" NAME ">") { \
1694 RequireAnalysisPass< \
1695 std::remove_reference_t<decltype(CREATE_PASS)>, Module>()); \
1696 return Error::success(); \
1698 if (Name == "invalidate<" NAME ">") { \
1699 MPM.addPass(InvalidateAnalysisPass< \
1700 std::remove_reference_t<decltype(CREATE_PASS)>>()); \
1701 return Error::success(); \
1703#define CGSCC_PASS(NAME, CREATE_PASS) \
1704 if (Name == NAME) { \
1705 MPM.addPass(createModuleToPostOrderCGSCCPassAdaptor(CREATE_PASS)); \
1706 return Error::success(); \
1708#define CGSCC_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1709 if (checkParametrizedPassName(Name, NAME)) { \
1710 auto Params = parsePassParameters(PARSER, Name, NAME); \
1712 return Params.takeError(); \
1714 createModuleToPostOrderCGSCCPassAdaptor(CREATE_PASS(Params.get()))); \
1715 return Error::success(); \
1717#define FUNCTION_PASS(NAME, CREATE_PASS) \
1718 if (Name == NAME) { \
1719 MPM.addPass(createModuleToFunctionPassAdaptor(CREATE_PASS)); \
1720 return Error::success(); \
1722#define FUNCTION_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1723 if (checkParametrizedPassName(Name, NAME)) { \
1724 auto Params = parsePassParameters(PARSER, Name, NAME); \
1726 return Params.takeError(); \
1727 MPM.addPass(createModuleToFunctionPassAdaptor(CREATE_PASS(Params.get()))); \
1728 return Error::success(); \
1730#define LOOPNEST_PASS(NAME, CREATE_PASS) \
1731 if (Name == NAME) { \
1732 MPM.addPass(createModuleToFunctionPassAdaptor( \
1733 createFunctionToLoopPassAdaptor(CREATE_PASS, false, false))); \
1734 return Error::success(); \
1736#define LOOP_PASS(NAME, CREATE_PASS) \
1737 if (Name == NAME) { \
1738 MPM.addPass(createModuleToFunctionPassAdaptor( \
1739 createFunctionToLoopPassAdaptor(CREATE_PASS, false, false))); \
1740 return Error::success(); \
1742#define LOOP_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1743 if (checkParametrizedPassName(Name, NAME)) { \
1744 auto Params = parsePassParameters(PARSER, Name, NAME); \
1746 return Params.takeError(); \
1748 createModuleToFunctionPassAdaptor(createFunctionToLoopPassAdaptor( \
1749 CREATE_PASS(Params.get()), false, false))); \
1750 return Error::success(); \
1752#include "PassRegistry.def"
1754 for (
auto &
C : ModulePipelineParsingCallbacks)
1755 if (
C(
Name, MPM, InnerPipeline))
1757 return make_error<StringError>(
1763 const PipelineElement &E) {
1764 auto &
Name = E.Name;
1765 auto &InnerPipeline = E.InnerPipeline;
1768 if (!InnerPipeline.empty()) {
1769 if (
Name ==
"cgscc") {
1771 if (
auto Err = parseCGSCCPassPipeline(NestedCGPM, InnerPipeline))
1774 CGPM.
addPass(std::move(NestedCGPM));
1779 if (
auto Err = parseFunctionPassPipeline(FPM, InnerPipeline))
1783 std::move(FPM), Params->first, Params->second));
1788 if (
auto Err = parseCGSCCPassPipeline(NestedCGPM, InnerPipeline))
1795 for (
auto &
C : CGSCCPipelineParsingCallbacks)
1796 if (
C(
Name, CGPM, InnerPipeline))
1800 return make_error<StringError>(
1801 formatv(
"invalid use of '{0}' pass as cgscc pipeline",
Name).str(),
1806#define CGSCC_PASS(NAME, CREATE_PASS) \
1807 if (Name == NAME) { \
1808 CGPM.addPass(CREATE_PASS); \
1809 return Error::success(); \
1811#define CGSCC_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1812 if (checkParametrizedPassName(Name, NAME)) { \
1813 auto Params = parsePassParameters(PARSER, Name, NAME); \
1815 return Params.takeError(); \
1816 CGPM.addPass(CREATE_PASS(Params.get())); \
1817 return Error::success(); \
1819#define CGSCC_ANALYSIS(NAME, CREATE_PASS) \
1820 if (Name == "require<" NAME ">") { \
1821 CGPM.addPass(RequireAnalysisPass< \
1822 std::remove_reference_t<decltype(CREATE_PASS)>, \
1823 LazyCallGraph::SCC, CGSCCAnalysisManager, LazyCallGraph &, \
1824 CGSCCUpdateResult &>()); \
1825 return Error::success(); \
1827 if (Name == "invalidate<" NAME ">") { \
1828 CGPM.addPass(InvalidateAnalysisPass< \
1829 std::remove_reference_t<decltype(CREATE_PASS)>>()); \
1830 return Error::success(); \
1832#define FUNCTION_PASS(NAME, CREATE_PASS) \
1833 if (Name == NAME) { \
1834 CGPM.addPass(createCGSCCToFunctionPassAdaptor(CREATE_PASS)); \
1835 return Error::success(); \
1837#define FUNCTION_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1838 if (checkParametrizedPassName(Name, NAME)) { \
1839 auto Params = parsePassParameters(PARSER, Name, NAME); \
1841 return Params.takeError(); \
1842 CGPM.addPass(createCGSCCToFunctionPassAdaptor(CREATE_PASS(Params.get()))); \
1843 return Error::success(); \
1845#define LOOPNEST_PASS(NAME, CREATE_PASS) \
1846 if (Name == NAME) { \
1847 CGPM.addPass(createCGSCCToFunctionPassAdaptor( \
1848 createFunctionToLoopPassAdaptor(CREATE_PASS, false, false))); \
1849 return Error::success(); \
1851#define LOOP_PASS(NAME, CREATE_PASS) \
1852 if (Name == NAME) { \
1853 CGPM.addPass(createCGSCCToFunctionPassAdaptor( \
1854 createFunctionToLoopPassAdaptor(CREATE_PASS, false, false))); \
1855 return Error::success(); \
1857#define LOOP_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1858 if (checkParametrizedPassName(Name, NAME)) { \
1859 auto Params = parsePassParameters(PARSER, Name, NAME); \
1861 return Params.takeError(); \
1863 createCGSCCToFunctionPassAdaptor(createFunctionToLoopPassAdaptor( \
1864 CREATE_PASS(Params.get()), false, false))); \
1865 return Error::success(); \
1867#include "PassRegistry.def"
1869 for (
auto &
C : CGSCCPipelineParsingCallbacks)
1870 if (
C(
Name, CGPM, InnerPipeline))
1872 return make_error<StringError>(
1878 const PipelineElement &E) {
1879 auto &
Name = E.Name;
1880 auto &InnerPipeline = E.InnerPipeline;
1883 if (!InnerPipeline.empty()) {
1884 if (
Name ==
"function") {
1886 if (
auto Err = parseFunctionPassPipeline(NestedFPM, InnerPipeline))
1889 FPM.
addPass(std::move(NestedFPM));
1892 if (
Name ==
"loop" ||
Name ==
"loop-mssa") {
1894 if (
auto Err = parseLoopPassPipeline(LPM, InnerPipeline))
1897 bool UseMemorySSA = (
Name ==
"loop-mssa");
1899 return Pipeline.Name.contains(
"simple-loop-unswitch");
1901 bool UseBPI =
llvm::any_of(InnerPipeline, [](
auto Pipeline) {
1902 return Pipeline.Name ==
"loop-predication";
1908 if (
Name ==
"machine-function") {
1910 if (
auto Err = parseMachinePassPipeline(MFPM, InnerPipeline))
1916 for (
auto &
C : FunctionPipelineParsingCallbacks)
1917 if (
C(
Name, FPM, InnerPipeline))
1921 return make_error<StringError>(
1922 formatv(
"invalid use of '{0}' pass as function pipeline",
Name).str(),
1927#define FUNCTION_PASS(NAME, CREATE_PASS) \
1928 if (Name == NAME) { \
1929 FPM.addPass(CREATE_PASS); \
1930 return Error::success(); \
1932#define FUNCTION_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1933 if (checkParametrizedPassName(Name, NAME)) { \
1934 auto Params = parsePassParameters(PARSER, Name, NAME); \
1936 return Params.takeError(); \
1937 FPM.addPass(CREATE_PASS(Params.get())); \
1938 return Error::success(); \
1940#define FUNCTION_ANALYSIS(NAME, CREATE_PASS) \
1941 if (Name == "require<" NAME ">") { \
1943 RequireAnalysisPass< \
1944 std::remove_reference_t<decltype(CREATE_PASS)>, Function>()); \
1945 return Error::success(); \
1947 if (Name == "invalidate<" NAME ">") { \
1948 FPM.addPass(InvalidateAnalysisPass< \
1949 std::remove_reference_t<decltype(CREATE_PASS)>>()); \
1950 return Error::success(); \
1956#define LOOPNEST_PASS(NAME, CREATE_PASS) \
1957 if (Name == NAME) { \
1958 FPM.addPass(createFunctionToLoopPassAdaptor(CREATE_PASS, false, false)); \
1959 return Error::success(); \
1961#define LOOP_PASS(NAME, CREATE_PASS) \
1962 if (Name == NAME) { \
1963 FPM.addPass(createFunctionToLoopPassAdaptor(CREATE_PASS, false, false)); \
1964 return Error::success(); \
1966#define LOOP_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
1967 if (checkParametrizedPassName(Name, NAME)) { \
1968 auto Params = parsePassParameters(PARSER, Name, NAME); \
1970 return Params.takeError(); \
1971 FPM.addPass(createFunctionToLoopPassAdaptor(CREATE_PASS(Params.get()), \
1973 return Error::success(); \
1975#include "PassRegistry.def"
1977 for (
auto &
C : FunctionPipelineParsingCallbacks)
1978 if (
C(
Name, FPM, InnerPipeline))
1980 return make_error<StringError>(
1981 formatv(
"unknown function pass '{0}'",
Name).str(),
1986 const PipelineElement &E) {
1988 auto &InnerPipeline = E.InnerPipeline;
1991 if (!InnerPipeline.empty()) {
1992 if (
Name ==
"loop") {
1994 if (
auto Err = parseLoopPassPipeline(NestedLPM, InnerPipeline))
1997 LPM.
addPass(std::move(NestedLPM));
2001 for (
auto &
C : LoopPipelineParsingCallbacks)
2002 if (
C(
Name, LPM, InnerPipeline))
2006 return make_error<StringError>(
2007 formatv(
"invalid use of '{0}' pass as loop pipeline",
Name).str(),
2012#define LOOPNEST_PASS(NAME, CREATE_PASS) \
2013 if (Name == NAME) { \
2014 LPM.addPass(CREATE_PASS); \
2015 return Error::success(); \
2017#define LOOP_PASS(NAME, CREATE_PASS) \
2018 if (Name == NAME) { \
2019 LPM.addPass(CREATE_PASS); \
2020 return Error::success(); \
2022#define LOOP_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
2023 if (checkParametrizedPassName(Name, NAME)) { \
2024 auto Params = parsePassParameters(PARSER, Name, NAME); \
2026 return Params.takeError(); \
2027 LPM.addPass(CREATE_PASS(Params.get())); \
2028 return Error::success(); \
2030#define LOOP_ANALYSIS(NAME, CREATE_PASS) \
2031 if (Name == "require<" NAME ">") { \
2032 LPM.addPass(RequireAnalysisPass< \
2033 std::remove_reference_t<decltype(CREATE_PASS)>, Loop, \
2034 LoopAnalysisManager, LoopStandardAnalysisResults &, \
2036 return Error::success(); \
2038 if (Name == "invalidate<" NAME ">") { \
2039 LPM.addPass(InvalidateAnalysisPass< \
2040 std::remove_reference_t<decltype(CREATE_PASS)>>()); \
2041 return Error::success(); \
2043#include "PassRegistry.def"
2045 for (
auto &
C : LoopPipelineParsingCallbacks)
2046 if (
C(
Name, LPM, InnerPipeline))
2048 return make_error<StringError>(
formatv(
"unknown loop pass '{0}'",
Name).str(),
2053 const PipelineElement &E) {
2055 if (!E.InnerPipeline.empty())
2056 return make_error<StringError>(
"invalid pipeline",
2059#define MACHINE_MODULE_PASS(NAME, CREATE_PASS) \
2060 if (Name == NAME) { \
2061 MFPM.addPass(CREATE_PASS); \
2062 return Error::success(); \
2064#define MACHINE_FUNCTION_PASS(NAME, CREATE_PASS) \
2065 if (Name == NAME) { \
2066 MFPM.addPass(CREATE_PASS); \
2067 return Error::success(); \
2069#define MACHINE_FUNCTION_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, \
2071 if (checkParametrizedPassName(Name, NAME)) { \
2072 auto Params = parsePassParameters(PARSER, Name, NAME); \
2074 return Params.takeError(); \
2075 MFPM.addPass(CREATE_PASS(Params.get())); \
2076 return Error::success(); \
2078#define MACHINE_FUNCTION_ANALYSIS(NAME, CREATE_PASS) \
2079 if (Name == "require<" NAME ">") { \
2081 RequireAnalysisPass<std::remove_reference_t<decltype(CREATE_PASS)>, \
2082 MachineFunction>()); \
2083 return Error::success(); \
2085 if (Name == "invalidate<" NAME ">") { \
2086 MFPM.addPass(InvalidateAnalysisPass< \
2087 std::remove_reference_t<decltype(CREATE_PASS)>>()); \
2088 return Error::success(); \
2090#include "llvm/Passes/MachinePassRegistry.def"
2092 for (
auto &
C : MachineFunctionPipelineParsingCallbacks)
2093 if (
C(
Name, MFPM, E.InnerPipeline))
2095 return make_error<StringError>(
2096 formatv(
"unknown machine pass '{0}'",
Name).str(),
2101#define MODULE_ALIAS_ANALYSIS(NAME, CREATE_PASS) \
2102 if (Name == NAME) { \
2103 AA.registerModuleAnalysis< \
2104 std::remove_reference_t<decltype(CREATE_PASS)>>(); \
2107#define FUNCTION_ALIAS_ANALYSIS(NAME, CREATE_PASS) \
2108 if (Name == NAME) { \
2109 AA.registerFunctionAnalysis< \
2110 std::remove_reference_t<decltype(CREATE_PASS)>>(); \
2113#include "PassRegistry.def"
2115 for (
auto &
C : AAParsingCallbacks)
2121Error PassBuilder::parseMachinePassPipeline(
2123 for (
const auto &Element : Pipeline) {
2124 if (
auto Err = parseMachinePass(MFPM, Element))
2132 for (
const auto &Element : Pipeline) {
2133 if (
auto Err = parseLoopPass(LPM, Element))
2139Error PassBuilder::parseFunctionPassPipeline(
2141 for (
const auto &Element : Pipeline) {
2142 if (
auto Err = parseFunctionPass(FPM, Element))
2150 for (
const auto &Element : Pipeline) {
2151 if (
auto Err = parseCGSCCPass(CGPM, Element))
2183 for (
const auto &Element : Pipeline) {
2184 if (
auto Err = parseModulePass(MPM, Element))
2195 auto Pipeline = parsePipelineText(PipelineText);
2196 if (!Pipeline || Pipeline->empty())
2197 return make_error<StringError>(
2198 formatv(
"invalid pipeline '{0}'", PipelineText).str(),
2208 Pipeline = {{
"cgscc", std::move(*Pipeline)}};
2210 FunctionPipelineParsingCallbacks)) {
2211 Pipeline = {{
"function", std::move(*Pipeline)}};
2214 Pipeline = {{
"function", {{UseMemorySSA ?
"loop-mssa" :
"loop",
2215 std::move(*Pipeline)}}}};
2216 }
else if (
isLoopPassName(FirstName, LoopPipelineParsingCallbacks,
2218 Pipeline = {{
"function", {{UseMemorySSA ?
"loop-mssa" :
"loop",
2219 std::move(*Pipeline)}}}};
2221 FirstName, MachineFunctionPipelineParsingCallbacks)) {
2222 Pipeline = {{
"function", {{
"machine-function", std::move(*Pipeline)}}}};
2224 for (
auto &
C : TopLevelPipelineParsingCallbacks)
2225 if (
C(MPM, *Pipeline))
2229 auto &InnerPipeline = Pipeline->front().InnerPipeline;
2230 return make_error<StringError>(
2231 formatv(
"unknown {0} name '{1}'",
2232 (InnerPipeline.empty() ?
"pass" :
"pipeline"), FirstName)
2238 if (
auto Err = parseModulePassPipeline(MPM, *Pipeline))
2246 auto Pipeline = parsePipelineText(PipelineText);
2247 if (!Pipeline || Pipeline->empty())
2248 return make_error<StringError>(
2249 formatv(
"invalid pipeline '{0}'", PipelineText).str(),
2254 return make_error<StringError>(
2255 formatv(
"unknown cgscc pass '{0}' in pipeline '{1}'", FirstName,
2260 if (
auto Err = parseCGSCCPassPipeline(CGPM, *Pipeline))
2269 auto Pipeline = parsePipelineText(PipelineText);
2270 if (!Pipeline || Pipeline->empty())
2271 return make_error<StringError>(
2272 formatv(
"invalid pipeline '{0}'", PipelineText).str(),
2277 return make_error<StringError>(
2278 formatv(
"unknown function pass '{0}' in pipeline '{1}'", FirstName,
2283 if (
auto Err = parseFunctionPassPipeline(FPM, *Pipeline))
2291 auto Pipeline = parsePipelineText(PipelineText);
2292 if (!Pipeline || Pipeline->empty())
2293 return make_error<StringError>(
2294 formatv(
"invalid pipeline '{0}'", PipelineText).str(),
2297 if (
auto Err = parseLoopPassPipeline(CGPM, *Pipeline))
2305 auto Pipeline = parsePipelineText(PipelineText);
2306 if (!Pipeline || Pipeline->empty())
2307 return make_error<StringError>(
2308 formatv(
"invalid machine pass pipeline '{0}'", PipelineText).str(),
2311 if (
auto Err = parseMachinePassPipeline(MFPM, *Pipeline))
2320 if (PipelineText ==
"default") {
2325 while (!PipelineText.
empty()) {
2327 std::tie(
Name, PipelineText) = PipelineText.
split(
',');
2328 if (!parseAAPassName(AA,
Name))
2329 return make_error<StringError>(
2330 formatv(
"unknown alias analysis name '{0}'",
Name).str(),
2337std::optional<RegAllocFilterFunc>
2339 if (FilterName ==
"all")
2341 for (
auto &
C : RegClassFilterParsingCallbacks)
2342 if (
auto F =
C(FilterName))
2344 return std::nullopt;
2352 OS <<
" " <<
PassName <<
"<" << Params <<
">\n";
2358 OS <<
"Module passes:\n";
2359#define MODULE_PASS(NAME, CREATE_PASS) printPassName(NAME, OS);
2360#include "PassRegistry.def"
2362 OS <<
"Module passes with params:\n";
2363#define MODULE_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
2364 printPassName(NAME, PARAMS, OS);
2365#include "PassRegistry.def"
2367 OS <<
"Module analyses:\n";
2368#define MODULE_ANALYSIS(NAME, CREATE_PASS) printPassName(NAME, OS);
2369#include "PassRegistry.def"
2371 OS <<
"Module alias analyses:\n";
2372#define MODULE_ALIAS_ANALYSIS(NAME, CREATE_PASS) printPassName(NAME, OS);
2373#include "PassRegistry.def"
2375 OS <<
"CGSCC passes:\n";
2376#define CGSCC_PASS(NAME, CREATE_PASS) printPassName(NAME, OS);
2377#include "PassRegistry.def"
2379 OS <<
"CGSCC passes with params:\n";
2380#define CGSCC_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
2381 printPassName(NAME, PARAMS, OS);
2382#include "PassRegistry.def"
2384 OS <<
"CGSCC analyses:\n";
2385#define CGSCC_ANALYSIS(NAME, CREATE_PASS) printPassName(NAME, OS);
2386#include "PassRegistry.def"
2388 OS <<
"Function passes:\n";
2389#define FUNCTION_PASS(NAME, CREATE_PASS) printPassName(NAME, OS);
2390#include "PassRegistry.def"
2392 OS <<
"Function passes with params:\n";
2393#define FUNCTION_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
2394 printPassName(NAME, PARAMS, OS);
2395#include "PassRegistry.def"
2397 OS <<
"Function analyses:\n";
2398#define FUNCTION_ANALYSIS(NAME, CREATE_PASS) printPassName(NAME, OS);
2399#include "PassRegistry.def"
2401 OS <<
"Function alias analyses:\n";
2402#define FUNCTION_ALIAS_ANALYSIS(NAME, CREATE_PASS) printPassName(NAME, OS);
2403#include "PassRegistry.def"
2405 OS <<
"LoopNest passes:\n";
2406#define LOOPNEST_PASS(NAME, CREATE_PASS) printPassName(NAME, OS);
2407#include "PassRegistry.def"
2409 OS <<
"Loop passes:\n";
2410#define LOOP_PASS(NAME, CREATE_PASS) printPassName(NAME, OS);
2411#include "PassRegistry.def"
2413 OS <<
"Loop passes with params:\n";
2414#define LOOP_PASS_WITH_PARAMS(NAME, CLASS, CREATE_PASS, PARSER, PARAMS) \
2415 printPassName(NAME, PARAMS, OS);
2416#include "PassRegistry.def"
2418 OS <<
"Loop analyses:\n";
2419#define LOOP_ANALYSIS(NAME, CREATE_PASS) printPassName(NAME, OS);
2420#include "PassRegistry.def"
2422 OS <<
"Machine module passes (WIP):\n";
2423#define MACHINE_MODULE_PASS(NAME, CREATE_PASS) printPassName(NAME, OS);
2424#include "llvm/Passes/MachinePassRegistry.def"
2426 OS <<
"Machine function passes (WIP):\n";
2427#define MACHINE_FUNCTION_PASS(NAME, CREATE_PASS) printPassName(NAME, OS);
2428#include "llvm/Passes/MachinePassRegistry.def"
2430 OS <<
"Machine function analyses (WIP):\n";
2431#define MACHINE_FUNCTION_ANALYSIS(NAME, CREATE_PASS) printPassName(NAME, OS);
2432#include "llvm/Passes/MachinePassRegistry.def"
2438 TopLevelPipelineParsingCallbacks.push_back(
C);
unsigned const MachineRegisterInfo * MRI
AggressiveInstCombiner - Combine expression patterns to form expressions with fewer,...
This file implements a simple N^2 alias analysis accuracy evaluator.
Provides passes to inlining "always_inline" functions.
This is the interface for LLVM's primary stateless and local alias analysis.
This file provides the interface for LLVM's Call Graph Profile pass.
This header provides classes for managing passes over SCCs of the call graph.
This file provides interfaces used to build and manipulate a call graph, which is a very useful tool ...
Defines an IR pass for CodeGen Prepare.
This file declares an analysis pass that computes CycleInfo for LLVM IR, specialized from GenericCycl...
This file provides the interface for a simple, fast CSE pass.
This file provides a pass which clones the current module and runs the provided pass pipeline on the ...
Super simple passes to force specific function attrs from the commandline into the IR for debugging p...
Provides passes for computing function attributes based on interprocedural analyses.
This file provides the interface for the GCOV style profiler pass.
This file provides the interface for LLVM's Global Value Numbering pass which eliminates fully redund...
This is the interface for a simple mod/ref and alias analysis over globals.
Defines an IR pass for the creation of hardware loops.
AcceleratorCodeSelection - Identify all functions reachable from a kernel, removing those that are un...
This file defines passes to print out IR in various granularities.
This header defines various interfaces for pass management in LLVM.
Interfaces for passes which infer implicit function attributes from the name and signature of functio...
This file provides the primary interface to the instcombine pass.
Defines passes for running instruction simplification across chunks of IR.
This file provides the interface for LLVM's PGO Instrumentation lowering pass.
This file contains the declaration of the InterleavedAccessPass class, its corresponding pass name is...
See the comments on JumpThreadingPass.
Implements a lazy call graph analysis and related passes for the new pass manager.
This file defines the interface for the loop cache analysis.
This file provides the interface for LLVM's Loop Data Prefetching Pass.
This file implements the Loop Fusion pass.
This header defines the LoopLoadEliminationPass object.
This file defines the interface for the loop nest analysis.
This header provides classes for managing a pipeline of passes over loops in LLVM IR.
This file provides the interface for the pass responsible for removing expensive ubsan checks.
The header file for the LowerConstantIntrinsics pass as used by the new pass manager.
The header file for the LowerExpectIntrinsic pass as used by the new pass manager.
This file exposes an interface to building/using memory SSA to walk memory instructions using a use/d...
This pass performs merges of loads and stores on both sides of a.
This is the interface to build a ModuleSummaryIndex for a module.
Contains a collection of routines for determining if a given instruction is guaranteed to execute if ...
This file provides the interface for LLVM's Global Value Numbering pass.
This file declares a simple ARC-aware AliasAnalysis using special knowledge of Objective C to enhance...
This header enumerates the LLVM-provided high-level optimization levels.
This file provides the interface for IR based instrumentation passes ( (profile-gen,...
CGSCCAnalysisManager CGAM
FunctionAnalysisManager FAM
ModuleAnalysisManager MAM
PassInstrumentationCallbacks PIC
PassBuilder PB(Machine, PassOpts->PTO, std::nullopt, &PIC)
static bool isModulePassName(StringRef Name, CallbacksT &Callbacks)
static bool callbacksAcceptPassName(StringRef Name, CallbacksT &Callbacks)
Tests whether registered callbacks will accept a given pass name.
static std::optional< int > parseDevirtPassName(StringRef Name)
static bool startsWithDefaultPipelineAliasPrefix(StringRef Name)
Tests whether a pass name starts with a valid prefix for a default pipeline alias.
static bool isLoopNestPassName(StringRef Name, CallbacksT &Callbacks, bool &UseMemorySSA)
static bool isMachineFunctionPassName(StringRef Name, CallbacksT &Callbacks)
static std::optional< OptimizationLevel > parseOptLevel(StringRef S)
static bool isLoopPassName(StringRef Name, CallbacksT &Callbacks, bool &UseMemorySSA)
static std::optional< std::pair< bool, bool > > parseFunctionPipelineName(StringRef Name)
static bool isCGSCCPassName(StringRef Name, CallbacksT &Callbacks)
static void printPassName(StringRef PassName, raw_ostream &OS)
static bool isFunctionPassName(StringRef Name, CallbacksT &Callbacks)
static const Regex DefaultAliasRegex("^(default|thinlto-pre-link|thinlto|lto-pre-link|lto)<(O[0123sz])>$")
This file implements the PredicateInfo analysis, which creates an Extended SSA form for operations us...
This pass is required to take advantage of the interprocedural register allocation infrastructure.
This file implements relative lookup table converter that converts lookup tables to relative lookup t...
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file provides the interface for LLVM's Scalar Replacement of Aggregates pass.
This file provides the interface for the pseudo probe implementation for AutoFDO.
This file provides the interface for the sampled PGO loader pass.
This is the interface for a SCEV-based alias analysis.
This pass converts vector operations into scalar operations (or, optionally, operations on smaller ve...
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 provides the interface for the pass responsible for both simplifying and canonicalizing the...
This file implements the StringSwitch template, which mimics a switch() statement whose cases are str...
Target-Independent Code Generator Pass Configuration Options pass.
This is the interface for a metadata-based TBAA.
static const char PassName[]
A manager for alias analyses.
Class for arbitrary precision integers.
uint64_t getZExtValue() const
Get zero extended value.
int64_t getSExtValue() const
Get sign extended value.
A container for analyses that lazily runs them and caches their results.
bool registerPass(PassBuilderT &&PassBuilder)
Register an analysis pass with the manager.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
LLVM Basic Block Representation.
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction if the block is well formed or null if the block is not well forme...
Lightweight error class with error context and mandatory checking.
static ErrorSuccess success()
Create a success value.
Tagged union holding either a T or a Error.
static GlobalAlias * create(Type *Ty, unsigned AddressSpace, LinkageTypes Linkage, const Twine &Name, Constant *Aliasee, Module *Parent)
If a parent module is specified, the alias is automatically inserted into the end of the specified mo...
An analysis over an "outer" IR unit that provides access to an analysis manager over an "inner" IR un...
static constexpr LLT scalar(unsigned SizeInBits)
Get a low-level scalar or aggregate "bag of bits".
An RAII based helper class to modify MachineFunctionProperties when running pass.
Properties which a MachineFunction may have at a given point in time.
MachineFunctionProperties & set(Property P)
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
const MachineFunctionProperties & getProperties() const
Get the function properties.
A Module instance is used to store all the information related to an LLVM module.
static const OptimizationLevel O3
Optimize for fast execution as much as possible.
static const OptimizationLevel Oz
A very specialized mode that will optimize for code size at any and all costs.
static const OptimizationLevel O0
Disable as many optimizations as possible.
static const OptimizationLevel Os
Similar to O2 but tries to optimize for small code size instead of fast execution without triggering ...
static const OptimizationLevel O2
Optimize for fast execution as much as possible without triggering significant incremental compile ti...
static const OptimizationLevel O1
Optimize quickly without destroying debuggability.
This class provides access to building LLVM's passes.
void printPassNames(raw_ostream &OS)
Print pass names.
static bool checkParametrizedPassName(StringRef Name, StringRef PassName)
AAManager buildDefaultAAPipeline()
Build the default AAManager with the default alias analysis pipeline registered.
Error parseAAPipeline(AAManager &AA, StringRef PipelineText)
Parse a textual alias analysis pipeline into the provided AA manager.
ModulePassManager buildThinLTOPreLinkDefaultPipeline(OptimizationLevel Level)
Build a pre-link, ThinLTO-targeting default optimization pipeline to a pass manager.
PassBuilder(TargetMachine *TM=nullptr, PipelineTuningOptions PTO=PipelineTuningOptions(), std::optional< PGOOptions > PGOOpt=std::nullopt, PassInstrumentationCallbacks *PIC=nullptr)
void registerLoopAnalyses(LoopAnalysisManager &LAM)
Registers all available loop analysis passes.
std::optional< RegAllocFilterFunc > parseRegAllocFilter(StringRef RegAllocFilterName)
Parse RegAllocFilterName to get RegAllocFilterFunc.
void crossRegisterProxies(LoopAnalysisManager &LAM, FunctionAnalysisManager &FAM, CGSCCAnalysisManager &CGAM, ModuleAnalysisManager &MAM, MachineFunctionAnalysisManager *MFAM=nullptr)
Cross register the analysis managers through their proxies.
ModulePassManager buildPerModuleDefaultPipeline(OptimizationLevel Level, ThinOrFullLTOPhase Phase=ThinOrFullLTOPhase::None)
Build a per-module default optimization pipeline.
Error parsePassPipeline(ModulePassManager &MPM, StringRef PipelineText)
Parse a textual pass pipeline description into a ModulePassManager.
ModulePassManager buildLTODefaultPipeline(OptimizationLevel Level, ModuleSummaryIndex *ExportSummary)
Build an LTO default optimization pipeline to a pass manager.
ModulePassManager buildThinLTODefaultPipeline(OptimizationLevel Level, const ModuleSummaryIndex *ImportSummary)
Build a ThinLTO default optimization pipeline to a pass manager.
void registerModuleAnalyses(ModuleAnalysisManager &MAM)
Registers all available module analysis passes.
void registerCGSCCAnalyses(CGSCCAnalysisManager &CGAM)
Registers all available CGSCC analysis passes.
static Expected< bool > parseSinglePassOption(StringRef Params, StringRef OptionName, StringRef PassName)
Handle passes only accept one bool-valued parameter.
void registerMachineFunctionAnalyses(MachineFunctionAnalysisManager &MFAM)
Registers all available machine function analysis passes.
void registerParseTopLevelPipelineCallback(const std::function< bool(ModulePassManager &, ArrayRef< PipelineElement >)> &C)
Register a callback for a top-level pipeline entry.
ModulePassManager buildLTOPreLinkDefaultPipeline(OptimizationLevel Level)
Build a pre-link, LTO-targeting default optimization pipeline to a pass manager.
void registerFunctionAnalyses(FunctionAnalysisManager &FAM)
Registers all available function analysis passes.
LLVM_ATTRIBUTE_MINSIZE std::enable_if_t< is_detected< HasRunOnLoopT, PassT >::value > addPass(PassT &&Pass)
LLVM_ATTRIBUTE_MINSIZE std::enable_if_t<!std::is_same_v< PassT, PassManager > > addPass(PassT &&Pass)
Tunable parameters for passes in the default pipelines.
bool SLPVectorization
Tuning option to enable/disable slp loop vectorization, set based on opt level.
bool LoopVectorization
Tuning option to enable/disable loop vectorization, set based on opt level.
static PointerType * getUnqual(Type *ElementType)
This constructs a pointer to an object of the specified type in the default address space (address sp...
A set of analyses that are preserved following a run of a transformation pass.
static PreservedAnalyses none()
Convenience factory function for the empty preserved set.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
bool match(StringRef String, SmallVectorImpl< StringRef > *Matches=nullptr, std::string *Error=nullptr) const
matches - Match the regex against a given String.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringRef - Represent a constant reference to a string, i.e.
std::pair< StringRef, StringRef > split(char Separator) const
Split into two substrings around the first occurrence of a separator character.
bool getAsInteger(unsigned Radix, T &Result) const
Parse the current string as an integer of the specified radix.
std::string str() const
str - Get the contents as an std::string.
constexpr bool empty() const
empty - Check if the string is empty.
char front() const
front - Get the first character in the string.
bool consume_front(StringRef Prefix)
Returns true if this StringRef has the given prefix and removes that prefix.
A switch()-like statement whose cases are string literals.
StringSwitch & Case(StringLiteral S, T Value)
Primary interface to the complete machine description for the target machine.
This function has undefined behavior.
self_iterator getIterator()
This class implements an extremely fast bulk output stream that can only output to a stream.
Interfaces for registering analysis passes, producing common pass manager configurations,...
@ C
The default llvm calling convention, compatible with C.
PointerTypeMap run(const Module &M)
Compute the PointerTypeMap for the module M.
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.
DevirtSCCRepeatedPass createDevirtSCCRepeatedPass(CGSCCPassT &&Pass, int MaxIterations)
A function to deduce a function pass type and wrap it in the templated adaptor.
std::error_code inconvertibleErrorCode()
The value returned by this function can be returned from convertToErrorCode for Error values where no...
OuterAnalysisManagerProxy< ModuleAnalysisManager, MachineFunction > ModuleAnalysisManagerMachineFunctionProxy
Provide the ModuleAnalysisManager to Function proxy.
OuterAnalysisManagerProxy< ModuleAnalysisManager, Function > ModuleAnalysisManagerFunctionProxy
Provide the ModuleAnalysisManager to Function proxy.
InnerAnalysisManagerProxy< MachineFunctionAnalysisManager, Module > MachineFunctionAnalysisManagerModuleProxy
OuterAnalysisManagerProxy< ModuleAnalysisManager, LazyCallGraph::SCC, LazyCallGraph & > ModuleAnalysisManagerCGSCCProxy
A proxy from a ModuleAnalysisManager to an SCC.
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
ModuleToPostOrderCGSCCPassAdaptor createModuleToPostOrderCGSCCPassAdaptor(CGSCCPassT &&Pass)
A function to deduce a function pass type and wrap it in the templated adaptor.
auto formatv(bool Validate, const char *Fmt, Ts &&...Vals)
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.
InnerAnalysisManagerProxy< FunctionAnalysisManager, Module > FunctionAnalysisManagerModuleProxy
Provide the FunctionAnalysisManager to Module proxy.
FunctionToMachineFunctionPassAdaptor createFunctionToMachineFunctionPassAdaptor(MachineFunctionPassT &&Pass)
InnerAnalysisManagerProxy< MachineFunctionAnalysisManager, Function > MachineFunctionAnalysisManagerFunctionProxy
OuterAnalysisManagerProxy< FunctionAnalysisManager, Loop, LoopStandardAnalysisResults & > FunctionAnalysisManagerLoopProxy
A proxy from a FunctionAnalysisManager to a Loop.
cl::opt< bool > PrintPipelinePasses
Common option used by multiple tools to print pipeline passes.
OuterAnalysisManagerProxy< CGSCCAnalysisManager, Function > CGSCCAnalysisManagerFunctionProxy
A proxy from a CGSCCAnalysisManager to a Function.
std::enable_if_t< is_detected< HasRunOnLoopT, LoopPassT >::value, 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.
@ Detailed
Hash with opcode only.
@ CallTargetIgnored
Hash with opcode and operands.
A special type used by analysis passes to provide an address that identifies that particular analysis...
A set of parameters to control various transforms performed by GVN pass.
HardwareLoopOptions & setForceNested(bool Force)
HardwareLoopOptions & setDecrement(unsigned Count)
HardwareLoopOptions & setForceGuard(bool Force)
HardwareLoopOptions & setForce(bool Force)
HardwareLoopOptions & setCounterBitwidth(unsigned Width)
HardwareLoopOptions & setForcePhi(bool Force)
A set of parameters to control various transforms performed by IPSCCP pass.
A set of parameters used to control various transforms performed by the LoopUnroll pass.
LoopUnrollOptions & setPeeling(bool Peeling)
Enables or disables loop peeling.
LoopUnrollOptions & setOptLevel(int O)
LoopUnrollOptions & setPartial(bool Partial)
Enables or disables partial unrolling.
LoopUnrollOptions & setFullUnrollMaxCount(unsigned O)
LoopUnrollOptions & setUpperBound(bool UpperBound)
Enables or disables the use of trip count upper bound in loop unrolling.
LoopUnrollOptions & setRuntime(bool Runtime)
Enables or disables unrolling of loops with runtime trip count.
LoopUnrollOptions & setProfileBasedPeeling(int O)
LoopVectorizeOptions & setVectorizeOnlyWhenForced(bool Value)
LoopVectorizeOptions & setInterleaveOnlyWhenForced(bool Value)
A CRTP mix-in to automatically provide informational APIs needed for passes.
static StringRef name()
Gets the name of the pass we are mixed into.
This class manages callbacks registration, as well as provides a way for PassInstrumentation to pass ...
void registerClassToPassNameCallback(CallableT C)
RegAllocFilterFunc Filter