LLVM  4.0.0
HexagonInstrInfo.h
Go to the documentation of this file.
1 //===- HexagonInstrInfo.h - Hexagon Instruction Information -----*- C++ -*-===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file contains the Hexagon implementation of the TargetInstrInfo class.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_LIB_TARGET_HEXAGON_HEXAGONINSTRINFO_H
15 #define LLVM_LIB_TARGET_HEXAGON_HEXAGONINSTRINFO_H
16 
17 #include "HexagonRegisterInfo.h"
19 #include "llvm/ADT/ArrayRef.h"
20 #include "llvm/ADT/SmallVector.h"
25 #include <cstdint>
26 #include <vector>
27 
28 #define GET_INSTRINFO_HEADER
29 #include "HexagonGenInstrInfo.inc"
30 
31 namespace llvm {
32 
33 struct EVT;
34 class HexagonSubtarget;
35 
37  const HexagonRegisterInfo RI;
38 
39  virtual void anchor();
40 
41 public:
43 
44  /// TargetInstrInfo overrides.
45  ///
46 
47  /// If the specified machine instruction is a direct
48  /// load from a stack slot, return the virtual or physical register number of
49  /// the destination along with the FrameIndex of the loaded stack slot. If
50  /// not, return 0. This predicate must return 0 if the instruction has
51  /// any side effects other than loading from the stack slot.
52  unsigned isLoadFromStackSlot(const MachineInstr &MI,
53  int &FrameIndex) const override;
54 
55  /// If the specified machine instruction is a direct
56  /// store to a stack slot, return the virtual or physical register number of
57  /// the source reg along with the FrameIndex of the loaded stack slot. If
58  /// not, return 0. This predicate must return 0 if the instruction has
59  /// any side effects other than storing to the stack slot.
60  unsigned isStoreToStackSlot(const MachineInstr &MI,
61  int &FrameIndex) const override;
62 
63  /// Analyze the branching code at the end of MBB, returning
64  /// true if it cannot be understood (e.g. it's a switch dispatch or isn't
65  /// implemented for a target). Upon success, this returns false and returns
66  /// with the following information in various cases:
67  ///
68  /// 1. If this block ends with no branches (it just falls through to its succ)
69  /// just return false, leaving TBB/FBB null.
70  /// 2. If this block ends with only an unconditional branch, it sets TBB to be
71  /// the destination block.
72  /// 3. If this block ends with a conditional branch and it falls through to a
73  /// successor block, it sets TBB to be the branch destination block and a
74  /// list of operands that evaluate the condition. These operands can be
75  /// passed to other TargetInstrInfo methods to create new branches.
76  /// 4. If this block ends with a conditional branch followed by an
77  /// unconditional branch, it returns the 'true' destination in TBB, the
78  /// 'false' destination in FBB, and a list of operands that evaluate the
79  /// condition. These operands can be passed to other TargetInstrInfo
80  /// methods to create new branches.
81  ///
82  /// Note that removeBranch and insertBranch must be implemented to support
83  /// cases where this method returns success.
84  ///
85  /// If AllowModify is true, then this routine is allowed to modify the basic
86  /// block (e.g. delete instructions after the unconditional branch).
87  ///
89  MachineBasicBlock *&FBB,
91  bool AllowModify) const override;
92 
93  /// Remove the branching code at the end of the specific MBB.
94  /// This is only invoked in cases where AnalyzeBranch returns success. It
95  /// returns the number of instructions that were removed.
96  unsigned removeBranch(MachineBasicBlock &MBB,
97  int *BytesRemoved = nullptr) const override;
98 
99  /// Insert branch code into the end of the specified MachineBasicBlock.
100  /// The operands to this method are the same as those
101  /// returned by AnalyzeBranch. This is only invoked in cases where
102  /// AnalyzeBranch returns success. It returns the number of instructions
103  /// inserted.
104  ///
105  /// It is also invoked by tail merging to add unconditional branches in
106  /// cases where AnalyzeBranch doesn't apply because there was no original
107  /// branch to analyze. At least this much must be implemented, else tail
108  /// merging needs to be disabled.
111  const DebugLoc &DL,
112  int *BytesAdded = nullptr) const override;
113 
114  /// Analyze the loop code, return true if it cannot be understood. Upon
115  /// success, this function returns false and returns information about the
116  /// induction variable and compare instruction used at the end.
117  bool analyzeLoop(MachineLoop &L, MachineInstr *&IndVarInst,
118  MachineInstr *&CmpInst) const override;
119 
120  /// Generate code to reduce the loop iteration by one and check if the loop is
121  /// finished. Return the value/register of the the new loop count. We need
122  /// this function when peeling off one or more iterations of a loop. This
123  /// function assumes the nth iteration is peeled first.
124  unsigned reduceLoopCount(MachineBasicBlock &MBB,
125  MachineInstr *IndVar, MachineInstr &Cmp,
128  unsigned Iter, unsigned MaxIter) const override;
129 
130  /// Return true if it's profitable to predicate
131  /// instructions with accumulated instruction latency of "NumCycles"
132  /// of the specified basic block, where the probability of the instructions
133  /// being executed is given by Probability, and Confidence is a measure
134  /// of our confidence that it will be properly predicted.
135  bool isProfitableToIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
136  unsigned ExtraPredCycles,
137  BranchProbability Probability) const override;
138 
139  /// Second variant of isProfitableToIfCvt. This one
140  /// checks for the case where two basic blocks from true and false path
141  /// of a if-then-else (diamond) are predicated on mutally exclusive
142  /// predicates, where the probability of the true path being taken is given
143  /// by Probability, and Confidence is a measure of our confidence that it
144  /// will be properly predicted.
146  unsigned NumTCycles, unsigned ExtraTCycles,
147  MachineBasicBlock &FMBB,
148  unsigned NumFCycles, unsigned ExtraFCycles,
149  BranchProbability Probability) const override;
150 
151  /// Return true if it's profitable for if-converter to duplicate instructions
152  /// of specified accumulated instruction latencies in the specified MBB to
153  /// enable if-conversion.
154  /// The probability of the instructions being executed is given by
155  /// Probability, and Confidence is a measure of our confidence that it
156  /// will be properly predicted.
157  bool isProfitableToDupForIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
158  BranchProbability Probability) const override;
159 
160  /// Emit instructions to copy a pair of physical registers.
161  ///
162  /// This function should support copies within any legal register class as
163  /// well as any cross-class copies created during instruction selection.
164  ///
165  /// The source and destination registers may overlap, which may require a
166  /// careful implementation when multiple copy instructions are required for
167  /// large registers. See for example the ARM target.
169  const DebugLoc &DL, unsigned DestReg, unsigned SrcReg,
170  bool KillSrc) const override;
171 
172  /// Store the specified register of the given register class to the specified
173  /// stack frame index. The store instruction is to be added to the given
174  /// machine basic block before the specified machine instruction. If isKill
175  /// is true, the register operand is the last use and must be marked kill.
178  unsigned SrcReg, bool isKill, int FrameIndex,
179  const TargetRegisterClass *RC,
180  const TargetRegisterInfo *TRI) const override;
181 
182  /// Load the specified register of the given register class from the specified
183  /// stack frame index. The load instruction is to be added to the given
184  /// machine basic block before the specified machine instruction.
187  unsigned DestReg, int FrameIndex,
188  const TargetRegisterClass *RC,
189  const TargetRegisterInfo *TRI) const override;
190 
191  /// This function is called for all pseudo instructions
192  /// that remain after register allocation. Many pseudo instructions are
193  /// created to help register allocation. This is the place to convert them
194  /// into real instructions. The target can edit MI in place, or it can insert
195  /// new instructions and erase MI. The function should return true if
196  /// anything was changed.
197  bool expandPostRAPseudo(MachineInstr &MI) const override;
198 
199  /// \brief Get the base register and byte offset of a load/store instr.
200  bool getMemOpBaseRegImmOfs(MachineInstr &LdSt, unsigned &BaseReg,
201  int64_t &Offset,
202  const TargetRegisterInfo *TRI) const override;
203 
204  /// Reverses the branch condition of the specified condition list,
205  /// returning false on success and true if it cannot be reversed.
207  const override;
208 
209  /// Insert a noop into the instruction stream at the specified point.
210  void insertNoop(MachineBasicBlock &MBB,
211  MachineBasicBlock::iterator MI) const override;
212 
213  /// Returns true if the instruction is already predicated.
214  bool isPredicated(const MachineInstr &MI) const override;
215 
216  /// Return true for post-incremented instructions.
217  bool isPostIncrement(const MachineInstr &MI) const override;
218 
219  /// Convert the instruction into a predicated instruction.
220  /// It returns true if the operation was successful.
222  ArrayRef<MachineOperand> Cond) const override;
223 
224  /// Returns true if the first specified predicate
225  /// subsumes the second, e.g. GE subsumes GT.
227  ArrayRef<MachineOperand> Pred2) const override;
228 
229  /// If the specified instruction defines any predicate
230  /// or condition code register(s) used for predication, returns true as well
231  /// as the definition predicate(s) by reference.
233  std::vector<MachineOperand> &Pred) const override;
234 
235  /// Return true if the specified instruction can be predicated.
236  /// By default, this returns true for every instruction with a
237  /// PredicateOperand.
238  bool isPredicable(MachineInstr &MI) const override;
239 
240  /// Test if the given instruction should be considered a scheduling boundary.
241  /// This primarily includes labels and terminators.
242  bool isSchedulingBoundary(const MachineInstr &MI,
243  const MachineBasicBlock *MBB,
244  const MachineFunction &MF) const override;
245 
246  /// Measure the specified inline asm to determine an approximation of its
247  /// length.
248  unsigned getInlineAsmLength(const char *Str,
249  const MCAsmInfo &MAI) const override;
250 
251  /// Allocate and return a hazard recognizer to use for this target when
252  /// scheduling the machine instructions after register allocation.
255  const ScheduleDAG *DAG) const override;
256 
257  /// For a comparison instruction, return the source registers
258  /// in SrcReg and SrcReg2 if having two register operands, and the value it
259  /// compares against in CmpValue. Return true if the comparison instruction
260  /// can be analyzed.
261  bool analyzeCompare(const MachineInstr &MI, unsigned &SrcReg,
262  unsigned &SrcReg2, int &Mask, int &Value) const override;
263 
264  /// Compute the instruction latency of a given instruction.
265  /// If the instruction has higher cost when predicated, it's returned via
266  /// PredCost.
267  unsigned getInstrLatency(const InstrItineraryData *ItinData,
268  const MachineInstr &MI,
269  unsigned *PredCost = nullptr) const override;
270 
271  /// Create machine specific model for scheduling.
272  DFAPacketizer *
273  CreateTargetScheduleState(const TargetSubtargetInfo &STI) const override;
274 
275  // Sometimes, it is possible for the target
276  // to tell, even without aliasing information, that two MIs access different
277  // memory addresses. This function returns true if two MIs access different
278  // memory addresses and false otherwise.
279  bool
281  AliasAnalysis *AA = nullptr) const override;
282 
283  /// For instructions with a base and offset, return the position of the
284  /// base register and offset operands.
285  bool getBaseAndOffsetPosition(const MachineInstr &MI, unsigned &BasePos,
286  unsigned &OffsetPos) const override;
287 
288  /// If the instruction is an increment of a constant value, return the amount.
289  bool getIncrementValue(const MachineInstr &MI, int &Value) const override;
290 
291  bool isTailCall(const MachineInstr &MI) const override;
292 
293  /// HexagonInstrInfo specifics.
294  ///
295 
296  const HexagonRegisterInfo &getRegisterInfo() const { return RI; }
297 
298  unsigned createVR(MachineFunction* MF, MVT VT) const;
299 
300  bool isAbsoluteSet(const MachineInstr &MI) const;
301  bool isAccumulator(const MachineInstr &MI) const;
302  bool isComplex(const MachineInstr &MI) const;
303  bool isCompoundBranchInstr(const MachineInstr &MI) const;
304  bool isCondInst(const MachineInstr &MI) const;
305  bool isConditionalALU32 (const MachineInstr &MI) const;
306  bool isConditionalLoad(const MachineInstr &MI) const;
307  bool isConditionalStore(const MachineInstr &MI) const;
308  bool isConditionalTransfer(const MachineInstr &MI) const;
309  bool isConstExtended(const MachineInstr &MI) const;
310  bool isDeallocRet(const MachineInstr &MI) const;
311  bool isDependent(const MachineInstr &ProdMI,
312  const MachineInstr &ConsMI) const;
313  bool isDotCurInst(const MachineInstr &MI) const;
314  bool isDotNewInst(const MachineInstr &MI) const;
315  bool isDuplexPair(const MachineInstr &MIa, const MachineInstr &MIb) const;
316  bool isEarlySourceInstr(const MachineInstr &MI) const;
317  bool isEndLoopN(unsigned Opcode) const;
318  bool isExpr(unsigned OpType) const;
319  bool isExtendable(const MachineInstr &MI) const;
320  bool isExtended(const MachineInstr &MI) const;
321  bool isFloat(const MachineInstr &MI) const;
322  bool isHVXMemWithAIndirect(const MachineInstr &I,
323  const MachineInstr &J) const;
324  bool isIndirectCall(const MachineInstr &MI) const;
325  bool isIndirectL4Return(const MachineInstr &MI) const;
326  bool isJumpR(const MachineInstr &MI) const;
327  bool isJumpWithinBranchRange(const MachineInstr &MI, unsigned offset) const;
328  bool isLateInstrFeedsEarlyInstr(const MachineInstr &LRMI,
329  const MachineInstr &ESMI) const;
330  bool isLateResultInstr(const MachineInstr &MI) const;
331  bool isLateSourceInstr(const MachineInstr &MI) const;
332  bool isLoopN(const MachineInstr &MI) const;
333  bool isMemOp(const MachineInstr &MI) const;
334  bool isNewValue(const MachineInstr &MI) const;
335  bool isNewValue(unsigned Opcode) const;
336  bool isNewValueInst(const MachineInstr &MI) const;
337  bool isNewValueJump(const MachineInstr &MI) const;
338  bool isNewValueJump(unsigned Opcode) const;
339  bool isNewValueStore(const MachineInstr &MI) const;
340  bool isNewValueStore(unsigned Opcode) const;
341  bool isOperandExtended(const MachineInstr &MI, unsigned OperandNum) const;
342  bool isPredicatedNew(const MachineInstr &MI) const;
343  bool isPredicatedNew(unsigned Opcode) const;
344  bool isPredicatedTrue(const MachineInstr &MI) const;
345  bool isPredicatedTrue(unsigned Opcode) const;
346  bool isPredicated(unsigned Opcode) const;
347  bool isPredicateLate(unsigned Opcode) const;
348  bool isPredictedTaken(unsigned Opcode) const;
349  bool isSaveCalleeSavedRegsCall(const MachineInstr &MI) const;
350  bool isSignExtendingLoad(const MachineInstr &MI) const;
351  bool isSolo(const MachineInstr &MI) const;
352  bool isSpillPredRegOp(const MachineInstr &MI) const;
353  bool isTC1(const MachineInstr &MI) const;
354  bool isTC2(const MachineInstr &MI) const;
355  bool isTC2Early(const MachineInstr &MI) const;
356  bool isTC4x(const MachineInstr &MI) const;
357  bool isToBeScheduledASAP(const MachineInstr &MI1,
358  const MachineInstr &MI2) const;
359  bool isV60VectorInstruction(const MachineInstr &MI) const;
360  bool isValidAutoIncImm(const EVT VT, const int Offset) const;
361  bool isValidOffset(unsigned Opcode, int Offset, bool Extend = true) const;
362  bool isVecAcc(const MachineInstr &MI) const;
363  bool isVecALU(const MachineInstr &MI) const;
364  bool isVecUsableNextPacket(const MachineInstr &ProdMI,
365  const MachineInstr &ConsMI) const;
366  bool isZeroExtendingLoad(const MachineInstr &MI) const;
367 
368  bool addLatencyToSchedule(const MachineInstr &MI1,
369  const MachineInstr &MI2) const;
370  bool canExecuteInBundle(const MachineInstr &First,
371  const MachineInstr &Second) const;
372  bool doesNotReturn(const MachineInstr &CallMI) const;
373  bool hasEHLabel(const MachineBasicBlock *B) const;
374  bool hasNonExtEquivalent(const MachineInstr &MI) const;
375  bool hasPseudoInstrPair(const MachineInstr &MI) const;
376  bool hasUncondBranch(const MachineBasicBlock *B) const;
377  bool mayBeCurLoad(const MachineInstr &MI) const;
378  bool mayBeNewStore(const MachineInstr &MI) const;
379  bool producesStall(const MachineInstr &ProdMI,
380  const MachineInstr &ConsMI) const;
381  bool producesStall(const MachineInstr &MI,
383  bool predCanBeUsedAsDotNew(const MachineInstr &MI, unsigned PredReg) const;
384  bool PredOpcodeHasJMP_c(unsigned Opcode) const;
386 
387  short getAbsoluteForm(const MachineInstr &MI) const;
388  unsigned getAddrMode(const MachineInstr &MI) const;
389  unsigned getBaseAndOffset(const MachineInstr &MI, int &Offset,
390  unsigned &AccessSize) const;
391  short getBaseWithLongOffset(short Opcode) const;
392  short getBaseWithLongOffset(const MachineInstr &MI) const;
393  short getBaseWithRegOffset(const MachineInstr &MI) const;
395  unsigned getCExtOpNum(const MachineInstr &MI) const;
397  getCompoundCandidateGroup(const MachineInstr &MI) const;
398  unsigned getCompoundOpcode(const MachineInstr &GA,
399  const MachineInstr &GB) const;
400  int getCondOpcode(int Opc, bool sense) const;
401  int getDotCurOp(const MachineInstr &MI) const;
402  int getDotNewOp(const MachineInstr &MI) const;
403  int getDotNewPredJumpOp(const MachineInstr &MI,
404  const MachineBranchProbabilityInfo *MBPI) const;
405  int getDotNewPredOp(const MachineInstr &MI,
406  const MachineBranchProbabilityInfo *MBPI) const;
407  int getDotOldOp(const int opc) const;
409  const;
410  short getEquivalentHWInstr(const MachineInstr &MI) const;
412  unsigned getInstrTimingClassLatency(const InstrItineraryData *ItinData,
413  const MachineInstr &MI) const;
415  unsigned getInvertedPredicatedOpcode(const int Opc) const;
416  int getMaxValue(const MachineInstr &MI) const;
417  unsigned getMemAccessSize(const MachineInstr &MI) const;
418  int getMinValue(const MachineInstr &MI) const;
419  short getNonExtOpcode(const MachineInstr &MI) const;
420  bool getPredReg(ArrayRef<MachineOperand> Cond, unsigned &PredReg,
421  unsigned &PredRegPos, unsigned &PredRegFlags) const;
422  short getPseudoInstrPair(const MachineInstr &MI) const;
423  short getRegForm(const MachineInstr &MI) const;
424  unsigned getSize(const MachineInstr &MI) const;
425  uint64_t getType(const MachineInstr &MI) const;
426  unsigned getUnits(const MachineInstr &MI) const;
427  unsigned getValidSubTargets(const unsigned Opcode) const;
428 
429  /// getInstrTimingClassLatency - Compute the instruction latency of a given
430  /// instruction using Timing Class information, if available.
431  unsigned nonDbgBBSize(const MachineBasicBlock *BB) const;
432  unsigned nonDbgBundleSize(MachineBasicBlock::const_iterator BundleHead) const;
433 
434  void immediateExtend(MachineInstr &MI) const;
436  MachineBasicBlock* NewTarget) const;
438  bool reversePredSense(MachineInstr &MI) const;
439  unsigned reversePrediction(unsigned Opcode) const;
440  bool validateBranchCond(const ArrayRef<MachineOperand> &Cond) const;
441  short xformRegToImmOffset(const MachineInstr &MI) const;
442 };
443 
444 } // end namespace llvm
445 
446 #endif // LLVM_LIB_TARGET_HEXAGON_HEXAGONINSTRINFO_H
MachineLoop * L
bool hasPseudoInstrPair(const MachineInstr &MI) const
bool isJumpWithinBranchRange(const MachineInstr &MI, unsigned offset) const
bool DefinesPredicate(MachineInstr &MI, std::vector< MachineOperand > &Pred) const override
If the specified instruction defines any predicate or condition code register(s) used for predication...
bool isIndirectCall(const MachineInstr &MI) const
This class is the base class for the comparison instructions.
Definition: InstrTypes.h:870
short getBaseWithLongOffset(short Opcode) const
unsigned reversePrediction(unsigned Opcode) const
bool isTC1(const MachineInstr &MI) const
bool isIndirectL4Return(const MachineInstr &MI) const
void storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, unsigned SrcReg, bool isKill, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI) const override
Store the specified register of the given register class to the specified stack frame index...
bool isNewValueInst(const MachineInstr &MI) const
Instructions::const_iterator const_instr_iterator
bool isPredicateLate(unsigned Opcode) const
DFAPacketizer * CreateTargetScheduleState(const TargetSubtargetInfo &STI) const override
Create machine specific model for scheduling.
short getPseudoInstrPair(const MachineInstr &MI) const
bool SubsumesPredicate(ArrayRef< MachineOperand > Pred1, ArrayRef< MachineOperand > Pred2) const override
Returns true if the first specified predicate subsumes the second, e.g.
short getNonExtOpcode(const MachineInstr &MI) const
bool isPredicatedTrue(const MachineInstr &MI) const
bool PredOpcodeHasJMP_c(unsigned Opcode) const
bool reverseBranchCondition(SmallVectorImpl< MachineOperand > &Cond) const override
Reverses the branch condition of the specified condition list, returning false on success and true if...
bool validateBranchCond(const ArrayRef< MachineOperand > &Cond) const
bool isMemOp(const MachineInstr &MI) const
unsigned getCompoundOpcode(const MachineInstr &GA, const MachineInstr &GB) const
bool isNewValue(const MachineInstr &MI) const
bool isTailCall(const MachineInstr &MI) const override
A debug info location.
Definition: DebugLoc.h:34
bool isVecAcc(const MachineInstr &MI) const
ScheduleHazardRecognizer * CreateTargetPostRAHazardRecognizer(const InstrItineraryData *, const ScheduleDAG *DAG) const override
Allocate and return a hazard recognizer to use for this target when scheduling the machine instructio...
bool isLateInstrFeedsEarlyInstr(const MachineInstr &LRMI, const MachineInstr &ESMI) const
void insertNoop(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI) const override
Insert a noop into the instruction stream at the specified point.
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 isAbsoluteSet(const MachineInstr &MI) const
void loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, unsigned DestReg, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI) const override
Load the specified register of the given register class from the specified stack frame index...
HexagonII::SubInstructionGroup getDuplexCandidateGroup(const MachineInstr &MI) const
bool isExpr(unsigned OpType) const
bool isDependent(const MachineInstr &ProdMI, const MachineInstr &ConsMI) const
bool isTC4x(const MachineInstr &MI) const
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: APFloat.h:32
short getAbsoluteForm(const MachineInstr &MI) const
bool isSpillPredRegOp(const MachineInstr &MI) const
bool isLateResultInstr(const MachineInstr &MI) const
short xformRegToImmOffset(const MachineInstr &MI) const
bool predOpcodeHasNot(ArrayRef< MachineOperand > Cond) const
bool isCondInst(const MachineInstr &MI) const
bool isHVXMemWithAIndirect(const MachineInstr &I, const MachineInstr &J) const
bool isLoopN(const MachineInstr &MI) const
int getMaxValue(const MachineInstr &MI) const
bool expandPostRAPseudo(MachineInstr &MI) const override
This function is called for all pseudo instructions that remain after register allocation.
bool PredicateInstruction(MachineInstr &MI, ArrayRef< MachineOperand > Cond) const override
Convert the instruction into a predicated instruction.
const HexagonRegisterInfo & getRegisterInfo() const
HexagonInstrInfo specifics.
void genAllInsnTimingClasses(MachineFunction &MF) const
bool isComplex(const MachineInstr &MI) const
bool isConditionalALU32(const MachineInstr &MI) const
bool isAccumulator(const MachineInstr &MI) const
MachineBasicBlock * MBB
bool canExecuteInBundle(const MachineInstr &First, const MachineInstr &Second) const
Can these instructions execute at the same time in a bundle.
bool isPredictedTaken(unsigned Opcode) const
unsigned nonDbgBundleSize(MachineBasicBlock::const_iterator BundleHead) const
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory)...
Definition: APInt.h:33
unsigned getInstrTimingClassLatency(const InstrItineraryData *ItinData, const MachineInstr &MI) const
Itinerary data supplied by a subtarget to be used by a target.
bool isSaveCalleeSavedRegsCall(const MachineInstr &MI) const
static GCRegistry::Add< OcamlGC > B("ocaml","ocaml 3.10-compatible GC")
bool invertAndChangeJumpTarget(MachineInstr &MI, MachineBasicBlock *NewTarget) const
bool isEarlySourceInstr(const MachineInstr &MI) const
unsigned getInvertedPredicatedOpcode(const int Opc) const
HexagonII::CompoundGroup getCompoundCandidateGroup(const MachineInstr &MI) const
unsigned getInstrLatency(const InstrItineraryData *ItinData, const MachineInstr &MI, unsigned *PredCost=nullptr) const override
Compute the instruction latency of a given instruction.
bool isJumpR(const MachineInstr &MI) const
This class is intended to be used as a base class for asm properties and features specific to the tar...
Definition: MCAsmInfo.h:57
int getDotOldOp(const int opc) 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...
bool isVecALU(const MachineInstr &MI) const
unsigned getCExtOpNum(const MachineInstr &MI) const
int getDotNewPredOp(const MachineInstr &MI, const MachineBranchProbabilityInfo *MBPI) const
MVT - Machine Value Type.
HazardRecognizer - This determines whether or not an instruction can be issued this cycle...
bool getIncrementValue(const MachineInstr &MI, int &Value) const override
If the instruction is an increment of a constant value, return the amount.
bool analyzeCompare(const MachineInstr &MI, unsigned &SrcReg, unsigned &SrcReg2, int &Mask, int &Value) const override
For a comparison instruction, return the source registers in SrcReg and SrcReg2 if having two registe...
bool reversePredSense(MachineInstr &MI) const
bool isLateSourceInstr(const MachineInstr &MI) 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 isNewValueStore(const MachineInstr &MI) const
uint32_t Offset
unsigned getSize(const MachineInstr &MI) const
unsigned createVR(MachineFunction *MF, MVT VT) const
MachineInstr * getFirstNonDbgInst(MachineBasicBlock *BB) const
bool isVecUsableNextPacket(const MachineInstr &ProdMI, const MachineInstr &ConsMI) const
bool isTC2(const MachineInstr &MI) const
EVT - Extended Value Type.
Definition: ValueTypes.h:31
bool isToBeScheduledASAP(const MachineInstr &MI1, const MachineInstr &MI2) const
bool isDotCurInst(const MachineInstr &MI) const
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
bool isExtended(const MachineInstr &MI) const
static cl::opt< unsigned > MaxIter("bb-vectorize-max-iter", cl::init(0), cl::Hidden, cl::desc("The maximum number of pairing iterations"))
bool getPredReg(ArrayRef< MachineOperand > Cond, unsigned &PredReg, unsigned &PredRegPos, unsigned &PredRegFlags) const
bool isPostIncrement(const MachineInstr &MI) const override
Return true for post-incremented instructions.
bool hasUncondBranch(const MachineBasicBlock *B) const
bool hasNonExtEquivalent(const MachineInstr &MI) const
bool isConditionalTransfer(const MachineInstr &MI) const
bool isPredicated(const MachineInstr &MI) const override
Returns true if the instruction is already predicated.
short getEquivalentHWInstr(const MachineInstr &MI) const
bool isDuplexPair(const MachineInstr &MIa, const MachineInstr &MIb) const
Symmetrical. See if these two instructions are fit for duplex pair.
unsigned getMemAccessSize(const MachineInstr &MI) const
unsigned reduceLoopCount(MachineBasicBlock &MBB, MachineInstr *IndVar, MachineInstr &Cmp, SmallVectorImpl< MachineOperand > &Cond, SmallVectorImpl< MachineInstr * > &PrevInsts, unsigned Iter, unsigned MaxIter) const override
Generate code to reduce the loop iteration by one and check if the loop is finished.
bool isZeroExtendingLoad(const MachineInstr &MI) const
bool hasEHLabel(const MachineBasicBlock *B) const
HexagonInstrInfo(HexagonSubtarget &ST)
bool predCanBeUsedAsDotNew(const MachineInstr &MI, unsigned PredReg) const
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small...
Definition: SmallVector.h:843
bool isCompoundBranchInstr(const MachineInstr &MI) const
int getCondOpcode(int Opc, bool sense) const
bool addLatencyToSchedule(const MachineInstr &MI1, const MachineInstr &MI2) const
bool isTC2Early(const MachineInstr &MI) const
unsigned 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...
bool isPredicable(MachineInstr &MI) const override
Return true if the specified instruction can be predicated.
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.
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 isV60VectorInstruction(const MachineInstr &MI) const
unsigned getInlineAsmLength(const char *Str, const MCAsmInfo &MAI) const override
Measure the specified inline asm to determine an approximation of its length.
bool getInvertedPredSense(SmallVectorImpl< MachineOperand > &Cond) const
unsigned getBaseAndOffset(const MachineInstr &MI, int &Offset, unsigned &AccessSize) 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 isEndLoopN(unsigned Opcode) const
unsigned removeBranch(MachineBasicBlock &MBB, int *BytesRemoved=nullptr) const override
Remove the branching code at the end of the specific MBB.
bool isSignExtendingLoad(const MachineInstr &MI) const
unsigned isLoadFromStackSlot(const MachineInstr &MI, int &FrameIndex) const override
TargetInstrInfo overrides.
bool isPredicatedNew(const MachineInstr &MI) const
bool isDeallocRet(const MachineInstr &MI) const
void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, const DebugLoc &DL, unsigned DestReg, unsigned SrcReg, bool KillSrc) const override
Emit instructions to copy a pair of physical registers.
TargetSubtargetInfo - Generic base class for all target subtargets.
bool isFloat(const MachineInstr &MI) const
Representation of each machine instruction.
Definition: MachineInstr.h:52
unsigned getAddrMode(const MachineInstr &MI) const
bool isDotNewInst(const MachineInstr &MI) const
unsigned nonDbgBBSize(const MachineBasicBlock *BB) const
getInstrTimingClassLatency - Compute the instruction latency of a given instruction using Timing Clas...
bool isValidAutoIncImm(const EVT VT, const int Offset) const
bool isExtendable(const MachineInstr &MI) const
int getDotNewOp(const MachineInstr &MI) const
short getRegForm(const MachineInstr &MI) const
short getBaseWithRegOffset(const MachineInstr &MI) const
unsigned getValidSubTargets(const unsigned Opcode) const
#define I(x, y, z)
Definition: MD5.cpp:54
void immediateExtend(MachineInstr &MI) const
immediateExtend - Changes the instruction in place to one using an immediate extender.
SmallVector< MachineInstr *, 2 > getBranchingInstrs(MachineBasicBlock &MBB) const
int getDotCurOp(const MachineInstr &MI) const
bool isConditionalStore(const MachineInstr &MI) const
bool isConditionalLoad(const MachineInstr &MI) const
bool mayBeNewStore(const MachineInstr &MI) const
bool isSolo(const MachineInstr &MI) const
bool doesNotReturn(const MachineInstr &CallMI) const
bool producesStall(const MachineInstr &ProdMI, const MachineInstr &ConsMI) const
bool isOperandExtended(const MachineInstr &MI, unsigned OperandNum) const
LLVM Value Representation.
Definition: Value.h:71
bool mayBeCurLoad(const MachineInstr &MI) const
std::underlying_type< E >::type Mask()
Get a bitmask with 1s in all places up to the high-order bit of E's largest value.
Definition: BitmaskEnum.h:81
int getMinValue(const MachineInstr &MI) const
IRTranslator LLVM IR MI
bool getMemOpBaseRegImmOfs(MachineInstr &LdSt, unsigned &BaseReg, int64_t &Offset, const TargetRegisterInfo *TRI) const override
Get the base register and byte offset of a load/store instr.
bool isValidOffset(unsigned Opcode, int Offset, bool Extend=true) const
bool analyzeLoop(MachineLoop &L, MachineInstr *&IndVarInst, MachineInstr *&CmpInst) const override
Analyze the loop code, return true if it cannot be understood.
bool isConstExtended(const MachineInstr &MI) const
bool areMemAccessesTriviallyDisjoint(MachineInstr &MIa, MachineInstr &MIb, AliasAnalysis *AA=nullptr) const override
uint64_t getType(const MachineInstr &MI) const
unsigned getUnits(const MachineInstr &MI) const
bool isNewValueJump(const MachineInstr &MI) const
int getDotNewPredJumpOp(const MachineInstr &MI, const MachineBranchProbabilityInfo *MBPI) const