80#include "llvm/IR/IntrinsicsWebAssembly.h"
117#define DEBUG_TYPE "isel"
118#define ISEL_DUMP_DEBUG_TYPE DEBUG_TYPE "-dump"
120STATISTIC(NumFastIselFailures,
"Number of instructions fast isel failed on");
121STATISTIC(NumFastIselSuccess,
"Number of instructions fast isel selected");
122STATISTIC(NumFastIselBlocks,
"Number of blocks selected entirely by fast isel");
123STATISTIC(NumDAGBlocks,
"Number of blocks selected using DAG");
124STATISTIC(NumDAGIselRetries,
"Number of times dag isel has to try another path");
125STATISTIC(NumEntryBlocks,
"Number of entry blocks encountered");
127 "Number of entry blocks where fast isel failed to lower arguments");
131 cl::desc(
"Enable abort calls when \"fast\" instruction selection "
132 "fails to lower an instruction: 0 disable the abort, 1 will "
133 "abort but for args, calls and terminators, 2 will also "
134 "abort for argument lowering, and 3 will never fallback "
135 "to SelectionDAG."));
139 cl::desc(
"Emit a diagnostic when \"fast\" instruction selection "
140 "falls back to SelectionDAG."));
144 cl::desc(
"use Machine Branch Probability Info"),
150 cl::desc(
"Print DAGs with sorted nodes in debug dump"),
155 cl::desc(
"Only display the basic block whose name "
156 "matches this for all view-*-dags options"));
159 cl::desc(
"Pop up a window to show dags before the first "
160 "dag combine pass"));
163 cl::desc(
"Pop up a window to show dags before legalize types"));
166 cl::desc(
"Pop up a window to show dags before the post "
167 "legalize types dag combine pass"));
170 cl::desc(
"Pop up a window to show dags before legalize"));
173 cl::desc(
"Pop up a window to show dags before the second "
174 "dag combine pass"));
177 cl::desc(
"Pop up a window to show isel dags as they are selected"));
180 cl::desc(
"Pop up a window to show sched dags as they are processed"));
183 cl::desc(
"Pop up a window to show SUnit dags after they are processed"));
192#define ISEL_DUMP(X) \
194 if (llvm::DebugFlag && \
195 (isCurrentDebugType(DEBUG_TYPE) || \
196 (isCurrentDebugType(ISEL_DUMP_DEBUG_TYPE) && MatchFilterFuncName))) { \
201#define ISEL_DUMP(X) do { } while (false)
221 cl::desc(
"Instruction schedulers available (before register"
234 return Arg.hasAttribute(Attribute::AttrKind::SwiftAsync);
264 SavedOptLevel = IS.OptLevel;
265 SavedFastISel = IS.TM.Options.EnableFastISel;
266 if (NewOptLevel != SavedOptLevel) {
267 IS.OptLevel = NewOptLevel;
268 IS.TM.setOptLevel(NewOptLevel);
269 LLVM_DEBUG(
dbgs() <<
"\nChanging optimization level for Function "
270 << IS.MF->getFunction().getName() <<
"\n");
271 LLVM_DEBUG(
dbgs() <<
"\tBefore: -O" <<
static_cast<int>(SavedOptLevel)
272 <<
" ; After: -O" <<
static_cast<int>(NewOptLevel)
275 IS.TM.setFastISel(IS.TM.getO0WantsFastISel());
278 IS.TM.setFastISel(
false);
280 dbgs() <<
"\tFastISel is "
281 << (IS.TM.Options.EnableFastISel ?
"enabled" :
"disabled")
286 if (IS.OptLevel == SavedOptLevel)
288 LLVM_DEBUG(
dbgs() <<
"\nRestoring optimization level for Function "
289 << IS.MF->getFunction().getName() <<
"\n");
290 LLVM_DEBUG(
dbgs() <<
"\tBefore: -O" <<
static_cast<int>(IS.OptLevel)
291 <<
" ; After: -O" <<
static_cast<int>(SavedOptLevel) <<
"\n");
292 IS.OptLevel = SavedOptLevel;
293 IS.TM.setOptLevel(SavedOptLevel);
294 IS.TM.setFastISel(SavedFastISel);
307 if (
auto *SchedulerCtor = ST.getDAGScheduler(OptLevel)) {
308 return SchedulerCtor(IS, OptLevel);
312 (ST.enableMachineScheduler() && ST.enableMachineSchedDefaultSched()) ||
326 "Unknown sched type!");
335 switch (
MI.getOpcode()) {
336 case TargetOpcode::STATEPOINT:
339 case TargetOpcode::STACKMAP:
340 case TargetOpcode::PATCHPOINT:
347 dbgs() <<
"If a target marks an instruction with "
348 "'usesCustomInserter', it must implement "
349 "TargetLowering::EmitInstrWithCustomInserter!\n";
357 "If a target marks an instruction with 'hasPostISelHook', "
358 "it must implement TargetLowering::AdjustInstrPostInstrSelection!");
366 char &
ID, std::unique_ptr<SelectionDAGISel> S)
390 : Selector->OptLevel;
394 Selector->initializeAnalysisResults(*
this);
395 return Selector->runOnMachineFunction(MF);
424 if (
UseMBPI && RegisterPGOPasses)
431 if (RegisterPGOPasses)
460 : Selector->OptLevel;
463 Selector->initializeAnalysisResults(MFAM);
464 Selector->runOnMachineFunction(MF);
490 ORE = std::make_unique<OptimizationRemarkEmitter>(&Fn);
495 if (PSI && PSI->hasProfileSummary() && RegisterPGOPasses)
508 if (!LibcallResult) {
510 "' analysis required");
522 if (
UseMBPI && RegisterPGOPasses)
558 ORE = std::make_unique<OptimizationRemarkEmitter>(&Fn);
562 if (PSI && PSI->hasProfileSummary() && RegisterPGOPasses)
571 UA = &UAPass->getUniformityInfo();
588 if (
UseMBPI && RegisterPGOPasses)
618 MF->setHasInlineAsm(
false);
645 TLI->initializeSplitCSR(EntryMBB);
647 SelectAllBasicBlocks(Fn);
667 auto J =
FuncInfo->RegFixups.find(To);
696 if (!
MBB.succ_empty())
700 if (Term !=
MBB.end() && Term->isReturn()) {
705 TLI->insertCopiesSplitCSR(EntryMBB, Returns);
709 if (!
FuncInfo->ArgDbgValues.empty())
710 for (std::pair<MCRegister, Register> LI :
RegInfo->liveins())
715 for (
unsigned i = 0, e =
FuncInfo->ArgDbgValues.size(); i != e; ++i) {
717 assert(
MI->getOpcode() != TargetOpcode::DBG_VALUE_LIST &&
718 "Function parameters should not be described by DBG_VALUE_LIST.");
719 bool hasFI =
MI->getDebugOperand(0).isFI();
721 hasFI ?
TRI.getFrameRegister(*
MF) :
MI->getDebugOperand(0).getReg();
722 if (Reg.isPhysical())
729 Def->getParent()->insert(std::next(InsertPos),
MI);
740 if (!Reg.isPhysical())
742 auto LDI = LiveInMap.
find(Reg);
743 if (LDI != LiveInMap.
end()) {
744 assert(!hasFI &&
"There's no handling of frame pointer updating here yet "
748 const MDNode *Variable =
MI->getDebugVariable();
749 const MDNode *Expr =
MI->getDebugExpression();
751 bool IsIndirect =
MI->isIndirectDebugValue();
753 assert(
MI->getDebugOffset().getImm() == 0 &&
754 "DBG_VALUE with nonzero offset");
756 "Expected inlined-at fields to agree");
757 assert(
MI->getOpcode() != TargetOpcode::DBG_VALUE_LIST &&
758 "Didn't expect to see a DBG_VALUE_LIST here");
760 BuildMI(*EntryMBB, ++InsertPos,
DL,
TII->get(TargetOpcode::DBG_VALUE),
761 IsIndirect, LDI->second, Variable, Expr);
768 if (
UseMI.isDebugValue())
770 if (
UseMI.isCopy() && !CopyUseMI &&
UseMI.getParent() == EntryMBB) {
779 TRI.getRegSizeInBits(LDI->second, MRI) ==
794 if (
MF->useDebugInstrRef())
795 MF->finalizeDebugInstrRefs();
799 for (
const auto &
MBB : *
MF) {
803 for (
const auto &
MI :
MBB) {
805 if ((
MCID.isCall() && !
MCID.isReturn()) ||
806 MI.isStackAligningInlineAsm()) {
809 if (
MI.isInlineAsm()) {
810 MF->setHasInlineAsm(
true);
819 ISEL_DUMP(
dbgs() <<
"*** MachineFunction at end of ISel ***\n");
831 if (!R.getLocation().isValid() || ShouldAbort)
832 R << (
" (in function: " + MF.
getName() +
")").str();
850 bool HaveFakeUse =
false;
851 bool HaveTailCall =
false;
854 if (CI->isTailCall()) {
859 if (
II->getIntrinsicID() == Intrinsic::fake_use)
861 }
while (
I != Begin);
864 if (!HaveTailCall || !HaveFakeUse)
873 FakeUse && FakeUse->getIntrinsicID() == Intrinsic::fake_use) {
875 !UsedDef || UsedDef->getParent() !=
I->getParent() ||
876 UsedDef->comesBefore(&*
I))
881 for (
auto *Inst : FakeUses)
882 Inst->moveBefore(*Inst->getParent(),
I);
889 CurDAG->NewNodesMustHaveLegalTypes =
false;
898 SDB->visitDbgInfo(*
I);
903 HadTailCall =
SDB->HasTailCall;
904 SDB->resolveOrClearDbgInfo();
911void SelectionDAGISel::ComputeLiveOutVRegInfo() {
912 SmallPtrSet<SDNode *, 16>
Added;
925 if (
Op.getValueType() == MVT::Other &&
Added.insert(
Op.getNode()).second)
938 EVT SrcVT = Src.getValueType();
942 unsigned NumSignBits =
CurDAG->ComputeNumSignBits(Src);
943 Known =
CurDAG->computeKnownBits(Src);
944 FuncInfo->AddLiveOutRegInfo(DestReg, NumSignBits, Known);
945 }
while (!Worklist.
empty());
948void SelectionDAGISel::CodeGenAndEmitDAG() {
949 StringRef GroupName =
"sdag";
950 StringRef GroupDescription =
"Instruction Selection and Scheduling";
951 std::string BlockName;
952 bool MatchFilterBB =
false;
956 CurDAG->NewNodesMustHaveLegalTypes =
false;
961 FuncInfo->MBB->getBasicBlock()->getName());
970 (
MF->getName() +
":" +
FuncInfo->MBB->getBasicBlock()->getName()).str();
977#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
978 if (
TTI->hasBranchDivergence())
979 CurDAG->VerifyDAGDivergence();
983 CurDAG->viewGraph(
"dag-combine1 input for " + BlockName);
987 NamedRegionTimer
T(
"combine1",
"DAG Combining 1", GroupName,
997#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
998 if (
TTI->hasBranchDivergence())
999 CurDAG->VerifyDAGDivergence();
1005 CurDAG->viewGraph(
"legalize-types input for " + BlockName);
1009 NamedRegionTimer
T(
"legalize_types",
"Type Legalization", GroupName,
1019#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1020 if (
TTI->hasBranchDivergence())
1021 CurDAG->VerifyDAGDivergence();
1025 CurDAG->NewNodesMustHaveLegalTypes =
true;
1029 CurDAG->viewGraph(
"dag-combine-lt input for " + BlockName);
1033 NamedRegionTimer
T(
"combine_lt",
"DAG Combining after legalize types",
1038 ISEL_DUMP(
dbgs() <<
"\nOptimized type-legalized selection DAG: "
1043#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1044 if (
TTI->hasBranchDivergence())
1045 CurDAG->VerifyDAGDivergence();
1050 NamedRegionTimer
T(
"legalize_vec",
"Vector Legalization", GroupName,
1061#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1062 if (
TTI->hasBranchDivergence())
1063 CurDAG->VerifyDAGDivergence();
1067 NamedRegionTimer
T(
"legalize_types2",
"Type Legalization 2", GroupName,
1072 ISEL_DUMP(
dbgs() <<
"\nVector/type-legalized selection DAG: "
1077#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1078 if (
TTI->hasBranchDivergence())
1079 CurDAG->VerifyDAGDivergence();
1083 CurDAG->viewGraph(
"dag-combine-lv input for " + BlockName);
1087 NamedRegionTimer
T(
"combine_lv",
"DAG Combining after legalize vectors",
1092 ISEL_DUMP(
dbgs() <<
"\nOptimized vector-legalized selection DAG: "
1097#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1098 if (
TTI->hasBranchDivergence())
1099 CurDAG->VerifyDAGDivergence();
1104 CurDAG->viewGraph(
"legalize input for " + BlockName);
1107 NamedRegionTimer
T(
"legalize",
"DAG Legalization", GroupName,
1117#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1118 if (
TTI->hasBranchDivergence())
1119 CurDAG->VerifyDAGDivergence();
1123 CurDAG->viewGraph(
"dag-combine2 input for " + BlockName);
1127 NamedRegionTimer
T(
"combine2",
"DAG Combining 2", GroupName,
1137#if !defined(NDEBUG) && LLVM_ENABLE_ABI_BREAKING_CHECKS
1138 if (
TTI->hasBranchDivergence())
1139 CurDAG->VerifyDAGDivergence();
1143 ComputeLiveOutVRegInfo();
1146 CurDAG->viewGraph(
"isel input for " + BlockName);
1151 NamedRegionTimer
T(
"isel",
"Instruction Selection", GroupName,
1153 DoInstructionSelection();
1162 CurDAG->viewGraph(
"scheduler input for " + BlockName);
1165 ScheduleDAGSDNodes *
Scheduler = CreateScheduler();
1167 NamedRegionTimer
T(
"sched",
"Instruction Scheduling", GroupName,
1177 MachineBasicBlock *FirstMBB =
FuncInfo->MBB, *LastMBB;
1179 NamedRegionTimer
T(
"emit",
"Instruction Creation", GroupName,
1189 if (FirstMBB != LastMBB)
1190 SDB->UpdateSplitBlock(FirstMBB, LastMBB);
1194 NamedRegionTimer
T(
"cleanup",
"Instruction Scheduling Cleanup", GroupName,
1212 : SelectionDAG::DAGUpdateListener(DAG), ISelPosition(isp) {}
1217 void NodeDeleted(SDNode *
N, SDNode *
E)
override {
1225 void NodeInserted(SDNode *
N)
override {
1226 SDNode *CurNode = &*ISelPosition;
1227 if (MDNode *MD = DAG.getPCSections(CurNode))
1228 DAG.addPCSections(
N, MD);
1229 if (MDNode *MMRA = DAG.getMMRAMetadata(CurNode))
1230 DAG.addMMRAMetadata(
N, MMRA);
1260 while (!Nodes.
empty()) {
1262 for (
auto *U :
N->users()) {
1263 auto UId = U->getNodeId();
1276 int InvalidId = -(
N->getNodeId() + 1);
1277 N->setNodeId(InvalidId);
1282 int Id =
N->getNodeId();
1288void SelectionDAGISel::DoInstructionSelection() {
1291 <<
FuncInfo->MBB->getName() <<
"'\n");
1309 ISelUpdater ISU(*
CurDAG, ISelPosition);
1320 if (
Node->use_empty())
1327 while (!Nodes.
empty()) {
1344 "Node has already selected predecessor node");
1356 if (!
TLI->isStrictFPEnabled() &&
Node->isStrictFPOpcode()) {
1361 switch (
Node->getOpcode()) {
1370 ActionVT =
Node->getOperand(1).getValueType();
1373 ActionVT =
Node->getValueType(0);
1376 if (
TLI->getOperationAction(
Node->getOpcode(), ActionVT)
1381 LLVM_DEBUG(
dbgs() <<
"\nISEL: Starting selection on root node: ";
1387 CurDAG->setRoot(Dummy.getValue());
1399 if (IID == Intrinsic::eh_exceptionpointer ||
1400 IID == Intrinsic::eh_exceptioncode)
1415 bool IsSingleCatchAllClause =
1420 bool IsCatchLongjmp = CPI->
arg_size() == 0;
1421 if (!IsSingleCatchAllClause && !IsCatchLongjmp) {
1423 bool IntrFound =
false;
1427 if (IID == Intrinsic::wasm_landingpad_index) {
1428 Value *IndexArg =
Call->getArgOperand(1);
1436 assert(IntrFound &&
"wasm.landingpad.index intrinsic not found!");
1443bool SelectionDAGISel::PrepareEHLandingPad() {
1447 const TargetRegisterClass *PtrRC =
1448 TLI->getRegClassFor(
TLI->getPointerTy(
CurDAG->getDataLayout()));
1459 MCRegister EHPhysReg =
TLI->getExceptionPointerRegister(PersonalityFn);
1460 assert(EHPhysReg &&
"target lacks exception pointer register");
1464 TII->get(TargetOpcode::COPY), VReg)
1475 const MCInstrDesc &
II =
TII->get(TargetOpcode::EH_LABEL);
1481 const TargetRegisterInfo &
TRI = *
MF->getSubtarget().getRegisterInfo();
1482 if (
auto *RegMask =
TRI.getCustomEHPadPreservedMask(*
MF))
1483 MF->getRegInfo().addPhysRegsUsedFromRegMask(RegMask);
1490 MF->setCallSiteLandingPad(Label,
SDB->LPadToCallSiteMap[
MBB]);
1492 if (MCRegister
Reg =
TLI->getExceptionPointerRegister(PersonalityFn))
1495 if (MCRegister
Reg =
TLI->getExceptionSelectorRegister(PersonalityFn))
1504 llvm::WinEHFuncInfo *EHInfo =
MF->getWinEHFuncInfo();
1507 for (MachineBasicBlock &
MBB : *
MF) {
1517 MachineInstr *MIb = &*MBBb;
1522 MCSymbol *BeginLabel =
MF->getContext().createTempSymbol();
1523 MCSymbol *EndLabel =
MF->getContext().createTempSymbol();
1526 TII->get(TargetOpcode::EH_LABEL))
1529 MachineInstr *MIe = &*(--MBBe);
1535 TII->get(TargetOpcode::EH_LABEL))
1546 return !
I->mayWriteToMemory() &&
1547 !
I->isTerminator() &&
1559 auto ArgIt = FuncInfo.
ValueMap.find(Arg);
1560 if (ArgIt == FuncInfo.
ValueMap.end())
1562 Register ArgVReg = ArgIt->getSecond();
1566 if (VirtReg == ArgVReg) {
1570 LLVM_DEBUG(
dbgs() <<
"processDbgDeclare: setVariableDbgInfo Var=" << *Var
1571 <<
", Expr=" << *Expr <<
", MCRegister=" << PhysReg
1572 <<
", DbgLoc=" << DbgLoc <<
"\n");
1583 <<
" (bad address)\n");
1590 if (!Address->getType()->isPointerTy())
1596 assert(Var &&
"Missing variable");
1597 assert(DbgLoc &&
"Missing location");
1601 APInt Offset(
DL.getIndexTypeSizeInBits(Address->getType()), 0);
1602 Address = Address->stripAndAccumulateInBoundsConstantOffsets(
DL,
Offset);
1607 int FI = std::numeric_limits<int>::max();
1615 if (FI == std::numeric_limits<int>::max())
1618 if (
Offset.getBoolValue())
1622 LLVM_DEBUG(
dbgs() <<
"processDbgDeclare: setVariableDbgInfo Var=" << *Var
1623 <<
", Expr=" << *Expr <<
", FI=" << FI
1624 <<
", DbgLoc=" << DbgLoc <<
"\n");
1636 DVR.getExpression(), DVR.getVariable(),
1651 assert(!It->Values.hasArgList() &&
"Single loc variadic ops not supported");
1657void SelectionDAGISel::SelectAllBasicBlocks(
const Function &Fn) {
1660 FastISel *FastIS =
nullptr;
1661 if (
TM.Options.EnableFastISel) {
1666 ReversePostOrderTraversal<const Function*> RPOT(&Fn);
1687 ++NumFastIselFailLowerArguments;
1689 OptimizationRemarkMissed
R(
"sdagisel",
"FastISelFailure",
1692 R <<
"FastISel didn't lower all arguments: "
1700 CodeGenAndEmitDAG();
1714 if (FastIS && Inserted)
1719 "expected AssignmentTrackingAnalysis pass results");
1727 for (
const BasicBlock *LLVMBB : RPOT) {
1729 bool AllPredsVisited =
true;
1731 if (!
FuncInfo->VisitedBBs[Pred->getNumber()]) {
1732 AllPredsVisited =
false;
1737 if (AllPredsVisited) {
1738 for (
const PHINode &PN : LLVMBB->
phis())
1739 FuncInfo->ComputePHILiveOutRegInfo(&PN);
1741 for (
const PHINode &PN : LLVMBB->
phis())
1742 FuncInfo->InvalidatePHILiveOutRegInfo(&PN);
1753 const_cast<BasicBlock *
>(LLVMBB)->getFirstNonPHIIt();
1773 if (!PrepareEHLandingPad())
1779 if (NewRoot && NewRoot !=
CurDAG->getRoot())
1780 CurDAG->setRoot(NewRoot);
1789 unsigned NumFastIselRemaining = std::distance(Begin, End);
1795 for (; BI != Begin; --BI) {
1801 --NumFastIselRemaining;
1812 --NumFastIselRemaining;
1813 ++NumFastIselSuccess;
1820 while (BeforeInst != &*Begin) {
1830 <<
"FastISel folded load: " << *BeforeInst <<
"\n");
1833 --NumFastIselRemaining;
1834 ++NumFastIselSuccess;
1848 OptimizationRemarkMissed
R(
"sdagisel",
"FastISelFailure",
1851 R <<
"FastISel missed call";
1854 std::string InstStrStorage;
1855 raw_string_ostream InstStr(InstStrStorage);
1858 R <<
": " << InstStrStorage;
1867 NumFastIselFailures += NumFastIselRemaining;
1878 bool HadTailCall =
false;
1880 SelectBasicBlock(Inst->
getIterator(), BI, HadTailCall);
1892 unsigned RemainingNow = std::distance(Begin, BI);
1893 NumFastIselFailures += NumFastIselRemaining - RemainingNow;
1894 NumFastIselRemaining = RemainingNow;
1898 OptimizationRemarkMissed
R(
"sdagisel",
"FastISelFailure",
1904 R <<
"FastISel missed terminator";
1908 R <<
"FastISel missed";
1912 std::string InstStrStorage;
1913 raw_string_ostream InstStr(InstStrStorage);
1915 R <<
": " << InstStrStorage;
1920 NumFastIselFailures += NumFastIselRemaining;
1927 if (
SP->shouldEmitSDCheck(*LLVMBB)) {
1928 bool FunctionBasedInstrumentation =
1931 SDB->SPDescriptor.initialize(LLVMBB,
FuncInfo->getMBB(LLVMBB),
1932 FunctionBasedInstrumentation);
1938 ++NumFastIselBlocks;
1945 SelectBasicBlock(Begin, BI, HadTailCall);
1957 FuncInfo->PHINodesToUpdate.clear();
1963 reportIPToStateForBlocks(
MF);
1965 SP->copyToMachineFrameInfo(
MF->getFrameInfo());
1970 SDB->clearDanglingDebugInfo();
1971 SDB->SPDescriptor.resetPerFunctionState();
1975SelectionDAGISel::FinishBasicBlock() {
1977 <<
FuncInfo->PHINodesToUpdate.size() <<
"\n";
1978 for (
unsigned i = 0, e =
FuncInfo->PHINodesToUpdate.size(); i != e;
1980 <<
"Node " << i <<
" : (" <<
FuncInfo->PHINodesToUpdate[i].first
1986 for (
unsigned i = 0, e =
FuncInfo->PHINodesToUpdate.size(); i != e; ++i) {
1987 MachineInstrBuilder
PHI(*
MF,
FuncInfo->PHINodesToUpdate[i].first);
1989 "This is not a machine PHI node that we are updating!");
1990 if (!
FuncInfo->MBB->isSuccessor(
PHI->getParent()))
1996 if (
SDB->SPDescriptor.shouldEmitFunctionBasedCheckStackProtector()) {
1999 MachineBasicBlock *ParentMBB =
SDB->SPDescriptor.getParentMBB();
2004 SDB->visitSPDescriptorParent(
SDB->SPDescriptor, ParentMBB);
2007 CodeGenAndEmitDAG();
2010 SDB->SPDescriptor.resetPerBBState();
2011 }
else if (
SDB->SPDescriptor.shouldEmitStackProtector()) {
2012 MachineBasicBlock *ParentMBB =
SDB->SPDescriptor.getParentMBB();
2013 MachineBasicBlock *SuccessMBB =
SDB->SPDescriptor.getSuccessMBB();
2025 SuccessMBB->
splice(SuccessMBB->
end(), ParentMBB, SplitPoint,
2031 SDB->visitSPDescriptorParent(
SDB->SPDescriptor, ParentMBB);
2034 CodeGenAndEmitDAG();
2037 MachineBasicBlock *FailureMBB =
SDB->SPDescriptor.getFailureMBB();
2038 if (FailureMBB->
empty()) {
2041 SDB->visitSPDescriptorFailure(
SDB->SPDescriptor);
2044 CodeGenAndEmitDAG();
2048 SDB->SPDescriptor.resetPerBBState();
2052 for (
auto &BTB :
SDB->SL->BitTestCases) {
2062 CodeGenAndEmitDAG();
2065 BranchProbability UnhandledProb = BTB.Prob;
2066 for (
unsigned j = 0, ej = BTB.Cases.size(); j != ej; ++j) {
2067 UnhandledProb -= BTB.Cases[
j].ExtraProb;
2081 MachineBasicBlock *NextMBB;
2082 if ((BTB.ContiguousRange || BTB.FallthroughUnreachable) && j + 2 == ej) {
2085 NextMBB = BTB.Cases[
j + 1].TargetBB;
2086 }
else if (j + 1 == ej) {
2088 NextMBB = BTB.Default;
2091 NextMBB = BTB.Cases[
j + 1].ThisBB;
2094 SDB->visitBitTestCase(BTB, NextMBB, UnhandledProb, BTB.Reg, BTB.Cases[j],
2099 CodeGenAndEmitDAG();
2101 if ((BTB.ContiguousRange || BTB.FallthroughUnreachable) && j + 2 == ej) {
2103 BTB.Cases.pop_back();
2109 for (
const std::pair<MachineInstr *, Register> &
P :
2111 MachineInstrBuilder
PHI(*
MF,
P.first);
2112 MachineBasicBlock *PHIBB =
PHI->getParent();
2114 "This is not a machine PHI node that we are updating!");
2117 if (PHIBB == BTB.Default) {
2118 PHI.addReg(
P.second).addMBB(BTB.Parent);
2119 if (!BTB.ContiguousRange) {
2120 PHI.addReg(
P.second).addMBB(BTB.Cases.back().ThisBB);
2124 for (
const SwitchCG::BitTestCase &
BT : BTB.Cases) {
2125 MachineBasicBlock* cBB =
BT.ThisBB;
2127 PHI.addReg(
P.second).addMBB(cBB);
2131 SDB->SL->BitTestCases.clear();
2136 for (
unsigned i = 0, e =
SDB->SL->JTCases.size(); i != e; ++i) {
2138 if (!
SDB->SL->JTCases[i].first.Emitted) {
2140 FuncInfo->MBB =
SDB->SL->JTCases[i].first.HeaderBB;
2143 SDB->visitJumpTableHeader(
SDB->SL->JTCases[i].second,
2147 CodeGenAndEmitDAG();
2154 SDB->visitJumpTable(
SDB->SL->JTCases[i].second);
2157 CodeGenAndEmitDAG();
2160 for (
unsigned pi = 0, pe =
FuncInfo->PHINodesToUpdate.size();
2162 MachineInstrBuilder
PHI(*
MF,
FuncInfo->PHINodesToUpdate[pi].first);
2165 "This is not a machine PHI node that we are updating!");
2167 if (PHIBB ==
SDB->SL->JTCases[i].second.Default)
2169 .addMBB(
SDB->SL->JTCases[i].first.HeaderBB);
2171 if (
FuncInfo->MBB->isSuccessor(PHIBB))
2175 SDB->SL->JTCases.clear();
2179 for (
unsigned i = 0, e =
SDB->SL->SwitchCases.size(); i != e; ++i) {
2187 if (
SDB->SL->SwitchCases[i].TrueBB !=
SDB->SL->SwitchCases[i].FalseBB)
2194 CodeGenAndEmitDAG();
2198 MachineBasicBlock *ThisBB =
FuncInfo->MBB;
2204 for (MachineBasicBlock *Succ : Succs) {
2215 for (
unsigned pn = 0; ; ++pn) {
2217 "Didn't find PHI entry!");
2218 if (
FuncInfo->PHINodesToUpdate[pn].first ==
PHI) {
2219 PHI.addReg(
FuncInfo->PHINodesToUpdate[pn].second).addMBB(ThisBB);
2227 SDB->SL->SwitchCases.clear();
2248 int64_t DesiredMaskS)
const {
2249 const APInt &ActualMask = RHS->getAPIntValue();
2252 const APInt &DesiredMask =
APInt(LHS.getValueSizeInBits(), DesiredMaskS,
2256 if (ActualMask == DesiredMask)
2265 APInt NeededMask = DesiredMask & ~ActualMask;
2266 if (
CurDAG->MaskedValueIsZero(LHS, NeededMask))
2280 int64_t DesiredMaskS)
const {
2281 const APInt &ActualMask = RHS->getAPIntValue();
2284 const APInt &DesiredMask =
APInt(LHS.getValueSizeInBits(), DesiredMaskS,
2288 if (ActualMask == DesiredMask)
2297 APInt NeededMask = DesiredMask & ~ActualMask;
2317 std::list<HandleSDNode> Handles;
2322 Handles.emplace_back(
2331 if (!Flags.isMemKind() && !Flags.isFuncKind()) {
2333 Handles.insert(Handles.end(),
Ops.begin() + i,
2334 Ops.begin() + i + Flags.getNumOperandRegisters() + 1);
2335 i += Flags.getNumOperandRegisters() + 1;
2337 assert(Flags.getNumOperandRegisters() == 1 &&
2338 "Memory operand with multiple values?");
2340 unsigned TiedToOperand;
2341 if (Flags.isUseOperandTiedToDef(TiedToOperand)) {
2345 for (; TiedToOperand; --TiedToOperand) {
2346 CurOp += Flags.getNumOperandRegisters() + 1;
2352 std::vector<SDValue> SelOps;
2354 Flags.getMemoryConstraintID();
2363 Flags.setMemConstraint(ConstraintID);
2364 Handles.emplace_back(
CurDAG->getTargetConstant(Flags,
DL, MVT::i32));
2371 if (e !=
Ops.size())
2372 Handles.emplace_back(
Ops.back());
2375 for (
auto &handle : Handles)
2376 Ops.push_back(handle.getValue());
2382 bool IgnoreChains) {
2391 Visited.
insert(ImmedUse);
2396 if ((
Op.getValueType() == MVT::Other && IgnoreChains) ||
N == Def)
2398 if (!Visited.
insert(
N).second)
2404 if (Root != ImmedUse) {
2408 if ((
Op.getValueType() == MVT::Other && IgnoreChains) ||
N == Def)
2410 if (!Visited.
insert(
N).second)
2425 return N.hasOneUse();
2432 bool IgnoreChains) {
2481 while (VT == MVT::Glue) {
2492 IgnoreChains =
false;
2498void SelectionDAGISel::Select_INLINEASM(
SDNode *
N) {
2501 std::vector<SDValue>
Ops(
N->op_begin(),
N->op_end());
2504 const EVT VTs[] = {MVT::Other, MVT::Glue};
2511void SelectionDAGISel::Select_READ_REGISTER(
SDNode *
Op) {
2516 EVT VT =
Op->getValueType(0);
2519 const MachineFunction &
MF =
CurDAG->getMachineFunction();
2527 "\" for llvm.read_register",
2528 Fn,
Op->getDebugLoc()));
2530 SDValue(
CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF, dl, VT), 0);
2534 CurDAG->getCopyFromReg(
Op->getOperand(0), dl,
Reg,
Op->getValueType(0));
2542void SelectionDAGISel::Select_WRITE_REGISTER(
SDNode *
Op) {
2547 EVT VT =
Op->getOperand(2).getValueType();
2550 const MachineFunction &
MF =
CurDAG->getMachineFunction();
2557 "\" for llvm.write_register",
2558 Fn,
Op->getDebugLoc()));
2562 CurDAG->getCopyToReg(
Op->getOperand(0), dl,
Reg,
Op->getOperand(2));
2570void SelectionDAGISel::Select_UNDEF(
SDNode *
N) {
2571 CurDAG->SelectNodeTo(
N, TargetOpcode::IMPLICIT_DEF,
N->getValueType(0));
2576void SelectionDAGISel::Select_FAKE_USE(
SDNode *
N) {
2577 CurDAG->SelectNodeTo(
N, TargetOpcode::FAKE_USE,
N->getValueType(0),
2578 N->getOperand(1),
N->getOperand(0));
2581void SelectionDAGISel::Select_RELOC_NONE(
SDNode *
N) {
2582 CurDAG->SelectNodeTo(
N, TargetOpcode::RELOC_NONE,
N->getValueType(0),
2583 N->getOperand(1),
N->getOperand(0));
2586void SelectionDAGISel::Select_FREEZE(
SDNode *
N) {
2590 CurDAG->SelectNodeTo(
N, TargetOpcode::COPY,
N->getValueType(0),
2594void SelectionDAGISel::Select_ARITH_FENCE(
SDNode *
N) {
2595 CurDAG->SelectNodeTo(
N, TargetOpcode::ARITH_FENCE,
N->getValueType(0),
2599void SelectionDAGISel::Select_MEMBARRIER(
SDNode *
N) {
2600 CurDAG->SelectNodeTo(
N, TargetOpcode::MEMBARRIER,
N->getValueType(0),
2604void SelectionDAGISel::Select_CONVERGENCECTRL_ANCHOR(
SDNode *
N) {
2605 CurDAG->SelectNodeTo(
N, TargetOpcode::CONVERGENCECTRL_ANCHOR,
2606 N->getValueType(0));
2609void SelectionDAGISel::Select_CONVERGENCECTRL_ENTRY(
SDNode *
N) {
2610 CurDAG->SelectNodeTo(
N, TargetOpcode::CONVERGENCECTRL_ENTRY,
2611 N->getValueType(0));
2614void SelectionDAGISel::Select_CONVERGENCECTRL_LOOP(
SDNode *
N) {
2615 CurDAG->SelectNodeTo(
N, TargetOpcode::CONVERGENCECTRL_LOOP,
2616 N->getValueType(0),
N->getOperand(0));
2621 SDNode *OpNode = OpVal.
getNode();
2629 CurDAG->getTargetConstant(StackMaps::ConstantOp,
DL, MVT::i64));
2633 Ops.push_back(OpVal);
2637void SelectionDAGISel::Select_STACKMAP(
SDNode *
N) {
2639 auto *It =
N->op_begin();
2648 assert(
ID.getValueType() == MVT::i64);
2654 Ops.push_back(Shad);
2657 for (; It !=
N->op_end(); It++)
2658 pushStackMapLiveVariable(
Ops, *It,
DL);
2660 Ops.push_back(Chain);
2661 Ops.push_back(InGlue);
2663 SDVTList NodeTys =
CurDAG->getVTList(MVT::Other, MVT::Glue);
2664 CurDAG->SelectNodeTo(
N, TargetOpcode::STACKMAP, NodeTys,
Ops);
2667void SelectionDAGISel::Select_PATCHPOINT(
SDNode *
N) {
2669 auto *It =
N->op_begin();
2674 std::optional<SDValue> Glue;
2675 if (It->getValueType() == MVT::Glue)
2681 assert(
ID.getValueType() == MVT::i64);
2687 Ops.push_back(Shad);
2690 Ops.push_back(*It++);
2695 Ops.push_back(NumArgs);
2698 Ops.push_back(*It++);
2702 Ops.push_back(*It++);
2705 for (; It !=
N->op_end(); It++)
2706 pushStackMapLiveVariable(
Ops, *It,
DL);
2709 Ops.push_back(RegMask);
2710 Ops.push_back(Chain);
2711 if (Glue.has_value())
2712 Ops.push_back(*Glue);
2714 SDVTList NodeTys =
N->getVTList();
2715 CurDAG->SelectNodeTo(
N, TargetOpcode::PATCHPOINT, NodeTys,
Ops);
2721 assert(Val >= 128 &&
"Not a VBR");
2727 NextBits = MatcherTable[Idx++];
2728 Val |= (NextBits&127) << Shift;
2730 }
while (NextBits & 128);
2741 NextBits = MatcherTable[Idx++];
2742 Val |= (NextBits & 127) << Shift;
2744 }
while (NextBits & 128);
2746 if (Shift < 64 && (NextBits & 0x40))
2756 unsigned SimpleVT = MatcherTable[MatcherIndex++];
2758 SimpleVT =
GetVBR(SimpleVT, MatcherTable, MatcherIndex);
2767 unsigned Index = MatcherTable[MatcherIndex++];
2771void SelectionDAGISel::Select_JUMP_TABLE_DEBUG_INFO(
SDNode *
N) {
2773 CurDAG->SelectNodeTo(
N, TargetOpcode::JUMP_TABLE_DEBUG_INFO, MVT::Glue,
2774 CurDAG->getTargetConstant(
N->getConstantOperandVal(1),
2775 dl, MVT::i64,
true));
2780void SelectionDAGISel::UpdateChains(
2787 if (!ChainNodesMatched.
empty()) {
2789 "Matched input chains but didn't produce a chain");
2792 for (
unsigned i = 0, e = ChainNodesMatched.
size(); i != e; ++i) {
2793 SDNode *ChainNode = ChainNodesMatched[i];
2800 "Deleted node left in chain");
2804 if (ChainNode == NodeToMatch && isMorphNodeTo)
2811 SelectionDAG::DAGNodeDeletedListener NDL(
2812 *
CurDAG, [&](SDNode *
N, SDNode *
E) {
2813 llvm::replace(ChainNodesMatched,
N,
static_cast<SDNode *
>(
nullptr));
2819 if (ChainNode != NodeToMatch && ChainNode->
use_empty() &&
2825 if (!NowDeadNodes.
empty())
2826 CurDAG->RemoveDeadNodes(NowDeadNodes);
2844 unsigned int Max = 8192;
2847 if (ChainNodesMatched.
size() == 1)
2848 return ChainNodesMatched[0]->getOperand(0);
2852 std::function<void(
const SDValue)> AddChains = [&](
const SDValue V) {
2853 if (V.getValueType() != MVT::Other)
2857 if (!Visited.
insert(V.getNode()).second)
2860 for (
const SDValue &
Op : V->op_values())
2866 for (
auto *
N : ChainNodesMatched) {
2871 while (!Worklist.
empty())
2875 if (InputChains.
size() == 0)
2882 for (
SDValue V : InputChains) {
2886 if (InputChains.
size() != 1 &&
2887 V->getValueType(V->getNumValues() - 1) == MVT::Glue &&
2888 InputGlue.
getNode() == V.getNode())
2893 for (
auto *
N : ChainNodesMatched)
2898 if (InputChains.
size() == 1)
2899 return InputChains[0];
2901 MVT::Other, InputChains);
2905SDNode *SelectionDAGISel::
2914 int OldGlueResultNo = -1, OldChainResultNo = -1;
2916 unsigned NTMNumResults =
Node->getNumValues();
2917 if (
Node->getValueType(NTMNumResults-1) == MVT::Glue) {
2918 OldGlueResultNo = NTMNumResults-1;
2919 if (NTMNumResults != 1 &&
2920 Node->getValueType(NTMNumResults-2) == MVT::Other)
2921 OldChainResultNo = NTMNumResults-2;
2922 }
else if (
Node->getValueType(NTMNumResults-1) == MVT::Other)
2923 OldChainResultNo = NTMNumResults-1;
2927 SDNode *Res =
CurDAG->MorphNodeTo(Node, ~TargetOpc, VTList,
Ops);
2941 static_cast<unsigned>(OldGlueResultNo) != ResNumResults - 1)
2943 SDValue(Res, ResNumResults - 1));
2949 if ((EmitNodeInfo &
OPFL_Chain) && OldChainResultNo != -1 &&
2950 static_cast<unsigned>(OldChainResultNo) != ResNumResults - 1)
2952 SDValue(Res, ResNumResults - 1));
2970 unsigned RecNo = MatcherTable[MatcherIndex++];
2971 assert(RecNo < RecordedNodes.size() &&
"Invalid CheckSame");
2972 return N == RecordedNodes[RecNo].first;
2980 if (ChildNo >=
N.getNumOperands())
2982 return ::CheckSame(MatcherTable, MatcherIndex,
N.getOperand(ChildNo),
2990 bool TwoBytePredNo =
2994 ? MatcherTable[MatcherIndex++]
2997 PredNo |= MatcherTable[MatcherIndex++] << 8;
3007 ? MatcherTable[MatcherIndex++]
3015 Opc |=
static_cast<uint16_t>(MatcherTable[MatcherIndex++]) << 8;
3016 return N->getOpcode() ==
Opc;
3023 if (
N.getValueType() == VT)
3033 if (ChildNo >=
N.getNumOperands())
3035 return ::CheckType(VT,
N.getOperand(ChildNo), TLI,
DL);
3047 if (2 >=
N.getNumOperands())
3049 return ::CheckCondCode(MatcherTable, MatcherIndex,
N.getOperand(2));
3065 int64_t Val =
GetSignedVBR(MatcherTable, MatcherIndex);
3068 return C &&
C->getAPIntValue().trySExtValue() == Val;
3074 if (ChildNo >=
N.getNumOperands())
3076 return ::CheckInteger(MatcherTable, MatcherIndex,
N.getOperand(ChildNo));
3082 int64_t Val = MatcherTable[MatcherIndex++];
3084 Val =
GetVBR(Val, MatcherTable, MatcherIndex);
3086 if (
N->getOpcode() !=
ISD::AND)
return false;
3095 int64_t Val = MatcherTable[MatcherIndex++];
3097 Val =
GetVBR(Val, MatcherTable, MatcherIndex);
3099 if (
N->getOpcode() !=
ISD::OR)
return false;
3115 unsigned Opcode = Table[Index++];
3185 unsigned Res = Table[Index++];
3299 unsigned NumRecordedNodes;
3302 unsigned NumMatchedMemRefs;
3305 SDValue InputChain, InputGlue;
3308 bool HasChainNodesMatched;
3317 SDNode **NodeToMatch;
3318 SmallVectorImpl<std::pair<SDValue, SDNode *>> &RecordedNodes;
3319 SmallVectorImpl<MatchScope> &MatchScopes;
3322 MatchStateUpdater(SelectionDAG &DAG, SDNode **NodeToMatch,
3323 SmallVectorImpl<std::pair<SDValue, SDNode *>> &RN,
3324 SmallVectorImpl<MatchScope> &MS)
3325 : SelectionDAG::DAGUpdateListener(DAG), NodeToMatch(NodeToMatch),
3326 RecordedNodes(
RN), MatchScopes(MS) {}
3328 void NodeDeleted(SDNode *
N, SDNode *
E)
override {
3334 if (!
E ||
E->isMachineOpcode())
3337 if (
N == *NodeToMatch)
3342 for (
auto &
I : RecordedNodes)
3343 if (
I.first.getNode() ==
N)
3346 for (
auto &
I : MatchScopes)
3347 for (
auto &J :
I.NodeStack)
3348 if (J.getNode() ==
N)
3358 const uint8_t *OperandLists) {
3395 CurDAG->RemoveDeadNode(NodeToMatch);
3399 Select_INLINEASM(NodeToMatch);
3402 Select_READ_REGISTER(NodeToMatch);
3405 Select_WRITE_REGISTER(NodeToMatch);
3409 Select_UNDEF(NodeToMatch);
3412 Select_FAKE_USE(NodeToMatch);
3415 Select_RELOC_NONE(NodeToMatch);
3418 Select_FREEZE(NodeToMatch);
3421 Select_ARITH_FENCE(NodeToMatch);
3424 Select_MEMBARRIER(NodeToMatch);
3427 Select_STACKMAP(NodeToMatch);
3430 Select_PATCHPOINT(NodeToMatch);
3433 Select_JUMP_TABLE_DEBUG_INFO(NodeToMatch);
3436 Select_CONVERGENCECTRL_ANCHOR(NodeToMatch);
3439 Select_CONVERGENCECTRL_ENTRY(NodeToMatch);
3442 Select_CONVERGENCECTRL_LOOP(NodeToMatch);
3469 SDValue InputChain, InputGlue, DeactivationSymbol;
3483 size_t MatcherIndex = 0;
3485 if (!OpcodeOffset.empty()) {
3487 if (
N.getOpcode() < OpcodeOffset.size())
3488 MatcherIndex = OpcodeOffset[
N.getOpcode()];
3489 LLVM_DEBUG(
dbgs() <<
" Initial Opcode index to " << MatcherIndex <<
"\n");
3498 unsigned CaseSize = MatcherTable[Idx++];
3500 CaseSize =
GetVBR(CaseSize, MatcherTable, Idx);
3501 if (CaseSize == 0)
break;
3505 Opc |=
static_cast<uint16_t>(MatcherTable[Idx++]) << 8;
3506 if (
Opc >= OpcodeOffset.size())
3507 OpcodeOffset.resize((
Opc+1)*2);
3508 OpcodeOffset[
Opc] = Idx;
3513 if (
N.getOpcode() < OpcodeOffset.size())
3514 MatcherIndex = OpcodeOffset[
N.getOpcode()];
3518 assert(MatcherIndex < TableSize &&
"Invalid index");
3520 size_t CurrentOpcodeIndex = MatcherIndex;
3534 unsigned NumToSkip = MatcherTable[MatcherIndex++];
3535 if (NumToSkip & 128)
3536 NumToSkip =
GetVBR(NumToSkip, MatcherTable, MatcherIndex);
3538 if (NumToSkip == 0) {
3543 FailIndex = MatcherIndex+NumToSkip;
3545 size_t MatcherIndexOfPredicate = MatcherIndex;
3546 (void)MatcherIndexOfPredicate;
3553 Result, *
this, RecordedNodes);
3558 dbgs() <<
" Skipped scope entry (due to false predicate) at "
3559 <<
"index " << MatcherIndexOfPredicate <<
", continuing at "
3560 << FailIndex <<
"\n");
3561 ++NumDAGIselRetries;
3565 MatcherIndex = FailIndex;
3569 if (FailIndex == 0)
break;
3574 NewEntry.FailIndex = FailIndex;
3575 NewEntry.NodeStack.append(NodeStack.
begin(), NodeStack.
end());
3576 NewEntry.NumRecordedNodes = RecordedNodes.
size();
3577 NewEntry.NumMatchedMemRefs = MatchedMemRefs.
size();
3578 NewEntry.InputChain = InputChain;
3579 NewEntry.InputGlue = InputGlue;
3580 NewEntry.HasChainNodesMatched = !ChainNodesMatched.
empty();
3585 SDNode *Parent =
nullptr;
3586 if (NodeStack.
size() > 1)
3587 Parent = NodeStack[NodeStack.
size()-2].getNode();
3597 if (ChildNo >=
N.getNumOperands())
3615 if (
N->getNumOperands() != 0 &&
3616 N->getOperand(
N->getNumOperands()-1).getValueType() == MVT::Glue)
3617 InputGlue =
N->getOperand(
N->getNumOperands()-1);
3623 if (
N->getNumOperands() != 0 &&
3624 N->getOperand(
N->getNumOperands() - 1).getOpcode() ==
3626 DeactivationSymbol =
N->getOperand(
N->getNumOperands() - 1);
3630 unsigned ChildNo = MatcherTable[MatcherIndex++];
3631 if (ChildNo >=
N.getNumOperands())
3633 N =
N.getOperand(ChildNo);
3643 if (ChildNo >=
N.getNumOperands())
3645 N =
N.getOperand(ChildNo);
3661 assert(!NodeStack.
empty() &&
"Node stack imbalance!");
3662 N = NodeStack.
back();
3665 ? MatcherTable[MatcherIndex++]
3667 if (SiblingNo >=
N.getNumOperands())
3669 N =
N.getOperand(SiblingNo);
3676 assert(!NodeStack.
empty() &&
"Node stack imbalance!");
3677 N = NodeStack.
back();
3681 if (!
::CheckSame(MatcherTable, MatcherIndex,
N, RecordedNodes))
break;
3717 unsigned OpNum = MatcherTable[MatcherIndex++];
3720 for (
unsigned i = 0; i < OpNum; ++i)
3721 Operands.
push_back(RecordedNodes[MatcherTable[MatcherIndex++]].first);
3723 unsigned PredNo = MatcherTable[MatcherIndex++];
3738 ? MatcherTable[MatcherIndex++]
3740 unsigned RecNo = MatcherTable[MatcherIndex++];
3741 assert(RecNo < RecordedNodes.
size() &&
"Invalid CheckComplexPat");
3745 std::unique_ptr<MatchStateUpdater> MSU;
3747 MSU.reset(
new MatchStateUpdater(*
CurDAG, &NodeToMatch, RecordedNodes,
3751 RecordedNodes[RecNo].first, CPNum,
3757 if (!
::CheckOpcode(MatcherTable, MatcherIndex,
N.getNode()))
break;
3774 VT =
getHwModeVT(MatcherTable, MatcherIndex, *
this);
3790 unsigned Res = MatcherTable[MatcherIndex++];
3795 CurDAG->getDataLayout()))
3801 unsigned CurNodeOpcode =
N.getOpcode();
3802 unsigned SwitchStart = MatcherIndex-1; (void)SwitchStart;
3806 CaseSize = MatcherTable[MatcherIndex++];
3808 CaseSize =
GetVBR(CaseSize, MatcherTable, MatcherIndex);
3809 if (CaseSize == 0)
break;
3812 Opc |=
static_cast<uint16_t>(MatcherTable[MatcherIndex++]) << 8;
3815 if (CurNodeOpcode ==
Opc)
3819 MatcherIndex += CaseSize;
3823 if (CaseSize == 0)
break;
3826 LLVM_DEBUG(
dbgs() <<
" OpcodeSwitch from " << SwitchStart <<
" to "
3827 << MatcherIndex <<
"\n");
3832 MVT CurNodeVT =
N.getSimpleValueType();
3833 unsigned SwitchStart = MatcherIndex-1; (void)SwitchStart;
3837 CaseSize = MatcherTable[MatcherIndex++];
3839 CaseSize =
GetVBR(CaseSize, MatcherTable, MatcherIndex);
3840 if (CaseSize == 0)
break;
3843 if (CaseVT == MVT::iPTR)
3844 CaseVT =
TLI->getPointerTy(
CurDAG->getDataLayout());
3847 if (CurNodeVT == CaseVT)
3851 MatcherIndex += CaseSize;
3855 if (CaseSize == 0)
break;
3859 <<
"] from " << SwitchStart <<
" to " << MatcherIndex
3928 VT =
getHwModeVT(MatcherTable, MatcherIndex, *
this);
3944 CurDAG->getDataLayout()))
3960 if (!
::CheckOrImm(MatcherTable, MatcherIndex,
N, *
this))
break;
3972 assert(NodeStack.
size() != 1 &&
"No parent node");
3975 bool HasMultipleUses =
false;
3976 for (
unsigned i = 1, e = NodeStack.
size()-1; i != e; ++i) {
3977 unsigned NNonChainUses = 0;
3978 SDNode *NS = NodeStack[i].getNode();
3980 if (U.getValueType() != MVT::Other)
3981 if (++NNonChainUses > 1) {
3982 HasMultipleUses =
true;
3985 if (HasMultipleUses)
break;
3987 if (HasMultipleUses)
break;
4022 VT =
getHwModeVT(MatcherTable, MatcherIndex, *
this);
4031 int64_t Val =
GetSignedVBR(MatcherTable, MatcherIndex);
4053 VT =
getHwModeVT(MatcherTable, MatcherIndex, *
this);
4059 unsigned RegNo = MatcherTable[MatcherIndex++];
4071 unsigned RegNo = MatcherTable[MatcherIndex++];
4072 RegNo |= MatcherTable[MatcherIndex++] << 8;
4088 ? MatcherTable[MatcherIndex++]
4090 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitConvertToTarget");
4091 SDValue Imm = RecordedNodes[RecNo].first;
4095 Imm =
CurDAG->getTargetConstant(*Val,
SDLoc(NodeToMatch),
4096 Imm.getValueType());
4099 Imm =
CurDAG->getTargetConstantFP(*Val,
SDLoc(NodeToMatch),
4100 Imm.getValueType());
4103 RecordedNodes.
emplace_back(Imm, RecordedNodes[RecNo].second);
4112 "EmitMergeInputChains should be the first chain producing node");
4114 "Should only have one EmitMergeInputChains per match");
4118 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitMergeInputChains");
4119 ChainNodesMatched.
push_back(RecordedNodes[RecNo].first.getNode());
4125 if (ChainNodesMatched.
back() != NodeToMatch &&
4126 !RecordedNodes[RecNo].first.hasOneUse()) {
4127 ChainNodesMatched.
clear();
4141 "EmitMergeInputChains should be the first chain producing node");
4148 unsigned NumChains = MatcherTable[MatcherIndex++];
4149 assert(NumChains != 0 &&
"Can't TF zero chains");
4152 "Should only have one EmitMergeInputChains per match");
4155 for (
unsigned i = 0; i != NumChains; ++i) {
4156 unsigned RecNo = MatcherTable[MatcherIndex++];
4157 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitMergeInputChains");
4158 ChainNodesMatched.
push_back(RecordedNodes[RecNo].first.getNode());
4164 if (ChainNodesMatched.
back() != NodeToMatch &&
4165 !RecordedNodes[RecNo].first.hasOneUse()) {
4166 ChainNodesMatched.
clear();
4172 if (ChainNodesMatched.
empty())
4197 : MatcherTable[MatcherIndex++];
4198 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitCopyToReg");
4199 unsigned DestPhysReg = MatcherTable[MatcherIndex++];
4201 DestPhysReg |= MatcherTable[MatcherIndex++] << 8;
4204 InputChain =
CurDAG->getEntryNode();
4206 InputChain =
CurDAG->getCopyToReg(InputChain,
SDLoc(NodeToMatch),
4207 DestPhysReg, RecordedNodes[RecNo].first,
4210 InputGlue = InputChain.
getValue(1);
4215 unsigned XFormNo = MatcherTable[MatcherIndex++];
4216 unsigned RecNo = MatcherTable[MatcherIndex++];
4217 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitNodeXForm");
4225 unsigned index = MatcherTable[MatcherIndex++];
4226 index |= (MatcherTable[MatcherIndex++] << 8);
4227 index |= (MatcherTable[MatcherIndex++] << 16);
4228 index |= (MatcherTable[MatcherIndex++] << 24);
4258 uint32_t TargetOpc = MatcherTable[MatcherIndex++];
4259 TargetOpc |= (MatcherTable[MatcherIndex++] << 8);
4260 unsigned EmitNodeInfo;
4279 EmitNodeInfo = MatcherTable[MatcherIndex++];
4304 NumVTs = MatcherTable[MatcherIndex++];
4307 for (
unsigned i = 0; i != NumVTs; ++i) {
4309 if (VT == MVT::iPTR)
4310 VT =
TLI->getPointerTy(
CurDAG->getDataLayout());
4314 for (
unsigned i = 0; i != NumVTs; ++i) {
4316 if (VT == MVT::iPTR)
4317 VT =
TLI->getPointerTy(
CurDAG->getDataLayout()).SimpleTy;
4330 if (VTs.
size() == 1)
4331 VTList =
CurDAG->getVTList(VTs[0]);
4332 else if (VTs.
size() == 2)
4333 VTList =
CurDAG->getVTList(VTs[0], VTs[1]);
4335 VTList =
CurDAG->getVTList(VTs);
4338 unsigned NumOps = MatcherTable[MatcherIndex++];
4343 size_t OperandIndex = MatcherTable[MatcherIndex++];
4344 if (OperandIndex & 128)
4345 OperandIndex =
GetVBR(OperandIndex, MatcherTable, MatcherIndex);
4347 for (
unsigned i = 0; i !=
NumOps; ++i) {
4348 unsigned RecNo = OperandLists[OperandIndex++];
4350 RecNo =
GetVBR(RecNo, OperandLists, OperandIndex);
4352 assert(RecNo < RecordedNodes.
size() &&
"Invalid EmitNode");
4353 Ops.push_back(RecordedNodes[RecNo].first);
4361 FirstOpToCopy += (EmitNodeInfo &
OPFL_Chain) ? 1 : 0;
4363 "Invalid variadic node");
4366 for (
unsigned i = FirstOpToCopy, e = NodeToMatch->
getNumOperands();
4369 if (V.getValueType() == MVT::Glue)
break;
4376 Ops.push_back(InputChain);
4377 if (DeactivationSymbol.
getNode() !=
nullptr)
4378 Ops.push_back(DeactivationSymbol);
4380 Ops.push_back(InputGlue);
4386 bool MayRaiseFPException =
4393 bool IsMorphNodeTo =
4396 if (!IsMorphNodeTo) {
4399 Res =
CurDAG->getMachineNode(TargetOpc,
SDLoc(NodeToMatch),
4403 for (
unsigned i = 0, e = VTs.
size(); i != e; ++i) {
4404 if (VTs[i] == MVT::Other || VTs[i] == MVT::Glue)
break;
4409 "NodeToMatch was removed partway through selection");
4413 auto &Chain = ChainNodesMatched;
4415 "Chain node replaced during MorphNode");
4419 Ops, EmitNodeInfo));
4446 bool mayLoad =
MCID.mayLoad();
4447 bool mayStore =
MCID.mayStore();
4453 if (MMO->isLoad()) {
4456 }
else if (MMO->isStore()) {
4464 CurDAG->setNodeMemRefs(Res, FilteredMemRefs);
4468 if (!MatchedMemRefs.
empty() && Res->memoperands_empty())
4469 dbgs() <<
" Dropping mem operands\n";
4470 dbgs() <<
" " << (IsMorphNodeTo ?
"Morphed" :
"Created") <<
" node: ";
4475 if (IsMorphNodeTo) {
4477 UpdateChains(Res, InputChain, ChainNodesMatched,
true);
4487 unsigned NumResults = MatcherTable[MatcherIndex++];
4489 for (
unsigned i = 0; i != NumResults; ++i) {
4490 unsigned ResSlot = MatcherTable[MatcherIndex++];
4492 ResSlot =
GetVBR(ResSlot, MatcherTable, MatcherIndex);
4494 assert(ResSlot < RecordedNodes.
size() &&
"Invalid CompleteMatch");
4495 SDValue Res = RecordedNodes[ResSlot].first;
4497 assert(i < NodeToMatch->getNumValues() &&
4500 "Invalid number of results to complete!");
4506 "invalid replacement");
4511 UpdateChains(NodeToMatch, InputChain, ChainNodesMatched,
false);
4524 "Didn't replace all uses of the node?");
4525 CurDAG->RemoveDeadNode(NodeToMatch);
4534 LLVM_DEBUG(
dbgs() <<
" Match failed at index " << CurrentOpcodeIndex
4536 ++NumDAGIselRetries;
4538 if (MatchScopes.
empty()) {
4539 CannotYetSelect(NodeToMatch);
4545 MatchScope &LastScope = MatchScopes.
back();
4546 RecordedNodes.
resize(LastScope.NumRecordedNodes);
4547 NodeStack.
assign(LastScope.NodeStack.begin(), LastScope.NodeStack.end());
4548 N = NodeStack.
back();
4550 if (LastScope.NumMatchedMemRefs != MatchedMemRefs.
size())
4551 MatchedMemRefs.
resize(LastScope.NumMatchedMemRefs);
4552 MatcherIndex = LastScope.FailIndex;
4556 InputChain = LastScope.InputChain;
4557 InputGlue = LastScope.InputGlue;
4558 if (!LastScope.HasChainNodesMatched)
4559 ChainNodesMatched.
clear();
4564 unsigned NumToSkip = MatcherTable[MatcherIndex++];
4565 if (NumToSkip & 128)
4566 NumToSkip =
GetVBR(NumToSkip, MatcherTable, MatcherIndex);
4570 if (NumToSkip != 0) {
4571 LastScope.FailIndex = MatcherIndex+NumToSkip;
4585 if (
N->isMachineOpcode()) {
4587 return MCID.mayRaiseFPException();
4592 if (
N->isTargetOpcode()) {
4596 return N->isStrictFPOpcode();
4609 int32_t Off =
C->getSExtValue();
4612 return (Off >= 0) && (((
A.value() - 1) & Off) ==
unsigned(Off));
4617void SelectionDAGISel::CannotYetSelect(
SDNode *
N) {
4620 Msg <<
"Cannot select: ";
4622 Msg.enable_colors(
errs().has_colors());
4628 Msg <<
"\nIn function: " <<
MF->
getName();
4630 bool HasInputChain =
N->getOperand(0).getValueType() == MVT::Other;
4631 unsigned iid =
N->getConstantOperandVal(HasInputChain);
4632 if (iid < Intrinsic::num_intrinsics)
4635 Msg <<
"unknown intrinsic #" << iid;
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 header defines classes/functions to handle pass execution timing information with interfaces for...
This file builds on the ADT/GraphTraits.h file to build a generic graph post order iterator.
static Type * getValueType(Value *V, bool LookThroughCmp=false)
Returns the "element type" of the given value/instruction V.
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckNodePredicate(unsigned Opcode, const uint8_t *MatcherTable, size_t &MatcherIndex, const SelectionDAGISel &SDISel, SDValue Op)
CheckNodePredicate - Implements OP_CheckNodePredicate.
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckSame(const uint8_t *MatcherTable, size_t &MatcherIndex, SDValue N, const SmallVectorImpl< std::pair< SDValue, SDNode * > > &RecordedNodes)
CheckSame - Implements OP_CheckSame.
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 CheckOrImm(const uint8_t *MatcherTable, size_t &MatcherIndex, SDValue N, const SelectionDAGISel &SDISel)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckCondCode(const uint8_t *MatcherTable, size_t &MatcherIndex, SDValue N)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckChildInteger(const uint8_t *MatcherTable, size_t &MatcherIndex, SDValue N, unsigned ChildNo)
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 LLVM_ATTRIBUTE_ALWAYS_INLINE uint64_t GetVBR(uint64_t Val, const uint8_t *MatcherTable, size_t &Idx)
GetVBR - decode a vbr encoding whose top bit is set.
static cl::opt< bool > DumpSortedDAG("dump-sorted-dags", cl::Hidden, cl::desc("Print DAGs with sorted nodes in debug dump"), cl::init(false))
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 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 CheckChildSame(const uint8_t *MatcherTable, size_t &MatcherIndex, SDValue N, const SmallVectorImpl< std::pair< SDValue, SDNode * > > &RecordedNodes, unsigned ChildNo)
CheckChildSame - Implements OP_CheckChildXSame.
static void processSingleLocVars(FunctionLoweringInfo &FuncInfo, FunctionVarLocs const *FnVarLocs)
Collect single location variable information generated with assignment tracking.
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 LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckInteger(const uint8_t *MatcherTable, size_t &MatcherIndex, SDValue N)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckPatternPredicate(unsigned Opcode, const uint8_t *MatcherTable, size_t &MatcherIndex, const SelectionDAGISel &SDISel)
CheckPatternPredicate - Implements OP_CheckPatternPredicate.
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 CheckOpcode(const uint8_t *MatcherTable, size_t &MatcherIndex, SDNode *N)
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 bool CheckType(MVT::SimpleValueType VT, SDValue N, const TargetLowering *TLI, const DataLayout &DL)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckAndImm(const uint8_t *MatcherTable, size_t &MatcherIndex, SDValue N, const SelectionDAGISel &SDISel)
static bool hasExceptionPointerOrCodeUser(const CatchPadInst *CPI)
static LLVM_ATTRIBUTE_ALWAYS_INLINE bool CheckValueType(const uint8_t *MatcherTable, size_t &MatcherIndex, SDValue N, const TargetLowering *TLI, const DataLayout &DL)
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 int64_t GetSignedVBR(const unsigned char *MatcherTable, size_t &Idx)
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 MVT::SimpleValueType getSimpleVT(const uint8_t *MatcherTable, size_t &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 CheckChild2CondCode(const uint8_t *MatcherTable, size_t &MatcherIndex, SDValue N)
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 MVT getHwModeVT(const uint8_t *MatcherTable, size_t &MatcherIndex, const SelectionDAGISel &SDISel)
Decode a HwMode VT in MatcherTable by calling getValueTypeForHwMode.
static size_t IsPredicateKnownToFail(const uint8_t *Table, size_t 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 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.
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)
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.
LLVM_ABI 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 & addReg(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a new virtual register operand.
const MachineInstrBuilder & addSym(MCSymbol *Sym, unsigned char TargetFlags=0) const
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,...
const TargetRegisterClass * getRegClass(Register Reg) const
Return the register class of the specified virtual register.
LLVM_ABI void clearKillFlags(Register Reg) const
clearKillFlags - Iterate over all the uses of the given register and clear the kill flag from the Mac...
ArrayRef< std::pair< MCRegister, Register > > liveins() const
LLVM_ABI const TargetRegisterClass * constrainRegClass(Register Reg, const TargetRegisterClass *RC, unsigned MinNumRegs=0)
constrainRegClass - Constrain the register class of the specified virtual register to be a common sub...
bool use_empty(Register RegNo) const
use_empty - Return true if there are no instructions using the specified register.
LLVM_ABI void replaceRegWith(Register FromReg, Register ToReg)
replaceRegWith - Replace all instances of FromReg with ToReg in the machine function.
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)
LLVM_ABI 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_CheckChild4TypeByHwMode0
@ 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_CheckChild1TypeByHwMode0
@ OPC_CheckPatternPredicate6
@ OPC_CheckPatternPredicate7
@ OPC_CheckChild5TypeByHwMode
@ OPC_EmitMergeInputChains
@ OPC_CheckChild0TypeByHwMode0
@ OPC_EmitMergeInputChains1_0
@ OPC_CheckFoldableChainNode
@ OPC_CheckChild6TypeByHwMode
@ OPC_EmitConvertToTarget3
@ OPC_CheckChild7TypeByHwMode0
@ OPC_CheckChild7TypeByHwMode
@ OPC_EmitRegisterByHwMode
@ OPC_CheckPredicateWithOperands
@ OPC_EmitIntegerByHwMode0
@ OPC_CheckChild3TypeByHwMode0
@ OPC_EmitConvertToTarget4
@ OPC_CheckChild2TypeByHwMode0
@ OPC_EmitIntegerByHwMode
@ OPC_CheckChild3TypeByHwMode
@ OPC_CheckTypeResByHwMode
@ OPC_CheckChild5TypeByHwMode0
@ OPC_EmitConvertToTarget7
@ OPC_EmitMergeInputChains1_2
@ OPC_CheckChild6TypeByHwMode0
@ 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 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.
void SelectCodeCommon(SDNode *NodeToMatch, const uint8_t *MatcherTable, unsigned TableSize, const uint8_t *OperandLists)
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
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....
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.
@ Kill
The last use of a register.
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.
LLVM_ABI 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.
LLVM_ABI void addIPToStateRange(const InvokeInst *II, MCSymbol *InvokeBegin, MCSymbol *InvokeEnd)
DenseMap< const BasicBlock *, int > BlockToStateMap