blob: 7eed30edf25c33e739798ca0b74eae10b668ab97 [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:
41 case ARM::tBR_JTr:
42 return true;
43 default:
44 break;
45 }
46
47 return false;
48}
49
David Goodwinb50ea5c2009-07-02 22:18:33 +000050bool Thumb1InstrInfo::copyRegToReg(MachineBasicBlock &MBB,
51 MachineBasicBlock::iterator I,
52 unsigned DestReg, unsigned SrcReg,
53 const TargetRegisterClass *DestRC,
54 const TargetRegisterClass *SrcRC) const {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000055 DebugLoc DL = DebugLoc::getUnknownLoc();
56 if (I != MBB.end()) DL = I->getDebugLoc();
57
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000058 if (DestRC == ARM::GPRRegisterClass) {
59 if (SrcRC == ARM::GPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000060 BuildMI(MBB, I, DL, get(ARM::tMOVgpr2gpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000061 return true;
62 } else if (SrcRC == ARM::tGPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000063 BuildMI(MBB, I, DL, get(ARM::tMOVtgpr2gpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000064 return true;
65 }
66 } else if (DestRC == ARM::tGPRRegisterClass) {
67 if (SrcRC == ARM::GPRRegisterClass) {
Evan Chengd8336062009-07-26 23:59:01 +000068 BuildMI(MBB, I, DL, get(ARM::tMOVgpr2tgpr), DestReg).addReg(SrcReg);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +000069 return true;
70 } else if (SrcRC == ARM::tGPRRegisterClass) {
71 BuildMI(MBB, I, DL, get(ARM::tMOVr), DestReg).addReg(SrcReg);
72 return true;
73 }
74 }
75
76 return false;
77}
78
David Goodwinb50ea5c2009-07-02 22:18:33 +000079bool Thumb1InstrInfo::
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000080canFoldMemoryOperand(const MachineInstr *MI,
81 const SmallVectorImpl<unsigned> &Ops) const {
82 if (Ops.size() != 1) return false;
83
84 unsigned OpNum = Ops[0];
85 unsigned Opc = MI->getOpcode();
86 switch (Opc) {
87 default: break;
88 case ARM::tMOVr:
Evan Chengd8336062009-07-26 23:59:01 +000089 case ARM::tMOVtgpr2gpr:
90 case ARM::tMOVgpr2tgpr:
91 case ARM::tMOVgpr2gpr: {
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000092 if (OpNum == 0) { // move -> store
93 unsigned SrcReg = MI->getOperand(1).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +000094 if (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
95 !isARMLowRegister(SrcReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +000096 // tSpill cannot take a high register operand.
97 return false;
98 } else { // move -> load
99 unsigned DstReg = MI->getOperand(0).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000100 if (TargetRegisterInfo::isPhysicalRegister(DstReg) &&
101 !isARMLowRegister(DstReg))
Anton Korobeynikova98cbc52009-06-27 12:16:40 +0000102 // tRestore cannot target a high register operand.
103 return false;
104 }
105 return true;
106 }
107 }
108
109 return false;
110}
111
David Goodwinb50ea5c2009-07-02 22:18:33 +0000112void Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000113storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
114 unsigned SrcReg, bool isKill, int FI,
115 const TargetRegisterClass *RC) const {
116 DebugLoc DL = DebugLoc::getUnknownLoc();
117 if (I != MBB.end()) DL = I->getDebugLoc();
118
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000119 assert((RC == ARM::tGPRRegisterClass ||
120 (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
121 isARMLowRegister(SrcReg))) && "Unknown regclass!");
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000122
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000123 if (RC == ARM::tGPRRegisterClass) {
Evan Cheng446c4282009-07-11 06:43:01 +0000124 AddDefaultPred(BuildMI(MBB, I, DL, get(ARM::tSpill))
125 .addReg(SrcReg, getKillRegState(isKill))
126 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000127 }
128}
129
David Goodwinb50ea5c2009-07-02 22:18:33 +0000130void Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000131loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
132 unsigned DestReg, int FI,
133 const TargetRegisterClass *RC) const {
134 DebugLoc DL = DebugLoc::getUnknownLoc();
135 if (I != MBB.end()) DL = I->getDebugLoc();
136
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000137 assert((RC == ARM::tGPRRegisterClass ||
138 (TargetRegisterInfo::isPhysicalRegister(DestReg) &&
139 isARMLowRegister(DestReg))) && "Unknown regclass!");
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000140
141 if (RC == ARM::tGPRRegisterClass) {
Evan Cheng446c4282009-07-11 06:43:01 +0000142 AddDefaultPred(BuildMI(MBB, I, DL, get(ARM::tRestore), DestReg)
143 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000144 }
145}
146
David Goodwinb50ea5c2009-07-02 22:18:33 +0000147bool Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000148spillCalleeSavedRegisters(MachineBasicBlock &MBB,
149 MachineBasicBlock::iterator MI,
150 const std::vector<CalleeSavedInfo> &CSI) const {
151 if (CSI.empty())
152 return false;
153
154 DebugLoc DL = DebugLoc::getUnknownLoc();
155 if (MI != MBB.end()) DL = MI->getDebugLoc();
156
157 MachineInstrBuilder MIB = BuildMI(MBB, MI, DL, get(ARM::tPUSH));
Evan Cheng4b322e52009-08-11 21:11:32 +0000158 AddDefaultPred(MIB);
Evan Cheng89259792009-10-02 05:03:07 +0000159 MIB.addReg(0); // No write back.
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000160 for (unsigned i = CSI.size(); i != 0; --i) {
161 unsigned Reg = CSI[i-1].getReg();
162 // Add the callee-saved register as live-in. It's killed at the spill.
163 MBB.addLiveIn(Reg);
164 MIB.addReg(Reg, RegState::Kill);
165 }
166 return true;
167}
168
David Goodwinb50ea5c2009-07-02 22:18:33 +0000169bool Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000170restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
171 MachineBasicBlock::iterator MI,
172 const std::vector<CalleeSavedInfo> &CSI) const {
173 MachineFunction &MF = *MBB.getParent();
174 ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
175 if (CSI.empty())
176 return false;
177
178 bool isVarArg = AFI->getVarArgsRegSaveSize() > 0;
Evan Cheng4b322e52009-08-11 21:11:32 +0000179 DebugLoc DL = MI->getDebugLoc();
180 MachineInstrBuilder MIB = BuildMI(MF, DL, get(ARM::tPOP));
181 AddDefaultPred(MIB);
Evan Cheng10469f82009-10-01 20:54:53 +0000182 MIB.addReg(0); // No write back.
Evan Cheng4b322e52009-08-11 21:11:32 +0000183
184 bool NumRegs = 0;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000185 for (unsigned i = CSI.size(); i != 0; --i) {
186 unsigned Reg = CSI[i-1].getReg();
187 if (Reg == ARM::LR) {
188 // Special epilogue for vararg functions. See emitEpilogue
189 if (isVarArg)
190 continue;
191 Reg = ARM::PC;
Evan Cheng4b322e52009-08-11 21:11:32 +0000192 (*MIB).setDesc(get(ARM::tPOP_RET));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000193 MI = MBB.erase(MI);
194 }
Evan Cheng4b322e52009-08-11 21:11:32 +0000195 MIB.addReg(Reg, getDefRegState(true));
196 ++NumRegs;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000197 }
198
199 // It's illegal to emit pop instruction without operands.
Evan Cheng4b322e52009-08-11 21:11:32 +0000200 if (NumRegs)
201 MBB.insert(MI, &*MIB);
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000202
203 return true;
204}
205
David Goodwinb50ea5c2009-07-02 22:18:33 +0000206MachineInstr *Thumb1InstrInfo::
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000207foldMemoryOperandImpl(MachineFunction &MF, MachineInstr *MI,
208 const SmallVectorImpl<unsigned> &Ops, int FI) const {
209 if (Ops.size() != 1) return NULL;
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000210
211 unsigned OpNum = Ops[0];
212 unsigned Opc = MI->getOpcode();
213 MachineInstr *NewMI = NULL;
214 switch (Opc) {
215 default: break;
216 case ARM::tMOVr:
Evan Chengd8336062009-07-26 23:59:01 +0000217 case ARM::tMOVtgpr2gpr:
218 case ARM::tMOVgpr2tgpr:
219 case ARM::tMOVgpr2gpr: {
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000220 if (OpNum == 0) { // move -> store
221 unsigned SrcReg = MI->getOperand(1).getReg();
222 bool isKill = MI->getOperand(1).isKill();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000223 if (TargetRegisterInfo::isPhysicalRegister(SrcReg) &&
224 !isARMLowRegister(SrcReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000225 // tSpill cannot take a high register operand.
226 break;
Evan Cheng446c4282009-07-11 06:43:01 +0000227 NewMI = AddDefaultPred(BuildMI(MF, MI->getDebugLoc(), get(ARM::tSpill))
228 .addReg(SrcReg, getKillRegState(isKill))
229 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000230 } else { // move -> load
231 unsigned DstReg = MI->getOperand(0).getReg();
Evan Cheng86e5f7b2009-08-13 05:40:51 +0000232 if (TargetRegisterInfo::isPhysicalRegister(DstReg) &&
233 !isARMLowRegister(DstReg))
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000234 // tRestore cannot target a high register operand.
235 break;
236 bool isDead = MI->getOperand(0).isDead();
Evan Cheng446c4282009-07-11 06:43:01 +0000237 NewMI = AddDefaultPred(BuildMI(MF, MI->getDebugLoc(), get(ARM::tRestore))
238 .addReg(DstReg,
239 RegState::Define | getDeadRegState(isDead))
240 .addFrameIndex(FI).addImm(0));
Anton Korobeynikovd49ea772009-06-26 21:28:53 +0000241 }
242 break;
243 }
244 }
245
246 return NewMI;
247}