0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 //===-- PPCInstrInfo.h - PowerPC Instruction Information --------*- C++ -*-===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 // The LLVM Compiler Infrastructure
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 // This file is distributed under the University of Illinois Open Source
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 // License. See LICENSE.TXT for details.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 //===----------------------------------------------------------------------===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 // This file contains the PowerPC implementation of the TargetInstrInfo class.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 //===----------------------------------------------------------------------===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13
|
77
|
14 #ifndef LLVM_LIB_TARGET_POWERPC_PPCINSTRINFO_H
|
|
15 #define LLVM_LIB_TARGET_POWERPC_PPCINSTRINFO_H
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17 #include "PPC.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
18 #include "PPCRegisterInfo.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
19 #include "llvm/Target/TargetInstrInfo.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21 #define GET_INSTRINFO_HEADER
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22 #include "PPCGenInstrInfo.inc"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
23
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
24 namespace llvm {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
25
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
26 /// PPCII - This namespace holds all of the PowerPC target-specific
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
27 /// per-instruction flags. These must match the corresponding definitions in
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
28 /// PPC.td and PPCInstrFormats.td.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
29 namespace PPCII {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
30 enum {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
31 // PPC970 Instruction Flags. These flags describe the characteristics of the
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
32 // PowerPC 970 (aka G5) dispatch groups and how they are formed out of
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
33 // raw machine instructions.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
34
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
35 /// PPC970_First - This instruction starts a new dispatch group, so it will
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
36 /// always be the first one in the group.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
37 PPC970_First = 0x1,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
38
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
39 /// PPC970_Single - This instruction starts a new dispatch group and
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
40 /// terminates it, so it will be the sole instruction in the group.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
41 PPC970_Single = 0x2,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
42
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
43 /// PPC970_Cracked - This instruction is cracked into two pieces, requiring
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
44 /// two dispatch pipes to be available to issue.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
45 PPC970_Cracked = 0x4,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
46
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
47 /// PPC970_Mask/Shift - This is a bitmask that selects the pipeline type that
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
48 /// an instruction is issued to.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
49 PPC970_Shift = 3,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
50 PPC970_Mask = 0x07 << PPC970_Shift
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
51 };
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
52 enum PPC970_Unit {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
53 /// These are the various PPC970 execution unit pipelines. Each instruction
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
54 /// is one of these.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
55 PPC970_Pseudo = 0 << PPC970_Shift, // Pseudo instruction
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
56 PPC970_FXU = 1 << PPC970_Shift, // Fixed Point (aka Integer/ALU) Unit
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
57 PPC970_LSU = 2 << PPC970_Shift, // Load Store Unit
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
58 PPC970_FPU = 3 << PPC970_Shift, // Floating Point Unit
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
59 PPC970_CRU = 4 << PPC970_Shift, // Control Register Unit
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
60 PPC970_VALU = 5 << PPC970_Shift, // Vector ALU
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
61 PPC970_VPERM = 6 << PPC970_Shift, // Vector Permute Unit
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
62 PPC970_BRU = 7 << PPC970_Shift // Branch Unit
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
63 };
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
64 } // end namespace PPCII
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
65
|
95
|
66 class PPCSubtarget;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
67 class PPCInstrInfo : public PPCGenInstrInfo {
|
77
|
68 PPCSubtarget &Subtarget;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
69 const PPCRegisterInfo RI;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
70
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
71 bool StoreRegToStackSlot(MachineFunction &MF,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
72 unsigned SrcReg, bool isKill, int FrameIdx,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
73 const TargetRegisterClass *RC,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
74 SmallVectorImpl<MachineInstr*> &NewMIs,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
75 bool &NonRI, bool &SpillsVRS) const;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
76 bool LoadRegFromStackSlot(MachineFunction &MF, DebugLoc DL,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
77 unsigned DestReg, int FrameIdx,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
78 const TargetRegisterClass *RC,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
79 SmallVectorImpl<MachineInstr*> &NewMIs,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
80 bool &NonRI, bool &SpillsVRS) const;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
81 virtual void anchor();
|
95
|
82
|
|
83 protected:
|
|
84 /// Commutes the operands in the given instruction.
|
|
85 /// The commutable operands are specified by their indices OpIdx1 and OpIdx2.
|
|
86 ///
|
|
87 /// Do not call this method for a non-commutable instruction or for
|
|
88 /// non-commutable pair of operand indices OpIdx1 and OpIdx2.
|
|
89 /// Even though the instruction is commutable, the method may still
|
|
90 /// fail to commute the operands, null pointer is returned in such cases.
|
|
91 ///
|
|
92 /// For example, we can commute rlwimi instructions, but only if the
|
|
93 /// rotate amt is zero. We also have to munge the immediates a bit.
|
|
94 MachineInstr *commuteInstructionImpl(MachineInstr *MI,
|
|
95 bool NewMI,
|
|
96 unsigned OpIdx1,
|
|
97 unsigned OpIdx2) const override;
|
|
98
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
99 public:
|
77
|
100 explicit PPCInstrInfo(PPCSubtarget &STI);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
101
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
102 /// getRegisterInfo - TargetInstrInfo is a superset of MRegister info. As
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
103 /// such, whenever a client has an instance of instruction info, it should
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
104 /// always be able to get register info as well (through this method).
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
105 ///
|
77
|
106 const PPCRegisterInfo &getRegisterInfo() const { return RI; }
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
107
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
108 ScheduleHazardRecognizer *
|
77
|
109 CreateTargetHazardRecognizer(const TargetSubtargetInfo *STI,
|
|
110 const ScheduleDAG *DAG) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
111 ScheduleHazardRecognizer *
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
112 CreateTargetPostRAHazardRecognizer(const InstrItineraryData *II,
|
77
|
113 const ScheduleDAG *DAG) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
114
|
95
|
115 unsigned getInstrLatency(const InstrItineraryData *ItinData,
|
|
116 const MachineInstr *MI,
|
|
117 unsigned *PredCost = nullptr) const override;
|
|
118
|
33
|
119 int getOperandLatency(const InstrItineraryData *ItinData,
|
|
120 const MachineInstr *DefMI, unsigned DefIdx,
|
77
|
121 const MachineInstr *UseMI,
|
|
122 unsigned UseIdx) const override;
|
33
|
123 int getOperandLatency(const InstrItineraryData *ItinData,
|
|
124 SDNode *DefNode, unsigned DefIdx,
|
77
|
125 SDNode *UseNode, unsigned UseIdx) const override {
|
33
|
126 return PPCGenInstrInfo::getOperandLatency(ItinData, DefNode, DefIdx,
|
|
127 UseNode, UseIdx);
|
|
128 }
|
|
129
|
95
|
130 bool hasLowDefLatency(const TargetSchedModel &SchedModel,
|
83
|
131 const MachineInstr *DefMI,
|
|
132 unsigned DefIdx) const override {
|
|
133 // Machine LICM should hoist all instructions in low-register-pressure
|
|
134 // situations; none are sufficiently free to justify leaving in a loop
|
|
135 // body.
|
|
136 return false;
|
|
137 }
|
|
138
|
95
|
139 bool useMachineCombiner() const override {
|
|
140 return true;
|
|
141 }
|
|
142
|
|
143 /// Return true when there is potentially a faster code sequence
|
|
144 /// for an instruction chain ending in <Root>. All potential patterns are
|
|
145 /// output in the <Pattern> array.
|
|
146 bool getMachineCombinerPatterns(
|
|
147 MachineInstr &Root,
|
100
|
148 SmallVectorImpl<MachineCombinerPattern> &P) const override;
|
95
|
149
|
|
150 bool isAssociativeAndCommutative(const MachineInstr &Inst) const override;
|
|
151
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
152 bool isCoalescableExtInstr(const MachineInstr &MI,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
153 unsigned &SrcReg, unsigned &DstReg,
|
77
|
154 unsigned &SubIdx) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
155 unsigned isLoadFromStackSlot(const MachineInstr *MI,
|
77
|
156 int &FrameIndex) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
157 unsigned isStoreToStackSlot(const MachineInstr *MI,
|
77
|
158 int &FrameIndex) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
159
|
77
|
160 bool findCommutedOpIndices(MachineInstr *MI, unsigned &SrcOpIdx1,
|
|
161 unsigned &SrcOpIdx2) const override;
|
|
162
|
|
163 void insertNoop(MachineBasicBlock &MBB,
|
|
164 MachineBasicBlock::iterator MI) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
165
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
166
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
167 // Branch analysis.
|
77
|
168 bool AnalyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB,
|
|
169 MachineBasicBlock *&FBB,
|
|
170 SmallVectorImpl<MachineOperand> &Cond,
|
|
171 bool AllowModify) const override;
|
|
172 unsigned RemoveBranch(MachineBasicBlock &MBB) const override;
|
|
173 unsigned InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
|
95
|
174 MachineBasicBlock *FBB, ArrayRef<MachineOperand> Cond,
|
77
|
175 DebugLoc DL) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
176
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
177 // Select analysis.
|
95
|
178 bool canInsertSelect(const MachineBasicBlock &, ArrayRef<MachineOperand> Cond,
|
|
179 unsigned, unsigned, int &, int &, int &) const override;
|
|
180 void insertSelect(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
|
|
181 DebugLoc DL, unsigned DstReg, ArrayRef<MachineOperand> Cond,
|
77
|
182 unsigned TrueReg, unsigned FalseReg) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
183
|
77
|
184 void copyPhysReg(MachineBasicBlock &MBB,
|
|
185 MachineBasicBlock::iterator I, DebugLoc DL,
|
|
186 unsigned DestReg, unsigned SrcReg,
|
|
187 bool KillSrc) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
188
|
77
|
189 void storeRegToStackSlot(MachineBasicBlock &MBB,
|
|
190 MachineBasicBlock::iterator MBBI,
|
|
191 unsigned SrcReg, bool isKill, int FrameIndex,
|
|
192 const TargetRegisterClass *RC,
|
|
193 const TargetRegisterInfo *TRI) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
194
|
77
|
195 void loadRegFromStackSlot(MachineBasicBlock &MBB,
|
|
196 MachineBasicBlock::iterator MBBI,
|
|
197 unsigned DestReg, int FrameIndex,
|
|
198 const TargetRegisterClass *RC,
|
|
199 const TargetRegisterInfo *TRI) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
200
|
77
|
201 bool
|
|
202 ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
203
|
77
|
204 bool FoldImmediate(MachineInstr *UseMI, MachineInstr *DefMI,
|
|
205 unsigned Reg, MachineRegisterInfo *MRI) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
206
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
207 // If conversion by predication (only supported by some branch instructions).
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
208 // All of the profitability checks always return true; it is always
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
209 // profitable to use the predicated branches.
|
77
|
210 bool isProfitableToIfCvt(MachineBasicBlock &MBB,
|
|
211 unsigned NumCycles, unsigned ExtraPredCycles,
|
95
|
212 BranchProbability Probability) const override {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
213 return true;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
214 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
215
|
77
|
216 bool isProfitableToIfCvt(MachineBasicBlock &TMBB,
|
|
217 unsigned NumT, unsigned ExtraT,
|
|
218 MachineBasicBlock &FMBB,
|
|
219 unsigned NumF, unsigned ExtraF,
|
95
|
220 BranchProbability Probability) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
221
|
95
|
222 bool isProfitableToDupForIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
|
|
223 BranchProbability Probability) const override {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
224 return true;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
225 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
226
|
77
|
227 bool isProfitableToUnpredicate(MachineBasicBlock &TMBB,
|
|
228 MachineBasicBlock &FMBB) const override {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
229 return false;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
230 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
231
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
232 // Predication support.
|
77
|
233 bool isPredicated(const MachineInstr *MI) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
234
|
77
|
235 bool isUnpredicatedTerminator(const MachineInstr *MI) const override;
|
|
236
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
237 bool PredicateInstruction(MachineInstr *MI,
|
95
|
238 ArrayRef<MachineOperand> Pred) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
239
|
95
|
240 bool SubsumesPredicate(ArrayRef<MachineOperand> Pred1,
|
|
241 ArrayRef<MachineOperand> Pred2) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
242
|
77
|
243 bool DefinesPredicate(MachineInstr *MI,
|
|
244 std::vector<MachineOperand> &Pred) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
245
|
77
|
246 bool isPredicable(MachineInstr *MI) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
247
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
248 // Comparison optimization.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
249
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
250
|
77
|
251 bool analyzeCompare(const MachineInstr *MI,
|
|
252 unsigned &SrcReg, unsigned &SrcReg2,
|
|
253 int &Mask, int &Value) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
254
|
77
|
255 bool optimizeCompareInstr(MachineInstr *CmpInstr,
|
|
256 unsigned SrcReg, unsigned SrcReg2,
|
|
257 int Mask, int Value,
|
|
258 const MachineRegisterInfo *MRI) const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
259
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
260 /// GetInstSize - Return the number of bytes of code the specified
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
261 /// instruction may be. This returns the maximum number of bytes.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
262 ///
|
77
|
263 unsigned GetInstSizeInBytes(const MachineInstr *MI) const;
|
|
264
|
|
265 void getNoopForMachoTarget(MCInst &NopInst) const override;
|
95
|
266
|
|
267 std::pair<unsigned, unsigned>
|
|
268 decomposeMachineOperandsTargetFlags(unsigned TF) const override;
|
|
269
|
|
270 ArrayRef<std::pair<unsigned, const char *>>
|
|
271 getSerializableDirectMachineOperandTargetFlags() const override;
|
|
272
|
|
273 ArrayRef<std::pair<unsigned, const char *>>
|
|
274 getSerializableBitmaskMachineOperandTargetFlags() const override;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
275 };
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
276
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
277 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
278
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
279 #endif
|