blob: a64768845e93c9013ef91fb49fb0ed8e8a3f09d6 [file] [log] [blame]
Eric Christopherab695882010-07-21 22:26:11 +00001//===-- ARMFastISel.cpp - ARM FastISel implementation ---------------------===//
2//
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//
10// This file defines the ARM-specific support for the FastISel class. Some
11// of the target-specific code is generated by tablegen in the file
12// ARMGenFastISel.inc, which is #included here.
13//
14//===----------------------------------------------------------------------===//
15
16#include "ARM.h"
Eric Christopher456144e2010-08-19 00:37:05 +000017#include "ARMBaseInstrInfo.h"
Eric Christopherd10cd7b2010-09-10 23:18:12 +000018#include "ARMCallingConv.h"
Eric Christopherc9932f62010-10-01 23:24:42 +000019#include "ARMConstantPoolValue.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000020#include "ARMSubtarget.h"
21#include "ARMTargetMachine.h"
Evan Chengee04a6d2011-07-20 23:34:39 +000022#include "MCTargetDesc/ARMAddressingModes.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000023#include "llvm/CodeGen/Analysis.h"
24#include "llvm/CodeGen/FastISel.h"
25#include "llvm/CodeGen/FunctionLoweringInfo.h"
26#include "llvm/CodeGen/MachineConstantPool.h"
27#include "llvm/CodeGen/MachineFrameInfo.h"
28#include "llvm/CodeGen/MachineInstrBuilder.h"
29#include "llvm/CodeGen/MachineMemOperand.h"
30#include "llvm/CodeGen/MachineModuleInfo.h"
31#include "llvm/CodeGen/MachineRegisterInfo.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000032#include "llvm/IR/CallingConv.h"
33#include "llvm/IR/DataLayout.h"
34#include "llvm/IR/DerivedTypes.h"
35#include "llvm/IR/GlobalVariable.h"
36#include "llvm/IR/Instructions.h"
37#include "llvm/IR/IntrinsicInst.h"
38#include "llvm/IR/Module.h"
39#include "llvm/IR/Operator.h"
Eric Christopherab695882010-07-21 22:26:11 +000040#include "llvm/Support/CallSite.h"
Eric Christopher038fea52010-08-17 00:46:57 +000041#include "llvm/Support/CommandLine.h"
Eric Christopherab695882010-07-21 22:26:11 +000042#include "llvm/Support/ErrorHandling.h"
43#include "llvm/Support/GetElementPtrTypeIterator.h"
Eric Christopher0fe7d542010-08-17 01:25:29 +000044#include "llvm/Target/TargetInstrInfo.h"
45#include "llvm/Target/TargetLowering.h"
46#include "llvm/Target/TargetMachine.h"
Eric Christopherab695882010-07-21 22:26:11 +000047#include "llvm/Target/TargetOptions.h"
48using namespace llvm;
49
Eric Christopher836c6242010-12-15 23:47:29 +000050extern cl::opt<bool> EnableARMLongCalls;
51
Eric Christopherab695882010-07-21 22:26:11 +000052namespace {
Eric Christopher827656d2010-11-20 22:38:27 +000053
Eric Christopher0d581222010-11-19 22:30:02 +000054 // All possible address modes, plus some.
55 typedef struct Address {
56 enum {
57 RegBase,
58 FrameIndexBase
59 } BaseType;
Eric Christopher827656d2010-11-20 22:38:27 +000060
Eric Christopher0d581222010-11-19 22:30:02 +000061 union {
62 unsigned Reg;
63 int FI;
64 } Base;
Eric Christopher827656d2010-11-20 22:38:27 +000065
Eric Christopher0d581222010-11-19 22:30:02 +000066 int Offset;
Eric Christopher827656d2010-11-20 22:38:27 +000067
Eric Christopher0d581222010-11-19 22:30:02 +000068 // Innocuous defaults for our address.
69 Address()
Jim Grosbach0c720762011-05-16 22:24:07 +000070 : BaseType(RegBase), Offset(0) {
Eric Christopher0d581222010-11-19 22:30:02 +000071 Base.Reg = 0;
72 }
73 } Address;
Eric Christopherab695882010-07-21 22:26:11 +000074
75class ARMFastISel : public FastISel {
76
77 /// Subtarget - Keep a pointer to the ARMSubtarget around so that we can
78 /// make the right decision when generating code for different targets.
79 const ARMSubtarget *Subtarget;
Eric Christopher0fe7d542010-08-17 01:25:29 +000080 const TargetMachine &TM;
81 const TargetInstrInfo &TII;
82 const TargetLowering &TLI;
Eric Christopherc9932f62010-10-01 23:24:42 +000083 ARMFunctionInfo *AFI;
Eric Christopherab695882010-07-21 22:26:11 +000084
Eric Christopher8cf6c602010-09-29 22:24:45 +000085 // Convenience variables to avoid some queries.
Chad Rosier66dc8ca2011-11-08 21:12:00 +000086 bool isThumb2;
Eric Christopher8cf6c602010-09-29 22:24:45 +000087 LLVMContext *Context;
Eric Christophereaa204b2010-09-02 01:39:14 +000088
Eric Christopherab695882010-07-21 22:26:11 +000089 public:
Bob Wilsond49edb72012-08-03 04:06:28 +000090 explicit ARMFastISel(FunctionLoweringInfo &funcInfo,
91 const TargetLibraryInfo *libInfo)
92 : FastISel(funcInfo, libInfo),
Eric Christopher0fe7d542010-08-17 01:25:29 +000093 TM(funcInfo.MF->getTarget()),
94 TII(*TM.getInstrInfo()),
95 TLI(*TM.getTargetLowering()) {
Eric Christopherab695882010-07-21 22:26:11 +000096 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Eric Christopher7fe55b72010-08-23 22:32:45 +000097 AFI = funcInfo.MF->getInfo<ARMFunctionInfo>();
Chad Rosier66dc8ca2011-11-08 21:12:00 +000098 isThumb2 = AFI->isThumbFunction();
Eric Christopher8cf6c602010-09-29 22:24:45 +000099 Context = &funcInfo.Fn->getContext();
Eric Christopherab695882010-07-21 22:26:11 +0000100 }
101
Eric Christophercb592292010-08-20 00:20:31 +0000102 // Code from FastISel.cpp.
Craig Topper35fc62b2012-08-18 21:38:45 +0000103 private:
104 unsigned FastEmitInst_(unsigned MachineInstOpcode,
105 const TargetRegisterClass *RC);
106 unsigned FastEmitInst_r(unsigned MachineInstOpcode,
107 const TargetRegisterClass *RC,
108 unsigned Op0, bool Op0IsKill);
109 unsigned FastEmitInst_rr(unsigned MachineInstOpcode,
110 const TargetRegisterClass *RC,
111 unsigned Op0, bool Op0IsKill,
112 unsigned Op1, bool Op1IsKill);
113 unsigned FastEmitInst_rrr(unsigned MachineInstOpcode,
114 const TargetRegisterClass *RC,
115 unsigned Op0, bool Op0IsKill,
116 unsigned Op1, bool Op1IsKill,
117 unsigned Op2, bool Op2IsKill);
118 unsigned FastEmitInst_ri(unsigned MachineInstOpcode,
119 const TargetRegisterClass *RC,
120 unsigned Op0, bool Op0IsKill,
121 uint64_t Imm);
122 unsigned FastEmitInst_rf(unsigned MachineInstOpcode,
123 const TargetRegisterClass *RC,
124 unsigned Op0, bool Op0IsKill,
125 const ConstantFP *FPImm);
126 unsigned FastEmitInst_rri(unsigned MachineInstOpcode,
127 const TargetRegisterClass *RC,
128 unsigned Op0, bool Op0IsKill,
129 unsigned Op1, bool Op1IsKill,
130 uint64_t Imm);
131 unsigned FastEmitInst_i(unsigned MachineInstOpcode,
132 const TargetRegisterClass *RC,
133 uint64_t Imm);
134 unsigned FastEmitInst_ii(unsigned MachineInstOpcode,
135 const TargetRegisterClass *RC,
136 uint64_t Imm1, uint64_t Imm2);
Eric Christopheraf3dce52011-03-12 01:09:29 +0000137
Craig Topper35fc62b2012-08-18 21:38:45 +0000138 unsigned FastEmitInst_extractsubreg(MVT RetVT,
139 unsigned Op0, bool Op0IsKill,
140 uint32_t Idx);
Eric Christopherac1a19e2010-09-09 01:06:51 +0000141
Eric Christophercb592292010-08-20 00:20:31 +0000142 // Backend specific FastISel code.
Craig Topper35fc62b2012-08-18 21:38:45 +0000143 private:
Eric Christopherab695882010-07-21 22:26:11 +0000144 virtual bool TargetSelectInstruction(const Instruction *I);
Eric Christopher1b61ef42010-09-02 01:48:11 +0000145 virtual unsigned TargetMaterializeConstant(const Constant *C);
Eric Christopherf9764fa2010-09-30 20:49:44 +0000146 virtual unsigned TargetMaterializeAlloca(const AllocaInst *AI);
Eli Bendersky75299e32013-04-19 22:29:18 +0000147 virtual bool tryToFoldLoadIntoMI(MachineInstr *MI, unsigned OpNo,
148 const LoadInst *LI);
Evan Cheng092e5e72013-02-11 01:27:15 +0000149 virtual bool FastLowerArguments();
Craig Topper35fc62b2012-08-18 21:38:45 +0000150 private:
Eric Christopherab695882010-07-21 22:26:11 +0000151 #include "ARMGenFastISel.inc"
Eric Christopherac1a19e2010-09-09 01:06:51 +0000152
Eric Christopher83007122010-08-23 21:44:12 +0000153 // Instruction selection routines.
Eric Christopher44bff902010-09-10 23:10:30 +0000154 private:
Eric Christopher17787722010-10-21 21:47:51 +0000155 bool SelectLoad(const Instruction *I);
156 bool SelectStore(const Instruction *I);
157 bool SelectBranch(const Instruction *I);
Chad Rosier60c8fa62012-02-07 23:56:08 +0000158 bool SelectIndirectBr(const Instruction *I);
Eric Christopher17787722010-10-21 21:47:51 +0000159 bool SelectCmp(const Instruction *I);
160 bool SelectFPExt(const Instruction *I);
161 bool SelectFPTrunc(const Instruction *I);
Chad Rosier3901c3e2012-02-06 23:50:07 +0000162 bool SelectBinaryIntOp(const Instruction *I, unsigned ISDOpcode);
163 bool SelectBinaryFPOp(const Instruction *I, unsigned ISDOpcode);
Chad Rosierae46a332012-02-03 21:14:11 +0000164 bool SelectIToFP(const Instruction *I, bool isSigned);
165 bool SelectFPToI(const Instruction *I, bool isSigned);
Chad Rosier7ccb30b2012-02-03 21:07:27 +0000166 bool SelectDiv(const Instruction *I, bool isSigned);
Chad Rosier769422f2012-02-03 21:23:45 +0000167 bool SelectRem(const Instruction *I, bool isSigned);
Chad Rosier11add262011-11-11 23:31:03 +0000168 bool SelectCall(const Instruction *I, const char *IntrMemName);
169 bool SelectIntrinsicCall(const IntrinsicInst &I);
Eric Christopher17787722010-10-21 21:47:51 +0000170 bool SelectSelect(const Instruction *I);
Eric Christopher4f512ef2010-10-22 01:28:00 +0000171 bool SelectRet(const Instruction *I);
Chad Rosier0d7b2312011-11-02 00:18:48 +0000172 bool SelectTrunc(const Instruction *I);
173 bool SelectIntExt(const Instruction *I);
Jush Lu29465492012-08-03 02:37:48 +0000174 bool SelectShift(const Instruction *I, ARM_AM::ShiftOpc ShiftTy);
Eric Christopherab695882010-07-21 22:26:11 +0000175
Eric Christopher83007122010-08-23 21:44:12 +0000176 // Utility routines.
Eric Christopher456144e2010-08-19 00:37:05 +0000177 private:
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000178 bool isTypeLegal(Type *Ty, MVT &VT);
179 bool isLoadTypeLegal(Type *Ty, MVT &VT);
Chad Rosiere07cd5e2011-11-02 18:08:25 +0000180 bool ARMEmitCmp(const Value *Src1Value, const Value *Src2Value,
181 bool isZExt);
Patrik Hagglunda61b17c2012-12-13 06:34:11 +0000182 bool ARMEmitLoad(MVT VT, unsigned &ResultReg, Address &Addr,
Chad Rosier404ed3c2011-12-14 17:26:05 +0000183 unsigned Alignment = 0, bool isZExt = true,
184 bool allocReg = true);
Patrik Hagglunda61b17c2012-12-13 06:34:11 +0000185 bool ARMEmitStore(MVT VT, unsigned SrcReg, Address &Addr,
Bob Wilson6ce2dea2011-12-04 00:52:23 +0000186 unsigned Alignment = 0);
Eric Christopher0d581222010-11-19 22:30:02 +0000187 bool ARMComputeAddress(const Value *Obj, Address &Addr);
Chad Rosier6290b932012-12-17 22:35:29 +0000188 void ARMSimplifyAddress(Address &Addr, MVT VT, bool useAM3);
Chad Rosier2c42b8c2011-11-14 23:04:09 +0000189 bool ARMIsMemCpySmall(uint64_t Len);
Chad Rosierc9758b12012-12-06 01:34:31 +0000190 bool ARMTryEmitSmallMemCpy(Address Dest, Address Src, uint64_t Len,
191 unsigned Alignment);
Chad Rosier316a5aa2012-12-17 19:59:43 +0000192 unsigned ARMEmitIntExt(MVT SrcVT, unsigned SrcReg, MVT DestVT, bool isZExt);
Patrik Hagglunda61b17c2012-12-13 06:34:11 +0000193 unsigned ARMMaterializeFP(const ConstantFP *CFP, MVT VT);
194 unsigned ARMMaterializeInt(const Constant *C, MVT VT);
195 unsigned ARMMaterializeGV(const GlobalValue *GV, MVT VT);
196 unsigned ARMMoveToFPReg(MVT VT, unsigned SrcReg);
197 unsigned ARMMoveToIntReg(MVT VT, unsigned SrcReg);
Chad Rosier49d6fc02012-06-12 19:25:13 +0000198 unsigned ARMSelectCallOp(bool UseReg);
Patrik Hagglunda61b17c2012-12-13 06:34:11 +0000199 unsigned ARMLowerPICELF(const GlobalValue *GV, unsigned Align, MVT VT);
Eric Christopherac1a19e2010-09-09 01:06:51 +0000200
Eric Christopherd10cd7b2010-09-10 23:18:12 +0000201 // Call handling routines.
202 private:
Jush Luee649832012-07-19 09:49:00 +0000203 CCAssignFn *CCAssignFnForCall(CallingConv::ID CC,
204 bool Return,
205 bool isVarArg);
Eric Christopherdccd2c32010-10-11 08:38:55 +0000206 bool ProcessCallArgs(SmallVectorImpl<Value*> &Args,
Eric Christophera9a7a1a2010-09-29 23:11:09 +0000207 SmallVectorImpl<unsigned> &ArgRegs,
Duncan Sands1440e8b2010-11-03 11:35:31 +0000208 SmallVectorImpl<MVT> &ArgVTs,
Eric Christophera9a7a1a2010-09-29 23:11:09 +0000209 SmallVectorImpl<ISD::ArgFlagsTy> &ArgFlags,
210 SmallVectorImpl<unsigned> &RegArgs,
211 CallingConv::ID CC,
Jush Luee649832012-07-19 09:49:00 +0000212 unsigned &NumBytes,
213 bool isVarArg);
Chad Rosier49d6fc02012-06-12 19:25:13 +0000214 unsigned getLibcallReg(const Twine &Name);
Duncan Sands1440e8b2010-11-03 11:35:31 +0000215 bool FinishCall(MVT RetVT, SmallVectorImpl<unsigned> &UsedRegs,
Eric Christophera9a7a1a2010-09-29 23:11:09 +0000216 const Instruction *I, CallingConv::ID CC,
Jush Luee649832012-07-19 09:49:00 +0000217 unsigned &NumBytes, bool isVarArg);
Eric Christopher7ed8ec92010-09-28 01:21:42 +0000218 bool ARMEmitLibcall(const Instruction *I, RTLIB::Libcall Call);
Eric Christopherd10cd7b2010-09-10 23:18:12 +0000219
220 // OptionalDef handling routines.
221 private:
Eric Christopheraf3dce52011-03-12 01:09:29 +0000222 bool isARMNEONPred(const MachineInstr *MI);
Eric Christopher456144e2010-08-19 00:37:05 +0000223 bool DefinesOptionalPredicate(MachineInstr *MI, bool *CPSR);
224 const MachineInstrBuilder &AddOptionalDefs(const MachineInstrBuilder &MIB);
Chad Rosier6290b932012-12-17 22:35:29 +0000225 void AddLoadStoreOperands(MVT VT, Address &Addr,
Cameron Zwarichc152aa62011-05-28 20:34:49 +0000226 const MachineInstrBuilder &MIB,
Chad Rosierb29b9502011-11-13 02:23:59 +0000227 unsigned Flags, bool useAM3);
Eric Christopher456144e2010-08-19 00:37:05 +0000228};
Eric Christopherab695882010-07-21 22:26:11 +0000229
230} // end anonymous namespace
231
Eric Christopherd10cd7b2010-09-10 23:18:12 +0000232#include "ARMGenCallingConv.inc"
Eric Christopherab695882010-07-21 22:26:11 +0000233
Eric Christopher456144e2010-08-19 00:37:05 +0000234// DefinesOptionalPredicate - This is different from DefinesPredicate in that
235// we don't care about implicit defs here, just places we'll need to add a
236// default CCReg argument. Sets CPSR if we're setting CPSR instead of CCR.
237bool ARMFastISel::DefinesOptionalPredicate(MachineInstr *MI, bool *CPSR) {
Evan Cheng5a96b3d2011-12-07 07:15:52 +0000238 if (!MI->hasOptionalDef())
Eric Christopher456144e2010-08-19 00:37:05 +0000239 return false;
240
241 // Look to see if our OptionalDef is defining CPSR or CCR.
242 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
243 const MachineOperand &MO = MI->getOperand(i);
Eric Christopherf762fbe2010-08-20 00:36:24 +0000244 if (!MO.isReg() || !MO.isDef()) continue;
245 if (MO.getReg() == ARM::CPSR)
Eric Christopher456144e2010-08-19 00:37:05 +0000246 *CPSR = true;
247 }
248 return true;
249}
250
Eric Christopheraf3dce52011-03-12 01:09:29 +0000251bool ARMFastISel::isARMNEONPred(const MachineInstr *MI) {
Evan Chenge837dea2011-06-28 19:10:37 +0000252 const MCInstrDesc &MCID = MI->getDesc();
Eric Christopher299bbb22011-04-29 00:03:10 +0000253
Eric Christopheraf3dce52011-03-12 01:09:29 +0000254 // If we're a thumb2 or not NEON function we were handled via isPredicable.
Evan Chenge837dea2011-06-28 19:10:37 +0000255 if ((MCID.TSFlags & ARMII::DomainMask) != ARMII::DomainNEON ||
Eric Christopheraf3dce52011-03-12 01:09:29 +0000256 AFI->isThumb2Function())
257 return false;
Eric Christopher299bbb22011-04-29 00:03:10 +0000258
Evan Chenge837dea2011-06-28 19:10:37 +0000259 for (unsigned i = 0, e = MCID.getNumOperands(); i != e; ++i)
260 if (MCID.OpInfo[i].isPredicate())
Eric Christopheraf3dce52011-03-12 01:09:29 +0000261 return true;
Eric Christopher299bbb22011-04-29 00:03:10 +0000262
Eric Christopheraf3dce52011-03-12 01:09:29 +0000263 return false;
264}
265
Eric Christopher456144e2010-08-19 00:37:05 +0000266// If the machine is predicable go ahead and add the predicate operands, if
267// it needs default CC operands add those.
Eric Christopheraaa8df42010-11-02 01:21:28 +0000268// TODO: If we want to support thumb1 then we'll need to deal with optional
269// CPSR defs that need to be added before the remaining operands. See s_cc_out
270// for descriptions why.
Eric Christopher456144e2010-08-19 00:37:05 +0000271const MachineInstrBuilder &
272ARMFastISel::AddOptionalDefs(const MachineInstrBuilder &MIB) {
273 MachineInstr *MI = &*MIB;
274
Eric Christopheraf3dce52011-03-12 01:09:29 +0000275 // Do we use a predicate? or...
276 // Are we NEON in ARM mode and have a predicate operand? If so, I know
277 // we're not predicable but add it anyways.
278 if (TII.isPredicable(MI) || isARMNEONPred(MI))
Eric Christopher456144e2010-08-19 00:37:05 +0000279 AddDefaultPred(MIB);
Eric Christopher299bbb22011-04-29 00:03:10 +0000280
Sylvestre Ledru94c22712012-09-27 10:14:43 +0000281 // Do we optionally set a predicate? Preds is size > 0 iff the predicate
Eric Christopher456144e2010-08-19 00:37:05 +0000282 // defines CPSR. All other OptionalDefines in ARM are the CCR register.
Eric Christopher979e0a12010-08-19 15:35:27 +0000283 bool CPSR = false;
Eric Christopher456144e2010-08-19 00:37:05 +0000284 if (DefinesOptionalPredicate(MI, &CPSR)) {
285 if (CPSR)
286 AddDefaultT1CC(MIB);
287 else
288 AddDefaultCC(MIB);
289 }
290 return MIB;
291}
292
Eric Christopher0fe7d542010-08-17 01:25:29 +0000293unsigned ARMFastISel::FastEmitInst_(unsigned MachineInstOpcode,
294 const TargetRegisterClass* RC) {
295 unsigned ResultReg = createResultReg(RC);
Evan Chenge837dea2011-06-28 19:10:37 +0000296 const MCInstrDesc &II = TII.get(MachineInstOpcode);
Eric Christopher0fe7d542010-08-17 01:25:29 +0000297
Eric Christopher456144e2010-08-19 00:37:05 +0000298 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg));
Eric Christopher0fe7d542010-08-17 01:25:29 +0000299 return ResultReg;
300}
301
302unsigned ARMFastISel::FastEmitInst_r(unsigned MachineInstOpcode,
303 const TargetRegisterClass *RC,
304 unsigned Op0, bool Op0IsKill) {
305 unsigned ResultReg = createResultReg(RC);
Evan Chenge837dea2011-06-28 19:10:37 +0000306 const MCInstrDesc &II = TII.get(MachineInstOpcode);
Eric Christopher0fe7d542010-08-17 01:25:29 +0000307
Chad Rosier40d552e2012-02-15 17:36:21 +0000308 if (II.getNumDefs() >= 1) {
Eric Christopher456144e2010-08-19 00:37:05 +0000309 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg)
Eric Christopher0fe7d542010-08-17 01:25:29 +0000310 .addReg(Op0, Op0IsKill * RegState::Kill));
Chad Rosier40d552e2012-02-15 17:36:21 +0000311 } else {
Eric Christopher456144e2010-08-19 00:37:05 +0000312 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II)
Eric Christopher0fe7d542010-08-17 01:25:29 +0000313 .addReg(Op0, Op0IsKill * RegState::Kill));
Eric Christopher456144e2010-08-19 00:37:05 +0000314 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopher0fe7d542010-08-17 01:25:29 +0000315 TII.get(TargetOpcode::COPY), ResultReg)
316 .addReg(II.ImplicitDefs[0]));
317 }
318 return ResultReg;
319}
320
321unsigned ARMFastISel::FastEmitInst_rr(unsigned MachineInstOpcode,
322 const TargetRegisterClass *RC,
323 unsigned Op0, bool Op0IsKill,
324 unsigned Op1, bool Op1IsKill) {
325 unsigned ResultReg = createResultReg(RC);
Evan Chenge837dea2011-06-28 19:10:37 +0000326 const MCInstrDesc &II = TII.get(MachineInstOpcode);
Eric Christopher0fe7d542010-08-17 01:25:29 +0000327
Chad Rosier40d552e2012-02-15 17:36:21 +0000328 if (II.getNumDefs() >= 1) {
Eric Christopher456144e2010-08-19 00:37:05 +0000329 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg)
Eric Christopher0fe7d542010-08-17 01:25:29 +0000330 .addReg(Op0, Op0IsKill * RegState::Kill)
331 .addReg(Op1, Op1IsKill * RegState::Kill));
Chad Rosier40d552e2012-02-15 17:36:21 +0000332 } else {
Eric Christopher456144e2010-08-19 00:37:05 +0000333 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II)
Eric Christopher0fe7d542010-08-17 01:25:29 +0000334 .addReg(Op0, Op0IsKill * RegState::Kill)
335 .addReg(Op1, Op1IsKill * RegState::Kill));
Eric Christopher456144e2010-08-19 00:37:05 +0000336 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopher0fe7d542010-08-17 01:25:29 +0000337 TII.get(TargetOpcode::COPY), ResultReg)
338 .addReg(II.ImplicitDefs[0]));
339 }
340 return ResultReg;
341}
342
Cameron Zwarichc0e6d782011-03-30 23:01:21 +0000343unsigned ARMFastISel::FastEmitInst_rrr(unsigned MachineInstOpcode,
344 const TargetRegisterClass *RC,
345 unsigned Op0, bool Op0IsKill,
346 unsigned Op1, bool Op1IsKill,
347 unsigned Op2, bool Op2IsKill) {
348 unsigned ResultReg = createResultReg(RC);
Evan Chenge837dea2011-06-28 19:10:37 +0000349 const MCInstrDesc &II = TII.get(MachineInstOpcode);
Cameron Zwarichc0e6d782011-03-30 23:01:21 +0000350
Chad Rosier40d552e2012-02-15 17:36:21 +0000351 if (II.getNumDefs() >= 1) {
Cameron Zwarichc0e6d782011-03-30 23:01:21 +0000352 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg)
353 .addReg(Op0, Op0IsKill * RegState::Kill)
354 .addReg(Op1, Op1IsKill * RegState::Kill)
355 .addReg(Op2, Op2IsKill * RegState::Kill));
Chad Rosier40d552e2012-02-15 17:36:21 +0000356 } else {
Cameron Zwarichc0e6d782011-03-30 23:01:21 +0000357 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II)
358 .addReg(Op0, Op0IsKill * RegState::Kill)
359 .addReg(Op1, Op1IsKill * RegState::Kill)
360 .addReg(Op2, Op2IsKill * RegState::Kill));
361 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
362 TII.get(TargetOpcode::COPY), ResultReg)
363 .addReg(II.ImplicitDefs[0]));
364 }
365 return ResultReg;
366}
367
Eric Christopher0fe7d542010-08-17 01:25:29 +0000368unsigned ARMFastISel::FastEmitInst_ri(unsigned MachineInstOpcode,
369 const TargetRegisterClass *RC,
370 unsigned Op0, bool Op0IsKill,
371 uint64_t Imm) {
372 unsigned ResultReg = createResultReg(RC);
Evan Chenge837dea2011-06-28 19:10:37 +0000373 const MCInstrDesc &II = TII.get(MachineInstOpcode);
Eric Christopher0fe7d542010-08-17 01:25:29 +0000374
Chad Rosier40d552e2012-02-15 17:36:21 +0000375 if (II.getNumDefs() >= 1) {
Eric Christopher456144e2010-08-19 00:37:05 +0000376 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg)
Eric Christopher0fe7d542010-08-17 01:25:29 +0000377 .addReg(Op0, Op0IsKill * RegState::Kill)
378 .addImm(Imm));
Chad Rosier40d552e2012-02-15 17:36:21 +0000379 } else {
Eric Christopher456144e2010-08-19 00:37:05 +0000380 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II)
Eric Christopher0fe7d542010-08-17 01:25:29 +0000381 .addReg(Op0, Op0IsKill * RegState::Kill)
382 .addImm(Imm));
Eric Christopher456144e2010-08-19 00:37:05 +0000383 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopher0fe7d542010-08-17 01:25:29 +0000384 TII.get(TargetOpcode::COPY), ResultReg)
385 .addReg(II.ImplicitDefs[0]));
386 }
387 return ResultReg;
388}
389
390unsigned ARMFastISel::FastEmitInst_rf(unsigned MachineInstOpcode,
391 const TargetRegisterClass *RC,
392 unsigned Op0, bool Op0IsKill,
393 const ConstantFP *FPImm) {
394 unsigned ResultReg = createResultReg(RC);
Evan Chenge837dea2011-06-28 19:10:37 +0000395 const MCInstrDesc &II = TII.get(MachineInstOpcode);
Eric Christopher0fe7d542010-08-17 01:25:29 +0000396
Chad Rosier40d552e2012-02-15 17:36:21 +0000397 if (II.getNumDefs() >= 1) {
Eric Christopher456144e2010-08-19 00:37:05 +0000398 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg)
Eric Christopher0fe7d542010-08-17 01:25:29 +0000399 .addReg(Op0, Op0IsKill * RegState::Kill)
400 .addFPImm(FPImm));
Chad Rosier40d552e2012-02-15 17:36:21 +0000401 } else {
Eric Christopher456144e2010-08-19 00:37:05 +0000402 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II)
Eric Christopher0fe7d542010-08-17 01:25:29 +0000403 .addReg(Op0, Op0IsKill * RegState::Kill)
404 .addFPImm(FPImm));
Eric Christopher456144e2010-08-19 00:37:05 +0000405 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopher0fe7d542010-08-17 01:25:29 +0000406 TII.get(TargetOpcode::COPY), ResultReg)
407 .addReg(II.ImplicitDefs[0]));
408 }
409 return ResultReg;
410}
411
412unsigned ARMFastISel::FastEmitInst_rri(unsigned MachineInstOpcode,
413 const TargetRegisterClass *RC,
414 unsigned Op0, bool Op0IsKill,
415 unsigned Op1, bool Op1IsKill,
416 uint64_t Imm) {
417 unsigned ResultReg = createResultReg(RC);
Evan Chenge837dea2011-06-28 19:10:37 +0000418 const MCInstrDesc &II = TII.get(MachineInstOpcode);
Eric Christopher0fe7d542010-08-17 01:25:29 +0000419
Chad Rosier40d552e2012-02-15 17:36:21 +0000420 if (II.getNumDefs() >= 1) {
Eric Christopher456144e2010-08-19 00:37:05 +0000421 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg)
Eric Christopher0fe7d542010-08-17 01:25:29 +0000422 .addReg(Op0, Op0IsKill * RegState::Kill)
423 .addReg(Op1, Op1IsKill * RegState::Kill)
424 .addImm(Imm));
Chad Rosier40d552e2012-02-15 17:36:21 +0000425 } else {
Eric Christopher456144e2010-08-19 00:37:05 +0000426 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II)
Eric Christopher0fe7d542010-08-17 01:25:29 +0000427 .addReg(Op0, Op0IsKill * RegState::Kill)
428 .addReg(Op1, Op1IsKill * RegState::Kill)
429 .addImm(Imm));
Eric Christopher456144e2010-08-19 00:37:05 +0000430 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopher0fe7d542010-08-17 01:25:29 +0000431 TII.get(TargetOpcode::COPY), ResultReg)
432 .addReg(II.ImplicitDefs[0]));
433 }
434 return ResultReg;
435}
436
437unsigned ARMFastISel::FastEmitInst_i(unsigned MachineInstOpcode,
438 const TargetRegisterClass *RC,
439 uint64_t Imm) {
440 unsigned ResultReg = createResultReg(RC);
Evan Chenge837dea2011-06-28 19:10:37 +0000441 const MCInstrDesc &II = TII.get(MachineInstOpcode);
Eric Christopherac1a19e2010-09-09 01:06:51 +0000442
Chad Rosier40d552e2012-02-15 17:36:21 +0000443 if (II.getNumDefs() >= 1) {
Eric Christopher456144e2010-08-19 00:37:05 +0000444 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg)
Eric Christopher0fe7d542010-08-17 01:25:29 +0000445 .addImm(Imm));
Chad Rosier40d552e2012-02-15 17:36:21 +0000446 } else {
Eric Christopher456144e2010-08-19 00:37:05 +0000447 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II)
Eric Christopher0fe7d542010-08-17 01:25:29 +0000448 .addImm(Imm));
Eric Christopher456144e2010-08-19 00:37:05 +0000449 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopher0fe7d542010-08-17 01:25:29 +0000450 TII.get(TargetOpcode::COPY), ResultReg)
451 .addReg(II.ImplicitDefs[0]));
452 }
453 return ResultReg;
454}
455
Eric Christopherd94bc542011-04-29 22:07:50 +0000456unsigned ARMFastISel::FastEmitInst_ii(unsigned MachineInstOpcode,
457 const TargetRegisterClass *RC,
458 uint64_t Imm1, uint64_t Imm2) {
459 unsigned ResultReg = createResultReg(RC);
Evan Chenge837dea2011-06-28 19:10:37 +0000460 const MCInstrDesc &II = TII.get(MachineInstOpcode);
Eric Christopher471e4222011-06-08 23:55:35 +0000461
Chad Rosier40d552e2012-02-15 17:36:21 +0000462 if (II.getNumDefs() >= 1) {
Eric Christopherd94bc542011-04-29 22:07:50 +0000463 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg)
464 .addImm(Imm1).addImm(Imm2));
Chad Rosier40d552e2012-02-15 17:36:21 +0000465 } else {
Eric Christopherd94bc542011-04-29 22:07:50 +0000466 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II)
467 .addImm(Imm1).addImm(Imm2));
Eric Christopher471e4222011-06-08 23:55:35 +0000468 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopherd94bc542011-04-29 22:07:50 +0000469 TII.get(TargetOpcode::COPY),
470 ResultReg)
471 .addReg(II.ImplicitDefs[0]));
472 }
473 return ResultReg;
474}
475
Eric Christopher0fe7d542010-08-17 01:25:29 +0000476unsigned ARMFastISel::FastEmitInst_extractsubreg(MVT RetVT,
477 unsigned Op0, bool Op0IsKill,
478 uint32_t Idx) {
479 unsigned ResultReg = createResultReg(TLI.getRegClassFor(RetVT));
480 assert(TargetRegisterInfo::isVirtualRegister(Op0) &&
481 "Cannot yet extract from physregs");
Chad Rosier40d552e2012-02-15 17:36:21 +0000482
Eric Christopher456144e2010-08-19 00:37:05 +0000483 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt,
Chad Rosier40d552e2012-02-15 17:36:21 +0000484 DL, TII.get(TargetOpcode::COPY), ResultReg)
485 .addReg(Op0, getKillRegState(Op0IsKill), Idx));
Eric Christopher0fe7d542010-08-17 01:25:29 +0000486 return ResultReg;
487}
488
Eric Christopherdb12b2b2010-09-10 00:34:35 +0000489// TODO: Don't worry about 64-bit now, but when this is fixed remove the
490// checks from the various callers.
Patrik Hagglunda61b17c2012-12-13 06:34:11 +0000491unsigned ARMFastISel::ARMMoveToFPReg(MVT VT, unsigned SrcReg) {
Duncan Sandscdfad362010-11-03 12:17:33 +0000492 if (VT == MVT::f64) return 0;
Eric Christopherdccd2c32010-10-11 08:38:55 +0000493
Eric Christopher9ee4ce22010-09-09 21:44:45 +0000494 unsigned MoveReg = createResultReg(TLI.getRegClassFor(VT));
495 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Jim Grosbache751c002012-03-01 22:47:09 +0000496 TII.get(ARM::VMOVSR), MoveReg)
Eric Christopher9ee4ce22010-09-09 21:44:45 +0000497 .addReg(SrcReg));
498 return MoveReg;
499}
500
Patrik Hagglunda61b17c2012-12-13 06:34:11 +0000501unsigned ARMFastISel::ARMMoveToIntReg(MVT VT, unsigned SrcReg) {
Duncan Sandscdfad362010-11-03 12:17:33 +0000502 if (VT == MVT::i64) return 0;
Eric Christopherdccd2c32010-10-11 08:38:55 +0000503
Eric Christopheraa3ace12010-09-09 20:49:25 +0000504 unsigned MoveReg = createResultReg(TLI.getRegClassFor(VT));
505 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Jim Grosbache751c002012-03-01 22:47:09 +0000506 TII.get(ARM::VMOVRS), MoveReg)
Eric Christopheraa3ace12010-09-09 20:49:25 +0000507 .addReg(SrcReg));
508 return MoveReg;
509}
510
Eric Christopher9ed58df2010-09-09 00:19:41 +0000511// For double width floating point we need to materialize two constants
512// (the high and the low) into integer registers then use a move to get
513// the combined constant into an FP reg.
Patrik Hagglunda61b17c2012-12-13 06:34:11 +0000514unsigned ARMFastISel::ARMMaterializeFP(const ConstantFP *CFP, MVT VT) {
Eric Christopher9ed58df2010-09-09 00:19:41 +0000515 const APFloat Val = CFP->getValueAPF();
Duncan Sandscdfad362010-11-03 12:17:33 +0000516 bool is64bit = VT == MVT::f64;
Eric Christopherac1a19e2010-09-09 01:06:51 +0000517
Eric Christopher9ed58df2010-09-09 00:19:41 +0000518 // This checks to see if we can use VFP3 instructions to materialize
519 // a constant, otherwise we have to go through the constant pool.
520 if (TLI.isFPImmLegal(Val, VT)) {
Jim Grosbach4ebbf7b2011-09-30 00:50:06 +0000521 int Imm;
522 unsigned Opc;
523 if (is64bit) {
524 Imm = ARM_AM::getFP64Imm(Val);
525 Opc = ARM::FCONSTD;
526 } else {
527 Imm = ARM_AM::getFP32Imm(Val);
528 Opc = ARM::FCONSTS;
529 }
Eric Christopher9ed58df2010-09-09 00:19:41 +0000530 unsigned DestReg = createResultReg(TLI.getRegClassFor(VT));
531 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(Opc),
532 DestReg)
Jim Grosbach4ebbf7b2011-09-30 00:50:06 +0000533 .addImm(Imm));
Eric Christopher9ed58df2010-09-09 00:19:41 +0000534 return DestReg;
535 }
Eric Christopherdccd2c32010-10-11 08:38:55 +0000536
Eric Christopherdb12b2b2010-09-10 00:34:35 +0000537 // Require VFP2 for loading fp constants.
Eric Christopher238bb162010-09-09 23:50:00 +0000538 if (!Subtarget->hasVFP2()) return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +0000539
Eric Christopher238bb162010-09-09 23:50:00 +0000540 // MachineConstantPool wants an explicit alignment.
541 unsigned Align = TD.getPrefTypeAlignment(CFP->getType());
542 if (Align == 0) {
543 // TODO: Figure out if this is correct.
544 Align = TD.getTypeAllocSize(CFP->getType());
545 }
546 unsigned Idx = MCP.getConstantPoolIndex(cast<Constant>(CFP), Align);
547 unsigned DestReg = createResultReg(TLI.getRegClassFor(VT));
548 unsigned Opc = is64bit ? ARM::VLDRD : ARM::VLDRS;
Eric Christopherdccd2c32010-10-11 08:38:55 +0000549
Eric Christopherdb12b2b2010-09-10 00:34:35 +0000550 // The extra reg is for addrmode5.
Eric Christopherf5732c42010-09-28 00:35:09 +0000551 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(Opc),
552 DestReg)
553 .addConstantPoolIndex(Idx)
Eric Christopher238bb162010-09-09 23:50:00 +0000554 .addReg(0));
555 return DestReg;
Eric Christopher9ed58df2010-09-09 00:19:41 +0000556}
557
Patrik Hagglunda61b17c2012-12-13 06:34:11 +0000558unsigned ARMFastISel::ARMMaterializeInt(const Constant *C, MVT VT) {
Eric Christopherdccd2c32010-10-11 08:38:55 +0000559
Chad Rosier44e89572011-11-04 22:29:00 +0000560 if (VT != MVT::i32 && VT != MVT::i16 && VT != MVT::i8 && VT != MVT::i1)
561 return false;
Eric Christophere5b13cf2010-11-03 20:21:17 +0000562
563 // If we can do this in a single instruction without a constant pool entry
564 // do so now.
565 const ConstantInt *CI = cast<ConstantInt>(C);
Chad Rosiera4e07272011-11-04 23:09:49 +0000566 if (Subtarget->hasV6T2Ops() && isUInt<16>(CI->getZExtValue())) {
Chad Rosier66dc8ca2011-11-08 21:12:00 +0000567 unsigned Opc = isThumb2 ? ARM::t2MOVi16 : ARM::MOVi16;
Chad Rosierfc17ddd2012-11-27 01:06:49 +0000568 const TargetRegisterClass *RC = isThumb2 ? &ARM::rGPRRegClass :
569 &ARM::GPRRegClass;
570 unsigned ImmReg = createResultReg(RC);
Eric Christophere5b13cf2010-11-03 20:21:17 +0000571 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Chad Rosier44e89572011-11-04 22:29:00 +0000572 TII.get(Opc), ImmReg)
Chad Rosier42536af2011-11-05 20:16:15 +0000573 .addImm(CI->getZExtValue()));
Chad Rosier44e89572011-11-04 22:29:00 +0000574 return ImmReg;
Eric Christophere5b13cf2010-11-03 20:21:17 +0000575 }
576
Chad Rosier4e89d972011-11-11 00:36:21 +0000577 // Use MVN to emit negative constants.
578 if (VT == MVT::i32 && Subtarget->hasV6T2Ops() && CI->isNegative()) {
579 unsigned Imm = (unsigned)~(CI->getSExtValue());
Chad Rosier1c47de82011-11-11 06:27:41 +0000580 bool UseImm = isThumb2 ? (ARM_AM::getT2SOImmVal(Imm) != -1) :
Chad Rosier4e89d972011-11-11 00:36:21 +0000581 (ARM_AM::getSOImmVal(Imm) != -1);
Chad Rosier1c47de82011-11-11 06:27:41 +0000582 if (UseImm) {
Chad Rosier4e89d972011-11-11 00:36:21 +0000583 unsigned Opc = isThumb2 ? ARM::t2MVNi : ARM::MVNi;
584 unsigned ImmReg = createResultReg(TLI.getRegClassFor(MVT::i32));
585 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
586 TII.get(Opc), ImmReg)
587 .addImm(Imm));
588 return ImmReg;
589 }
590 }
591
592 // Load from constant pool. For now 32-bit only.
Chad Rosier44e89572011-11-04 22:29:00 +0000593 if (VT != MVT::i32)
594 return false;
595
596 unsigned DestReg = createResultReg(TLI.getRegClassFor(VT));
597
Eric Christopher56d2b722010-09-02 23:43:26 +0000598 // MachineConstantPool wants an explicit alignment.
599 unsigned Align = TD.getPrefTypeAlignment(C->getType());
600 if (Align == 0) {
601 // TODO: Figure out if this is correct.
602 Align = TD.getTypeAllocSize(C->getType());
603 }
604 unsigned Idx = MCP.getConstantPoolIndex(C, Align);
Eric Christopherdccd2c32010-10-11 08:38:55 +0000605
Chad Rosier66dc8ca2011-11-08 21:12:00 +0000606 if (isThumb2)
Eric Christopher56d2b722010-09-02 23:43:26 +0000607 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopherfd609802010-09-28 21:55:34 +0000608 TII.get(ARM::t2LDRpci), DestReg)
609 .addConstantPoolIndex(Idx));
Eric Christopher56d2b722010-09-02 23:43:26 +0000610 else
Eric Christopherd0c82a62010-11-12 09:48:30 +0000611 // The extra immediate is for addrmode2.
Eric Christopher56d2b722010-09-02 23:43:26 +0000612 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopherfd609802010-09-28 21:55:34 +0000613 TII.get(ARM::LDRcp), DestReg)
614 .addConstantPoolIndex(Idx)
Jim Grosbach3e556122010-10-26 22:37:02 +0000615 .addImm(0));
Eric Christopherac1a19e2010-09-09 01:06:51 +0000616
Eric Christopher56d2b722010-09-02 23:43:26 +0000617 return DestReg;
Eric Christopher1b61ef42010-09-02 01:48:11 +0000618}
619
Patrik Hagglunda61b17c2012-12-13 06:34:11 +0000620unsigned ARMFastISel::ARMMaterializeGV(const GlobalValue *GV, MVT VT) {
Eric Christopher890dbbe2010-10-02 00:32:44 +0000621 // For now 32-bit only.
Duncan Sandscdfad362010-11-03 12:17:33 +0000622 if (VT != MVT::i32) return 0;
Eric Christopherdccd2c32010-10-11 08:38:55 +0000623
Eric Christopher890dbbe2010-10-02 00:32:44 +0000624 Reloc::Model RelocM = TM.getRelocationModel();
Jush Luc4dc2492012-08-29 02:41:21 +0000625 bool IsIndirect = Subtarget->GVIsIndirectSymbol(GV, RelocM);
Chad Rosier6aa6e5a2012-11-07 00:13:01 +0000626 const TargetRegisterClass *RC = isThumb2 ?
627 (const TargetRegisterClass*)&ARM::rGPRRegClass :
628 (const TargetRegisterClass*)&ARM::GPRRegClass;
629 unsigned DestReg = createResultReg(RC);
Jakob Stoklund Olesen45ca7c62012-01-07 01:47:05 +0000630
JF Bastienf567a6d2013-05-29 20:38:10 +0000631 // FastISel TLS support on non-Darwin is broken, punt to SelectionDAG.
632 const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV);
633 bool IsThreadLocal = GVar && GVar->isThreadLocal();
634 if (!Subtarget->isTargetDarwin() && IsThreadLocal) return 0;
635
Jakob Stoklund Olesen45ca7c62012-01-07 01:47:05 +0000636 // Use movw+movt when possible, it avoids constant pool entries.
Jakob Stoklund Olesen8f37a242012-01-07 20:49:15 +0000637 // Darwin targets don't support movt with Reloc::Static, see
638 // ARMTargetLowering::LowerGlobalAddressDarwin. Other targets only support
639 // static movt relocations.
640 if (Subtarget->useMovt() &&
641 Subtarget->isTargetDarwin() == (RelocM != Reloc::Static)) {
Jakob Stoklund Olesen45ca7c62012-01-07 01:47:05 +0000642 unsigned Opc;
643 switch (RelocM) {
644 case Reloc::PIC_:
645 Opc = isThumb2 ? ARM::t2MOV_ga_pcrel : ARM::MOV_ga_pcrel;
646 break;
647 case Reloc::DynamicNoPIC:
648 Opc = isThumb2 ? ARM::t2MOV_ga_dyn : ARM::MOV_ga_dyn;
649 break;
650 default:
651 Opc = isThumb2 ? ARM::t2MOVi32imm : ARM::MOVi32imm;
652 break;
653 }
654 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(Opc),
655 DestReg).addGlobalAddress(GV));
Eric Christopher890dbbe2010-10-02 00:32:44 +0000656 } else {
Jakob Stoklund Olesen45ca7c62012-01-07 01:47:05 +0000657 // MachineConstantPool wants an explicit alignment.
658 unsigned Align = TD.getPrefTypeAlignment(GV->getType());
659 if (Align == 0) {
660 // TODO: Figure out if this is correct.
661 Align = TD.getTypeAllocSize(GV->getType());
662 }
663
Jush Lu8f506472012-09-27 05:21:41 +0000664 if (Subtarget->isTargetELF() && RelocM == Reloc::PIC_)
665 return ARMLowerPICELF(GV, Align, VT);
666
Jakob Stoklund Olesen45ca7c62012-01-07 01:47:05 +0000667 // Grab index.
668 unsigned PCAdj = (RelocM != Reloc::PIC_) ? 0 :
669 (Subtarget->isThumb() ? 4 : 8);
670 unsigned Id = AFI->createPICLabelUId();
671 ARMConstantPoolValue *CPV = ARMConstantPoolConstant::Create(GV, Id,
672 ARMCP::CPValue,
673 PCAdj);
674 unsigned Idx = MCP.getConstantPoolIndex(CPV, Align);
675
676 // Load value.
677 MachineInstrBuilder MIB;
678 if (isThumb2) {
679 unsigned Opc = (RelocM!=Reloc::PIC_) ? ARM::t2LDRpci : ARM::t2LDRpci_pic;
680 MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(Opc), DestReg)
681 .addConstantPoolIndex(Idx);
682 if (RelocM == Reloc::PIC_)
683 MIB.addImm(Id);
Jush Luc4dc2492012-08-29 02:41:21 +0000684 AddOptionalDefs(MIB);
Jakob Stoklund Olesen45ca7c62012-01-07 01:47:05 +0000685 } else {
686 // The extra immediate is for addrmode2.
687 MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(ARM::LDRcp),
688 DestReg)
689 .addConstantPoolIndex(Idx)
690 .addImm(0);
Jush Luc4dc2492012-08-29 02:41:21 +0000691 AddOptionalDefs(MIB);
692
693 if (RelocM == Reloc::PIC_) {
694 unsigned Opc = IsIndirect ? ARM::PICLDR : ARM::PICADD;
695 unsigned NewDestReg = createResultReg(TLI.getRegClassFor(VT));
696
697 MachineInstrBuilder MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt,
698 DL, TII.get(Opc), NewDestReg)
699 .addReg(DestReg)
700 .addImm(Id);
701 AddOptionalDefs(MIB);
702 return NewDestReg;
703 }
Jakob Stoklund Olesen45ca7c62012-01-07 01:47:05 +0000704 }
Eric Christopher890dbbe2010-10-02 00:32:44 +0000705 }
Eli Friedmand6412c92011-06-03 01:13:19 +0000706
Jush Luc4dc2492012-08-29 02:41:21 +0000707 if (IsIndirect) {
Jakob Stoklund Olesen45ca7c62012-01-07 01:47:05 +0000708 MachineInstrBuilder MIB;
Eli Friedmand6412c92011-06-03 01:13:19 +0000709 unsigned NewDestReg = createResultReg(TLI.getRegClassFor(VT));
Chad Rosier66dc8ca2011-11-08 21:12:00 +0000710 if (isThumb2)
Jim Grosbachb04546f2011-09-13 20:30:37 +0000711 MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
712 TII.get(ARM::t2LDRi12), NewDestReg)
Eli Friedmand6412c92011-06-03 01:13:19 +0000713 .addReg(DestReg)
714 .addImm(0);
715 else
716 MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(ARM::LDRi12),
717 NewDestReg)
718 .addReg(DestReg)
719 .addImm(0);
720 DestReg = NewDestReg;
721 AddOptionalDefs(MIB);
722 }
723
Eric Christopher890dbbe2010-10-02 00:32:44 +0000724 return DestReg;
Eric Christopherc9932f62010-10-01 23:24:42 +0000725}
726
Eric Christopher9ed58df2010-09-09 00:19:41 +0000727unsigned ARMFastISel::TargetMaterializeConstant(const Constant *C) {
Patrik Hagglund3d170e62012-12-17 14:30:06 +0000728 EVT CEVT = TLI.getValueType(C->getType(), true);
729
730 // Only handle simple types.
731 if (!CEVT.isSimple()) return 0;
732 MVT VT = CEVT.getSimpleVT();
Eric Christopher9ed58df2010-09-09 00:19:41 +0000733
734 if (const ConstantFP *CFP = dyn_cast<ConstantFP>(C))
735 return ARMMaterializeFP(CFP, VT);
Eric Christopherc9932f62010-10-01 23:24:42 +0000736 else if (const GlobalValue *GV = dyn_cast<GlobalValue>(C))
737 return ARMMaterializeGV(GV, VT);
738 else if (isa<ConstantInt>(C))
739 return ARMMaterializeInt(C, VT);
Eric Christopherdccd2c32010-10-11 08:38:55 +0000740
Eric Christopherc9932f62010-10-01 23:24:42 +0000741 return 0;
Eric Christopher9ed58df2010-09-09 00:19:41 +0000742}
743
Chad Rosier944d82b2011-11-17 21:46:13 +0000744// TODO: unsigned ARMFastISel::TargetMaterializeFloatZero(const ConstantFP *CF);
745
Eric Christopherf9764fa2010-09-30 20:49:44 +0000746unsigned ARMFastISel::TargetMaterializeAlloca(const AllocaInst *AI) {
747 // Don't handle dynamic allocas.
748 if (!FuncInfo.StaticAllocaMap.count(AI)) return 0;
Eric Christopherdccd2c32010-10-11 08:38:55 +0000749
Duncan Sands1440e8b2010-11-03 11:35:31 +0000750 MVT VT;
Chad Rosierf4bd21c2012-05-11 16:41:38 +0000751 if (!isLoadTypeLegal(AI->getType(), VT)) return 0;
Eric Christopherdccd2c32010-10-11 08:38:55 +0000752
Eric Christopherf9764fa2010-09-30 20:49:44 +0000753 DenseMap<const AllocaInst*, int>::iterator SI =
754 FuncInfo.StaticAllocaMap.find(AI);
755
756 // This will get lowered later into the correct offsets and registers
757 // via rewriteXFrameIndex.
758 if (SI != FuncInfo.StaticAllocaMap.end()) {
Craig Topper44d23822012-02-22 05:59:10 +0000759 const TargetRegisterClass* RC = TLI.getRegClassFor(VT);
Eric Christopherf9764fa2010-09-30 20:49:44 +0000760 unsigned ResultReg = createResultReg(RC);
Chad Rosier66dc8ca2011-11-08 21:12:00 +0000761 unsigned Opc = isThumb2 ? ARM::t2ADDri : ARM::ADDri;
Evan Chengddfd1372011-12-14 02:11:42 +0000762 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopherf9764fa2010-09-30 20:49:44 +0000763 TII.get(Opc), ResultReg)
764 .addFrameIndex(SI->second)
765 .addImm(0));
766 return ResultReg;
767 }
Eric Christopherdccd2c32010-10-11 08:38:55 +0000768
Eric Christopherf9764fa2010-09-30 20:49:44 +0000769 return 0;
770}
771
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000772bool ARMFastISel::isTypeLegal(Type *Ty, MVT &VT) {
Duncan Sands1440e8b2010-11-03 11:35:31 +0000773 EVT evt = TLI.getValueType(Ty, true);
Eric Christopherac1a19e2010-09-09 01:06:51 +0000774
Eric Christopherb1cc8482010-08-25 07:23:49 +0000775 // Only handle simple types.
Duncan Sands1440e8b2010-11-03 11:35:31 +0000776 if (evt == MVT::Other || !evt.isSimple()) return false;
777 VT = evt.getSimpleVT();
Eric Christopherac1a19e2010-09-09 01:06:51 +0000778
Eric Christopherdc908042010-08-31 01:28:42 +0000779 // Handle all legal types, i.e. a register that will directly hold this
780 // value.
781 return TLI.isTypeLegal(VT);
Eric Christopherb1cc8482010-08-25 07:23:49 +0000782}
783
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000784bool ARMFastISel::isLoadTypeLegal(Type *Ty, MVT &VT) {
Eric Christopher4e68c7c2010-09-01 18:01:32 +0000785 if (isTypeLegal(Ty, VT)) return true;
Eric Christopherac1a19e2010-09-09 01:06:51 +0000786
Eric Christopher4e68c7c2010-09-01 18:01:32 +0000787 // If this is a type than can be sign or zero-extended to a basic operation
788 // go ahead and accept it now.
Chad Rosierb29b9502011-11-13 02:23:59 +0000789 if (VT == MVT::i1 || VT == MVT::i8 || VT == MVT::i16)
Eric Christopher4e68c7c2010-09-01 18:01:32 +0000790 return true;
Eric Christopherac1a19e2010-09-09 01:06:51 +0000791
Eric Christopher4e68c7c2010-09-01 18:01:32 +0000792 return false;
793}
794
Eric Christopher88de86b2010-11-19 22:36:41 +0000795// Computes the address to get to an object.
Eric Christopher0d581222010-11-19 22:30:02 +0000796bool ARMFastISel::ARMComputeAddress(const Value *Obj, Address &Addr) {
Eric Christopher83007122010-08-23 21:44:12 +0000797 // Some boilerplate from the X86 FastISel.
798 const User *U = NULL;
Eric Christopher83007122010-08-23 21:44:12 +0000799 unsigned Opcode = Instruction::UserOp1;
Eric Christophercb0b04b2010-08-24 00:07:24 +0000800 if (const Instruction *I = dyn_cast<Instruction>(Obj)) {
Eric Christopher2d630d72010-11-19 22:37:58 +0000801 // Don't walk into other basic blocks unless the object is an alloca from
802 // another block, otherwise it may not have a virtual register assigned.
Eric Christopher76dda7e2010-11-15 21:11:06 +0000803 if (FuncInfo.StaticAllocaMap.count(static_cast<const AllocaInst *>(Obj)) ||
804 FuncInfo.MBBMap[I->getParent()] == FuncInfo.MBB) {
805 Opcode = I->getOpcode();
806 U = I;
807 }
Eric Christophercb0b04b2010-08-24 00:07:24 +0000808 } else if (const ConstantExpr *C = dyn_cast<ConstantExpr>(Obj)) {
Eric Christopher83007122010-08-23 21:44:12 +0000809 Opcode = C->getOpcode();
810 U = C;
811 }
812
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000813 if (PointerType *Ty = dyn_cast<PointerType>(Obj->getType()))
Eric Christopher83007122010-08-23 21:44:12 +0000814 if (Ty->getAddressSpace() > 255)
815 // Fast instruction selection doesn't support the special
816 // address spaces.
817 return false;
Eric Christopherac1a19e2010-09-09 01:06:51 +0000818
Eric Christopher83007122010-08-23 21:44:12 +0000819 switch (Opcode) {
Eric Christopherac1a19e2010-09-09 01:06:51 +0000820 default:
Eric Christopher83007122010-08-23 21:44:12 +0000821 break;
Eric Christopher55324332010-10-12 00:43:21 +0000822 case Instruction::BitCast: {
823 // Look through bitcasts.
Eric Christopher0d581222010-11-19 22:30:02 +0000824 return ARMComputeAddress(U->getOperand(0), Addr);
Eric Christopher55324332010-10-12 00:43:21 +0000825 }
826 case Instruction::IntToPtr: {
827 // Look past no-op inttoptrs.
828 if (TLI.getValueType(U->getOperand(0)->getType()) == TLI.getPointerTy())
Eric Christopher0d581222010-11-19 22:30:02 +0000829 return ARMComputeAddress(U->getOperand(0), Addr);
Eric Christopher55324332010-10-12 00:43:21 +0000830 break;
831 }
832 case Instruction::PtrToInt: {
833 // Look past no-op ptrtoints.
834 if (TLI.getValueType(U->getType()) == TLI.getPointerTy())
Eric Christopher0d581222010-11-19 22:30:02 +0000835 return ARMComputeAddress(U->getOperand(0), Addr);
Eric Christopher55324332010-10-12 00:43:21 +0000836 break;
837 }
Eric Christophereae84392010-10-14 09:29:41 +0000838 case Instruction::GetElementPtr: {
Eric Christopherb3716582010-11-19 22:39:56 +0000839 Address SavedAddr = Addr;
Eric Christopher0d581222010-11-19 22:30:02 +0000840 int TmpOffset = Addr.Offset;
Eric Christopher2896df82010-10-15 18:02:07 +0000841
Eric Christophereae84392010-10-14 09:29:41 +0000842 // Iterate through the GEP folding the constants into offsets where
843 // we can.
844 gep_type_iterator GTI = gep_type_begin(U);
845 for (User::const_op_iterator i = U->op_begin() + 1, e = U->op_end();
846 i != e; ++i, ++GTI) {
847 const Value *Op = *i;
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000848 if (StructType *STy = dyn_cast<StructType>(*GTI)) {
Eric Christophereae84392010-10-14 09:29:41 +0000849 const StructLayout *SL = TD.getStructLayout(STy);
850 unsigned Idx = cast<ConstantInt>(Op)->getZExtValue();
851 TmpOffset += SL->getElementOffset(Idx);
852 } else {
Eric Christopher2896df82010-10-15 18:02:07 +0000853 uint64_t S = TD.getTypeAllocSize(GTI.getIndexedType());
Eric Christopher7244d7c2011-03-22 19:39:17 +0000854 for (;;) {
Eric Christopher2896df82010-10-15 18:02:07 +0000855 if (const ConstantInt *CI = dyn_cast<ConstantInt>(Op)) {
856 // Constant-offset addressing.
857 TmpOffset += CI->getSExtValue() * S;
Eric Christopher7244d7c2011-03-22 19:39:17 +0000858 break;
859 }
860 if (isa<AddOperator>(Op) &&
861 (!isa<Instruction>(Op) ||
862 FuncInfo.MBBMap[cast<Instruction>(Op)->getParent()]
863 == FuncInfo.MBB) &&
864 isa<ConstantInt>(cast<AddOperator>(Op)->getOperand(1))) {
Eric Christopher299bbb22011-04-29 00:03:10 +0000865 // An add (in the same block) with a constant operand. Fold the
Eric Christopher7244d7c2011-03-22 19:39:17 +0000866 // constant.
Eric Christopher2896df82010-10-15 18:02:07 +0000867 ConstantInt *CI =
Eric Christopher7244d7c2011-03-22 19:39:17 +0000868 cast<ConstantInt>(cast<AddOperator>(Op)->getOperand(1));
Eric Christopher2896df82010-10-15 18:02:07 +0000869 TmpOffset += CI->getSExtValue() * S;
Eric Christopher7244d7c2011-03-22 19:39:17 +0000870 // Iterate on the other operand.
871 Op = cast<AddOperator>(Op)->getOperand(0);
872 continue;
Eric Christopher299bbb22011-04-29 00:03:10 +0000873 }
Eric Christopher7244d7c2011-03-22 19:39:17 +0000874 // Unsupported
875 goto unsupported_gep;
876 }
Eric Christophereae84392010-10-14 09:29:41 +0000877 }
878 }
Eric Christopher2896df82010-10-15 18:02:07 +0000879
880 // Try to grab the base operand now.
Eric Christopher0d581222010-11-19 22:30:02 +0000881 Addr.Offset = TmpOffset;
882 if (ARMComputeAddress(U->getOperand(0), Addr)) return true;
Eric Christopher2896df82010-10-15 18:02:07 +0000883
884 // We failed, restore everything and try the other options.
Eric Christopherb3716582010-11-19 22:39:56 +0000885 Addr = SavedAddr;
Eric Christopher2896df82010-10-15 18:02:07 +0000886
Eric Christophereae84392010-10-14 09:29:41 +0000887 unsupported_gep:
Eric Christophereae84392010-10-14 09:29:41 +0000888 break;
889 }
Eric Christopher83007122010-08-23 21:44:12 +0000890 case Instruction::Alloca: {
Eric Christopher15418772010-10-12 05:39:06 +0000891 const AllocaInst *AI = cast<AllocaInst>(Obj);
Eric Christopher827656d2010-11-20 22:38:27 +0000892 DenseMap<const AllocaInst*, int>::iterator SI =
893 FuncInfo.StaticAllocaMap.find(AI);
894 if (SI != FuncInfo.StaticAllocaMap.end()) {
895 Addr.BaseType = Address::FrameIndexBase;
896 Addr.Base.FI = SI->second;
897 return true;
898 }
899 break;
Eric Christopher83007122010-08-23 21:44:12 +0000900 }
901 }
Eric Christopherac1a19e2010-09-09 01:06:51 +0000902
Eric Christophercb0b04b2010-08-24 00:07:24 +0000903 // Try to get this in a register if nothing else has worked.
Eric Christopher0d581222010-11-19 22:30:02 +0000904 if (Addr.Base.Reg == 0) Addr.Base.Reg = getRegForValue(Obj);
905 return Addr.Base.Reg != 0;
Eric Christophereae84392010-10-14 09:29:41 +0000906}
907
Chad Rosier6290b932012-12-17 22:35:29 +0000908void ARMFastISel::ARMSimplifyAddress(Address &Addr, MVT VT, bool useAM3) {
Eric Christopher212ae932010-10-21 19:40:30 +0000909 bool needsLowering = false;
Chad Rosier6290b932012-12-17 22:35:29 +0000910 switch (VT.SimpleTy) {
Craig Topperbc219812012-02-07 02:50:20 +0000911 default: llvm_unreachable("Unhandled load/store type!");
Eric Christopher212ae932010-10-21 19:40:30 +0000912 case MVT::i1:
913 case MVT::i8:
Chad Rosierb29b9502011-11-13 02:23:59 +0000914 case MVT::i16:
Eric Christopher212ae932010-10-21 19:40:30 +0000915 case MVT::i32:
Chad Rosier57b29972011-11-14 20:22:27 +0000916 if (!useAM3) {
Chad Rosierb29b9502011-11-13 02:23:59 +0000917 // Integer loads/stores handle 12-bit offsets.
918 needsLowering = ((Addr.Offset & 0xfff) != Addr.Offset);
Chad Rosier57b29972011-11-14 20:22:27 +0000919 // Handle negative offsets.
Chad Rosiere489af82011-11-14 22:34:48 +0000920 if (needsLowering && isThumb2)
921 needsLowering = !(Subtarget->hasV6T2Ops() && Addr.Offset < 0 &&
922 Addr.Offset > -256);
Chad Rosier57b29972011-11-14 20:22:27 +0000923 } else {
Chad Rosier5be833d2011-11-13 04:25:02 +0000924 // ARM halfword load/stores and signed byte loads use +/-imm8 offsets.
Chad Rosierdc9205d2011-11-14 04:09:28 +0000925 needsLowering = (Addr.Offset > 255 || Addr.Offset < -255);
Chad Rosier57b29972011-11-14 20:22:27 +0000926 }
Eric Christopher212ae932010-10-21 19:40:30 +0000927 break;
928 case MVT::f32:
929 case MVT::f64:
930 // Floating point operands handle 8-bit offsets.
Eric Christopher0d581222010-11-19 22:30:02 +0000931 needsLowering = ((Addr.Offset & 0xff) != Addr.Offset);
Eric Christopher212ae932010-10-21 19:40:30 +0000932 break;
933 }
Jim Grosbach6b156392010-10-27 21:39:08 +0000934
Eric Christopher827656d2010-11-20 22:38:27 +0000935 // If this is a stack pointer and the offset needs to be simplified then
936 // put the alloca address into a register, set the base type back to
937 // register and continue. This should almost never happen.
938 if (needsLowering && Addr.BaseType == Address::FrameIndexBase) {
Craig Topper420761a2012-04-20 07:30:17 +0000939 const TargetRegisterClass *RC = isThumb2 ?
940 (const TargetRegisterClass*)&ARM::tGPRRegClass :
941 (const TargetRegisterClass*)&ARM::GPRRegClass;
Eric Christopher827656d2010-11-20 22:38:27 +0000942 unsigned ResultReg = createResultReg(RC);
Chad Rosier66dc8ca2011-11-08 21:12:00 +0000943 unsigned Opc = isThumb2 ? ARM::t2ADDri : ARM::ADDri;
Evan Chengddfd1372011-12-14 02:11:42 +0000944 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopher827656d2010-11-20 22:38:27 +0000945 TII.get(Opc), ResultReg)
946 .addFrameIndex(Addr.Base.FI)
947 .addImm(0));
948 Addr.Base.Reg = ResultReg;
949 Addr.BaseType = Address::RegBase;
950 }
951
Eric Christopher212ae932010-10-21 19:40:30 +0000952 // Since the offset is too large for the load/store instruction
Eric Christopher318b6ee2010-09-02 00:53:56 +0000953 // get the reg+offset into a register.
Eric Christopher212ae932010-10-21 19:40:30 +0000954 if (needsLowering) {
Eli Friedman9ebf57a2011-04-29 21:22:56 +0000955 Addr.Base.Reg = FastEmit_ri_(MVT::i32, ISD::ADD, Addr.Base.Reg,
956 /*Op0IsKill*/false, Addr.Offset, MVT::i32);
Eric Christopher0d581222010-11-19 22:30:02 +0000957 Addr.Offset = 0;
Eric Christopher318b6ee2010-09-02 00:53:56 +0000958 }
Eric Christopher83007122010-08-23 21:44:12 +0000959}
960
Chad Rosier6290b932012-12-17 22:35:29 +0000961void ARMFastISel::AddLoadStoreOperands(MVT VT, Address &Addr,
Cameron Zwarichc152aa62011-05-28 20:34:49 +0000962 const MachineInstrBuilder &MIB,
Chad Rosierb29b9502011-11-13 02:23:59 +0000963 unsigned Flags, bool useAM3) {
Eric Christopher564857f2010-12-01 01:40:24 +0000964 // addrmode5 output depends on the selection dag addressing dividing the
965 // offset by 4 that it then later multiplies. Do this here as well.
Chad Rosier6290b932012-12-17 22:35:29 +0000966 if (VT.SimpleTy == MVT::f32 || VT.SimpleTy == MVT::f64)
Eric Christopher564857f2010-12-01 01:40:24 +0000967 Addr.Offset /= 4;
Eric Christopher299bbb22011-04-29 00:03:10 +0000968
Eric Christopher564857f2010-12-01 01:40:24 +0000969 // Frame base works a bit differently. Handle it separately.
970 if (Addr.BaseType == Address::FrameIndexBase) {
971 int FI = Addr.Base.FI;
972 int Offset = Addr.Offset;
973 MachineMemOperand *MMO =
974 FuncInfo.MF->getMachineMemOperand(
975 MachinePointerInfo::getFixedStack(FI, Offset),
Cameron Zwarichc152aa62011-05-28 20:34:49 +0000976 Flags,
Eric Christopher564857f2010-12-01 01:40:24 +0000977 MFI.getObjectSize(FI),
978 MFI.getObjectAlignment(FI));
979 // Now add the rest of the operands.
980 MIB.addFrameIndex(FI);
981
Bob Wilson6ce2dea2011-12-04 00:52:23 +0000982 // ARM halfword load/stores and signed byte loads need an additional
983 // operand.
Chad Rosierdc9205d2011-11-14 04:09:28 +0000984 if (useAM3) {
985 signed Imm = (Addr.Offset < 0) ? (0x100 | -Addr.Offset) : Addr.Offset;
986 MIB.addReg(0);
987 MIB.addImm(Imm);
988 } else {
989 MIB.addImm(Addr.Offset);
990 }
Eric Christopher564857f2010-12-01 01:40:24 +0000991 MIB.addMemOperand(MMO);
992 } else {
993 // Now add the rest of the operands.
994 MIB.addReg(Addr.Base.Reg);
Eric Christopher299bbb22011-04-29 00:03:10 +0000995
Bob Wilson6ce2dea2011-12-04 00:52:23 +0000996 // ARM halfword load/stores and signed byte loads need an additional
997 // operand.
Chad Rosierdc9205d2011-11-14 04:09:28 +0000998 if (useAM3) {
999 signed Imm = (Addr.Offset < 0) ? (0x100 | -Addr.Offset) : Addr.Offset;
1000 MIB.addReg(0);
1001 MIB.addImm(Imm);
1002 } else {
1003 MIB.addImm(Addr.Offset);
1004 }
Eric Christopher564857f2010-12-01 01:40:24 +00001005 }
1006 AddOptionalDefs(MIB);
1007}
1008
Patrik Hagglunda61b17c2012-12-13 06:34:11 +00001009bool ARMFastISel::ARMEmitLoad(MVT VT, unsigned &ResultReg, Address &Addr,
Chad Rosier8a9bce92011-12-13 19:22:14 +00001010 unsigned Alignment, bool isZExt, bool allocReg) {
Eric Christopherdc908042010-08-31 01:28:42 +00001011 unsigned Opc;
Chad Rosierb29b9502011-11-13 02:23:59 +00001012 bool useAM3 = false;
Chad Rosier8a9bce92011-12-13 19:22:14 +00001013 bool needVMOV = false;
Craig Topper44d23822012-02-22 05:59:10 +00001014 const TargetRegisterClass *RC;
Patrik Hagglunda61b17c2012-12-13 06:34:11 +00001015 switch (VT.SimpleTy) {
Eric Christopher564857f2010-12-01 01:40:24 +00001016 // This is mostly going to be Neon/vector support.
1017 default: return false;
Chad Rosier646abbf2011-11-11 02:38:59 +00001018 case MVT::i1:
Eric Christopher4e68c7c2010-09-01 18:01:32 +00001019 case MVT::i8:
Chad Rosier57b29972011-11-14 20:22:27 +00001020 if (isThumb2) {
1021 if (Addr.Offset < 0 && Addr.Offset > -256 && Subtarget->hasV6T2Ops())
1022 Opc = isZExt ? ARM::t2LDRBi8 : ARM::t2LDRSBi8;
1023 else
1024 Opc = isZExt ? ARM::t2LDRBi12 : ARM::t2LDRSBi12;
Chad Rosierb29b9502011-11-13 02:23:59 +00001025 } else {
Chad Rosier57b29972011-11-14 20:22:27 +00001026 if (isZExt) {
1027 Opc = ARM::LDRBi12;
1028 } else {
1029 Opc = ARM::LDRSB;
1030 useAM3 = true;
1031 }
Chad Rosierb29b9502011-11-13 02:23:59 +00001032 }
Craig Topper420761a2012-04-20 07:30:17 +00001033 RC = &ARM::GPRRegClass;
Eric Christopher4e68c7c2010-09-01 18:01:32 +00001034 break;
Chad Rosier73463472011-11-09 21:30:12 +00001035 case MVT::i16:
Chad Rosierb3235b12012-11-09 18:25:27 +00001036 if (Alignment && Alignment < 2 && !Subtarget->allowsUnalignedMem())
Chad Rosierd70c98e2012-09-21 00:41:42 +00001037 return false;
1038
Chad Rosier57b29972011-11-14 20:22:27 +00001039 if (isThumb2) {
1040 if (Addr.Offset < 0 && Addr.Offset > -256 && Subtarget->hasV6T2Ops())
1041 Opc = isZExt ? ARM::t2LDRHi8 : ARM::t2LDRSHi8;
1042 else
1043 Opc = isZExt ? ARM::t2LDRHi12 : ARM::t2LDRSHi12;
1044 } else {
1045 Opc = isZExt ? ARM::LDRH : ARM::LDRSH;
1046 useAM3 = true;
1047 }
Craig Topper420761a2012-04-20 07:30:17 +00001048 RC = &ARM::GPRRegClass;
Chad Rosier73463472011-11-09 21:30:12 +00001049 break;
Eric Christopherdc908042010-08-31 01:28:42 +00001050 case MVT::i32:
Chad Rosierb3235b12012-11-09 18:25:27 +00001051 if (Alignment && Alignment < 4 && !Subtarget->allowsUnalignedMem())
Chad Rosiere5e674b2012-09-21 16:58:35 +00001052 return false;
1053
Chad Rosier57b29972011-11-14 20:22:27 +00001054 if (isThumb2) {
1055 if (Addr.Offset < 0 && Addr.Offset > -256 && Subtarget->hasV6T2Ops())
1056 Opc = ARM::t2LDRi8;
1057 else
1058 Opc = ARM::t2LDRi12;
1059 } else {
1060 Opc = ARM::LDRi12;
1061 }
Craig Topper420761a2012-04-20 07:30:17 +00001062 RC = &ARM::GPRRegClass;
Eric Christopherdc908042010-08-31 01:28:42 +00001063 break;
Eric Christopher6dab1372010-09-18 01:59:37 +00001064 case MVT::f32:
Chad Rosier6762f8f2011-12-14 17:55:03 +00001065 if (!Subtarget->hasVFP2()) return false;
Chad Rosier8a9bce92011-12-13 19:22:14 +00001066 // Unaligned loads need special handling. Floats require word-alignment.
1067 if (Alignment && Alignment < 4) {
1068 needVMOV = true;
1069 VT = MVT::i32;
1070 Opc = isThumb2 ? ARM::t2LDRi12 : ARM::LDRi12;
Craig Topper420761a2012-04-20 07:30:17 +00001071 RC = &ARM::GPRRegClass;
Chad Rosier8a9bce92011-12-13 19:22:14 +00001072 } else {
1073 Opc = ARM::VLDRS;
1074 RC = TLI.getRegClassFor(VT);
1075 }
Eric Christopher6dab1372010-09-18 01:59:37 +00001076 break;
1077 case MVT::f64:
Chad Rosier6762f8f2011-12-14 17:55:03 +00001078 if (!Subtarget->hasVFP2()) return false;
Chad Rosier404ed3c2011-12-14 17:26:05 +00001079 // FIXME: Unaligned loads need special handling. Doublewords require
1080 // word-alignment.
1081 if (Alignment && Alignment < 4)
Chad Rosier8a9bce92011-12-13 19:22:14 +00001082 return false;
Chad Rosier404ed3c2011-12-14 17:26:05 +00001083
Eric Christopher6dab1372010-09-18 01:59:37 +00001084 Opc = ARM::VLDRD;
Eric Christopheree56ea62010-10-07 05:50:44 +00001085 RC = TLI.getRegClassFor(VT);
Eric Christopher6dab1372010-09-18 01:59:37 +00001086 break;
Eric Christopherb1cc8482010-08-25 07:23:49 +00001087 }
Eric Christopher564857f2010-12-01 01:40:24 +00001088 // Simplify this down to something we can handle.
Chad Rosierb29b9502011-11-13 02:23:59 +00001089 ARMSimplifyAddress(Addr, VT, useAM3);
Jim Grosbach6b156392010-10-27 21:39:08 +00001090
Eric Christopher564857f2010-12-01 01:40:24 +00001091 // Create the base instruction, then add the operands.
Chad Rosierb29b9502011-11-13 02:23:59 +00001092 if (allocReg)
1093 ResultReg = createResultReg(RC);
1094 assert (ResultReg > 255 && "Expected an allocated virtual register.");
Eric Christopher564857f2010-12-01 01:40:24 +00001095 MachineInstrBuilder MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
1096 TII.get(Opc), ResultReg);
Chad Rosierb29b9502011-11-13 02:23:59 +00001097 AddLoadStoreOperands(VT, Addr, MIB, MachineMemOperand::MOLoad, useAM3);
Chad Rosier8a9bce92011-12-13 19:22:14 +00001098
1099 // If we had an unaligned load of a float we've converted it to an regular
1100 // load. Now we must move from the GRP to the FP register.
1101 if (needVMOV) {
1102 unsigned MoveReg = createResultReg(TLI.getRegClassFor(MVT::f32));
1103 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
1104 TII.get(ARM::VMOVSR), MoveReg)
1105 .addReg(ResultReg));
1106 ResultReg = MoveReg;
1107 }
Eric Christopherdc908042010-08-31 01:28:42 +00001108 return true;
Eric Christopherb1cc8482010-08-25 07:23:49 +00001109}
1110
Eric Christopher43b62be2010-09-27 06:02:23 +00001111bool ARMFastISel::SelectLoad(const Instruction *I) {
Eli Friedman4136d232011-09-02 22:33:24 +00001112 // Atomic loads need special handling.
1113 if (cast<LoadInst>(I)->isAtomic())
1114 return false;
1115
Eric Christopherdb12b2b2010-09-10 00:34:35 +00001116 // Verify we have a legal type before going any further.
Duncan Sands1440e8b2010-11-03 11:35:31 +00001117 MVT VT;
Eric Christopherdb12b2b2010-09-10 00:34:35 +00001118 if (!isLoadTypeLegal(I->getType(), VT))
1119 return false;
1120
Eric Christopher564857f2010-12-01 01:40:24 +00001121 // See if we can handle this address.
Eric Christopher0d581222010-11-19 22:30:02 +00001122 Address Addr;
Eric Christopher564857f2010-12-01 01:40:24 +00001123 if (!ARMComputeAddress(I->getOperand(0), Addr)) return false;
Eric Christopherdb12b2b2010-09-10 00:34:35 +00001124
1125 unsigned ResultReg;
Chad Rosier8a9bce92011-12-13 19:22:14 +00001126 if (!ARMEmitLoad(VT, ResultReg, Addr, cast<LoadInst>(I)->getAlignment()))
1127 return false;
Eric Christopherdb12b2b2010-09-10 00:34:35 +00001128 UpdateValueMap(I, ResultReg);
1129 return true;
1130}
1131
Patrik Hagglunda61b17c2012-12-13 06:34:11 +00001132bool ARMFastISel::ARMEmitStore(MVT VT, unsigned SrcReg, Address &Addr,
Bob Wilson6ce2dea2011-12-04 00:52:23 +00001133 unsigned Alignment) {
Eric Christopher318b6ee2010-09-02 00:53:56 +00001134 unsigned StrOpc;
Chad Rosierb29b9502011-11-13 02:23:59 +00001135 bool useAM3 = false;
Patrik Hagglunda61b17c2012-12-13 06:34:11 +00001136 switch (VT.SimpleTy) {
Eric Christopher564857f2010-12-01 01:40:24 +00001137 // This is mostly going to be Neon/vector support.
Eric Christopher318b6ee2010-09-02 00:53:56 +00001138 default: return false;
Eric Christopher4c914122010-11-02 23:59:09 +00001139 case MVT::i1: {
Craig Topper420761a2012-04-20 07:30:17 +00001140 unsigned Res = createResultReg(isThumb2 ?
1141 (const TargetRegisterClass*)&ARM::tGPRRegClass :
1142 (const TargetRegisterClass*)&ARM::GPRRegClass);
Chad Rosier66dc8ca2011-11-08 21:12:00 +00001143 unsigned Opc = isThumb2 ? ARM::t2ANDri : ARM::ANDri;
Eric Christopher4c914122010-11-02 23:59:09 +00001144 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
1145 TII.get(Opc), Res)
1146 .addReg(SrcReg).addImm(1));
1147 SrcReg = Res;
1148 } // Fallthrough here.
Eric Christopher2896df82010-10-15 18:02:07 +00001149 case MVT::i8:
Chad Rosier57b29972011-11-14 20:22:27 +00001150 if (isThumb2) {
1151 if (Addr.Offset < 0 && Addr.Offset > -256 && Subtarget->hasV6T2Ops())
1152 StrOpc = ARM::t2STRBi8;
1153 else
1154 StrOpc = ARM::t2STRBi12;
1155 } else {
1156 StrOpc = ARM::STRBi12;
1157 }
Eric Christopher15418772010-10-12 05:39:06 +00001158 break;
1159 case MVT::i16:
Chad Rosierb3235b12012-11-09 18:25:27 +00001160 if (Alignment && Alignment < 2 && !Subtarget->allowsUnalignedMem())
Chad Rosierd70c98e2012-09-21 00:41:42 +00001161 return false;
1162
Chad Rosier57b29972011-11-14 20:22:27 +00001163 if (isThumb2) {
1164 if (Addr.Offset < 0 && Addr.Offset > -256 && Subtarget->hasV6T2Ops())
1165 StrOpc = ARM::t2STRHi8;
1166 else
1167 StrOpc = ARM::t2STRHi12;
1168 } else {
1169 StrOpc = ARM::STRH;
1170 useAM3 = true;
1171 }
Eric Christopher15418772010-10-12 05:39:06 +00001172 break;
Eric Christopher47650ec2010-10-16 01:10:35 +00001173 case MVT::i32:
Chad Rosierb3235b12012-11-09 18:25:27 +00001174 if (Alignment && Alignment < 4 && !Subtarget->allowsUnalignedMem())
Chad Rosiere5e674b2012-09-21 16:58:35 +00001175 return false;
1176
Chad Rosier57b29972011-11-14 20:22:27 +00001177 if (isThumb2) {
1178 if (Addr.Offset < 0 && Addr.Offset > -256 && Subtarget->hasV6T2Ops())
1179 StrOpc = ARM::t2STRi8;
1180 else
1181 StrOpc = ARM::t2STRi12;
1182 } else {
1183 StrOpc = ARM::STRi12;
1184 }
Eric Christopher47650ec2010-10-16 01:10:35 +00001185 break;
Eric Christopher56d2b722010-09-02 23:43:26 +00001186 case MVT::f32:
1187 if (!Subtarget->hasVFP2()) return false;
Chad Rosiered42c5f2011-12-06 01:44:17 +00001188 // Unaligned stores need special handling. Floats require word-alignment.
Chad Rosier9eff1e32011-12-03 02:21:57 +00001189 if (Alignment && Alignment < 4) {
1190 unsigned MoveReg = createResultReg(TLI.getRegClassFor(MVT::i32));
1191 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
1192 TII.get(ARM::VMOVRS), MoveReg)
1193 .addReg(SrcReg));
1194 SrcReg = MoveReg;
1195 VT = MVT::i32;
1196 StrOpc = isThumb2 ? ARM::t2STRi12 : ARM::STRi12;
Chad Rosier64ac91b2011-12-14 17:32:02 +00001197 } else {
1198 StrOpc = ARM::VSTRS;
Chad Rosier9eff1e32011-12-03 02:21:57 +00001199 }
Eric Christopher56d2b722010-09-02 23:43:26 +00001200 break;
1201 case MVT::f64:
1202 if (!Subtarget->hasVFP2()) return false;
Chad Rosiered42c5f2011-12-06 01:44:17 +00001203 // FIXME: Unaligned stores need special handling. Doublewords require
1204 // word-alignment.
Chad Rosier404ed3c2011-12-14 17:26:05 +00001205 if (Alignment && Alignment < 4)
Chad Rosier9eff1e32011-12-03 02:21:57 +00001206 return false;
Chad Rosier404ed3c2011-12-14 17:26:05 +00001207
Eric Christopher56d2b722010-09-02 23:43:26 +00001208 StrOpc = ARM::VSTRD;
1209 break;
Eric Christopher318b6ee2010-09-02 00:53:56 +00001210 }
Eric Christopher564857f2010-12-01 01:40:24 +00001211 // Simplify this down to something we can handle.
Chad Rosierb29b9502011-11-13 02:23:59 +00001212 ARMSimplifyAddress(Addr, VT, useAM3);
Jim Grosbach6b156392010-10-27 21:39:08 +00001213
Eric Christopher564857f2010-12-01 01:40:24 +00001214 // Create the base instruction, then add the operands.
1215 MachineInstrBuilder MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
1216 TII.get(StrOpc))
Chad Rosier3bdb3c92011-11-17 01:16:53 +00001217 .addReg(SrcReg);
Chad Rosierb29b9502011-11-13 02:23:59 +00001218 AddLoadStoreOperands(VT, Addr, MIB, MachineMemOperand::MOStore, useAM3);
Eric Christopher318b6ee2010-09-02 00:53:56 +00001219 return true;
1220}
1221
Eric Christopher43b62be2010-09-27 06:02:23 +00001222bool ARMFastISel::SelectStore(const Instruction *I) {
Eric Christopher318b6ee2010-09-02 00:53:56 +00001223 Value *Op0 = I->getOperand(0);
1224 unsigned SrcReg = 0;
1225
Eli Friedman4136d232011-09-02 22:33:24 +00001226 // Atomic stores need special handling.
1227 if (cast<StoreInst>(I)->isAtomic())
1228 return false;
1229
Eric Christopher564857f2010-12-01 01:40:24 +00001230 // Verify we have a legal type before going any further.
Duncan Sands1440e8b2010-11-03 11:35:31 +00001231 MVT VT;
Eric Christopher318b6ee2010-09-02 00:53:56 +00001232 if (!isLoadTypeLegal(I->getOperand(0)->getType(), VT))
Eric Christopher543cf052010-09-01 22:16:27 +00001233 return false;
Eric Christopher318b6ee2010-09-02 00:53:56 +00001234
Eric Christopher1b61ef42010-09-02 01:48:11 +00001235 // Get the value to be stored into a register.
1236 SrcReg = getRegForValue(Op0);
Eric Christopher564857f2010-12-01 01:40:24 +00001237 if (SrcReg == 0) return false;
Eric Christopherac1a19e2010-09-09 01:06:51 +00001238
Eric Christopher564857f2010-12-01 01:40:24 +00001239 // See if we can handle this address.
Eric Christopher0d581222010-11-19 22:30:02 +00001240 Address Addr;
Eric Christopher0d581222010-11-19 22:30:02 +00001241 if (!ARMComputeAddress(I->getOperand(1), Addr))
Eric Christopher318b6ee2010-09-02 00:53:56 +00001242 return false;
Eric Christopherac1a19e2010-09-09 01:06:51 +00001243
Chad Rosier9eff1e32011-12-03 02:21:57 +00001244 if (!ARMEmitStore(VT, SrcReg, Addr, cast<StoreInst>(I)->getAlignment()))
1245 return false;
Eric Christophera5b1e682010-09-17 22:28:18 +00001246 return true;
1247}
1248
1249static ARMCC::CondCodes getComparePred(CmpInst::Predicate Pred) {
1250 switch (Pred) {
1251 // Needs two compares...
1252 case CmpInst::FCMP_ONE:
Eric Christopherdccd2c32010-10-11 08:38:55 +00001253 case CmpInst::FCMP_UEQ:
Eric Christophera5b1e682010-09-17 22:28:18 +00001254 default:
Eric Christopher4053e632010-11-02 01:24:49 +00001255 // AL is our "false" for now. The other two need more compares.
Eric Christophera5b1e682010-09-17 22:28:18 +00001256 return ARMCC::AL;
1257 case CmpInst::ICMP_EQ:
1258 case CmpInst::FCMP_OEQ:
1259 return ARMCC::EQ;
1260 case CmpInst::ICMP_SGT:
1261 case CmpInst::FCMP_OGT:
1262 return ARMCC::GT;
1263 case CmpInst::ICMP_SGE:
1264 case CmpInst::FCMP_OGE:
1265 return ARMCC::GE;
1266 case CmpInst::ICMP_UGT:
1267 case CmpInst::FCMP_UGT:
1268 return ARMCC::HI;
1269 case CmpInst::FCMP_OLT:
1270 return ARMCC::MI;
1271 case CmpInst::ICMP_ULE:
1272 case CmpInst::FCMP_OLE:
1273 return ARMCC::LS;
1274 case CmpInst::FCMP_ORD:
1275 return ARMCC::VC;
1276 case CmpInst::FCMP_UNO:
1277 return ARMCC::VS;
1278 case CmpInst::FCMP_UGE:
1279 return ARMCC::PL;
1280 case CmpInst::ICMP_SLT:
1281 case CmpInst::FCMP_ULT:
Eric Christopherdccd2c32010-10-11 08:38:55 +00001282 return ARMCC::LT;
Eric Christophera5b1e682010-09-17 22:28:18 +00001283 case CmpInst::ICMP_SLE:
1284 case CmpInst::FCMP_ULE:
1285 return ARMCC::LE;
1286 case CmpInst::FCMP_UNE:
1287 case CmpInst::ICMP_NE:
1288 return ARMCC::NE;
1289 case CmpInst::ICMP_UGE:
1290 return ARMCC::HS;
1291 case CmpInst::ICMP_ULT:
1292 return ARMCC::LO;
1293 }
Eric Christopher543cf052010-09-01 22:16:27 +00001294}
1295
Eric Christopher43b62be2010-09-27 06:02:23 +00001296bool ARMFastISel::SelectBranch(const Instruction *I) {
Eric Christophere5734102010-09-03 00:35:47 +00001297 const BranchInst *BI = cast<BranchInst>(I);
1298 MachineBasicBlock *TBB = FuncInfo.MBBMap[BI->getSuccessor(0)];
1299 MachineBasicBlock *FBB = FuncInfo.MBBMap[BI->getSuccessor(1)];
Eric Christopherac1a19e2010-09-09 01:06:51 +00001300
Eric Christophere5734102010-09-03 00:35:47 +00001301 // Simple branch support.
Jim Grosbach16cb3762010-11-09 19:22:26 +00001302
Eric Christopher0e6233b2010-10-29 21:08:19 +00001303 // If we can, avoid recomputing the compare - redoing it could lead to wonky
1304 // behavior.
Eric Christopher0e6233b2010-10-29 21:08:19 +00001305 if (const CmpInst *CI = dyn_cast<CmpInst>(BI->getCondition())) {
Chad Rosier75698f32011-10-26 23:17:28 +00001306 if (CI->hasOneUse() && (CI->getParent() == I->getParent())) {
Eric Christopher0e6233b2010-10-29 21:08:19 +00001307
1308 // Get the compare predicate.
Eric Christopher632ae892011-04-29 21:56:31 +00001309 // Try to take advantage of fallthrough opportunities.
1310 CmpInst::Predicate Predicate = CI->getPredicate();
1311 if (FuncInfo.MBB->isLayoutSuccessor(TBB)) {
1312 std::swap(TBB, FBB);
1313 Predicate = CmpInst::getInversePredicate(Predicate);
1314 }
1315
1316 ARMCC::CondCodes ARMPred = getComparePred(Predicate);
Eric Christopher0e6233b2010-10-29 21:08:19 +00001317
1318 // We may not handle every CC for now.
1319 if (ARMPred == ARMCC::AL) return false;
1320
Chad Rosier75698f32011-10-26 23:17:28 +00001321 // Emit the compare.
Chad Rosiere07cd5e2011-11-02 18:08:25 +00001322 if (!ARMEmitCmp(CI->getOperand(0), CI->getOperand(1), CI->isUnsigned()))
Chad Rosier75698f32011-10-26 23:17:28 +00001323 return false;
Jim Grosbach16cb3762010-11-09 19:22:26 +00001324
Chad Rosier66dc8ca2011-11-08 21:12:00 +00001325 unsigned BrOpc = isThumb2 ? ARM::t2Bcc : ARM::Bcc;
Eric Christopher0e6233b2010-10-29 21:08:19 +00001326 BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(BrOpc))
1327 .addMBB(TBB).addImm(ARMPred).addReg(ARM::CPSR);
1328 FastEmitBranch(FBB, DL);
1329 FuncInfo.MBB->addSuccessor(TBB);
1330 return true;
1331 }
Eric Christopherbcf26ae2011-04-29 20:02:39 +00001332 } else if (TruncInst *TI = dyn_cast<TruncInst>(BI->getCondition())) {
1333 MVT SourceVT;
1334 if (TI->hasOneUse() && TI->getParent() == I->getParent() &&
Eli Friedman76927d732011-05-25 23:49:02 +00001335 (isLoadTypeLegal(TI->getOperand(0)->getType(), SourceVT))) {
Chad Rosier66dc8ca2011-11-08 21:12:00 +00001336 unsigned TstOpc = isThumb2 ? ARM::t2TSTri : ARM::TSTri;
Eric Christopherbcf26ae2011-04-29 20:02:39 +00001337 unsigned OpReg = getRegForValue(TI->getOperand(0));
1338 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
1339 TII.get(TstOpc))
1340 .addReg(OpReg).addImm(1));
1341
1342 unsigned CCMode = ARMCC::NE;
1343 if (FuncInfo.MBB->isLayoutSuccessor(TBB)) {
1344 std::swap(TBB, FBB);
1345 CCMode = ARMCC::EQ;
1346 }
1347
Chad Rosier66dc8ca2011-11-08 21:12:00 +00001348 unsigned BrOpc = isThumb2 ? ARM::t2Bcc : ARM::Bcc;
Eric Christopherbcf26ae2011-04-29 20:02:39 +00001349 BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(BrOpc))
1350 .addMBB(TBB).addImm(CCMode).addReg(ARM::CPSR);
1351
1352 FastEmitBranch(FBB, DL);
1353 FuncInfo.MBB->addSuccessor(TBB);
1354 return true;
1355 }
Chad Rosier6d64b3a2011-10-27 00:21:16 +00001356 } else if (const ConstantInt *CI =
1357 dyn_cast<ConstantInt>(BI->getCondition())) {
1358 uint64_t Imm = CI->getZExtValue();
1359 MachineBasicBlock *Target = (Imm == 0) ? FBB : TBB;
1360 FastEmitBranch(Target, DL);
1361 return true;
Eric Christopher0e6233b2010-10-29 21:08:19 +00001362 }
Jim Grosbach16cb3762010-11-09 19:22:26 +00001363
Eric Christopher0e6233b2010-10-29 21:08:19 +00001364 unsigned CmpReg = getRegForValue(BI->getCondition());
1365 if (CmpReg == 0) return false;
Eric Christopherac1a19e2010-09-09 01:06:51 +00001366
Stuart Hastingsc5eecbc2011-04-16 03:31:26 +00001367 // We've been divorced from our compare! Our block was split, and
1368 // now our compare lives in a predecessor block. We musn't
1369 // re-compare here, as the children of the compare aren't guaranteed
1370 // live across the block boundary (we *could* check for this).
1371 // Regardless, the compare has been done in the predecessor block,
1372 // and it left a value for us in a virtual register. Ergo, we test
1373 // the one-bit value left in the virtual register.
Chad Rosier66dc8ca2011-11-08 21:12:00 +00001374 unsigned TstOpc = isThumb2 ? ARM::t2TSTri : ARM::TSTri;
Stuart Hastingsc5eecbc2011-04-16 03:31:26 +00001375 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(TstOpc))
1376 .addReg(CmpReg).addImm(1));
Eric Christopherdccd2c32010-10-11 08:38:55 +00001377
Eric Christopher7a20a372011-04-28 16:52:09 +00001378 unsigned CCMode = ARMCC::NE;
1379 if (FuncInfo.MBB->isLayoutSuccessor(TBB)) {
1380 std::swap(TBB, FBB);
1381 CCMode = ARMCC::EQ;
1382 }
1383
Chad Rosier66dc8ca2011-11-08 21:12:00 +00001384 unsigned BrOpc = isThumb2 ? ARM::t2Bcc : ARM::Bcc;
Eric Christophere5734102010-09-03 00:35:47 +00001385 BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(BrOpc))
Eric Christopher7a20a372011-04-28 16:52:09 +00001386 .addMBB(TBB).addImm(CCMode).addReg(ARM::CPSR);
Eric Christophere5734102010-09-03 00:35:47 +00001387 FastEmitBranch(FBB, DL);
1388 FuncInfo.MBB->addSuccessor(TBB);
Eric Christopherdccd2c32010-10-11 08:38:55 +00001389 return true;
Eric Christophere5734102010-09-03 00:35:47 +00001390}
1391
Chad Rosier60c8fa62012-02-07 23:56:08 +00001392bool ARMFastISel::SelectIndirectBr(const Instruction *I) {
1393 unsigned AddrReg = getRegForValue(I->getOperand(0));
1394 if (AddrReg == 0) return false;
1395
1396 unsigned Opc = isThumb2 ? ARM::tBRIND : ARM::BX;
1397 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(Opc))
1398 .addReg(AddrReg));
Bill Wendling8f47fc82012-10-22 23:30:04 +00001399
1400 const IndirectBrInst *IB = cast<IndirectBrInst>(I);
1401 for (unsigned i = 0, e = IB->getNumSuccessors(); i != e; ++i)
1402 FuncInfo.MBB->addSuccessor(FuncInfo.MBBMap[IB->getSuccessor(i)]);
1403
Jush Luefc967e2012-06-14 06:08:19 +00001404 return true;
Chad Rosier60c8fa62012-02-07 23:56:08 +00001405}
1406
Chad Rosiere07cd5e2011-11-02 18:08:25 +00001407bool ARMFastISel::ARMEmitCmp(const Value *Src1Value, const Value *Src2Value,
1408 bool isZExt) {
Chad Rosierade62002011-10-26 23:25:44 +00001409 Type *Ty = Src1Value->getType();
Patrik Hagglund3d170e62012-12-17 14:30:06 +00001410 EVT SrcEVT = TLI.getValueType(Ty, true);
1411 if (!SrcEVT.isSimple()) return false;
1412 MVT SrcVT = SrcEVT.getSimpleVT();
Eric Christopherac1a19e2010-09-09 01:06:51 +00001413
Chad Rosierade62002011-10-26 23:25:44 +00001414 bool isFloat = (Ty->isFloatTy() || Ty->isDoubleTy());
1415 if (isFloat && !Subtarget->hasVFP2())
Eric Christopherd43393a2010-09-08 23:13:45 +00001416 return false;
Eric Christopherac1a19e2010-09-09 01:06:51 +00001417
Chad Rosier2f2fe412011-11-09 03:22:02 +00001418 // Check to see if the 2nd operand is a constant that we can encode directly
1419 // in the compare.
Chad Rosier1c47de82011-11-11 06:27:41 +00001420 int Imm = 0;
1421 bool UseImm = false;
Chad Rosier2f2fe412011-11-09 03:22:02 +00001422 bool isNegativeImm = false;
Chad Rosierf56c60b2011-11-16 00:32:20 +00001423 // FIXME: At -O0 we don't have anything that canonicalizes operand order.
1424 // Thus, Src1Value may be a ConstantInt, but we're missing it.
Chad Rosier2f2fe412011-11-09 03:22:02 +00001425 if (const ConstantInt *ConstInt = dyn_cast<ConstantInt>(Src2Value)) {
1426 if (SrcVT == MVT::i32 || SrcVT == MVT::i16 || SrcVT == MVT::i8 ||
1427 SrcVT == MVT::i1) {
1428 const APInt &CIVal = ConstInt->getValue();
Chad Rosier1c47de82011-11-11 06:27:41 +00001429 Imm = (isZExt) ? (int)CIVal.getZExtValue() : (int)CIVal.getSExtValue();
Chad Rosier0ac754f2012-03-15 22:54:20 +00001430 // For INT_MIN/LONG_MIN (i.e., 0x80000000) we need to use a cmp, rather
1431 // then a cmn, because there is no way to represent 2147483648 as a
1432 // signed 32-bit int.
1433 if (Imm < 0 && Imm != (int)0x80000000) {
1434 isNegativeImm = true;
1435 Imm = -Imm;
Chad Rosier6cba97c2011-11-10 01:30:39 +00001436 }
Chad Rosier0ac754f2012-03-15 22:54:20 +00001437 UseImm = isThumb2 ? (ARM_AM::getT2SOImmVal(Imm) != -1) :
1438 (ARM_AM::getSOImmVal(Imm) != -1);
Chad Rosier2f2fe412011-11-09 03:22:02 +00001439 }
1440 } else if (const ConstantFP *ConstFP = dyn_cast<ConstantFP>(Src2Value)) {
1441 if (SrcVT == MVT::f32 || SrcVT == MVT::f64)
1442 if (ConstFP->isZero() && !ConstFP->isNegative())
Chad Rosier1c47de82011-11-11 06:27:41 +00001443 UseImm = true;
Chad Rosier2f2fe412011-11-09 03:22:02 +00001444 }
1445
Eric Christopherd43393a2010-09-08 23:13:45 +00001446 unsigned CmpOpc;
Chad Rosier2f2fe412011-11-09 03:22:02 +00001447 bool isICmp = true;
Chad Rosiere07cd5e2011-11-02 18:08:25 +00001448 bool needsExt = false;
Patrik Hagglunda61b17c2012-12-13 06:34:11 +00001449 switch (SrcVT.SimpleTy) {
Eric Christopherd43393a2010-09-08 23:13:45 +00001450 default: return false;
1451 // TODO: Verify compares.
1452 case MVT::f32:
Chad Rosier2f2fe412011-11-09 03:22:02 +00001453 isICmp = false;
Chad Rosier1c47de82011-11-11 06:27:41 +00001454 CmpOpc = UseImm ? ARM::VCMPEZS : ARM::VCMPES;
Eric Christopherd43393a2010-09-08 23:13:45 +00001455 break;
1456 case MVT::f64:
Chad Rosier2f2fe412011-11-09 03:22:02 +00001457 isICmp = false;
Chad Rosier1c47de82011-11-11 06:27:41 +00001458 CmpOpc = UseImm ? ARM::VCMPEZD : ARM::VCMPED;
Eric Christopherd43393a2010-09-08 23:13:45 +00001459 break;
Chad Rosiere07cd5e2011-11-02 18:08:25 +00001460 case MVT::i1:
1461 case MVT::i8:
1462 case MVT::i16:
1463 needsExt = true;
1464 // Intentional fall-through.
Eric Christopherd43393a2010-09-08 23:13:45 +00001465 case MVT::i32:
Chad Rosier2f2fe412011-11-09 03:22:02 +00001466 if (isThumb2) {
Chad Rosier1c47de82011-11-11 06:27:41 +00001467 if (!UseImm)
Chad Rosier2f2fe412011-11-09 03:22:02 +00001468 CmpOpc = ARM::t2CMPrr;
1469 else
Bill Wendlingad5c8802012-06-11 08:07:26 +00001470 CmpOpc = isNegativeImm ? ARM::t2CMNri : ARM::t2CMPri;
Chad Rosier2f2fe412011-11-09 03:22:02 +00001471 } else {
Chad Rosier1c47de82011-11-11 06:27:41 +00001472 if (!UseImm)
Chad Rosier2f2fe412011-11-09 03:22:02 +00001473 CmpOpc = ARM::CMPrr;
1474 else
Bill Wendlingad5c8802012-06-11 08:07:26 +00001475 CmpOpc = isNegativeImm ? ARM::CMNri : ARM::CMPri;
Chad Rosier2f2fe412011-11-09 03:22:02 +00001476 }
Eric Christopherd43393a2010-09-08 23:13:45 +00001477 break;
1478 }
1479
Chad Rosiere07cd5e2011-11-02 18:08:25 +00001480 unsigned SrcReg1 = getRegForValue(Src1Value);
1481 if (SrcReg1 == 0) return false;
Chad Rosier530f7ce2011-10-26 22:47:55 +00001482
Duncan Sands4c0c5452011-11-28 10:31:27 +00001483 unsigned SrcReg2 = 0;
Chad Rosier1c47de82011-11-11 06:27:41 +00001484 if (!UseImm) {
Chad Rosier2f2fe412011-11-09 03:22:02 +00001485 SrcReg2 = getRegForValue(Src2Value);
1486 if (SrcReg2 == 0) return false;
1487 }
Chad Rosiere07cd5e2011-11-02 18:08:25 +00001488
1489 // We have i1, i8, or i16, we need to either zero extend or sign extend.
1490 if (needsExt) {
Chad Rosiera69feb02012-02-16 22:45:33 +00001491 SrcReg1 = ARMEmitIntExt(SrcVT, SrcReg1, MVT::i32, isZExt);
1492 if (SrcReg1 == 0) return false;
Chad Rosier1c47de82011-11-11 06:27:41 +00001493 if (!UseImm) {
Chad Rosiera69feb02012-02-16 22:45:33 +00001494 SrcReg2 = ARMEmitIntExt(SrcVT, SrcReg2, MVT::i32, isZExt);
1495 if (SrcReg2 == 0) return false;
Chad Rosier2f2fe412011-11-09 03:22:02 +00001496 }
Chad Rosiere07cd5e2011-11-02 18:08:25 +00001497 }
Chad Rosier530f7ce2011-10-26 22:47:55 +00001498
Chad Rosier1c47de82011-11-11 06:27:41 +00001499 if (!UseImm) {
Chad Rosier2f2fe412011-11-09 03:22:02 +00001500 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
1501 TII.get(CmpOpc))
1502 .addReg(SrcReg1).addReg(SrcReg2));
1503 } else {
1504 MachineInstrBuilder MIB;
1505 MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(CmpOpc))
1506 .addReg(SrcReg1);
1507
1508 // Only add immediate for icmp as the immediate for fcmp is an implicit 0.0.
1509 if (isICmp)
Chad Rosier1c47de82011-11-11 06:27:41 +00001510 MIB.addImm(Imm);
Chad Rosier2f2fe412011-11-09 03:22:02 +00001511 AddOptionalDefs(MIB);
1512 }
Chad Rosierade62002011-10-26 23:25:44 +00001513
1514 // For floating point we need to move the result to a comparison register
1515 // that we can then use for branches.
1516 if (Ty->isFloatTy() || Ty->isDoubleTy())
1517 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
1518 TII.get(ARM::FMSTAT)));
Chad Rosier530f7ce2011-10-26 22:47:55 +00001519 return true;
1520}
1521
1522bool ARMFastISel::SelectCmp(const Instruction *I) {
1523 const CmpInst *CI = cast<CmpInst>(I);
1524
Eric Christopher229207a2010-09-29 01:14:47 +00001525 // Get the compare predicate.
1526 ARMCC::CondCodes ARMPred = getComparePred(CI->getPredicate());
Eric Christopherdccd2c32010-10-11 08:38:55 +00001527
Eric Christopher229207a2010-09-29 01:14:47 +00001528 // We may not handle every CC for now.
1529 if (ARMPred == ARMCC::AL) return false;
1530
Chad Rosier530f7ce2011-10-26 22:47:55 +00001531 // Emit the compare.
Chad Rosiere07cd5e2011-11-02 18:08:25 +00001532 if (!ARMEmitCmp(CI->getOperand(0), CI->getOperand(1), CI->isUnsigned()))
Chad Rosier530f7ce2011-10-26 22:47:55 +00001533 return false;
Eric Christopherac1a19e2010-09-09 01:06:51 +00001534
Eric Christopher229207a2010-09-29 01:14:47 +00001535 // Now set a register based on the comparison. Explicitly set the predicates
1536 // here.
Chad Rosier66dc8ca2011-11-08 21:12:00 +00001537 unsigned MovCCOpc = isThumb2 ? ARM::t2MOVCCi : ARM::MOVCCi;
Craig Topper420761a2012-04-20 07:30:17 +00001538 const TargetRegisterClass *RC = isThumb2 ?
1539 (const TargetRegisterClass*)&ARM::rGPRRegClass :
1540 (const TargetRegisterClass*)&ARM::GPRRegClass;
Eric Christopher5d18d922010-10-07 05:39:19 +00001541 unsigned DestReg = createResultReg(RC);
Chad Rosierade62002011-10-26 23:25:44 +00001542 Constant *Zero = ConstantInt::get(Type::getInt32Ty(*Context), 0);
Eric Christopher229207a2010-09-29 01:14:47 +00001543 unsigned ZeroReg = TargetMaterializeConstant(Zero);
Chad Rosier44c98b72012-03-07 20:59:26 +00001544 // ARMEmitCmp emits a FMSTAT when necessary, so it's always safe to use CPSR.
Eric Christopher229207a2010-09-29 01:14:47 +00001545 BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(MovCCOpc), DestReg)
1546 .addReg(ZeroReg).addImm(1)
Chad Rosier44c98b72012-03-07 20:59:26 +00001547 .addImm(ARMPred).addReg(ARM::CPSR);
Eric Christopher229207a2010-09-29 01:14:47 +00001548
Eric Christophera5b1e682010-09-17 22:28:18 +00001549 UpdateValueMap(I, DestReg);
Eric Christopherd43393a2010-09-08 23:13:45 +00001550 return true;
1551}
1552
Eric Christopher43b62be2010-09-27 06:02:23 +00001553bool ARMFastISel::SelectFPExt(const Instruction *I) {
Eric Christopher46203602010-09-09 00:26:48 +00001554 // Make sure we have VFP and that we're extending float to double.
1555 if (!Subtarget->hasVFP2()) return false;
Eric Christopherac1a19e2010-09-09 01:06:51 +00001556
Eric Christopher46203602010-09-09 00:26:48 +00001557 Value *V = I->getOperand(0);
1558 if (!I->getType()->isDoubleTy() ||
1559 !V->getType()->isFloatTy()) return false;
Eric Christopherac1a19e2010-09-09 01:06:51 +00001560
Eric Christopher46203602010-09-09 00:26:48 +00001561 unsigned Op = getRegForValue(V);
1562 if (Op == 0) return false;
Eric Christopherac1a19e2010-09-09 01:06:51 +00001563
Craig Topper420761a2012-04-20 07:30:17 +00001564 unsigned Result = createResultReg(&ARM::DPRRegClass);
Eric Christopherac1a19e2010-09-09 01:06:51 +00001565 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopheref2fdd22010-09-09 20:36:19 +00001566 TII.get(ARM::VCVTDS), Result)
Eric Christopherce07b542010-09-09 20:26:31 +00001567 .addReg(Op));
1568 UpdateValueMap(I, Result);
1569 return true;
1570}
1571
Eric Christopher43b62be2010-09-27 06:02:23 +00001572bool ARMFastISel::SelectFPTrunc(const Instruction *I) {
Eric Christopherce07b542010-09-09 20:26:31 +00001573 // Make sure we have VFP and that we're truncating double to float.
1574 if (!Subtarget->hasVFP2()) return false;
1575
1576 Value *V = I->getOperand(0);
Eric Christopher022b7fb2010-10-05 23:13:24 +00001577 if (!(I->getType()->isFloatTy() &&
1578 V->getType()->isDoubleTy())) return false;
Eric Christopherce07b542010-09-09 20:26:31 +00001579
1580 unsigned Op = getRegForValue(V);
1581 if (Op == 0) return false;
1582
Craig Topper420761a2012-04-20 07:30:17 +00001583 unsigned Result = createResultReg(&ARM::SPRRegClass);
Eric Christopherce07b542010-09-09 20:26:31 +00001584 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
Eric Christopheref2fdd22010-09-09 20:36:19 +00001585 TII.get(ARM::VCVTSD), Result)
Eric Christopher46203602010-09-09 00:26:48 +00001586 .addReg(Op));
1587 UpdateValueMap(I, Result);
1588 return true;
1589}
1590
Chad Rosierae46a332012-02-03 21:14:11 +00001591bool ARMFastISel::SelectIToFP(const Instruction *I, bool isSigned) {
Eric Christopher9a040492010-09-09 18:54:59 +00001592 // Make sure we have VFP.
1593 if (!Subtarget->hasVFP2()) return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00001594
Duncan Sands1440e8b2010-11-03 11:35:31 +00001595 MVT DstVT;
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001596 Type *Ty = I->getType();
Eric Christopher9ee4ce22010-09-09 21:44:45 +00001597 if (!isTypeLegal(Ty, DstVT))
Eric Christopher9a040492010-09-09 18:54:59 +00001598 return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00001599
Chad Rosier463fe242011-11-03 02:04:59 +00001600 Value *Src = I->getOperand(0);
Patrik Hagglund3d170e62012-12-17 14:30:06 +00001601 EVT SrcEVT = TLI.getValueType(Src->getType(), true);
1602 if (!SrcEVT.isSimple())
1603 return false;
1604 MVT SrcVT = SrcEVT.getSimpleVT();
Chad Rosier463fe242011-11-03 02:04:59 +00001605 if (SrcVT != MVT::i32 && SrcVT != MVT::i16 && SrcVT != MVT::i8)
Eli Friedman783c6642011-05-25 19:09:45 +00001606 return false;
1607
Chad Rosier463fe242011-11-03 02:04:59 +00001608 unsigned SrcReg = getRegForValue(Src);
1609 if (SrcReg == 0) return false;
1610
1611 // Handle sign-extension.
1612 if (SrcVT == MVT::i16 || SrcVT == MVT::i8) {
Chad Rosier316a5aa2012-12-17 19:59:43 +00001613 SrcReg = ARMEmitIntExt(SrcVT, SrcReg, MVT::i32,
Chad Rosierae46a332012-02-03 21:14:11 +00001614 /*isZExt*/!isSigned);
Chad Rosiera69feb02012-02-16 22:45:33 +00001615 if (SrcReg == 0) return false;
Chad Rosier463fe242011-11-03 02:04:59 +00001616 }
Eric Christopherdccd2c32010-10-11 08:38:55 +00001617
Eric Christopherdb12b2b2010-09-10 00:34:35 +00001618 // The conversion routine works on fp-reg to fp-reg and the operand above
1619 // was an integer, move it to the fp registers if possible.
Chad Rosier463fe242011-11-03 02:04:59 +00001620 unsigned FP = ARMMoveToFPReg(MVT::f32, SrcReg);
Eric Christopher9ee4ce22010-09-09 21:44:45 +00001621 if (FP == 0) return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00001622
Eric Christopher9a040492010-09-09 18:54:59 +00001623 unsigned Opc;
Chad Rosierae46a332012-02-03 21:14:11 +00001624 if (Ty->isFloatTy()) Opc = isSigned ? ARM::VSITOS : ARM::VUITOS;
1625 else if (Ty->isDoubleTy()) Opc = isSigned ? ARM::VSITOD : ARM::VUITOD;
Chad Rosierdd1e7512011-08-31 23:49:05 +00001626 else return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00001627
Eric Christopher9ee4ce22010-09-09 21:44:45 +00001628 unsigned ResultReg = createResultReg(TLI.getRegClassFor(DstVT));
Eric Christopher9a040492010-09-09 18:54:59 +00001629 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(Opc),
1630 ResultReg)
Eric Christopher9ee4ce22010-09-09 21:44:45 +00001631 .addReg(FP));
Eric Christopherce07b542010-09-09 20:26:31 +00001632 UpdateValueMap(I, ResultReg);
Eric Christopher9a040492010-09-09 18:54:59 +00001633 return true;
1634}
1635
Chad Rosierae46a332012-02-03 21:14:11 +00001636bool ARMFastISel::SelectFPToI(const Instruction *I, bool isSigned) {
Eric Christopher9a040492010-09-09 18:54:59 +00001637 // Make sure we have VFP.
1638 if (!Subtarget->hasVFP2()) return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00001639
Duncan Sands1440e8b2010-11-03 11:35:31 +00001640 MVT DstVT;
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001641 Type *RetTy = I->getType();
Eric Christopher920a2082010-09-10 00:35:09 +00001642 if (!isTypeLegal(RetTy, DstVT))
Eric Christopher9a040492010-09-09 18:54:59 +00001643 return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00001644
Eric Christopher9a040492010-09-09 18:54:59 +00001645 unsigned Op = getRegForValue(I->getOperand(0));
1646 if (Op == 0) return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00001647
Eric Christopher9a040492010-09-09 18:54:59 +00001648 unsigned Opc;
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001649 Type *OpTy = I->getOperand(0)->getType();
Chad Rosierae46a332012-02-03 21:14:11 +00001650 if (OpTy->isFloatTy()) Opc = isSigned ? ARM::VTOSIZS : ARM::VTOUIZS;
1651 else if (OpTy->isDoubleTy()) Opc = isSigned ? ARM::VTOSIZD : ARM::VTOUIZD;
Chad Rosierdd1e7512011-08-31 23:49:05 +00001652 else return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00001653
Chad Rosieree8901c2012-02-03 20:27:51 +00001654 // f64->s32/u32 or f32->s32/u32 both need an intermediate f32 reg.
Eric Christopher022b7fb2010-10-05 23:13:24 +00001655 unsigned ResultReg = createResultReg(TLI.getRegClassFor(MVT::f32));
Eric Christopher9a040492010-09-09 18:54:59 +00001656 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(Opc),
1657 ResultReg)
1658 .addReg(Op));
Eric Christopherdccd2c32010-10-11 08:38:55 +00001659
Eric Christopher9ee4ce22010-09-09 21:44:45 +00001660 // This result needs to be in an integer register, but the conversion only
1661 // takes place in fp-regs.
Eric Christopherdb12b2b2010-09-10 00:34:35 +00001662 unsigned IntReg = ARMMoveToIntReg(DstVT, ResultReg);
Eric Christopher9ee4ce22010-09-09 21:44:45 +00001663 if (IntReg == 0) return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00001664
Eric Christopher9ee4ce22010-09-09 21:44:45 +00001665 UpdateValueMap(I, IntReg);
Eric Christopher9a040492010-09-09 18:54:59 +00001666 return true;
1667}
1668
Eric Christopher3bbd3962010-10-11 08:27:59 +00001669bool ARMFastISel::SelectSelect(const Instruction *I) {
Duncan Sands1440e8b2010-11-03 11:35:31 +00001670 MVT VT;
1671 if (!isTypeLegal(I->getType(), VT))
Eric Christopher3bbd3962010-10-11 08:27:59 +00001672 return false;
1673
1674 // Things need to be register sized for register moves.
Duncan Sands1440e8b2010-11-03 11:35:31 +00001675 if (VT != MVT::i32) return false;
Eric Christopher3bbd3962010-10-11 08:27:59 +00001676
1677 unsigned CondReg = getRegForValue(I->getOperand(0));
1678 if (CondReg == 0) return false;
1679 unsigned Op1Reg = getRegForValue(I->getOperand(1));
1680 if (Op1Reg == 0) return false;
Eric Christopher3bbd3962010-10-11 08:27:59 +00001681
Chad Rosiera07d3fc2011-11-11 06:20:39 +00001682 // Check to see if we can use an immediate in the conditional move.
1683 int Imm = 0;
1684 bool UseImm = false;
1685 bool isNegativeImm = false;
1686 if (const ConstantInt *ConstInt = dyn_cast<ConstantInt>(I->getOperand(2))) {
1687 assert (VT == MVT::i32 && "Expecting an i32.");
1688 Imm = (int)ConstInt->getValue().getZExtValue();
1689 if (Imm < 0) {
1690 isNegativeImm = true;
1691 Imm = ~Imm;
1692 }
1693 UseImm = isThumb2 ? (ARM_AM::getT2SOImmVal(Imm) != -1) :
1694 (ARM_AM::getSOImmVal(Imm) != -1);
1695 }
1696
Duncan Sands4c0c5452011-11-28 10:31:27 +00001697 unsigned Op2Reg = 0;
Chad Rosiera07d3fc2011-11-11 06:20:39 +00001698 if (!UseImm) {
1699 Op2Reg = getRegForValue(I->getOperand(2));
1700 if (Op2Reg == 0) return false;
1701 }
1702
1703 unsigned CmpOpc = isThumb2 ? ARM::t2CMPri : ARM::CMPri;
Eric Christopher3bbd3962010-10-11 08:27:59 +00001704 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(CmpOpc))
Chad Rosiera07d3fc2011-11-11 06:20:39 +00001705 .addReg(CondReg).addImm(0));
1706
1707 unsigned MovCCOpc;
Chad Rosierac3158b2012-11-27 21:46:46 +00001708 const TargetRegisterClass *RC;
Chad Rosiera07d3fc2011-11-11 06:20:39 +00001709 if (!UseImm) {
Chad Rosierac3158b2012-11-27 21:46:46 +00001710 RC = isThumb2 ? &ARM::tGPRRegClass : &ARM::GPRRegClass;
Chad Rosiera07d3fc2011-11-11 06:20:39 +00001711 MovCCOpc = isThumb2 ? ARM::t2MOVCCr : ARM::MOVCCr;
1712 } else {
Chad Rosierac3158b2012-11-27 21:46:46 +00001713 RC = isThumb2 ? &ARM::rGPRRegClass : &ARM::GPRRegClass;
1714 if (!isNegativeImm)
Chad Rosiera07d3fc2011-11-11 06:20:39 +00001715 MovCCOpc = isThumb2 ? ARM::t2MOVCCi : ARM::MOVCCi;
Chad Rosierac3158b2012-11-27 21:46:46 +00001716 else
Chad Rosiera07d3fc2011-11-11 06:20:39 +00001717 MovCCOpc = isThumb2 ? ARM::t2MVNCCi : ARM::MVNCCi;
Chad Rosiera07d3fc2011-11-11 06:20:39 +00001718 }
Eric Christopher3bbd3962010-10-11 08:27:59 +00001719 unsigned ResultReg = createResultReg(RC);
Chad Rosiera07d3fc2011-11-11 06:20:39 +00001720 if (!UseImm)
1721 BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(MovCCOpc), ResultReg)
1722 .addReg(Op2Reg).addReg(Op1Reg).addImm(ARMCC::NE).addReg(ARM::CPSR);
1723 else
1724 BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(MovCCOpc), ResultReg)
1725 .addReg(Op1Reg).addImm(Imm).addImm(ARMCC::EQ).addReg(ARM::CPSR);
Eric Christopher3bbd3962010-10-11 08:27:59 +00001726 UpdateValueMap(I, ResultReg);
1727 return true;
1728}
1729
Chad Rosier7ccb30b2012-02-03 21:07:27 +00001730bool ARMFastISel::SelectDiv(const Instruction *I, bool isSigned) {
Duncan Sands1440e8b2010-11-03 11:35:31 +00001731 MVT VT;
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001732 Type *Ty = I->getType();
Eric Christopher08637852010-09-30 22:34:19 +00001733 if (!isTypeLegal(Ty, VT))
1734 return false;
1735
1736 // If we have integer div support we should have selected this automagically.
1737 // In case we have a real miss go ahead and return false and we'll pick
1738 // it up later.
Eric Christopherdccd2c32010-10-11 08:38:55 +00001739 if (Subtarget->hasDivide()) return false;
1740
Eric Christopher08637852010-09-30 22:34:19 +00001741 // Otherwise emit a libcall.
1742 RTLIB::Libcall LC = RTLIB::UNKNOWN_LIBCALL;
Eric Christopher7bdc4de2010-10-11 08:31:54 +00001743 if (VT == MVT::i8)
Chad Rosier7ccb30b2012-02-03 21:07:27 +00001744 LC = isSigned ? RTLIB::SDIV_I8 : RTLIB::UDIV_I8;
Eric Christopher7bdc4de2010-10-11 08:31:54 +00001745 else if (VT == MVT::i16)
Chad Rosier7ccb30b2012-02-03 21:07:27 +00001746 LC = isSigned ? RTLIB::SDIV_I16 : RTLIB::UDIV_I16;
Eric Christopher08637852010-09-30 22:34:19 +00001747 else if (VT == MVT::i32)
Chad Rosier7ccb30b2012-02-03 21:07:27 +00001748 LC = isSigned ? RTLIB::SDIV_I32 : RTLIB::UDIV_I32;
Eric Christopher08637852010-09-30 22:34:19 +00001749 else if (VT == MVT::i64)
Chad Rosier7ccb30b2012-02-03 21:07:27 +00001750 LC = isSigned ? RTLIB::SDIV_I64 : RTLIB::UDIV_I64;
Eric Christopher08637852010-09-30 22:34:19 +00001751 else if (VT == MVT::i128)
Chad Rosier7ccb30b2012-02-03 21:07:27 +00001752 LC = isSigned ? RTLIB::SDIV_I128 : RTLIB::UDIV_I128;
Eric Christopher08637852010-09-30 22:34:19 +00001753 assert(LC != RTLIB::UNKNOWN_LIBCALL && "Unsupported SDIV!");
Eric Christopherdccd2c32010-10-11 08:38:55 +00001754
Eric Christopher08637852010-09-30 22:34:19 +00001755 return ARMEmitLibcall(I, LC);
1756}
1757
Chad Rosier769422f2012-02-03 21:23:45 +00001758bool ARMFastISel::SelectRem(const Instruction *I, bool isSigned) {
Duncan Sands1440e8b2010-11-03 11:35:31 +00001759 MVT VT;
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001760 Type *Ty = I->getType();
Eric Christopher6a880d62010-10-11 08:37:26 +00001761 if (!isTypeLegal(Ty, VT))
1762 return false;
1763
1764 RTLIB::Libcall LC = RTLIB::UNKNOWN_LIBCALL;
1765 if (VT == MVT::i8)
Chad Rosier769422f2012-02-03 21:23:45 +00001766 LC = isSigned ? RTLIB::SREM_I8 : RTLIB::UREM_I8;
Eric Christopher6a880d62010-10-11 08:37:26 +00001767 else if (VT == MVT::i16)
Chad Rosier769422f2012-02-03 21:23:45 +00001768 LC = isSigned ? RTLIB::SREM_I16 : RTLIB::UREM_I16;
Eric Christopher6a880d62010-10-11 08:37:26 +00001769 else if (VT == MVT::i32)
Chad Rosier769422f2012-02-03 21:23:45 +00001770 LC = isSigned ? RTLIB::SREM_I32 : RTLIB::UREM_I32;
Eric Christopher6a880d62010-10-11 08:37:26 +00001771 else if (VT == MVT::i64)
Chad Rosier769422f2012-02-03 21:23:45 +00001772 LC = isSigned ? RTLIB::SREM_I64 : RTLIB::UREM_I64;
Eric Christopher6a880d62010-10-11 08:37:26 +00001773 else if (VT == MVT::i128)
Chad Rosier769422f2012-02-03 21:23:45 +00001774 LC = isSigned ? RTLIB::SREM_I128 : RTLIB::UREM_I128;
Eric Christophera1640d92010-10-11 08:40:05 +00001775 assert(LC != RTLIB::UNKNOWN_LIBCALL && "Unsupported SREM!");
Eric Christopher2896df82010-10-15 18:02:07 +00001776
Eric Christopher6a880d62010-10-11 08:37:26 +00001777 return ARMEmitLibcall(I, LC);
1778}
1779
Chad Rosier3901c3e2012-02-06 23:50:07 +00001780bool ARMFastISel::SelectBinaryIntOp(const Instruction *I, unsigned ISDOpcode) {
Chad Rosier3901c3e2012-02-06 23:50:07 +00001781 EVT DestVT = TLI.getValueType(I->getType(), true);
1782
1783 // We can get here in the case when we have a binary operation on a non-legal
1784 // type and the target independent selector doesn't know how to handle it.
1785 if (DestVT != MVT::i16 && DestVT != MVT::i8 && DestVT != MVT::i1)
1786 return false;
Jush Luefc967e2012-06-14 06:08:19 +00001787
Chad Rosier6fde8752012-02-08 02:29:21 +00001788 unsigned Opc;
1789 switch (ISDOpcode) {
1790 default: return false;
1791 case ISD::ADD:
1792 Opc = isThumb2 ? ARM::t2ADDrr : ARM::ADDrr;
1793 break;
1794 case ISD::OR:
1795 Opc = isThumb2 ? ARM::t2ORRrr : ARM::ORRrr;
1796 break;
Chad Rosier743e1992012-02-08 02:45:44 +00001797 case ISD::SUB:
1798 Opc = isThumb2 ? ARM::t2SUBrr : ARM::SUBrr;
1799 break;
Chad Rosier6fde8752012-02-08 02:29:21 +00001800 }
1801
Chad Rosier3901c3e2012-02-06 23:50:07 +00001802 unsigned SrcReg1 = getRegForValue(I->getOperand(0));
1803 if (SrcReg1 == 0) return false;
1804
1805 // TODO: Often the 2nd operand is an immediate, which can be encoded directly
1806 // in the instruction, rather then materializing the value in a register.
1807 unsigned SrcReg2 = getRegForValue(I->getOperand(1));
1808 if (SrcReg2 == 0) return false;
1809
JF Bastiena9a8a122013-05-29 15:45:47 +00001810 unsigned ResultReg = createResultReg(&ARM::GPRnopcRegClass);
Chad Rosier3901c3e2012-02-06 23:50:07 +00001811 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
1812 TII.get(Opc), ResultReg)
1813 .addReg(SrcReg1).addReg(SrcReg2));
1814 UpdateValueMap(I, ResultReg);
1815 return true;
1816}
1817
1818bool ARMFastISel::SelectBinaryFPOp(const Instruction *I, unsigned ISDOpcode) {
Chad Rosier316a5aa2012-12-17 19:59:43 +00001819 EVT FPVT = TLI.getValueType(I->getType(), true);
1820 if (!FPVT.isSimple()) return false;
1821 MVT VT = FPVT.getSimpleVT();
Eric Christopherac1a19e2010-09-09 01:06:51 +00001822
Eric Christopherbc39b822010-09-09 00:53:57 +00001823 // We can get here in the case when we want to use NEON for our fp
1824 // operations, but can't figure out how to. Just use the vfp instructions
1825 // if we have them.
1826 // FIXME: It'd be nice to use NEON instructions.
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001827 Type *Ty = I->getType();
Eric Christopherbd6bf082010-09-09 01:02:03 +00001828 bool isFloat = (Ty->isDoubleTy() || Ty->isFloatTy());
1829 if (isFloat && !Subtarget->hasVFP2())
1830 return false;
Eric Christopherac1a19e2010-09-09 01:06:51 +00001831
Eric Christopherbc39b822010-09-09 00:53:57 +00001832 unsigned Opc;
Duncan Sandscdfad362010-11-03 12:17:33 +00001833 bool is64bit = VT == MVT::f64 || VT == MVT::i64;
Eric Christopherbc39b822010-09-09 00:53:57 +00001834 switch (ISDOpcode) {
1835 default: return false;
1836 case ISD::FADD:
Eric Christopherbd6bf082010-09-09 01:02:03 +00001837 Opc = is64bit ? ARM::VADDD : ARM::VADDS;
Eric Christopherbc39b822010-09-09 00:53:57 +00001838 break;
1839 case ISD::FSUB:
Eric Christopherbd6bf082010-09-09 01:02:03 +00001840 Opc = is64bit ? ARM::VSUBD : ARM::VSUBS;
Eric Christopherbc39b822010-09-09 00:53:57 +00001841 break;
1842 case ISD::FMUL:
Eric Christopherbd6bf082010-09-09 01:02:03 +00001843 Opc = is64bit ? ARM::VMULD : ARM::VMULS;
Eric Christopherbc39b822010-09-09 00:53:57 +00001844 break;
1845 }
Chad Rosier508a1f42011-11-16 18:39:44 +00001846 unsigned Op1 = getRegForValue(I->getOperand(0));
1847 if (Op1 == 0) return false;
1848
1849 unsigned Op2 = getRegForValue(I->getOperand(1));
1850 if (Op2 == 0) return false;
1851
Chad Rosier316a5aa2012-12-17 19:59:43 +00001852 unsigned ResultReg = createResultReg(TLI.getRegClassFor(VT.SimpleTy));
Eric Christopherbc39b822010-09-09 00:53:57 +00001853 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
1854 TII.get(Opc), ResultReg)
1855 .addReg(Op1).addReg(Op2));
Eric Christopherce07b542010-09-09 20:26:31 +00001856 UpdateValueMap(I, ResultReg);
Eric Christopherbc39b822010-09-09 00:53:57 +00001857 return true;
1858}
1859
Eric Christopherd10cd7b2010-09-10 23:18:12 +00001860// Call Handling Code
1861
Jush Luee649832012-07-19 09:49:00 +00001862// This is largely taken directly from CCAssignFnForNode
Eric Christopherd10cd7b2010-09-10 23:18:12 +00001863// TODO: We may not support all of this.
Jush Luee649832012-07-19 09:49:00 +00001864CCAssignFn *ARMFastISel::CCAssignFnForCall(CallingConv::ID CC,
1865 bool Return,
1866 bool isVarArg) {
Eric Christopherd10cd7b2010-09-10 23:18:12 +00001867 switch (CC) {
1868 default:
1869 llvm_unreachable("Unsupported calling convention");
Eric Christopherd10cd7b2010-09-10 23:18:12 +00001870 case CallingConv::Fast:
Jush Lu2ff4e9d2012-08-16 05:15:53 +00001871 if (Subtarget->hasVFP2() && !isVarArg) {
1872 if (!Subtarget->isAAPCS_ABI())
1873 return (Return ? RetFastCC_ARM_APCS : FastCC_ARM_APCS);
1874 // For AAPCS ABI targets, just use VFP variant of the calling convention.
1875 return (Return ? RetCC_ARM_AAPCS_VFP : CC_ARM_AAPCS_VFP);
1876 }
Evan Cheng1f8b40d2010-10-22 18:57:05 +00001877 // Fallthrough
1878 case CallingConv::C:
Eric Christopherd10cd7b2010-09-10 23:18:12 +00001879 // Use target triple & subtarget features to do actual dispatch.
1880 if (Subtarget->isAAPCS_ABI()) {
1881 if (Subtarget->hasVFP2() &&
Jush Luee649832012-07-19 09:49:00 +00001882 TM.Options.FloatABIType == FloatABI::Hard && !isVarArg)
Eric Christopherd10cd7b2010-09-10 23:18:12 +00001883 return (Return ? RetCC_ARM_AAPCS_VFP: CC_ARM_AAPCS_VFP);
1884 else
1885 return (Return ? RetCC_ARM_AAPCS: CC_ARM_AAPCS);
1886 } else
1887 return (Return ? RetCC_ARM_APCS: CC_ARM_APCS);
1888 case CallingConv::ARM_AAPCS_VFP:
Jush Luee649832012-07-19 09:49:00 +00001889 if (!isVarArg)
1890 return (Return ? RetCC_ARM_AAPCS_VFP: CC_ARM_AAPCS_VFP);
1891 // Fall through to soft float variant, variadic functions don't
1892 // use hard floating point ABI.
Eric Christopherd10cd7b2010-09-10 23:18:12 +00001893 case CallingConv::ARM_AAPCS:
1894 return (Return ? RetCC_ARM_AAPCS: CC_ARM_AAPCS);
1895 case CallingConv::ARM_APCS:
1896 return (Return ? RetCC_ARM_APCS: CC_ARM_APCS);
Eric Christophere94ac882012-08-03 00:05:53 +00001897 case CallingConv::GHC:
1898 if (Return)
1899 llvm_unreachable("Can't return in GHC call convention");
1900 else
1901 return CC_ARM_APCS_GHC;
Eric Christopherd10cd7b2010-09-10 23:18:12 +00001902 }
1903}
1904
Eric Christophera9a7a1a2010-09-29 23:11:09 +00001905bool ARMFastISel::ProcessCallArgs(SmallVectorImpl<Value*> &Args,
1906 SmallVectorImpl<unsigned> &ArgRegs,
Duncan Sands1440e8b2010-11-03 11:35:31 +00001907 SmallVectorImpl<MVT> &ArgVTs,
Eric Christophera9a7a1a2010-09-29 23:11:09 +00001908 SmallVectorImpl<ISD::ArgFlagsTy> &ArgFlags,
1909 SmallVectorImpl<unsigned> &RegArgs,
1910 CallingConv::ID CC,
Jush Luee649832012-07-19 09:49:00 +00001911 unsigned &NumBytes,
1912 bool isVarArg) {
Eric Christophera9a7a1a2010-09-29 23:11:09 +00001913 SmallVector<CCValAssign, 16> ArgLocs;
Jush Luee649832012-07-19 09:49:00 +00001914 CCState CCInfo(CC, isVarArg, *FuncInfo.MF, TM, ArgLocs, *Context);
1915 CCInfo.AnalyzeCallOperands(ArgVTs, ArgFlags,
1916 CCAssignFnForCall(CC, false, isVarArg));
Eric Christophera9a7a1a2010-09-29 23:11:09 +00001917
Bill Wendling5aeff312012-03-16 23:11:07 +00001918 // Check that we can handle all of the arguments. If we can't, then bail out
1919 // now before we add code to the MBB.
1920 for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
1921 CCValAssign &VA = ArgLocs[i];
1922 MVT ArgVT = ArgVTs[VA.getValNo()];
1923
1924 // We don't handle NEON/vector parameters yet.
1925 if (ArgVT.isVector() || ArgVT.getSizeInBits() > 64)
1926 return false;
1927
1928 // Now copy/store arg to correct locations.
1929 if (VA.isRegLoc() && !VA.needsCustom()) {
1930 continue;
1931 } else if (VA.needsCustom()) {
1932 // TODO: We need custom lowering for vector (v2f64) args.
1933 if (VA.getLocVT() != MVT::f64 ||
1934 // TODO: Only handle register args for now.
1935 !VA.isRegLoc() || !ArgLocs[++i].isRegLoc())
1936 return false;
1937 } else {
1938 switch (static_cast<EVT>(ArgVT).getSimpleVT().SimpleTy) {
1939 default:
1940 return false;
1941 case MVT::i1:
1942 case MVT::i8:
1943 case MVT::i16:
1944 case MVT::i32:
1945 break;
1946 case MVT::f32:
1947 if (!Subtarget->hasVFP2())
1948 return false;
1949 break;
1950 case MVT::f64:
1951 if (!Subtarget->hasVFP2())
1952 return false;
1953 break;
1954 }
1955 }
1956 }
1957
1958 // At the point, we are able to handle the call's arguments in fast isel.
1959
Eric Christophera9a7a1a2010-09-29 23:11:09 +00001960 // Get a count of how many bytes are to be pushed on the stack.
1961 NumBytes = CCInfo.getNextStackOffset();
1962
1963 // Issue CALLSEQ_START
Evan Chengd5b03f22011-06-28 21:14:33 +00001964 unsigned AdjStackDown = TII.getCallFrameSetupOpcode();
Eric Christopherfb0b8922010-10-11 21:20:02 +00001965 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
1966 TII.get(AdjStackDown))
1967 .addImm(NumBytes));
Eric Christophera9a7a1a2010-09-29 23:11:09 +00001968
1969 // Process the args.
1970 for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
1971 CCValAssign &VA = ArgLocs[i];
1972 unsigned Arg = ArgRegs[VA.getValNo()];
Duncan Sands1440e8b2010-11-03 11:35:31 +00001973 MVT ArgVT = ArgVTs[VA.getValNo()];
Eric Christophera9a7a1a2010-09-29 23:11:09 +00001974
Bill Wendling5aeff312012-03-16 23:11:07 +00001975 assert((!ArgVT.isVector() && ArgVT.getSizeInBits() <= 64) &&
1976 "We don't handle NEON/vector parameters yet.");
Eric Christophera4633f52010-10-23 09:37:17 +00001977
Eric Christopherf9764fa2010-09-30 20:49:44 +00001978 // Handle arg promotion, etc.
Eric Christophera9a7a1a2010-09-29 23:11:09 +00001979 switch (VA.getLocInfo()) {
1980 case CCValAssign::Full: break;
Eric Christopherfa87d662010-10-18 02:17:53 +00001981 case CCValAssign::SExt: {
Chad Rosierb74c8652011-12-02 20:25:18 +00001982 MVT DestVT = VA.getLocVT();
Chad Rosier5793a652012-02-14 22:29:48 +00001983 Arg = ARMEmitIntExt(ArgVT, Arg, DestVT, /*isZExt*/false);
1984 assert (Arg != 0 && "Failed to emit a sext");
Chad Rosierb74c8652011-12-02 20:25:18 +00001985 ArgVT = DestVT;
Eric Christopherfa87d662010-10-18 02:17:53 +00001986 break;
1987 }
Chad Rosier42536af2011-11-05 20:16:15 +00001988 case CCValAssign::AExt:
1989 // Intentional fall-through. Handle AExt and ZExt.
Eric Christopherfa87d662010-10-18 02:17:53 +00001990 case CCValAssign::ZExt: {
Chad Rosierb74c8652011-12-02 20:25:18 +00001991 MVT DestVT = VA.getLocVT();
Chad Rosier5793a652012-02-14 22:29:48 +00001992 Arg = ARMEmitIntExt(ArgVT, Arg, DestVT, /*isZExt*/true);
1993 assert (Arg != 0 && "Failed to emit a sext");
Chad Rosierb74c8652011-12-02 20:25:18 +00001994 ArgVT = DestVT;
Eric Christopherfa87d662010-10-18 02:17:53 +00001995 break;
1996 }
1997 case CCValAssign::BCvt: {
Wesley Peckbf17cfa2010-11-23 03:31:01 +00001998 unsigned BC = FastEmit_r(ArgVT, VA.getLocVT(), ISD::BITCAST, Arg,
Duncan Sands1440e8b2010-11-03 11:35:31 +00001999 /*TODO: Kill=*/false);
Eric Christopherfa87d662010-10-18 02:17:53 +00002000 assert(BC != 0 && "Failed to emit a bitcast!");
2001 Arg = BC;
2002 ArgVT = VA.getLocVT();
2003 break;
2004 }
2005 default: llvm_unreachable("Unknown arg promotion!");
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002006 }
2007
2008 // Now copy/store arg to correct locations.
Eric Christopherfb0b8922010-10-11 21:20:02 +00002009 if (VA.isRegLoc() && !VA.needsCustom()) {
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002010 BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(TargetOpcode::COPY),
Eric Christopherf9764fa2010-09-30 20:49:44 +00002011 VA.getLocReg())
Chad Rosier42536af2011-11-05 20:16:15 +00002012 .addReg(Arg);
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002013 RegArgs.push_back(VA.getLocReg());
Eric Christopher2d8f6fe2010-10-21 00:01:47 +00002014 } else if (VA.needsCustom()) {
2015 // TODO: We need custom lowering for vector (v2f64) args.
Bill Wendling5aeff312012-03-16 23:11:07 +00002016 assert(VA.getLocVT() == MVT::f64 &&
2017 "Custom lowering for v2f64 args not available");
Jim Grosbach6b156392010-10-27 21:39:08 +00002018
Eric Christopher2d8f6fe2010-10-21 00:01:47 +00002019 CCValAssign &NextVA = ArgLocs[++i];
2020
Bill Wendling5aeff312012-03-16 23:11:07 +00002021 assert(VA.isRegLoc() && NextVA.isRegLoc() &&
2022 "We only handle register args!");
Eric Christopher2d8f6fe2010-10-21 00:01:47 +00002023
2024 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
2025 TII.get(ARM::VMOVRRD), VA.getLocReg())
2026 .addReg(NextVA.getLocReg(), RegState::Define)
2027 .addReg(Arg));
2028 RegArgs.push_back(VA.getLocReg());
2029 RegArgs.push_back(NextVA.getLocReg());
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002030 } else {
Eric Christopher5b924802010-10-21 20:09:54 +00002031 assert(VA.isMemLoc());
2032 // Need to store on the stack.
Eric Christopher0d581222010-11-19 22:30:02 +00002033 Address Addr;
2034 Addr.BaseType = Address::RegBase;
2035 Addr.Base.Reg = ARM::SP;
2036 Addr.Offset = VA.getLocMemOffset();
Eric Christopher5b924802010-10-21 20:09:54 +00002037
Bill Wendling5aeff312012-03-16 23:11:07 +00002038 bool EmitRet = ARMEmitStore(ArgVT, Arg, Addr); (void)EmitRet;
2039 assert(EmitRet && "Could not emit a store for argument!");
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002040 }
2041 }
Bill Wendling5aeff312012-03-16 23:11:07 +00002042
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002043 return true;
2044}
2045
Duncan Sands1440e8b2010-11-03 11:35:31 +00002046bool ARMFastISel::FinishCall(MVT RetVT, SmallVectorImpl<unsigned> &UsedRegs,
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002047 const Instruction *I, CallingConv::ID CC,
Jush Luee649832012-07-19 09:49:00 +00002048 unsigned &NumBytes, bool isVarArg) {
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002049 // Issue CALLSEQ_END
Evan Chengd5b03f22011-06-28 21:14:33 +00002050 unsigned AdjStackUp = TII.getCallFrameDestroyOpcode();
Eric Christopherfb0b8922010-10-11 21:20:02 +00002051 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
2052 TII.get(AdjStackUp))
2053 .addImm(NumBytes).addImm(0));
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002054
2055 // Now the return value.
Duncan Sands1440e8b2010-11-03 11:35:31 +00002056 if (RetVT != MVT::isVoid) {
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002057 SmallVector<CCValAssign, 16> RVLocs;
Jush Luee649832012-07-19 09:49:00 +00002058 CCState CCInfo(CC, isVarArg, *FuncInfo.MF, TM, RVLocs, *Context);
2059 CCInfo.AnalyzeCallResult(RetVT, CCAssignFnForCall(CC, true, isVarArg));
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002060
2061 // Copy all of the result registers out of their specified physreg.
Duncan Sands1440e8b2010-11-03 11:35:31 +00002062 if (RVLocs.size() == 2 && RetVT == MVT::f64) {
Eric Christopher14df8822010-10-01 00:00:11 +00002063 // For this move we copy into two registers and then move into the
2064 // double fp reg we want.
Patrik Hagglunda61b17c2012-12-13 06:34:11 +00002065 MVT DestVT = RVLocs[0].getValVT();
Craig Topper44d23822012-02-22 05:59:10 +00002066 const TargetRegisterClass* DstRC = TLI.getRegClassFor(DestVT);
Eric Christopher14df8822010-10-01 00:00:11 +00002067 unsigned ResultReg = createResultReg(DstRC);
2068 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
2069 TII.get(ARM::VMOVDRR), ResultReg)
Eric Christopher3659ac22010-10-20 08:02:24 +00002070 .addReg(RVLocs[0].getLocReg())
2071 .addReg(RVLocs[1].getLocReg()));
Eric Christopherdccd2c32010-10-11 08:38:55 +00002072
Eric Christopher3659ac22010-10-20 08:02:24 +00002073 UsedRegs.push_back(RVLocs[0].getLocReg());
2074 UsedRegs.push_back(RVLocs[1].getLocReg());
Jim Grosbach6b156392010-10-27 21:39:08 +00002075
Eric Christopherdccd2c32010-10-11 08:38:55 +00002076 // Finally update the result.
Eric Christopher14df8822010-10-01 00:00:11 +00002077 UpdateValueMap(I, ResultReg);
Chad Rosier2a2e9d52012-05-11 18:51:55 +00002078 } else {
2079 assert(RVLocs.size() == 1 &&"Can't handle non-double multi-reg retvals!");
Patrik Hagglunda61b17c2012-12-13 06:34:11 +00002080 MVT CopyVT = RVLocs[0].getValVT();
Chad Rosier0eff39f2011-11-08 00:03:32 +00002081
2082 // Special handling for extended integers.
2083 if (RetVT == MVT::i1 || RetVT == MVT::i8 || RetVT == MVT::i16)
2084 CopyVT = MVT::i32;
2085
Craig Topper44d23822012-02-22 05:59:10 +00002086 const TargetRegisterClass* DstRC = TLI.getRegClassFor(CopyVT);
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002087
Eric Christopher14df8822010-10-01 00:00:11 +00002088 unsigned ResultReg = createResultReg(DstRC);
2089 BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(TargetOpcode::COPY),
2090 ResultReg).addReg(RVLocs[0].getLocReg());
2091 UsedRegs.push_back(RVLocs[0].getLocReg());
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002092
Eric Christopherdccd2c32010-10-11 08:38:55 +00002093 // Finally update the result.
Eric Christopher14df8822010-10-01 00:00:11 +00002094 UpdateValueMap(I, ResultReg);
2095 }
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002096 }
2097
Eric Christopherdccd2c32010-10-11 08:38:55 +00002098 return true;
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002099}
2100
Eric Christopher4f512ef2010-10-22 01:28:00 +00002101bool ARMFastISel::SelectRet(const Instruction *I) {
2102 const ReturnInst *Ret = cast<ReturnInst>(I);
2103 const Function &F = *I->getParent()->getParent();
Jim Grosbach6b156392010-10-27 21:39:08 +00002104
Eric Christopher4f512ef2010-10-22 01:28:00 +00002105 if (!FuncInfo.CanLowerReturn)
2106 return false;
Jim Grosbach6b156392010-10-27 21:39:08 +00002107
Jakob Stoklund Olesenfc743272013-02-05 18:08:40 +00002108 // Build a list of return value registers.
2109 SmallVector<unsigned, 4> RetRegs;
2110
Eric Christopher4f512ef2010-10-22 01:28:00 +00002111 CallingConv::ID CC = F.getCallingConv();
2112 if (Ret->getNumOperands() > 0) {
2113 SmallVector<ISD::OutputArg, 4> Outs;
Bill Wendling8b62abd2012-12-30 13:01:51 +00002114 GetReturnInfo(F.getReturnType(), F.getAttributes(), Outs, TLI);
Eric Christopher4f512ef2010-10-22 01:28:00 +00002115
2116 // Analyze operands of the call, assigning locations to each operand.
2117 SmallVector<CCValAssign, 16> ValLocs;
Jim Grosbachb04546f2011-09-13 20:30:37 +00002118 CCState CCInfo(CC, F.isVarArg(), *FuncInfo.MF, TM, ValLocs,I->getContext());
Jush Luee649832012-07-19 09:49:00 +00002119 CCInfo.AnalyzeReturn(Outs, CCAssignFnForCall(CC, true /* is Ret */,
2120 F.isVarArg()));
Eric Christopher4f512ef2010-10-22 01:28:00 +00002121
2122 const Value *RV = Ret->getOperand(0);
2123 unsigned Reg = getRegForValue(RV);
2124 if (Reg == 0)
2125 return false;
2126
2127 // Only handle a single return value for now.
2128 if (ValLocs.size() != 1)
2129 return false;
2130
2131 CCValAssign &VA = ValLocs[0];
Jim Grosbach6b156392010-10-27 21:39:08 +00002132
Eric Christopher4f512ef2010-10-22 01:28:00 +00002133 // Don't bother handling odd stuff for now.
2134 if (VA.getLocInfo() != CCValAssign::Full)
2135 return false;
2136 // Only handle register returns for now.
2137 if (!VA.isRegLoc())
2138 return false;
Chad Rosierf470cbb2011-11-04 00:50:21 +00002139
2140 unsigned SrcReg = Reg + VA.getValNo();
Chad Rosier316a5aa2012-12-17 19:59:43 +00002141 EVT RVEVT = TLI.getValueType(RV->getType());
2142 if (!RVEVT.isSimple()) return false;
2143 MVT RVVT = RVEVT.getSimpleVT();
Patrik Hagglunda61b17c2012-12-13 06:34:11 +00002144 MVT DestVT = VA.getValVT();
Chad Rosierf470cbb2011-11-04 00:50:21 +00002145 // Special handling for extended integers.
2146 if (RVVT != DestVT) {
2147 if (RVVT != MVT::i1 && RVVT != MVT::i8 && RVVT != MVT::i16)
2148 return false;
2149
Chad Rosierf470cbb2011-11-04 00:50:21 +00002150 assert(DestVT == MVT::i32 && "ARM should always ext to i32");
2151
Chad Rosierb8703fe2012-02-17 01:21:28 +00002152 // Perform extension if flagged as either zext or sext. Otherwise, do
2153 // nothing.
2154 if (Outs[0].Flags.isZExt() || Outs[0].Flags.isSExt()) {
2155 SrcReg = ARMEmitIntExt(RVVT, SrcReg, DestVT, Outs[0].Flags.isZExt());
2156 if (SrcReg == 0) return false;
2157 }
Chad Rosierf470cbb2011-11-04 00:50:21 +00002158 }
Jim Grosbach6b156392010-10-27 21:39:08 +00002159
Eric Christopher4f512ef2010-10-22 01:28:00 +00002160 // Make the copy.
Eric Christopher4f512ef2010-10-22 01:28:00 +00002161 unsigned DstReg = VA.getLocReg();
2162 const TargetRegisterClass* SrcRC = MRI.getRegClass(SrcReg);
2163 // Avoid a cross-class copy. This is very unlikely.
2164 if (!SrcRC->contains(DstReg))
2165 return false;
2166 BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(TargetOpcode::COPY),
2167 DstReg).addReg(SrcReg);
2168
Jakob Stoklund Olesenfc743272013-02-05 18:08:40 +00002169 // Add register to return instruction.
2170 RetRegs.push_back(VA.getLocReg());
Eric Christopher4f512ef2010-10-22 01:28:00 +00002171 }
Jim Grosbach6b156392010-10-27 21:39:08 +00002172
Chad Rosier66dc8ca2011-11-08 21:12:00 +00002173 unsigned RetOpc = isThumb2 ? ARM::tBX_RET : ARM::BX_RET;
Jakob Stoklund Olesenfc743272013-02-05 18:08:40 +00002174 MachineInstrBuilder MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
2175 TII.get(RetOpc));
2176 AddOptionalDefs(MIB);
2177 for (unsigned i = 0, e = RetRegs.size(); i != e; ++i)
2178 MIB.addReg(RetRegs[i], RegState::Implicit);
Eric Christopher4f512ef2010-10-22 01:28:00 +00002179 return true;
2180}
2181
Chad Rosier49d6fc02012-06-12 19:25:13 +00002182unsigned ARMFastISel::ARMSelectCallOp(bool UseReg) {
2183 if (UseReg)
2184 return isThumb2 ? ARM::tBLXr : ARM::BLX;
2185 else
2186 return isThumb2 ? ARM::tBL : ARM::BL;
2187}
2188
2189unsigned ARMFastISel::getLibcallReg(const Twine &Name) {
2190 GlobalValue *GV = new GlobalVariable(Type::getInt32Ty(*Context), false,
2191 GlobalValue::ExternalLinkage, 0, Name);
Chad Rosier316a5aa2012-12-17 19:59:43 +00002192 EVT LCREVT = TLI.getValueType(GV->getType());
2193 if (!LCREVT.isSimple()) return 0;
2194 return ARMMaterializeGV(GV, LCREVT.getSimpleVT());
Eric Christopher872f4a22011-02-22 01:37:10 +00002195}
2196
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002197// A quick function that will emit a call for a named libcall in F with the
2198// vector of passed arguments for the Instruction in I. We can assume that we
Eric Christopherdccd2c32010-10-11 08:38:55 +00002199// can emit a call for any libcall we can produce. This is an abridged version
2200// of the full call infrastructure since we won't need to worry about things
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002201// like computed function pointers or strange arguments at call sites.
2202// TODO: Try to unify this and the normal call bits for ARM, then try to unify
2203// with X86.
Eric Christopher7ed8ec92010-09-28 01:21:42 +00002204bool ARMFastISel::ARMEmitLibcall(const Instruction *I, RTLIB::Libcall Call) {
2205 CallingConv::ID CC = TLI.getLibcallCallingConv(Call);
Eric Christopherdccd2c32010-10-11 08:38:55 +00002206
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002207 // Handle *simple* calls for now.
Chris Lattnerdb125cf2011-07-18 04:54:35 +00002208 Type *RetTy = I->getType();
Duncan Sands1440e8b2010-11-03 11:35:31 +00002209 MVT RetVT;
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002210 if (RetTy->isVoidTy())
2211 RetVT = MVT::isVoid;
2212 else if (!isTypeLegal(RetTy, RetVT))
2213 return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00002214
Chad Rosier2a2e9d52012-05-11 18:51:55 +00002215 // Can't handle non-double multi-reg retvals.
Jush Luefc967e2012-06-14 06:08:19 +00002216 if (RetVT != MVT::isVoid && RetVT != MVT::i32) {
Chad Rosier2a2e9d52012-05-11 18:51:55 +00002217 SmallVector<CCValAssign, 16> RVLocs;
2218 CCState CCInfo(CC, false, *FuncInfo.MF, TM, RVLocs, *Context);
Jush Luee649832012-07-19 09:49:00 +00002219 CCInfo.AnalyzeCallResult(RetVT, CCAssignFnForCall(CC, true, false));
Chad Rosier2a2e9d52012-05-11 18:51:55 +00002220 if (RVLocs.size() >= 2 && RetVT != MVT::f64)
2221 return false;
2222 }
2223
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002224 // Set up the argument vectors.
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002225 SmallVector<Value*, 8> Args;
2226 SmallVector<unsigned, 8> ArgRegs;
Duncan Sands1440e8b2010-11-03 11:35:31 +00002227 SmallVector<MVT, 8> ArgVTs;
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002228 SmallVector<ISD::ArgFlagsTy, 8> ArgFlags;
2229 Args.reserve(I->getNumOperands());
2230 ArgRegs.reserve(I->getNumOperands());
2231 ArgVTs.reserve(I->getNumOperands());
2232 ArgFlags.reserve(I->getNumOperands());
Eric Christopher7ed8ec92010-09-28 01:21:42 +00002233 for (unsigned i = 0; i < I->getNumOperands(); ++i) {
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002234 Value *Op = I->getOperand(i);
2235 unsigned Arg = getRegForValue(Op);
2236 if (Arg == 0) return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00002237
Chris Lattnerdb125cf2011-07-18 04:54:35 +00002238 Type *ArgTy = Op->getType();
Duncan Sands1440e8b2010-11-03 11:35:31 +00002239 MVT ArgVT;
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002240 if (!isTypeLegal(ArgTy, ArgVT)) return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00002241
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002242 ISD::ArgFlagsTy Flags;
2243 unsigned OriginalAlignment = TD.getABITypeAlignment(ArgTy);
2244 Flags.setOrigAlign(OriginalAlignment);
Eric Christopherdccd2c32010-10-11 08:38:55 +00002245
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002246 Args.push_back(Op);
2247 ArgRegs.push_back(Arg);
2248 ArgVTs.push_back(ArgVT);
2249 ArgFlags.push_back(Flags);
2250 }
Eric Christopherdccd2c32010-10-11 08:38:55 +00002251
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002252 // Handle the arguments now that we've gotten them.
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002253 SmallVector<unsigned, 4> RegArgs;
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002254 unsigned NumBytes;
Jush Luee649832012-07-19 09:49:00 +00002255 if (!ProcessCallArgs(Args, ArgRegs, ArgVTs, ArgFlags,
2256 RegArgs, CC, NumBytes, false))
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002257 return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00002258
Chad Rosier49d6fc02012-06-12 19:25:13 +00002259 unsigned CalleeReg = 0;
2260 if (EnableARMLongCalls) {
2261 CalleeReg = getLibcallReg(TLI.getLibcallName(Call));
2262 if (CalleeReg == 0) return false;
2263 }
Eric Christopherdccd2c32010-10-11 08:38:55 +00002264
Chad Rosier49d6fc02012-06-12 19:25:13 +00002265 // Issue the call.
2266 unsigned CallOpc = ARMSelectCallOp(EnableARMLongCalls);
2267 MachineInstrBuilder MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt,
2268 DL, TII.get(CallOpc));
Jakob Stoklund Olesen0745b642012-08-24 20:52:46 +00002269 // BL / BLX don't take a predicate, but tBL / tBLX do.
2270 if (isThumb2)
Chad Rosier49d6fc02012-06-12 19:25:13 +00002271 AddDefaultPred(MIB);
Jakob Stoklund Olesen0745b642012-08-24 20:52:46 +00002272 if (EnableARMLongCalls)
2273 MIB.addReg(CalleeReg);
2274 else
2275 MIB.addExternalSymbol(TLI.getLibcallName(Call));
Chad Rosier49d6fc02012-06-12 19:25:13 +00002276
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002277 // Add implicit physical register uses to the call.
2278 for (unsigned i = 0, e = RegArgs.size(); i != e; ++i)
Jakob Stoklund Olesen0745b642012-08-24 20:52:46 +00002279 MIB.addReg(RegArgs[i], RegState::Implicit);
Eric Christopherdccd2c32010-10-11 08:38:55 +00002280
Jakob Stoklund Olesenc54f6342012-02-24 01:19:29 +00002281 // Add a register mask with the call-preserved registers.
2282 // Proper defs for return values will be added by setPhysRegsDeadExcept().
2283 MIB.addRegMask(TRI.getCallPreservedMask(CC));
2284
Eric Christophera9a7a1a2010-09-29 23:11:09 +00002285 // Finish off the call including any return values.
Eric Christopherdccd2c32010-10-11 08:38:55 +00002286 SmallVector<unsigned, 4> UsedRegs;
Jush Luee649832012-07-19 09:49:00 +00002287 if (!FinishCall(RetVT, UsedRegs, I, CC, NumBytes, false)) return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00002288
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002289 // Set all unused physreg defs as dead.
2290 static_cast<MachineInstr *>(MIB)->setPhysRegsDeadExcept(UsedRegs, TRI);
Eric Christopherdccd2c32010-10-11 08:38:55 +00002291
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002292 return true;
2293}
2294
Chad Rosier11add262011-11-11 23:31:03 +00002295bool ARMFastISel::SelectCall(const Instruction *I,
2296 const char *IntrMemName = 0) {
Eric Christopherf9764fa2010-09-30 20:49:44 +00002297 const CallInst *CI = cast<CallInst>(I);
2298 const Value *Callee = CI->getCalledValue();
2299
Chad Rosier11add262011-11-11 23:31:03 +00002300 // Can't handle inline asm.
2301 if (isa<InlineAsm>(Callee)) return false;
Eric Christopherf9764fa2010-09-30 20:49:44 +00002302
Chad Rosier425e9512012-12-11 00:18:02 +00002303 // Allow SelectionDAG isel to handle tail calls.
2304 if (CI->isTailCall()) return false;
2305
Eric Christopherf9764fa2010-09-30 20:49:44 +00002306 // Check the calling convention.
2307 ImmutableCallSite CS(CI);
2308 CallingConv::ID CC = CS.getCallingConv();
Eric Christopher4cf34c62010-10-18 06:49:12 +00002309
Eric Christopherf9764fa2010-09-30 20:49:44 +00002310 // TODO: Avoid some calling conventions?
Eric Christopherdccd2c32010-10-11 08:38:55 +00002311
Chris Lattnerdb125cf2011-07-18 04:54:35 +00002312 PointerType *PT = cast<PointerType>(CS.getCalledValue()->getType());
2313 FunctionType *FTy = cast<FunctionType>(PT->getElementType());
Jush Luee649832012-07-19 09:49:00 +00002314 bool isVarArg = FTy->isVarArg();
Eric Christopherdccd2c32010-10-11 08:38:55 +00002315
Eric Christopherf9764fa2010-09-30 20:49:44 +00002316 // Handle *simple* calls for now.
Chris Lattnerdb125cf2011-07-18 04:54:35 +00002317 Type *RetTy = I->getType();
Duncan Sands1440e8b2010-11-03 11:35:31 +00002318 MVT RetVT;
Eric Christopherf9764fa2010-09-30 20:49:44 +00002319 if (RetTy->isVoidTy())
2320 RetVT = MVT::isVoid;
Chad Rosier0eff39f2011-11-08 00:03:32 +00002321 else if (!isTypeLegal(RetTy, RetVT) && RetVT != MVT::i16 &&
2322 RetVT != MVT::i8 && RetVT != MVT::i1)
Eric Christopherf9764fa2010-09-30 20:49:44 +00002323 return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00002324
Chad Rosier2a2e9d52012-05-11 18:51:55 +00002325 // Can't handle non-double multi-reg retvals.
2326 if (RetVT != MVT::isVoid && RetVT != MVT::i1 && RetVT != MVT::i8 &&
2327 RetVT != MVT::i16 && RetVT != MVT::i32) {
2328 SmallVector<CCValAssign, 16> RVLocs;
Jush Luee649832012-07-19 09:49:00 +00002329 CCState CCInfo(CC, isVarArg, *FuncInfo.MF, TM, RVLocs, *Context);
2330 CCInfo.AnalyzeCallResult(RetVT, CCAssignFnForCall(CC, true, isVarArg));
Chad Rosier2a2e9d52012-05-11 18:51:55 +00002331 if (RVLocs.size() >= 2 && RetVT != MVT::f64)
2332 return false;
2333 }
2334
Eric Christopherf9764fa2010-09-30 20:49:44 +00002335 // Set up the argument vectors.
2336 SmallVector<Value*, 8> Args;
2337 SmallVector<unsigned, 8> ArgRegs;
Duncan Sands1440e8b2010-11-03 11:35:31 +00002338 SmallVector<MVT, 8> ArgVTs;
Eric Christopherf9764fa2010-09-30 20:49:44 +00002339 SmallVector<ISD::ArgFlagsTy, 8> ArgFlags;
Chad Rosier92fd0172012-02-15 00:23:55 +00002340 unsigned arg_size = CS.arg_size();
2341 Args.reserve(arg_size);
2342 ArgRegs.reserve(arg_size);
2343 ArgVTs.reserve(arg_size);
2344 ArgFlags.reserve(arg_size);
Eric Christopherf9764fa2010-09-30 20:49:44 +00002345 for (ImmutableCallSite::arg_iterator i = CS.arg_begin(), e = CS.arg_end();
2346 i != e; ++i) {
Chad Rosier11add262011-11-11 23:31:03 +00002347 // If we're lowering a memory intrinsic instead of a regular call, skip the
2348 // last two arguments, which shouldn't be passed to the underlying function.
2349 if (IntrMemName && e-i <= 2)
2350 break;
Eric Christopherdccd2c32010-10-11 08:38:55 +00002351
Eric Christopherf9764fa2010-09-30 20:49:44 +00002352 ISD::ArgFlagsTy Flags;
2353 unsigned AttrInd = i - CS.arg_begin() + 1;
Bill Wendling034b94b2012-12-19 07:18:57 +00002354 if (CS.paramHasAttr(AttrInd, Attribute::SExt))
Eric Christopherf9764fa2010-09-30 20:49:44 +00002355 Flags.setSExt();
Bill Wendling034b94b2012-12-19 07:18:57 +00002356 if (CS.paramHasAttr(AttrInd, Attribute::ZExt))
Eric Christopherf9764fa2010-09-30 20:49:44 +00002357 Flags.setZExt();
2358
Chad Rosier8e4a2e42011-11-04 00:58:10 +00002359 // FIXME: Only handle *easy* calls for now.
Bill Wendling034b94b2012-12-19 07:18:57 +00002360 if (CS.paramHasAttr(AttrInd, Attribute::InReg) ||
2361 CS.paramHasAttr(AttrInd, Attribute::StructRet) ||
2362 CS.paramHasAttr(AttrInd, Attribute::Nest) ||
2363 CS.paramHasAttr(AttrInd, Attribute::ByVal))
Eric Christopherf9764fa2010-09-30 20:49:44 +00002364 return false;
2365
Chris Lattnerdb125cf2011-07-18 04:54:35 +00002366 Type *ArgTy = (*i)->getType();
Duncan Sands1440e8b2010-11-03 11:35:31 +00002367 MVT ArgVT;
Chad Rosier42536af2011-11-05 20:16:15 +00002368 if (!isTypeLegal(ArgTy, ArgVT) && ArgVT != MVT::i16 && ArgVT != MVT::i8 &&
2369 ArgVT != MVT::i1)
Eric Christopherf9764fa2010-09-30 20:49:44 +00002370 return false;
Chad Rosier424fe0e2011-11-18 01:17:34 +00002371
2372 unsigned Arg = getRegForValue(*i);
2373 if (Arg == 0)
2374 return false;
2375
Eric Christopherf9764fa2010-09-30 20:49:44 +00002376 unsigned OriginalAlignment = TD.getABITypeAlignment(ArgTy);
2377 Flags.setOrigAlign(OriginalAlignment);
Eric Christopherdccd2c32010-10-11 08:38:55 +00002378
Eric Christopherf9764fa2010-09-30 20:49:44 +00002379 Args.push_back(*i);
2380 ArgRegs.push_back(Arg);
2381 ArgVTs.push_back(ArgVT);
2382 ArgFlags.push_back(Flags);
2383 }
Eric Christopherdccd2c32010-10-11 08:38:55 +00002384
Eric Christopherf9764fa2010-09-30 20:49:44 +00002385 // Handle the arguments now that we've gotten them.
2386 SmallVector<unsigned, 4> RegArgs;
2387 unsigned NumBytes;
Jush Luee649832012-07-19 09:49:00 +00002388 if (!ProcessCallArgs(Args, ArgRegs, ArgVTs, ArgFlags,
2389 RegArgs, CC, NumBytes, isVarArg))
Eric Christopherf9764fa2010-09-30 20:49:44 +00002390 return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00002391
Chad Rosier49d6fc02012-06-12 19:25:13 +00002392 bool UseReg = false;
Chad Rosier1c8fccb2012-05-23 18:38:57 +00002393 const GlobalValue *GV = dyn_cast<GlobalValue>(Callee);
Chad Rosier49d6fc02012-06-12 19:25:13 +00002394 if (!GV || EnableARMLongCalls) UseReg = true;
Chad Rosier1c8fccb2012-05-23 18:38:57 +00002395
Chad Rosier49d6fc02012-06-12 19:25:13 +00002396 unsigned CalleeReg = 0;
2397 if (UseReg) {
2398 if (IntrMemName)
2399 CalleeReg = getLibcallReg(IntrMemName);
2400 else
2401 CalleeReg = getRegForValue(Callee);
2402
Chad Rosier1c8fccb2012-05-23 18:38:57 +00002403 if (CalleeReg == 0) return false;
2404 }
2405
Chad Rosier49d6fc02012-06-12 19:25:13 +00002406 // Issue the call.
2407 unsigned CallOpc = ARMSelectCallOp(UseReg);
2408 MachineInstrBuilder MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt,
2409 DL, TII.get(CallOpc));
Chad Rosier49d6fc02012-06-12 19:25:13 +00002410
Jakob Stoklund Olesen0745b642012-08-24 20:52:46 +00002411 // ARM calls don't take a predicate, but tBL / tBLX do.
2412 if(isThumb2)
Chad Rosier49d6fc02012-06-12 19:25:13 +00002413 AddDefaultPred(MIB);
Jakob Stoklund Olesen0745b642012-08-24 20:52:46 +00002414 if (UseReg)
2415 MIB.addReg(CalleeReg);
2416 else if (!IntrMemName)
2417 MIB.addGlobalAddress(GV, 0, 0);
2418 else
2419 MIB.addExternalSymbol(IntrMemName, 0);
Jush Luefc967e2012-06-14 06:08:19 +00002420
Eric Christopherf9764fa2010-09-30 20:49:44 +00002421 // Add implicit physical register uses to the call.
2422 for (unsigned i = 0, e = RegArgs.size(); i != e; ++i)
Jakob Stoklund Olesen0745b642012-08-24 20:52:46 +00002423 MIB.addReg(RegArgs[i], RegState::Implicit);
Eric Christopherdccd2c32010-10-11 08:38:55 +00002424
Jakob Stoklund Olesenc54f6342012-02-24 01:19:29 +00002425 // Add a register mask with the call-preserved registers.
2426 // Proper defs for return values will be added by setPhysRegsDeadExcept().
2427 MIB.addRegMask(TRI.getCallPreservedMask(CC));
2428
Eric Christopherf9764fa2010-09-30 20:49:44 +00002429 // Finish off the call including any return values.
Eric Christopherdccd2c32010-10-11 08:38:55 +00002430 SmallVector<unsigned, 4> UsedRegs;
Jush Luee649832012-07-19 09:49:00 +00002431 if (!FinishCall(RetVT, UsedRegs, I, CC, NumBytes, isVarArg))
2432 return false;
Eric Christopherdccd2c32010-10-11 08:38:55 +00002433
Eric Christopherf9764fa2010-09-30 20:49:44 +00002434 // Set all unused physreg defs as dead.
2435 static_cast<MachineInstr *>(MIB)->setPhysRegsDeadExcept(UsedRegs, TRI);
Eric Christopherdccd2c32010-10-11 08:38:55 +00002436
Eric Christopherf9764fa2010-09-30 20:49:44 +00002437 return true;
Eric Christopherf9764fa2010-09-30 20:49:44 +00002438}
2439
Chad Rosier2c42b8c2011-11-14 23:04:09 +00002440bool ARMFastISel::ARMIsMemCpySmall(uint64_t Len) {
Chad Rosier909cb4f2011-11-14 22:46:17 +00002441 return Len <= 16;
2442}
2443
Jim Grosbachd4f020a2012-04-06 23:43:50 +00002444bool ARMFastISel::ARMTryEmitSmallMemCpy(Address Dest, Address Src,
Chad Rosierc9758b12012-12-06 01:34:31 +00002445 uint64_t Len, unsigned Alignment) {
Chad Rosier909cb4f2011-11-14 22:46:17 +00002446 // Make sure we don't bloat code by inlining very large memcpy's.
Chad Rosier2c42b8c2011-11-14 23:04:09 +00002447 if (!ARMIsMemCpySmall(Len))
Chad Rosier909cb4f2011-11-14 22:46:17 +00002448 return false;
2449
Chad Rosier909cb4f2011-11-14 22:46:17 +00002450 while (Len) {
2451 MVT VT;
Chad Rosierc9758b12012-12-06 01:34:31 +00002452 if (!Alignment || Alignment >= 4) {
2453 if (Len >= 4)
2454 VT = MVT::i32;
2455 else if (Len >= 2)
2456 VT = MVT::i16;
2457 else {
2458 assert (Len == 1 && "Expected a length of 1!");
2459 VT = MVT::i8;
2460 }
2461 } else {
2462 // Bound based on alignment.
2463 if (Len >= 2 && Alignment == 2)
2464 VT = MVT::i16;
2465 else {
Chad Rosierc9758b12012-12-06 01:34:31 +00002466 VT = MVT::i8;
2467 }
Chad Rosier909cb4f2011-11-14 22:46:17 +00002468 }
2469
2470 bool RV;
2471 unsigned ResultReg;
2472 RV = ARMEmitLoad(VT, ResultReg, Src);
Eric Christopherfae699a2012-01-11 20:55:27 +00002473 assert (RV == true && "Should be able to handle this load.");
Chad Rosier909cb4f2011-11-14 22:46:17 +00002474 RV = ARMEmitStore(VT, ResultReg, Dest);
Eric Christopherfae699a2012-01-11 20:55:27 +00002475 assert (RV == true && "Should be able to handle this store.");
Duncan Sands5b8a1db2012-02-05 14:20:11 +00002476 (void)RV;
Chad Rosier909cb4f2011-11-14 22:46:17 +00002477
2478 unsigned Size = VT.getSizeInBits()/8;
2479 Len -= Size;
2480 Dest.Offset += Size;
2481 Src.Offset += Size;
2482 }
2483
2484 return true;
2485}
2486
Chad Rosier11add262011-11-11 23:31:03 +00002487bool ARMFastISel::SelectIntrinsicCall(const IntrinsicInst &I) {
2488 // FIXME: Handle more intrinsics.
2489 switch (I.getIntrinsicID()) {
2490 default: return false;
Chad Rosierada759d2012-05-30 17:23:22 +00002491 case Intrinsic::frameaddress: {
2492 MachineFrameInfo *MFI = FuncInfo.MF->getFrameInfo();
2493 MFI->setFrameAddressIsTaken(true);
2494
2495 unsigned LdrOpc;
2496 const TargetRegisterClass *RC;
2497 if (isThumb2) {
2498 LdrOpc = ARM::t2LDRi12;
2499 RC = (const TargetRegisterClass*)&ARM::tGPRRegClass;
2500 } else {
2501 LdrOpc = ARM::LDRi12;
2502 RC = (const TargetRegisterClass*)&ARM::GPRRegClass;
2503 }
2504
2505 const ARMBaseRegisterInfo *RegInfo =
2506 static_cast<const ARMBaseRegisterInfo*>(TM.getRegisterInfo());
2507 unsigned FramePtr = RegInfo->getFrameRegister(*(FuncInfo.MF));
2508 unsigned SrcReg = FramePtr;
2509
2510 // Recursively load frame address
2511 // ldr r0 [fp]
2512 // ldr r0 [r0]
2513 // ldr r0 [r0]
2514 // ...
2515 unsigned DestReg;
2516 unsigned Depth = cast<ConstantInt>(I.getOperand(0))->getZExtValue();
2517 while (Depth--) {
2518 DestReg = createResultReg(RC);
2519 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
2520 TII.get(LdrOpc), DestReg)
2521 .addReg(SrcReg).addImm(0));
2522 SrcReg = DestReg;
2523 }
Chad Rosierbbff4ee2012-06-01 21:12:31 +00002524 UpdateValueMap(&I, SrcReg);
Chad Rosierada759d2012-05-30 17:23:22 +00002525 return true;
2526 }
Chad Rosier11add262011-11-11 23:31:03 +00002527 case Intrinsic::memcpy:
2528 case Intrinsic::memmove: {
Chad Rosier11add262011-11-11 23:31:03 +00002529 const MemTransferInst &MTI = cast<MemTransferInst>(I);
2530 // Don't handle volatile.
2531 if (MTI.isVolatile())
2532 return false;
Chad Rosier909cb4f2011-11-14 22:46:17 +00002533
2534 // Disable inlining for memmove before calls to ComputeAddress. Otherwise,
2535 // we would emit dead code because we don't currently handle memmoves.
2536 bool isMemCpy = (I.getIntrinsicID() == Intrinsic::memcpy);
2537 if (isa<ConstantInt>(MTI.getLength()) && isMemCpy) {
Chad Rosier2c42b8c2011-11-14 23:04:09 +00002538 // Small memcpy's are common enough that we want to do them without a call
2539 // if possible.
Chad Rosier909cb4f2011-11-14 22:46:17 +00002540 uint64_t Len = cast<ConstantInt>(MTI.getLength())->getZExtValue();
Chad Rosier2c42b8c2011-11-14 23:04:09 +00002541 if (ARMIsMemCpySmall(Len)) {
Chad Rosier909cb4f2011-11-14 22:46:17 +00002542 Address Dest, Src;
2543 if (!ARMComputeAddress(MTI.getRawDest(), Dest) ||
2544 !ARMComputeAddress(MTI.getRawSource(), Src))
2545 return false;
Chad Rosierc9758b12012-12-06 01:34:31 +00002546 unsigned Alignment = MTI.getAlignment();
2547 if (ARMTryEmitSmallMemCpy(Dest, Src, Len, Alignment))
Chad Rosier909cb4f2011-11-14 22:46:17 +00002548 return true;
2549 }
2550 }
Jush Luefc967e2012-06-14 06:08:19 +00002551
Chad Rosier11add262011-11-11 23:31:03 +00002552 if (!MTI.getLength()->getType()->isIntegerTy(32))
2553 return false;
Jush Luefc967e2012-06-14 06:08:19 +00002554
Chad Rosier11add262011-11-11 23:31:03 +00002555 if (MTI.getSourceAddressSpace() > 255 || MTI.getDestAddressSpace() > 255)
2556 return false;
2557
2558 const char *IntrMemName = isa<MemCpyInst>(I) ? "memcpy" : "memmove";
2559 return SelectCall(&I, IntrMemName);
2560 }
2561 case Intrinsic::memset: {
2562 const MemSetInst &MSI = cast<MemSetInst>(I);
2563 // Don't handle volatile.
2564 if (MSI.isVolatile())
2565 return false;
Jush Luefc967e2012-06-14 06:08:19 +00002566
Chad Rosier11add262011-11-11 23:31:03 +00002567 if (!MSI.getLength()->getType()->isIntegerTy(32))
2568 return false;
Jush Luefc967e2012-06-14 06:08:19 +00002569
Chad Rosier11add262011-11-11 23:31:03 +00002570 if (MSI.getDestAddressSpace() > 255)
2571 return false;
Jush Luefc967e2012-06-14 06:08:19 +00002572
Chad Rosier11add262011-11-11 23:31:03 +00002573 return SelectCall(&I, "memset");
2574 }
Chad Rosier226ddf52012-05-11 21:33:49 +00002575 case Intrinsic::trap: {
Eli Bendersky0f156af2013-01-30 16:30:19 +00002576 BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(
2577 Subtarget->useNaClTrap() ? ARM::TRAPNaCl : ARM::TRAP));
Chad Rosier226ddf52012-05-11 21:33:49 +00002578 return true;
2579 }
Chad Rosier11add262011-11-11 23:31:03 +00002580 }
Chad Rosier11add262011-11-11 23:31:03 +00002581}
2582
Chad Rosier0d7b2312011-11-02 00:18:48 +00002583bool ARMFastISel::SelectTrunc(const Instruction *I) {
Jush Luefc967e2012-06-14 06:08:19 +00002584 // The high bits for a type smaller than the register size are assumed to be
Chad Rosier0d7b2312011-11-02 00:18:48 +00002585 // undefined.
2586 Value *Op = I->getOperand(0);
2587
2588 EVT SrcVT, DestVT;
2589 SrcVT = TLI.getValueType(Op->getType(), true);
2590 DestVT = TLI.getValueType(I->getType(), true);
2591
2592 if (SrcVT != MVT::i32 && SrcVT != MVT::i16 && SrcVT != MVT::i8)
2593 return false;
2594 if (DestVT != MVT::i16 && DestVT != MVT::i8 && DestVT != MVT::i1)
2595 return false;
2596
2597 unsigned SrcReg = getRegForValue(Op);
2598 if (!SrcReg) return false;
2599
2600 // Because the high bits are undefined, a truncate doesn't generate
2601 // any code.
2602 UpdateValueMap(I, SrcReg);
2603 return true;
2604}
2605
Chad Rosier316a5aa2012-12-17 19:59:43 +00002606unsigned ARMFastISel::ARMEmitIntExt(MVT SrcVT, unsigned SrcReg, MVT DestVT,
Chad Rosier87633022011-11-02 17:20:24 +00002607 bool isZExt) {
Eli Friedman76927d732011-05-25 23:49:02 +00002608 if (DestVT != MVT::i32 && DestVT != MVT::i16 && DestVT != MVT::i8)
Chad Rosier87633022011-11-02 17:20:24 +00002609 return 0;
Eli Friedman76927d732011-05-25 23:49:02 +00002610
2611 unsigned Opc;
Eli Friedman76927d732011-05-25 23:49:02 +00002612 bool isBoolZext = false;
Eric Christopher2c553622013-04-22 14:11:25 +00002613 const TargetRegisterClass *RC;
Patrik Hagglunda61b17c2012-12-13 06:34:11 +00002614 switch (SrcVT.SimpleTy) {
Chad Rosier87633022011-11-02 17:20:24 +00002615 default: return 0;
Eli Friedman76927d732011-05-25 23:49:02 +00002616 case MVT::i16:
Chad Rosier87633022011-11-02 17:20:24 +00002617 if (!Subtarget->hasV6Ops()) return 0;
Chad Rosier6e99a8c2012-11-27 22:29:43 +00002618 RC = isThumb2 ? &ARM::rGPRRegClass : &ARM::GPRnopcRegClass;
2619 if (isZExt)
Chad Rosier66dc8ca2011-11-08 21:12:00 +00002620 Opc = isThumb2 ? ARM::t2UXTH : ARM::UXTH;
Chad Rosier6e99a8c2012-11-27 22:29:43 +00002621 else
Chad Rosier66dc8ca2011-11-08 21:12:00 +00002622 Opc = isThumb2 ? ARM::t2SXTH : ARM::SXTH;
Eli Friedman76927d732011-05-25 23:49:02 +00002623 break;
2624 case MVT::i8:
Chad Rosier87633022011-11-02 17:20:24 +00002625 if (!Subtarget->hasV6Ops()) return 0;
Chad Rosier6e99a8c2012-11-27 22:29:43 +00002626 RC = isThumb2 ? &ARM::rGPRRegClass : &ARM::GPRnopcRegClass;
2627 if (isZExt)
Chad Rosier66dc8ca2011-11-08 21:12:00 +00002628 Opc = isThumb2 ? ARM::t2UXTB : ARM::UXTB;
Chad Rosier6e99a8c2012-11-27 22:29:43 +00002629 else
Chad Rosier66dc8ca2011-11-08 21:12:00 +00002630 Opc = isThumb2 ? ARM::t2SXTB : ARM::SXTB;
Eli Friedman76927d732011-05-25 23:49:02 +00002631 break;
2632 case MVT::i1:
Chad Rosier87633022011-11-02 17:20:24 +00002633 if (isZExt) {
Chad Rosierfc17ddd2012-11-27 01:06:49 +00002634 RC = isThumb2 ? &ARM::rGPRRegClass : &ARM::GPRRegClass;
Chad Rosier6e99a8c2012-11-27 22:29:43 +00002635 Opc = isThumb2 ? ARM::t2ANDri : ARM::ANDri;
Eli Friedman76927d732011-05-25 23:49:02 +00002636 isBoolZext = true;
2637 break;
2638 }
Chad Rosier87633022011-11-02 17:20:24 +00002639 return 0;
Eli Friedman76927d732011-05-25 23:49:02 +00002640 }
2641
Chad Rosierfc17ddd2012-11-27 01:06:49 +00002642 unsigned ResultReg = createResultReg(RC);
Eli Friedman76927d732011-05-25 23:49:02 +00002643 MachineInstrBuilder MIB;
Chad Rosier87633022011-11-02 17:20:24 +00002644 MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(Opc), ResultReg)
Eli Friedman76927d732011-05-25 23:49:02 +00002645 .addReg(SrcReg);
2646 if (isBoolZext)
2647 MIB.addImm(1);
Jim Grosbachc5a8c862011-07-27 16:47:19 +00002648 else
2649 MIB.addImm(0);
Eli Friedman76927d732011-05-25 23:49:02 +00002650 AddOptionalDefs(MIB);
Chad Rosier87633022011-11-02 17:20:24 +00002651 return ResultReg;
2652}
2653
2654bool ARMFastISel::SelectIntExt(const Instruction *I) {
2655 // On ARM, in general, integer casts don't involve legal types; this code
2656 // handles promotable integers.
Chad Rosier87633022011-11-02 17:20:24 +00002657 Type *DestTy = I->getType();
2658 Value *Src = I->getOperand(0);
2659 Type *SrcTy = Src->getType();
2660
Chad Rosier87633022011-11-02 17:20:24 +00002661 bool isZExt = isa<ZExtInst>(I);
2662 unsigned SrcReg = getRegForValue(Src);
2663 if (!SrcReg) return false;
2664
Chad Rosier316a5aa2012-12-17 19:59:43 +00002665 EVT SrcEVT, DestEVT;
2666 SrcEVT = TLI.getValueType(SrcTy, true);
2667 DestEVT = TLI.getValueType(DestTy, true);
2668 if (!SrcEVT.isSimple()) return false;
2669 if (!DestEVT.isSimple()) return false;
Patrik Hagglund3d170e62012-12-17 14:30:06 +00002670
Chad Rosier316a5aa2012-12-17 19:59:43 +00002671 MVT SrcVT = SrcEVT.getSimpleVT();
2672 MVT DestVT = DestEVT.getSimpleVT();
Chad Rosier87633022011-11-02 17:20:24 +00002673 unsigned ResultReg = ARMEmitIntExt(SrcVT, SrcReg, DestVT, isZExt);
2674 if (ResultReg == 0) return false;
2675 UpdateValueMap(I, ResultReg);
Eli Friedman76927d732011-05-25 23:49:02 +00002676 return true;
2677}
2678
Jush Lu29465492012-08-03 02:37:48 +00002679bool ARMFastISel::SelectShift(const Instruction *I,
2680 ARM_AM::ShiftOpc ShiftTy) {
2681 // We handle thumb2 mode by target independent selector
2682 // or SelectionDAG ISel.
2683 if (isThumb2)
2684 return false;
2685
2686 // Only handle i32 now.
2687 EVT DestVT = TLI.getValueType(I->getType(), true);
2688 if (DestVT != MVT::i32)
2689 return false;
2690
2691 unsigned Opc = ARM::MOVsr;
2692 unsigned ShiftImm;
2693 Value *Src2Value = I->getOperand(1);
2694 if (const ConstantInt *CI = dyn_cast<ConstantInt>(Src2Value)) {
2695 ShiftImm = CI->getZExtValue();
2696
2697 // Fall back to selection DAG isel if the shift amount
2698 // is zero or greater than the width of the value type.
2699 if (ShiftImm == 0 || ShiftImm >=32)
2700 return false;
2701
2702 Opc = ARM::MOVsi;
2703 }
2704
2705 Value *Src1Value = I->getOperand(0);
2706 unsigned Reg1 = getRegForValue(Src1Value);
2707 if (Reg1 == 0) return false;
2708
Nadav Roteme7576402012-09-06 11:13:55 +00002709 unsigned Reg2 = 0;
Jush Lu29465492012-08-03 02:37:48 +00002710 if (Opc == ARM::MOVsr) {
2711 Reg2 = getRegForValue(Src2Value);
2712 if (Reg2 == 0) return false;
2713 }
2714
JF Bastiena9a8a122013-05-29 15:45:47 +00002715 unsigned ResultReg = createResultReg(&ARM::GPRnopcRegClass);
Jush Lu29465492012-08-03 02:37:48 +00002716 if(ResultReg == 0) return false;
2717
2718 MachineInstrBuilder MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
2719 TII.get(Opc), ResultReg)
2720 .addReg(Reg1);
2721
2722 if (Opc == ARM::MOVsi)
2723 MIB.addImm(ARM_AM::getSORegOpc(ShiftTy, ShiftImm));
2724 else if (Opc == ARM::MOVsr) {
2725 MIB.addReg(Reg2);
2726 MIB.addImm(ARM_AM::getSORegOpc(ShiftTy, 0));
2727 }
2728
2729 AddOptionalDefs(MIB);
2730 UpdateValueMap(I, ResultReg);
2731 return true;
2732}
2733
Eric Christopher56d2b722010-09-02 23:43:26 +00002734// TODO: SoftFP support.
Eric Christopherab695882010-07-21 22:26:11 +00002735bool ARMFastISel::TargetSelectInstruction(const Instruction *I) {
Eric Christopherac1a19e2010-09-09 01:06:51 +00002736
Eric Christopherab695882010-07-21 22:26:11 +00002737 switch (I->getOpcode()) {
Eric Christopher83007122010-08-23 21:44:12 +00002738 case Instruction::Load:
Eric Christopher43b62be2010-09-27 06:02:23 +00002739 return SelectLoad(I);
Eric Christopher543cf052010-09-01 22:16:27 +00002740 case Instruction::Store:
Eric Christopher43b62be2010-09-27 06:02:23 +00002741 return SelectStore(I);
Eric Christophere5734102010-09-03 00:35:47 +00002742 case Instruction::Br:
Eric Christopher43b62be2010-09-27 06:02:23 +00002743 return SelectBranch(I);
Chad Rosier60c8fa62012-02-07 23:56:08 +00002744 case Instruction::IndirectBr:
2745 return SelectIndirectBr(I);
Eric Christopherd43393a2010-09-08 23:13:45 +00002746 case Instruction::ICmp:
2747 case Instruction::FCmp:
Eric Christopher43b62be2010-09-27 06:02:23 +00002748 return SelectCmp(I);
Eric Christopher46203602010-09-09 00:26:48 +00002749 case Instruction::FPExt:
Eric Christopher43b62be2010-09-27 06:02:23 +00002750 return SelectFPExt(I);
Eric Christopherce07b542010-09-09 20:26:31 +00002751 case Instruction::FPTrunc:
Eric Christopher43b62be2010-09-27 06:02:23 +00002752 return SelectFPTrunc(I);
Eric Christopher9a040492010-09-09 18:54:59 +00002753 case Instruction::SIToFP:
Chad Rosierae46a332012-02-03 21:14:11 +00002754 return SelectIToFP(I, /*isSigned*/ true);
Chad Rosier36b7beb2012-02-03 19:42:52 +00002755 case Instruction::UIToFP:
Chad Rosierae46a332012-02-03 21:14:11 +00002756 return SelectIToFP(I, /*isSigned*/ false);
Eric Christopher9a040492010-09-09 18:54:59 +00002757 case Instruction::FPToSI:
Chad Rosierae46a332012-02-03 21:14:11 +00002758 return SelectFPToI(I, /*isSigned*/ true);
Chad Rosieree8901c2012-02-03 20:27:51 +00002759 case Instruction::FPToUI:
Chad Rosierae46a332012-02-03 21:14:11 +00002760 return SelectFPToI(I, /*isSigned*/ false);
Chad Rosier3901c3e2012-02-06 23:50:07 +00002761 case Instruction::Add:
2762 return SelectBinaryIntOp(I, ISD::ADD);
Chad Rosier6fde8752012-02-08 02:29:21 +00002763 case Instruction::Or:
2764 return SelectBinaryIntOp(I, ISD::OR);
Chad Rosier743e1992012-02-08 02:45:44 +00002765 case Instruction::Sub:
2766 return SelectBinaryIntOp(I, ISD::SUB);
Eric Christopherbc39b822010-09-09 00:53:57 +00002767 case Instruction::FAdd:
Chad Rosier3901c3e2012-02-06 23:50:07 +00002768 return SelectBinaryFPOp(I, ISD::FADD);
Eric Christopherbc39b822010-09-09 00:53:57 +00002769 case Instruction::FSub:
Chad Rosier3901c3e2012-02-06 23:50:07 +00002770 return SelectBinaryFPOp(I, ISD::FSUB);
Eric Christopherbc39b822010-09-09 00:53:57 +00002771 case Instruction::FMul:
Chad Rosier3901c3e2012-02-06 23:50:07 +00002772 return SelectBinaryFPOp(I, ISD::FMUL);
Eric Christopherbb3e5da2010-09-14 23:03:37 +00002773 case Instruction::SDiv:
Chad Rosier7ccb30b2012-02-03 21:07:27 +00002774 return SelectDiv(I, /*isSigned*/ true);
2775 case Instruction::UDiv:
2776 return SelectDiv(I, /*isSigned*/ false);
Eric Christopher6a880d62010-10-11 08:37:26 +00002777 case Instruction::SRem:
Chad Rosier769422f2012-02-03 21:23:45 +00002778 return SelectRem(I, /*isSigned*/ true);
2779 case Instruction::URem:
2780 return SelectRem(I, /*isSigned*/ false);
Eric Christopherf9764fa2010-09-30 20:49:44 +00002781 case Instruction::Call:
Chad Rosier11add262011-11-11 23:31:03 +00002782 if (const IntrinsicInst *II = dyn_cast<IntrinsicInst>(I))
2783 return SelectIntrinsicCall(*II);
Eric Christopherf9764fa2010-09-30 20:49:44 +00002784 return SelectCall(I);
Eric Christopher3bbd3962010-10-11 08:27:59 +00002785 case Instruction::Select:
2786 return SelectSelect(I);
Eric Christopher4f512ef2010-10-22 01:28:00 +00002787 case Instruction::Ret:
2788 return SelectRet(I);
Eli Friedman76927d732011-05-25 23:49:02 +00002789 case Instruction::Trunc:
Chad Rosier0d7b2312011-11-02 00:18:48 +00002790 return SelectTrunc(I);
Eli Friedman76927d732011-05-25 23:49:02 +00002791 case Instruction::ZExt:
2792 case Instruction::SExt:
Chad Rosier0d7b2312011-11-02 00:18:48 +00002793 return SelectIntExt(I);
Jush Lu29465492012-08-03 02:37:48 +00002794 case Instruction::Shl:
2795 return SelectShift(I, ARM_AM::lsl);
2796 case Instruction::LShr:
2797 return SelectShift(I, ARM_AM::lsr);
2798 case Instruction::AShr:
2799 return SelectShift(I, ARM_AM::asr);
Eric Christopherab695882010-07-21 22:26:11 +00002800 default: break;
2801 }
2802 return false;
2803}
2804
Eli Bendersky75299e32013-04-19 22:29:18 +00002805/// \brief The specified machine instr operand is a vreg, and that
Chad Rosierb29b9502011-11-13 02:23:59 +00002806/// vreg is being provided by the specified load instruction. If possible,
2807/// try to fold the load as an operand to the instruction, returning true if
2808/// successful.
Eli Bendersky75299e32013-04-19 22:29:18 +00002809bool ARMFastISel::tryToFoldLoadIntoMI(MachineInstr *MI, unsigned OpNo,
2810 const LoadInst *LI) {
Chad Rosierb29b9502011-11-13 02:23:59 +00002811 // Verify we have a legal type before going any further.
2812 MVT VT;
2813 if (!isLoadTypeLegal(LI->getType(), VT))
2814 return false;
2815
2816 // Combine load followed by zero- or sign-extend.
2817 // ldrb r1, [r0] ldrb r1, [r0]
2818 // uxtb r2, r1 =>
2819 // mov r3, r2 mov r3, r1
2820 bool isZExt = true;
2821 switch(MI->getOpcode()) {
2822 default: return false;
2823 case ARM::SXTH:
2824 case ARM::t2SXTH:
2825 isZExt = false;
2826 case ARM::UXTH:
2827 case ARM::t2UXTH:
2828 if (VT != MVT::i16)
2829 return false;
2830 break;
2831 case ARM::SXTB:
2832 case ARM::t2SXTB:
2833 isZExt = false;
2834 case ARM::UXTB:
2835 case ARM::t2UXTB:
2836 if (VT != MVT::i8)
2837 return false;
2838 break;
2839 }
2840 // See if we can handle this address.
2841 Address Addr;
2842 if (!ARMComputeAddress(LI->getOperand(0), Addr)) return false;
Jush Luefc967e2012-06-14 06:08:19 +00002843
Chad Rosierb29b9502011-11-13 02:23:59 +00002844 unsigned ResultReg = MI->getOperand(0).getReg();
Chad Rosier8a9bce92011-12-13 19:22:14 +00002845 if (!ARMEmitLoad(VT, ResultReg, Addr, LI->getAlignment(), isZExt, false))
Chad Rosierb29b9502011-11-13 02:23:59 +00002846 return false;
2847 MI->eraseFromParent();
2848 return true;
2849}
2850
Jush Lu8f506472012-09-27 05:21:41 +00002851unsigned ARMFastISel::ARMLowerPICELF(const GlobalValue *GV,
Patrik Hagglunda61b17c2012-12-13 06:34:11 +00002852 unsigned Align, MVT VT) {
Jush Lu8f506472012-09-27 05:21:41 +00002853 bool UseGOTOFF = GV->hasLocalLinkage() || GV->hasHiddenVisibility();
2854 ARMConstantPoolConstant *CPV =
2855 ARMConstantPoolConstant::Create(GV, UseGOTOFF ? ARMCP::GOTOFF : ARMCP::GOT);
2856 unsigned Idx = MCP.getConstantPoolIndex(CPV, Align);
2857
2858 unsigned Opc;
2859 unsigned DestReg1 = createResultReg(TLI.getRegClassFor(VT));
2860 // Load value.
2861 if (isThumb2) {
2862 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL,
2863 TII.get(ARM::t2LDRpci), DestReg1)
2864 .addConstantPoolIndex(Idx));
2865 Opc = UseGOTOFF ? ARM::t2ADDrr : ARM::t2LDRs;
2866 } else {
2867 // The extra immediate is for addrmode2.
2868 AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt,
2869 DL, TII.get(ARM::LDRcp), DestReg1)
2870 .addConstantPoolIndex(Idx).addImm(0));
2871 Opc = UseGOTOFF ? ARM::ADDrr : ARM::LDRrs;
2872 }
2873
2874 unsigned GlobalBaseReg = AFI->getGlobalBaseReg();
2875 if (GlobalBaseReg == 0) {
2876 GlobalBaseReg = MRI.createVirtualRegister(TLI.getRegClassFor(VT));
2877 AFI->setGlobalBaseReg(GlobalBaseReg);
2878 }
2879
2880 unsigned DestReg2 = createResultReg(TLI.getRegClassFor(VT));
2881 MachineInstrBuilder MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt,
2882 DL, TII.get(Opc), DestReg2)
2883 .addReg(DestReg1)
2884 .addReg(GlobalBaseReg);
2885 if (!UseGOTOFF)
2886 MIB.addImm(0);
2887 AddOptionalDefs(MIB);
2888
2889 return DestReg2;
2890}
2891
Evan Cheng092e5e72013-02-11 01:27:15 +00002892bool ARMFastISel::FastLowerArguments() {
2893 if (!FuncInfo.CanLowerReturn)
2894 return false;
2895
2896 const Function *F = FuncInfo.Fn;
2897 if (F->isVarArg())
2898 return false;
2899
2900 CallingConv::ID CC = F->getCallingConv();
2901 switch (CC) {
2902 default:
2903 return false;
2904 case CallingConv::Fast:
2905 case CallingConv::C:
2906 case CallingConv::ARM_AAPCS_VFP:
2907 case CallingConv::ARM_AAPCS:
2908 case CallingConv::ARM_APCS:
2909 break;
2910 }
2911
2912 // Only handle simple cases. i.e. Up to 4 i8/i16/i32 scalar arguments
2913 // which are passed in r0 - r3.
2914 unsigned Idx = 1;
2915 for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end();
2916 I != E; ++I, ++Idx) {
2917 if (Idx > 4)
2918 return false;
2919
2920 if (F->getAttributes().hasAttribute(Idx, Attribute::InReg) ||
2921 F->getAttributes().hasAttribute(Idx, Attribute::StructRet) ||
2922 F->getAttributes().hasAttribute(Idx, Attribute::ByVal))
2923 return false;
2924
2925 Type *ArgTy = I->getType();
2926 if (ArgTy->isStructTy() || ArgTy->isArrayTy() || ArgTy->isVectorTy())
2927 return false;
2928
2929 EVT ArgVT = TLI.getValueType(ArgTy);
Chad Rosierfe88aa02013-02-26 01:05:31 +00002930 if (!ArgVT.isSimple()) return false;
Evan Cheng092e5e72013-02-11 01:27:15 +00002931 switch (ArgVT.getSimpleVT().SimpleTy) {
2932 case MVT::i8:
2933 case MVT::i16:
2934 case MVT::i32:
2935 break;
2936 default:
2937 return false;
2938 }
2939 }
2940
2941
2942 static const uint16_t GPRArgRegs[] = {
2943 ARM::R0, ARM::R1, ARM::R2, ARM::R3
2944 };
2945
2946 const TargetRegisterClass *RC = TLI.getRegClassFor(MVT::i32);
2947 Idx = 0;
2948 for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end();
2949 I != E; ++I, ++Idx) {
2950 if (I->use_empty())
2951 continue;
2952 unsigned SrcReg = GPRArgRegs[Idx];
2953 unsigned DstReg = FuncInfo.MF->addLiveIn(SrcReg, RC);
2954 // FIXME: Unfortunately it's necessary to emit a copy from the livein copy.
2955 // Without this, EmitLiveInCopies may eliminate the livein if its only
2956 // use is a bitcast (which isn't turned into an instruction).
2957 unsigned ResultReg = createResultReg(RC);
2958 BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(TargetOpcode::COPY),
2959 ResultReg).addReg(DstReg, getKillRegState(true));
2960 UpdateValueMap(I, ResultReg);
2961 }
2962
2963 return true;
2964}
2965
Eric Christopherab695882010-07-21 22:26:11 +00002966namespace llvm {
Bob Wilsond49edb72012-08-03 04:06:28 +00002967 FastISel *ARM::createFastISel(FunctionLoweringInfo &funcInfo,
2968 const TargetLibraryInfo *libInfo) {
Eric Christopherfeadddd2010-10-11 20:05:22 +00002969 const TargetMachine &TM = funcInfo.MF->getTarget();
Jim Grosbach16cb3762010-11-09 19:22:26 +00002970
Eric Christopherfeadddd2010-10-11 20:05:22 +00002971 const ARMSubtarget *Subtarget = &TM.getSubtarget<ARMSubtarget>();
JF Bastienf567a6d2013-05-29 20:38:10 +00002972 // Thumb2 support on iOS; ARM support on iOS, Linux and NaCl.
2973 bool UseFastISel = false;
2974 UseFastISel |= Subtarget->isTargetIOS() && !Subtarget->isThumb1Only();
2975 UseFastISel |= Subtarget->isTargetLinux() && !Subtarget->isThumb();
2976 UseFastISel |= Subtarget->isTargetNaCl() && !Subtarget->isThumb();
2977 if (UseFastISel) {
2978 // iOS always has a FP for backtracking, force other targets
2979 // to keep their FP when doing FastISel. The emitted code is
2980 // currently superior, and in cases like test-suite's lencod
2981 // FastISel isn't quite correct when FP is eliminated.
2982 TM.Options.NoFramePointerElim = true;
Bob Wilsond49edb72012-08-03 04:06:28 +00002983 return new ARMFastISel(funcInfo, libInfo);
JF Bastienf567a6d2013-05-29 20:38:10 +00002984 }
Evan Cheng09447952010-07-26 18:32:55 +00002985 return 0;
Eric Christopherab695882010-07-21 22:26:11 +00002986 }
2987}