blob: 51119dac4dee74997b1b21f3767964a55776cabc [file] [log] [blame]
David Goodwinb50ea5c2009-07-02 22:18:33 +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
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 "Thumb1InstrInfo.h"
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000022
23using namespace llvm;
24
Chris Lattnerd90183d2009-08-02 05:20:37 +000025Thumb1InstrInfo::Thumb1InstrInfo(const ARMSubtarget &STI) : RI(*this, STI) {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000026}
27
Evan Cheng446c4282009-07-11 06:43:01 +000028unsigned Thumb1InstrInfo::getUnindexedOpcode(unsigned Opc) const {
David Goodwin334c2642009-07-08 16:09:28 +000029 return 0;
30}
31
David Goodwin334c2642009-07-08 16:09:28 +000032bool
33Thumb1InstrInfo::BlockHasNoFallThrough(const MachineBasicBlock &MBB) const {
34 if (MBB.empty()) return false;
35
36 switch (MBB.back().getOpcode()) {
37 case ARM::tBX_RET:
38 case ARM::tBX_RET_vararg:
39 case ARM::tPOP_RET:
40 case ARM::tB:
Bob Wilson8d4de5a2009-10-28 18:26:41 +000041 case ARM::tBRIND:
David Goodwin334c2642009-07-08 16:09:28 +000042 case ARM::tBR_JTr:
43 return true;
44 default:
45 break;
46 }
47
48 return false;
49}
50
David Goodwinb50ea5c2009-07-02 22:18:33 +000051bool Thumb1InstrInfo::copyRegToReg(MachineBasicBlock &MBB,
52 MachineBasicBlock::iterator I,
53 unsigned DestReg, unsigned SrcReg,
54 const TargetRegisterClass *DestRC,
55 const TargetRegisterClass *SrcRC) const {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000056 DebugLoc DL = DebugLoc::getUnknownLoc();
57 if (I != MBB.end()) DL = I->getDebugLoc();
58
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000059 if (DestRC == ARM::GPRRegisterClass) {
60 if (SrcRC == ARM::GPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000061 BuildMI(MBB, I, DL, get(ARM::tMOVgpr2gpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000062 return true;
63 } else if (SrcRC == ARM::tGPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000064 BuildMI(MBB, I, DL, get(ARM::tMOVtgpr2gpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000065 return true;
66 }
67 } else if (DestRC == ARM::tGPRRegisterClass) {
68 if (SrcRC == ARM::GPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000069 BuildMI(MBB, I, DL, get(ARM::tMOVgpr2tgpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000070 return true;
71 } else if (SrcRC == ARM::tGPRRegisterClass) {
72 BuildMI(MBB, I, DL, get(ARM::tMOVr), DestReg).addReg(SrcReg);
73 return true;
74 }
75 }
76
77 return false;
78}
79
David Goodwinb50ea5c2009-07-02 22:18:33 +000080bool Thumb1InstrInfo::
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000081canFoldMemoryOperand(const MachineInstr *MI,
82 const SmallVectorImpl<unsigned> &Ops) const {
83 if (Ops.size() != 1) return false;
84
85 unsigned OpNum = Ops[0];
86 unsigned Opc = MI->getOpcode();
87 switch (Opc) {
88 default: break;
89 case ARM::tMOVr:
Evan Chengd8336062009-07-26 23:59:01 +000090 case ARM::tMOVtgpr2gpr:
91 case ARM::tMOVgpr2tgpr:
92 case ARM::tMOVgpr2gpr: {
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000093 if (OpNum == 0) { // move -> store
94 unsigned SrcReg = MI->getOperand(1).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +000095 if (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
96 !isARMLowRegister(SrcReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000097 // tSpill cannot take a high register operand.
98 return false;
99 } else { // move -> load
100 unsigned DstReg = MI->getOperand(0).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000101 if (TargetRegisterInfo::isPhysicalRegister(DstReg) &&
102 !isARMLowRegister(DstReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +0000103 // tRestore cannot target a high register operand.
104 return false;
105 }
106 return true;
107 }
108 }
109
110 return false;
111}
112
David Goodwinb50ea5c2009-07-02 22:18:33 +0000113void Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000114storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
115 unsigned SrcReg, bool isKill, int FI,
116 const TargetRegisterClass *RC) const {
117 DebugLoc DL = DebugLoc::getUnknownLoc();
118 if (I != MBB.end()) DL = I->getDebugLoc();
119
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000120 assert((RC == ARM::tGPRRegisterClass ||
121 (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
122 isARMLowRegister(SrcReg))) && "Unknown regclass!");
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000123
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000124 if (RC == ARM::tGPRRegisterClass) {
Evan Cheng446c4282009-07-11 06:43:01 +0000125 AddDefaultPred(BuildMI(MBB, I, DL, get(ARM::tSpill))
126 .addReg(SrcReg, getKillRegState(isKill))
127 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000128 }
129}
130
David Goodwinb50ea5c2009-07-02 22:18:33 +0000131void Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000132loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
133 unsigned DestReg, int FI,
134 const TargetRegisterClass *RC) const {
135 DebugLoc DL = DebugLoc::getUnknownLoc();
136 if (I != MBB.end()) DL = I->getDebugLoc();
137
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000138 assert((RC == ARM::tGPRRegisterClass ||
139 (TargetRegisterInfo::isPhysicalRegister(DestReg) &&
140 isARMLowRegister(DestReg))) && "Unknown regclass!");
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000141
142 if (RC == ARM::tGPRRegisterClass) {
Evan Cheng446c4282009-07-11 06:43:01 +0000143 AddDefaultPred(BuildMI(MBB, I, DL, get(ARM::tRestore), DestReg)
144 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000145 }
146}
147
David Goodwinb50ea5c2009-07-02 22:18:33 +0000148bool Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000149spillCalleeSavedRegisters(MachineBasicBlock &MBB,
150 MachineBasicBlock::iterator MI,
151 const std::vector<CalleeSavedInfo> &CSI) const {
152 if (CSI.empty())
153 return false;
154
155 DebugLoc DL = DebugLoc::getUnknownLoc();
156 if (MI != MBB.end()) DL = MI->getDebugLoc();
157
158 MachineInstrBuilder MIB = BuildMI(MBB, MI, DL, get(ARM::tPUSH));
Evan Cheng4b322e52009-08-11 21:11:32 +0000159 AddDefaultPred(MIB);
Evan Cheng89259792009-10-02 05:03:07 +0000160 MIB.addReg(0); // No write back.
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000161 for (unsigned i = CSI.size(); i != 0; --i) {
162 unsigned Reg = CSI[i-1].getReg();
163 // Add the callee-saved register as live-in. It's killed at the spill.
164 MBB.addLiveIn(Reg);
165 MIB.addReg(Reg, RegState::Kill);
166 }
167 return true;
168}
169
David Goodwinb50ea5c2009-07-02 22:18:33 +0000170bool Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000171restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
172 MachineBasicBlock::iterator MI,
173 const std::vector<CalleeSavedInfo> &CSI) const {
174 MachineFunction &MF = *MBB.getParent();
175 ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
176 if (CSI.empty())
177 return false;
178
179 bool isVarArg = AFI->getVarArgsRegSaveSize() > 0;
Evan Cheng4b322e52009-08-11 21:11:32 +0000180 DebugLoc DL = MI->getDebugLoc();
181 MachineInstrBuilder MIB = BuildMI(MF, DL, get(ARM::tPOP));
182 AddDefaultPred(MIB);
Evan Cheng10469f82009-10-01 20:54:53 +0000183 MIB.addReg(0); // No write back.
Evan Cheng4b322e52009-08-11 21:11:32 +0000184
185 bool NumRegs = 0;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000186 for (unsigned i = CSI.size(); i != 0; --i) {
187 unsigned Reg = CSI[i-1].getReg();
188 if (Reg == ARM::LR) {
189 // Special epilogue for vararg functions. See emitEpilogue
190 if (isVarArg)
191 continue;
192 Reg = ARM::PC;
Evan Cheng4b322e52009-08-11 21:11:32 +0000193 (*MIB).setDesc(get(ARM::tPOP_RET));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000194 MI = MBB.erase(MI);
195 }
Evan Cheng4b322e52009-08-11 21:11:32 +0000196 MIB.addReg(Reg, getDefRegState(true));
197 ++NumRegs;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000198 }
199
200 // It's illegal to emit pop instruction without operands.
Evan Cheng4b322e52009-08-11 21:11:32 +0000201 if (NumRegs)
202 MBB.insert(MI, &*MIB);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000203
204 return true;
205}
206
David Goodwinb50ea5c2009-07-02 22:18:33 +0000207MachineInstr *Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000208foldMemoryOperandImpl(MachineFunction &MF, MachineInstr *MI,
209 const SmallVectorImpl<unsigned> &Ops, int FI) const {
210 if (Ops.size() != 1) return NULL;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000211
212 unsigned OpNum = Ops[0];
213 unsigned Opc = MI->getOpcode();
214 MachineInstr *NewMI = NULL;
215 switch (Opc) {
216 default: break;
217 case ARM::tMOVr:
Evan Chengd8336062009-07-26 23:59:01 +0000218 case ARM::tMOVtgpr2gpr:
219 case ARM::tMOVgpr2tgpr:
220 case ARM::tMOVgpr2gpr: {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000221 if (OpNum == 0) { // move -> store
222 unsigned SrcReg = MI->getOperand(1).getReg();
223 bool isKill = MI->getOperand(1).isKill();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000224 if (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
225 !isARMLowRegister(SrcReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000226 // tSpill cannot take a high register operand.
227 break;
Evan Cheng446c4282009-07-11 06:43:01 +0000228 NewMI = AddDefaultPred(BuildMI(MF, MI->getDebugLoc(), get(ARM::tSpill))
229 .addReg(SrcReg, getKillRegState(isKill))
230 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000231 } else { // move -> load
232 unsigned DstReg = MI->getOperand(0).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000233 if (TargetRegisterInfo::isPhysicalRegister(DstReg) &&
234 !isARMLowRegister(DstReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000235 // tRestore cannot target a high register operand.
236 break;
237 bool isDead = MI->getOperand(0).isDead();
Evan Cheng446c4282009-07-11 06:43:01 +0000238 NewMI = AddDefaultPred(BuildMI(MF, MI->getDebugLoc(), get(ARM::tRestore))
239 .addReg(DstReg,
240 RegState::Define | getDeadRegState(isDead))
241 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000242 }
243 break;
244 }
245 }
246
247 return NewMI;
248}