1 //===- HexagonInstrInfo.h - Hexagon Instruction Information -----*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file contains the Hexagon implementation of the TargetInstrInfo class.
12 //===----------------------------------------------------------------------===//
14 #ifndef LLVM_LIB_TARGET_HEXAGON_HEXAGONINSTRINFO_H
15 #define LLVM_LIB_TARGET_HEXAGON_HEXAGONINSTRINFO_H
17 #include "HexagonRegisterInfo.h"
18 #include "MCTargetDesc/HexagonBaseInfo.h"
19 #include "llvm/CodeGen/MachineBranchProbabilityInfo.h"
20 #include "llvm/Target/TargetFrameLowering.h"
21 #include "llvm/Target/TargetInstrInfo.h"
23 #define GET_INSTRINFO_HEADER
24 #include "HexagonGenInstrInfo.inc"
29 class HexagonSubtarget;
31 class HexagonInstrInfo : public HexagonGenInstrInfo {
32 virtual void anchor();
33 const HexagonRegisterInfo RI;
36 explicit HexagonInstrInfo(HexagonSubtarget &ST);
38 /// TargetInstrInfo overrides.
41 /// If the specified machine instruction is a direct
42 /// load from a stack slot, return the virtual or physical register number of
43 /// the destination along with the FrameIndex of the loaded stack slot. If
44 /// not, return 0. This predicate must return 0 if the instruction has
45 /// any side effects other than loading from the stack slot.
46 unsigned isLoadFromStackSlot(const MachineInstr *MI,
47 int &FrameIndex) const override;
49 /// If the specified machine instruction is a direct
50 /// store to a stack slot, return the virtual or physical register number of
51 /// the source reg along with the FrameIndex of the loaded stack slot. If
52 /// not, return 0. This predicate must return 0 if the instruction has
53 /// any side effects other than storing to the stack slot.
54 unsigned isStoreToStackSlot(const MachineInstr *MI,
55 int &FrameIndex) const override;
57 /// Analyze the branching code at the end of MBB, returning
58 /// true if it cannot be understood (e.g. it's a switch dispatch or isn't
59 /// implemented for a target). Upon success, this returns false and returns
60 /// with the following information in various cases:
62 /// 1. If this block ends with no branches (it just falls through to its succ)
63 /// just return false, leaving TBB/FBB null.
64 /// 2. If this block ends with only an unconditional branch, it sets TBB to be
65 /// the destination block.
66 /// 3. If this block ends with a conditional branch and it falls through to a
67 /// successor block, it sets TBB to be the branch destination block and a
68 /// list of operands that evaluate the condition. These operands can be
69 /// passed to other TargetInstrInfo methods to create new branches.
70 /// 4. If this block ends with a conditional branch followed by an
71 /// unconditional branch, it returns the 'true' destination in TBB, the
72 /// 'false' destination in FBB, and a list of operands that evaluate the
73 /// condition. These operands can be passed to other TargetInstrInfo
74 /// methods to create new branches.
76 /// Note that RemoveBranch and InsertBranch must be implemented to support
77 /// cases where this method returns success.
79 /// If AllowModify is true, then this routine is allowed to modify the basic
80 /// block (e.g. delete instructions after the unconditional branch).
82 bool AnalyzeBranch(MachineBasicBlock &MBB,MachineBasicBlock *&TBB,
83 MachineBasicBlock *&FBB,
84 SmallVectorImpl<MachineOperand> &Cond,
85 bool AllowModify) const override;
87 /// Remove the branching code at the end of the specific MBB.
88 /// This is only invoked in cases where AnalyzeBranch returns success. It
89 /// returns the number of instructions that were removed.
90 unsigned RemoveBranch(MachineBasicBlock &MBB) const override;
92 /// Insert branch code into the end of the specified MachineBasicBlock.
93 /// The operands to this method are the same as those
94 /// returned by AnalyzeBranch. This is only invoked in cases where
95 /// AnalyzeBranch returns success. It returns the number of instructions
98 /// It is also invoked by tail merging to add unconditional branches in
99 /// cases where AnalyzeBranch doesn't apply because there was no original
100 /// branch to analyze. At least this much must be implemented, else tail
101 /// merging needs to be disabled.
102 unsigned InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
103 MachineBasicBlock *FBB, ArrayRef<MachineOperand> Cond,
104 DebugLoc DL) const override;
106 /// Return true if it's profitable to predicate
107 /// instructions with accumulated instruction latency of "NumCycles"
108 /// of the specified basic block, where the probability of the instructions
109 /// being executed is given by Probability, and Confidence is a measure
110 /// of our confidence that it will be properly predicted.
111 bool isProfitableToIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
112 unsigned ExtraPredCycles,
113 BranchProbability Probability) const override;
115 /// Second variant of isProfitableToIfCvt. This one
116 /// checks for the case where two basic blocks from true and false path
117 /// of a if-then-else (diamond) are predicated on mutally exclusive
118 /// predicates, where the probability of the true path being taken is given
119 /// by Probability, and Confidence is a measure of our confidence that it
120 /// will be properly predicted.
121 bool isProfitableToIfCvt(MachineBasicBlock &TMBB,
122 unsigned NumTCycles, unsigned ExtraTCycles,
123 MachineBasicBlock &FMBB,
124 unsigned NumFCycles, unsigned ExtraFCycles,
125 BranchProbability Probability) const override;
127 /// Return true if it's profitable for if-converter to duplicate instructions
128 /// of specified accumulated instruction latencies in the specified MBB to
129 /// enable if-conversion.
130 /// The probability of the instructions being executed is given by
131 /// Probability, and Confidence is a measure of our confidence that it
132 /// will be properly predicted.
133 bool isProfitableToDupForIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
134 BranchProbability Probability) const override;
136 /// Emit instructions to copy a pair of physical registers.
138 /// This function should support copies within any legal register class as
139 /// well as any cross-class copies created during instruction selection.
141 /// The source and destination registers may overlap, which may require a
142 /// careful implementation when multiple copy instructions are required for
143 /// large registers. See for example the ARM target.
144 void copyPhysReg(MachineBasicBlock &MBB,
145 MachineBasicBlock::iterator I, DebugLoc DL,
146 unsigned DestReg, unsigned SrcReg,
147 bool KillSrc) const override;
149 /// Store the specified register of the given register class to the specified
150 /// stack frame index. The store instruction is to be added to the given
151 /// machine basic block before the specified machine instruction. If isKill
152 /// is true, the register operand is the last use and must be marked kill.
153 void storeRegToStackSlot(MachineBasicBlock &MBB,
154 MachineBasicBlock::iterator MBBI,
155 unsigned SrcReg, bool isKill, int FrameIndex,
156 const TargetRegisterClass *RC,
157 const TargetRegisterInfo *TRI) const override;
159 /// Load the specified register of the given register class from the specified
160 /// stack frame index. The load instruction is to be added to the given
161 /// machine basic block before the specified machine instruction.
162 void loadRegFromStackSlot(MachineBasicBlock &MBB,
163 MachineBasicBlock::iterator MBBI,
164 unsigned DestReg, int FrameIndex,
165 const TargetRegisterClass *RC,
166 const TargetRegisterInfo *TRI) const override;
168 /// This function is called for all pseudo instructions
169 /// that remain after register allocation. Many pseudo instructions are
170 /// created to help register allocation. This is the place to convert them
171 /// into real instructions. The target can edit MI in place, or it can insert
172 /// new instructions and erase MI. The function should return true if
173 /// anything was changed.
174 bool expandPostRAPseudo(MachineBasicBlock::iterator MI) const override;
176 /// Reverses the branch condition of the specified condition list,
177 /// returning false on success and true if it cannot be reversed.
178 bool ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond)
181 /// Insert a noop into the instruction stream at the specified point.
182 void insertNoop(MachineBasicBlock &MBB,
183 MachineBasicBlock::iterator MI) const override;
185 /// Returns true if the instruction is already predicated.
186 bool isPredicated(const MachineInstr *MI) const override;
188 /// Convert the instruction into a predicated instruction.
189 /// It returns true if the operation was successful.
190 bool PredicateInstruction(MachineInstr *MI,
191 ArrayRef<MachineOperand> Cond) const override;
193 /// Returns true if the first specified predicate
194 /// subsumes the second, e.g. GE subsumes GT.
195 bool SubsumesPredicate(ArrayRef<MachineOperand> Pred1,
196 ArrayRef<MachineOperand> Pred2) const override;
198 /// If the specified instruction defines any predicate
199 /// or condition code register(s) used for predication, returns true as well
200 /// as the definition predicate(s) by reference.
201 bool DefinesPredicate(MachineInstr *MI,
202 std::vector<MachineOperand> &Pred) const override;
204 /// Return true if the specified instruction can be predicated.
205 /// By default, this returns true for every instruction with a
206 /// PredicateOperand.
207 bool isPredicable(MachineInstr *MI) const override;
209 /// Test if the given instruction should be considered a scheduling boundary.
210 /// This primarily includes labels and terminators.
211 bool isSchedulingBoundary(const MachineInstr *MI,
212 const MachineBasicBlock *MBB,
213 const MachineFunction &MF) const override;
215 /// Measure the specified inline asm to determine an approximation of its
217 unsigned getInlineAsmLength(const char *Str,
218 const MCAsmInfo &MAI) const override;
220 /// Allocate and return a hazard recognizer to use for this target when
221 /// scheduling the machine instructions after register allocation.
222 ScheduleHazardRecognizer*
223 CreateTargetPostRAHazardRecognizer(const InstrItineraryData*,
224 const ScheduleDAG *DAG) const override;
226 /// For a comparison instruction, return the source registers
227 /// in SrcReg and SrcReg2 if having two register operands, and the value it
228 /// compares against in CmpValue. Return true if the comparison instruction
230 bool analyzeCompare(const MachineInstr *MI,
231 unsigned &SrcReg, unsigned &SrcReg2,
232 int &Mask, int &Value) const override;
234 /// Compute the instruction latency of a given instruction.
235 /// If the instruction has higher cost when predicated, it's returned via
237 unsigned getInstrLatency(const InstrItineraryData *ItinData,
238 const MachineInstr *MI,
239 unsigned *PredCost = 0) const override;
241 /// Create machine specific model for scheduling.
243 CreateTargetScheduleState(const TargetSubtargetInfo &STI) const override;
245 // Sometimes, it is possible for the target
246 // to tell, even without aliasing information, that two MIs access different
247 // memory addresses. This function returns true if two MIs access different
248 // memory addresses and false otherwise.
249 bool areMemAccessesTriviallyDisjoint(MachineInstr *MIa, MachineInstr *MIb,
250 AliasAnalysis *AA = nullptr)
254 /// HexagonInstrInfo specifics.
257 const HexagonRegisterInfo &getRegisterInfo() const { return RI; }
259 unsigned createVR(MachineFunction* MF, MVT VT) const;
261 bool isAbsoluteSet(const MachineInstr* MI) const;
262 bool isAccumulator(const MachineInstr *MI) const;
263 bool isComplex(const MachineInstr *MI) const;
264 bool isCompoundBranchInstr(const MachineInstr *MI) const;
265 bool isCondInst(const MachineInstr *MI) const;
266 bool isConditionalALU32 (const MachineInstr* MI) const;
267 bool isConditionalLoad(const MachineInstr* MI) const;
268 bool isConditionalStore(const MachineInstr* MI) const;
269 bool isConditionalTransfer(const MachineInstr* MI) const;
270 bool isConstExtended(const MachineInstr *MI) const;
271 bool isDeallocRet(const MachineInstr *MI) const;
272 bool isDependent(const MachineInstr *ProdMI,
273 const MachineInstr *ConsMI) const;
274 bool isDotCurInst(const MachineInstr* MI) const;
275 bool isDotNewInst(const MachineInstr* MI) const;
276 bool isDuplexPair(const MachineInstr *MIa, const MachineInstr *MIb) const;
277 bool isEarlySourceInstr(MachineInstr *MI) const;
278 bool isEndLoopN(unsigned Opcode) const;
279 bool isExpr(unsigned OpType) const;
280 bool isExtendable(const MachineInstr* MI) const;
281 bool isExtended(const MachineInstr* MI) const;
282 bool isFloat(MachineInstr *MI) const;
283 bool isIndirectCall(const MachineInstr *MI) const;
284 bool isIndirectL4Return(const MachineInstr *MI) const;
285 bool isJumpR(const MachineInstr *MI) const;
286 bool isJumpWithinBranchRange(const MachineInstr *MI, unsigned offset) const;
287 bool isLateInstrFeedsEarlyInstr(MachineInstr *LRMI, MachineInstr *ESMI) const;
288 bool isLateResultInstr(MachineInstr *MI) const;
289 bool isLateSourceInstr(const MachineInstr *MI) const;
290 bool isLoopN(unsigned Opcode) const;
291 bool isMemOp(const MachineInstr *MI) const;
292 bool isNewValue(const MachineInstr* MI) const;
293 bool isNewValue(unsigned Opcode) const;
294 bool isNewValueInst(const MachineInstr* MI) const;
295 bool isNewValueJump(const MachineInstr* MI) const;
296 bool isNewValueJump(unsigned Opcode) const;
297 bool isNewValueStore(const MachineInstr* MI) const;
298 bool isNewValueStore(unsigned Opcode) const;
299 bool isOperandExtended(const MachineInstr *MI, unsigned OperandNum) const;
300 bool isPostIncrement(const MachineInstr* MI) const;
301 bool isPredicatedNew(const MachineInstr *MI) const;
302 bool isPredicatedNew(unsigned Opcode) const;
303 bool isPredicatedTrue(const MachineInstr *MI) const;
304 bool isPredicatedTrue(unsigned Opcode) const;
305 bool isPredicated(unsigned Opcode) const;
306 bool isPredicateLate(unsigned Opcode) const;
307 bool isPredictedTaken(unsigned Opcode) const;
308 bool isSaveCalleeSavedRegsCall(const MachineInstr *MI) const;
309 bool isSolo(const MachineInstr* MI) const;
310 bool isSpillPredRegOp(const MachineInstr *MI) const;
311 bool isTC1(const MachineInstr *MI) const;
312 bool isTC2(const MachineInstr *MI) const;
313 bool isTC2Early(const MachineInstr *MI) const;
314 bool isTC4x(const MachineInstr *MI) const;
315 bool isV60VectorInstruction(const MachineInstr *MI) const;
316 bool isValidAutoIncImm(const EVT VT, const int Offset) const;
317 bool isValidOffset(unsigned Opcode, int Offset, bool Extend = true) const;
318 bool isVecAcc(const MachineInstr *MI) const;
319 bool isVecALU(const MachineInstr *MI) const;
320 bool isVecUsableNextPacket(const MachineInstr *ProdMI,
321 const MachineInstr *ConsMI) const;
324 bool hasEHLabel(const MachineBasicBlock *B) const;
325 bool hasNonExtEquivalent(const MachineInstr *MI) const;
326 bool hasPseudoInstrPair(MachineInstr *MI) const;
327 bool hasUncondBranch(const MachineBasicBlock *B) const;
328 bool mayBeCurLoad(const MachineInstr* MI) const;
329 bool mayBeNewStore(const MachineInstr* MI) const;
330 bool producesStall(const MachineInstr *ProdMI,
331 const MachineInstr *ConsMI) const;
332 bool producesStall(const MachineInstr *MI,
333 MachineBasicBlock::const_instr_iterator MII) const;
334 bool predCanBeUsedAsDotNew(MachineInstr *MI, unsigned PredReg) const;
335 bool PredOpcodeHasJMP_c(unsigned Opcode) const;
336 bool predOpcodeHasNot(ArrayRef<MachineOperand> Cond) const;
339 unsigned getAddrMode(const MachineInstr* MI) const;
340 unsigned getBaseAndOffset(const MachineInstr *MI, int &Offset,
341 unsigned &AccessSize) const;
342 bool getBaseAndOffsetPosition(const MachineInstr *MI, unsigned &BasePos,
343 unsigned &OffsetPos) const;
344 SmallVector<MachineInstr*,2> getBranchingInstrs(MachineBasicBlock& MBB) const;
345 unsigned getCExtOpNum(const MachineInstr *MI) const;
346 HexagonII::CompoundGroup
347 getCompoundCandidateGroup(const MachineInstr *MI) const;
348 unsigned getCompoundOpcode(const MachineInstr *GA,
349 const MachineInstr *GB) const;
350 int getCondOpcode(int Opc, bool sense) const;
351 int getDotCurOp(const MachineInstr* MI) const;
352 int getDotNewOp(const MachineInstr* MI) const;
353 int getDotNewPredJumpOp(MachineInstr *MI,
354 const MachineBranchProbabilityInfo *MBPI) const;
355 int getDotNewPredOp(MachineInstr *MI,
356 const MachineBranchProbabilityInfo *MBPI) const;
357 int getDotOldOp(const int opc) const;
358 HexagonII::SubInstructionGroup getDuplexCandidateGroup(const MachineInstr *MI)
360 short getEquivalentHWInstr(MachineInstr *MI) const;
361 MachineInstr *getFirstNonDbgInst(MachineBasicBlock *BB) const;
362 unsigned getInstrTimingClassLatency(const InstrItineraryData *ItinData,
363 const MachineInstr *MI) const;
364 bool getInvertedPredSense(SmallVectorImpl<MachineOperand> &Cond) const;
365 unsigned getInvertedPredicatedOpcode(const int Opc) const;
366 int getMaxValue(const MachineInstr *MI) const;
367 unsigned getMemAccessSize(const MachineInstr* MI) const;
368 int getMinValue(const MachineInstr *MI) const;
369 short getNonExtOpcode(const MachineInstr *MI) const;
370 bool getPredReg(ArrayRef<MachineOperand> Cond, unsigned &PredReg,
371 unsigned &PredRegPos, unsigned &PredRegFlags) const;
372 short getPseudoInstrPair(MachineInstr *MI) const;
373 short getRegForm(const MachineInstr *MI) const;
374 unsigned getSize(const MachineInstr *MI) const;
375 uint64_t getType(const MachineInstr* MI) const;
376 unsigned getUnits(const MachineInstr* MI) const;
377 unsigned getValidSubTargets(const unsigned Opcode) const;
380 /// getInstrTimingClassLatency - Compute the instruction latency of a given
381 /// instruction using Timing Class information, if available.
382 unsigned nonDbgBBSize(const MachineBasicBlock *BB) const;
383 unsigned nonDbgBundleSize(MachineBasicBlock::const_iterator BundleHead) const;
386 void immediateExtend(MachineInstr *MI) const;
387 bool invertAndChangeJumpTarget(MachineInstr* MI,
388 MachineBasicBlock* NewTarget) const;
389 void genAllInsnTimingClasses(MachineFunction &MF) const;
390 bool reversePredSense(MachineInstr* MI) const;
391 unsigned reversePrediction(unsigned Opcode) const;
392 bool validateBranchCond(const ArrayRef<MachineOperand> &Cond) const;