blob: a4f2793d4ecdd0b3c966bcc8dd8a6589c7ecf5f6 [file] [log] [blame]
Jim Grosbach31c24bf2009-11-07 22:00:39 +00001//===- Thumb1InstrInfo.cpp - Thumb-1 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-1 implementation of the TargetInstrInfo class.
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000011//
12//===----------------------------------------------------------------------===//
13
Evan Chengb9803a82009-11-06 23:52:48 +000014#include "Thumb1InstrInfo.h"
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000015#include "ARM.h"
Evan Chengb9803a82009-11-06 23:52:48 +000016#include "ARMConstantPoolValue.h"
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000017#include "ARMGenInstrInfo.inc"
18#include "ARMMachineFunctionInfo.h"
Evan Chengbf992812009-11-07 19:40:04 +000019#include "llvm/Constants.h"
20#include "llvm/Function.h"
Evan Chengb9803a82009-11-06 23:52:48 +000021#include "llvm/GlobalValue.h"
22#include "llvm/CodeGen/MachineConstantPool.h"
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000023#include "llvm/CodeGen/MachineFrameInfo.h"
24#include "llvm/CodeGen/MachineInstrBuilder.h"
Evan Chenge3ce8aa2009-11-01 22:04:35 +000025#include "llvm/CodeGen/MachineMemOperand.h"
26#include "llvm/CodeGen/PseudoSourceValue.h"
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000027#include "llvm/ADT/SmallVector.h"
David Goodwinb50ea5c2009-07-02 22:18:33 +000028#include "Thumb1InstrInfo.h"
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000029
30using namespace llvm;
31
Anton Korobeynikovf95215f2009-11-02 00:10:38 +000032Thumb1InstrInfo::Thumb1InstrInfo(const ARMSubtarget &STI)
33 : ARMBaseInstrInfo(STI), RI(*this, STI) {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000034}
35
Evan Cheng446c4282009-07-11 06:43:01 +000036unsigned Thumb1InstrInfo::getUnindexedOpcode(unsigned Opc) const {
David Goodwin334c2642009-07-08 16:09:28 +000037 return 0;
38}
39
David Goodwin334c2642009-07-08 16:09:28 +000040bool
41Thumb1InstrInfo::BlockHasNoFallThrough(const MachineBasicBlock &MBB) const {
42 if (MBB.empty()) return false;
43
44 switch (MBB.back().getOpcode()) {
45 case ARM::tBX_RET:
46 case ARM::tBX_RET_vararg:
47 case ARM::tPOP_RET:
48 case ARM::tB:
Bob Wilson8d4de5a2009-10-28 18:26:41 +000049 case ARM::tBRIND:
David Goodwin334c2642009-07-08 16:09:28 +000050 case ARM::tBR_JTr:
51 return true;
52 default:
53 break;
54 }
55
56 return false;
57}
58
David Goodwinb50ea5c2009-07-02 22:18:33 +000059bool Thumb1InstrInfo::copyRegToReg(MachineBasicBlock &MBB,
60 MachineBasicBlock::iterator I,
61 unsigned DestReg, unsigned SrcReg,
62 const TargetRegisterClass *DestRC,
63 const TargetRegisterClass *SrcRC) const {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000064 DebugLoc DL = DebugLoc::getUnknownLoc();
65 if (I != MBB.end()) DL = I->getDebugLoc();
66
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000067 if (DestRC == ARM::GPRRegisterClass) {
68 if (SrcRC == ARM::GPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000069 BuildMI(MBB, I, DL, get(ARM::tMOVgpr2gpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000070 return true;
71 } else if (SrcRC == ARM::tGPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000072 BuildMI(MBB, I, DL, get(ARM::tMOVtgpr2gpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000073 return true;
74 }
75 } else if (DestRC == ARM::tGPRRegisterClass) {
76 if (SrcRC == ARM::GPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000077 BuildMI(MBB, I, DL, get(ARM::tMOVgpr2tgpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000078 return true;
79 } else if (SrcRC == ARM::tGPRRegisterClass) {
80 BuildMI(MBB, I, DL, get(ARM::tMOVr), DestReg).addReg(SrcReg);
81 return true;
82 }
83 }
84
85 return false;
86}
87
David Goodwinb50ea5c2009-07-02 22:18:33 +000088bool Thumb1InstrInfo::
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000089canFoldMemoryOperand(const MachineInstr *MI,
90 const SmallVectorImpl<unsigned> &Ops) const {
91 if (Ops.size() != 1) return false;
92
93 unsigned OpNum = Ops[0];
94 unsigned Opc = MI->getOpcode();
95 switch (Opc) {
96 default: break;
97 case ARM::tMOVr:
Evan Chengd8336062009-07-26 23:59:01 +000098 case ARM::tMOVtgpr2gpr:
99 case ARM::tMOVgpr2tgpr:
100 case ARM::tMOVgpr2gpr: {
Anton Korobeynikova98cbc52009-06-27 12:16:40 +0000101 if (OpNum == 0) { // move -> store
102 unsigned SrcReg = MI->getOperand(1).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000103 if (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
104 !isARMLowRegister(SrcReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +0000105 // tSpill cannot take a high register operand.
106 return false;
107 } else { // move -> load
108 unsigned DstReg = MI->getOperand(0).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000109 if (TargetRegisterInfo::isPhysicalRegister(DstReg) &&
110 !isARMLowRegister(DstReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +0000111 // tRestore cannot target a high register operand.
112 return false;
113 }
114 return true;
115 }
116 }
117
118 return false;
119}
120
David Goodwinb50ea5c2009-07-02 22:18:33 +0000121void Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000122storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
123 unsigned SrcReg, bool isKill, int FI,
124 const TargetRegisterClass *RC) const {
125 DebugLoc DL = DebugLoc::getUnknownLoc();
126 if (I != MBB.end()) DL = I->getDebugLoc();
127
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000128 assert((RC == ARM::tGPRRegisterClass ||
129 (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
130 isARMLowRegister(SrcReg))) && "Unknown regclass!");
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000131
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000132 if (RC == ARM::tGPRRegisterClass) {
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000133 MachineFunction &MF = *MBB.getParent();
134 MachineFrameInfo &MFI = *MF.getFrameInfo();
135 MachineMemOperand *MMO =
136 MF.getMachineMemOperand(PseudoSourceValue::getFixedStack(FI),
137 MachineMemOperand::MOStore, 0,
138 MFI.getObjectSize(FI),
139 MFI.getObjectAlignment(FI));
Evan Cheng446c4282009-07-11 06:43:01 +0000140 AddDefaultPred(BuildMI(MBB, I, DL, get(ARM::tSpill))
141 .addReg(SrcReg, getKillRegState(isKill))
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000142 .addFrameIndex(FI).addImm(0).addMemOperand(MMO));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000143 }
144}
145
David Goodwinb50ea5c2009-07-02 22:18:33 +0000146void Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000147loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
148 unsigned DestReg, int FI,
149 const TargetRegisterClass *RC) const {
150 DebugLoc DL = DebugLoc::getUnknownLoc();
151 if (I != MBB.end()) DL = I->getDebugLoc();
152
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000153 assert((RC == ARM::tGPRRegisterClass ||
154 (TargetRegisterInfo::isPhysicalRegister(DestReg) &&
155 isARMLowRegister(DestReg))) && "Unknown regclass!");
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000156
157 if (RC == ARM::tGPRRegisterClass) {
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000158 MachineFunction &MF = *MBB.getParent();
159 MachineFrameInfo &MFI = *MF.getFrameInfo();
160 MachineMemOperand *MMO =
161 MF.getMachineMemOperand(PseudoSourceValue::getFixedStack(FI),
162 MachineMemOperand::MOLoad, 0,
163 MFI.getObjectSize(FI),
164 MFI.getObjectAlignment(FI));
Evan Cheng446c4282009-07-11 06:43:01 +0000165 AddDefaultPred(BuildMI(MBB, I, DL, get(ARM::tRestore), DestReg)
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000166 .addFrameIndex(FI).addImm(0).addMemOperand(MMO));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000167 }
168}
169
David Goodwinb50ea5c2009-07-02 22:18:33 +0000170bool Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000171spillCalleeSavedRegisters(MachineBasicBlock &MBB,
172 MachineBasicBlock::iterator MI,
173 const std::vector<CalleeSavedInfo> &CSI) const {
174 if (CSI.empty())
175 return false;
176
177 DebugLoc DL = DebugLoc::getUnknownLoc();
178 if (MI != MBB.end()) DL = MI->getDebugLoc();
179
180 MachineInstrBuilder MIB = BuildMI(MBB, MI, DL, get(ARM::tPUSH));
Evan Cheng4b322e52009-08-11 21:11:32 +0000181 AddDefaultPred(MIB);
Evan Cheng89259792009-10-02 05:03:07 +0000182 MIB.addReg(0); // No write back.
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000183 for (unsigned i = CSI.size(); i != 0; --i) {
184 unsigned Reg = CSI[i-1].getReg();
185 // Add the callee-saved register as live-in. It's killed at the spill.
186 MBB.addLiveIn(Reg);
187 MIB.addReg(Reg, RegState::Kill);
188 }
189 return true;
190}
191
David Goodwinb50ea5c2009-07-02 22:18:33 +0000192bool Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000193restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
194 MachineBasicBlock::iterator MI,
195 const std::vector<CalleeSavedInfo> &CSI) const {
196 MachineFunction &MF = *MBB.getParent();
197 ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
198 if (CSI.empty())
199 return false;
200
201 bool isVarArg = AFI->getVarArgsRegSaveSize() > 0;
Evan Cheng4b322e52009-08-11 21:11:32 +0000202 DebugLoc DL = MI->getDebugLoc();
203 MachineInstrBuilder MIB = BuildMI(MF, DL, get(ARM::tPOP));
204 AddDefaultPred(MIB);
Evan Cheng10469f82009-10-01 20:54:53 +0000205 MIB.addReg(0); // No write back.
Evan Cheng4b322e52009-08-11 21:11:32 +0000206
207 bool NumRegs = 0;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000208 for (unsigned i = CSI.size(); i != 0; --i) {
209 unsigned Reg = CSI[i-1].getReg();
210 if (Reg == ARM::LR) {
211 // Special epilogue for vararg functions. See emitEpilogue
212 if (isVarArg)
213 continue;
214 Reg = ARM::PC;
Evan Cheng4b322e52009-08-11 21:11:32 +0000215 (*MIB).setDesc(get(ARM::tPOP_RET));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000216 MI = MBB.erase(MI);
217 }
Evan Cheng4b322e52009-08-11 21:11:32 +0000218 MIB.addReg(Reg, getDefRegState(true));
219 ++NumRegs;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000220 }
221
222 // It's illegal to emit pop instruction without operands.
Evan Cheng4b322e52009-08-11 21:11:32 +0000223 if (NumRegs)
224 MBB.insert(MI, &*MIB);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000225
226 return true;
227}
228
David Goodwinb50ea5c2009-07-02 22:18:33 +0000229MachineInstr *Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000230foldMemoryOperandImpl(MachineFunction &MF, MachineInstr *MI,
231 const SmallVectorImpl<unsigned> &Ops, int FI) const {
232 if (Ops.size() != 1) return NULL;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000233
234 unsigned OpNum = Ops[0];
235 unsigned Opc = MI->getOpcode();
236 MachineInstr *NewMI = NULL;
237 switch (Opc) {
238 default: break;
239 case ARM::tMOVr:
Evan Chengd8336062009-07-26 23:59:01 +0000240 case ARM::tMOVtgpr2gpr:
241 case ARM::tMOVgpr2tgpr:
242 case ARM::tMOVgpr2gpr: {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000243 if (OpNum == 0) { // move -> store
244 unsigned SrcReg = MI->getOperand(1).getReg();
245 bool isKill = MI->getOperand(1).isKill();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000246 if (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
247 !isARMLowRegister(SrcReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000248 // tSpill cannot take a high register operand.
249 break;
Evan Cheng446c4282009-07-11 06:43:01 +0000250 NewMI = AddDefaultPred(BuildMI(MF, MI->getDebugLoc(), get(ARM::tSpill))
251 .addReg(SrcReg, getKillRegState(isKill))
252 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000253 } else { // move -> load
254 unsigned DstReg = MI->getOperand(0).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000255 if (TargetRegisterInfo::isPhysicalRegister(DstReg) &&
256 !isARMLowRegister(DstReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000257 // tRestore cannot target a high register operand.
258 break;
259 bool isDead = MI->getOperand(0).isDead();
Evan Cheng446c4282009-07-11 06:43:01 +0000260 NewMI = AddDefaultPred(BuildMI(MF, MI->getDebugLoc(), get(ARM::tRestore))
261 .addReg(DstReg,
262 RegState::Define | getDeadRegState(isDead))
263 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000264 }
265 break;
266 }
267 }
268
269 return NewMI;
270}
Evan Chengb9803a82009-11-06 23:52:48 +0000271
272void Thumb1InstrInfo::reMaterialize(MachineBasicBlock &MBB,
273 MachineBasicBlock::iterator I,
274 unsigned DestReg, unsigned SubIdx,
275 const MachineInstr *Orig) const {
276 DebugLoc dl = Orig->getDebugLoc();
277 unsigned Opcode = Orig->getOpcode();
278 switch (Opcode) {
279 default: {
280 MachineInstr *MI = MBB.getParent()->CloneMachineInstr(Orig);
281 MI->getOperand(0).setReg(DestReg);
282 MBB.insert(I, MI);
283 break;
284 }
285 case ARM::tLDRpci_pic: {
286 MachineFunction &MF = *MBB.getParent();
287 ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
288 MachineConstantPool *MCP = MF.getConstantPool();
289 unsigned CPI = Orig->getOperand(1).getIndex();
290 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPI];
291 assert(MCPE.isMachineConstantPoolEntry() &&
292 "Expecting a machine constantpool entry!");
293 ARMConstantPoolValue *ACPV =
294 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
Evan Chengb9803a82009-11-06 23:52:48 +0000295 unsigned PCLabelId = AFI->createConstPoolEntryUId();
Evan Chengbf992812009-11-07 19:40:04 +0000296 ARMConstantPoolValue *NewCPV = 0;
297 if (ACPV->isGlobalValue())
298 NewCPV = new ARMConstantPoolValue(ACPV->getGV(), PCLabelId,
299 ARMCP::CPValue, 4);
300 else if (ACPV->isExtSymbol())
301 NewCPV = new ARMConstantPoolValue(MF.getFunction()->getContext(),
302 ACPV->getSymbol(), PCLabelId, 4);
303 else if (ACPV->isBlockAddress())
304 NewCPV = new ARMConstantPoolValue(ACPV->getBlockAddress(), PCLabelId,
305 ARMCP::CPBlockAddress, 4);
306 else
307 llvm_unreachable("Unexpected ARM constantpool value type!!");
Evan Chengb9803a82009-11-06 23:52:48 +0000308 CPI = MCP->getConstantPoolIndex(NewCPV, MCPE.getAlignment());
309 MachineInstrBuilder MIB = BuildMI(MBB, I, Orig->getDebugLoc(), get(Opcode),
310 DestReg)
311 .addConstantPoolIndex(CPI).addImm(PCLabelId);
312 (*MIB).setMemRefs(Orig->memoperands_begin(), Orig->memoperands_end());
313 break;
314 }
315 }
316
317 MachineInstr *NewMI = prior(I);
318 NewMI->getOperand(0).setSubReg(SubIdx);
319}
320