blob: 6943036e457c94777abce4e8876e837cac796b08 [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"
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
Chris Lattnerd90183d2009-08-02 05:20:37 +000027Thumb1InstrInfo::Thumb1InstrInfo(const ARMSubtarget &STI) : RI(*this, STI) {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000028}
29
Evan Cheng446c4282009-07-11 06:43:01 +000030unsigned Thumb1InstrInfo::getUnindexedOpcode(unsigned Opc) const {
David Goodwin334c2642009-07-08 16:09:28 +000031 return 0;
32}
33
David Goodwin334c2642009-07-08 16:09:28 +000034bool
35Thumb1InstrInfo::BlockHasNoFallThrough(const MachineBasicBlock &MBB) const {
36 if (MBB.empty()) return false;
37
38 switch (MBB.back().getOpcode()) {
39 case ARM::tBX_RET:
40 case ARM::tBX_RET_vararg:
41 case ARM::tPOP_RET:
42 case ARM::tB:
Bob Wilson8d4de5a2009-10-28 18:26:41 +000043 case ARM::tBRIND:
David Goodwin334c2642009-07-08 16:09:28 +000044 case ARM::tBR_JTr:
45 return true;
46 default:
47 break;
48 }
49
50 return false;
51}
52
David Goodwinb50ea5c2009-07-02 22:18:33 +000053bool Thumb1InstrInfo::copyRegToReg(MachineBasicBlock &MBB,
54 MachineBasicBlock::iterator I,
55 unsigned DestReg, unsigned SrcReg,
56 const TargetRegisterClass *DestRC,
57 const TargetRegisterClass *SrcRC) const {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000058 DebugLoc DL = DebugLoc::getUnknownLoc();
59 if (I != MBB.end()) DL = I->getDebugLoc();
60
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000061 if (DestRC == ARM::GPRRegisterClass) {
62 if (SrcRC == ARM::GPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000063 BuildMI(MBB, I, DL, get(ARM::tMOVgpr2gpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000064 return true;
65 } else if (SrcRC == ARM::tGPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000066 BuildMI(MBB, I, DL, get(ARM::tMOVtgpr2gpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000067 return true;
68 }
69 } else if (DestRC == ARM::tGPRRegisterClass) {
70 if (SrcRC == ARM::GPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000071 BuildMI(MBB, I, DL, get(ARM::tMOVgpr2tgpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000072 return true;
73 } else if (SrcRC == ARM::tGPRRegisterClass) {
74 BuildMI(MBB, I, DL, get(ARM::tMOVr), DestReg).addReg(SrcReg);
75 return true;
76 }
77 }
78
79 return false;
80}
81
David Goodwinb50ea5c2009-07-02 22:18:33 +000082bool Thumb1InstrInfo::
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000083canFoldMemoryOperand(const MachineInstr *MI,
84 const SmallVectorImpl<unsigned> &Ops) const {
85 if (Ops.size() != 1) return false;
86
87 unsigned OpNum = Ops[0];
88 unsigned Opc = MI->getOpcode();
89 switch (Opc) {
90 default: break;
91 case ARM::tMOVr:
Evan Chengd8336062009-07-26 23:59:01 +000092 case ARM::tMOVtgpr2gpr:
93 case ARM::tMOVgpr2tgpr:
94 case ARM::tMOVgpr2gpr: {
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000095 if (OpNum == 0) { // move -> store
96 unsigned SrcReg = MI->getOperand(1).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +000097 if (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
98 !isARMLowRegister(SrcReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000099 // tSpill cannot take a high register operand.
100 return false;
101 } else { // move -> load
102 unsigned DstReg = MI->getOperand(0).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000103 if (TargetRegisterInfo::isPhysicalRegister(DstReg) &&
104 !isARMLowRegister(DstReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +0000105 // tRestore cannot target a high register operand.
106 return false;
107 }
108 return true;
109 }
110 }
111
112 return false;
113}
114
David Goodwinb50ea5c2009-07-02 22:18:33 +0000115void Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000116storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
117 unsigned SrcReg, bool isKill, int FI,
118 const TargetRegisterClass *RC) const {
119 DebugLoc DL = DebugLoc::getUnknownLoc();
120 if (I != MBB.end()) DL = I->getDebugLoc();
121
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000122 assert((RC == ARM::tGPRRegisterClass ||
123 (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
124 isARMLowRegister(SrcReg))) && "Unknown regclass!");
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000125
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000126 if (RC == ARM::tGPRRegisterClass) {
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000127 MachineFunction &MF = *MBB.getParent();
128 MachineFrameInfo &MFI = *MF.getFrameInfo();
129 MachineMemOperand *MMO =
130 MF.getMachineMemOperand(PseudoSourceValue::getFixedStack(FI),
131 MachineMemOperand::MOStore, 0,
132 MFI.getObjectSize(FI),
133 MFI.getObjectAlignment(FI));
Evan Cheng446c4282009-07-11 06:43:01 +0000134 AddDefaultPred(BuildMI(MBB, I, DL, get(ARM::tSpill))
135 .addReg(SrcReg, getKillRegState(isKill))
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000136 .addFrameIndex(FI).addImm(0).addMemOperand(MMO));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000137 }
138}
139
David Goodwinb50ea5c2009-07-02 22:18:33 +0000140void Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000141loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
142 unsigned DestReg, int FI,
143 const TargetRegisterClass *RC) const {
144 DebugLoc DL = DebugLoc::getUnknownLoc();
145 if (I != MBB.end()) DL = I->getDebugLoc();
146
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000147 assert((RC == ARM::tGPRRegisterClass ||
148 (TargetRegisterInfo::isPhysicalRegister(DestReg) &&
149 isARMLowRegister(DestReg))) && "Unknown regclass!");
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000150
151 if (RC == ARM::tGPRRegisterClass) {
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000152 MachineFunction &MF = *MBB.getParent();
153 MachineFrameInfo &MFI = *MF.getFrameInfo();
154 MachineMemOperand *MMO =
155 MF.getMachineMemOperand(PseudoSourceValue::getFixedStack(FI),
156 MachineMemOperand::MOLoad, 0,
157 MFI.getObjectSize(FI),
158 MFI.getObjectAlignment(FI));
Evan Cheng446c4282009-07-11 06:43:01 +0000159 AddDefaultPred(BuildMI(MBB, I, DL, get(ARM::tRestore), DestReg)
Evan Chenge3ce8aa2009-11-01 22:04:35 +0000160 .addFrameIndex(FI).addImm(0).addMemOperand(MMO));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000161 }
162}
163
David Goodwinb50ea5c2009-07-02 22:18:33 +0000164bool Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000165spillCalleeSavedRegisters(MachineBasicBlock &MBB,
166 MachineBasicBlock::iterator MI,
167 const std::vector<CalleeSavedInfo> &CSI) const {
168 if (CSI.empty())
169 return false;
170
171 DebugLoc DL = DebugLoc::getUnknownLoc();
172 if (MI != MBB.end()) DL = MI->getDebugLoc();
173
174 MachineInstrBuilder MIB = BuildMI(MBB, MI, DL, get(ARM::tPUSH));
Evan Cheng4b322e52009-08-11 21:11:32 +0000175 AddDefaultPred(MIB);
Evan Cheng89259792009-10-02 05:03:07 +0000176 MIB.addReg(0); // No write back.
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000177 for (unsigned i = CSI.size(); i != 0; --i) {
178 unsigned Reg = CSI[i-1].getReg();
179 // Add the callee-saved register as live-in. It's killed at the spill.
180 MBB.addLiveIn(Reg);
181 MIB.addReg(Reg, RegState::Kill);
182 }
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,
189 const std::vector<CalleeSavedInfo> &CSI) const {
190 MachineFunction &MF = *MBB.getParent();
191 ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
192 if (CSI.empty())
193 return false;
194
195 bool isVarArg = AFI->getVarArgsRegSaveSize() > 0;
Evan Cheng4b322e52009-08-11 21:11:32 +0000196 DebugLoc DL = MI->getDebugLoc();
197 MachineInstrBuilder MIB = BuildMI(MF, DL, get(ARM::tPOP));
198 AddDefaultPred(MIB);
Evan Cheng10469f82009-10-01 20:54:53 +0000199 MIB.addReg(0); // No write back.
Evan Cheng4b322e52009-08-11 21:11:32 +0000200
201 bool NumRegs = 0;
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));
213 ++NumRegs;
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);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000219
220 return true;
221}
222
David Goodwinb50ea5c2009-07-02 22:18:33 +0000223MachineInstr *Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000224foldMemoryOperandImpl(MachineFunction &MF, MachineInstr *MI,
225 const SmallVectorImpl<unsigned> &Ops, int FI) const {
226 if (Ops.size() != 1) return NULL;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000227
228 unsigned OpNum = Ops[0];
229 unsigned Opc = MI->getOpcode();
230 MachineInstr *NewMI = NULL;
231 switch (Opc) {
232 default: break;
233 case ARM::tMOVr:
Evan Chengd8336062009-07-26 23:59:01 +0000234 case ARM::tMOVtgpr2gpr:
235 case ARM::tMOVgpr2tgpr:
236 case ARM::tMOVgpr2gpr: {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000237 if (OpNum == 0) { // move -> store
238 unsigned SrcReg = MI->getOperand(1).getReg();
239 bool isKill = MI->getOperand(1).isKill();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000240 if (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
241 !isARMLowRegister(SrcReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000242 // tSpill cannot take a high register operand.
243 break;
Evan Cheng446c4282009-07-11 06:43:01 +0000244 NewMI = AddDefaultPred(BuildMI(MF, MI->getDebugLoc(), get(ARM::tSpill))
245 .addReg(SrcReg, getKillRegState(isKill))
246 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000247 } else { // move -> load
248 unsigned DstReg = MI->getOperand(0).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000249 if (TargetRegisterInfo::isPhysicalRegister(DstReg) &&
250 !isARMLowRegister(DstReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000251 // tRestore cannot target a high register operand.
252 break;
253 bool isDead = MI->getOperand(0).isDead();
Evan Cheng446c4282009-07-11 06:43:01 +0000254 NewMI = AddDefaultPred(BuildMI(MF, MI->getDebugLoc(), get(ARM::tRestore))
255 .addReg(DstReg,
256 RegState::Define | getDeadRegState(isDead))
257 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000258 }
259 break;
260 }
261 }
262
263 return NewMI;
264}