blob: 76fc4fb2ad6851ef7c5f16ffeafd3f2e863462a2 [file] [log] [blame]
David Goodwinb50ea5c2009-07-02 22:18:33 +00001//===- Thumb2InstrInfo.cpp - Thumb-2 Instruction Information --------*- C++ -*-===//
Anton Korobeynikovd49ea772009-06-26 21:28:53 +00002//
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//
David Goodwinb50ea5c2009-07-02 22:18:33 +000010// This file contains the Thumb-2 implementation of the TargetInstrInfo class.
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000011//
12//===----------------------------------------------------------------------===//
13
14#include "ARMInstrInfo.h"
15#include "ARM.h"
16#include "ARMGenInstrInfo.inc"
17#include "ARMMachineFunctionInfo.h"
18#include "llvm/CodeGen/MachineFrameInfo.h"
19#include "llvm/CodeGen/MachineInstrBuilder.h"
20#include "llvm/ADT/SmallVector.h"
David Goodwinb50ea5c2009-07-02 22:18:33 +000021#include "Thumb2InstrInfo.h"
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000022
23using namespace llvm;
24
David Goodwinb50ea5c2009-07-02 22:18:33 +000025Thumb2InstrInfo::Thumb2InstrInfo(const ARMSubtarget &STI)
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000026 : ARMBaseInstrInfo(STI), RI(*this, STI) {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000027}
28
David Goodwin334c2642009-07-08 16:09:28 +000029unsigned Thumb2InstrInfo::
30getUnindexedOpcode(unsigned Opc) const {
31 // FIXME
32 return 0;
33}
34
35unsigned Thumb2InstrInfo::
36getOpcode(ARMII::Op Op) const {
37 switch (Op) {
38 case ARMII::ADDri: return ARM::t2ADDri;
39 case ARMII::ADDrs: return ARM::t2ADDrs;
40 case ARMII::ADDrr: return ARM::t2ADDrr;
41 case ARMII::B: return ARM::t2B;
42 case ARMII::Bcc: return ARM::t2Bcc;
43 case ARMII::BR_JTr: return ARM::t2BR_JTr;
44 case ARMII::BR_JTm: return ARM::t2BR_JTm;
45 case ARMII::BR_JTadd: return ARM::t2BR_JTadd;
David Goodwin77521f52009-07-08 20:28:28 +000046 case ARMII::BX_RET: return ARM::t2BX_RET;
David Goodwin334c2642009-07-08 16:09:28 +000047 case ARMII::FCPYS: return ARM::FCPYS;
48 case ARMII::FCPYD: return ARM::FCPYD;
49 case ARMII::FLDD: return ARM::FLDD;
50 case ARMII::FLDS: return ARM::FLDS;
51 case ARMII::FSTD: return ARM::FSTD;
52 case ARMII::FSTS: return ARM::FSTS;
53 case ARMII::LDR: return ARM::LDR; // FIXME
54 case ARMII::MOVr: return ARM::t2MOVr;
55 case ARMII::STR: return ARM::STR; // FIXME
56 case ARMII::SUBri: return ARM::t2SUBri;
57 case ARMII::SUBrs: return ARM::t2SUBrs;
58 case ARMII::SUBrr: return ARM::t2SUBrr;
59 case ARMII::VMOVD: return ARM::VMOVD;
60 case ARMII::VMOVQ: return ARM::VMOVQ;
61 default:
62 break;
63 }
64
65 return 0;
66}
67
68bool
69Thumb2InstrInfo::BlockHasNoFallThrough(const MachineBasicBlock &MBB) const {
70 if (MBB.empty()) return false;
71
72 // FIXME
73 switch (MBB.back().getOpcode()) {
74 //case ARM::t2BX_RET:
75 // case ARM::LDM_RET:
76 case ARM::t2B: // Uncond branch.
77 case ARM::t2BR_JTr: // Jumptable branch.
78 case ARM::t2BR_JTm: // Jumptable branch through mem.
79 case ARM::t2BR_JTadd: // Jumptable branch add to pc.
80 return true;
81 case ARM::tBX_RET:
82 case ARM::tBX_RET_vararg:
83 case ARM::tPOP_RET:
84 case ARM::tB:
85 case ARM::tBR_JTr:
86 return true;
87 default:
88 break;
89 }
90
91 return false;
92}
93
94
95bool Thumb2InstrInfo::copyRegToReg(MachineBasicBlock &MBB,
96 MachineBasicBlock::iterator I,
97 unsigned DestReg, unsigned SrcReg,
98 const TargetRegisterClass *DestRC,
99 const TargetRegisterClass *SrcRC) const {
100 DebugLoc DL = DebugLoc::getUnknownLoc();
101 if (I != MBB.end()) DL = I->getDebugLoc();
102
103 if (DestRC == ARM::GPRRegisterClass) {
104 if (SrcRC == ARM::GPRRegisterClass) {
105 return ARMBaseInstrInfo::copyRegToReg(MBB, I, DestReg, SrcReg, DestRC, SrcRC);
106 } else if (SrcRC == ARM::tGPRRegisterClass) {
107 BuildMI(MBB, I, DL, get(ARM::tMOVlor2hir), DestReg).addReg(SrcReg);
108 return true;
109 }
110 } else if (DestRC == ARM::tGPRRegisterClass) {
111 if (SrcRC == ARM::GPRRegisterClass) {
112 BuildMI(MBB, I, DL, get(ARM::tMOVhir2lor), DestReg).addReg(SrcReg);
113 return true;
114 } else if (SrcRC == ARM::tGPRRegisterClass) {
115 BuildMI(MBB, I, DL, get(ARM::tMOVr), DestReg).addReg(SrcReg);
116 return true;
117 }
118 }
119
120 return false;
121}
122
123
124
125
126
127
David Goodwinb50ea5c2009-07-02 22:18:33 +0000128bool Thumb2InstrInfo::isMoveInstr(const MachineInstr &MI,
129 unsigned &SrcReg, unsigned &DstReg,
130 unsigned& SrcSubIdx, unsigned& DstSubIdx) const {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000131 SrcSubIdx = DstSubIdx = 0; // No sub-registers.
132
133 unsigned oc = MI.getOpcode();
134 switch (oc) {
135 default:
136 return false;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000137 case ARM::tMOVr:
138 case ARM::tMOVhir2lor:
139 case ARM::tMOVlor2hir:
140 case ARM::tMOVhir2hir:
141 assert(MI.getDesc().getNumOperands() >= 2 &&
142 MI.getOperand(0).isReg() &&
143 MI.getOperand(1).isReg() &&
144 "Invalid Thumb MOV instruction");
145 SrcReg = MI.getOperand(1).getReg();
146 DstReg = MI.getOperand(0).getReg();
147 return true;
148 }
149}
150
David Goodwinb50ea5c2009-07-02 22:18:33 +0000151unsigned Thumb2InstrInfo::isLoadFromStackSlot(const MachineInstr *MI,
152 int &FrameIndex) const {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000153 switch (MI->getOpcode()) {
154 default: break;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000155 case ARM::tRestore:
156 if (MI->getOperand(1).isFI() &&
157 MI->getOperand(2).isImm() &&
158 MI->getOperand(2).getImm() == 0) {
159 FrameIndex = MI->getOperand(1).getIndex();
160 return MI->getOperand(0).getReg();
161 }
162 break;
163 }
164 return 0;
165}
166
David Goodwinb50ea5c2009-07-02 22:18:33 +0000167unsigned Thumb2InstrInfo::isStoreToStackSlot(const MachineInstr *MI,
168 int &FrameIndex) const {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000169 switch (MI->getOpcode()) {
170 default: break;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000171 case ARM::tSpill:
172 if (MI->getOperand(1).isFI() &&
173 MI->getOperand(2).isImm() &&
174 MI->getOperand(2).getImm() == 0) {
175 FrameIndex = MI->getOperand(1).getIndex();
176 return MI->getOperand(0).getReg();
177 }
178 break;
179 }
180 return 0;
181}
182
David Goodwinb50ea5c2009-07-02 22:18:33 +0000183bool Thumb2InstrInfo::
Anton Korobeynikova98cbc52009-06-27 12:16:40 +0000184canFoldMemoryOperand(const MachineInstr *MI,
185 const SmallVectorImpl<unsigned> &Ops) const {
186 if (Ops.size() != 1) return false;
187
188 unsigned OpNum = Ops[0];
189 unsigned Opc = MI->getOpcode();
190 switch (Opc) {
191 default: break;
192 case ARM::tMOVr:
193 case ARM::tMOVlor2hir:
194 case ARM::tMOVhir2lor:
195 case ARM::tMOVhir2hir: {
196 if (OpNum == 0) { // move -> store
197 unsigned SrcReg = MI->getOperand(1).getReg();
Anton Korobeynikov55ad1f22009-06-27 12:59:03 +0000198 if (RI.isPhysicalRegister(SrcReg) && !isARMLowRegister(SrcReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +0000199 // tSpill cannot take a high register operand.
200 return false;
201 } else { // move -> load
202 unsigned DstReg = MI->getOperand(0).getReg();
Anton Korobeynikov55ad1f22009-06-27 12:59:03 +0000203 if (RI.isPhysicalRegister(DstReg) && !isARMLowRegister(DstReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +0000204 // tRestore cannot target a high register operand.
205 return false;
206 }
207 return true;
208 }
209 }
210
211 return false;
212}
213
David Goodwinb50ea5c2009-07-02 22:18:33 +0000214void Thumb2InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000215storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
216 unsigned SrcReg, bool isKill, int FI,
217 const TargetRegisterClass *RC) const {
218 DebugLoc DL = DebugLoc::getUnknownLoc();
219 if (I != MBB.end()) DL = I->getDebugLoc();
220
221 assert(RC == ARM::tGPRRegisterClass && "Unknown regclass!");
222
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000223 if (RC == ARM::tGPRRegisterClass) {
224 BuildMI(MBB, I, DL, get(ARM::tSpill))
225 .addReg(SrcReg, getKillRegState(isKill))
226 .addFrameIndex(FI).addImm(0);
227 }
228}
229
David Goodwinb50ea5c2009-07-02 22:18:33 +0000230void Thumb2InstrInfo::storeRegToAddr(MachineFunction &MF, unsigned SrcReg,
231 bool isKill,
232 SmallVectorImpl<MachineOperand> &Addr,
233 const TargetRegisterClass *RC,
234 SmallVectorImpl<MachineInstr*> &NewMIs) const{
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000235 DebugLoc DL = DebugLoc::getUnknownLoc();
236 unsigned Opc = 0;
237
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000238 assert(RC == ARM::GPRRegisterClass && "Unknown regclass!");
239 if (RC == ARM::GPRRegisterClass) {
240 Opc = Addr[0].isFI() ? ARM::tSpill : ARM::tSTR;
241 }
242
243 MachineInstrBuilder MIB =
244 BuildMI(MF, DL, get(Opc)).addReg(SrcReg, getKillRegState(isKill));
245 for (unsigned i = 0, e = Addr.size(); i != e; ++i)
246 MIB.addOperand(Addr[i]);
247 NewMIs.push_back(MIB);
248 return;
249}
250
David Goodwinb50ea5c2009-07-02 22:18:33 +0000251void Thumb2InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000252loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
253 unsigned DestReg, int FI,
254 const TargetRegisterClass *RC) const {
255 DebugLoc DL = DebugLoc::getUnknownLoc();
256 if (I != MBB.end()) DL = I->getDebugLoc();
257
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000258 assert(RC == ARM::tGPRRegisterClass && "Unknown regclass!");
259
260 if (RC == ARM::tGPRRegisterClass) {
261 BuildMI(MBB, I, DL, get(ARM::tRestore), DestReg)
262 .addFrameIndex(FI).addImm(0);
263 }
264}
265
David Goodwinb50ea5c2009-07-02 22:18:33 +0000266void Thumb2InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000267loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
268 SmallVectorImpl<MachineOperand> &Addr,
269 const TargetRegisterClass *RC,
270 SmallVectorImpl<MachineInstr*> &NewMIs) const {
271 DebugLoc DL = DebugLoc::getUnknownLoc();
272 unsigned Opc = 0;
273
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000274 if (RC == ARM::GPRRegisterClass) {
275 Opc = Addr[0].isFI() ? ARM::tRestore : ARM::tLDR;
276 }
277
278 MachineInstrBuilder MIB = BuildMI(MF, DL, get(Opc), DestReg);
279 for (unsigned i = 0, e = Addr.size(); i != e; ++i)
280 MIB.addOperand(Addr[i]);
281 NewMIs.push_back(MIB);
282 return;
283}
284
David Goodwinb50ea5c2009-07-02 22:18:33 +0000285bool Thumb2InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000286spillCalleeSavedRegisters(MachineBasicBlock &MBB,
287 MachineBasicBlock::iterator MI,
288 const std::vector<CalleeSavedInfo> &CSI) const {
289 if (CSI.empty())
290 return false;
291
292 DebugLoc DL = DebugLoc::getUnknownLoc();
293 if (MI != MBB.end()) DL = MI->getDebugLoc();
294
295 MachineInstrBuilder MIB = BuildMI(MBB, MI, DL, get(ARM::tPUSH));
296 for (unsigned i = CSI.size(); i != 0; --i) {
297 unsigned Reg = CSI[i-1].getReg();
298 // Add the callee-saved register as live-in. It's killed at the spill.
299 MBB.addLiveIn(Reg);
300 MIB.addReg(Reg, RegState::Kill);
301 }
302 return true;
303}
304
David Goodwinb50ea5c2009-07-02 22:18:33 +0000305bool Thumb2InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000306restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
307 MachineBasicBlock::iterator MI,
308 const std::vector<CalleeSavedInfo> &CSI) const {
309 MachineFunction &MF = *MBB.getParent();
310 ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
311 if (CSI.empty())
312 return false;
313
314 bool isVarArg = AFI->getVarArgsRegSaveSize() > 0;
315 MachineInstr *PopMI = MF.CreateMachineInstr(get(ARM::tPOP),MI->getDebugLoc());
316 for (unsigned i = CSI.size(); i != 0; --i) {
317 unsigned Reg = CSI[i-1].getReg();
318 if (Reg == ARM::LR) {
319 // Special epilogue for vararg functions. See emitEpilogue
320 if (isVarArg)
321 continue;
322 Reg = ARM::PC;
323 PopMI->setDesc(get(ARM::tPOP_RET));
324 MI = MBB.erase(MI);
325 }
326 PopMI->addOperand(MachineOperand::CreateReg(Reg, true));
327 }
328
329 // It's illegal to emit pop instruction without operands.
330 if (PopMI->getNumOperands() > 0)
331 MBB.insert(MI, PopMI);
332
333 return true;
334}
335
David Goodwinb50ea5c2009-07-02 22:18:33 +0000336MachineInstr *Thumb2InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000337foldMemoryOperandImpl(MachineFunction &MF, MachineInstr *MI,
338 const SmallVectorImpl<unsigned> &Ops, int FI) const {
339 if (Ops.size() != 1) return NULL;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000340
341 unsigned OpNum = Ops[0];
342 unsigned Opc = MI->getOpcode();
343 MachineInstr *NewMI = NULL;
344 switch (Opc) {
345 default: break;
346 case ARM::tMOVr:
347 case ARM::tMOVlor2hir:
348 case ARM::tMOVhir2lor:
349 case ARM::tMOVhir2hir: {
350 if (OpNum == 0) { // move -> store
351 unsigned SrcReg = MI->getOperand(1).getReg();
352 bool isKill = MI->getOperand(1).isKill();
Anton Korobeynikov55ad1f22009-06-27 12:59:03 +0000353 if (RI.isPhysicalRegister(SrcReg) && !isARMLowRegister(SrcReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000354 // tSpill cannot take a high register operand.
355 break;
356 NewMI = BuildMI(MF, MI->getDebugLoc(), get(ARM::tSpill))
357 .addReg(SrcReg, getKillRegState(isKill))
358 .addFrameIndex(FI).addImm(0);
359 } else { // move -> load
360 unsigned DstReg = MI->getOperand(0).getReg();
Anton Korobeynikov55ad1f22009-06-27 12:59:03 +0000361 if (RI.isPhysicalRegister(DstReg) && !isARMLowRegister(DstReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000362 // tRestore cannot target a high register operand.
363 break;
364 bool isDead = MI->getOperand(0).isDead();
365 NewMI = BuildMI(MF, MI->getDebugLoc(), get(ARM::tRestore))
366 .addReg(DstReg, RegState::Define | getDeadRegState(isDead))
367 .addFrameIndex(FI).addImm(0);
368 }
369 break;
370 }
371 }
372
373 return NewMI;
374}