46 cl::desc(
"Disable hazard detection during preRA scheduling"));
50 cl::desc(
"Enable reassociation of accumulation chains"));
54 cl::desc(
"Minimum length of accumulator chains "
55 "required for the optimization to kick in"));
59 cl::desc(
"Maximum number of branches in the accumulator tree"));
64 unsigned OpNum)
const {
65 if (OpNum >=
MCID.getNumOperands())
76 return TRI.getRegClass(RegClass);
90 unsigned Quantity)
const {
91 for (
unsigned i = 0; i < Quantity; ++i)
118 bool AtInsnStart =
true;
121 for (; *Str; ++Str) {
131 if (AtInsnStart && !
isSpace(
static_cast<unsigned char>(*Str))) {
132 unsigned AddLength = MaxInstLength;
133 if (strncmp(Str,
".space", 6) == 0) {
136 SpaceSize = strtol(Str + 6, &EStr, 10);
137 SpaceSize = SpaceSize < 0 ? 0 : SpaceSize;
138 while (*EStr !=
'\n' &&
isSpace(
static_cast<unsigned char>(*EStr)))
140 if (*EStr ==
'\0' || *EStr ==
'\n' ||
142 AddLength = SpaceSize;
156 while (++
I != E &&
I->isInsideBundle()) {
157 assert(!
I->isBundle() &&
"No nested bundle!");
172 while (!
MBB->succ_empty())
173 MBB->removeSuccessor(
MBB->succ_begin());
180 while (Tail !=
MBB->end()) {
182 if (
MI->shouldUpdateAdditionalCallInfo())
183 MBB->getParent()->eraseAdditionalCallInfo(&*
MI);
190 MBB->addSuccessor(NewDest);
194 bool NewMI,
unsigned Idx1,
195 unsigned Idx2)
const {
197 bool HasDef =
MCID.getNumDefs();
198 if (HasDef && !
MI.getOperand(0).isReg())
202 unsigned CommutableOpIdx1 = Idx1; (void)CommutableOpIdx1;
203 unsigned CommutableOpIdx2 = Idx2; (void)CommutableOpIdx2;
205 CommutableOpIdx1 == Idx1 && CommutableOpIdx2 == Idx2 &&
206 "TargetInstrInfo::CommuteInstructionImpl(): not commutable operands.");
207 assert(
MI.getOperand(Idx1).isReg() &&
MI.getOperand(Idx2).isReg() &&
208 "This only knows how to commute register operands so far");
213 unsigned SubReg0 = HasDef ?
MI.getOperand(0).getSubReg() : 0;
214 unsigned SubReg1 =
MI.getOperand(Idx1).getSubReg();
215 unsigned SubReg2 =
MI.getOperand(Idx2).getSubReg();
216 bool Reg1IsKill =
MI.getOperand(Idx1).isKill();
217 bool Reg2IsKill =
MI.getOperand(Idx2).isKill();
218 bool Reg1IsUndef =
MI.getOperand(Idx1).isUndef();
219 bool Reg2IsUndef =
MI.getOperand(Idx2).isUndef();
220 bool Reg1IsInternal =
MI.getOperand(Idx1).isInternalRead();
221 bool Reg2IsInternal =
MI.getOperand(Idx2).isInternalRead();
224 bool Reg1IsRenamable =
225 Reg1.
isPhysical() ?
MI.getOperand(Idx1).isRenamable() :
false;
226 bool Reg2IsRenamable =
227 Reg2.
isPhysical() ?
MI.getOperand(Idx2).isRenamable() :
false;
234 if (HasDef &&
MI.hasImplicitDef()) {
237 if ((ImplReg.
isVirtual() && ImplReg == Reg0) ||
239 TRI.isSubRegisterEq(ImplReg, Reg0)))
240 UpdateImplicitDefIdx.
push_back(OpNo +
MI.getNumExplicitOperands());
246 if (HasDef && Reg0 == Reg1 &&
251 }
else if (HasDef && Reg0 == Reg2 &&
262 CommutedMI = MF.CloneMachineInstr(&
MI);
270 for (
unsigned Idx : UpdateImplicitDefIdx)
294 unsigned OpIdx2)
const {
301 "Precondition violation: MI must be commutable.");
308 unsigned &ResultIdx2,
309 unsigned CommutableOpIdx1,
310 unsigned CommutableOpIdx2) {
313 ResultIdx1 = CommutableOpIdx1;
314 ResultIdx2 = CommutableOpIdx2;
316 if (ResultIdx2 == CommutableOpIdx1)
317 ResultIdx1 = CommutableOpIdx2;
318 else if (ResultIdx2 == CommutableOpIdx2)
319 ResultIdx1 = CommutableOpIdx1;
323 if (ResultIdx1 == CommutableOpIdx1)
324 ResultIdx2 = CommutableOpIdx2;
325 else if (ResultIdx1 == CommutableOpIdx2)
326 ResultIdx2 = CommutableOpIdx1;
332 return (ResultIdx1 == CommutableOpIdx1 && ResultIdx2 == CommutableOpIdx2) ||
333 (ResultIdx1 == CommutableOpIdx2 && ResultIdx2 == CommutableOpIdx1);
340 unsigned &SrcOpIdx2)
const {
342 "TargetInstrInfo::findCommutedOpIndices() can't handle bundles");
345 if (!
MCID.isCommutable())
350 unsigned CommutableOpIdx1 =
MCID.getNumDefs();
351 unsigned CommutableOpIdx2 = CommutableOpIdx1 + 1;
353 CommutableOpIdx1, CommutableOpIdx2))
356 if (!
MI.getOperand(SrcOpIdx1).isReg() || !
MI.getOperand(SrcOpIdx2).isReg())
363 if (!
MI.isTerminator())
return false;
366 if (
MI.isBranch() && !
MI.isBarrier())
368 if (!
MI.isPredicable())
375 bool MadeChange =
false;
378 "TargetInstrInfo::PredicateInstruction() can't handle bundles");
381 if (!
MI.isPredicable())
384 for (
unsigned j = 0, i = 0, e =
MI.getNumOperands(); i != e; ++i) {
385 if (
MCID.operands()[i].isPredicate()) {
390 }
else if (MO.
isImm()) {
393 }
else if (MO.
isMBB()) {
394 MO.
setMBB(Pred[j].getMBB());
408 oe =
MI.memoperands_end();
410 if ((*o)->isLoad() &&
414 return Accesses.size() != StartSize;
422 oe =
MI.memoperands_end();
424 if ((*o)->isStore() &&
428 return Accesses.size() != StartSize;
432 unsigned SubIdx,
unsigned &
Size,
440 unsigned BitSize =
TRI.getSubRegIdxSize(SubIdx);
445 int BitOffset =
TRI.getSubRegIdxOffset(SubIdx);
446 if (BitOffset < 0 || BitOffset % 8)
466 MI->substituteRegister(
MI->getOperand(0).getReg(), DestReg, SubIdx,
TRI);
486 "Instruction cannot be duplicated");
488 return MF.cloneMachineInstrBundle(
MBB, InsertBefore, Orig);
496 assert(
TII.isCopyInstr(
MI) &&
"MI must be a COPY instruction");
497 if (
MI.getNumOperands() != 2)
499 assert(FoldIdx<2 &&
"FoldIdx refers no nonexistent operand");
539 bool SawStore =
false;
540 if (!
DefMI->isSafeToMove(SawStore))
545 for (
unsigned i = 0, e =
MI.getNumOperands(); i != e; ++i) {
550 if (Reg != FoldAsLoadDefReg)
557 if (SrcOperandIds.
empty())
563 FoldAsLoadDefReg = 0;
570std::pair<unsigned, unsigned>
572 switch (
MI.getOpcode()) {
573 case TargetOpcode::STACKMAP:
576 case TargetOpcode::PATCHPOINT:
580 case TargetOpcode::STATEPOINT:
591 unsigned StartIdx = 0;
592 unsigned NumDefs = 0;
594 std::tie(NumDefs, StartIdx) =
TII.getPatchpointUnfoldableRange(
MI);
596 unsigned DefToFoldIdx =
MI.getNumOperands();
600 for (
unsigned Op :
Ops) {
602 assert(DefToFoldIdx ==
MI.getNumOperands() &&
"Folding multiple defs");
604 }
else if (
Op < StartIdx) {
607 if (
MI.getOperand(
Op).isTied())
612 MF.CreateMachineInstr(
TII.get(
MI.getOpcode()),
MI.getDebugLoc(),
true);
616 for (
unsigned i = 0; i < StartIdx; ++i)
617 if (i != DefToFoldIdx)
618 MIB.
add(
MI.getOperand(i));
620 for (
unsigned i = StartIdx, e =
MI.getNumOperands(); i < e; ++i) {
623 (void)
MI.isRegTiedToDefOperand(i, &TiedTo);
626 assert(TiedTo == e &&
"Cannot fold tied operands");
628 unsigned SpillOffset;
633 TII.getStackSlotRange(RC, MO.
getSubReg(), SpillSize, SpillOffset, MF);
636 MIB.
addImm(StackMaps::IndirectMemRefOp);
643 assert(TiedTo < NumDefs &&
"Bad tied operand");
644 if (TiedTo > DefToFoldIdx)
656 if (
MI->getOperand(OpNo).isTied()) {
657 unsigned TiedTo =
MI->findTiedOperandIdx(OpNo);
658 MI->untieRegOperand(OpNo);
664 TII.getFrameIndexOperands(NewOps, FI);
665 assert(!NewOps.
empty() &&
"getFrameIndexOperands didn't create any operands");
666 MI->removeOperand(OpNo);
667 MI->insert(
MI->operands_begin() + OpNo, NewOps);
682 assert(
MI.isInlineAsm() &&
"wrong opcode");
685 unsigned Op =
Ops[0];
686 assert(
Op &&
"should never be first operand");
687 assert(
MI.getOperand(
Op).isReg() &&
"shouldn't be folding non-reg operands");
689 if (!
MI.mayFoldInlineAsmRegOp(
Op))
725 for (
unsigned OpIdx :
Ops)
730 assert(
MBB &&
"foldMemoryOperand needs an inserted instruction");
742 for (
unsigned OpIdx :
Ops) {
745 if (
auto SubReg =
MI.getOperand(OpIdx).getSubReg()) {
746 unsigned SubRegSize =
TRI.getSubRegIdxSize(SubReg);
747 if (SubRegSize > 0 && !(SubRegSize % 8))
748 OpSize = SubRegSize / 8;
751 MemSize = std::max(MemSize, OpSize);
755 assert(MemSize &&
"Did not expect a zero-sized stack slot");
759 if (
MI.getOpcode() == TargetOpcode::STACKMAP ||
760 MI.getOpcode() == TargetOpcode::PATCHPOINT ||
761 MI.getOpcode() == TargetOpcode::STATEPOINT) {
765 MBB->insert(
MI, NewMI);
766 }
else if (
MI.isInlineAsm()) {
778 "Folded a def to a non-store!");
781 "Folded a use to a non-load!");
826 for (
unsigned OpIdx :
Ops)
827 assert(
MI.getOperand(OpIdx).isUse() &&
"Folding load into def!");
837 if ((
MI.getOpcode() == TargetOpcode::STACKMAP ||
838 MI.getOpcode() == TargetOpcode::PATCHPOINT ||
839 MI.getOpcode() == TargetOpcode::STATEPOINT) &&
844 NewMI = &*
MBB.insert(
MI, NewMI);
856 if (
MI.memoperands_empty()) {
880 CopyMI->addOperand(MO);
886 if (MO.isKill() &&
TRI->regsOverlap(DstReg, MO.getReg()))
887 CopyMI->getOperand(CopyMI->getNumOperands() - 1).setIsKill(
false);
892 if (
MI->allDefsAreDead()) {
893 MI->setDesc(
get(TargetOpcode::KILL));
901 if (IdentityCopy || SrcMO.
isUndef()) {
904 if (SrcMO.
isUndef() ||
MI->getNumOperands() > 2) {
907 MI->setDesc(
get(TargetOpcode::KILL));
911 MI->eraseFromParent();
920 if (
MI->getNumOperands() > 2)
922 MI->eraseFromParent();
945 unsigned Opcode2)
const {
950 bool &Commuted)
const {
985 bool &Commuted)
const {
997 unsigned CombineOpc = 0) {
1004 if (!
MI ||
MI->getParent() != &
MBB ||
1005 (
MI->getOpcode() != CombineOpc && CombineOpc != 0))
1027 unsigned AccumulatorOpcode = CurrentInstr->
getOpcode();
1028 std::optional<unsigned> ChainStartOpCode =
1031 if (!ChainStartOpCode.has_value())
1038 while (CurrentInstr &&
1045 if (CurrentInstr->
getOpcode() == AccumulatorOpcode &&
1082 for (
const auto &
I :
MBB) {
1083 if (
I.getOpcode() ==
Opc &&
1084 !ReductionChain.
contains(
I.getOperand(0).getReg()))
1106 for (
unsigned int i = 1; i <= (RegistersToReduce.
size() / 2); i += 2) {
1107 auto RHS = RegistersToReduce[i - 1];
1108 auto LHS = RegistersToReduce[i];
1111 if (RegistersToReduce.
size() == 2)
1119 InstrIdxForVirtReg.
insert(std::make_pair(Dest, InsInstrs.
size()));
1134 if (RegistersToReduce.
size() % 2 != 0)
1135 NewRegs.
push_back(RegistersToReduce[RegistersToReduce.
size() - 1]);
1137 RegistersToReduce = std::move(NewRegs);
1163 bool DoRegPressureReduce)
const {
1200std::pair<unsigned, unsigned>
1210 if (AssocCommutRoot && AssocCommutPrev) {
1220 "Incorrectly matched pattern");
1221 unsigned AssocCommutOpcode = Root.
getOpcode();
1223 if (!AssocCommutRoot)
1224 std::swap(AssocCommutOpcode, InverseOpcode);
1252 if (!AssocCommutRoot && AssocCommutPrev)
1253 return {AssocCommutOpcode, InverseOpcode};
1254 if (AssocCommutRoot && !AssocCommutPrev)
1255 return {InverseOpcode, InverseOpcode};
1256 if (!AssocCommutRoot && !AssocCommutPrev)
1257 return {InverseOpcode, AssocCommutOpcode};
1260 if (!AssocCommutRoot && AssocCommutPrev)
1261 return {AssocCommutOpcode, InverseOpcode};
1262 if (AssocCommutRoot && !AssocCommutPrev)
1263 return {InverseOpcode, AssocCommutOpcode};
1264 if (!AssocCommutRoot && !AssocCommutPrev)
1265 return {InverseOpcode, InverseOpcode};
1268 if (!AssocCommutRoot && AssocCommutPrev)
1269 return {InverseOpcode, InverseOpcode};
1270 if (AssocCommutRoot && !AssocCommutPrev)
1271 return {AssocCommutOpcode, InverseOpcode};
1272 if (!AssocCommutRoot && !AssocCommutPrev)
1273 return {InverseOpcode, AssocCommutOpcode};
1276 if (!AssocCommutRoot && AssocCommutPrev)
1277 return {InverseOpcode, InverseOpcode};
1278 if (AssocCommutRoot && !AssocCommutPrev)
1279 return {InverseOpcode, AssocCommutOpcode};
1280 if (!AssocCommutRoot && !AssocCommutPrev)
1281 return {AssocCommutOpcode, InverseOpcode};
1295 return {
false,
false};
1297 return {
true,
false};
1299 return {
true,
true};
1301 return {
true,
true};
1369 unsigned SubRegNewVR = 0;
1370 InstrIdxForVirtReg.
insert(std::make_pair(NewVR, 0));
1373 bool KillA = OpA.
isKill();
1374 bool KillX = OpX.
isKill();
1375 bool KillY = OpY.
isKill();
1376 bool KillNewVR =
true;
1380 if (SwapPrevOperands) {
1386 unsigned PrevFirstOpIdx, PrevSecondOpIdx;
1387 unsigned RootFirstOpIdx, RootSecondOpIdx;
1421 MF, MF.CreateMachineInstr(
MCID, MIMD.getDL(),
true))
1428 buildMINoImplicit(*MF,
MIMetadata(Prev),
TII->get(NewPrevOpc), NewVR);
1430 unsigned Idx = MO.getOperandNo();
1434 if (Idx == PrevFirstOpIdx)
1436 else if (Idx == PrevSecondOpIdx)
1443 if (SwapRootOperands) {
1450 buildMINoImplicit(*MF,
MIMetadata(Root),
TII->get(NewRootOpc), RegC);
1452 unsigned Idx = MO.getOperandNo();
1456 if (Idx == RootFirstOpIdx)
1458 else if (Idx == RootSecondOpIdx)
1461 MIB2 = MIB2.
add(MO);
1536 "Max accumulator width set to illegal value");
1544 if (IndexedReg.index() == 0)
1551 if (IndexedReg.index() < MaxWidth) {
1553 AccReg = Instr->getOperand(0).getReg();
1557 .
addReg(Instr->getOperand(2).getReg(),
1559 .
addReg(Instr->getOperand(3).getReg(),
1567 : Instr->getOperand(0).getReg();
1568 assert(IndexedReg.index() >= MaxWidth);
1569 auto AccumulatorInput =
1570 ChainRegs[
Depth - (IndexedReg.index() - MaxWidth) - 1];
1574 .
addReg(Instr->getOperand(2).getReg(),
1576 .
addReg(Instr->getOperand(3).getReg(),
1581 InstIdxForVirtReg.
insert(std::make_pair(AccReg, InsInstrs.
size()));
1587 for (
unsigned i = (InsInstrs.
size() - MaxWidth); i < InsInstrs.
size();
1589 auto Reg = InsInstrs[i]->getOperand(0).getReg();
1593 while (RegistersToReduce.
size() > 1)
1612 if (!
MI.getNumOperands() || !
MI.getOperand(0).isReg())
1620 if (DefReg.
isVirtual() &&
MI.getOperand(0).getSubReg() &&
1621 MI.readsVirtualRegister(DefReg))
1633 if (
MI.isNotDuplicable() ||
MI.mayStore() ||
MI.mayRaiseFPException() ||
1634 MI.hasUnmodeledSideEffects())
1639 if (
MI.isInlineAsm())
1643 if (
MI.mayLoad() && !
MI.isDereferenceableInvariantLoad())
1649 if (!MO.isReg())
continue;
1655 if (Reg.isPhysical()) {
1671 if (MO.isDef() && Reg != DefReg)
1682 bool StackGrowsDown =
1693 if ((!StackGrowsDown &&
MI.getOpcode() == FrameSetupOpcode) ||
1694 (StackGrowsDown &&
MI.getOpcode() == FrameDestroyOpcode))
1707 if (
MI.isTerminator() ||
MI.isPosition())
1711 if (
MI.getOpcode() == TargetOpcode::INLINEASM_BR)
1754 bool &OffsetIsScalable)
const {
1759 BaseOps.
size() != 1)
1761 BaseOp = BaseOps.
front();
1769std::optional<unsigned>
1771 SDNode *DefNode,
unsigned DefIdx,
1772 SDNode *UseNode,
unsigned UseIdx)
const {
1773 if (!ItinData || ItinData->
isEmpty())
1774 return std::nullopt;
1777 return std::nullopt;
1788 if (!ItinData || ItinData->
isEmpty())
1791 if (!
N->isMachineOpcode())
1803 if (!ItinData || ItinData->
isEmpty())
1806 unsigned Class =
MI.getDesc().getSchedClass();
1820 if (
DefMI.isTransient())
1822 if (
DefMI.mayLoad())
1835 unsigned *PredCost)
const {
1839 return MI.mayLoad() ? 2 : 1;
1846 unsigned DefIdx)
const {
1848 if (!ItinData || ItinData->
isEmpty())
1851 unsigned DefClass =
DefMI.getDesc().getSchedClass();
1852 std::optional<unsigned> DefCycle =
1854 return DefCycle && DefCycle <= 1U;
1868 if (SectionPrefix &&
1869 (*SectionPrefix ==
"unlikely" || *SectionPrefix ==
"unknown")) {
1876std::optional<ParamLoadedValue>
1882 bool OffsetIsScalable;
1889 Register DestReg = DestSrc->Destination->getReg();
1900 return std::nullopt;
1906 }
else if (
MI.hasOneMemOperand()) {
1917 return std::nullopt;
1921 return std::nullopt;
1924 if (OffsetIsScalable)
1925 return std::nullopt;
1933 if (
MI.getNumExplicitDefs() != 1)
1934 return std::nullopt;
1942 return std::nullopt;
1948 Ops.push_back(dwarf::DW_OP_deref_size);
1954 return std::nullopt;
1970 return MBB->getCallFrameSize();
1978 unsigned DefClass =
DefMI.getDesc().getSchedClass();
1979 unsigned UseClass =
UseMI.getDesc().getSchedClass();
1987 MI.isRegSequenceLike()) &&
"Instruction do not have the proper type");
1989 if (!
MI.isRegSequence())
1994 assert(DefIdx == 0 &&
"REG_SEQUENCE only has one def");
1995 for (
unsigned OpIdx = 1, EndOpIdx =
MI.getNumOperands(); OpIdx != EndOpIdx;
2002 "One of the subindex of the reg_sequence is not an immediate");
2005 (
unsigned)MOSubIdx.
getImm()));
2014 MI.isExtractSubregLike()) &&
"Instruction do not have the proper type");
2016 if (!
MI.isExtractSubreg())
2021 assert(DefIdx == 0 &&
"EXTRACT_SUBREG only has one def");
2027 "The subindex of the extract_subreg is not an immediate");
2039 MI.isInsertSubregLike()) &&
"Instruction do not have the proper type");
2041 if (!
MI.isInsertSubreg())
2046 assert(DefIdx == 0 &&
"INSERT_SUBREG only has one def");
2053 "One of the subindex of the reg_sequence is not an immediate");
2054 BaseReg.Reg = MOBaseReg.
getReg();
2057 InsertedReg.
Reg = MOInsertedReg.
getReg();
2066 unsigned OpIdx)
const {
2068 if (!
MI.isInlineAsm())
2076 unsigned ExtraInfo =
Op.getImm();
2081 int FlagIdx =
MI.findInlineAsmFlagIdx(OpIdx);
2082 if (FlagIdx < 0 || (
unsigned)FlagIdx != OpIdx)
2085 assert(
Op.isImm() &&
"Expected flag operand to be an immediate");
2087 unsigned Flag =
Op.getImm();
2089 OS <<
F.getKindName();
2092 if (!
F.isImmKind() && !
F.isMemKind() &&
F.hasRegClassConstraint(RCID))
2093 OS <<
':' <<
TRI.getRegClassName(
TRI.getRegClass(RCID));
2095 if (
F.isMemKind()) {
2101 if (
F.isUseOperandTiedToDef(TiedTo))
2102 OS <<
" tiedto:$" << TiedTo;
2104 if ((
F.isRegDefKind() ||
F.isRegDefEarlyClobberKind() ||
F.isRegUseKind()) &&
2105 F.getRegMayBeFolded())
2114 Function &
F, std::vector<outliner::Candidate> &Candidates)
const {
2128 return C.getMF()->getFunction().hasFnAttribute(Attribute::NoUnwind);
2130 F.addFnAttr(Attribute::NoUnwind);
2136 unsigned Flags)
const {
2141 if (
MI.isCFIInstruction())
2146 if (
MI.isInlineAsm())
2154 if (
MI.isDebugInstr())
2158 switch (
MI.getOpcode()) {
2159 case TargetOpcode::IMPLICIT_DEF:
2160 case TargetOpcode::KILL:
2161 case TargetOpcode::LIFETIME_START:
2162 case TargetOpcode::LIFETIME_END:
2169 if (
MI.isTerminator()) {
2171 if (!
MI.getParent()->succ_empty())
2196 assert(!MOP.isTargetIndex() &&
"This isn't used quite yet!");
2199 assert(!MOP.isCFIIndex() &&
"CFI instructions handled elsewhere!");
2202 assert(!MOP.isFI() &&
"FrameIndex instructions should be gone by now!");
2204 if (MOP.isMBB() || MOP.isBlockAddress() || MOP.isCPI() || MOP.isJTI())
2213 unsigned &Flags)
const {
2216 auto First =
MBB.getFirstNonDebugInstr();
2220 if (
First->getOpcode() == TargetOpcode::FENTRY_CALL ||
2221 First->getOpcode() == TargetOpcode::PATCHABLE_FUNCTION_ENTER)
2226 auto Last =
MBB.getLastNonDebugInstr();
2227 if (
Last->getOpcode() == TargetOpcode::PATCHABLE_RET ||
2228 Last->getOpcode() == TargetOpcode::PATCHABLE_TAIL_CALL)
2233 if (
Last->getOpcode() == TargetOpcode::PATCHABLE_FUNCTION_EXIT ||
2234 Last->getOpcode() == TargetOpcode::PATCHABLE_TAIL_CALL)
2241 return MI->isCall() ||
MI->hasUnmodeledSideEffects() ||
2242 (
MI->hasOrderedMemoryRef() && !
MI->isDereferenceableInvariantLoad());
MachineInstrBuilder & UseMI
MachineInstrBuilder MachineInstrBuilder & DefMI
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
SmallVector< int16_t, MAX_SRC_OPERANDS_NUM > OperandIndices
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
DXIL Forward Handle Accesses
This file contains constants used for implementing Dwarf debug support.
const HexagonInstrInfo * TII
Module.h This file contains the declarations for the Module class.
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
Register const TargetRegisterInfo * TRI
Promote Memory to Register
static MCRegister getReg(const MCDisassembler *D, unsigned RC, unsigned RegNo)
uint64_t IntrinsicInst * II
TargetInstrInfo::RegSubRegPairAndIdx RegSubRegPairAndIdx
This file defines the SmallSet class.
static bool isAsmComment(const char *Str, const MCAsmInfo &MAI)
static void transferImplicitOperands(MachineInstr *MI, const TargetRegisterInfo *TRI)
transferImplicitOperands - MI is a pseudo-instruction, and the lowered replacement instructions immed...
static cl::opt< bool > EnableAccReassociation("acc-reassoc", cl::Hidden, cl::init(true), cl::desc("Enable reassociation of accumulation chains"))
static std::pair< bool, bool > mustSwapOperands(unsigned Pattern)
static const TargetRegisterClass * canFoldCopy(const MachineInstr &MI, const TargetInstrInfo &TII, unsigned FoldIdx)
static cl::opt< unsigned int > MinAccumulatorDepth("acc-min-depth", cl::Hidden, cl::init(8), cl::desc("Minimum length of accumulator chains " "required for the optimization to kick in"))
static void foldInlineAsmMemOperand(MachineInstr *MI, unsigned OpNo, int FI, const TargetInstrInfo &TII)
static cl::opt< unsigned int > MaxAccumulatorWidth("acc-max-width", cl::Hidden, cl::init(3), cl::desc("Maximum number of branches in the accumulator tree"))
static bool canCombine(MachineBasicBlock &MBB, MachineOperand &MO, unsigned CombineOpc=0)
static cl::opt< bool > DisableHazardRecognizer("disable-sched-hazard", cl::Hidden, cl::init(false), cl::desc("Disable hazard detection during preRA scheduling"))
static MachineInstr * foldPatchpoint(MachineFunction &MF, MachineInstr &MI, ArrayRef< unsigned > Ops, int FrameIndex, const TargetInstrInfo &TII)
This file describes how to lower LLVM code to machine code.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
static LLVM_ABI void appendOffset(SmallVectorImpl< uint64_t > &Ops, int64_t Offset)
Append Ops with operations to apply the Offset.
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 ...
static LLVM_ABI DIExpression * prependOpcodes(const DIExpression *Expr, SmallVectorImpl< uint64_t > &Ops, bool StackValue=false, bool EntryValue=false)
Prepend DIExpr with the given opcodes and optionally turn it into a stack value.
bool isLittleEndian() const
Layout endianness...
LLVM_ABI unsigned getPointerSize(unsigned AS=0) const
The pointer representation size in bytes, rounded up to a whole number of bytes.
std::pair< iterator, bool > insert(const std::pair< KeyT, ValueT > &KV)
Attribute getFnAttribute(Attribute::AttrKind Kind) const
Return the attribute for the given attribute kind.
LLVMContext & getContext() const
getContext - Return a reference to the LLVMContext associated with this function.
bool hasFnAttribute(Attribute::AttrKind Kind) const
Return true if the function has the attribute.
LLVM_ABI std::optional< StringRef > getSectionPrefix() const
Get the section prefix for this global object.
bool hasSection() const
Check if this global has a custom object file section.
Module * getParent()
Get the module that this global value is contained inside of...
static std::vector< StringRef > getExtraInfoNames(unsigned ExtraInfo)
static StringRef getMemConstraintName(ConstraintCode C)
Itinerary data supplied by a subtarget to be used by a target.
std::optional< unsigned > getOperandCycle(unsigned ItinClassIndx, unsigned OperandIdx) const
Return the cycle for the given class and operand.
unsigned getStageLatency(unsigned ItinClassIndx) const
Return the total stage latency of the given class.
std::optional< unsigned > getOperandLatency(unsigned DefClass, unsigned DefIdx, unsigned UseClass, unsigned UseIdx) const
Compute and return the use operand latency of a given itinerary class and operand index if the value ...
const InstrItinerary * Itineraries
Array of itineraries selected.
bool isEmpty() const
Returns true if there are no itineraries.
static LocationSize precise(uint64_t Value)
TypeSize getValue() const
This class is intended to be used as a base class for asm properties and features specific to the tar...
virtual unsigned getMaxInstLength(const MCSubtargetInfo *STI=nullptr) const
Returns the maximum possible encoded instruction size in bytes.
StringRef getCommentString() const
const char * getSeparatorString() const
Instances of this class represent a single low-level machine instruction.
Describe properties that are true of each instruction in the target description file.
unsigned getSchedClass() const
Return the scheduling class for this instruction.
const MCInstrDesc & get(unsigned Opcode) const
Return the machine instruction descriptor that corresponds to the specified instruction opcode.
This holds information about one operand of a machine instruction, indicating the register class for ...
bool contains(MCRegister Reg) const
contains - Return true if the specified register is included in this register class.
bool hasSubClassEq(const MCRegisterClass *RC) const
Returns true if RC is a sub-class of or equal to this class.
static MDTuple * get(LLVMContext &Context, ArrayRef< Metadata * > MDs)
Instructions::const_iterator const_instr_iterator
MachineInstrBundleIterator< MachineInstr > iterator
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
bool isImmutableObjectIndex(int ObjectIdx) const
Returns true if the specified index corresponds to an immutable object.
Align getObjectAlign(int ObjectIdx) const
Return the alignment of the specified stack object.
int64_t getObjectSize(int ObjectIdx) const
Return the size of the specified object.
int64_t getObjectOffset(int ObjectIdx) const
Return the assigned stack offset of the specified object from the incoming stack pointer.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
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.
BasicBlockListType::iterator iterator
const MachineFunctionProperties & getProperties() const
Get the function properties.
MachineMemOperand * getMachineMemOperand(MachinePointerInfo PtrInfo, MachineMemOperand::Flags F, LLT MemTy, Align BaseAlignment, const MMOMetadata &Metadata=MMOMetadata(), SyncScope::ID SSID=SyncScope::System, AtomicOrdering Ordering=AtomicOrdering::NotAtomic, AtomicOrdering FailureOrdering=AtomicOrdering::NotAtomic)
getMachineMemOperand - Allocate a new MachineMemOperand.
const MachineInstrBuilder & addReg(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a new virtual register operand.
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & add(const MachineOperand &MO) const
const MachineInstrBuilder & addFrameIndex(int Idx) const
const MachineInstrBuilder & copyImplicitOps(const MachineInstr &OtherMI) const
Copy all the implicit operands from OtherMI onto this one.
MachineInstr * getInstr() const
If conversion operators fail, use this method to get the MachineInstr explicitly.
const MachineInstrBuilder & copyMIMetadata(const MIMetadata &MIMD) const
Representation of each machine instruction.
ArrayRef< MachineMemOperand * >::iterator mmo_iterator
unsigned getOpcode() const
Returns the opcode of this MachineInstr.
const MachineBasicBlock * getParent() const
void setFlags(unsigned flags)
unsigned getNumOperands() const
Retuns the total number of operands.
void setDebugInstrNum(unsigned Num)
Set instruction number of this MachineInstr.
mmo_iterator memoperands_end() const
Access to memory operands of the instruction.
unsigned peekDebugInstrNum() const
Examine the instruction number of this MachineInstr.
LLVM_ABI void setMemRefs(MachineFunction &MF, ArrayRef< MachineMemOperand * > MemRefs)
Assign this MachineInstr's memory reference descriptor list.
bool mayLoad(QueryType Type=AnyInBundle) const
Return true if this instruction could possibly read memory.
bool isCFIInstruction() const
bool isNotDuplicable(QueryType Type=AnyInBundle) const
Return true if this instruction cannot be safely duplicated.
void clearFlag(MIFlag Flag)
clearFlag - Clear a MI flag.
mop_range explicit_operands()
LLVM_ABI void tieOperands(unsigned DefIdx, unsigned UseIdx)
Add a tie between the register operands at DefIdx and UseIdx.
mmo_iterator memoperands_begin() const
Access to memory operands of the instruction.
LLVM_ABI void cloneInstrSymbols(MachineFunction &MF, const MachineInstr &MI)
Clone another MachineInstr's pre- and post- instruction symbols and replace ours with it.
LLVM_ABI bool isIdenticalTo(const MachineInstr &Other, MICheckType Check=CheckDefs) const
Return true if this instruction is identical to Other.
LLVM_ABI const MachineFunction * getMF() const
Return the function that contains the basic block that this instruction belongs to.
ArrayRef< MachineMemOperand * > memoperands() const
Access to memory operands of the instruction.
bool mayStore(QueryType Type=AnyInBundle) const
Return true if this instruction could possibly modify memory.
const MachineOperand & getOperand(unsigned i) const
uint32_t getFlags() const
Return the MI flags bitvector.
bool canFoldAsLoad(QueryType Type=IgnoreBundle) const
Return true for instructions that can be folded as memory operands in other instructions.
LLVM_ABI const TargetRegisterClass * getRegClassConstraint(unsigned OpIdx, const TargetInstrInfo *TII, const TargetRegisterInfo *TRI) const
Compute the static register class constraint for operand OpIdx.
LLVM_ABI void addMemOperand(MachineFunction &MF, MachineMemOperand *MO)
Add a MachineMemOperand to the machine instruction.
A description of a memory reference used in the backend.
LocationSize getSize() const
Return the size in bytes of the memory reference.
const PseudoSourceValue * getPseudoValue() const
Flags
Flags values. These may be or'd together.
@ MOLoad
The memory access reads data.
@ MOStore
The memory access writes data.
This class contains meta information specific to a module.
MachineOperand class - Representation of each machine instruction operand.
void setSubReg(unsigned subReg)
unsigned getSubReg() const
void setIsInternalRead(bool Val=true)
void setImm(int64_t immVal)
LLVM_ABI void setIsRenamable(bool Val=true)
bool isReg() const
isReg - Tests if this is a MO_Register operand.
LLVM_ABI void setReg(Register Reg)
Change the register this operand corresponds to.
bool isImm() const
isImm - Tests if this is a MO_Immediate operand.
void setIsKill(bool Val=true)
LLVM_ABI bool isRenamable() const
isRenamable - Returns true if this register may be renamed, i.e.
void setMBB(MachineBasicBlock *MBB)
void setIsUndef(bool Val=true)
Register getReg() const
getReg - Returns the register number.
static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp=false, bool isKill=false, bool isDead=false, bool isUndef=false, bool isEarlyClobber=false, unsigned SubReg=0, bool isDebug=false, bool isInternalRead=false, bool isRenamable=false)
bool isMBB() const
isMBB - Tests if this is a MO_MachineBasicBlock operand.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
LLVM_ABI bool hasOneNonDBGUse(Register RegNo) const
hasOneNonDBGUse - Return true if there is exactly one non-Debug use of the specified register.
const TargetRegisterClass * getRegClass(Register Reg) const
Return the register class of the specified virtual register.
LLVM_ABI LLVM_READONLY MachineInstr * getVRegDef(Register Reg) const
getVRegDef - Return the machine instr that defines the specified virtual register or null if none is ...
use_instr_iterator use_instr_begin(Register RegNo) const
LLVM_ABI Register createVirtualRegister(const TargetRegisterClass *RegClass, StringRef Name="")
createVirtualRegister - Create and return a new virtual register in the function with the specified r...
LLVM_ABI bool hasOneNonDBGUser(Register RegNo) const
hasOneNonDBGUse - Return true if there is exactly one non-Debug instruction using the specified regis...
LLVM_ABI bool isConstantPhysReg(MCRegister PhysReg) const
Returns true if PhysReg is unallocatable and constant throughout the function.
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...
LLVM_ABI LLVM_READONLY MachineInstr * getUniqueVRegDef(Register Reg) const
getUniqueVRegDef - Return the unique machine instr that defines the specified virtual register or nul...
const Triple & getTargetTriple() const
Get the target triple which is a string describing the target host.
MI-level patchpoint operands.
Special value supplied for machine level alias analysis.
virtual bool mayAlias(const MachineFrameInfo *) const
Return true if the memory pointed to by this PseudoSourceValue can ever alias an LLVM IR Value.
Wrapper class representing virtual and physical registers.
constexpr bool isVirtual() const
Return true if the specified register number is in the virtual register namespace.
constexpr bool isPhysical() const
Return true if the specified register number is in the physical register namespace.
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 getMachineOpcode() const
This may only be called if isMachineOpcode returns true.
ScheduleDAGMI is an implementation of ScheduleDAGInstrs that simply schedules machine instructions ac...
HazardRecognizer - This determines whether or not an instruction can be issued this cycle,...
SmallSet - This maintains a set of unique values, optimizing for the case when the set is small (less...
bool contains(const T &V) const
Check if the SmallSet contains the given element.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
MI-level stackmap operands.
MI-level Statepoint operands.
constexpr size_t size() const
Get the string size.
constexpr const char * data() const
Get a pointer to the start of the string (which may not be null terminated).
Information about stack frame layout on the target.
StackDirection getStackGrowthDirection() const
getStackGrowthDirection - Return the direction the stack grows
int alignSPAdjust(int SPAdj) const
alignSPAdjust - This method aligns the stack adjustment to the correct alignment.
virtual ~PipelinerLoopInfo()
TargetInstrInfo - Interface to description of machine instruction set.
virtual ScheduleHazardRecognizer * CreateTargetPostRAHazardRecognizer(const InstrItineraryData *, const ScheduleDAG *DAG) const
Allocate and return a hazard recognizer to use for this target when scheduling the machine instructio...
virtual bool hasLowDefLatency(const TargetSchedModel &SchedModel, const MachineInstr &DefMI, unsigned DefIdx) const
Compute operand latency of a def of 'Reg'.
virtual void setSpecialOperandAttr(MachineInstr &OldMI1, MachineInstr &OldMI2, MachineInstr &NewMI1, MachineInstr &NewMI2) const
This is an architecture-specific helper function of reassociateOps.
const TargetRegisterInfo & TRI
virtual unsigned getNumMicroOps(const InstrItineraryData *ItinData, const MachineInstr &MI) const
Return the number of u-operations the given machine instruction will be decoded to on the target cpu.
virtual const TargetRegisterClass * getRegClass(const MCInstrDesc &MCID, unsigned OpNum) const
Given a machine instruction descriptor, returns the register class constraint for OpNum,...
virtual int getSPAdjust(const MachineInstr &MI) const
Returns the actual stack pointer adjustment made by an instruction as part of a call sequence.
virtual void ReplaceTailWithBranchTo(MachineBasicBlock::iterator Tail, MachineBasicBlock *NewDest) const
Delete the instruction OldInst and everything after it, replacing it with an unconditional branch to ...
virtual bool PredicateInstruction(MachineInstr &MI, ArrayRef< MachineOperand > Pred) const
Convert the instruction into a predicated instruction.
int16_t getOpRegClassID(const MCOperandInfo &OpInfo) const
bool areOpcodesEqualOrInverse(unsigned Opcode1, unsigned Opcode2) const
Return true when \P Opcode1 or its inversion is equal to \P Opcode2.
virtual outliner::InstrType getOutliningTypeImpl(const MachineModuleInfo &MMI, MachineBasicBlock::iterator &MIT, unsigned Flags) const
Target-dependent implementation for getOutliningTypeImpl.
virtual bool getInsertSubregLikeInputs(const MachineInstr &MI, unsigned DefIdx, RegSubRegPair &BaseReg, RegSubRegPairAndIdx &InsertedReg) const
Target-dependent implementation of getInsertSubregInputs.
outliner::InstrType getOutliningType(const MachineModuleInfo &MMI, MachineBasicBlock::iterator &MIT, unsigned Flags) const
Returns how or if MIT should be outlined.
virtual bool isThroughputPattern(unsigned Pattern) const
Return true when a code sequence can improve throughput.
bool getAccumulatorReassociationPatterns(MachineInstr &Root, SmallVectorImpl< unsigned > &Patterns) const
Find chains of accumulations that can be rewritten as a tree for increased ILP.
virtual std::pair< unsigned, unsigned > getPatchpointUnfoldableRange(const MachineInstr &MI) const
For a patchpoint, stackmap, or statepoint intrinsic, return the range of operands which can't be fold...
virtual bool findCommutedOpIndices(const MachineInstr &MI, unsigned &SrcOpIdx1, unsigned &SrcOpIdx2) const
Returns true iff the routine could find two commutable operands in the given machine instruction.
virtual void mergeOutliningCandidateAttributes(Function &F, std::vector< outliner::Candidate > &Candidates) const
Optional target hook to create the LLVM IR attributes for the outlined function.
bool isUnpredicatedTerminator(const MachineInstr &MI) const
Returns true if the instruction is a terminator instruction that has not been predicated.
virtual void insertNoop(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI) const
Insert a noop into the instruction stream at the specified point.
void getAccumulatorChain(MachineInstr *CurrentInstr, SmallVectorImpl< Register > &Chain) const
Find the chain of accumulator instructions in \P MBB and return them in \P Chain.
bool isFrameInstr(const MachineInstr &I) const
Returns true if the argument is a frame pseudo instruction.
virtual bool getRegSequenceLikeInputs(const MachineInstr &MI, unsigned DefIdx, SmallVectorImpl< RegSubRegPairAndIdx > &InputRegs) const
Target-dependent implementation of getRegSequenceInputs.
unsigned defaultDefLatency(const TargetSubtargetInfo &STI, const MCSchedModel &SchedModel, const MachineInstr &DefMI) const
Return the default expected latency for a def based on its opcode.
virtual bool getStackSlotRange(const TargetRegisterClass *RC, unsigned SubIdx, unsigned &Size, unsigned &Offset, const MachineFunction &MF) const
Compute the size in bytes and offset within a stack slot of a spilled register or subregister.
virtual ScheduleHazardRecognizer * CreateTargetMIHazardRecognizer(const InstrItineraryData *, const ScheduleDAGMI *DAG) const
Allocate and return a hazard recognizer to use for this target when scheduling the machine instructio...
virtual bool hasStoreToStackSlot(const MachineInstr &MI, SmallVectorImpl< const MachineMemOperand * > &Accesses) const
If the specified machine instruction has a store to a stack slot, return true along with the FrameInd...
virtual bool hasReassociableOperands(const MachineInstr &Inst, const MachineBasicBlock *MBB) const
Return true when \P Inst has reassociable operands in the same \P MBB.
virtual void storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, Register SrcReg, bool isKill, int FrameIndex, const TargetRegisterClass *RC, Register VReg, MachineInstr::MIFlag Flags=MachineInstr::NoFlags) const
Store the specified register of the given register class to the specified stack frame index.
virtual unsigned getInlineAsmLength(const char *Str, const MCAsmInfo &MAI, const TargetSubtargetInfo *STI=nullptr) const
Measure the specified inline asm to determine an approximation of its length.
virtual void genAlternativeCodeSequence(MachineInstr &Root, unsigned Pattern, SmallVectorImpl< MachineInstr * > &InsInstrs, SmallVectorImpl< MachineInstr * > &DelInstrs, DenseMap< Register, unsigned > &InstIdxForVirtReg) const
When getMachineCombinerPatterns() finds patterns, this function generates the instructions that could...
virtual std::optional< ParamLoadedValue > describeLoadedValue(const MachineInstr &MI, Register Reg) const
Produce the expression describing the MI loading a value into the physical register Reg.
virtual unsigned getReduceOpcodeForAccumulator(unsigned int AccumulatorOpCode) const
Returns the opcode that should be use to reduce accumulation registers.
virtual Register isLoadFromStackSlot(const MachineInstr &MI, int &FrameIndex) const
If the specified machine instruction is a direct load from a stack slot, return the virtual or physic...
virtual ScheduleHazardRecognizer * CreateTargetHazardRecognizer(const TargetSubtargetInfo *STI, const ScheduleDAG *DAG) const
Allocate and return a hazard recognizer to use for this target when scheduling the machine instructio...
virtual MachineInstr * optimizeLoadInstr(MachineInstr &MI, const MachineRegisterInfo *MRI, Register &FoldAsLoadDefReg, MachineInstr *&DefMI, MachineInstr *&CopyMI) const
Try to remove the load by folding it to a register operand at the use.
TargetInstrInfo(const TargetRegisterInfo &TRI, unsigned CFSetupOpcode=~0u, unsigned CFDestroyOpcode=~0u, unsigned CatchRetOpcode=~0u, unsigned ReturnOpcode=~0u, const int16_t *const RegClassByHwModeTable=nullptr)
virtual unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB, MachineBasicBlock *FBB, ArrayRef< MachineOperand > Cond, const DebugLoc &DL, int *BytesAdded=nullptr) const
Insert branch code into the end of the specified MachineBasicBlock.
virtual void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, const DebugLoc &DL, Register DestReg, Register SrcReg, bool KillSrc, bool RenamableDest=false, bool RenamableSrc=false) const
Emit instructions to copy a pair of physical registers.
virtual unsigned getAccumulationStartOpcode(unsigned Opcode) const
Returns an opcode which defines the accumulator used by \P Opcode.
unsigned getCallFrameSetupOpcode() const
These methods return the opcode of the frame setup/destroy instructions if they exist (-1 otherwise).
virtual bool getMachineCombinerPatterns(MachineInstr &Root, SmallVectorImpl< unsigned > &Patterns, bool DoRegPressureReduce) const
Return true when there is potentially a faster code sequence for an instruction chain ending in Root.
virtual bool isReMaterializableImpl(const MachineInstr &MI) const
For instructions with opcodes for which the M_REMATERIALIZABLE flag is set, this hook lets the target...
virtual MCInst getNop() const
Return the noop instruction to use for a noop.
unsigned getCallFrameSizeAt(MachineInstr &MI) const
virtual MachineInstr & duplicate(MachineBasicBlock &MBB, MachineBasicBlock::iterator InsertBefore, const MachineInstr &Orig) const
Clones instruction or the whole instruction bundle Orig and insert into MBB before InsertBefore.
virtual std::string createMIROperandComment(const MachineInstr &MI, const MachineOperand &Op, unsigned OpIdx) const
std::pair< unsigned, unsigned > getReassociationOpcodes(unsigned Pattern, const MachineInstr &Root, const MachineInstr &Prev) const
Reassociation of some instructions requires inverse operations (e.g.
unsigned getInstBundleSize(const MachineInstr &MI) const
Sum the sizes of instructions inside of a BUNDLE, by calling getInstSizeInBytes on each.
virtual bool isMBBSafeToOutlineFrom(MachineBasicBlock &MBB, unsigned &Flags) const
Optional target hook that returns true if MBB is safe to outline from, and returns any target-specifi...
virtual void getReassociateOperandIndices(const MachineInstr &Root, unsigned Pattern, std::array< unsigned, 5 > &OperandIndices) const
The returned array encodes the operand index for each parameter because the operands may be commuted;...
virtual bool getMemOperandsWithOffsetWidth(const MachineInstr &MI, SmallVectorImpl< const MachineOperand * > &BaseOps, int64_t &Offset, bool &OffsetIsScalable, LocationSize &Width) const
Get zero or more base operands and the byte offset of an instruction that reads/writes memory.
int64_t getFrameTotalSize(const MachineInstr &I) const
Returns the total frame size, which is made up of the space set up inside the pair of frame start-sto...
MachineInstr * commuteInstruction(MachineInstr &MI, bool NewMI=false, unsigned OpIdx1=CommuteAnyOperandIndex, unsigned OpIdx2=CommuteAnyOperandIndex) const
This method commutes the operands of the given machine instruction MI.
virtual std::optional< unsigned > getOperandLatency(const InstrItineraryData *ItinData, SDNode *DefNode, unsigned DefIdx, SDNode *UseNode, unsigned UseIdx) const
virtual bool isAssociativeAndCommutative(const MachineInstr &Inst, bool Invert=false) const
Return true when \P Inst is both associative and commutative.
virtual void reMaterialize(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, Register DestReg, unsigned SubIdx, const MachineInstr &Orig, LaneBitmask UsedLanes=LaneBitmask::getAll()) const
Re-issue the specified 'original' instruction at the specific location targeting a new destination re...
void reassociateOps(MachineInstr &Root, MachineInstr &Prev, unsigned Pattern, SmallVectorImpl< MachineInstr * > &InsInstrs, SmallVectorImpl< MachineInstr * > &DelInstrs, ArrayRef< unsigned > OperandIndices, DenseMap< Register, unsigned > &InstrIdxForVirtReg) const
Attempt to reassociate \P Root and \P Prev according to \P Pattern to reduce critical path length.
virtual std::optional< unsigned > getInverseOpcode(unsigned Opcode) const
Return the inverse operation opcode if it exists for \P Opcode (e.g.
virtual void insertNoops(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, unsigned Quantity) const
Insert noops into the instruction stream at the specified point.
unsigned getCallFrameDestroyOpcode() const
int64_t getFrameSize(const MachineInstr &I) const
Returns size of the frame associated with the given frame instruction.
virtual bool isPredicated(const MachineInstr &MI) const
Returns true if the instruction is already predicated.
bool getInsertSubregInputs(const MachineInstr &MI, unsigned DefIdx, RegSubRegPair &BaseReg, RegSubRegPairAndIdx &InsertedReg) const
Build the equivalent inputs of a INSERT_SUBREG for the given MI and DefIdx.
virtual ~TargetInstrInfo()
virtual unsigned getInstrLatency(const InstrItineraryData *ItinData, const MachineInstr &MI, unsigned *PredCost=nullptr) const
Compute the instruction latency of a given instruction.
virtual bool produceSameValue(const MachineInstr &MI0, const MachineInstr &MI1, const MachineRegisterInfo *MRI=nullptr) const
Return true if two machine instructions would produce identical values.
virtual bool isAccumulationOpcode(unsigned Opcode) const
Return true when \P OpCode is an instruction which performs accumulation into one of its operand regi...
std::optional< DestSourcePair > isCopyInstr(const MachineInstr &MI) const
If the specific machine instruction is a instruction that moves/copies value from one register to ano...
bool isReassociationCandidate(const MachineInstr &Inst, bool &Commuted) const
Return true if the input \P Inst is part of a chain of dependent ops that are suitable for reassociat...
virtual MachineInstr * foldMemoryOperandImpl(MachineFunction &MF, MachineInstr &MI, ArrayRef< unsigned > Ops, int FrameIndex, MachineInstr *&CopyMI, LiveIntervals *LIS=nullptr, VirtRegMap *VRM=nullptr) const
Target-dependent implementation for foldMemoryOperand.
void reduceAccumulatorTree(SmallVectorImpl< Register > &RegistersToReduce, SmallVectorImpl< MachineInstr * > &InsInstrs, MachineFunction &MF, MachineInstr &Root, MachineRegisterInfo &MRI, DenseMap< Register, unsigned > &InstrIdxForVirtReg, Register ResultReg) const
Reduces branches of the accumulator tree into a single register.
virtual bool isSchedulingBoundary(const MachineInstr &MI, const MachineBasicBlock *MBB, const MachineFunction &MF) const
Test if the given instruction should be considered a scheduling boundary.
virtual unsigned getInstSizeInBytes(const MachineInstr &MI) const
Returns the size in bytes of the specified MachineInstr, or ~0U when this function is not implemented...
virtual unsigned getPredicationCost(const MachineInstr &MI) const
virtual void loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, Register DestReg, int FrameIndex, const TargetRegisterClass *RC, Register VReg, unsigned SubReg=0, MachineInstr::MIFlag Flags=MachineInstr::NoFlags) const
Load the specified register of the given register class from the specified stack frame index.
MachineInstr * foldMemoryOperand(MachineInstr &MI, ArrayRef< unsigned > Ops, int FI, MachineInstr *&CopyMI, LiveIntervals *LIS=nullptr, VirtRegMap *VRM=nullptr) const
Attempt to fold a load or store of the specified stack slot into the specified machine instruction fo...
bool getMemOperandWithOffset(const MachineInstr &MI, const MachineOperand *&BaseOp, int64_t &Offset, bool &OffsetIsScalable) const
Get the base operand and byte offset of an instruction that reads/writes memory.
virtual CombinerObjective getCombinerObjective(unsigned Pattern) const
Return the objective of a combiner pattern.
virtual MachineInstr * commuteInstructionImpl(MachineInstr &MI, bool NewMI, unsigned OpIdx1, unsigned OpIdx2) const
This method commutes the operands of the given machine instruction MI.
virtual bool isFunctionSafeToSplit(const MachineFunction &MF) const
Return true if the function is a viable candidate for machine function splitting.
void lowerCopy(MachineInstr *MI) const
This function defines the logic to lower COPY instruction to target specific instruction(s).
virtual MachineTraceStrategy getMachineCombinerTraceStrategy() const
Return a strategy that MachineCombiner must use when creating traces.
bool getRegSequenceInputs(const MachineInstr &MI, unsigned DefIdx, SmallVectorImpl< RegSubRegPairAndIdx > &InputRegs) const
Build the equivalent inputs of a REG_SEQUENCE for the given MI and DefIdx.
virtual bool hasLoadFromStackSlot(const MachineInstr &MI, SmallVectorImpl< const MachineMemOperand * > &Accesses) const
If the specified machine instruction has a load from a stack slot, return true along with the FrameIn...
virtual bool isGlobalMemoryObject(const MachineInstr *MI) const
Returns true if MI is an instruction we are unable to reason about (like a call or something with unm...
virtual std::optional< RegImmPair > isAddImmediate(const MachineInstr &MI, Register Reg) const
If the specific machine instruction is an instruction that adds an immediate value and a register,...
static const unsigned CommuteAnyOperandIndex
virtual bool hasReassociableSibling(const MachineInstr &Inst, bool &Commuted) const
Return true when \P Inst has reassociable sibling.
virtual bool isHighLatencyDef(int opc) const
Return true if this opcode has high latency to its result.
static bool fixCommutedOpIndices(unsigned &ResultIdx1, unsigned &ResultIdx2, unsigned CommutableOpIdx1, unsigned CommutableOpIdx2)
Assigns the (CommutableOpIdx1, CommutableOpIdx2) pair of commutable operand indices to (ResultIdx1,...
bool getExtractSubregInputs(const MachineInstr &MI, unsigned DefIdx, RegSubRegPairAndIdx &InputReg) const
Build the equivalent inputs of a EXTRACT_SUBREG for the given MI and DefIdx.
virtual bool getExtractSubregLikeInputs(const MachineInstr &MI, unsigned DefIdx, RegSubRegPairAndIdx &InputReg) const
Target-dependent implementation of getExtractSubregInputs.
bool usePreRAHazardRecognizer() const
Provide a global flag for disabling the PreRA hazard recognizer that targets may choose to honor.
Register getStackPointerRegisterToSaveRestore() const
If a physical register, this specifies the register that llvm.savestack/llvm.restorestack should save...
This class defines information used to lower LLVM code to legal SelectionDAG operators that the targe...
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
Provide an instruction scheduling machine model to CodeGen passes.
const InstrItineraryData * getInstrItineraries() const
TargetSubtargetInfo - Generic base class for all target subtargets.
virtual unsigned getLoadLatency() const
Return the expected latency of load instructions.
virtual const TargetFrameLowering * getFrameLowering() const
virtual const TargetInstrInfo * getInstrInfo() const
virtual const TargetLowering * getTargetLowering() const
bool isOSDarwin() const
Is this a "Darwin" OS (macOS, iOS, tvOS, watchOS, DriverKit, XROS, or bridgeOS).
constexpr ScalarTy getFixedValue() const
A raw_ostream that writes to an std::string.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
initializer< Ty > init(const Ty &Val)
InstrType
Represents how an instruction should be mapped by the outliner.
This is an optimization pass for GlobalISel generic memory operations.
MachineTraceStrategy
Strategies for selecting traces.
@ TS_MinInstrCount
Select the trace through a block that has the fewest instructions.
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
@ Define
Register definition.
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
InterleavedRange< Range > interleaved(const Range &R, StringRef Separator=", ", StringRef Prefix="", StringRef Suffix="")
Output range R as a sequence of interleaved elements.
constexpr RegState getKillRegState(bool B)
constexpr from_range_t from_range
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
bool isa_and_nonnull(const Y &Val)
unsigned Log2_32(uint32_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
auto reverse(ContainerTy &&C)
MachineInstr * getImm(const MachineOperand &MO, const MachineRegisterInfo *MRI)
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
CombinerObjective
The combiner's goal may differ based on which pattern it is attempting to optimize.
constexpr bool isUInt(uint64_t x)
Checks if an unsigned integer fits into the given bit width.
LLVM_ABI VirtRegInfo AnalyzeVirtRegInBundle(MachineInstr &MI, Register Reg, SmallVectorImpl< std::pair< MachineInstr *, unsigned > > *Ops=nullptr)
AnalyzeVirtRegInBundle - Analyze how the current instruction or bundle uses a virtual register.
@ First
Helpers to iterate all locations in the MemoryEffectsBase class.
DWARFExpression::Operation Op
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
bool isSpace(char C)
Checks whether character C is whitespace in the "C" locale.
std::pair< MachineOperand, DIExpression * > ParamLoadedValue
MCRegisterClass TargetRegisterClass
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
Machine model for scheduling, bundling, and heuristics.
static LLVM_ABI MachinePointerInfo getFixedStack(MachineFunction &MF, int FI, int64_t Offset=0)
Return a MachinePointerInfo record that refers to the specified FrameIndex.
A pair composed of a pair of a register and a sub-register index, and another sub-register index.
A pair composed of a register and a sub-register index.
VirtRegInfo - Information about a virtual register used by a set of operands.
bool Reads
Reads - One of the operands read the virtual register.
bool Writes
Writes - One of the operands writes the virtual register.
An individual sequence of instructions to be replaced with a call to an outlined function.
MachineFunction * getMF() const