blob: 613b74689ffd36f1ed4c3bbf3cf4236f814e1ce4 [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 Chenge3ce8aa2009-11-01 22:04:35 +000020#include "llvm/CodeGen/MachineMemOperand.h"
21#include "llvm/CodeGen/PseudoSourceValue.h"
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000022#include "llvm/ADT/SmallVector.h"
David Goodwinb50ea5c2009-07-02 22:18:33 +000023#include "Thumb1InstrInfo.h"
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000024
25using namespace llvm;
26
Anton Korobeynikovf95215f2009-11-02 00:10:38 +000027Thumb1InstrInfo::Thumb1InstrInfo(const ARMSubtarget &STI)
28 : ARMBaseInstrInfo(STI), RI(*this, STI) {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000029}
30
Evan Cheng446c4282009-07-11 06:43:01 +000031unsigned Thumb1InstrInfo::getUnindexedOpcode(unsigned Opc) const {
David Goodwin334c2642009-07-08 16:09:28 +000032 return 0;
33}
34
David Goodwinb50ea5c2009-07-02 22:18:33 +000035bool Thumb1InstrInfo::copyRegToReg(MachineBasicBlock &MBB,
36 MachineBasicBlock::iterator I,
37 unsigned DestReg, unsigned SrcReg,
38 const TargetRegisterClass *DestRC,
39 const TargetRegisterClass *SrcRC) const {
Chris Lattnerc7f3ace2010-04-02 20:16:16 +000040 DebugLoc DL;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000041 if (I != MBB.end()) DL = I->getDebugLoc();
42
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000043 if (DestRC == ARM::GPRRegisterClass) {
44 if (SrcRC == ARM::GPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000045 BuildMI(MBB, I, DL, get(ARM::tMOVgpr2gpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000046 return true;
47 } else if (SrcRC == ARM::tGPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000048 BuildMI(MBB, I, DL, get(ARM::tMOVtgpr2gpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000049 return true;
50 }
51 } else if (DestRC == ARM::tGPRRegisterClass) {
52 if (SrcRC == ARM::GPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000053 BuildMI(MBB, I, DL, get(ARM::tMOVgpr2tgpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000054 return true;
55 } else if (SrcRC == ARM::tGPRRegisterClass) {
56 BuildMI(MBB, I, DL, get(ARM::tMOVr), DestReg).addReg(SrcReg);
57 return true;
58 }
59 }
60
61 return false;
62}
63
David Goodwinb50ea5c2009-07-02 22:18:33 +000064bool Thumb1InstrInfo::
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000065canFoldMemoryOperand(const MachineInstr *MI,
66 const SmallVectorImpl<unsigned> &Ops) const {
67 if (Ops.size() != 1) return false;
68
69 unsigned OpNum = Ops[0];
70 unsigned Opc = MI->getOpcode();
71 switch (Opc) {
72 default: break;
73 case ARM::tMOVr:
Evan Chengd8336062009-07-26 23:59:01 +000074 case ARM::tMOVtgpr2gpr:
75 case ARM::tMOVgpr2tgpr:
76 case ARM::tMOVgpr2gpr: {
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000077 if (OpNum == 0) { // move -> store
78 unsigned SrcReg = MI->getOperand(1).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +000079 if (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
80 !isARMLowRegister(SrcReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000081 // tSpill cannot take a high register operand.
82 return false;
83 } else { // move -> load
84 unsigned DstReg = MI->getOperand(0).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +000085 if (TargetRegisterInfo::isPhysicalRegister(DstReg) &&
86 !isARMLowRegister(DstReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000087 // tRestore cannot target a high register operand.
88 return false;
89 }
90 return true;
91 }
92 }
93
94 return false;
95}
96
David Goodwinb50ea5c2009-07-02 22:18:33 +000097void Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000098storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
99 unsigned SrcReg, bool isKill, int FI,
Evan Cheng746ad692010-05-06 19:06:44 +0000100 const TargetRegisterClass *RC,
101 const TargetRegisterInfo *TRI) const {
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000102 assert((RC == ARM::tGPRRegisterClass ||
103 (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
104 isARMLowRegister(SrcReg))) && "Unknown regclass!");
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000105
Jim Grosbach98793b92010-01-15 22:21:03 +0000106 if (RC == ARM::tGPRRegisterClass ||
107 (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
108 isARMLowRegister(SrcReg))) {
Evan Cheng746ad692010-05-06 19:06:44 +0000109 DebugLoc DL;
110 if (I != MBB.end()) DL = I->getDebugLoc();
111
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000112 MachineFunction &MF = *MBB.getParent();
113 MachineFrameInfo &MFI = *MF.getFrameInfo();
114 MachineMemOperand *MMO =
115 MF.getMachineMemOperand(PseudoSourceValue::getFixedStack(FI),
116 MachineMemOperand::MOStore, 0,
117 MFI.getObjectSize(FI),
118 MFI.getObjectAlignment(FI));
Evan Cheng446c4282009-07-11 06:43:01 +0000119 AddDefaultPred(BuildMI(MBB, I, DL, get(ARM::tSpill))
120 .addReg(SrcReg, getKillRegState(isKill))
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000121 .addFrameIndex(FI).addImm(0).addMemOperand(MMO));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000122 }
123}
124
David Goodwinb50ea5c2009-07-02 22:18:33 +0000125void Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000126loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
127 unsigned DestReg, int FI,
Evan Cheng746ad692010-05-06 19:06:44 +0000128 const TargetRegisterClass *RC,
129 const TargetRegisterInfo *TRI) const {
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000130 assert((RC == ARM::tGPRRegisterClass ||
131 (TargetRegisterInfo::isPhysicalRegister(DestReg) &&
132 isARMLowRegister(DestReg))) && "Unknown regclass!");
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000133
Jim Grosbach98793b92010-01-15 22:21:03 +0000134 if (RC == ARM::tGPRRegisterClass ||
135 (TargetRegisterInfo::isPhysicalRegister(DestReg) &&
136 isARMLowRegister(DestReg))) {
Evan Cheng746ad692010-05-06 19:06:44 +0000137 DebugLoc DL;
138 if (I != MBB.end()) DL = I->getDebugLoc();
139
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000140 MachineFunction &MF = *MBB.getParent();
141 MachineFrameInfo &MFI = *MF.getFrameInfo();
142 MachineMemOperand *MMO =
143 MF.getMachineMemOperand(PseudoSourceValue::getFixedStack(FI),
144 MachineMemOperand::MOLoad, 0,
145 MFI.getObjectSize(FI),
146 MFI.getObjectAlignment(FI));
Evan Cheng446c4282009-07-11 06:43:01 +0000147 AddDefaultPred(BuildMI(MBB, I, DL, get(ARM::tRestore), DestReg)
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000148 .addFrameIndex(FI).addImm(0).addMemOperand(MMO));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000149 }
150}
151
David Goodwinb50ea5c2009-07-02 22:18:33 +0000152bool Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000153spillCalleeSavedRegisters(MachineBasicBlock &MBB,
154 MachineBasicBlock::iterator MI,
155 const std::vector<CalleeSavedInfo> &CSI) const {
156 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();
166 // Add the callee-saved register as live-in. It's killed at the spill.
167 MBB.addLiveIn(Reg);
168 MIB.addReg(Reg, RegState::Kill);
169 }
170 return true;
171}
172
David Goodwinb50ea5c2009-07-02 22:18:33 +0000173bool Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000174restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
175 MachineBasicBlock::iterator MI,
176 const std::vector<CalleeSavedInfo> &CSI) const {
177 MachineFunction &MF = *MBB.getParent();
178 ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
179 if (CSI.empty())
180 return false;
181
182 bool isVarArg = AFI->getVarArgsRegSaveSize() > 0;
Evan Cheng4b322e52009-08-11 21:11:32 +0000183 DebugLoc DL = MI->getDebugLoc();
184 MachineInstrBuilder MIB = BuildMI(MF, DL, get(ARM::tPOP));
185 AddDefaultPred(MIB);
186
John McCall6eeccd42009-12-16 20:31:50 +0000187 bool NumRegs = false;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000188 for (unsigned i = CSI.size(); i != 0; --i) {
189 unsigned Reg = CSI[i-1].getReg();
190 if (Reg == ARM::LR) {
191 // Special epilogue for vararg functions. See emitEpilogue
192 if (isVarArg)
193 continue;
194 Reg = ARM::PC;
Evan Cheng4b322e52009-08-11 21:11:32 +0000195 (*MIB).setDesc(get(ARM::tPOP_RET));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000196 MI = MBB.erase(MI);
197 }
Evan Cheng4b322e52009-08-11 21:11:32 +0000198 MIB.addReg(Reg, getDefRegState(true));
John McCall6eeccd42009-12-16 20:31:50 +0000199 NumRegs = true;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000200 }
201
202 // It's illegal to emit pop instruction without operands.
Evan Cheng4b322e52009-08-11 21:11:32 +0000203 if (NumRegs)
204 MBB.insert(MI, &*MIB);
Jeffrey Yasskinfa723402010-03-22 16:13:21 +0000205 else
206 MF.DeleteMachineInstr(MIB);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000207
208 return true;
209}
210
David Goodwinb50ea5c2009-07-02 22:18:33 +0000211MachineInstr *Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000212foldMemoryOperandImpl(MachineFunction &MF, MachineInstr *MI,
213 const SmallVectorImpl<unsigned> &Ops, int FI) const {
214 if (Ops.size() != 1) return NULL;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000215
216 unsigned OpNum = Ops[0];
217 unsigned Opc = MI->getOpcode();
218 MachineInstr *NewMI = NULL;
219 switch (Opc) {
220 default: break;
221 case ARM::tMOVr:
Evan Chengd8336062009-07-26 23:59:01 +0000222 case ARM::tMOVtgpr2gpr:
223 case ARM::tMOVgpr2tgpr:
224 case ARM::tMOVgpr2gpr: {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000225 if (OpNum == 0) { // move -> store
226 unsigned SrcReg = MI->getOperand(1).getReg();
227 bool isKill = MI->getOperand(1).isKill();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000228 if (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
229 !isARMLowRegister(SrcReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000230 // tSpill cannot take a high register operand.
231 break;
Evan Cheng446c4282009-07-11 06:43:01 +0000232 NewMI = AddDefaultPred(BuildMI(MF, MI->getDebugLoc(), get(ARM::tSpill))
233 .addReg(SrcReg, getKillRegState(isKill))
234 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000235 } else { // move -> load
236 unsigned DstReg = MI->getOperand(0).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000237 if (TargetRegisterInfo::isPhysicalRegister(DstReg) &&
238 !isARMLowRegister(DstReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000239 // tRestore cannot target a high register operand.
240 break;
241 bool isDead = MI->getOperand(0).isDead();
Evan Cheng446c4282009-07-11 06:43:01 +0000242 NewMI = AddDefaultPred(BuildMI(MF, MI->getDebugLoc(), get(ARM::tRestore))
243 .addReg(DstReg,
244 RegState::Define | getDeadRegState(isDead))
245 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000246 }
247 break;
248 }
249 }
250
251 return NewMI;
252}