LLVM 24.0.0git
HexagonInstrInfo.h
Go to the documentation of this file.
1//===- HexagonInstrInfo.h - Hexagon Instruction Information -----*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file contains the Hexagon implementation of the TargetInstrInfo class.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_LIB_TARGET_HEXAGON_HEXAGONINSTRINFO_H
14#define LLVM_LIB_TARGET_HEXAGON_HEXAGONINSTRINFO_H
15
17#include "llvm/ADT/ArrayRef.h"
23#include <cstdint>
24#include <vector>
25
26#include "HexagonRegisterInfo.h"
27
28#define GET_INSTRINFO_HEADER
29#include "HexagonGenInstrInfo.inc"
30
31namespace llvm {
32
33class HexagonSubtarget;
34class MachineBranchProbabilityInfo;
35class MachineFunction;
36class MachineInstr;
37class MachineOperand;
38class TargetRegisterInfo;
39
41 const HexagonRegisterInfo RegInfo;
42 const HexagonSubtarget &Subtarget;
43
44 enum BundleAttribute {
45 memShufDisabledMask = 0x4
46 };
47
48 virtual void anchor();
49
50public:
51 explicit HexagonInstrInfo(const HexagonSubtarget &ST);
52
53 const HexagonRegisterInfo &getRegisterInfo() const { return RegInfo; }
54
55 bool isMIBefore(const MachineInstr *A, const MachineInstr *B) const;
56 bool hasQFPInstrs(const MachineFunction &MF) const;
57
58 /// TargetInstrInfo overrides.
59
60 /// If the specified machine instruction is a direct
61 /// load from a stack slot, return the virtual or physical register number of
62 /// the destination along with the FrameIndex of the loaded stack slot. If
63 /// not, return 0. This predicate must return 0 if the instruction has
64 /// any side effects other than loading from the stack slot.
66 int &FrameIndex) const override;
67
68 /// If the specified machine instruction is a direct
69 /// store to a stack slot, return the virtual or physical register number of
70 /// the source reg along with the FrameIndex of the loaded stack slot. If
71 /// not, return 0. This predicate must return 0 if the instruction has
72 /// any side effects other than storing to the stack slot.
74 int &FrameIndex) const override;
75
76 /// Check if the instruction or the bundle of instructions has
77 /// load from stack slots. Return the frameindex and machine memory operand
78 /// if true.
80 const MachineInstr &MI,
82
83 /// Check if the instruction or the bundle of instructions has
84 /// store to stack slots. Return the frameindex and machine memory operand
85 /// if true.
87 const MachineInstr &MI,
89
91
92 /// Analyze the branching code at the end of MBB, returning
93 /// true if it cannot be understood (e.g. it's a switch dispatch or isn't
94 /// implemented for a target). Upon success, this returns false and returns
95 /// with the following information in various cases:
96 ///
97 /// 1. If this block ends with no branches (it just falls through to its succ)
98 /// just return false, leaving TBB/FBB null.
99 /// 2. If this block ends with only an unconditional branch, it sets TBB to be
100 /// the destination block.
101 /// 3. If this block ends with a conditional branch and it falls through to a
102 /// successor block, it sets TBB to be the branch destination block and a
103 /// list of operands that evaluate the condition. These operands can be
104 /// passed to other TargetInstrInfo methods to create new branches.
105 /// 4. If this block ends with a conditional branch followed by an
106 /// unconditional branch, it returns the 'true' destination in TBB, the
107 /// 'false' destination in FBB, and a list of operands that evaluate the
108 /// condition. These operands can be passed to other TargetInstrInfo
109 /// methods to create new branches.
110 ///
111 /// Note that removeBranch and insertBranch must be implemented to support
112 /// cases where this method returns success.
113 ///
114 /// If AllowModify is true, then this routine is allowed to modify the basic
115 /// block (e.g. delete instructions after the unconditional branch).
117 MachineBasicBlock *&FBB,
119 bool AllowModify) const override;
120
121 /// Remove the branching code at the end of the specific MBB.
122 /// This is only invoked in cases where analyzeBranch returns success. It
123 /// returns the number of instructions that were removed.
125 int *BytesRemoved = nullptr) const override;
126
127 /// Insert branch code into the end of the specified MachineBasicBlock.
128 /// The operands to this method are the same as those
129 /// returned by analyzeBranch. This is only invoked in cases where
130 /// analyzeBranch returns success. It returns the number of instructions
131 /// inserted.
132 ///
133 /// It is also invoked by tail merging to add unconditional branches in
134 /// cases where analyzeBranch doesn't apply because there was no original
135 /// branch to analyze. At least this much must be implemented, else tail
136 /// merging needs to be disabled.
139 const DebugLoc &DL,
140 int *BytesAdded = nullptr) const override;
141
142 /// Analyze loop L, which must be a single-basic-block loop, and if the
143 /// conditions can be understood enough produce a PipelinerLoopInfo object.
144 std::unique_ptr<PipelinerLoopInfo>
145 analyzeLoopForPipelining(MachineBasicBlock *LoopBB) const override;
146
147 /// Return true if it's profitable to predicate
148 /// instructions with accumulated instruction latency of "NumCycles"
149 /// of the specified basic block, where the probability of the instructions
150 /// being executed is given by Probability, and Confidence is a measure
151 /// of our confidence that it will be properly predicted.
152 bool isProfitableToIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
153 unsigned ExtraPredCycles,
154 BranchProbability Probability) const override;
155
156 /// Second variant of isProfitableToIfCvt. This one
157 /// checks for the case where two basic blocks from true and false path
158 /// of a if-then-else (diamond) are predicated on mutually exclusive
159 /// predicates, where the probability of the true path being taken is given
160 /// by Probability, and Confidence is a measure of our confidence that it
161 /// will be properly predicted.
163 unsigned NumTCycles, unsigned ExtraTCycles,
164 MachineBasicBlock &FMBB,
165 unsigned NumFCycles, unsigned ExtraFCycles,
166 BranchProbability Probability) const override;
167
168 /// Return true if it's profitable for if-converter to duplicate instructions
169 /// of specified accumulated instruction latencies in the specified MBB to
170 /// enable if-conversion.
171 /// The probability of the instructions being executed is given by
172 /// Probability, and Confidence is a measure of our confidence that it
173 /// will be properly predicted.
174 bool isProfitableToDupForIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
175 BranchProbability Probability) const override;
176
177 /// Emit instructions to copy a pair of physical registers.
178 ///
179 /// This function should support copies within any legal register class as
180 /// well as any cross-class copies created during instruction selection.
181 ///
182 /// The source and destination registers may overlap, which may require a
183 /// careful implementation when multiple copy instructions are required for
184 /// large registers. See for example the ARM target.
186 const DebugLoc &DL, Register DestReg, Register SrcReg,
187 bool KillSrc, bool RenamableDest = false,
188 bool RenamableSrc = false) const override;
189
190 /// Store the specified register of the given register class to the specified
191 /// stack frame index. The store instruction is to be added to the given
192 /// machine basic block before the specified machine instruction. If isKill
193 /// is true, the register operand is the last use and must be marked kill.
196 bool isKill, int FrameIndex, const TargetRegisterClass *RC, Register VReg,
197 MachineInstr::MIFlag Flags = MachineInstr::NoFlags) const override;
198
199 /// Load the specified register of the given register class from the specified
200 /// stack frame index. The load instruction is to be added to the given
201 /// machine basic block before the specified machine instruction.
204 Register DestReg, int FrameIndex, const TargetRegisterClass *RC,
205 Register VReg, unsigned SubReg = 0,
206 MachineInstr::MIFlag Flags = MachineInstr::NoFlags) const override;
207
208 /// This function is called for all pseudo instructions
209 /// that remain after register allocation. Many pseudo instructions are
210 /// created to help register allocation. This is the place to convert them
211 /// into real instructions. The target can edit MI in place, or it can insert
212 /// new instructions and erase MI. The function should return true if
213 /// anything was changed.
214 bool expandPostRAPseudo(MachineInstr &MI) const override;
215
216 /// Get the base register and byte offset of a load/store instr.
218 const MachineInstr &LdSt,
220 bool &OffsetIsScalable, LocationSize &Width,
221 const TargetRegisterInfo *TRI) const override;
222
223 /// Reverses the branch condition of the specified condition list,
224 /// returning false on success and true if it cannot be reversed.
226 const override;
227
228 /// Insert a noop into the instruction stream at the specified point.
230 MachineBasicBlock::iterator MI) const override;
231
232 /// Returns true if the instruction is already predicated.
233 bool isPredicated(const MachineInstr &MI) const override;
234
235 /// Return true for post-incremented instructions.
236 bool isPostIncrement(const MachineInstr &MI) const override;
237
238 /// Convert the instruction into a predicated instruction.
239 /// It returns true if the operation was successful.
241 ArrayRef<MachineOperand> Cond) const override;
242
243 /// Returns true if the first specified predicate
244 /// subsumes the second, e.g. GE subsumes GT.
246 ArrayRef<MachineOperand> Pred2) const override;
247
248 /// If the specified instruction defines any predicate
249 /// or condition code register(s) used for predication, returns true as well
250 /// as the definition predicate(s) by reference.
251 bool ClobbersPredicate(MachineInstr &MI, std::vector<MachineOperand> &Pred,
252 bool SkipDead) const override;
253
254 /// Return true if the specified instruction can be predicated.
255 /// By default, this returns true for every instruction with a
256 /// PredicateOperand.
257 bool isPredicable(const MachineInstr &MI) const override;
258
259 /// Test if the given instruction should be considered a scheduling boundary.
260 /// This primarily includes labels and terminators.
262 const MachineBasicBlock *MBB,
263 const MachineFunction &MF) const override;
264
265 /// Measure the specified inline asm to determine an approximation of its
266 /// length.
267 unsigned getInlineAsmLength(
268 const char *Str,
269 const MCAsmInfo &MAI,
270 const TargetSubtargetInfo *STI = nullptr) const override;
271
272 /// Allocate and return a hazard recognizer to use for this target when
273 /// scheduling the machine instructions after register allocation.
276 const ScheduleDAG *DAG) const override;
277
278 /// For a comparison instruction, return the source registers
279 /// in SrcReg and SrcReg2 if having two register operands, and the value it
280 /// compares against in CmpValue. Return true if the comparison instruction
281 /// can be analyzed.
282 bool analyzeCompare(const MachineInstr &MI, Register &SrcReg,
283 Register &SrcReg2, int64_t &Mask,
284 int64_t &Value) const override;
285
286 /// Compute the instruction latency of a given instruction.
287 /// If the instruction has higher cost when predicated, it's returned via
288 /// PredCost.
289 unsigned getInstrLatency(const InstrItineraryData *ItinData,
290 const MachineInstr &MI,
291 unsigned *PredCost = nullptr) const override;
292
293 /// Create machine specific model for scheduling.
295 CreateTargetScheduleState(const TargetSubtargetInfo &STI) const override;
296
297 // Sometimes, it is possible for the target
298 // to tell, even without aliasing information, that two MIs access different
299 // memory addresses. This function returns true if two MIs access different
300 // memory addresses and false otherwise.
301 bool
303 const MachineInstr &MIb) const override;
304
305 /// For instructions with a base and offset, return the position of the
306 /// base register and offset operands.
307 bool getBaseAndOffsetPosition(const MachineInstr &MI, unsigned &BasePos,
308 unsigned &OffsetPos) const override;
309
310 /// If the instruction is an increment of a constant value, return the amount.
311 bool getIncrementValue(const MachineInstr &MI, int &Value) const override;
312
313 /// getOperandLatency - Compute and return the use operand latency of a given
314 /// pair of def and use.
315 /// In most cases, the static scheduling itinerary was enough to determine the
316 /// operand latency. But it may not be possible for instructions with variable
317 /// number of defs / uses.
318 ///
319 /// This is a raw interface to the itinerary that may be directly overridden
320 /// by a target. Use computeOperandLatency to get the best estimate of
321 /// latency.
322 std::optional<unsigned> getOperandLatency(const InstrItineraryData *ItinData,
323 const MachineInstr &DefMI,
324 unsigned DefIdx,
325 const MachineInstr &UseMI,
326 unsigned UseIdx) const override;
327
328 /// Decompose the machine operand's target flags into two values - the direct
329 /// target flag value and any of bit flags that are applied.
330 std::pair<unsigned, unsigned>
331 decomposeMachineOperandsTargetFlags(unsigned TF) const override;
332
333 /// Return an array that contains the direct target flag values and their
334 /// names.
335 ///
336 /// MIR Serialization is able to serialize only the target flags that are
337 /// defined by this method.
340
341 /// Return an array that contains the bitmask target flag values and their
342 /// names.
343 ///
344 /// MIR Serialization is able to serialize only the target flags that are
345 /// defined by this method.
348
349 bool isTailCall(const MachineInstr &MI) const override;
350 bool isAsCheapAsAMove(const MachineInstr &MI) const override;
351
352 // Return true if the instruction should be sunk by MachineSink.
353 // MachineSink determines on its own whether the instruction is safe to sink;
354 // this gives the target a hook to override the default behavior with regards
355 // to which instructions should be sunk.
356 bool shouldSink(const MachineInstr &MI) const override;
357
358 /// HexagonInstrInfo specifics.
359
360 Register createVR(MachineFunction *MF, MVT VT) const;
361 MachineInstr *findLoopInstr(MachineBasicBlock *BB, unsigned EndLoopOp,
362 MachineBasicBlock *TargetBB,
364
365 bool isAbsoluteSet(const MachineInstr &MI) const;
366 bool isAccumulator(const MachineInstr &MI) const;
367 bool isAddrModeWithOffset(const MachineInstr &MI) const;
368 bool isBaseImmOffset(const MachineInstr &MI) const;
369 bool isComplex(const MachineInstr &MI) const;
370 bool isCompoundBranchInstr(const MachineInstr &MI) const;
371 bool isConstExtended(const MachineInstr &MI) const;
372 bool isDeallocRet(const MachineInstr &MI) const;
373 bool isDependent(const MachineInstr &ProdMI,
374 const MachineInstr &ConsMI) const;
375 bool isDotCurInst(const MachineInstr &MI) const;
376 bool isDotNewInst(const MachineInstr &MI) const;
377 bool isDuplexPair(const MachineInstr &MIa, const MachineInstr &MIb) const;
378 bool isEndLoopN(unsigned Opcode) const;
379 bool isExpr(unsigned OpType) const;
380 bool isExtendable(const MachineInstr &MI) const;
381 bool isExtended(const MachineInstr &MI) const;
382 bool isFloat(const MachineInstr &MI) const;
384 const MachineInstr &J) const;
385 bool isIndirectCall(const MachineInstr &MI) const;
386 bool isIndirectL4Return(const MachineInstr &MI) const;
387 bool isJumpR(const MachineInstr &MI) const;
388 bool isJumpWithinBranchRange(const MachineInstr &MI, unsigned offset) const;
389 bool isLateSourceInstr(const MachineInstr &MI) const;
390 bool isLoopN(const MachineInstr &MI) const;
391 bool isMemOp(const MachineInstr &MI) const;
392 bool isNewValue(const MachineInstr &MI) const;
393 bool isNewValue(unsigned Opcode) const;
394 bool isNewValueInst(const MachineInstr &MI) const;
395 bool isNewValueJump(const MachineInstr &MI) const;
396 bool isNewValueJump(unsigned Opcode) const;
397 bool isNewValueStore(const MachineInstr &MI) const;
398 bool isNewValueStore(unsigned Opcode) const;
399 bool isOperandExtended(const MachineInstr &MI, unsigned OperandNum) const;
400 bool isPredicatedNew(const MachineInstr &MI) const;
401 bool isPredicatedNew(unsigned Opcode) const;
402 bool isPredicatedTrue(const MachineInstr &MI) const;
403 bool isPredicatedTrue(unsigned Opcode) const;
404 bool isPredicated(unsigned Opcode) const;
405 bool isPredicateLate(unsigned Opcode) const;
406 bool isPredictedTaken(unsigned Opcode) const;
407 bool isPureSlot0(const MachineInstr &MI) const;
408 bool isRestrictNoSlot1Store(const MachineInstr &MI) const;
409 bool isSaveCalleeSavedRegsCall(const MachineInstr &MI) const;
410 bool isSignExtendingLoad(const MachineInstr &MI) const;
411 bool isSolo(const MachineInstr &MI) const;
412 bool isSpillPredRegOp(const MachineInstr &MI) const;
413 bool isTC1(const MachineInstr &MI) const;
414 bool isTC2(const MachineInstr &MI) const;
415 bool isTC2Early(const MachineInstr &MI) const;
416 bool isTC4x(const MachineInstr &MI) const;
417 bool isToBeScheduledASAP(const MachineInstr &MI1,
418 const MachineInstr &MI2) const;
419 bool isHVXVec(const MachineInstr &MI) const;
420 bool isValidAutoIncImm(const EVT VT, const int Offset) const;
421 bool isValidOffset(unsigned Opcode, int Offset,
422 const TargetRegisterInfo *TRI, bool Extend = true) const;
423 bool isVecAcc(const MachineInstr &MI) const;
424 bool isVecALU(const MachineInstr &MI) const;
425 bool isVecUsableNextPacket(const MachineInstr &ProdMI,
426 const MachineInstr &ConsMI) const;
427 bool isZeroExtendingLoad(const MachineInstr &MI) const;
428
429 bool addLatencyToSchedule(const MachineInstr &MI1,
430 const MachineInstr &MI2) const;
432 const MachineInstr &Second) const;
433 bool doesNotReturn(const MachineInstr &CallMI) const;
434 bool hasEHLabel(const MachineBasicBlock *B) const;
435 bool hasNonExtEquivalent(const MachineInstr &MI) const;
436 bool hasPseudoInstrPair(const MachineInstr &MI) const;
437 bool hasUncondBranch(const MachineBasicBlock *B) const;
438 bool mayBeCurLoad(const MachineInstr &MI) const;
439 bool mayBeNewStore(const MachineInstr &MI) const;
440 bool producesStall(const MachineInstr &ProdMI,
441 const MachineInstr &ConsMI) const;
442 bool producesStall(const MachineInstr &MI,
444 bool predCanBeUsedAsDotNew(const MachineInstr &MI, Register PredReg) const;
445 bool PredOpcodeHasJMP_c(unsigned Opcode) const;
447
448 unsigned getAddrMode(const MachineInstr &MI) const;
450 LocationSize &AccessSize) const;
452 unsigned getCExtOpNum(const MachineInstr &MI) const;
455 unsigned getCompoundOpcode(const MachineInstr &GA,
456 const MachineInstr &GB) const;
457 int getDuplexOpcode(const MachineInstr &MI, bool ForBigCore = true) const;
458 int getCondOpcode(int Opc, bool sense) const;
459 int getDotCurOp(const MachineInstr &MI) const;
460 int getNonDotCurOp(const MachineInstr &MI) const;
461 int getDotNewOp(const MachineInstr &MI) const;
463 const MachineBranchProbabilityInfo *MBPI) const;
465 const MachineBranchProbabilityInfo *MBPI) const;
466 int getDotOldOp(const MachineInstr &MI) const;
468 const;
469 short getEquivalentHWInstr(const MachineInstr &MI) const;
470 unsigned getInstrTimingClassLatency(const InstrItineraryData *ItinData,
471 const MachineInstr &MI) const;
473 unsigned getInvertedPredicatedOpcode(const int Opc) const;
474 int getMaxValue(const MachineInstr &MI) const;
475 unsigned getMemAccessSize(const MachineInstr &MI) const;
476 int getMinValue(const MachineInstr &MI) const;
477 short getNonExtOpcode(const MachineInstr &MI) const;
479 unsigned &PredRegPos, RegState &PredRegFlags) const;
480 short getPseudoInstrPair(const MachineInstr &MI) const;
481 short getRegForm(const MachineInstr &MI) const;
482 unsigned getSize(const MachineInstr &MI) const;
483 uint64_t getType(const MachineInstr &MI) const;
485
487
488 /// getInstrTimingClassLatency - Compute the instruction latency of a given
489 /// instruction using Timing Class information, if available.
490 unsigned nonDbgBBSize(const MachineBasicBlock *BB) const;
491 unsigned nonDbgBundleSize(MachineBasicBlock::const_iterator BundleHead) const;
492
493 void immediateExtend(MachineInstr &MI) const;
495 MachineBasicBlock *NewTarget) const;
497 bool reversePredSense(MachineInstr &MI) const;
498 unsigned reversePrediction(unsigned Opcode) const;
500
502 bool getBundleNoShuf(const MachineInstr &MIB) const;
503
504 // When TinyCore with Duplexes is enabled, this function is used to translate
505 // tiny-instructions to big-instructions and vice versa to get the slot
506 // consumption.
508 bool ToBigInstrs) const;
510 bool ToBigInstrs = true) const;
512 bool ToBigInstrs) const;
513 bool useMachineCombiner() const override { return true; }
515 bool Invert) const override;
516
517 // Addressing mode relations.
518 short changeAddrMode_abs_io(short Opc) const;
519 short changeAddrMode_io_abs(short Opc) const;
520 short changeAddrMode_io_pi(short Opc) const;
521 short changeAddrMode_io_rr(short Opc) const;
522 short changeAddrMode_pi_io(short Opc) const;
523 short changeAddrMode_rr_io(short Opc) const;
524 short changeAddrMode_rr_ur(short Opc) const;
525 short changeAddrMode_ur_rr(short Opc) const;
526
528 return changeAddrMode_abs_io(MI.getOpcode());
529 }
531 return changeAddrMode_io_abs(MI.getOpcode());
532 }
534 return changeAddrMode_io_rr(MI.getOpcode());
535 }
537 return changeAddrMode_rr_io(MI.getOpcode());
538 }
540 return changeAddrMode_rr_ur(MI.getOpcode());
541 }
543 return changeAddrMode_ur_rr(MI.getOpcode());
544 }
545
546 MCInst getNop() const override;
547 bool isQFPMul(const MachineInstr *MF) const;
548
549 // Check if the instruction uses a qf32/qf16 operand.
550 // 'Index' specifies the input operand number (1..3). If 0, check any.
551 bool usesQF32Operand(MachineInstr *MI, unsigned Index = 0) const;
552 bool usesQF16Operand(MachineInstr *MI, unsigned Index = 0) const;
553 bool usesQFOperand(MachineInstr *MI, unsigned Index = 0) const;
554
555 // Check if the instruction has a qf32/qf16 output.
556 bool isQFP32Instr(MachineInstr *MI) const;
557 bool isQFP16Instr(MachineInstr *MI) const;
558 bool isQFPInstr(MachineInstr *MI) const;
559};
560
561/// \brief Create RegSubRegPair from a register MachineOperand
562inline TargetInstrInfo::RegSubRegPair
563getRegSubRegPair(const MachineOperand &O) {
564 assert(O.isReg());
565 return TargetInstrInfo::RegSubRegPair(O.getReg(), O.getSubReg());
566}
567
568} // end namespace llvm
569
570#endif // LLVM_LIB_TARGET_HEXAGON_HEXAGONINSTRINFO_H
MachineInstrBuilder & UseMI
MachineInstrBuilder MachineInstrBuilder & DefMI
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
unsigned uint64_t
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
DXIL Forward Handle Accesses
IRTranslator LLVM IR MI
#define I(x, y, z)
Definition MD5.cpp:57
Register const TargetRegisterInfo * TRI
uint64_t IntrinsicInst * II
const SmallVectorImpl< MachineOperand > MachineBasicBlock * TBB
const SmallVectorImpl< MachineOperand > & Cond
This file defines the SmallVector class.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
A debug info location.
Definition DebugLoc.h:126
short getEquivalentHWInstr(const MachineInstr &MI) const
int getDuplexOpcode(const MachineInstr &MI, bool ForBigCore=true) const
unsigned removeBranch(MachineBasicBlock &MBB, int *BytesRemoved=nullptr) const override
Remove the branching code at the end of the specific MBB.
bool isPredicated(const MachineInstr &MI) const override
Returns true if the instruction is already predicated.
bool isHVXMemWithAIndirect(const MachineInstr &I, const MachineInstr &J) const
short changeAddrMode_abs_io(short Opc) const
bool isRestrictNoSlot1Store(const MachineInstr &MI) const
short getRegForm(const MachineInstr &MI) const
bool isVecALU(const MachineInstr &MI) const
bool isCompoundBranchInstr(const MachineInstr &MI) const
bool isDuplexPair(const MachineInstr &MIa, const MachineInstr &MIb) const
Symmetrical. See if these two instructions are fit for duplex pair.
bool isJumpR(const MachineInstr &MI) const
ScheduleHazardRecognizer * CreateTargetPostRAHazardRecognizer(const InstrItineraryData *II, const ScheduleDAG *DAG) const override
Allocate and return a hazard recognizer to use for this target when scheduling the machine instructio...
std::pair< unsigned, unsigned > decomposeMachineOperandsTargetFlags(unsigned TF) const override
Decompose the machine operand's target flags into two values - the direct target flag value and any o...
bool producesStall(const MachineInstr &ProdMI, const MachineInstr &ConsMI) const
bool invertAndChangeJumpTarget(MachineInstr &MI, MachineBasicBlock *NewTarget) const
void storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register SrcReg, bool isKill, int FrameIndex, const TargetRegisterClass *RC, Register VReg, MachineInstr::MIFlag Flags=MachineInstr::NoFlags) const override
Store the specified register of the given register class to the specified stack frame index.
bool isPredictedTaken(unsigned Opcode) const
bool isSaveCalleeSavedRegsCall(const MachineInstr &MI) const
bool hasQFPInstrs(const MachineFunction &MF) const
Register isLoadFromStackSlot(const MachineInstr &MI, int &FrameIndex) const override
TargetInstrInfo overrides.
unsigned nonDbgBundleSize(MachineBasicBlock::const_iterator BundleHead) const
int getDotNewPredOp(const MachineInstr &MI, const MachineBranchProbabilityInfo *MBPI) const
bool isQFP32Instr(MachineInstr *MI) const
bool ClobbersPredicate(MachineInstr &MI, std::vector< MachineOperand > &Pred, bool SkipDead) const override
If the specified instruction defines any predicate or condition code register(s) used for predication...
unsigned getInvertedPredicatedOpcode(const int Opc) const
bool isPureSlot0(const MachineInstr &MI) const
bool doesNotReturn(const MachineInstr &CallMI) const
HexagonII::SubInstructionGroup getDuplexCandidateGroup(const MachineInstr &MI) const
bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, MachineBasicBlock *&FBB, SmallVectorImpl< MachineOperand > &Cond, bool AllowModify) const override
Analyze the branching code at the end of MBB, returning true if it cannot be understood (e....
bool usesQF16Operand(MachineInstr *MI, unsigned Index=0) const
bool isPredicatedNew(const MachineInstr &MI) const
bool isSignExtendingLoad(const MachineInstr &MI) const
bool isVecAcc(const MachineInstr &MI) const
bool reversePredSense(MachineInstr &MI) const
bool isQFPMul(const MachineInstr *MF) const
unsigned getAddrMode(const MachineInstr &MI) const
MCInst getNop() const override
bool isJumpWithinBranchRange(const MachineInstr &MI, unsigned offset) const
bool mayBeNewStore(const MachineInstr &MI) const
short changeAddrMode_rr_ur(const MachineInstr &MI) const
bool isOperandExtended(const MachineInstr &MI, unsigned OperandNum) const
bool canExecuteInBundle(const MachineInstr &First, const MachineInstr &Second) const
Can these instructions execute at the same time in a bundle.
bool isQFP16Instr(MachineInstr *MI) const
std::optional< unsigned > getOperandLatency(const InstrItineraryData *ItinData, const MachineInstr &DefMI, unsigned DefIdx, const MachineInstr &UseMI, unsigned UseIdx) const override
getOperandLatency - Compute and return the use operand latency of a given pair of def and use.
bool isAddrModeWithOffset(const MachineInstr &MI) const
bool getMemOperandsWithOffsetWidth(const MachineInstr &LdSt, SmallVectorImpl< const MachineOperand * > &BaseOps, int64_t &Offset, bool &OffsetIsScalable, LocationSize &Width, const TargetRegisterInfo *TRI) const override
Get the base register and byte offset of a load/store instr.
bool isValidOffset(unsigned Opcode, int Offset, const TargetRegisterInfo *TRI, bool Extend=true) const
bool isBaseImmOffset(const MachineInstr &MI) const
bool isAbsoluteSet(const MachineInstr &MI) const
short changeAddrMode_io_pi(short Opc) const
void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, const DebugLoc &DL, Register DestReg, Register SrcReg, bool KillSrc, bool RenamableDest=false, bool RenamableSrc=false) const override
Emit instructions to copy a pair of physical registers.
const HexagonRegisterInfo & getRegisterInfo() const
short changeAddrMode_pi_io(short Opc) const
bool analyzeCompare(const MachineInstr &MI, Register &SrcReg, Register &SrcReg2, int64_t &Mask, int64_t &Value) const override
For a comparison instruction, return the source registers in SrcReg and SrcReg2 if having two registe...
bool reverseBranchCondition(SmallVectorImpl< MachineOperand > &Cond) const override
Reverses the branch condition of the specified condition list, returning false on success and true if...
std::unique_ptr< PipelinerLoopInfo > analyzeLoopForPipelining(MachineBasicBlock *LoopBB) const override
Analyze loop L, which must be a single-basic-block loop, and if the conditions can be understood enou...
bool isLoopN(const MachineInstr &MI) const
bool isSpillPredRegOp(const MachineInstr &MI) const
bool hasStoreToStackSlot(const MachineInstr &MI, SmallVectorImpl< const MachineMemOperand * > &Accesses) const override
Check if the instruction or the bundle of instructions has store to stack slots.
ArrayRef< std::pair< unsigned, const char * > > getSerializableDirectMachineOperandTargetFlags() const override
Return an array that contains the direct target flag values and their names.
bool useMachineCombiner() const override
bool isIndirectCall(const MachineInstr &MI) const
short changeAddrMode_ur_rr(short Opc) const
bool isValidAutoIncImm(const EVT VT, const int Offset) const
bool hasNonExtEquivalent(const MachineInstr &MI) const
bool isConstExtended(const MachineInstr &MI) const
bool getIncrementValue(const MachineInstr &MI, int &Value) const override
If the instruction is an increment of a constant value, return the amount.
int getCondOpcode(int Opc, bool sense) const
MachineInstr * findLoopInstr(MachineBasicBlock *BB, unsigned EndLoopOp, MachineBasicBlock *TargetBB, SmallPtrSet< MachineBasicBlock *, 8 > &Visited) const
Find the hardware loop instruction used to set-up the specified loop.
unsigned getInstrTimingClassLatency(const InstrItineraryData *ItinData, const MachineInstr &MI) const
bool usesQF32Operand(MachineInstr *MI, unsigned Index=0) const
bool isAccumulator(const MachineInstr &MI) const
unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB, MachineBasicBlock *FBB, ArrayRef< MachineOperand > Cond, const DebugLoc &DL, int *BytesAdded=nullptr) const override
Insert branch code into the end of the specified MachineBasicBlock.
unsigned getInstrLatency(const InstrItineraryData *ItinData, const MachineInstr &MI, unsigned *PredCost=nullptr) const override
Compute the instruction latency of a given instruction.
bool PredOpcodeHasJMP_c(unsigned Opcode) const
bool isNewValue(const MachineInstr &MI) const
Register createVR(MachineFunction *MF, MVT VT) const
HexagonInstrInfo specifics.
bool isDotCurInst(const MachineInstr &MI) const
bool validateBranchCond(const ArrayRef< MachineOperand > &Cond) const
bool isExtended(const MachineInstr &MI) const
bool isProfitableToIfCvt(MachineBasicBlock &MBB, unsigned NumCycles, unsigned ExtraPredCycles, BranchProbability Probability) const override
Return true if it's profitable to predicate instructions with accumulated instruction latency of "Num...
bool isAsCheapAsAMove(const MachineInstr &MI) const override
int getMaxValue(const MachineInstr &MI) const
bool isPredicateLate(unsigned Opcode) const
short changeAddrMode_rr_ur(short Opc) const
bool hasPseudoInstrPair(const MachineInstr &MI) const
bool isNewValueInst(const MachineInstr &MI) const
unsigned getInlineAsmLength(const char *Str, const MCAsmInfo &MAI, const TargetSubtargetInfo *STI=nullptr) const override
Measure the specified inline asm to determine an approximation of its length.
bool areMemAccessesTriviallyDisjoint(const MachineInstr &MIa, const MachineInstr &MIb) const override
int getNonDotCurOp(const MachineInstr &MI) const
bool isIndirectL4Return(const MachineInstr &MI) const
unsigned reversePrediction(unsigned Opcode) const
ArrayRef< std::pair< unsigned, const char * > > getSerializableBitmaskMachineOperandTargetFlags() const override
Return an array that contains the bitmask target flag values and their names.
bool isAssociativeAndCommutative(const MachineInstr &Inst, bool Invert) const override
short changeAddrMode_rr_io(const MachineInstr &MI) const
InstrStage::FuncUnits getUnits(const MachineInstr &MI) const
short changeAddrMode_ur_rr(const MachineInstr &MI) const
unsigned getMemAccessSize(const MachineInstr &MI) const
bool predOpcodeHasNot(ArrayRef< MachineOperand > Cond) const
bool isComplex(const MachineInstr &MI) const
bool isPostIncrement(const MachineInstr &MI) const override
Return true for post-incremented instructions.
void setBundleNoShuf(MachineBasicBlock::instr_iterator MIB) const
short changeAddrMode_io_abs(const MachineInstr &MI) const
MachineBasicBlock::instr_iterator expandVGatherPseudo(MachineInstr &MI) const
void loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register DestReg, int FrameIndex, const TargetRegisterClass *RC, Register VReg, unsigned SubReg=0, MachineInstr::MIFlag Flags=MachineInstr::NoFlags) const override
Load the specified register of the given register class from the specified stack frame index.
int getDotNewOp(const MachineInstr &MI) const
void changeDuplexOpcode(MachineBasicBlock::instr_iterator MII, bool ToBigInstrs) const
bool isMemOp(const MachineInstr &MI) const
int getDotOldOp(const MachineInstr &MI) const
short getPseudoInstrPair(const MachineInstr &MI) const
bool hasUncondBranch(const MachineBasicBlock *B) const
short getNonExtOpcode(const MachineInstr &MI) const
bool isTailCall(const MachineInstr &MI) const override
void insertNoop(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI) const override
Insert a noop into the instruction stream at the specified point.
bool isDeallocRet(const MachineInstr &MI) const
HexagonInstrInfo(const HexagonSubtarget &ST)
unsigned getCExtOpNum(const MachineInstr &MI) const
bool isSolo(const MachineInstr &MI) const
DFAPacketizer * CreateTargetScheduleState(const TargetSubtargetInfo &STI) const override
Create machine specific model for scheduling.
bool isLateSourceInstr(const MachineInstr &MI) const
bool isDotNewInst(const MachineInstr &MI) const
void translateInstrsForDup(MachineFunction &MF, bool ToBigInstrs=true) const
bool isTC1(const MachineInstr &MI) const
bool isSchedulingBoundary(const MachineInstr &MI, const MachineBasicBlock *MBB, const MachineFunction &MF) const override
Test if the given instruction should be considered a scheduling boundary.
bool predCanBeUsedAsDotNew(const MachineInstr &MI, Register PredReg) const
unsigned getSize(const MachineInstr &MI) const
bool isProfitableToDupForIfCvt(MachineBasicBlock &MBB, unsigned NumCycles, BranchProbability Probability) const override
Return true if it's profitable for if-converter to duplicate instructions of specified accumulated in...
short changeAddrMode_io_abs(short Opc) const
int getDotCurOp(const MachineInstr &MI) const
bool expandPostRAPseudo(MachineInstr &MI) const override
This function is called for all pseudo instructions that remain after register allocation.
bool isMIBefore(const MachineInstr *A, const MachineInstr *B) const
bool isExpr(unsigned OpType) const
void genAllInsnTimingClasses(MachineFunction &MF) const
bool isTC2Early(const MachineInstr &MI) const
bool hasEHLabel(const MachineBasicBlock *B) const
bool shouldSink(const MachineInstr &MI) const override
bool isZeroExtendingLoad(const MachineInstr &MI) const
short changeAddrMode_rr_io(short Opc) const
bool isHVXVec(const MachineInstr &MI) const
bool isDependent(const MachineInstr &ProdMI, const MachineInstr &ConsMI) const
short changeAddrMode_io_rr(short Opc) const
bool SubsumesPredicate(ArrayRef< MachineOperand > Pred1, ArrayRef< MachineOperand > Pred2) const override
Returns true if the first specified predicate subsumes the second, e.g.
bool mayBeCurLoad(const MachineInstr &MI) const
bool getBundleNoShuf(const MachineInstr &MIB) const
bool isNewValueJump(const MachineInstr &MI) const
bool isTC4x(const MachineInstr &MI) const
bool PredicateInstruction(MachineInstr &MI, ArrayRef< MachineOperand > Cond) const override
Convert the instruction into a predicated instruction.
bool getPredReg(ArrayRef< MachineOperand > Cond, Register &PredReg, unsigned &PredRegPos, RegState &PredRegFlags) const
bool isFloat(const MachineInstr &MI) const
bool isQFPInstr(MachineInstr *MI) const
bool isToBeScheduledASAP(const MachineInstr &MI1, const MachineInstr &MI2) const
MachineOperand * getBaseAndOffset(const MachineInstr &MI, int64_t &Offset, LocationSize &AccessSize) const
bool getInvertedPredSense(SmallVectorImpl< MachineOperand > &Cond) const
unsigned nonDbgBBSize(const MachineBasicBlock *BB) const
getInstrTimingClassLatency - Compute the instruction latency of a given instruction using Timing Clas...
uint64_t getType(const MachineInstr &MI) const
bool isEndLoopN(unsigned Opcode) const
bool getBaseAndOffsetPosition(const MachineInstr &MI, unsigned &BasePos, unsigned &OffsetPos) const override
For instructions with a base and offset, return the position of the base register and offset operands...
bool isPredicable(const MachineInstr &MI) const override
Return true if the specified instruction can be predicated.
bool isExtendable(const MachineInstr &MI) const
short changeAddrMode_abs_io(const MachineInstr &MI) const
void immediateExtend(MachineInstr &MI) const
immediateExtend - Changes the instruction in place to one using an immediate extender.
short changeAddrMode_io_rr(const MachineInstr &MI) const
HexagonII::CompoundGroup getCompoundCandidateGroup(const MachineInstr &MI) const
bool hasLoadFromStackSlot(const MachineInstr &MI, SmallVectorImpl< const MachineMemOperand * > &Accesses) const override
Check if the instruction or the bundle of instructions has load from stack slots.
SmallVector< MachineInstr *, 2 > getBranchingInstrs(MachineBasicBlock &MBB) const
bool isPredicatedTrue(const MachineInstr &MI) const
bool isNewValueStore(const MachineInstr &MI) const
int getMinValue(const MachineInstr &MI) const
bool isVecUsableNextPacket(const MachineInstr &ProdMI, const MachineInstr &ConsMI) const
unsigned getCompoundOpcode(const MachineInstr &GA, const MachineInstr &GB) const
bool addLatencyToSchedule(const MachineInstr &MI1, const MachineInstr &MI2) const
Register isStoreToStackSlot(const MachineInstr &MI, int &FrameIndex) const override
If the specified machine instruction is a direct store to a stack slot, return the virtual or physica...
int getDotNewPredJumpOp(const MachineInstr &MI, const MachineBranchProbabilityInfo *MBPI) const
bool usesQFOperand(MachineInstr *MI, unsigned Index=0) const
bool isTC2(const MachineInstr &MI) const
Itinerary data supplied by a subtarget to be used by a target.
This class is intended to be used as a base class for asm properties and features specific to the tar...
Definition MCAsmInfo.h:67
Instances of this class represent a single low-level machine instruction.
Definition MCInst.h:188
Machine Value Type.
MachineInstrBundleIterator< const MachineInstr > const_iterator
Instructions::iterator instr_iterator
Instructions::const_iterator const_instr_iterator
MachineInstrBundleIterator< MachineInstr > iterator
Representation of each machine instruction.
MachineOperand class - Representation of each machine instruction operand.
Wrapper class representing virtual and physical registers.
Definition Register.h:20
HazardRecognizer - This determines whether or not an instruction can be issued this cycle,...
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...
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
virtual bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, MachineBasicBlock *&FBB, SmallVectorImpl< MachineOperand > &Cond, bool AllowModify=false) const
Analyze the branching code at the end of MBB, returning true if it cannot be understood (e....
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
TargetSubtargetInfo - Generic base class for all target subtargets.
LLVM Value Representation.
Definition Value.h:75
This is an optimization pass for GlobalISel generic memory operations.
@ Offset
Definition DWP.cpp:577
TargetInstrInfo::RegSubRegPair getRegSubRegPair(const MachineOperand &O)
Create RegSubRegPair from a register MachineOperand.
RegState
Flags to represent properties of register accesses.
@ First
Helpers to iterate all locations in the MemoryEffectsBase class.
Definition ModRef.h:74
MCRegisterClass TargetRegisterClass
Definition FastISel.h:58
Extended Value Type.
Definition ValueTypes.h:35
uint64_t FuncUnits
Bitmask representing a set of functional units.