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 HexagonINSTRUCTIONINFO_H
15 #define HexagonINSTRUCTIONINFO_H
17 #include "HexagonRegisterInfo.h"
18 #include "MCTargetDesc/HexagonBaseInfo.h"
19 #include "llvm/Target/TargetInstrInfo.h"
20 #include "llvm/Target/TargetFrameLowering.h"
23 #define GET_INSTRINFO_HEADER
24 #include "HexagonGenInstrInfo.inc"
28 class HexagonInstrInfo : public HexagonGenInstrInfo {
29 const HexagonRegisterInfo RI;
30 const HexagonSubtarget& Subtarget;
32 explicit HexagonInstrInfo(HexagonSubtarget &ST);
34 /// getRegisterInfo - TargetInstrInfo is a superset of MRegister info. As
35 /// such, whenever a client has an instance of instruction info, it should
36 /// always be able to get register info as well (through this method).
38 virtual const HexagonRegisterInfo &getRegisterInfo() const { return RI; }
40 /// isLoadFromStackSlot - If the specified machine instruction is a direct
41 /// load from a stack slot, return the virtual or physical register number of
42 /// the destination along with the FrameIndex of the loaded stack slot. If
43 /// not, return 0. This predicate must return 0 if the instruction has
44 /// any side effects other than loading from the stack slot.
45 virtual unsigned isLoadFromStackSlot(const MachineInstr *MI,
46 int &FrameIndex) const;
48 /// isStoreToStackSlot - If the specified machine instruction is a direct
49 /// store to a stack slot, return the virtual or physical register number of
50 /// the source reg along with the FrameIndex of the loaded stack slot. If
51 /// not, return 0. This predicate must return 0 if the instruction has
52 /// any side effects other than storing to the stack slot.
53 virtual unsigned isStoreToStackSlot(const MachineInstr *MI,
54 int &FrameIndex) const;
57 virtual bool AnalyzeBranch(MachineBasicBlock &MBB,MachineBasicBlock *&TBB,
58 MachineBasicBlock *&FBB,
59 SmallVectorImpl<MachineOperand> &Cond,
60 bool AllowModify) const;
62 virtual unsigned RemoveBranch(MachineBasicBlock &MBB) const;
64 virtual unsigned InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
65 MachineBasicBlock *FBB,
66 const SmallVectorImpl<MachineOperand> &Cond,
69 virtual void copyPhysReg(MachineBasicBlock &MBB,
70 MachineBasicBlock::iterator I, DebugLoc DL,
71 unsigned DestReg, unsigned SrcReg,
74 virtual void storeRegToStackSlot(MachineBasicBlock &MBB,
75 MachineBasicBlock::iterator MBBI,
76 unsigned SrcReg, bool isKill, int FrameIndex,
77 const TargetRegisterClass *RC,
78 const TargetRegisterInfo *TRI) const;
80 virtual void storeRegToAddr(MachineFunction &MF, unsigned SrcReg, bool isKill,
81 SmallVectorImpl<MachineOperand> &Addr,
82 const TargetRegisterClass *RC,
83 SmallVectorImpl<MachineInstr*> &NewMIs) const;
85 virtual void loadRegFromStackSlot(MachineBasicBlock &MBB,
86 MachineBasicBlock::iterator MBBI,
87 unsigned DestReg, int FrameIndex,
88 const TargetRegisterClass *RC,
89 const TargetRegisterInfo *TRI) const;
91 virtual void loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
92 SmallVectorImpl<MachineOperand> &Addr,
93 const TargetRegisterClass *RC,
94 SmallVectorImpl<MachineInstr*> &NewMIs) const;
96 virtual MachineInstr* foldMemoryOperandImpl(MachineFunction &MF,
98 const SmallVectorImpl<unsigned> &Ops,
99 int FrameIndex) const;
101 virtual MachineInstr* foldMemoryOperandImpl(MachineFunction &MF,
103 const SmallVectorImpl<unsigned> &Ops,
104 MachineInstr* LoadMI) const {
108 unsigned createVR(MachineFunction* MF, MVT VT) const;
110 virtual bool isExtendable(const MachineInstr* MI) const;
111 virtual bool isExtended(const MachineInstr* MI) const;
112 virtual bool isPredicable(MachineInstr *MI) const;
114 PredicateInstruction(MachineInstr *MI,
115 const SmallVectorImpl<MachineOperand> &Cond) const;
117 virtual bool isProfitableToIfCvt(MachineBasicBlock &MBB, unsigned NumCyles,
118 unsigned ExtraPredCycles,
119 const BranchProbability &Probability) const;
121 virtual bool isProfitableToIfCvt(MachineBasicBlock &TMBB,
122 unsigned NumTCycles, unsigned ExtraTCycles,
123 MachineBasicBlock &FMBB,
124 unsigned NumFCycles, unsigned ExtraFCycles,
125 const BranchProbability &Probability) const;
127 virtual bool isPredicated(const MachineInstr *MI) const;
128 virtual bool DefinesPredicate(MachineInstr *MI,
129 std::vector<MachineOperand> &Pred) const;
131 SubsumesPredicate(const SmallVectorImpl<MachineOperand> &Pred1,
132 const SmallVectorImpl<MachineOperand> &Pred2) const;
135 ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const;
138 isProfitableToDupForIfCvt(MachineBasicBlock &MBB,unsigned NumCycles,
139 const BranchProbability &Probability) const;
141 unsigned getInvertedPredicatedOpcode(const int Opcode) const;
142 unsigned getImmExtForm(const MachineInstr* MI) const;
143 unsigned getNormalBranchForm(const MachineInstr* MI) const;
145 virtual DFAPacketizer*
146 CreateTargetScheduleState(const TargetMachine *TM,
147 const ScheduleDAG *DAG) const;
149 virtual bool isSchedulingBoundary(const MachineInstr *MI,
150 const MachineBasicBlock *MBB,
151 const MachineFunction &MF) const;
152 bool isValidOffset(const int Opcode, const int Offset) const;
153 bool isValidAutoIncImm(const EVT VT, const int Offset) const;
154 bool isMemOp(const MachineInstr *MI) const;
155 bool isSpillPredRegOp(const MachineInstr *MI) const;
156 bool isU6_3Immediate(const int value) const;
157 bool isU6_2Immediate(const int value) const;
158 bool isU6_1Immediate(const int value) const;
159 bool isU6_0Immediate(const int value) const;
160 bool isS4_3Immediate(const int value) const;
161 bool isS4_2Immediate(const int value) const;
162 bool isS4_1Immediate(const int value) const;
163 bool isS4_0Immediate(const int value) const;
164 bool isS12_Immediate(const int value) const;
165 bool isU6_Immediate(const int value) const;
166 bool isS8_Immediate(const int value) const;
167 bool isS6_Immediate(const int value) const;
169 bool isConditionalTransfer(const MachineInstr* MI) const;
170 bool isConditionalALU32(const MachineInstr* MI) const;
171 bool isConditionalLoad(const MachineInstr* MI) const;
172 bool isConditionalStore(const MachineInstr* MI) const;
173 bool isDeallocRet(const MachineInstr *MI) const;
174 bool isNewValueJumpCandidate(const MachineInstr *MI) const;
175 bool isNewValueJump(const MachineInstr* MI) const;
176 bool isNewValueStore(const MachineInstr* MI) const;
177 bool isPostIncrement(const MachineInstr* MI) const;
178 bool isSaveCalleeSavedRegsCall(const MachineInstr* MI) const;
181 int getMatchingCondBranchOpcode(int Opc, bool sense) const;