blob: fae84d4ee0228ca9fc01737f229d3d1dc1ca643d [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"
16#include "ARMGenInstrInfo.inc"
17#include "ARMMachineFunctionInfo.h"
18#include "llvm/CodeGen/MachineFrameInfo.h"
19#include "llvm/CodeGen/MachineInstrBuilder.h"
Evan Cheng2457f2c2010-05-22 01:47:14 +000020#include "llvm/CodeGen/MachineRegisterInfo.h"
Evan Chenge3ce8aa2009-11-01 22:04:35 +000021#include "llvm/CodeGen/MachineMemOperand.h"
22#include "llvm/CodeGen/PseudoSourceValue.h"
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000023#include "llvm/ADT/SmallVector.h"
David Goodwinb50ea5c2009-07-02 22:18:33 +000024#include "Thumb1InstrInfo.h"
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000025
26using namespace llvm;
27
Anton Korobeynikovf95215f2009-11-02 00:10:38 +000028Thumb1InstrInfo::Thumb1InstrInfo(const ARMSubtarget &STI)
29 : ARMBaseInstrInfo(STI), RI(*this, STI) {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000030}
31
Evan Cheng446c4282009-07-11 06:43:01 +000032unsigned Thumb1InstrInfo::getUnindexedOpcode(unsigned Opc) const {
David Goodwin334c2642009-07-08 16:09:28 +000033 return 0;
34}
35
David Goodwinb50ea5c2009-07-02 22:18:33 +000036bool Thumb1InstrInfo::copyRegToReg(MachineBasicBlock &MBB,
37 MachineBasicBlock::iterator I,
38 unsigned DestReg, unsigned SrcReg,
39 const TargetRegisterClass *DestRC,
Dan Gohman34dcc6f2010-05-06 20:33:48 +000040 const TargetRegisterClass *SrcRC,
41 DebugLoc DL) const {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000042 if (DestRC == ARM::GPRRegisterClass) {
43 if (SrcRC == ARM::GPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000044 BuildMI(MBB, I, DL, get(ARM::tMOVgpr2gpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000045 return true;
46 } else if (SrcRC == ARM::tGPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000047 BuildMI(MBB, I, DL, get(ARM::tMOVtgpr2gpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000048 return true;
49 }
50 } else if (DestRC == ARM::tGPRRegisterClass) {
51 if (SrcRC == ARM::GPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000052 BuildMI(MBB, I, DL, get(ARM::tMOVgpr2tgpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000053 return true;
54 } else if (SrcRC == ARM::tGPRRegisterClass) {
55 BuildMI(MBB, I, DL, get(ARM::tMOVr), DestReg).addReg(SrcReg);
56 return true;
57 }
58 }
59
60 return false;
61}
62
David Goodwinb50ea5c2009-07-02 22:18:33 +000063bool Thumb1InstrInfo::
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000064canFoldMemoryOperand(const MachineInstr *MI,
65 const SmallVectorImpl<unsigned> &Ops) const {
66 if (Ops.size() != 1) return false;
67
68 unsigned OpNum = Ops[0];
69 unsigned Opc = MI->getOpcode();
70 switch (Opc) {
71 default: break;
72 case ARM::tMOVr:
Evan Chengd8336062009-07-26 23:59:01 +000073 case ARM::tMOVtgpr2gpr:
74 case ARM::tMOVgpr2tgpr:
75 case ARM::tMOVgpr2gpr: {
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000076 if (OpNum == 0) { // move -> store
77 unsigned SrcReg = MI->getOperand(1).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +000078 if (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
79 !isARMLowRegister(SrcReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000080 // tSpill cannot take a high register operand.
81 return false;
82 } else { // move -> load
83 unsigned DstReg = MI->getOperand(0).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +000084 if (TargetRegisterInfo::isPhysicalRegister(DstReg) &&
85 !isARMLowRegister(DstReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000086 // tRestore cannot target a high register operand.
87 return false;
88 }
89 return true;
90 }
91 }
92
93 return false;
94}
95
David Goodwinb50ea5c2009-07-02 22:18:33 +000096void Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000097storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
98 unsigned SrcReg, bool isKill, int FI,
Evan Cheng746ad692010-05-06 19:06:44 +000099 const TargetRegisterClass *RC,
100 const TargetRegisterInfo *TRI) const {
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000101 assert((RC == ARM::tGPRRegisterClass ||
102 (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
103 isARMLowRegister(SrcReg))) && "Unknown regclass!");
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000104
Jim Grosbach98793b92010-01-15 22:21:03 +0000105 if (RC == ARM::tGPRRegisterClass ||
106 (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
107 isARMLowRegister(SrcReg))) {
Evan Cheng746ad692010-05-06 19:06:44 +0000108 DebugLoc DL;
109 if (I != MBB.end()) DL = I->getDebugLoc();
110
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000111 MachineFunction &MF = *MBB.getParent();
112 MachineFrameInfo &MFI = *MF.getFrameInfo();
113 MachineMemOperand *MMO =
114 MF.getMachineMemOperand(PseudoSourceValue::getFixedStack(FI),
115 MachineMemOperand::MOStore, 0,
116 MFI.getObjectSize(FI),
117 MFI.getObjectAlignment(FI));
Evan Cheng446c4282009-07-11 06:43:01 +0000118 AddDefaultPred(BuildMI(MBB, I, DL, get(ARM::tSpill))
119 .addReg(SrcReg, getKillRegState(isKill))
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000120 .addFrameIndex(FI).addImm(0).addMemOperand(MMO));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000121 }
122}
123
David Goodwinb50ea5c2009-07-02 22:18:33 +0000124void Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000125loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
126 unsigned DestReg, int FI,
Evan Cheng746ad692010-05-06 19:06:44 +0000127 const TargetRegisterClass *RC,
128 const TargetRegisterInfo *TRI) const {
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000129 assert((RC == ARM::tGPRRegisterClass ||
130 (TargetRegisterInfo::isPhysicalRegister(DestReg) &&
131 isARMLowRegister(DestReg))) && "Unknown regclass!");
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000132
Jim Grosbach98793b92010-01-15 22:21:03 +0000133 if (RC == ARM::tGPRRegisterClass ||
134 (TargetRegisterInfo::isPhysicalRegister(DestReg) &&
135 isARMLowRegister(DestReg))) {
Evan Cheng746ad692010-05-06 19:06:44 +0000136 DebugLoc DL;
137 if (I != MBB.end()) DL = I->getDebugLoc();
138
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000139 MachineFunction &MF = *MBB.getParent();
140 MachineFrameInfo &MFI = *MF.getFrameInfo();
141 MachineMemOperand *MMO =
142 MF.getMachineMemOperand(PseudoSourceValue::getFixedStack(FI),
143 MachineMemOperand::MOLoad, 0,
144 MFI.getObjectSize(FI),
145 MFI.getObjectAlignment(FI));
Evan Cheng446c4282009-07-11 06:43:01 +0000146 AddDefaultPred(BuildMI(MBB, I, DL, get(ARM::tRestore), DestReg)
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000147 .addFrameIndex(FI).addImm(0).addMemOperand(MMO));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000148 }
149}
150
David Goodwinb50ea5c2009-07-02 22:18:33 +0000151bool Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000152spillCalleeSavedRegisters(MachineBasicBlock &MBB,
153 MachineBasicBlock::iterator MI,
Evan Cheng2457f2c2010-05-22 01:47:14 +0000154 const std::vector<CalleeSavedInfo> &CSI,
155 const TargetRegisterInfo *TRI) const {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000156 if (CSI.empty())
157 return false;
158
Chris Lattnerc7f3ace2010-04-02 20:16:16 +0000159 DebugLoc DL;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000160 if (MI != MBB.end()) DL = MI->getDebugLoc();
161
162 MachineInstrBuilder MIB = BuildMI(MBB, MI, DL, get(ARM::tPUSH));
Evan Cheng4b322e52009-08-11 21:11:32 +0000163 AddDefaultPred(MIB);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000164 for (unsigned i = CSI.size(); i != 0; --i) {
165 unsigned Reg = CSI[i-1].getReg();
Evan Cheng2457f2c2010-05-22 01:47:14 +0000166 bool isKill = true;
167
168 // Add the callee-saved register as live-in unless it's LR and
169 // @llvm.returnaddress is called. If LR is returned for @llvm.returnaddress
170 // then it's already added to the function and entry block live-in sets.
171 if (Reg == ARM::LR) {
172 MachineFunction &MF = *MBB.getParent();
173 if (MF.getFrameInfo()->isReturnAddressTaken() &&
174 MF.getRegInfo().isLiveIn(Reg))
175 isKill = false;
176 }
177
178 if (isKill) {
179 MBB.addLiveIn(Reg);
180 MIB.addReg(Reg, RegState::Kill);
181 }
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000182 }
183 return true;
184}
185
David Goodwinb50ea5c2009-07-02 22:18:33 +0000186bool Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000187restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
188 MachineBasicBlock::iterator MI,
Evan Cheng2457f2c2010-05-22 01:47:14 +0000189 const std::vector<CalleeSavedInfo> &CSI,
190 const TargetRegisterInfo *TRI) const {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000191 MachineFunction &MF = *MBB.getParent();
192 ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
193 if (CSI.empty())
194 return false;
195
196 bool isVarArg = AFI->getVarArgsRegSaveSize() > 0;
Evan Cheng4b322e52009-08-11 21:11:32 +0000197 DebugLoc DL = MI->getDebugLoc();
198 MachineInstrBuilder MIB = BuildMI(MF, DL, get(ARM::tPOP));
199 AddDefaultPred(MIB);
200
John McCall6eeccd42009-12-16 20:31:50 +0000201 bool NumRegs = false;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000202 for (unsigned i = CSI.size(); i != 0; --i) {
203 unsigned Reg = CSI[i-1].getReg();
204 if (Reg == ARM::LR) {
205 // Special epilogue for vararg functions. See emitEpilogue
206 if (isVarArg)
207 continue;
208 Reg = ARM::PC;
Evan Cheng4b322e52009-08-11 21:11:32 +0000209 (*MIB).setDesc(get(ARM::tPOP_RET));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000210 MI = MBB.erase(MI);
211 }
Evan Cheng4b322e52009-08-11 21:11:32 +0000212 MIB.addReg(Reg, getDefRegState(true));
John McCall6eeccd42009-12-16 20:31:50 +0000213 NumRegs = true;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000214 }
215
216 // It's illegal to emit pop instruction without operands.
Evan Cheng4b322e52009-08-11 21:11:32 +0000217 if (NumRegs)
218 MBB.insert(MI, &*MIB);
Jeffrey Yasskinfa723402010-03-22 16:13:21 +0000219 else
220 MF.DeleteMachineInstr(MIB);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000221
222 return true;
223}
224
David Goodwinb50ea5c2009-07-02 22:18:33 +0000225MachineInstr *Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000226foldMemoryOperandImpl(MachineFunction &MF, MachineInstr *MI,
227 const SmallVectorImpl<unsigned> &Ops, int FI) const {
228 if (Ops.size() != 1) return NULL;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000229
230 unsigned OpNum = Ops[0];
231 unsigned Opc = MI->getOpcode();
232 MachineInstr *NewMI = NULL;
233 switch (Opc) {
234 default: break;
235 case ARM::tMOVr:
Evan Chengd8336062009-07-26 23:59:01 +0000236 case ARM::tMOVtgpr2gpr:
237 case ARM::tMOVgpr2tgpr:
238 case ARM::tMOVgpr2gpr: {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000239 if (OpNum == 0) { // move -> store
240 unsigned SrcReg = MI->getOperand(1).getReg();
241 bool isKill = MI->getOperand(1).isKill();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000242 if (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
243 !isARMLowRegister(SrcReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000244 // tSpill cannot take a high register operand.
245 break;
Evan Cheng446c4282009-07-11 06:43:01 +0000246 NewMI = AddDefaultPred(BuildMI(MF, MI->getDebugLoc(), get(ARM::tSpill))
247 .addReg(SrcReg, getKillRegState(isKill))
248 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000249 } else { // move -> load
250 unsigned DstReg = MI->getOperand(0).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000251 if (TargetRegisterInfo::isPhysicalRegister(DstReg) &&
252 !isARMLowRegister(DstReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000253 // tRestore cannot target a high register operand.
254 break;
255 bool isDead = MI->getOperand(0).isDead();
Evan Cheng446c4282009-07-11 06:43:01 +0000256 NewMI = AddDefaultPred(BuildMI(MF, MI->getDebugLoc(), get(ARM::tRestore))
257 .addReg(DstReg,
258 RegState::Define | getDeadRegState(isDead))
259 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000260 }
261 break;
262 }
263 }
264
265 return NewMI;
266}