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);
241 if (TM.getPGOOption()) {
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!");
335 dbgs() <<
"If a target marks an instruction with "
336 "'usesCustomInserter', it must implement "
337 "TargetLowering::EmitInstrWithCustomInserter!\n";
345 "If a target marks an instruction with 'hasPostISelHook', "
346 "it must implement TargetLowering::AdjustInstrPostInstrSelection!");
354 char &
ID, std::unique_ptr<SelectionDAGISel> S)
385 : Selector->OptLevel;
389 Selector->initializeAnalysisResults(*
this);
390 return Selector->runOnMachineFunction(MF);
420 if (
UseMBPI && RegisterPGOPasses)
427 if (RegisterPGOPasses)
459 : Selector->OptLevel;
462 Selector->initializeAnalysisResults(MFAM);
463 Selector->runOnMachineFunction(MF);
482 TII =
MF->getSubtarget().getInstrInfo();
483 TLI =
MF->getSubtarget().getTargetLowering();
487 ORE = std::make_unique<OptimizationRemarkEmitter>(&Fn);
492 if (PSI && PSI->hasProfileSummary() && RegisterPGOPasses)
510 if (
UseMBPI && RegisterPGOPasses)
522#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
537 TII =
MF->getSubtarget().getInstrInfo();
538 TLI =
MF->getSubtarget().getTargetLowering();
543 ORE = std::make_unique<OptimizationRemarkEmitter>(&Fn);
547 if (PSI && PSI->hasProfileSummary() && RegisterPGOPasses)
556 UA = &UAPass->getUniformityInfo();
568 if (
UseMBPI && RegisterPGOPasses)
581#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
598 MF->setHasInlineAsm(
false);
625 TLI->initializeSplitCSR(EntryMBB);
627 SelectAllBasicBlocks(Fn);
655 MRI.constrainRegClass(To,
MRI.getRegClass(From));
661 if (!
MRI.use_empty(To))
662 MRI.clearKillFlags(From);
663 MRI.replaceRegWith(From, To);
677 if (!
MBB.succ_empty())
681 if (Term !=
MBB.end() && Term->isReturn()) {
686 TLI->insertCopiesSplitCSR(EntryMBB, Returns);
690 if (!
FuncInfo->ArgDbgValues.empty())
691 for (std::pair<MCRegister, Register> LI :
RegInfo->liveins())
696 for (
unsigned i = 0, e =
FuncInfo->ArgDbgValues.size(); i != e; ++i) {
698 assert(
MI->getOpcode() != TargetOpcode::DBG_VALUE_LIST &&
699 "Function parameters should not be described by DBG_VALUE_LIST.");
700 bool hasFI =
MI->getDebugOperand(0).isFI();
702 hasFI ?
TRI.getFrameRegister(*
MF) :
MI->getDebugOperand(0).getReg();
703 if (Reg.isPhysical())
710 Def->getParent()->insert(std::next(InsertPos),
MI);
721 if (!Reg.isPhysical())
724 if (LDI != LiveInMap.
end()) {
725 assert(!hasFI &&
"There's no handling of frame pointer updating here yet "
729 const MDNode *Variable =
MI->getDebugVariable();
730 const MDNode *Expr =
MI->getDebugExpression();
732 bool IsIndirect =
MI->isIndirectDebugValue();
734 assert(
MI->getDebugOffset().getImm() == 0 &&
735 "DBG_VALUE with nonzero offset");
737 "Expected inlined-at fields to agree");
738 assert(
MI->getOpcode() != TargetOpcode::DBG_VALUE_LIST &&
739 "Didn't expect to see a DBG_VALUE_LIST here");
741 BuildMI(*EntryMBB, ++InsertPos,
DL,
TII->get(TargetOpcode::DBG_VALUE),
742 IsIndirect, LDI->second, Variable, Expr);
749 if (
UseMI.isDebugValue())
751 if (
UseMI.isCopy() && !CopyUseMI &&
UseMI.getParent() == EntryMBB) {
760 TRI.getRegSizeInBits(LDI->second,
MRI) ==
775 if (
MF->useDebugInstrRef())
776 MF->finalizeDebugInstrRefs();
780 for (
const auto &
MBB : *
MF) {
784 for (
const auto &
MI :
MBB) {
786 if ((
MCID.isCall() && !
MCID.isReturn()) ||
787 MI.isStackAligningInlineAsm()) {
790 if (
MI.isInlineAsm()) {
791 MF->setHasInlineAsm(
true);
800 ISEL_DUMP(
dbgs() <<
"*** MachineFunction at end of ISel ***\n");
812 if (!R.getLocation().isValid() || ShouldAbort)
813 R << (
" (in function: " + MF.
getName() +
")").str();
831 bool HaveFakeUse =
false;
832 bool HaveTailCall =
false;
835 if (CI->isTailCall()) {
840 if (
II->getIntrinsicID() == Intrinsic::fake_use)
842 }
while (
I != Begin);
845 if (!HaveTailCall || !HaveFakeUse)
854 FakeUse && FakeUse->getIntrinsicID() == Intrinsic::fake_use) {
856 !UsedDef || UsedDef->getParent() !=
I->getParent() ||
857 UsedDef->comesBefore(&*
I))
862 for (
auto *Inst : FakeUses)
863 Inst->moveBefore(*Inst->getParent(),
I);
870 CurDAG->NewNodesMustHaveLegalTypes =
false;
879 SDB->visitDbgInfo(*
I);
884 HadTailCall =
SDB->HasTailCall;
885 SDB->resolveOrClearDbgInfo();
892void SelectionDAGISel::ComputeLiveOutVRegInfo() {
893 SmallPtrSet<SDNode *, 16>
Added;
906 if (
Op.getValueType() == MVT::Other &&
Added.insert(
Op.getNode()).second)
919 EVT SrcVT = Src.getValueType();
923 unsigned NumSignBits =
CurDAG->ComputeNumSignBits(Src);
924 Known =
CurDAG->computeKnownBits(Src);
925 FuncInfo->AddLiveOutRegInfo(DestReg, NumSignBits, Known);
926 }
while (!Worklist.
empty());
929void SelectionDAGISel::CodeGenAndEmitDAG() {
930 StringRef GroupName =
"sdag";
931 StringRef GroupDescription =
"Instruction Selection and Scheduling";
932 std::string BlockName;
933 bool MatchFilterBB =
false;
937 CurDAG->NewNodesMustHaveLegalTypes =
false;
942 FuncInfo->MBB->getBasicBlock()->getName());
951 (
MF->getName() +
":" +
FuncInfo->MBB->getBasicBlock()->getName()).str();
958#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
960 CurDAG->VerifyDAGDivergence();
964 CurDAG->viewGraph(
"dag-combine1 input for " + BlockName);
968 NamedRegionTimer
T(
"combine1",
"DAG Combining 1", GroupName,
978#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
980 CurDAG->VerifyDAGDivergence();
986 CurDAG->viewGraph(
"legalize-types input for " + BlockName);
990 NamedRegionTimer
T(
"legalize_types",
"Type Legalization", GroupName,
1000#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1002 CurDAG->VerifyDAGDivergence();
1006 CurDAG->NewNodesMustHaveLegalTypes =
true;
1010 CurDAG->viewGraph(
"dag-combine-lt input for " + BlockName);
1014 NamedRegionTimer
T(
"combine_lt",
"DAG Combining after legalize types",
1019 ISEL_DUMP(
dbgs() <<
"\nOptimized type-legalized selection DAG: "
1024#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1026 CurDAG->VerifyDAGDivergence();
1031 NamedRegionTimer
T(
"legalize_vec",
"Vector Legalization", GroupName,
1042#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1044 CurDAG->VerifyDAGDivergence();
1048 NamedRegionTimer
T(
"legalize_types2",
"Type Legalization 2", GroupName,
1053 ISEL_DUMP(
dbgs() <<
"\nVector/type-legalized selection DAG: "
1058#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1060 CurDAG->VerifyDAGDivergence();
1064 CurDAG->viewGraph(
"dag-combine-lv input for " + BlockName);
1068 NamedRegionTimer
T(
"combine_lv",
"DAG Combining after legalize vectors",
1073 ISEL_DUMP(
dbgs() <<
"\nOptimized vector-legalized selection DAG: "
1078#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1080 CurDAG->VerifyDAGDivergence();
1085 CurDAG->viewGraph(
"legalize input for " + BlockName);
1088 NamedRegionTimer
T(
"legalize",
"DAG Legalization", GroupName,
1098#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1100 CurDAG->VerifyDAGDivergence();
1104 CurDAG->viewGraph(
"dag-combine2 input for " + BlockName);
1108 NamedRegionTimer
T(
"combine2",
"DAG Combining 2", GroupName,
1118#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1120 CurDAG->VerifyDAGDivergence();
1124 ComputeLiveOutVRegInfo();
1127 CurDAG->viewGraph(
"isel input for " + BlockName);
1132 NamedRegionTimer
T(
"isel",
"Instruction Selection", GroupName,
1134 DoInstructionSelection();
1143 CurDAG->viewGraph(
"scheduler input for " + BlockName);
1146 ScheduleDAGSDNodes *
Scheduler = CreateScheduler();
1148 NamedRegionTimer
T(
"sched",
"Instruction Scheduling", GroupName,
1158 MachineBasicBlock *FirstMBB =
FuncInfo->MBB, *LastMBB;
1160 NamedRegionTimer
T(
"emit",
"Instruction Creation", GroupName,
1170 if (FirstMBB != LastMBB)
1171 SDB->UpdateSplitBlock(FirstMBB, LastMBB);
1175 NamedRegionTimer
T(
"cleanup",
"Instruction Scheduling Cleanup", GroupName,
1193 : SelectionDAG::DAGUpdateListener(DAG), ISelPosition(isp) {}
1198 void NodeDeleted(SDNode *
N, SDNode *
E)
override {
1206 void NodeInserted(SDNode *
N)
override {
1207 SDNode *CurNode = &*ISelPosition;
1208 if (MDNode *MD = DAG.getPCSections(CurNode))
1209 DAG.addPCSections(
N, MD);
1210 if (MDNode *MMRA = DAG.getMMRAMetadata(CurNode))
1211 DAG.addMMRAMetadata(
N, MMRA);
1241 while (!Nodes.
empty()) {
1243 for (
auto *U :
N->users()) {
1244 auto UId = U->getNodeId();
1257 int InvalidId = -(
N->getNodeId() + 1);
1258 N->setNodeId(InvalidId);
1263 int Id =
N->getNodeId();
1269void SelectionDAGISel::DoInstructionSelection() {
1272 <<
FuncInfo->MBB->getName() <<
"'\n");
1290 ISelUpdater ISU(*
CurDAG, ISelPosition);
1301 if (
Node->use_empty())
1308 while (!Nodes.
empty()) {
1325 "Node has already selected predecessor node");
1337 if (!
TLI->isStrictFPEnabled() &&
Node->isStrictFPOpcode()) {
1342 switch (
Node->getOpcode()) {
1351 ActionVT =
Node->getOperand(1).getValueType();
1354 ActionVT =
Node->getValueType(0);
1357 if (
TLI->getOperationAction(
Node->getOpcode(), ActionVT)
1362 LLVM_DEBUG(
dbgs() <<
"\nISEL: Starting selection on root node: ";
1368 CurDAG->setRoot(Dummy.getValue());
1380 if (IID == Intrinsic::eh_exceptionpointer ||
1381 IID == Intrinsic::eh_exceptioncode)
1396 bool IsSingleCatchAllClause =
1401 bool IsCatchLongjmp = CPI->
arg_size() == 0;
1402 if (!IsSingleCatchAllClause && !IsCatchLongjmp) {
1404 bool IntrFound =
false;
1408 if (IID == Intrinsic::wasm_landingpad_index) {
1409 Value *IndexArg =
Call->getArgOperand(1);
1417 assert(IntrFound &&
"wasm.landingpad.index intrinsic not found!");
1424bool SelectionDAGISel::PrepareEHLandingPad() {
1428 const TargetRegisterClass *PtrRC =
1429 TLI->getRegClassFor(
TLI->getPointerTy(
CurDAG->getDataLayout()));
1440 MCRegister EHPhysReg =
TLI->getExceptionPointerRegister(PersonalityFn);
1441 assert(EHPhysReg &&
"target lacks exception pointer register");
1445 TII->get(TargetOpcode::COPY), VReg)
1456 const MCInstrDesc &
II =
TII->get(TargetOpcode::EH_LABEL);
1462 const TargetRegisterInfo &
TRI = *
MF->getSubtarget().getRegisterInfo();
1463 if (
auto *RegMask =
TRI.getCustomEHPadPreservedMask(*
MF))
1464 MF->getRegInfo().addPhysRegsUsedFromRegMask(RegMask);
1471 MF->setCallSiteLandingPad(Label,
SDB->LPadToCallSiteMap[
MBB]);
1473 if (MCRegister
Reg =
TLI->getExceptionPointerRegister(PersonalityFn))
1476 if (MCRegister
Reg =
TLI->getExceptionSelectorRegister(PersonalityFn))
1485 llvm::WinEHFuncInfo *EHInfo =
MF->getWinEHFuncInfo();
1488 for (MachineBasicBlock &
MBB : *
MF) {
1498 MachineInstr *MIb = &*MBBb;
1503 MCSymbol *BeginLabel =
MF->getContext().createTempSymbol();
1504 MCSymbol *EndLabel =
MF->getContext().createTempSymbol();
1507 TII->get(TargetOpcode::EH_LABEL))
1510 MachineInstr *MIe = &*(--MBBe);
1516 TII->get(TargetOpcode::EH_LABEL))
1527 return !
I->mayWriteToMemory() &&
1528 !
I->isTerminator() &&
1540 auto ArgIt = FuncInfo.
ValueMap.find(Arg);
1541 if (ArgIt == FuncInfo.
ValueMap.end())
1543 Register ArgVReg = ArgIt->getSecond();
1547 if (VirtReg == ArgVReg) {
1551 LLVM_DEBUG(
dbgs() <<
"processDbgDeclare: setVariableDbgInfo Var=" << *Var
1552 <<
", Expr=" << *Expr <<
", MCRegister=" << PhysReg
1553 <<
", DbgLoc=" << DbgLoc <<
"\n");
1564 <<
" (bad address)\n");
1571 if (!Address->getType()->isPointerTy())
1577 assert(Var &&
"Missing variable");
1578 assert(DbgLoc &&
"Missing location");
1582 APInt Offset(
DL.getIndexTypeSizeInBits(Address->getType()), 0);
1583 Address = Address->stripAndAccumulateInBoundsConstantOffsets(
DL,
Offset);
1588 int FI = std::numeric_limits<int>::max();
1596 if (FI == std::numeric_limits<int>::max())
1599 if (
Offset.getBoolValue())
1603 LLVM_DEBUG(
dbgs() <<
"processDbgDeclare: setVariableDbgInfo Var=" << *Var
1604 <<
", Expr=" << *Expr <<
", FI=" << FI
1605 <<
", DbgLoc=" << DbgLoc <<
"\n");
1617 DVR.getExpression(), DVR.getVariable(),
1632 assert(!It->Values.hasArgList() &&
"Single loc variadic ops not supported");
1638void SelectionDAGISel::SelectAllBasicBlocks(
const Function &Fn) {
1641 FastISel *FastIS =
nullptr;
1642 if (
TM.Options.EnableFastISel) {
1647 ReversePostOrderTraversal<const Function*> RPOT(&Fn);
1668 ++NumFastIselFailLowerArguments;
1670 OptimizationRemarkMissed
R(
"sdagisel",
"FastISelFailure",
1673 R <<
"FastISel didn't lower all arguments: "
1681 CodeGenAndEmitDAG();
1695 if (FastIS && Inserted)
1700 "expected AssignmentTrackingAnalysis pass results");
1708 for (
const BasicBlock *LLVMBB : RPOT) {
1710 bool AllPredsVisited =
true;
1712 if (!
FuncInfo->VisitedBBs[Pred->getNumber()]) {
1713 AllPredsVisited =
false;
1718 if (AllPredsVisited) {
1719 for (
const PHINode &PN : LLVMBB->
phis())
1720 FuncInfo->ComputePHILiveOutRegInfo(&PN);
1722 for (
const PHINode &PN : LLVMBB->
phis())
1723 FuncInfo->InvalidatePHILiveOutRegInfo(&PN);
1734 const_cast<BasicBlock *
>(LLVMBB)->getFirstNonPHIIt();
1754 if (!PrepareEHLandingPad())
1760 if (NewRoot && NewRoot !=
CurDAG->getRoot())
1761 CurDAG->setRoot(NewRoot);
1770 unsigned NumFastIselRemaining = std::distance(Begin, End);
1776 for (; BI != Begin; --BI) {
1782 --NumFastIselRemaining;
1793 --NumFastIselRemaining;
1794 ++NumFastIselSuccess;
1801 while (BeforeInst != &*Begin) {
1811 <<
"FastISel folded load: " << *BeforeInst <<
"\n");
1814 --NumFastIselRemaining;
1815 ++NumFastIselSuccess;
1829 OptimizationRemarkMissed
R(
"sdagisel",
"FastISelFailure",
1832 R <<
"FastISel missed call";
1835 std::string InstStrStorage;
1836 raw_string_ostream InstStr(InstStrStorage);
1839 R <<
": " << InstStrStorage;
1851 bool HadTailCall =
false;
1853 SelectBasicBlock(Inst->
getIterator(), BI, HadTailCall);
1865 unsigned RemainingNow = std::distance(Begin, BI);
1866 NumFastIselFailures += NumFastIselRemaining - RemainingNow;
1867 NumFastIselRemaining = RemainingNow;
1871 OptimizationRemarkMissed
R(
"sdagisel",
"FastISelFailure",
1877 R <<
"FastISel missed terminator";
1881 R <<
"FastISel missed";
1885 std::string InstStrStorage;
1886 raw_string_ostream InstStr(InstStrStorage);
1888 R <<
": " << InstStrStorage;
1893 NumFastIselFailures += NumFastIselRemaining;
1900 if (
SP->shouldEmitSDCheck(*LLVMBB)) {
1901 bool FunctionBasedInstrumentation =
1903 SDB->SPDescriptor.initialize(LLVMBB,
FuncInfo->getMBB(LLVMBB),
1904 FunctionBasedInstrumentation);
1910 ++NumFastIselBlocks;
1917 SelectBasicBlock(Begin, BI, HadTailCall);
1929 FuncInfo->PHINodesToUpdate.clear();
1935 reportIPToStateForBlocks(
MF);
1937 SP->copyToMachineFrameInfo(
MF->getFrameInfo());
1942 SDB->clearDanglingDebugInfo();
1943 SDB->SPDescriptor.resetPerFunctionState();
1947SelectionDAGISel::FinishBasicBlock() {
1949 <<
FuncInfo->PHINodesToUpdate.size() <<
"\n";
1950 for (
unsigned i = 0, e =
FuncInfo->PHINodesToUpdate.size(); i != e;
1952 <<
"Node " << i <<
" : (" <<
FuncInfo->PHINodesToUpdate[i].first
1958 for (
unsigned i = 0, e =
FuncInfo->PHINodesToUpdate.size(); i != e; ++i) {
1959 MachineInstrBuilder
PHI(*
MF,
FuncInfo->PHINodesToUpdate[i].first);
1961 "This is not a machine PHI node that we are updating!");
1962 if (!
FuncInfo->MBB->isSuccessor(
PHI->getParent()))
1968 if (
SDB->SPDescriptor.shouldEmitFunctionBasedCheckStackProtector()) {
1971 MachineBasicBlock *ParentMBB =
SDB->SPDescriptor.getParentMBB();
1976 SDB->visitSPDescriptorParent(
SDB->SPDescriptor, ParentMBB);
1979 CodeGenAndEmitDAG();
1982 SDB->SPDescriptor.resetPerBBState();
1983 }
else if (
SDB->SPDescriptor.shouldEmitStackProtector()) {
1984 MachineBasicBlock *ParentMBB =
SDB->SPDescriptor.getParentMBB();
1985 MachineBasicBlock *SuccessMBB =
SDB->SPDescriptor.getSuccessMBB();
1997 SuccessMBB->
splice(SuccessMBB->
end(), ParentMBB, SplitPoint,
2003 SDB->visitSPDescriptorParent(
SDB->SPDescriptor, ParentMBB);
2006 CodeGenAndEmitDAG();
2009 MachineBasicBlock *FailureMBB =
SDB->SPDescriptor.getFailureMBB();
2010 if (FailureMBB->
empty()) {
2013 SDB->visitSPDescriptorFailure(
SDB->SPDescriptor);
2016 CodeGenAndEmitDAG();
2020 SDB->SPDescriptor.resetPerBBState();
2024 for (
auto &BTB :
SDB->SL->BitTestCases) {
2034 CodeGenAndEmitDAG();
2037 BranchProbability UnhandledProb = BTB.Prob;
2038 for (
unsigned j = 0, ej = BTB.Cases.size(); j != ej; ++j) {
2039 UnhandledProb -= BTB.Cases[
j].ExtraProb;
2053 MachineBasicBlock *NextMBB;
2054 if ((BTB.ContiguousRange || BTB.FallthroughUnreachable) && j + 2 == ej) {
2057 NextMBB = BTB.Cases[
j + 1].TargetBB;
2058 }
else if (j + 1 == ej) {
2060 NextMBB = BTB.Default;
2063 NextMBB = BTB.Cases[
j + 1].ThisBB;
2066 SDB->visitBitTestCase(BTB, NextMBB, UnhandledProb, BTB.Reg, BTB.Cases[j],
2071 CodeGenAndEmitDAG();
2073 if ((BTB.ContiguousRange || BTB.FallthroughUnreachable) && j + 2 == ej) {
2075 BTB.Cases.pop_back();
2081 for (
const std::pair<MachineInstr *, Register> &
P :
2083 MachineInstrBuilder
PHI(*
MF,
P.first);
2084 MachineBasicBlock *PHIBB =
PHI->getParent();
2086 "This is not a machine PHI node that we are updating!");
2089 if (PHIBB == BTB.Default) {
2090 PHI.addReg(
P.second).addMBB(BTB.Parent);
2091 if (!BTB.ContiguousRange) {
2092 PHI.addReg(
P.second).addMBB(BTB.Cases.back().ThisBB);
2096 for (
const SwitchCG::BitTestCase &
BT : BTB.Cases) {
2097 MachineBasicBlock* cBB =
BT.ThisBB;
2099 PHI.addReg(
P.second).addMBB(cBB);
2103 SDB->SL->BitTestCases.clear();
2108 for (
unsigned i = 0, e =
SDB->SL->JTCases.size(); i != e; ++i) {
2110 if (!
SDB->SL->JTCases[i].first.Emitted) {
2112 FuncInfo->MBB =
SDB->SL->JTCases[i].first.HeaderBB;
2115 SDB->visitJumpTableHeader(
SDB->SL->JTCases[i].second,
2119 CodeGenAndEmitDAG();
2126 SDB->visitJumpTable(
SDB->SL->JTCases[i].second);
2129 CodeGenAndEmitDAG();
2132 for (
unsigned pi = 0, pe =
FuncInfo->PHINodesToUpdate.size();
2134 MachineInstrBuilder
PHI(*
MF,
FuncInfo->PHINodesToUpdate[pi].first);
2137 "This is not a machine PHI node that we are updating!");
2139 if (PHIBB ==
SDB->SL->JTCases[i].second.Default)
2141 .addMBB(
SDB->SL->JTCases[i].first.HeaderBB);
2143 if (
FuncInfo->MBB->isSuccessor(PHIBB))
2147 SDB->SL->JTCases.clear();
2151 for (
unsigned i = 0, e =
SDB->SL->SwitchCases.size(); i != e; ++i) {
2159 if (
SDB->SL->SwitchCases[i].TrueBB !=
SDB->SL->SwitchCases[i].FalseBB)
2166 CodeGenAndEmitDAG();
2170 MachineBasicBlock *ThisBB =
FuncInfo->MBB;
2176 for (MachineBasicBlock *Succ : Succs) {
2187 for (
unsigned pn = 0; ; ++pn) {
2189 "Didn't find PHI entry!");
2190 if (
FuncInfo->PHINodesToUpdate[pn].first ==
PHI) {
2191 PHI.addReg(
FuncInfo->PHINodesToUpdate[pn].second).addMBB(ThisBB);
2199 SDB->SL->SwitchCases.clear();
2220 int64_t DesiredMaskS)
const {
2221 const APInt &ActualMask = RHS->getAPIntValue();
2224 const APInt &DesiredMask =
APInt(LHS.getValueSizeInBits(), DesiredMaskS,
2228 if (ActualMask == DesiredMask)
2237 APInt NeededMask = DesiredMask & ~ActualMask;
2238 if (
CurDAG->MaskedValueIsZero(LHS, NeededMask))
2252 int64_t DesiredMaskS)
const {
2253 const APInt &ActualMask = RHS->getAPIntValue();
2256 const APInt &DesiredMask =
APInt(LHS.getValueSizeInBits(), DesiredMaskS,
2260 if (ActualMask == DesiredMask)
2269 APInt NeededMask = DesiredMask & ~ActualMask;
2289 std::list<HandleSDNode> Handles;
2294 Handles.emplace_back(
2303 if (!Flags.isMemKind() && !Flags.isFuncKind()) {
2305 Handles.insert(Handles.end(),
Ops.begin() + i,
2306 Ops.begin() + i + Flags.getNumOperandRegisters() + 1);
2307 i += Flags.getNumOperandRegisters() + 1;
2309 assert(Flags.getNumOperandRegisters() == 1 &&
2310 "Memory operand with multiple values?");
2312 unsigned TiedToOperand;
2313 if (Flags.isUseOperandTiedToDef(TiedToOperand)) {
2317 for (; TiedToOperand; --TiedToOperand) {
2318 CurOp += Flags.getNumOperandRegisters() + 1;
2324 std::vector<SDValue> SelOps;
2326 Flags.getMemoryConstraintID();
2335 Flags.setMemConstraint(ConstraintID);
2336 Handles.emplace_back(
CurDAG->getTargetConstant(Flags,
DL, MVT::i32));
2343 if (e !=
Ops.size())
2344 Handles.emplace_back(
Ops.back());
2347 for (
auto &handle : Handles)
2348 Ops.push_back(handle.getValue());
2354 bool IgnoreChains) {
2363 Visited.
insert(ImmedUse);
2368 if ((
Op.getValueType() == MVT::Other && IgnoreChains) ||
N == Def)
2370 if (!Visited.
insert(
N).second)
2376 if (Root != ImmedUse) {
2380 if ((
Op.getValueType() == MVT::Other && IgnoreChains) ||
N == Def)
2382 if (!Visited.
insert(
N).second)
2397 return N.hasOneUse();
2404 bool IgnoreChains) {
2453 while (VT == MVT::Glue) {
2464 IgnoreChains =
false;
2470void SelectionDAGISel::Select_INLINEASM(
SDNode *
N) {
2473 std::vector<SDValue>
Ops(
N->op_begin(),
N->op_end());
2476 const EVT VTs[] = {MVT::Other, MVT::Glue};
2483void SelectionDAGISel::Select_READ_REGISTER(
SDNode *
Op) {
2488 EVT VT =
Op->getValueType(0);
2491 const MachineFunction &
MF =
CurDAG->getMachineFunction();
2499 "\" for llvm.read_register",
2500 Fn,
Op->getDebugLoc()));
2502 SDValue(
CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF, dl, VT), 0);
2506 CurDAG->getCopyFromReg(
Op->getOperand(0), dl,
Reg,
Op->getValueType(0));
2514void SelectionDAGISel::Select_WRITE_REGISTER(
SDNode *
Op) {
2519 EVT VT =
Op->getOperand(2).getValueType();
2522 const MachineFunction &
MF =
CurDAG->getMachineFunction();
2529 "\" for llvm.write_register",
2530 Fn,
Op->getDebugLoc()));
2534 CurDAG->getCopyToReg(
Op->getOperand(0), dl,
Reg,
Op->getOperand(2));
2542void SelectionDAGISel::Select_UNDEF(
SDNode *
N) {
2543 CurDAG->SelectNodeTo(
N, TargetOpcode::IMPLICIT_DEF,
N->getValueType(0));
2548void SelectionDAGISel::Select_FAKE_USE(
SDNode *
N) {
2549 CurDAG->SelectNodeTo(
N, TargetOpcode::FAKE_USE,
N->getValueType(0),
2550 N->getOperand(1),
N->getOperand(0));
2553void SelectionDAGISel::Select_RELOC_NONE(
SDNode *
N) {
2554 CurDAG->SelectNodeTo(
N, TargetOpcode::RELOC_NONE,
N->getValueType(0),
2555 N->getOperand(1),
N->getOperand(0));
2558void SelectionDAGISel::Select_FREEZE(
SDNode *
N) {
2562 CurDAG->SelectNodeTo(
N, TargetOpcode::COPY,
N->getValueType(0),
2566void SelectionDAGISel::Select_ARITH_FENCE(
SDNode *
N) {
2567 CurDAG->SelectNodeTo(
N, TargetOpcode::ARITH_FENCE,
N->getValueType(0),
2571void SelectionDAGISel::Select_MEMBARRIER(
SDNode *
N) {
2572 CurDAG->SelectNodeTo(
N, TargetOpcode::MEMBARRIER,
N->getValueType(0),
2576void SelectionDAGISel::Select_CONVERGENCECTRL_ANCHOR(
SDNode *
N) {
2577 CurDAG->SelectNodeTo(
N, TargetOpcode::CONVERGENCECTRL_ANCHOR,
2578 N->getValueType(0));
2581void SelectionDAGISel::Select_CONVERGENCECTRL_ENTRY(
SDNode *
N) {
2582 CurDAG->SelectNodeTo(
N, TargetOpcode::CONVERGENCECTRL_ENTRY,
2583 N->getValueType(0));
2586void SelectionDAGISel::Select_CONVERGENCECTRL_LOOP(
SDNode *
N) {
2587 CurDAG->SelectNodeTo(
N, TargetOpcode::CONVERGENCECTRL_LOOP,
2588 N->getValueType(0),
N->getOperand(0));
2593 SDNode *OpNode = OpVal.
getNode();
2601 CurDAG->getTargetConstant(StackMaps::ConstantOp,
DL, MVT::i64));
2605 Ops.push_back(OpVal);
2609void SelectionDAGISel::Select_STACKMAP(
SDNode *
N) {
2611 auto *It =
N->op_begin();
2620 assert(
ID.getValueType() == MVT::i64);
2626 Ops.push_back(Shad);
2629 for (; It !=
N->op_end(); It++)
2630 pushStackMapLiveVariable(
Ops, *It,
DL);
2632 Ops.push_back(Chain);
2633 Ops.push_back(InGlue);
2635 SDVTList NodeTys =
CurDAG->getVTList(MVT::Other, MVT::Glue);
2636 CurDAG->SelectNodeTo(
N, TargetOpcode::STACKMAP, NodeTys,
Ops);
2639void SelectionDAGISel::Select_PATCHPOINT(
SDNode *
N) {
2641 auto *It =
N->op_begin();
2646 std::optional<SDValue> Glue;
2647 if (It->getValueType() == MVT::Glue)
2653 assert(
ID.getValueType() == MVT::i64);
2659 Ops.push_back(Shad);
2662 Ops.push_back(*It++);
2667 Ops.push_back(NumArgs);
2670 Ops.push_back(*It++);
2674 Ops.push_back(*It++);
2677 for (; It !=
N->op_end(); It++)
2678 pushStackMapLiveVariable(
Ops, *It,
DL);
2681 Ops.push_back(RegMask);
2682 Ops.push_back(Chain);
2683 if (Glue.has_value())
2684 Ops.push_back(*Glue);
2686 SDVTList NodeTys =
N->getVTList();
2687 CurDAG->SelectNodeTo(
N, TargetOpcode::PATCHPOINT, NodeTys,
Ops);
2693 assert(Val >= 128 &&
"Not a VBR");
2699 NextBits = MatcherTable[Idx++];
2700 Val |= (NextBits&127) << Shift;
2702 }
while (NextBits & 128);
2710getSimpleVT(
const unsigned char *MatcherTable,
unsigned &MatcherIndex) {
2711 unsigned SimpleVT = MatcherTable[MatcherIndex++];
2713 SimpleVT =
GetVBR(SimpleVT, MatcherTable, MatcherIndex);
2718void SelectionDAGISel::Select_JUMP_TABLE_DEBUG_INFO(
SDNode *
N) {
2720 CurDAG->SelectNodeTo(
N, TargetOpcode::JUMP_TABLE_DEBUG_INFO, MVT::Glue,
2721 CurDAG->getTargetConstant(
N->getConstantOperandVal(1),
2722 dl, MVT::i64,
true));
2727void SelectionDAGISel::UpdateChains(
2734 if (!ChainNodesMatched.
empty()) {
2736 "Matched input chains but didn't produce a chain");
2739 for (
unsigned i = 0, e = ChainNodesMatched.
size(); i != e; ++i) {
2740 SDNode *ChainNode = ChainNodesMatched[i];
2747 "Deleted node left in chain");
2751 if (ChainNode == NodeToMatch && isMorphNodeTo)
2758 SelectionDAG::DAGNodeDeletedListener NDL(
2759 *
CurDAG, [&](SDNode *
N, SDNode *
E) {
2760 llvm::replace(ChainNodesMatched,
N,
static_cast<SDNode *
>(
nullptr));
2766 if (ChainNode != NodeToMatch && ChainNode->
use_empty() &&
2772 if (!NowDeadNodes.
empty())
2773 CurDAG->RemoveDeadNodes(NowDeadNodes);
2791 unsigned int Max = 8192;
2794 if (ChainNodesMatched.
size() == 1)
2795 return ChainNodesMatched[0]->getOperand(0);
2799 std::function<void(
const SDValue)> AddChains = [&](
const SDValue V) {
2800 if (V.getValueType() != MVT::Other)
2804 if (!Visited.
insert(V.getNode()).second)
2807 for (
const SDValue &
Op : V->op_values())
2813 for (
auto *
N : ChainNodesMatched) {
2818 while (!Worklist.
empty())
2822 if (InputChains.
size() == 0)
2832 for (
auto *
N : ChainNodesMatched)
2837 if (InputChains.
size() == 1)
2838 return InputChains[0];
2840 MVT::Other, InputChains);
2844SDNode *SelectionDAGISel::
2853 int OldGlueResultNo = -1, OldChainResultNo = -1;
2855 unsigned NTMNumResults =
Node->getNumValues();
2856 if (
Node->getValueType(NTMNumResults-1) == MVT::Glue) {
2857 OldGlueResultNo = NTMNumResults-1;
2858 if (NTMNumResults != 1 &&
2859 Node->getValueType(NTMNumResults-2) == MVT::Other)
2860 OldChainResultNo = NTMNumResults-2;
2861 }
else if (
Node->getValueType(NTMNumResults-1) == MVT::Other)
2862 OldChainResultNo = NTMNumResults-1;
2866 SDNode *Res =
CurDAG->MorphNodeTo(Node, ~TargetOpc, VTList,
Ops);
2880 static_cast<unsigned>(OldGlueResultNo) != ResNumResults - 1)
2882 SDValue(Res, ResNumResults - 1));
2888 if ((EmitNodeInfo &
OPFL_Chain) && OldChainResultNo != -1 &&
2889 static_cast<unsigned>(OldChainResultNo) != ResNumResults - 1)
2891 SDValue(Res, ResNumResults - 1));
2909 unsigned RecNo = MatcherTable[MatcherIndex++];
2910 assert(RecNo < RecordedNodes.size() &&
"Invalid CheckSame");
2911 return N == RecordedNodes[RecNo].first;
2916 const unsigned char *MatcherTable,
unsigned &MatcherIndex,
SDValue N,
2919 if (ChildNo >=
N.getNumOperands())
2921 return ::CheckSame(MatcherTable, MatcherIndex,
N.getOperand(ChildNo),
2929 bool TwoBytePredNo =
2933 ? MatcherTable[MatcherIndex++]
2936 PredNo |= MatcherTable[MatcherIndex++] << 8;
2946 ? MatcherTable[MatcherIndex++]
2955 Opc |=
static_cast<uint16_t>(MatcherTable[MatcherIndex++]) << 8;
2956 return N->getOpcode() ==
Opc;
2963 if (
N.getValueType() == VT)
2973 if (ChildNo >=
N.getNumOperands())
2975 return ::CheckType(VT,
N.getOperand(ChildNo), TLI,
DL);
2988 if (2 >=
N.getNumOperands())
2990 return ::CheckCondCode(MatcherTable, MatcherIndex,
N.getOperand(2));
3018 int64_t Val = MatcherTable[MatcherIndex++];
3020 Val =
GetVBR(Val, MatcherTable, MatcherIndex);
3025 return C &&
C->getAPIntValue().trySExtValue() == Val;
3031 if (ChildNo >=
N.getNumOperands())
3033 return ::CheckInteger(MatcherTable, MatcherIndex,
N.getOperand(ChildNo));
3039 int64_t Val = MatcherTable[MatcherIndex++];
3041 Val =
GetVBR(Val, MatcherTable, MatcherIndex);
3043 if (
N->getOpcode() !=
ISD::AND)
return false;
3052 int64_t Val = MatcherTable[MatcherIndex++];
3054 Val =
GetVBR(Val, MatcherTable, MatcherIndex);
3056 if (
N->getOpcode() !=
ISD::OR)
return false;
3073 unsigned Opcode = Table[Index++];
3133 unsigned Res = Table[Index++];
3220 unsigned NumRecordedNodes;
3223 unsigned NumMatchedMemRefs;
3226 SDValue InputChain, InputGlue;
3229 bool HasChainNodesMatched;
3238 SDNode **NodeToMatch;
3239 SmallVectorImpl<std::pair<SDValue, SDNode *>> &RecordedNodes;
3240 SmallVectorImpl<MatchScope> &MatchScopes;
3243 MatchStateUpdater(SelectionDAG &DAG, SDNode **NodeToMatch,
3244 SmallVectorImpl<std::pair<SDValue, SDNode *>> &RN,
3245 SmallVectorImpl<MatchScope> &MS)
3246 : SelectionDAG::DAGUpdateListener(DAG), NodeToMatch(NodeToMatch),
3247 RecordedNodes(
RN), MatchScopes(MS) {}
3249 void NodeDeleted(SDNode *
N, SDNode *
E)
override {
3255 if (!
E ||
E->isMachineOpcode())
3258 if (
N == *NodeToMatch)
3263 for (
auto &
I : RecordedNodes)
3264 if (
I.first.getNode() ==
N)
3267 for (
auto &
I : MatchScopes)
3268 for (
auto &J :
I.NodeStack)
3269 if (J.getNode() ==
N)
3277 const unsigned char *MatcherTable,
3278 unsigned TableSize) {
3287 case ISD::HANDLENODE:
3288 case ISD::MDNODE_SDNODE:
3303 case ISD::ANNOTATION_LABEL:
3304 case ISD::LIFETIME_START:
3305 case ISD::LIFETIME_END:
3306 case ISD::PSEUDO_PROBE:
3314 CurDAG->RemoveDeadNode(NodeToMatch);
3316 case ISD::INLINEASM:
3317 case ISD::INLINEASM_BR:
3318 Select_INLINEASM(NodeToMatch);
3321 Select_READ_REGISTER(NodeToMatch);
3324 Select_WRITE_REGISTER(NodeToMatch);
3328 Select_UNDEF(NodeToMatch);
3331 Select_FAKE_USE(NodeToMatch);
3333 case ISD::RELOC_NONE:
3334 Select_RELOC_NONE(NodeToMatch);
3337 Select_FREEZE(NodeToMatch);
3339 case ISD::ARITH_FENCE:
3340 Select_ARITH_FENCE(NodeToMatch);
3342 case ISD::MEMBARRIER:
3343 Select_MEMBARRIER(NodeToMatch);
3346 Select_STACKMAP(NodeToMatch);
3348 case ISD::PATCHPOINT:
3349 Select_PATCHPOINT(NodeToMatch);
3351 case ISD::JUMP_TABLE_DEBUG_INFO:
3352 Select_JUMP_TABLE_DEBUG_INFO(NodeToMatch);
3354 case ISD::CONVERGENCECTRL_ANCHOR:
3355 Select_CONVERGENCECTRL_ANCHOR(NodeToMatch);
3357 case ISD::CONVERGENCECTRL_ENTRY:
3358 Select_CONVERGENCECTRL_ENTRY(NodeToMatch);
3360 case ISD::CONVERGENCECTRL_LOOP:
3361 Select_CONVERGENCECTRL_LOOP(NodeToMatch);
3388 SDValue InputChain, InputGlue;
3402 unsigned MatcherIndex = 0;
3404 if (!OpcodeOffset.empty()) {
3406 if (
N.getOpcode() < OpcodeOffset.size())
3407 MatcherIndex = OpcodeOffset[
N.getOpcode()];
3408 LLVM_DEBUG(
dbgs() <<
" Initial Opcode index to " << MatcherIndex <<
"\n");
3417 unsigned CaseSize = MatcherTable[Idx++];
3419 CaseSize =
GetVBR(CaseSize, MatcherTable, Idx);
3420 if (CaseSize == 0)
break;
3424 Opc |=
static_cast<uint16_t>(MatcherTable[Idx++]) << 8;
3425 if (
Opc >= OpcodeOffset.size())
3426 OpcodeOffset.resize((
Opc+1)*2);
3427 OpcodeOffset[
Opc] = Idx;
3432 if (
N.getOpcode() < OpcodeOffset.size())
3433 MatcherIndex = OpcodeOffset[
N.getOpcode()];
3437 assert(MatcherIndex < TableSize &&
"Invalid index");
3439 unsigned CurrentOpcodeIndex = MatcherIndex;
3453 unsigned NumToSkip = MatcherTable[MatcherIndex++];
3454 if (NumToSkip & 128)
3455 NumToSkip =
GetVBR(NumToSkip, MatcherTable, MatcherIndex);
3457 if (NumToSkip == 0) {
3462 FailIndex = MatcherIndex+NumToSkip;
3464 unsigned MatcherIndexOfPredicate = MatcherIndex;
3465 (void)MatcherIndexOfPredicate;
3472 Result, *
this, RecordedNodes);
3477 dbgs() <<
" Skipped scope entry (due to false predicate) at "
3478 <<
"index " << MatcherIndexOfPredicate <<
", continuing at "
3479 << FailIndex <<
"\n");
3480 ++NumDAGIselRetries;
3484 MatcherIndex = FailIndex;
3488 if (FailIndex == 0)
break;
3492 MatchScope NewEntry;
3493 NewEntry.FailIndex = FailIndex;
3494 NewEntry.NodeStack.append(NodeStack.
begin(), NodeStack.
end());
3495 NewEntry.NumRecordedNodes = RecordedNodes.
size();
3496 NewEntry.NumMatchedMemRefs = MatchedMemRefs.
size();
3497 NewEntry.InputChain = InputChain;
3498 NewEntry.InputGlue = InputGlue;
3499 NewEntry.HasChainNodesMatched = !ChainNodesMatched.
empty();
3505 SDNode *Parent =
nullptr;
3506 if (NodeStack.
size() > 1)
3507 Parent = NodeStack[NodeStack.
size()-2].getNode();
3508 RecordedNodes.
push_back(std::make_pair(
N, Parent));
3517 if (ChildNo >=
N.getNumOperands())
3520 RecordedNodes.
push_back(std::make_pair(
N->getOperand(ChildNo),
3526 MatchedMemRefs.
push_back(MN->getMemOperand());
3536 if (
N->getNumOperands() != 0 &&
3537 N->getOperand(
N->getNumOperands()-1).getValueType() == MVT::Glue)
3538 InputGlue =
N->getOperand(
N->getNumOperands()-1);
3542 unsigned ChildNo = MatcherTable[MatcherIndex++];
3543 if (ChildNo >=
N.getNumOperands())
3545 N =
N.getOperand(ChildNo);
3555 if (ChildNo >=
N.getNumOperands())
3557 N =
N.getOperand(ChildNo);
3573 assert(!NodeStack.
empty() &&
"Node stack imbalance!");
3574 N = NodeStack.
back();
3577 ? MatcherTable[MatcherIndex++]
3579 if (SiblingNo >=
N.getNumOperands())
3581 N =
N.getOperand(SiblingNo);
3588 assert(!NodeStack.
empty() &&
"Node stack imbalance!");
3589 N = NodeStack.
back();
3593 if (!
::CheckSame(MatcherTable, MatcherIndex,
N, RecordedNodes))
break;
3629 unsigned OpNum = MatcherTable[MatcherIndex++];
3632 for (
unsigned i = 0; i < OpNum; ++i)
3633 Operands.
push_back(RecordedNodes[MatcherTable[MatcherIndex++]].first);
3635 unsigned PredNo = MatcherTable[MatcherIndex++];
3650 ? MatcherTable[MatcherIndex++]
3652 unsigned RecNo = MatcherTable[MatcherIndex++];
3653 assert(RecNo < RecordedNodes.
size() &&
"Invalid CheckComplexPat");
3657 std::unique_ptr<MatchStateUpdater> MSU;
3659 MSU.reset(
new MatchStateUpdater(*
CurDAG, &NodeToMatch, RecordedNodes,
3663 RecordedNodes[RecNo].first, CPNum,
3669 if (!
::CheckOpcode(MatcherTable, MatcherIndex,
N.getNode()))
break;
3692 unsigned Res = MatcherTable[MatcherIndex++];
3700 unsigned CurNodeOpcode =
N.getOpcode();
3701 unsigned SwitchStart = MatcherIndex-1; (void)SwitchStart;
3705 CaseSize = MatcherTable[MatcherIndex++];
3707 CaseSize =
GetVBR(CaseSize, MatcherTable, MatcherIndex);
3708 if (CaseSize == 0)
break;
3711 Opc |=
static_cast<uint16_t>(MatcherTable[MatcherIndex++]) << 8;
3714 if (CurNodeOpcode ==
Opc)
3718 MatcherIndex += CaseSize;
3722 if (CaseSize == 0)
break;
3725 LLVM_DEBUG(
dbgs() <<
" OpcodeSwitch from " << SwitchStart <<
" to "
3726 << MatcherIndex <<
"\n");
3731 MVT CurNodeVT =
N.getSimpleValueType();
3732 unsigned SwitchStart = MatcherIndex-1; (void)SwitchStart;
3736 CaseSize = MatcherTable[MatcherIndex++];
3738 CaseSize =
GetVBR(CaseSize, MatcherTable, MatcherIndex);
3739 if (CaseSize == 0)
break;
3742 if (CaseVT == MVT::iPTR)
3743 CaseVT =
TLI->getPointerTy(
CurDAG->getDataLayout());
3746 if (CurNodeVT == CaseVT)
3750 MatcherIndex += CaseSize;
3754 if (CaseSize == 0)
break;
3758 <<
"] from " << SwitchStart <<
" to " << MatcherIndex
3812 CurDAG->getDataLayout()))
3828 if (!
::CheckOrImm(MatcherTable, MatcherIndex,
N, *
this))
break;
3840 assert(NodeStack.
size() != 1 &&
"No parent node");
3843 bool HasMultipleUses =
false;
3844 for (
unsigned i = 1, e = NodeStack.
size()-1; i != e; ++i) {
3845 unsigned NNonChainUses = 0;
3846 SDNode *NS = NodeStack[i].getNode();
3848 if (U.getValueType() != MVT::Other)
3849 if (++NNonChainUses > 1) {
3850 HasMultipleUses =
true;
3853 if (HasMultipleUses)
break;
3855 if (HasMultipleUses)
break;
3894 int64_t Val = MatcherTable[MatcherIndex++];
3896 Val =
GetVBR(Val, MatcherTable, MatcherIndex);
3899 RecordedNodes.
push_back(std::pair<SDValue, SDNode *>(
3900 CurDAG->getSignedConstant(Val,
SDLoc(NodeToMatch), VT,
3920 unsigned RegNo = MatcherTable[MatcherIndex++];
3921 RecordedNodes.
push_back(std::pair<SDValue, SDNode *>(
3922 CurDAG->getRegister(RegNo, VT),
nullptr));
3930 unsigned RegNo = MatcherTable[MatcherIndex++];
3931 RegNo |= MatcherTable[MatcherIndex++] << 8;
3932 RecordedNodes.
push_back(std::pair<SDValue, SDNode*>(
3933 CurDAG->getRegister(RegNo, VT),
nullptr));
3948 ? MatcherTable[MatcherIndex++]
3950 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitConvertToTarget");
3951 SDValue Imm = RecordedNodes[RecNo].first;
3955 Imm =
CurDAG->getTargetConstant(*Val,
SDLoc(NodeToMatch),
3956 Imm.getValueType());
3959 Imm =
CurDAG->getTargetConstantFP(*Val,
SDLoc(NodeToMatch),
3960 Imm.getValueType());
3963 RecordedNodes.
push_back(std::make_pair(Imm, RecordedNodes[RecNo].second));
3972 "EmitMergeInputChains should be the first chain producing node");
3974 "Should only have one EmitMergeInputChains per match");
3978 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitMergeInputChains");
3979 ChainNodesMatched.
push_back(RecordedNodes[RecNo].first.getNode());
3985 if (ChainNodesMatched.
back() != NodeToMatch &&
3986 !RecordedNodes[RecNo].first.hasOneUse()) {
3987 ChainNodesMatched.
clear();
4001 "EmitMergeInputChains should be the first chain producing node");
4008 unsigned NumChains = MatcherTable[MatcherIndex++];
4009 assert(NumChains != 0 &&
"Can't TF zero chains");
4012 "Should only have one EmitMergeInputChains per match");
4015 for (
unsigned i = 0; i != NumChains; ++i) {
4016 unsigned RecNo = MatcherTable[MatcherIndex++];
4017 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitMergeInputChains");
4018 ChainNodesMatched.
push_back(RecordedNodes[RecNo].first.getNode());
4024 if (ChainNodesMatched.
back() != NodeToMatch &&
4025 !RecordedNodes[RecNo].first.hasOneUse()) {
4026 ChainNodesMatched.
clear();
4032 if (ChainNodesMatched.
empty())
4057 : MatcherTable[MatcherIndex++];
4058 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitCopyToReg");
4059 unsigned DestPhysReg = MatcherTable[MatcherIndex++];
4061 DestPhysReg |= MatcherTable[MatcherIndex++] << 8;
4064 InputChain =
CurDAG->getEntryNode();
4066 InputChain =
CurDAG->getCopyToReg(InputChain,
SDLoc(NodeToMatch),
4067 DestPhysReg, RecordedNodes[RecNo].first,
4070 InputGlue = InputChain.
getValue(1);
4075 unsigned XFormNo = MatcherTable[MatcherIndex++];
4076 unsigned RecNo = MatcherTable[MatcherIndex++];
4077 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitNodeXForm");
4079 RecordedNodes.
push_back(std::pair<SDValue,SDNode*>(Res,
nullptr));
4085 unsigned index = MatcherTable[MatcherIndex++];
4086 index |= (MatcherTable[MatcherIndex++] << 8);
4087 index |= (MatcherTable[MatcherIndex++] << 16);
4088 index |= (MatcherTable[MatcherIndex++] << 24);
4120 uint16_t TargetOpc = MatcherTable[MatcherIndex++];
4121 TargetOpc |=
static_cast<uint16_t>(MatcherTable[MatcherIndex++]) << 8;
4122 unsigned EmitNodeInfo;
4141 EmitNodeInfo = MatcherTable[MatcherIndex++];
4166 NumVTs = MatcherTable[MatcherIndex++];
4168 for (
unsigned i = 0; i != NumVTs; ++i) {
4170 if (VT == MVT::iPTR)
4171 VT =
TLI->getPointerTy(
CurDAG->getDataLayout()).SimpleTy;
4183 if (VTs.
size() == 1)
4184 VTList =
CurDAG->getVTList(VTs[0]);
4185 else if (VTs.
size() == 2)
4186 VTList =
CurDAG->getVTList(VTs[0], VTs[1]);
4188 VTList =
CurDAG->getVTList(VTs);
4191 unsigned NumOps = MatcherTable[MatcherIndex++];
4193 for (
unsigned i = 0; i !=
NumOps; ++i) {
4194 unsigned RecNo = MatcherTable[MatcherIndex++];
4196 RecNo =
GetVBR(RecNo, MatcherTable, MatcherIndex);
4198 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitNode");
4199 Ops.push_back(RecordedNodes[RecNo].first);
4206 FirstOpToCopy += (EmitNodeInfo &
OPFL_Chain) ? 1 : 0;
4208 "Invalid variadic node");
4211 for (
unsigned i = FirstOpToCopy, e = NodeToMatch->
getNumOperands();
4214 if (V.getValueType() == MVT::Glue)
break;
4221 Ops.push_back(InputChain);
4223 Ops.push_back(InputGlue);
4229 bool MayRaiseFPException =
4236 bool IsMorphNodeTo =
4239 if (!IsMorphNodeTo) {
4242 Res =
CurDAG->getMachineNode(TargetOpc,
SDLoc(NodeToMatch),
4246 for (
unsigned i = 0, e = VTs.
size(); i != e; ++i) {
4247 if (VTs[i] == MVT::Other || VTs[i] == MVT::Glue)
break;
4253 "NodeToMatch was removed partway through selection");
4257 auto &Chain = ChainNodesMatched;
4259 "Chain node replaced during MorphNode");
4263 Ops, EmitNodeInfo));
4290 bool mayLoad =
MCID.mayLoad();
4291 bool mayStore =
MCID.mayStore();
4297 if (MMO->isLoad()) {
4300 }
else if (MMO->isStore()) {
4308 CurDAG->setNodeMemRefs(Res, FilteredMemRefs);
4312 if (!MatchedMemRefs.
empty() && Res->memoperands_empty())
4313 dbgs() <<
" Dropping mem operands\n";
4314 dbgs() <<
" " << (IsMorphNodeTo ?
"Morphed" :
"Created") <<
" node: ";
4319 if (IsMorphNodeTo) {
4321 UpdateChains(Res, InputChain, ChainNodesMatched,
true);
4331 unsigned NumResults = MatcherTable[MatcherIndex++];
4333 for (
unsigned i = 0; i != NumResults; ++i) {
4334 unsigned ResSlot = MatcherTable[MatcherIndex++];
4336 ResSlot =
GetVBR(ResSlot, MatcherTable, MatcherIndex);
4338 assert(ResSlot < RecordedNodes.
size() &&
"Invalid CompleteMatch");
4339 SDValue Res = RecordedNodes[ResSlot].first;
4341 assert(i < NodeToMatch->getNumValues() &&
4344 "Invalid number of results to complete!");
4350 "invalid replacement");
4355 UpdateChains(NodeToMatch, InputChain, ChainNodesMatched,
false);
4368 "Didn't replace all uses of the node?");
4369 CurDAG->RemoveDeadNode(NodeToMatch);
4378 LLVM_DEBUG(
dbgs() <<
" Match failed at index " << CurrentOpcodeIndex
4380 ++NumDAGIselRetries;
4382 if (MatchScopes.
empty()) {
4383 CannotYetSelect(NodeToMatch);
4389 MatchScope &LastScope = MatchScopes.
back();
4390 RecordedNodes.
resize(LastScope.NumRecordedNodes);
4392 NodeStack.
append(LastScope.NodeStack.begin(), LastScope.NodeStack.end());
4393 N = NodeStack.
back();
4395 if (LastScope.NumMatchedMemRefs != MatchedMemRefs.
size())
4396 MatchedMemRefs.
resize(LastScope.NumMatchedMemRefs);
4397 MatcherIndex = LastScope.FailIndex;
4401 InputChain = LastScope.InputChain;
4402 InputGlue = LastScope.InputGlue;
4403 if (!LastScope.HasChainNodesMatched)
4404 ChainNodesMatched.
clear();
4409 unsigned NumToSkip = MatcherTable[MatcherIndex++];
4410 if (NumToSkip & 128)
4411 NumToSkip =
GetVBR(NumToSkip, MatcherTable, MatcherIndex);
4415 if (NumToSkip != 0) {
4416 LastScope.FailIndex = MatcherIndex+NumToSkip;
4430 if (
N->isMachineOpcode()) {
4432 return MCID.mayRaiseFPException();
4437 if (
N->isTargetOpcode()) {
4441 return N->isStrictFPOpcode();
4454 int32_t Off =
C->getSExtValue();
4457 return (Off >= 0) && (((
A.value() - 1) & Off) ==
unsigned(Off));
4462void SelectionDAGISel::CannotYetSelect(
SDNode *
N) {
4465 Msg <<
"Cannot select: ";
4467 Msg.enable_colors(
errs().has_colors());
4473 Msg <<
"\nIn function: " <<
MF->
getName();
4475 bool HasInputChain =
N->getOperand(0).getValueType() == MVT::Other;
4476 unsigned iid =
N->getConstantOperandVal(HasInputChain);
4477 if (iid < Intrinsic::num_intrinsics)
4480 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[]
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 CheckValueType(const unsigned char *MatcherTable, unsigned &MatcherIndex, SDValue N, const TargetLowering *TLI, const DataLayout &DL)
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 unsigned char *MatcherTable, unsigned &MatcherIndex, const SelectionDAGISel &SDISel)
CheckPatternPredicate - Implements OP_CheckPatternPredicate.
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckChildSame(const unsigned char *MatcherTable, unsigned &MatcherIndex, SDValue N, const SmallVectorImpl< std::pair< SDValue, SDNode * > > &RecordedNodes, unsigned ChildNo)
CheckChildSame - Implements OP_CheckChildXSame.
static uint64_t decodeSignRotatedValue(uint64_t V)
Decode a signed value stored with the sign bit in the LSB for dense VBR encoding.
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 uint64_t GetVBR(uint64_t Val, const unsigned char *MatcherTable, unsigned &Idx)
GetVBR - decode a vbr encoding whose top bit is set.
static void reportFastISelFailure(MachineFunction &MF, OptimizationRemarkEmitter &ORE, OptimizationRemarkMissed &R, bool ShouldAbort)
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 unsigned IsPredicateKnownToFail(const unsigned char *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 bool CheckNodePredicate(unsigned Opcode, const unsigned char *MatcherTable, unsigned &MatcherIndex, const SelectionDAGISel &SDISel, SDValue Op)
CheckNodePredicate - Implements OP_CheckNodePredicate.
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 void processSingleLocVars(FunctionLoweringInfo &FuncInfo, FunctionVarLocs const *FnVarLocs)
Collect single location variable information generated with assignment tracking.
static LLVM_ATTRIBUTE_ALWAYS_INLINE MVT::SimpleValueType getSimpleVT(const unsigned char *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 CheckInteger(const unsigned char *MatcherTable, unsigned &MatcherIndex, SDValue N)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckAndImm(const unsigned char *MatcherTable, unsigned &MatcherIndex, SDValue N, const SelectionDAGISel &SDISel)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckOrImm(const unsigned char *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 LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckSame(const unsigned char *MatcherTable, unsigned &MatcherIndex, SDValue N, const SmallVectorImpl< std::pair< SDValue, SDNode * > > &RecordedNodes)
CheckSame - Implements OP_CheckSame.
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 void preserveFakeUses(BasicBlock::iterator Begin, BasicBlock::iterator End)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckType(MVT::SimpleValueType VT, SDValue N, const TargetLowering *TLI, const DataLayout &DL)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckCondCode(const unsigned char *MatcherTable, unsigned &MatcherIndex, SDValue N)
static bool hasExceptionPointerOrCodeUser(const CatchPadInst *CPI)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckChild2CondCode(const unsigned char *MatcherTable, unsigned &MatcherIndex, SDValue N)
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 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 LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckOpcode(const unsigned char *MatcherTable, unsigned &MatcherIndex, SDNode *N)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckChildInteger(const unsigned char *MatcherTable, unsigned &MatcherIndex, SDValue N, unsigned ChildNo)
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 SDValue HandleMergeInputChains(SmallVectorImpl< SDNode * > &ChainNodesMatched, SelectionDAG *CurDAG)
HandleMergeInputChains - This implements the OPC_EmitMergeInputChains operation for when the pattern ...
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.
Describe properties that are true of each instruction in the target description file.
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)
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_CheckPatternPredicateTwoByte
@ OPC_CheckPatternPredicate1
@ OPC_MorphNodeTo1GlueOutput
@ OPC_EmitMergeInputChains1_1
@ OPC_CheckPatternPredicate2
@ OPC_EmitConvertToTarget2
@ OPC_EmitConvertToTarget0
@ OPC_CheckPatternPredicate4
@ OPC_EmitConvertToTarget1
@ OPC_CheckPatternPredicate
@ OPC_MorphNodeTo0GlueInput
@ OPC_CheckPatternPredicate6
@ OPC_MorphNodeTo0GlueOutput
@ OPC_CheckPatternPredicate7
@ OPC_EmitMergeInputChains
@ OPC_EmitMergeInputChains1_0
@ OPC_CheckFoldableChainNode
@ OPC_EmitConvertToTarget3
@ OPC_CheckPredicateWithOperands
@ OPC_EmitConvertToTarget4
@ OPC_EmitStringInteger32
@ OPC_EmitConvertToTarget7
@ OPC_EmitMergeInputChains1_2
@ OPC_EmitConvertToTarget5
@ OPC_CheckPatternPredicate0
@ OPC_MorphNodeTo1GlueInput
@ 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
void SelectCodeCommon(SDNode *NodeToMatch, const unsigned char *MatcherTable, unsigned TableSize)
static void EnforceNodeIdInvariant(SDNode *N)
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)
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.
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 append(ItTy in_start, ItTy in_end)
Add the specified range to the end of the SmallVector.
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.
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.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
TargetSubtargetInfo - Generic base class for all target subtargets.
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 ...
@ 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.
@ INTRINSIC_VOID
OUTCHAIN = INTRINSIC_VOID(INCHAIN, INTRINSICID, arg1, arg2, ...) This node represents a target intrin...
@ 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...
@ 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,...
@ STRICT_SINT_TO_FP
STRICT_[US]INT_TO_FP - Convert a signed or unsigned integer to a floating point value.
@ TargetConstant
TargetConstant* - Like Constant*, but the DAG does not do any folding, simplification,...
@ 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...
@ 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.
@ 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 void initializeGCModuleInfoPass(PassRegistry &)
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.
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