80#include "llvm/IR/IntrinsicsWebAssembly.h"
116#define DEBUG_TYPE "isel"
117#define ISEL_DUMP_DEBUG_TYPE DEBUG_TYPE "-dump"
119STATISTIC(NumFastIselFailures,
"Number of instructions fast isel failed on");
120STATISTIC(NumFastIselSuccess,
"Number of instructions fast isel selected");
121STATISTIC(NumFastIselBlocks,
"Number of blocks selected entirely by fast isel");
122STATISTIC(NumDAGBlocks,
"Number of blocks selected using DAG");
123STATISTIC(NumDAGIselRetries,
"Number of times dag isel has to try another path");
124STATISTIC(NumEntryBlocks,
"Number of entry blocks encountered");
126 "Number of entry blocks where fast isel failed to lower arguments");
130 cl::desc(
"Enable abort calls when \"fast\" instruction selection "
131 "fails to lower an instruction: 0 disable the abort, 1 will "
132 "abort but for args, calls and terminators, 2 will also "
133 "abort for argument lowering, and 3 will never fallback "
134 "to SelectionDAG."));
138 cl::desc(
"Emit a diagnostic when \"fast\" instruction selection "
139 "falls back to SelectionDAG."));
143 cl::desc(
"use Machine Branch Probability Info"),
149 cl::desc(
"Print DAGs with sorted nodes in debug dump"),
154 cl::desc(
"Only display the basic block whose name "
155 "matches this for all view-*-dags options"));
158 cl::desc(
"Pop up a window to show dags before the first "
159 "dag combine pass"));
162 cl::desc(
"Pop up a window to show dags before legalize types"));
165 cl::desc(
"Pop up a window to show dags before the post "
166 "legalize types dag combine pass"));
169 cl::desc(
"Pop up a window to show dags before legalize"));
172 cl::desc(
"Pop up a window to show dags before the second "
173 "dag combine pass"));
176 cl::desc(
"Pop up a window to show isel dags as they are selected"));
179 cl::desc(
"Pop up a window to show sched dags as they are processed"));
182 cl::desc(
"Pop up a window to show SUnit dags after they are processed"));
191#define ISEL_DUMP(X) \
193 if (llvm::DebugFlag && \
194 (isCurrentDebugType(DEBUG_TYPE) || \
195 (isCurrentDebugType(ISEL_DUMP_DEBUG_TYPE) && MatchFilterFuncName))) { \
200#define ISEL_DUMP(X) do { } while (false)
220 cl::desc(
"Instruction schedulers available (before register"
233 return Arg.hasAttribute(Attribute::AttrKind::SwiftAsync);
263 SavedOptLevel = IS.OptLevel;
264 SavedFastISel = IS.TM.Options.EnableFastISel;
265 if (NewOptLevel != SavedOptLevel) {
266 IS.OptLevel = NewOptLevel;
267 IS.TM.setOptLevel(NewOptLevel);
268 LLVM_DEBUG(
dbgs() <<
"\nChanging optimization level for Function "
269 << IS.MF->getFunction().getName() <<
"\n");
270 LLVM_DEBUG(
dbgs() <<
"\tBefore: -O" <<
static_cast<int>(SavedOptLevel)
271 <<
" ; After: -O" <<
static_cast<int>(NewOptLevel)
274 IS.TM.setFastISel(IS.TM.getO0WantsFastISel());
277 IS.TM.setFastISel(
false);
279 dbgs() <<
"\tFastISel is "
280 << (IS.TM.Options.EnableFastISel ?
"enabled" :
"disabled")
285 if (IS.OptLevel == SavedOptLevel)
287 LLVM_DEBUG(
dbgs() <<
"\nRestoring optimization level for Function "
288 << IS.MF->getFunction().getName() <<
"\n");
289 LLVM_DEBUG(
dbgs() <<
"\tBefore: -O" <<
static_cast<int>(IS.OptLevel)
290 <<
" ; After: -O" <<
static_cast<int>(SavedOptLevel) <<
"\n");
291 IS.OptLevel = SavedOptLevel;
292 IS.TM.setOptLevel(SavedOptLevel);
293 IS.TM.setFastISel(SavedFastISel);
306 if (
auto *SchedulerCtor = ST.getDAGScheduler(OptLevel)) {
307 return SchedulerCtor(IS, OptLevel);
311 (ST.enableMachineScheduler() && ST.enableMachineSchedDefaultSched()) ||
325 "Unknown sched type!");
334 switch (
MI.getOpcode()) {
335 case TargetOpcode::STATEPOINT:
338 case TargetOpcode::STACKMAP:
339 case TargetOpcode::PATCHPOINT:
346 dbgs() <<
"If a target marks an instruction with "
347 "'usesCustomInserter', it must implement "
348 "TargetLowering::EmitInstrWithCustomInserter!\n";
356 "If a target marks an instruction with 'hasPostISelHook', "
357 "it must implement TargetLowering::AdjustInstrPostInstrSelection!");
365 char &
ID, std::unique_ptr<SelectionDAGISel> S)
395 : Selector->OptLevel;
399 Selector->initializeAnalysisResults(*
this);
400 return Selector->runOnMachineFunction(MF);
429 if (
UseMBPI && RegisterPGOPasses)
436 if (RegisterPGOPasses)
471 : Selector->OptLevel;
474 Selector->initializeAnalysisResults(MFAM);
475 Selector->runOnMachineFunction(MF);
501 ORE = std::make_unique<OptimizationRemarkEmitter>(&Fn);
506 if (PSI && PSI->hasProfileSummary() && RegisterPGOPasses)
519 if (!LibcallResult) {
521 "' analysis required");
533 if (
UseMBPI && RegisterPGOPasses)
569 ORE = std::make_unique<OptimizationRemarkEmitter>(&Fn);
573 if (PSI && PSI->hasProfileSummary() && RegisterPGOPasses)
582 UA = &UAPass->getUniformityInfo();
599 if (
UseMBPI && RegisterPGOPasses)
629 MF->setHasInlineAsm(
false);
656 TLI->initializeSplitCSR(EntryMBB);
658 SelectAllBasicBlocks(Fn);
686 MRI.constrainRegClass(To,
MRI.getRegClass(From));
692 if (!
MRI.use_empty(To))
693 MRI.clearKillFlags(From);
694 MRI.replaceRegWith(From, To);
708 if (!
MBB.succ_empty())
712 if (Term !=
MBB.end() && Term->isReturn()) {
717 TLI->insertCopiesSplitCSR(EntryMBB, Returns);
721 if (!
FuncInfo->ArgDbgValues.empty())
722 for (std::pair<MCRegister, Register> LI :
RegInfo->liveins())
727 for (
unsigned i = 0, e =
FuncInfo->ArgDbgValues.size(); i != e; ++i) {
729 assert(
MI->getOpcode() != TargetOpcode::DBG_VALUE_LIST &&
730 "Function parameters should not be described by DBG_VALUE_LIST.");
731 bool hasFI =
MI->getDebugOperand(0).isFI();
733 hasFI ?
TRI.getFrameRegister(*
MF) :
MI->getDebugOperand(0).getReg();
734 if (Reg.isPhysical())
741 Def->getParent()->insert(std::next(InsertPos),
MI);
752 if (!Reg.isPhysical())
755 if (LDI != LiveInMap.
end()) {
756 assert(!hasFI &&
"There's no handling of frame pointer updating here yet "
760 const MDNode *Variable =
MI->getDebugVariable();
761 const MDNode *Expr =
MI->getDebugExpression();
763 bool IsIndirect =
MI->isIndirectDebugValue();
765 assert(
MI->getDebugOffset().getImm() == 0 &&
766 "DBG_VALUE with nonzero offset");
768 "Expected inlined-at fields to agree");
769 assert(
MI->getOpcode() != TargetOpcode::DBG_VALUE_LIST &&
770 "Didn't expect to see a DBG_VALUE_LIST here");
772 BuildMI(*EntryMBB, ++InsertPos,
DL,
TII->get(TargetOpcode::DBG_VALUE),
773 IsIndirect, LDI->second, Variable, Expr);
780 if (
UseMI.isDebugValue())
782 if (
UseMI.isCopy() && !CopyUseMI &&
UseMI.getParent() == EntryMBB) {
791 TRI.getRegSizeInBits(LDI->second,
MRI) ==
806 if (
MF->useDebugInstrRef())
807 MF->finalizeDebugInstrRefs();
811 for (
const auto &
MBB : *
MF) {
815 for (
const auto &
MI :
MBB) {
817 if ((
MCID.isCall() && !
MCID.isReturn()) ||
818 MI.isStackAligningInlineAsm()) {
821 if (
MI.isInlineAsm()) {
822 MF->setHasInlineAsm(
true);
831 ISEL_DUMP(
dbgs() <<
"*** MachineFunction at end of ISel ***\n");
843 if (!R.getLocation().isValid() || ShouldAbort)
844 R << (
" (in function: " + MF.
getName() +
")").str();
862 bool HaveFakeUse =
false;
863 bool HaveTailCall =
false;
866 if (CI->isTailCall()) {
871 if (
II->getIntrinsicID() == Intrinsic::fake_use)
873 }
while (
I != Begin);
876 if (!HaveTailCall || !HaveFakeUse)
885 FakeUse && FakeUse->getIntrinsicID() == Intrinsic::fake_use) {
887 !UsedDef || UsedDef->getParent() !=
I->getParent() ||
888 UsedDef->comesBefore(&*
I))
893 for (
auto *Inst : FakeUses)
894 Inst->moveBefore(*Inst->getParent(),
I);
901 CurDAG->NewNodesMustHaveLegalTypes =
false;
910 SDB->visitDbgInfo(*
I);
915 HadTailCall =
SDB->HasTailCall;
916 SDB->resolveOrClearDbgInfo();
923void SelectionDAGISel::ComputeLiveOutVRegInfo() {
924 SmallPtrSet<SDNode *, 16>
Added;
937 if (
Op.getValueType() == MVT::Other &&
Added.insert(
Op.getNode()).second)
950 EVT SrcVT = Src.getValueType();
954 unsigned NumSignBits =
CurDAG->ComputeNumSignBits(Src);
955 Known =
CurDAG->computeKnownBits(Src);
956 FuncInfo->AddLiveOutRegInfo(DestReg, NumSignBits, Known);
957 }
while (!Worklist.
empty());
960void SelectionDAGISel::CodeGenAndEmitDAG() {
961 StringRef GroupName =
"sdag";
962 StringRef GroupDescription =
"Instruction Selection and Scheduling";
963 std::string BlockName;
964 bool MatchFilterBB =
false;
968 CurDAG->NewNodesMustHaveLegalTypes =
false;
973 FuncInfo->MBB->getBasicBlock()->getName());
982 (
MF->getName() +
":" +
FuncInfo->MBB->getBasicBlock()->getName()).str();
989#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
990 if (
TTI->hasBranchDivergence())
991 CurDAG->VerifyDAGDivergence();
995 CurDAG->viewGraph(
"dag-combine1 input for " + BlockName);
999 NamedRegionTimer
T(
"combine1",
"DAG Combining 1", GroupName,
1009#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1010 if (
TTI->hasBranchDivergence())
1011 CurDAG->VerifyDAGDivergence();
1017 CurDAG->viewGraph(
"legalize-types input for " + BlockName);
1021 NamedRegionTimer
T(
"legalize_types",
"Type Legalization", GroupName,
1031#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1032 if (
TTI->hasBranchDivergence())
1033 CurDAG->VerifyDAGDivergence();
1037 CurDAG->NewNodesMustHaveLegalTypes =
true;
1041 CurDAG->viewGraph(
"dag-combine-lt input for " + BlockName);
1045 NamedRegionTimer
T(
"combine_lt",
"DAG Combining after legalize types",
1050 ISEL_DUMP(
dbgs() <<
"\nOptimized type-legalized selection DAG: "
1055#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1056 if (
TTI->hasBranchDivergence())
1057 CurDAG->VerifyDAGDivergence();
1062 NamedRegionTimer
T(
"legalize_vec",
"Vector Legalization", GroupName,
1073#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1074 if (
TTI->hasBranchDivergence())
1075 CurDAG->VerifyDAGDivergence();
1079 NamedRegionTimer
T(
"legalize_types2",
"Type Legalization 2", GroupName,
1084 ISEL_DUMP(
dbgs() <<
"\nVector/type-legalized selection DAG: "
1089#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1090 if (
TTI->hasBranchDivergence())
1091 CurDAG->VerifyDAGDivergence();
1095 CurDAG->viewGraph(
"dag-combine-lv input for " + BlockName);
1099 NamedRegionTimer
T(
"combine_lv",
"DAG Combining after legalize vectors",
1104 ISEL_DUMP(
dbgs() <<
"\nOptimized vector-legalized selection DAG: "
1109#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1110 if (
TTI->hasBranchDivergence())
1111 CurDAG->VerifyDAGDivergence();
1116 CurDAG->viewGraph(
"legalize input for " + BlockName);
1119 NamedRegionTimer
T(
"legalize",
"DAG Legalization", GroupName,
1129#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1130 if (
TTI->hasBranchDivergence())
1131 CurDAG->VerifyDAGDivergence();
1135 CurDAG->viewGraph(
"dag-combine2 input for " + BlockName);
1139 NamedRegionTimer
T(
"combine2",
"DAG Combining 2", GroupName,
1149#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1150 if (
TTI->hasBranchDivergence())
1151 CurDAG->VerifyDAGDivergence();
1155 ComputeLiveOutVRegInfo();
1158 CurDAG->viewGraph(
"isel input for " + BlockName);
1163 NamedRegionTimer
T(
"isel",
"Instruction Selection", GroupName,
1165 DoInstructionSelection();
1174 CurDAG->viewGraph(
"scheduler input for " + BlockName);
1177 ScheduleDAGSDNodes *
Scheduler = CreateScheduler();
1179 NamedRegionTimer
T(
"sched",
"Instruction Scheduling", GroupName,
1189 MachineBasicBlock *FirstMBB =
FuncInfo->MBB, *LastMBB;
1191 NamedRegionTimer
T(
"emit",
"Instruction Creation", GroupName,
1201 if (FirstMBB != LastMBB)
1202 SDB->UpdateSplitBlock(FirstMBB, LastMBB);
1206 NamedRegionTimer
T(
"cleanup",
"Instruction Scheduling Cleanup", GroupName,
1224 : SelectionDAG::DAGUpdateListener(DAG), ISelPosition(isp) {}
1229 void NodeDeleted(SDNode *
N, SDNode *
E)
override {
1237 void NodeInserted(SDNode *
N)
override {
1238 SDNode *CurNode = &*ISelPosition;
1239 if (MDNode *MD = DAG.getPCSections(CurNode))
1240 DAG.addPCSections(
N, MD);
1241 if (MDNode *MMRA = DAG.getMMRAMetadata(CurNode))
1242 DAG.addMMRAMetadata(
N, MMRA);
1272 while (!Nodes.
empty()) {
1274 for (
auto *U :
N->users()) {
1275 auto UId = U->getNodeId();
1288 int InvalidId = -(
N->getNodeId() + 1);
1289 N->setNodeId(InvalidId);
1294 int Id =
N->getNodeId();
1300void SelectionDAGISel::DoInstructionSelection() {
1303 <<
FuncInfo->MBB->getName() <<
"'\n");
1321 ISelUpdater ISU(*
CurDAG, ISelPosition);
1332 if (
Node->use_empty())
1339 while (!Nodes.
empty()) {
1356 "Node has already selected predecessor node");
1368 if (!
TLI->isStrictFPEnabled() &&
Node->isStrictFPOpcode()) {
1373 switch (
Node->getOpcode()) {
1382 ActionVT =
Node->getOperand(1).getValueType();
1385 ActionVT =
Node->getValueType(0);
1388 if (
TLI->getOperationAction(
Node->getOpcode(), ActionVT)
1393 LLVM_DEBUG(
dbgs() <<
"\nISEL: Starting selection on root node: ";
1399 CurDAG->setRoot(Dummy.getValue());
1411 if (IID == Intrinsic::eh_exceptionpointer ||
1412 IID == Intrinsic::eh_exceptioncode)
1427 bool IsSingleCatchAllClause =
1432 bool IsCatchLongjmp = CPI->
arg_size() == 0;
1433 if (!IsSingleCatchAllClause && !IsCatchLongjmp) {
1435 bool IntrFound =
false;
1439 if (IID == Intrinsic::wasm_landingpad_index) {
1440 Value *IndexArg =
Call->getArgOperand(1);
1448 assert(IntrFound &&
"wasm.landingpad.index intrinsic not found!");
1455bool SelectionDAGISel::PrepareEHLandingPad() {
1459 const TargetRegisterClass *PtrRC =
1460 TLI->getRegClassFor(
TLI->getPointerTy(
CurDAG->getDataLayout()));
1471 MCRegister EHPhysReg =
TLI->getExceptionPointerRegister(PersonalityFn);
1472 assert(EHPhysReg &&
"target lacks exception pointer register");
1476 TII->get(TargetOpcode::COPY), VReg)
1487 const MCInstrDesc &
II =
TII->get(TargetOpcode::EH_LABEL);
1493 const TargetRegisterInfo &
TRI = *
MF->getSubtarget().getRegisterInfo();
1494 if (
auto *RegMask =
TRI.getCustomEHPadPreservedMask(*
MF))
1495 MF->getRegInfo().addPhysRegsUsedFromRegMask(RegMask);
1502 MF->setCallSiteLandingPad(Label,
SDB->LPadToCallSiteMap[
MBB]);
1504 if (MCRegister
Reg =
TLI->getExceptionPointerRegister(PersonalityFn))
1507 if (MCRegister
Reg =
TLI->getExceptionSelectorRegister(PersonalityFn))
1516 llvm::WinEHFuncInfo *EHInfo =
MF->getWinEHFuncInfo();
1519 for (MachineBasicBlock &
MBB : *
MF) {
1529 MachineInstr *MIb = &*MBBb;
1534 MCSymbol *BeginLabel =
MF->getContext().createTempSymbol();
1535 MCSymbol *EndLabel =
MF->getContext().createTempSymbol();
1538 TII->get(TargetOpcode::EH_LABEL))
1541 MachineInstr *MIe = &*(--MBBe);
1547 TII->get(TargetOpcode::EH_LABEL))
1558 return !
I->mayWriteToMemory() &&
1559 !
I->isTerminator() &&
1571 auto ArgIt = FuncInfo.
ValueMap.find(Arg);
1572 if (ArgIt == FuncInfo.
ValueMap.end())
1574 Register ArgVReg = ArgIt->getSecond();
1578 if (VirtReg == ArgVReg) {
1582 LLVM_DEBUG(
dbgs() <<
"processDbgDeclare: setVariableDbgInfo Var=" << *Var
1583 <<
", Expr=" << *Expr <<
", MCRegister=" << PhysReg
1584 <<
", DbgLoc=" << DbgLoc <<
"\n");
1595 <<
" (bad address)\n");
1602 if (!Address->getType()->isPointerTy())
1608 assert(Var &&
"Missing variable");
1609 assert(DbgLoc &&
"Missing location");
1613 APInt Offset(
DL.getIndexTypeSizeInBits(Address->getType()), 0);
1614 Address = Address->stripAndAccumulateInBoundsConstantOffsets(
DL,
Offset);
1619 int FI = std::numeric_limits<int>::max();
1627 if (FI == std::numeric_limits<int>::max())
1630 if (
Offset.getBoolValue())
1634 LLVM_DEBUG(
dbgs() <<
"processDbgDeclare: setVariableDbgInfo Var=" << *Var
1635 <<
", Expr=" << *Expr <<
", FI=" << FI
1636 <<
", DbgLoc=" << DbgLoc <<
"\n");
1648 DVR.getExpression(), DVR.getVariable(),
1663 assert(!It->Values.hasArgList() &&
"Single loc variadic ops not supported");
1669void SelectionDAGISel::SelectAllBasicBlocks(
const Function &Fn) {
1672 FastISel *FastIS =
nullptr;
1673 if (
TM.Options.EnableFastISel) {
1678 ReversePostOrderTraversal<const Function*> RPOT(&Fn);
1699 ++NumFastIselFailLowerArguments;
1701 OptimizationRemarkMissed
R(
"sdagisel",
"FastISelFailure",
1704 R <<
"FastISel didn't lower all arguments: "
1712 CodeGenAndEmitDAG();
1726 if (FastIS && Inserted)
1731 "expected AssignmentTrackingAnalysis pass results");
1739 for (
const BasicBlock *LLVMBB : RPOT) {
1741 bool AllPredsVisited =
true;
1743 if (!
FuncInfo->VisitedBBs[Pred->getNumber()]) {
1744 AllPredsVisited =
false;
1749 if (AllPredsVisited) {
1750 for (
const PHINode &PN : LLVMBB->
phis())
1751 FuncInfo->ComputePHILiveOutRegInfo(&PN);
1753 for (
const PHINode &PN : LLVMBB->
phis())
1754 FuncInfo->InvalidatePHILiveOutRegInfo(&PN);
1765 const_cast<BasicBlock *
>(LLVMBB)->getFirstNonPHIIt();
1785 if (!PrepareEHLandingPad())
1791 if (NewRoot && NewRoot !=
CurDAG->getRoot())
1792 CurDAG->setRoot(NewRoot);
1801 unsigned NumFastIselRemaining = std::distance(Begin, End);
1807 for (; BI != Begin; --BI) {
1813 --NumFastIselRemaining;
1824 --NumFastIselRemaining;
1825 ++NumFastIselSuccess;
1832 while (BeforeInst != &*Begin) {
1842 <<
"FastISel folded load: " << *BeforeInst <<
"\n");
1845 --NumFastIselRemaining;
1846 ++NumFastIselSuccess;
1860 OptimizationRemarkMissed
R(
"sdagisel",
"FastISelFailure",
1863 R <<
"FastISel missed call";
1866 std::string InstStrStorage;
1867 raw_string_ostream InstStr(InstStrStorage);
1870 R <<
": " << InstStrStorage;
1879 NumFastIselFailures += NumFastIselRemaining;
1890 bool HadTailCall =
false;
1892 SelectBasicBlock(Inst->
getIterator(), BI, HadTailCall);
1904 unsigned RemainingNow = std::distance(Begin, BI);
1905 NumFastIselFailures += NumFastIselRemaining - RemainingNow;
1906 NumFastIselRemaining = RemainingNow;
1910 OptimizationRemarkMissed
R(
"sdagisel",
"FastISelFailure",
1916 R <<
"FastISel missed terminator";
1920 R <<
"FastISel missed";
1924 std::string InstStrStorage;
1925 raw_string_ostream InstStr(InstStrStorage);
1927 R <<
": " << InstStrStorage;
1932 NumFastIselFailures += NumFastIselRemaining;
1939 if (
SP->shouldEmitSDCheck(*LLVMBB)) {
1940 bool FunctionBasedInstrumentation =
1943 SDB->SPDescriptor.initialize(LLVMBB,
FuncInfo->getMBB(LLVMBB),
1944 FunctionBasedInstrumentation);
1950 ++NumFastIselBlocks;
1957 SelectBasicBlock(Begin, BI, HadTailCall);
1969 FuncInfo->PHINodesToUpdate.clear();
1975 reportIPToStateForBlocks(
MF);
1977 SP->copyToMachineFrameInfo(
MF->getFrameInfo());
1982 SDB->clearDanglingDebugInfo();
1983 SDB->SPDescriptor.resetPerFunctionState();
1987SelectionDAGISel::FinishBasicBlock() {
1989 <<
FuncInfo->PHINodesToUpdate.size() <<
"\n";
1990 for (
unsigned i = 0, e =
FuncInfo->PHINodesToUpdate.size(); i != e;
1992 <<
"Node " << i <<
" : (" <<
FuncInfo->PHINodesToUpdate[i].first
1998 for (
unsigned i = 0, e =
FuncInfo->PHINodesToUpdate.size(); i != e; ++i) {
1999 MachineInstrBuilder
PHI(*
MF,
FuncInfo->PHINodesToUpdate[i].first);
2001 "This is not a machine PHI node that we are updating!");
2002 if (!
FuncInfo->MBB->isSuccessor(
PHI->getParent()))
2008 if (
SDB->SPDescriptor.shouldEmitFunctionBasedCheckStackProtector()) {
2011 MachineBasicBlock *ParentMBB =
SDB->SPDescriptor.getParentMBB();
2016 SDB->visitSPDescriptorParent(
SDB->SPDescriptor, ParentMBB);
2019 CodeGenAndEmitDAG();
2022 SDB->SPDescriptor.resetPerBBState();
2023 }
else if (
SDB->SPDescriptor.shouldEmitStackProtector()) {
2024 MachineBasicBlock *ParentMBB =
SDB->SPDescriptor.getParentMBB();
2025 MachineBasicBlock *SuccessMBB =
SDB->SPDescriptor.getSuccessMBB();
2037 SuccessMBB->
splice(SuccessMBB->
end(), ParentMBB, SplitPoint,
2043 SDB->visitSPDescriptorParent(
SDB->SPDescriptor, ParentMBB);
2046 CodeGenAndEmitDAG();
2049 MachineBasicBlock *FailureMBB =
SDB->SPDescriptor.getFailureMBB();
2050 if (FailureMBB->
empty()) {
2053 SDB->visitSPDescriptorFailure(
SDB->SPDescriptor);
2056 CodeGenAndEmitDAG();
2060 SDB->SPDescriptor.resetPerBBState();
2064 for (
auto &BTB :
SDB->SL->BitTestCases) {
2074 CodeGenAndEmitDAG();
2077 BranchProbability UnhandledProb = BTB.Prob;
2078 for (
unsigned j = 0, ej = BTB.Cases.size(); j != ej; ++j) {
2079 UnhandledProb -= BTB.Cases[
j].ExtraProb;
2093 MachineBasicBlock *NextMBB;
2094 if ((BTB.ContiguousRange || BTB.FallthroughUnreachable) && j + 2 == ej) {
2097 NextMBB = BTB.Cases[
j + 1].TargetBB;
2098 }
else if (j + 1 == ej) {
2100 NextMBB = BTB.Default;
2103 NextMBB = BTB.Cases[
j + 1].ThisBB;
2106 SDB->visitBitTestCase(BTB, NextMBB, UnhandledProb, BTB.Reg, BTB.Cases[j],
2111 CodeGenAndEmitDAG();
2113 if ((BTB.ContiguousRange || BTB.FallthroughUnreachable) && j + 2 == ej) {
2115 BTB.Cases.pop_back();
2121 for (
const std::pair<MachineInstr *, Register> &
P :
2123 MachineInstrBuilder
PHI(*
MF,
P.first);
2124 MachineBasicBlock *PHIBB =
PHI->getParent();
2126 "This is not a machine PHI node that we are updating!");
2129 if (PHIBB == BTB.Default) {
2130 PHI.addReg(
P.second).addMBB(BTB.Parent);
2131 if (!BTB.ContiguousRange) {
2132 PHI.addReg(
P.second).addMBB(BTB.Cases.back().ThisBB);
2136 for (
const SwitchCG::BitTestCase &
BT : BTB.Cases) {
2137 MachineBasicBlock* cBB =
BT.ThisBB;
2139 PHI.addReg(
P.second).addMBB(cBB);
2143 SDB->SL->BitTestCases.clear();
2148 for (
unsigned i = 0, e =
SDB->SL->JTCases.size(); i != e; ++i) {
2150 if (!
SDB->SL->JTCases[i].first.Emitted) {
2152 FuncInfo->MBB =
SDB->SL->JTCases[i].first.HeaderBB;
2155 SDB->visitJumpTableHeader(
SDB->SL->JTCases[i].second,
2159 CodeGenAndEmitDAG();
2166 SDB->visitJumpTable(
SDB->SL->JTCases[i].second);
2169 CodeGenAndEmitDAG();
2172 for (
unsigned pi = 0, pe =
FuncInfo->PHINodesToUpdate.size();
2174 MachineInstrBuilder
PHI(*
MF,
FuncInfo->PHINodesToUpdate[pi].first);
2177 "This is not a machine PHI node that we are updating!");
2179 if (PHIBB ==
SDB->SL->JTCases[i].second.Default)
2181 .addMBB(
SDB->SL->JTCases[i].first.HeaderBB);
2183 if (
FuncInfo->MBB->isSuccessor(PHIBB))
2187 SDB->SL->JTCases.clear();
2191 for (
unsigned i = 0, e =
SDB->SL->SwitchCases.size(); i != e; ++i) {
2199 if (
SDB->SL->SwitchCases[i].TrueBB !=
SDB->SL->SwitchCases[i].FalseBB)
2206 CodeGenAndEmitDAG();
2210 MachineBasicBlock *ThisBB =
FuncInfo->MBB;
2216 for (MachineBasicBlock *Succ : Succs) {
2227 for (
unsigned pn = 0; ; ++pn) {
2229 "Didn't find PHI entry!");
2230 if (
FuncInfo->PHINodesToUpdate[pn].first ==
PHI) {
2231 PHI.addReg(
FuncInfo->PHINodesToUpdate[pn].second).addMBB(ThisBB);
2239 SDB->SL->SwitchCases.clear();
2260 int64_t DesiredMaskS)
const {
2261 const APInt &ActualMask = RHS->getAPIntValue();
2264 const APInt &DesiredMask =
APInt(LHS.getValueSizeInBits(), DesiredMaskS,
2268 if (ActualMask == DesiredMask)
2277 APInt NeededMask = DesiredMask & ~ActualMask;
2278 if (
CurDAG->MaskedValueIsZero(LHS, NeededMask))
2292 int64_t DesiredMaskS)
const {
2293 const APInt &ActualMask = RHS->getAPIntValue();
2296 const APInt &DesiredMask =
APInt(LHS.getValueSizeInBits(), DesiredMaskS,
2300 if (ActualMask == DesiredMask)
2309 APInt NeededMask = DesiredMask & ~ActualMask;
2329 std::list<HandleSDNode> Handles;
2334 Handles.emplace_back(
2343 if (!Flags.isMemKind() && !Flags.isFuncKind()) {
2345 Handles.insert(Handles.end(),
Ops.begin() + i,
2346 Ops.begin() + i + Flags.getNumOperandRegisters() + 1);
2347 i += Flags.getNumOperandRegisters() + 1;
2349 assert(Flags.getNumOperandRegisters() == 1 &&
2350 "Memory operand with multiple values?");
2352 unsigned TiedToOperand;
2353 if (Flags.isUseOperandTiedToDef(TiedToOperand)) {
2357 for (; TiedToOperand; --TiedToOperand) {
2358 CurOp += Flags.getNumOperandRegisters() + 1;
2364 std::vector<SDValue> SelOps;
2366 Flags.getMemoryConstraintID();
2375 Flags.setMemConstraint(ConstraintID);
2376 Handles.emplace_back(
CurDAG->getTargetConstant(Flags,
DL, MVT::i32));
2383 if (e !=
Ops.size())
2384 Handles.emplace_back(
Ops.back());
2387 for (
auto &handle : Handles)
2388 Ops.push_back(handle.getValue());
2394 bool IgnoreChains) {
2403 Visited.
insert(ImmedUse);
2408 if ((
Op.getValueType() == MVT::Other && IgnoreChains) ||
N == Def)
2410 if (!Visited.
insert(
N).second)
2416 if (Root != ImmedUse) {
2420 if ((
Op.getValueType() == MVT::Other && IgnoreChains) ||
N == Def)
2422 if (!Visited.
insert(
N).second)
2437 return N.hasOneUse();
2444 bool IgnoreChains) {
2493 while (VT == MVT::Glue) {
2504 IgnoreChains =
false;
2510void SelectionDAGISel::Select_INLINEASM(
SDNode *
N) {
2513 std::vector<SDValue>
Ops(
N->op_begin(),
N->op_end());
2516 const EVT VTs[] = {MVT::Other, MVT::Glue};
2523void SelectionDAGISel::Select_READ_REGISTER(
SDNode *
Op) {
2528 EVT VT =
Op->getValueType(0);
2531 const MachineFunction &
MF =
CurDAG->getMachineFunction();
2539 "\" for llvm.read_register",
2540 Fn,
Op->getDebugLoc()));
2542 SDValue(
CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF, dl, VT), 0);
2546 CurDAG->getCopyFromReg(
Op->getOperand(0), dl,
Reg,
Op->getValueType(0));
2554void SelectionDAGISel::Select_WRITE_REGISTER(
SDNode *
Op) {
2559 EVT VT =
Op->getOperand(2).getValueType();
2562 const MachineFunction &
MF =
CurDAG->getMachineFunction();
2569 "\" for llvm.write_register",
2570 Fn,
Op->getDebugLoc()));
2574 CurDAG->getCopyToReg(
Op->getOperand(0), dl,
Reg,
Op->getOperand(2));
2582void SelectionDAGISel::Select_UNDEF(
SDNode *
N) {
2583 CurDAG->SelectNodeTo(
N, TargetOpcode::IMPLICIT_DEF,
N->getValueType(0));
2588void SelectionDAGISel::Select_FAKE_USE(
SDNode *
N) {
2589 CurDAG->SelectNodeTo(
N, TargetOpcode::FAKE_USE,
N->getValueType(0),
2590 N->getOperand(1),
N->getOperand(0));
2593void SelectionDAGISel::Select_RELOC_NONE(
SDNode *
N) {
2594 CurDAG->SelectNodeTo(
N, TargetOpcode::RELOC_NONE,
N->getValueType(0),
2595 N->getOperand(1),
N->getOperand(0));
2598void SelectionDAGISel::Select_FREEZE(
SDNode *
N) {
2602 CurDAG->SelectNodeTo(
N, TargetOpcode::COPY,
N->getValueType(0),
2606void SelectionDAGISel::Select_ARITH_FENCE(
SDNode *
N) {
2607 CurDAG->SelectNodeTo(
N, TargetOpcode::ARITH_FENCE,
N->getValueType(0),
2611void SelectionDAGISel::Select_MEMBARRIER(
SDNode *
N) {
2612 CurDAG->SelectNodeTo(
N, TargetOpcode::MEMBARRIER,
N->getValueType(0),
2616void SelectionDAGISel::Select_CONVERGENCECTRL_ANCHOR(
SDNode *
N) {
2617 CurDAG->SelectNodeTo(
N, TargetOpcode::CONVERGENCECTRL_ANCHOR,
2618 N->getValueType(0));
2621void SelectionDAGISel::Select_CONVERGENCECTRL_ENTRY(
SDNode *
N) {
2622 CurDAG->SelectNodeTo(
N, TargetOpcode::CONVERGENCECTRL_ENTRY,
2623 N->getValueType(0));
2626void SelectionDAGISel::Select_CONVERGENCECTRL_LOOP(
SDNode *
N) {
2627 CurDAG->SelectNodeTo(
N, TargetOpcode::CONVERGENCECTRL_LOOP,
2628 N->getValueType(0),
N->getOperand(0));
2633 SDNode *OpNode = OpVal.
getNode();
2641 CurDAG->getTargetConstant(StackMaps::ConstantOp,
DL, MVT::i64));
2645 Ops.push_back(OpVal);
2649void SelectionDAGISel::Select_STACKMAP(
SDNode *
N) {
2651 auto *It =
N->op_begin();
2660 assert(
ID.getValueType() == MVT::i64);
2666 Ops.push_back(Shad);
2669 for (; It !=
N->op_end(); It++)
2670 pushStackMapLiveVariable(
Ops, *It,
DL);
2672 Ops.push_back(Chain);
2673 Ops.push_back(InGlue);
2675 SDVTList NodeTys =
CurDAG->getVTList(MVT::Other, MVT::Glue);
2676 CurDAG->SelectNodeTo(
N, TargetOpcode::STACKMAP, NodeTys,
Ops);
2679void SelectionDAGISel::Select_PATCHPOINT(
SDNode *
N) {
2681 auto *It =
N->op_begin();
2686 std::optional<SDValue> Glue;
2687 if (It->getValueType() == MVT::Glue)
2693 assert(
ID.getValueType() == MVT::i64);
2699 Ops.push_back(Shad);
2702 Ops.push_back(*It++);
2707 Ops.push_back(NumArgs);
2710 Ops.push_back(*It++);
2714 Ops.push_back(*It++);
2717 for (; It !=
N->op_end(); It++)
2718 pushStackMapLiveVariable(
Ops, *It,
DL);
2721 Ops.push_back(RegMask);
2722 Ops.push_back(Chain);
2723 if (Glue.has_value())
2724 Ops.push_back(*Glue);
2726 SDVTList NodeTys =
N->getVTList();
2727 CurDAG->SelectNodeTo(
N, TargetOpcode::PATCHPOINT, NodeTys,
Ops);
2733 assert(Val >= 128 &&
"Not a VBR");
2739 NextBits = MatcherTable[Idx++];
2740 Val |= (NextBits&127) << Shift;
2742 }
while (NextBits & 128);
2753 NextBits = MatcherTable[Idx++];
2754 Val |= (NextBits & 127) << Shift;
2756 }
while (NextBits & 128);
2758 if (Shift < 64 && (NextBits & 0x40))
2768 unsigned SimpleVT = MatcherTable[MatcherIndex++];
2770 SimpleVT =
GetVBR(SimpleVT, MatcherTable, MatcherIndex);
2779 unsigned Index = MatcherTable[MatcherIndex++];
2783void SelectionDAGISel::Select_JUMP_TABLE_DEBUG_INFO(
SDNode *
N) {
2785 CurDAG->SelectNodeTo(
N, TargetOpcode::JUMP_TABLE_DEBUG_INFO, MVT::Glue,
2786 CurDAG->getTargetConstant(
N->getConstantOperandVal(1),
2787 dl, MVT::i64,
true));
2792void SelectionDAGISel::UpdateChains(
2799 if (!ChainNodesMatched.
empty()) {
2801 "Matched input chains but didn't produce a chain");
2804 for (
unsigned i = 0, e = ChainNodesMatched.
size(); i != e; ++i) {
2805 SDNode *ChainNode = ChainNodesMatched[i];
2812 "Deleted node left in chain");
2816 if (ChainNode == NodeToMatch && isMorphNodeTo)
2823 SelectionDAG::DAGNodeDeletedListener NDL(
2824 *
CurDAG, [&](SDNode *
N, SDNode *
E) {
2825 llvm::replace(ChainNodesMatched,
N,
static_cast<SDNode *
>(
nullptr));
2831 if (ChainNode != NodeToMatch && ChainNode->
use_empty() &&
2837 if (!NowDeadNodes.
empty())
2838 CurDAG->RemoveDeadNodes(NowDeadNodes);
2856 unsigned int Max = 8192;
2859 if (ChainNodesMatched.
size() == 1)
2860 return ChainNodesMatched[0]->getOperand(0);
2864 std::function<void(
const SDValue)> AddChains = [&](
const SDValue V) {
2865 if (V.getValueType() != MVT::Other)
2869 if (!Visited.
insert(V.getNode()).second)
2872 for (
const SDValue &
Op : V->op_values())
2878 for (
auto *
N : ChainNodesMatched) {
2883 while (!Worklist.
empty())
2887 if (InputChains.
size() == 0)
2894 for (
SDValue V : InputChains) {
2898 if (InputChains.
size() != 1 &&
2899 V->getValueType(V->getNumValues() - 1) == MVT::Glue &&
2900 InputGlue.
getNode() == V.getNode())
2905 for (
auto *
N : ChainNodesMatched)
2910 if (InputChains.
size() == 1)
2911 return InputChains[0];
2913 MVT::Other, InputChains);
2917SDNode *SelectionDAGISel::
2926 int OldGlueResultNo = -1, OldChainResultNo = -1;
2928 unsigned NTMNumResults =
Node->getNumValues();
2929 if (
Node->getValueType(NTMNumResults-1) == MVT::Glue) {
2930 OldGlueResultNo = NTMNumResults-1;
2931 if (NTMNumResults != 1 &&
2932 Node->getValueType(NTMNumResults-2) == MVT::Other)
2933 OldChainResultNo = NTMNumResults-2;
2934 }
else if (
Node->getValueType(NTMNumResults-1) == MVT::Other)
2935 OldChainResultNo = NTMNumResults-1;
2939 SDNode *Res =
CurDAG->MorphNodeTo(Node, ~TargetOpc, VTList,
Ops);
2953 static_cast<unsigned>(OldGlueResultNo) != ResNumResults - 1)
2955 SDValue(Res, ResNumResults - 1));
2961 if ((EmitNodeInfo &
OPFL_Chain) && OldChainResultNo != -1 &&
2962 static_cast<unsigned>(OldChainResultNo) != ResNumResults - 1)
2964 SDValue(Res, ResNumResults - 1));
2982 unsigned RecNo = MatcherTable[MatcherIndex++];
2983 assert(RecNo < RecordedNodes.size() &&
"Invalid CheckSame");
2984 return N == RecordedNodes[RecNo].first;
2992 if (ChildNo >=
N.getNumOperands())
2994 return ::CheckSame(MatcherTable, MatcherIndex,
N.getOperand(ChildNo),
3002 bool TwoBytePredNo =
3006 ? MatcherTable[MatcherIndex++]
3009 PredNo |= MatcherTable[MatcherIndex++] << 8;
3019 ? MatcherTable[MatcherIndex++]
3027 Opc |=
static_cast<uint16_t>(MatcherTable[MatcherIndex++]) << 8;
3028 return N->getOpcode() ==
Opc;
3035 if (
N.getValueType() == VT)
3045 if (ChildNo >=
N.getNumOperands())
3047 return ::CheckType(VT,
N.getOperand(ChildNo), TLI,
DL);
3059 if (2 >=
N.getNumOperands())
3061 return ::CheckCondCode(MatcherTable, MatcherIndex,
N.getOperand(2));
3077 int64_t Val =
GetSignedVBR(MatcherTable, MatcherIndex);
3080 return C &&
C->getAPIntValue().trySExtValue() == Val;
3086 if (ChildNo >=
N.getNumOperands())
3088 return ::CheckInteger(MatcherTable, MatcherIndex,
N.getOperand(ChildNo));
3094 int64_t Val = MatcherTable[MatcherIndex++];
3096 Val =
GetVBR(Val, MatcherTable, MatcherIndex);
3098 if (
N->getOpcode() !=
ISD::AND)
return false;
3107 int64_t Val = MatcherTable[MatcherIndex++];
3109 Val =
GetVBR(Val, MatcherTable, MatcherIndex);
3111 if (
N->getOpcode() !=
ISD::OR)
return false;
3127 unsigned Opcode = Table[Index++];
3193 unsigned Res = Table[Index++];
3295 unsigned NumRecordedNodes;
3298 unsigned NumMatchedMemRefs;
3301 SDValue InputChain, InputGlue;
3304 bool HasChainNodesMatched;
3313 SDNode **NodeToMatch;
3314 SmallVectorImpl<std::pair<SDValue, SDNode *>> &RecordedNodes;
3315 SmallVectorImpl<MatchScope> &MatchScopes;
3318 MatchStateUpdater(SelectionDAG &DAG, SDNode **NodeToMatch,
3319 SmallVectorImpl<std::pair<SDValue, SDNode *>> &RN,
3320 SmallVectorImpl<MatchScope> &MS)
3321 : SelectionDAG::DAGUpdateListener(DAG), NodeToMatch(NodeToMatch),
3322 RecordedNodes(
RN), MatchScopes(MS) {}
3324 void NodeDeleted(SDNode *
N, SDNode *
E)
override {
3330 if (!
E ||
E->isMachineOpcode())
3333 if (
N == *NodeToMatch)
3338 for (
auto &
I : RecordedNodes)
3339 if (
I.first.getNode() ==
N)
3342 for (
auto &
I : MatchScopes)
3343 for (
auto &J :
I.NodeStack)
3344 if (J.getNode() ==
N)
3353 unsigned TableSize) {
3390 CurDAG->RemoveDeadNode(NodeToMatch);
3394 Select_INLINEASM(NodeToMatch);
3397 Select_READ_REGISTER(NodeToMatch);
3400 Select_WRITE_REGISTER(NodeToMatch);
3404 Select_UNDEF(NodeToMatch);
3407 Select_FAKE_USE(NodeToMatch);
3410 Select_RELOC_NONE(NodeToMatch);
3413 Select_FREEZE(NodeToMatch);
3416 Select_ARITH_FENCE(NodeToMatch);
3419 Select_MEMBARRIER(NodeToMatch);
3422 Select_STACKMAP(NodeToMatch);
3425 Select_PATCHPOINT(NodeToMatch);
3428 Select_JUMP_TABLE_DEBUG_INFO(NodeToMatch);
3431 Select_CONVERGENCECTRL_ANCHOR(NodeToMatch);
3434 Select_CONVERGENCECTRL_ENTRY(NodeToMatch);
3437 Select_CONVERGENCECTRL_LOOP(NodeToMatch);
3464 SDValue InputChain, InputGlue, DeactivationSymbol;
3478 unsigned MatcherIndex = 0;
3480 if (!OpcodeOffset.empty()) {
3482 if (
N.getOpcode() < OpcodeOffset.size())
3483 MatcherIndex = OpcodeOffset[
N.getOpcode()];
3484 LLVM_DEBUG(
dbgs() <<
" Initial Opcode index to " << MatcherIndex <<
"\n");
3493 unsigned CaseSize = MatcherTable[Idx++];
3495 CaseSize =
GetVBR(CaseSize, MatcherTable, Idx);
3496 if (CaseSize == 0)
break;
3500 Opc |=
static_cast<uint16_t>(MatcherTable[Idx++]) << 8;
3501 if (
Opc >= OpcodeOffset.size())
3502 OpcodeOffset.resize((
Opc+1)*2);
3503 OpcodeOffset[
Opc] = Idx;
3508 if (
N.getOpcode() < OpcodeOffset.size())
3509 MatcherIndex = OpcodeOffset[
N.getOpcode()];
3513 assert(MatcherIndex < TableSize &&
"Invalid index");
3515 unsigned CurrentOpcodeIndex = MatcherIndex;
3529 unsigned NumToSkip = MatcherTable[MatcherIndex++];
3530 if (NumToSkip & 128)
3531 NumToSkip =
GetVBR(NumToSkip, MatcherTable, MatcherIndex);
3533 if (NumToSkip == 0) {
3538 FailIndex = MatcherIndex+NumToSkip;
3540 unsigned MatcherIndexOfPredicate = MatcherIndex;
3541 (void)MatcherIndexOfPredicate;
3548 Result, *
this, RecordedNodes);
3553 dbgs() <<
" Skipped scope entry (due to false predicate) at "
3554 <<
"index " << MatcherIndexOfPredicate <<
", continuing at "
3555 << FailIndex <<
"\n");
3556 ++NumDAGIselRetries;
3560 MatcherIndex = FailIndex;
3564 if (FailIndex == 0)
break;
3568 MatchScope NewEntry;
3569 NewEntry.FailIndex = FailIndex;
3570 NewEntry.NodeStack.append(NodeStack.
begin(), NodeStack.
end());
3571 NewEntry.NumRecordedNodes = RecordedNodes.
size();
3572 NewEntry.NumMatchedMemRefs = MatchedMemRefs.
size();
3573 NewEntry.InputChain = InputChain;
3574 NewEntry.InputGlue = InputGlue;
3575 NewEntry.HasChainNodesMatched = !ChainNodesMatched.
empty();
3581 SDNode *Parent =
nullptr;
3582 if (NodeStack.
size() > 1)
3583 Parent = NodeStack[NodeStack.
size()-2].getNode();
3593 if (ChildNo >=
N.getNumOperands())
3601 MatchedMemRefs.
push_back(MN->getMemOperand());
3611 if (
N->getNumOperands() != 0 &&
3612 N->getOperand(
N->getNumOperands()-1).getValueType() == MVT::Glue)
3613 InputGlue =
N->getOperand(
N->getNumOperands()-1);
3619 if (
N->getNumOperands() != 0 &&
3620 N->getOperand(
N->getNumOperands() - 1).getOpcode() ==
3622 DeactivationSymbol =
N->getOperand(
N->getNumOperands() - 1);
3626 unsigned ChildNo = MatcherTable[MatcherIndex++];
3627 if (ChildNo >=
N.getNumOperands())
3629 N =
N.getOperand(ChildNo);
3639 if (ChildNo >=
N.getNumOperands())
3641 N =
N.getOperand(ChildNo);
3657 assert(!NodeStack.
empty() &&
"Node stack imbalance!");
3658 N = NodeStack.
back();
3661 ? MatcherTable[MatcherIndex++]
3663 if (SiblingNo >=
N.getNumOperands())
3665 N =
N.getOperand(SiblingNo);
3672 assert(!NodeStack.
empty() &&
"Node stack imbalance!");
3673 N = NodeStack.
back();
3677 if (!
::CheckSame(MatcherTable, MatcherIndex,
N, RecordedNodes))
break;
3713 unsigned OpNum = MatcherTable[MatcherIndex++];
3716 for (
unsigned i = 0; i < OpNum; ++i)
3717 Operands.
push_back(RecordedNodes[MatcherTable[MatcherIndex++]].first);
3719 unsigned PredNo = MatcherTable[MatcherIndex++];
3734 ? MatcherTable[MatcherIndex++]
3736 unsigned RecNo = MatcherTable[MatcherIndex++];
3737 assert(RecNo < RecordedNodes.
size() &&
"Invalid CheckComplexPat");
3741 std::unique_ptr<MatchStateUpdater> MSU;
3743 MSU.reset(
new MatchStateUpdater(*
CurDAG, &NodeToMatch, RecordedNodes,
3747 RecordedNodes[RecNo].first, CPNum,
3753 if (!
::CheckOpcode(MatcherTable, MatcherIndex,
N.getNode()))
break;
3769 VT =
getHwModeVT(MatcherTable, MatcherIndex, *
this);
3782 unsigned Res = MatcherTable[MatcherIndex++];
3787 CurDAG->getDataLayout()))
3793 unsigned CurNodeOpcode =
N.getOpcode();
3794 unsigned SwitchStart = MatcherIndex-1; (void)SwitchStart;
3798 CaseSize = MatcherTable[MatcherIndex++];
3800 CaseSize =
GetVBR(CaseSize, MatcherTable, MatcherIndex);
3801 if (CaseSize == 0)
break;
3804 Opc |=
static_cast<uint16_t>(MatcherTable[MatcherIndex++]) << 8;
3807 if (CurNodeOpcode ==
Opc)
3811 MatcherIndex += CaseSize;
3815 if (CaseSize == 0)
break;
3818 LLVM_DEBUG(
dbgs() <<
" OpcodeSwitch from " << SwitchStart <<
" to "
3819 << MatcherIndex <<
"\n");
3824 MVT CurNodeVT =
N.getSimpleValueType();
3825 unsigned SwitchStart = MatcherIndex-1; (void)SwitchStart;
3829 CaseSize = MatcherTable[MatcherIndex++];
3831 CaseSize =
GetVBR(CaseSize, MatcherTable, MatcherIndex);
3832 if (CaseSize == 0)
break;
3835 if (CaseVT == MVT::iPTR)
3836 CaseVT =
TLI->getPointerTy(
CurDAG->getDataLayout());
3839 if (CurNodeVT == CaseVT)
3843 MatcherIndex += CaseSize;
3847 if (CaseSize == 0)
break;
3851 <<
"] from " << SwitchStart <<
" to " << MatcherIndex
3920 CurDAG->getDataLayout()))
3936 if (!
::CheckOrImm(MatcherTable, MatcherIndex,
N, *
this))
break;
3948 assert(NodeStack.
size() != 1 &&
"No parent node");
3951 bool HasMultipleUses =
false;
3952 for (
unsigned i = 1, e = NodeStack.
size()-1; i != e; ++i) {
3953 unsigned NNonChainUses = 0;
3954 SDNode *NS = NodeStack[i].getNode();
3956 if (U.getValueType() != MVT::Other)
3957 if (++NNonChainUses > 1) {
3958 HasMultipleUses =
true;
3961 if (HasMultipleUses)
break;
3963 if (HasMultipleUses)
break;
3997 VT =
getHwModeVT(MatcherTable, MatcherIndex, *
this);
4003 int64_t Val =
GetSignedVBR(MatcherTable, MatcherIndex);
4025 VT =
getHwModeVT(MatcherTable, MatcherIndex, *
this);
4031 unsigned RegNo = MatcherTable[MatcherIndex++];
4043 unsigned RegNo = MatcherTable[MatcherIndex++];
4044 RegNo |= MatcherTable[MatcherIndex++] << 8;
4060 ? MatcherTable[MatcherIndex++]
4062 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitConvertToTarget");
4063 SDValue Imm = RecordedNodes[RecNo].first;
4067 Imm =
CurDAG->getTargetConstant(*Val,
SDLoc(NodeToMatch),
4068 Imm.getValueType());
4071 Imm =
CurDAG->getTargetConstantFP(*Val,
SDLoc(NodeToMatch),
4072 Imm.getValueType());
4075 RecordedNodes.
emplace_back(Imm, RecordedNodes[RecNo].second);
4084 "EmitMergeInputChains should be the first chain producing node");
4086 "Should only have one EmitMergeInputChains per match");
4090 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitMergeInputChains");
4091 ChainNodesMatched.
push_back(RecordedNodes[RecNo].first.getNode());
4097 if (ChainNodesMatched.
back() != NodeToMatch &&
4098 !RecordedNodes[RecNo].first.hasOneUse()) {
4099 ChainNodesMatched.
clear();
4113 "EmitMergeInputChains should be the first chain producing node");
4120 unsigned NumChains = MatcherTable[MatcherIndex++];
4121 assert(NumChains != 0 &&
"Can't TF zero chains");
4124 "Should only have one EmitMergeInputChains per match");
4127 for (
unsigned i = 0; i != NumChains; ++i) {
4128 unsigned RecNo = MatcherTable[MatcherIndex++];
4129 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitMergeInputChains");
4130 ChainNodesMatched.
push_back(RecordedNodes[RecNo].first.getNode());
4136 if (ChainNodesMatched.
back() != NodeToMatch &&
4137 !RecordedNodes[RecNo].first.hasOneUse()) {
4138 ChainNodesMatched.
clear();
4144 if (ChainNodesMatched.
empty())
4169 : MatcherTable[MatcherIndex++];
4170 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitCopyToReg");
4171 unsigned DestPhysReg = MatcherTable[MatcherIndex++];
4173 DestPhysReg |= MatcherTable[MatcherIndex++] << 8;
4176 InputChain =
CurDAG->getEntryNode();
4178 InputChain =
CurDAG->getCopyToReg(InputChain,
SDLoc(NodeToMatch),
4179 DestPhysReg, RecordedNodes[RecNo].first,
4182 InputGlue = InputChain.
getValue(1);
4187 unsigned XFormNo = MatcherTable[MatcherIndex++];
4188 unsigned RecNo = MatcherTable[MatcherIndex++];
4189 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitNodeXForm");
4197 unsigned index = MatcherTable[MatcherIndex++];
4198 index |= (MatcherTable[MatcherIndex++] << 8);
4199 index |= (MatcherTable[MatcherIndex++] << 16);
4200 index |= (MatcherTable[MatcherIndex++] << 24);
4230 uint16_t TargetOpc = MatcherTable[MatcherIndex++];
4231 TargetOpc |=
static_cast<uint16_t>(MatcherTable[MatcherIndex++]) << 8;
4232 unsigned EmitNodeInfo;
4251 EmitNodeInfo = MatcherTable[MatcherIndex++];
4276 NumVTs = MatcherTable[MatcherIndex++];
4279 for (
unsigned i = 0; i != NumVTs; ++i) {
4281 if (VT == MVT::iPTR)
4282 VT =
TLI->getPointerTy(
CurDAG->getDataLayout());
4286 for (
unsigned i = 0; i != NumVTs; ++i) {
4288 if (VT == MVT::iPTR)
4289 VT =
TLI->getPointerTy(
CurDAG->getDataLayout()).SimpleTy;
4302 if (VTs.
size() == 1)
4303 VTList =
CurDAG->getVTList(VTs[0]);
4304 else if (VTs.
size() == 2)
4305 VTList =
CurDAG->getVTList(VTs[0], VTs[1]);
4307 VTList =
CurDAG->getVTList(VTs);
4310 unsigned NumOps = MatcherTable[MatcherIndex++];
4312 for (
unsigned i = 0; i !=
NumOps; ++i) {
4313 unsigned RecNo = MatcherTable[MatcherIndex++];
4315 RecNo =
GetVBR(RecNo, MatcherTable, MatcherIndex);
4317 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitNode");
4318 Ops.push_back(RecordedNodes[RecNo].first);
4325 FirstOpToCopy += (EmitNodeInfo &
OPFL_Chain) ? 1 : 0;
4327 "Invalid variadic node");
4330 for (
unsigned i = FirstOpToCopy, e = NodeToMatch->
getNumOperands();
4333 if (V.getValueType() == MVT::Glue)
break;
4340 Ops.push_back(InputChain);
4341 if (DeactivationSymbol.
getNode() !=
nullptr)
4342 Ops.push_back(DeactivationSymbol);
4344 Ops.push_back(InputGlue);
4350 bool MayRaiseFPException =
4357 bool IsMorphNodeTo =
4360 if (!IsMorphNodeTo) {
4363 Res =
CurDAG->getMachineNode(TargetOpc,
SDLoc(NodeToMatch),
4367 for (
unsigned i = 0, e = VTs.
size(); i != e; ++i) {
4368 if (VTs[i] == MVT::Other || VTs[i] == MVT::Glue)
break;
4373 "NodeToMatch was removed partway through selection");
4377 auto &Chain = ChainNodesMatched;
4379 "Chain node replaced during MorphNode");
4383 Ops, EmitNodeInfo));
4410 bool mayLoad =
MCID.mayLoad();
4411 bool mayStore =
MCID.mayStore();
4417 if (MMO->isLoad()) {
4420 }
else if (MMO->isStore()) {
4428 CurDAG->setNodeMemRefs(Res, FilteredMemRefs);
4432 if (!MatchedMemRefs.
empty() && Res->memoperands_empty())
4433 dbgs() <<
" Dropping mem operands\n";
4434 dbgs() <<
" " << (IsMorphNodeTo ?
"Morphed" :
"Created") <<
" node: ";
4439 if (IsMorphNodeTo) {
4441 UpdateChains(Res, InputChain, ChainNodesMatched,
true);
4451 unsigned NumResults = MatcherTable[MatcherIndex++];
4453 for (
unsigned i = 0; i != NumResults; ++i) {
4454 unsigned ResSlot = MatcherTable[MatcherIndex++];
4456 ResSlot =
GetVBR(ResSlot, MatcherTable, MatcherIndex);
4458 assert(ResSlot < RecordedNodes.
size() &&
"Invalid CompleteMatch");
4459 SDValue Res = RecordedNodes[ResSlot].first;
4461 assert(i < NodeToMatch->getNumValues() &&
4464 "Invalid number of results to complete!");
4470 "invalid replacement");
4475 UpdateChains(NodeToMatch, InputChain, ChainNodesMatched,
false);
4488 "Didn't replace all uses of the node?");
4489 CurDAG->RemoveDeadNode(NodeToMatch);
4498 LLVM_DEBUG(
dbgs() <<
" Match failed at index " << CurrentOpcodeIndex
4500 ++NumDAGIselRetries;
4502 if (MatchScopes.
empty()) {
4503 CannotYetSelect(NodeToMatch);
4509 MatchScope &LastScope = MatchScopes.
back();
4510 RecordedNodes.
resize(LastScope.NumRecordedNodes);
4511 NodeStack.
assign(LastScope.NodeStack.begin(), LastScope.NodeStack.end());
4512 N = NodeStack.
back();
4514 if (LastScope.NumMatchedMemRefs != MatchedMemRefs.
size())
4515 MatchedMemRefs.
resize(LastScope.NumMatchedMemRefs);
4516 MatcherIndex = LastScope.FailIndex;
4520 InputChain = LastScope.InputChain;
4521 InputGlue = LastScope.InputGlue;
4522 if (!LastScope.HasChainNodesMatched)
4523 ChainNodesMatched.
clear();
4528 unsigned NumToSkip = MatcherTable[MatcherIndex++];
4529 if (NumToSkip & 128)
4530 NumToSkip =
GetVBR(NumToSkip, MatcherTable, MatcherIndex);
4534 if (NumToSkip != 0) {
4535 LastScope.FailIndex = MatcherIndex+NumToSkip;
4549 if (
N->isMachineOpcode()) {
4551 return MCID.mayRaiseFPException();
4556 if (
N->isTargetOpcode()) {
4560 return N->isStrictFPOpcode();
4573 int32_t Off =
C->getSExtValue();
4576 return (Off >= 0) && (((
A.value() - 1) & Off) ==
unsigned(Off));
4581void SelectionDAGISel::CannotYetSelect(
SDNode *
N) {
4584 Msg <<
"Cannot select: ";
4586 Msg.enable_colors(
errs().has_colors());
4592 Msg <<
"\nIn function: " <<
MF->
getName();
4594 bool HasInputChain =
N->getOperand(0).getValueType() == MVT::Other;
4595 unsigned iid =
N->getConstantOperandVal(HasInputChain);
4596 if (iid < Intrinsic::num_intrinsics)
4599 Msg <<
"unknown intrinsic #" << iid;
unsigned const MachineRegisterInfo * MRI
for(const MachineOperand &MO :llvm::drop_begin(OldMI.operands(), Desc.getNumOperands()))
MachineInstrBuilder & UseMI
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
AMDGPU Register Bank Select
This file implements a class to represent arbitrary precision integral constant values and operations...
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
Expand Atomic instructions
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
#define LLVM_ATTRIBUTE_ALWAYS_INLINE
LLVM_ATTRIBUTE_ALWAYS_INLINE - On compilers where we have a directive to do so, mark a method "always...
This file contains the declarations for the subclasses of Constant, which represent the different fla...
This file defines the DenseMap class.
This file defines the FastISel class.
Module.h This file contains the declarations for the Module class.
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
PostRA Machine Instruction Scheduler
Register const TargetRegisterInfo * TRI
Promote Memory to Register
uint64_t IntrinsicInst * II
FunctionAnalysisManager FAM
This file builds on the ADT/GraphTraits.h file to build a generic graph post order iterator.
static Type * getValueType(Value *V)
Returns the type of the given value/instruction V.
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckInteger(const uint8_t *MatcherTable, unsigned &MatcherIndex, SDValue N)
static cl::opt< bool > ViewSUnitDAGs("view-sunit-dags", cl::Hidden, cl::desc("Pop up a window to show SUnit dags after they are processed"))
static cl::opt< bool > ViewDAGCombineLT("view-dag-combine-lt-dags", cl::Hidden, cl::desc("Pop up a window to show dags before the post " "legalize types dag combine pass"))
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckPatternPredicate(unsigned Opcode, const uint8_t *MatcherTable, unsigned &MatcherIndex, const SelectionDAGISel &SDISel)
CheckPatternPredicate - Implements OP_CheckPatternPredicate.
static cl::opt< bool > ViewISelDAGs("view-isel-dags", cl::Hidden, cl::desc("Pop up a window to show isel dags as they are selected"))
static cl::opt< bool > DumpSortedDAG("dump-sorted-dags", cl::Hidden, cl::desc("Print DAGs with sorted nodes in debug dump"), cl::init(false))
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckChild2CondCode(const uint8_t *MatcherTable, unsigned &MatcherIndex, SDValue N)
static void reportFastISelFailure(MachineFunction &MF, OptimizationRemarkEmitter &ORE, OptimizationRemarkMissed &R, bool ShouldAbort)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckCondCode(const uint8_t *MatcherTable, unsigned &MatcherIndex, SDValue N)
static cl::opt< bool > ViewDAGCombine2("view-dag-combine2-dags", cl::Hidden, cl::desc("Pop up a window to show dags before the second " "dag combine pass"))
static RegisterScheduler defaultListDAGScheduler("default", "Best scheduler for the target", createDefaultScheduler)
static LLVM_ATTRIBUTE_ALWAYS_INLINE MVT getHwModeVT(const uint8_t *MatcherTable, unsigned &MatcherIndex, const SelectionDAGISel &SDISel)
Decode a HwMode VT in MatcherTable by calling getValueTypeForHwMode.
static cl::opt< int > EnableFastISelAbort("fast-isel-abort", cl::Hidden, cl::desc("Enable abort calls when \"fast\" instruction selection " "fails to lower an instruction: 0 disable the abort, 1 will " "abort but for args, calls and terminators, 2 will also " "abort for argument lowering, and 3 will never fallback " "to SelectionDAG."))
static void mapWasmLandingPadIndex(MachineBasicBlock *MBB, const CatchPadInst *CPI)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckValueType(const uint8_t *MatcherTable, unsigned &MatcherIndex, SDValue N, const TargetLowering *TLI, const DataLayout &DL)
static void processSingleLocVars(FunctionLoweringInfo &FuncInfo, FunctionVarLocs const *FnVarLocs)
Collect single location variable information generated with assignment tracking.
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckChildInteger(const uint8_t *MatcherTable, unsigned &MatcherIndex, SDValue N, unsigned ChildNo)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckAndImm(const uint8_t *MatcherTable, unsigned &MatcherIndex, SDValue N, const SelectionDAGISel &SDISel)
static cl::opt< bool > UseMBPI("use-mbpi", cl::desc("use Machine Branch Probability Info"), cl::init(true), cl::Hidden)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckChildType(MVT::SimpleValueType VT, SDValue N, const TargetLowering *TLI, const DataLayout &DL, unsigned ChildNo)
static bool dontUseFastISelFor(const Function &Fn)
static bool findNonImmUse(SDNode *Root, SDNode *Def, SDNode *ImmedUse, bool IgnoreChains)
findNonImmUse - Return true if "Def" is a predecessor of "Root" via a path beyond "ImmedUse".
static cl::opt< bool > ViewDAGCombine1("view-dag-combine1-dags", cl::Hidden, cl::desc("Pop up a window to show dags before the first " "dag combine pass"))
static bool processIfEntryValueDbgDeclare(FunctionLoweringInfo &FuncInfo, const Value *Arg, DIExpression *Expr, DILocalVariable *Var, DebugLoc DbgLoc)
static cl::opt< bool > ViewSchedDAGs("view-sched-dags", cl::Hidden, cl::desc("Pop up a window to show sched dags as they are processed"))
static void processDbgDeclares(FunctionLoweringInfo &FuncInfo)
Collect llvm.dbg.declare information.
static LLVM_ATTRIBUTE_ALWAYS_INLINE uint64_t GetVBR(uint64_t Val, const uint8_t *MatcherTable, unsigned &Idx)
GetVBR - decode a vbr encoding whose top bit is set.
static void preserveFakeUses(BasicBlock::iterator Begin, BasicBlock::iterator End)
static SDValue HandleMergeInputChains(const SmallVectorImpl< SDNode * > &ChainNodesMatched, SDValue InputGlue, SelectionDAG *CurDAG)
HandleMergeInputChains - This implements the OPC_EmitMergeInputChains operation for when the pattern ...
static LLVM_ATTRIBUTE_ALWAYS_INLINE int64_t GetSignedVBR(const unsigned char *MatcherTable, unsigned &Idx)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckSame(const uint8_t *MatcherTable, unsigned &MatcherIndex, SDValue N, const SmallVectorImpl< std::pair< SDValue, SDNode * > > &RecordedNodes)
CheckSame - Implements OP_CheckSame.
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckType(MVT::SimpleValueType VT, SDValue N, const TargetLowering *TLI, const DataLayout &DL)
static bool hasExceptionPointerOrCodeUser(const CatchPadInst *CPI)
static cl::opt< bool > ViewLegalizeDAGs("view-legalize-dags", cl::Hidden, cl::desc("Pop up a window to show dags before legalize"))
static cl::opt< bool > ViewLegalizeTypesDAGs("view-legalize-types-dags", cl::Hidden, cl::desc("Pop up a window to show dags before legalize types"))
static cl::opt< RegisterScheduler::FunctionPassCtor, false, RegisterPassParser< RegisterScheduler > > ISHeuristic("pre-RA-sched", cl::init(&createDefaultScheduler), cl::Hidden, cl::desc("Instruction schedulers available (before register" " allocation):"))
ISHeuristic command line option for instruction schedulers.
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckNodePredicate(unsigned Opcode, const uint8_t *MatcherTable, unsigned &MatcherIndex, const SelectionDAGISel &SDISel, SDValue Op)
CheckNodePredicate - Implements OP_CheckNodePredicate.
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckOrImm(const uint8_t *MatcherTable, unsigned &MatcherIndex, SDValue N, const SelectionDAGISel &SDISel)
static bool maintainPGOProfile(const TargetMachine &TM, CodeGenOptLevel OptLevel)
static cl::opt< bool > EnableFastISelFallbackReport("fast-isel-report-on-fallback", cl::Hidden, cl::desc("Emit a diagnostic when \"fast\" instruction selection " "falls back to SelectionDAG."))
static bool processDbgDeclare(FunctionLoweringInfo &FuncInfo, const Value *Address, DIExpression *Expr, DILocalVariable *Var, DebugLoc DbgLoc)
static cl::opt< std::string > FilterDAGBasicBlockName("filter-view-dags", cl::Hidden, cl::desc("Only display the basic block whose name " "matches this for all view-*-dags options"))
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckChildSame(const uint8_t *MatcherTable, unsigned &MatcherIndex, SDValue N, const SmallVectorImpl< std::pair< SDValue, SDNode * > > &RecordedNodes, unsigned ChildNo)
CheckChildSame - Implements OP_CheckChildXSame.
static unsigned IsPredicateKnownToFail(const uint8_t *Table, unsigned Index, SDValue N, bool &Result, const SelectionDAGISel &SDISel, SmallVectorImpl< std::pair< SDValue, SDNode * > > &RecordedNodes)
IsPredicateKnownToFail - If we know how and can do so without pushing a scope, evaluate the current n...
static LLVM_ATTRIBUTE_ALWAYS_INLINE MVT::SimpleValueType getSimpleVT(const uint8_t *MatcherTable, unsigned &MatcherIndex)
getSimpleVT - Decode a value in MatcherTable, if it's a VBR encoded value, use GetVBR to decode it.
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckOpcode(const uint8_t *MatcherTable, unsigned &MatcherIndex, SDNode *N)
static bool isFoldedOrDeadInstruction(const Instruction *I, const FunctionLoweringInfo &FuncInfo)
isFoldedOrDeadInstruction - Return true if the specified instruction is side-effect free and is eithe...
This file defines the SmallPtrSet class.
This file defines the SmallVector class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
This file describes how to lower LLVM code to machine code.
A manager for alias analyses.
A wrapper pass to provide the legacy pass manager access to a suitably prepared AAResults object.
AAResults & getAAResults()
Class for arbitrary precision integers.
bool isSubsetOf(const APInt &RHS) const
This operation checks that all bits set in this APInt are also set in RHS.
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
Represent the analysis usage information of a pass.
AnalysisUsage & addRequired()
AnalysisUsage & addPreserved()
Add the specified Pass class to the set of analyses preserved by this pass.
This class represents an incoming formal argument to a Function.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
A function analysis which provides an AssumptionCache.
An immutable pass that tracks lazily created AssumptionCache objects.
LLVM Basic Block Representation.
unsigned getNumber() const
iterator_range< const_phi_iterator > phis() const
Returns a range that iterates over the phis in the basic block.
LLVM_ABI InstListType::const_iterator getFirstNonPHIIt() const
Returns an iterator to the first instruction in this block that is not a PHINode instruction.
InstListType::const_iterator const_iterator
InstListType::iterator iterator
Instruction iterators...
bool isEHPad() const
Return true if this basic block is an exception handling block.
LLVM_ABI const Instruction * getFirstMayFaultInst() const
Returns the first potential AsynchEH faulty instruction currently it checks for loads/stores (which m...
Analysis pass which computes BlockFrequencyInfo.
BlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate IR basic block frequen...
Analysis pass which computes BranchProbabilityInfo.
Legacy analysis pass which computes BranchProbabilityInfo.
This class represents a function call, abstracting a target machine's calling convention.
ConstantFP - Floating Point Values [float, double].
This is the shared class of boolean and integer constants.
LLVM_ABI bool isEntryValue() const
Check if the expression consists of exactly one entry value operand.
static LLVM_ABI DIExpression * append(const DIExpression *Expr, ArrayRef< uint64_t > Ops)
Append the opcodes Ops to DIExpr.
static LLVM_ABI DIExpression * prepend(const DIExpression *Expr, uint8_t Flags, int64_t Offset=0)
Prepend DIExpr with a deref and offset operation and optionally turn it into a stack value or/and an ...
A parsed version of the target data layout string in and methods for querying it.
Record of a variable value-assignment, aka a non instruction representation of the dbg....
iterator find(const_arg_type_t< KeyT > Val)
DenseMapIterator< KeyT, ValueT, KeyInfoT, BucketT > iterator
std::pair< iterator, bool > insert(const std::pair< KeyT, ValueT > &KV)
Diagnostic information for ISel fallback path.
void setLastLocalValue(MachineInstr *I)
Update the position of the last instruction emitted for materializing constants for use in the curren...
void handleDbgInfo(const Instruction *II)
Target-independent lowering of non-instruction debug info associated with this instruction.
bool tryToFoldLoad(const LoadInst *LI, const Instruction *FoldInst)
We're checking to see if we can fold LI into FoldInst.
void removeDeadCode(MachineBasicBlock::iterator I, MachineBasicBlock::iterator E)
Remove all dead instructions between the I and E.
void startNewBlock()
Set the current block to which generated machine instructions will be appended.
bool selectInstruction(const Instruction *I)
Do "fast" instruction selection for the given LLVM IR instruction and append the generated machine in...
void finishBasicBlock()
Flush the local value map.
void recomputeInsertPt()
Reset InsertPt to prepare for inserting instructions into the current block.
bool lowerArguments()
Do "fast" instruction selection for function arguments and append the machine instructions to the cur...
unsigned arg_size() const
arg_size - Return the number of funcletpad arguments.
Value * getArgOperand(unsigned i) const
getArgOperand/setArgOperand - Return/set the i-th funcletpad argument.
FunctionLoweringInfo - This contains information that is global to a function that is used when lower...
SmallPtrSet< const DbgVariableRecord *, 8 > PreprocessedDVRDeclares
Collection of dbg_declare instructions handled after argument lowering and before ISel proper.
DenseMap< const AllocaInst *, int > StaticAllocaMap
StaticAllocaMap - Keep track of frame indices for fixed sized allocas in the entry block.
int getArgumentFrameIndex(const Argument *A)
getArgumentFrameIndex - Get frame index for the byval argument.
bool isExportedInst(const Value *V) const
isExportedInst - Return true if the specified value is an instruction exported from its block.
DenseMap< const Value *, Register > ValueMap
ValueMap - Since we emit code for the function a basic block at a time, we must remember which virtua...
MachineRegisterInfo * RegInfo
bool skipFunction(const Function &F) const
Optional passes call this function to check whether the pass should be skipped.
Data structure describing the variable locations in a function.
const VarLocInfo * single_locs_begin() const
DILocalVariable * getDILocalVariable(const VarLocInfo *Loc) const
Return the DILocalVariable for the location definition represented by ID.
const VarLocInfo * single_locs_end() const
One past the last single-location variable location definition.
const BasicBlock & getEntryBlock() const
FunctionType * getFunctionType() const
Returns the FunctionType for me.
unsigned getMaxBlockNumber() const
Return a value larger than the largest block number.
iterator_range< arg_iterator > args()
DISubprogram * getSubprogram() const
Get the attached subprogram.
bool hasMinSize() const
Optimize this function for minimum size (-Oz).
bool hasGC() const
hasGC/getGC/setGC/clearGC - The name of the garbage collection algorithm to use during code generatio...
bool hasOptNone() const
Do not optimize this function (-O0).
LLVMContext & getContext() const
getContext - Return a reference to the LLVMContext associated with this function.
An analysis pass which caches information about the Function.
An analysis pass which caches information about the entire Module.
Module * getParent()
Get the module that this global value is contained inside of...
This class is used to form a handle around another node that is persistent and is updated across invo...
const DebugLoc & getDebugLoc() const
Return the debug location for this node as a DebugLoc.
bool isTerminator() const
A wrapper class for inspecting calls to intrinsic functions.
LLVM_ABI void diagnose(const DiagnosticInfo &DI)
Report a message to the currently installed diagnostic handler.
This is an alternative analysis pass to BlockFrequencyInfoWrapperPass.
static void getLazyBFIAnalysisUsage(AnalysisUsage &AU)
Helper for client passes to set up the analysis usage on behalf of this pass.
Record a mapping from subtarget to LibcallLoweringInfo.
const LibcallLoweringInfo & getLibcallLowering(const TargetSubtargetInfo &Subtarget) const
Describe properties that are true of each instruction in the target description file.
virtual unsigned getHwMode(enum HwModeType type=HwMode_Default) const
HwMode ID corresponding to the 'type' parameter is retrieved from the HwMode bit set of the current s...
const MDNode * getMD() const
const MDOperand & getOperand(unsigned I) const
LLVM_ABI StringRef getString() const
LLVM_ABI instr_iterator insert(instr_iterator I, MachineInstr *M)
Insert MI into the instruction list before I, possibly inside a bundle.
const BasicBlock * getBasicBlock() const
Return the LLVM basic block that this instance corresponded to originally.
LLVM_ABI iterator getFirstNonPHI()
Returns a pointer to the first instruction in this block that is not a PHINode instruction.
instr_iterator instr_end()
void addLiveIn(MCRegister PhysReg, LaneBitmask LaneMask=LaneBitmask::getAll())
Adds the specified register as a live in.
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
iterator insertAfter(iterator I, MachineInstr *MI)
Insert MI into the instruction list after I.
LLVM_ABI bool isSuccessor(const MachineBasicBlock *MBB) const
Return true if the specified MBB is a successor of this block.
void splice(iterator Where, MachineBasicBlock *Other, iterator From)
Take an instruction from MBB 'Other' at the position From, and insert it into this MBB right before '...
MachineInstrBundleIterator< MachineInstr > iterator
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
bool hasCalls() const
Return true if the current function has any function calls.
Align getObjectAlign(int ObjectIdx) const
Return the alignment of the specified stack object.
MachineFunctionPass - This class adapts the FunctionPass interface to allow convenient creation of pa...
MachineFunctionPass(char &ID)
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
bool useDebugInstrRef() const
Returns true if the function's variable locations are tracked with instruction referencing.
void setWasmLandingPadIndex(const MachineBasicBlock *LPad, unsigned Index)
Map the landing pad to its index. Used for Wasm exception handling.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
StringRef getName() const
getName - Return the name of the corresponding LLVM function.
void setUseDebugInstrRef(bool UseInstrRef)
Set whether this function will use instruction referencing or not.
const DataLayout & getDataLayout() const
Return the DataLayout attached to the Module associated to this MF.
Function & getFunction()
Return the LLVM function that this machine code represents.
bool shouldUseDebugInstrRef() const
Determine whether, in the current machine configuration, we should use instruction referencing or not...
const MachineFunctionProperties & getProperties() const
Get the function properties.
void setVariableDbgInfo(const DILocalVariable *Var, const DIExpression *Expr, int Slot, const DILocation *Loc)
Collect information used to emit debugging information of a variable in a stack slot.
const MachineInstrBuilder & addSym(MCSymbol *Sym, unsigned char TargetFlags=0) const
const MachineInstrBuilder & addReg(Register RegNo, unsigned Flags=0, unsigned SubReg=0) const
Add a new virtual register operand.
Representation of each machine instruction.
bool isTerminator(QueryType Type=AnyInBundle) const
Returns true if this instruction part of the terminator for a basic block.
const MachineOperand & getOperand(unsigned i) const
A description of a memory reference used in the backend.
An analysis that produces MachineModuleInfo for a module.
This class contains meta information specific to a module.
Register getReg() const
getReg - Returns the register number.
MachinePassRegistry - Track the registration of machine passes.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
ArrayRef< std::pair< MCRegister, Register > > liveins() const
An SDNode that represents everything that will be needed to construct a MachineInstr.
Metadata * getModuleFlag(StringRef Key) const
Return the corresponding value if Key appears in module flags, otherwise return null.
This class is used by SelectionDAGISel to temporarily override the optimization level on a per-functi...
OptLevelChanger(SelectionDAGISel &ISel, CodeGenOptLevel NewOptLevel)
static LLVM_ABI PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
AnalysisType & getAnalysis() const
getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information ...
AnalysisType * getAnalysisIfAvailable() const
getAnalysisIfAvailable<AnalysisType>() - Subclasses use this function to get analysis information tha...
A set of analyses that are preserved following a run of a transformation pass.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
An analysis pass based on the new PM to deliver ProfileSummaryInfo.
An analysis pass based on legacy pass manager to deliver ProfileSummaryInfo.
RegisterPassParser class - Handle the addition of new machine passes.
ScheduleDAGSDNodes *(*)(SelectionDAGISel *, CodeGenOptLevel) FunctionPassCtor
static LLVM_ABI MachinePassRegistry< FunctionPassCtor > Registry
RegisterScheduler class - Track the registration of instruction schedulers.
Wrapper class representing virtual and physical registers.
constexpr bool isVirtual() const
Return true if the specified register number is in the virtual register namespace.
Wrapper class for IR location info (IR ordering and DebugLoc) to be passed into SDNode creation funct...
Represents one node in the SelectionDAG.
bool isMachineOpcode() const
Test if this node has a post-isel opcode, directly corresponding to a MachineInstr opcode.
unsigned getOpcode() const
Return the SelectionDAG opcode value for this node.
SDNode * getGluedUser() const
If this node has a glue value with a user, return the user (there is at most one).
LLVM_ABI bool isOnlyUserOf(const SDNode *N) const
Return true if this node is the only use of N.
iterator_range< value_op_iterator > op_values() const
iterator_range< use_iterator > uses()
void setNodeId(int Id)
Set unique node id.
static bool hasPredecessorHelper(const SDNode *N, SmallPtrSetImpl< const SDNode * > &Visited, SmallVectorImpl< const SDNode * > &Worklist, unsigned int MaxSteps=0, bool TopologicalPrune=false)
Returns true if N is a predecessor of any node in Worklist.
uint64_t getAsZExtVal() const
Helper method returns the zero-extended integer value of a ConstantSDNode.
bool use_empty() const
Return true if there are no uses of this node.
unsigned getNumValues() const
Return the number of values defined/returned by this operator.
unsigned getNumOperands() const
Return the number of values used by this operation.
const SDValue & getOperand(unsigned Num) const
EVT getValueType(unsigned ResNo) const
Return the type of a specified result.
Represents a use of a SDNode.
Unlike LLVM values, Selection DAG nodes may return multiple values as the result of a computation.
SDNode * getNode() const
get the SDNode which holds the desired result
SDValue getValue(unsigned R) const
EVT getValueType() const
Return the ValueType of the referenced return value.
TypeSize getValueSizeInBits() const
Returns the size of the value in bits.
ScheduleDAGSDNodes - A ScheduleDAG for scheduling SDNode-based DAGs.
SelectionDAGBuilder - This is the common target-independent lowering implementation that is parameter...
bool runOnMachineFunction(MachineFunction &MF) override
runOnMachineFunction - This method must be overloaded to perform the desired machine code transformat...
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
SelectionDAGISelLegacy(char &ID, std::unique_ptr< SelectionDAGISel > S)
PreservedAnalyses run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
SelectionDAGISel - This is the common base class used for SelectionDAG-based pattern-matching instruc...
std::optional< BatchAAResults > BatchAA
std::unique_ptr< FunctionLoweringInfo > FuncInfo
SmallPtrSet< const Instruction *, 4 > ElidedArgCopyInstrs
virtual bool SelectInlineAsmMemoryOperand(const SDValue &Op, InlineAsm::ConstraintCode ConstraintID, std::vector< SDValue > &OutOps)
SelectInlineAsmMemoryOperand - Select the specified address as a target addressing mode,...
bool CheckOrMask(SDValue LHS, ConstantSDNode *RHS, int64_t DesiredMaskS) const
CheckOrMask - The isel is trying to match something like (or X, 255).
void initializeAnalysisResults(MachineFunctionAnalysisManager &MFAM)
const TargetTransformInfo * TTI
virtual bool CheckNodePredicate(SDValue Op, unsigned PredNo) const
CheckNodePredicate - This function is generated by tblgen in the target.
virtual bool CheckNodePredicateWithOperands(SDValue Op, unsigned PredNo, ArrayRef< SDValue > Operands) const
CheckNodePredicateWithOperands - This function is generated by tblgen in the target.
const TargetLowering * TLI
virtual void PostprocessISelDAG()
PostprocessISelDAG() - This hook allows the target to hack on the graph right after selection.
std::unique_ptr< OptimizationRemarkEmitter > ORE
Current optimization remark emitter.
MachineRegisterInfo * RegInfo
unsigned DAGSize
DAGSize - Size of DAG being instruction selected.
@ OPC_MorphNodeTo2GlueOutput
@ OPC_CheckPatternPredicate5
@ OPC_EmitCopyToRegTwoByte
@ OPC_MorphNodeTo2GlueInput
@ OPC_CheckChild2CondCode
@ OPC_CheckChild2TypeByHwMode
@ OPC_CheckPatternPredicateTwoByte
@ OPC_CheckPatternPredicate1
@ OPC_CheckChild4TypeByHwMode
@ OPC_MorphNodeTo1GlueOutput
@ OPC_CaptureDeactivationSymbol
@ OPC_EmitMergeInputChains1_1
@ OPC_CheckPatternPredicate2
@ OPC_EmitConvertToTarget2
@ OPC_EmitConvertToTarget0
@ OPC_CheckPatternPredicate4
@ OPC_EmitConvertToTarget1
@ OPC_CheckPatternPredicate
@ OPC_CheckPatternPredicate6
@ OPC_CheckPatternPredicate7
@ OPC_CheckChild5TypeByHwMode
@ OPC_EmitMergeInputChains
@ OPC_EmitMergeInputChains1_0
@ OPC_CheckFoldableChainNode
@ OPC_CheckChild6TypeByHwMode
@ OPC_EmitConvertToTarget3
@ OPC_CheckChild7TypeByHwMode
@ OPC_EmitRegisterByHwMode
@ OPC_CheckPredicateWithOperands
@ OPC_EmitConvertToTarget4
@ OPC_EmitIntegerByHwMode
@ OPC_CheckChild3TypeByHwMode
@ OPC_CheckTypeResByHwMode
@ OPC_EmitConvertToTarget7
@ OPC_EmitMergeInputChains1_2
@ OPC_EmitConvertToTarget5
@ OPC_MorphNodeToByHwMode
@ OPC_CheckPatternPredicate0
@ OPC_EmitRegisterByHwMode2
@ OPC_MorphNodeTo1GlueInput
@ OPC_CheckChild0TypeByHwMode
@ OPC_CheckChild1TypeByHwMode
@ OPC_CheckPatternPredicate3
@ OPC_EmitConvertToTarget
@ OPC_EmitConvertToTarget6
bool isOrEquivalentToAdd(const SDNode *N) const
virtual bool CheckComplexPattern(SDNode *Root, SDNode *Parent, SDValue N, unsigned PatternNo, SmallVectorImpl< std::pair< SDValue, SDNode * > > &Result)
virtual bool CheckPatternPredicate(unsigned PredNo) const
CheckPatternPredicate - This function is generated by tblgen in the target.
static int getNumFixedFromVariadicInfo(unsigned Flags)
getNumFixedFromVariadicInfo - Transform an EmitNode flags word into the number of fixed arity values ...
const TargetLibraryInfo * LibInfo
static int getUninvalidatedNodeId(SDNode *N)
const TargetInstrInfo * TII
std::unique_ptr< SwiftErrorValueTracking > SwiftError
static void EnforceNodeIdInvariant(SDNode *N)
void SelectCodeCommon(SDNode *NodeToMatch, const uint8_t *MatcherTable, unsigned TableSize)
void ReplaceUses(SDValue F, SDValue T)
ReplaceUses - replace all uses of the old node F with the use of the new node T.
virtual bool IsProfitableToFold(SDValue N, SDNode *U, SDNode *Root) const
IsProfitableToFold - Returns true if it's profitable to fold the specific operand node N of U during ...
virtual SDValue RunSDNodeXForm(SDValue V, unsigned XFormNo)
virtual MVT getValueTypeForHwMode(unsigned Index) const
bool MatchFilterFuncName
True if the function currently processing is in the function printing list (i.e.
void SelectInlineAsmMemoryOperands(std::vector< SDValue > &Ops, const SDLoc &DL)
SelectInlineAsmMemoryOperands - Calls to this are automatically generated by tblgen.
static bool IsLegalToFold(SDValue N, SDNode *U, SDNode *Root, CodeGenOptLevel OptLevel, bool IgnoreChains=false)
IsLegalToFold - Returns true if the specific operand node N of U can be folded during instruction sel...
virtual bool ComplexPatternFuncMutatesDAG() const
Return true if complex patterns for this target can mutate the DAG.
virtual void PreprocessISelDAG()
PreprocessISelDAG - This hook allows targets to hack on the graph before instruction selection starts...
BatchAAResults * getBatchAA() const
Returns a (possibly null) pointer to the current BatchAAResults.
bool CheckAndMask(SDValue LHS, ConstantSDNode *RHS, int64_t DesiredMaskS) const
CheckAndMask - The isel is trying to match something like (and X, 255).
virtual ~SelectionDAGISel()
virtual StringRef getPatternForIndex(unsigned index)
getPatternForIndex - Patterns selected by tablegen during ISEL
bool mayRaiseFPException(SDNode *Node) const
Return whether the node may raise an FP exception.
std::unique_ptr< SelectionDAGBuilder > SDB
void ReplaceNode(SDNode *F, SDNode *T)
Replace all uses of F with T, then remove F from the DAG.
const LibcallLoweringInfo * LibcallLowering
SelectionDAGISel(TargetMachine &tm, CodeGenOptLevel OL=CodeGenOptLevel::Default)
virtual bool runOnMachineFunction(MachineFunction &mf)
static void InvalidateNodeId(SDNode *N)
virtual StringRef getIncludePathForIndex(unsigned index)
getIncludePathForIndex - get the td source location of pattern instantiation
Targets can subclass this to parameterize the SelectionDAG lowering and instruction selection process...
virtual bool mayRaiseFPException(unsigned Opcode) const
Returns true if a node with the given target-specific opcode may raise a floating-point exception.
This is used to represent a portion of an LLVM function in a low-level Data Dependence DAG representa...
const SDValue & getRoot() const
Return the root tag of the SelectionDAG.
allnodes_const_iterator allnodes_begin() const
const DataLayout & getDataLayout() const
LLVM_ABI void RemoveDeadNode(SDNode *N)
Remove the specified node from the system.
LLVM_ABI SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, ArrayRef< SDUse > Ops)
Gets or creates the specified node.
LLVM_ABI unsigned AssignTopologicalOrder()
Topological-sort the AllNodes list and a assign a unique node id for each node in the DAG based on th...
SDValue getEntryNode() const
Return the token chain corresponding to the entry of the function.
ilist< SDNode >::iterator allnodes_iterator
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void assign(size_type NumElts, ValueParamT Elt)
reference emplace_back(ArgTypes &&... Args)
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
constexpr const char * data() const
data - Get a pointer to the start of the string (which may not be null terminated).
Analysis pass providing the TargetTransformInfo.
Analysis pass providing the TargetLibraryInfo.
MachineBasicBlock * emitPatchPoint(MachineInstr &MI, MachineBasicBlock *MBB) const
Replace/modify any TargetFrameIndex operands with a targte-dependent sequence of memory operands that...
Sched::Preference getSchedulingPreference() const
Return target scheduling preference.
virtual MVT getPointerTy(const DataLayout &DL, uint32_t AS=0) const
Return the pointer type for the given address space, defaults to the pointer type from the data layou...
This class defines information used to lower LLVM code to legal SelectionDAG operators that the targe...
virtual void AdjustInstrPostInstrSelection(MachineInstr &MI, SDNode *Node) const
This method should be implemented by targets that mark instructions with the 'hasPostISelHook' flag.
virtual MachineBasicBlock * EmitInstrWithCustomInserter(MachineInstr &MI, MachineBasicBlock *MBB) const
This method should be implemented by targets that mark instructions with the 'usesCustomInserter' fla...
Primary interface to the complete machine description for the target machine.
const std::optional< PGOOptions > & getPGOOption() const
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
TargetSubtargetInfo - Generic base class for all target subtargets.
virtual const TargetInstrInfo * getInstrInfo() const
virtual const TargetLowering * getTargetLowering() const
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
bool isTokenTy() const
Return true if this is 'token'.
bool isVoidTy() const
Return true if this is 'void'.
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
bool hasOneUse() const
Return true if there is exactly one use of this value.
iterator_range< user_iterator > users()
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
self_iterator getIterator()
A raw_ostream that writes to an std::string.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
@ C
The default llvm calling convention, compatible with C.
LLVM_ABI bool isConstantSplatVectorAllOnes(const SDNode *N, bool BuildVectorOnly=false)
Return true if the specified node is a BUILD_VECTOR or SPLAT_VECTOR where all of the elements are ~0 ...
@ CONVERGENCECTRL_ANCHOR
The llvm.experimental.convergence.* intrinsics.
@ MDNODE_SDNODE
MDNODE_SDNODE - This is a node that holdes an MDNode*, which is used to reference metadata in the IR.
@ STRICT_FSETCC
STRICT_FSETCC/STRICT_FSETCCS - Constrained versions of SETCC, used for floating-point operands only.
@ DELETED_NODE
DELETED_NODE - This is an illegal value that is used to catch errors.
@ POISON
POISON - A poison node.
@ JUMP_TABLE_DEBUG_INFO
JUMP_TABLE_DEBUG_INFO - Jumptable debug info.
@ DEACTIVATION_SYMBOL
Untyped node storing deactivation symbol reference (DeactivationSymbolSDNode).
@ INTRINSIC_VOID
OUTCHAIN = INTRINSIC_VOID(INCHAIN, INTRINSICID, arg1, arg2, ...) This node represents a target intrin...
@ MEMBARRIER
MEMBARRIER - Compiler barrier only; generate a no-op.
@ FAKE_USE
FAKE_USE represents a use of the operand but does not do anything.
@ EH_LABEL
EH_LABEL - Represents a label in mid basic block used to track locations needed for debug and excepti...
@ ANNOTATION_LABEL
ANNOTATION_LABEL - Represents a mid basic block label used by annotations.
@ UNDEF
UNDEF - An undefined node.
@ AssertAlign
AssertAlign - These nodes record if a register contains a value that has a known alignment and the tr...
@ BasicBlock
Various leaf nodes.
@ CopyFromReg
CopyFromReg - This node indicates that the input value is a virtual or physical register that is defi...
@ TargetGlobalAddress
TargetGlobalAddress - Like GlobalAddress, but the DAG does no folding or anything else with this node...
@ ARITH_FENCE
ARITH_FENCE - This corresponds to a arithmetic fence intrinsic.
@ AssertNoFPClass
AssertNoFPClass - These nodes record if a register contains a float value that is known to be not som...
@ EntryToken
EntryToken - This is the marker used to indicate the start of a region.
@ READ_REGISTER
READ_REGISTER, WRITE_REGISTER - This node represents llvm.register on the DAG, which implements the n...
@ CopyToReg
CopyToReg - This node has three operands: a chain, a register number to set to this value,...
@ PATCHPOINT
The llvm.experimental.patchpoint.
@ LIFETIME_START
This corresponds to the llvm.lifetime.
@ STRICT_SINT_TO_FP
STRICT_[US]INT_TO_FP - Convert a signed or unsigned integer to a floating point value.
@ HANDLENODE
HANDLENODE node - Used as a handle for various purposes.
@ INLINEASM_BR
INLINEASM_BR - Branching version of inline asm. Used by asm-goto.
@ TargetConstant
TargetConstant* - Like Constant*, but the DAG does not do any folding, simplification,...
@ RELOC_NONE
Issue a no-op relocation against a given symbol at the current location.
@ AND
Bitwise operators - logical and, logical or, logical xor.
@ INTRINSIC_WO_CHAIN
RESULT = INTRINSIC_WO_CHAIN(INTRINSICID, arg1, arg2, ...) This node represents a target intrinsic fun...
@ PSEUDO_PROBE
Pseudo probe for AutoFDO, as a place holder in a basic block to improve the sample counts quality.
@ STACKMAP
The llvm.experimental.stackmap intrinsic.
@ FREEZE
FREEZE - FREEZE(VAL) returns an arbitrary value if VAL is UNDEF (or is evaluated to UNDEF),...
@ TokenFactor
TokenFactor - This node takes multiple tokens as input and produces a single token result.
@ INLINEASM
INLINEASM - Represents an inline asm block.
@ AssertSext
AssertSext, AssertZext - These nodes record if a register contains a value that has already been zero...
@ INTRINSIC_W_CHAIN
RESULT,OUTCHAIN = INTRINSIC_W_CHAIN(INCHAIN, INTRINSICID, arg1, ...) This node represents a target in...
LLVM_ABI bool isConstantSplatVectorAllZeros(const SDNode *N, bool BuildVectorOnly=false)
Return true if the specified node is a BUILD_VECTOR or SPLAT_VECTOR where all of the elements are 0 o...
CondCode
ISD::CondCode enum - These are ordered carefully to make the bitfields below work out,...
LLVM_ABI StringRef getBaseName(ID id)
Return the LLVM name for an intrinsic, without encoded types for overloading, such as "llvm....
@ Kill
The last use of a register.
initializer< Ty > init(const Ty &Val)
DiagnosticInfoOptimizationBase::Argument NV
NodeAddr< NodeBase * > Node
friend class Instruction
Iterator for Instructions in a `BasicBlock.
This is an optimization pass for GlobalISel generic memory operations.
GenericUniformityInfo< SSAContext > UniformityInfo
LLVM_ABI ScheduleDAGSDNodes * createDefaultScheduler(SelectionDAGISel *IS, CodeGenOptLevel OptLevel)
createDefaultScheduler - This creates an instruction scheduler appropriate for the target.
OuterAnalysisManagerProxy< ModuleAnalysisManager, MachineFunction > ModuleAnalysisManagerMachineFunctionProxy
Provide the ModuleAnalysisManager to Function proxy.
bool succ_empty(const Instruction *I)
LLVM_ABI ScheduleDAGSDNodes * createBURRListDAGScheduler(SelectionDAGISel *IS, CodeGenOptLevel OptLevel)
createBURRListDAGScheduler - This creates a bottom up register usage reduction list scheduler.
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
LLVM_ABI ScheduleDAGSDNodes * createHybridListDAGScheduler(SelectionDAGISel *IS, CodeGenOptLevel)
createHybridListDAGScheduler - This creates a bottom up register pressure aware list scheduler that m...
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
MachineBasicBlock::iterator findSplitPointForStackProtector(MachineBasicBlock *BB, const TargetInstrInfo &TII)
Find the split point at which to splice the end of BB into its success stack protector check machine ...
LLVM_ABI bool TimePassesIsEnabled
If the user specifies the -time-passes argument on an LLVM tool command line then the value of this b...
LLVM_ABI LLT getLLTForMVT(MVT Ty)
Get a rough equivalent of an LLT for a given MVT.
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
LLVM_ABI ScheduleDAGSDNodes * createFastDAGScheduler(SelectionDAGISel *IS, CodeGenOptLevel OptLevel)
createFastDAGScheduler - This creates a "fast" scheduler.
LLVM_ABI PreservedAnalyses getMachineFunctionPassPreservedAnalyses()
Returns the minimum set of Analyses that all machine function passes must preserve.
void erase(Container &C, ValueType V)
Wrapper function to remove a value from a container:
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
LLVM_ABI ScheduleDAGSDNodes * createDAGLinearizer(SelectionDAGISel *IS, CodeGenOptLevel OptLevel)
createDAGLinearizer - This creates a "no-scheduling" scheduler which linearize the DAG using topologi...
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
bool isFunctionInPrintList(StringRef FunctionName)
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
LLVM_ABI EHPersonality classifyEHPersonality(const Value *Pers)
See if the given exception handling personality function is one that we understand.
CodeGenOptLevel
Code generation optimization level.
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
bool isFuncletEHPersonality(EHPersonality Pers)
Returns true if this is a personality function that invokes handler funclets (which must return to it...
LLVM_ABI ScheduleDAGSDNodes * createSourceListDAGScheduler(SelectionDAGISel *IS, CodeGenOptLevel OptLevel)
createSourceListDAGScheduler - This creates a bottom up list scheduler that schedules nodes in source...
LLVM_ABI bool isAssignmentTrackingEnabled(const Module &M)
Return true if assignment tracking is enabled for module M.
void replace(R &&Range, const T &OldValue, const T &NewValue)
Provide wrappers to std::replace which take ranges instead of having to pass begin/end explicitly.
DWARFExpression::Operation Op
LLVM_ABI void initializeAAResultsWrapperPassPass(PassRegistry &)
LLVM_ABI void initializeTargetLibraryInfoWrapperPassPass(PassRegistry &)
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
LLVM_ABI ScheduleDAGSDNodes * createILPListDAGScheduler(SelectionDAGISel *IS, CodeGenOptLevel)
createILPListDAGScheduler - This creates a bottom up register pressure aware list scheduler that trie...
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
auto predecessors(const MachineBasicBlock *BB)
LLVM_ABI void initializeBranchProbabilityInfoWrapperPassPass(PassRegistry &)
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
constexpr int64_t SignExtend64(uint64_t x)
Sign-extend the number in the bottom B bits of X to a 64-bit integer.
LLVM_ABI ScheduleDAGSDNodes * createVLIWDAGScheduler(SelectionDAGISel *IS, CodeGenOptLevel OptLevel)
createVLIWDAGScheduler - Scheduler for VLIW targets.
static auto filterDbgVars(iterator_range< simple_ilist< DbgRecord >::iterator > R)
Filter the DbgRecord range to DbgVariableRecord types only and downcast.
LLVM_ABI Printable printReg(Register Reg, const TargetRegisterInfo *TRI=nullptr, unsigned SubIdx=0, const MachineRegisterInfo *MRI=nullptr)
Prints virtual and physical registers with or without a TRI instance.
LLVM_ABI Printable printMBBReference(const MachineBasicBlock &MBB)
Prints a machine basic block reference.
LLVM_ABI void reportFatalUsageError(Error Err)
Report a fatal error that does not indicate a bug in LLVM.
Implement std::hash so that hash_code can be used in STL containers.
This struct is a compact representation of a valid (non-zero power of two) alignment.
bool isSimple() const
Test if the given EVT is simple (as opposed to being extended).
TypeSize getSizeInBits() const
Return the size of the specified value type in bits.
MVT getSimpleVT() const
Return the SimpleValueType held in the specified simple EVT.
bool isInteger() const
Return true if this is an integer or a vector integer type.
A struct capturing PGO tunables.
This represents a list of ValueType's that has been intern'd by a SelectionDAG.
Clients of various APIs that cause global effects on the DAG can optionally implement this interface.
void addIPToStateRange(const InvokeInst *II, MCSymbol *InvokeBegin, MCSymbol *InvokeEnd)
DenseMap< const BasicBlock *, int > BlockToStateMap