Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 1 | //===-- 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 Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 17 | #include "ARMBaseInstrInfo.h" |
Eric Christopher | d10cd7b | 2010-09-10 23:18:12 +0000 | [diff] [blame] | 18 | #include "ARMCallingConv.h" |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 19 | #include "ARMRegisterInfo.h" |
| 20 | #include "ARMTargetMachine.h" |
| 21 | #include "ARMSubtarget.h" |
| 22 | #include "llvm/CallingConv.h" |
| 23 | #include "llvm/DerivedTypes.h" |
| 24 | #include "llvm/GlobalVariable.h" |
| 25 | #include "llvm/Instructions.h" |
| 26 | #include "llvm/IntrinsicInst.h" |
Eric Christopher | bb3e5da | 2010-09-14 23:03:37 +0000 | [diff] [blame] | 27 | #include "llvm/Module.h" |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/Analysis.h" |
| 29 | #include "llvm/CodeGen/FastISel.h" |
| 30 | #include "llvm/CodeGen/FunctionLoweringInfo.h" |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 31 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
| 32 | #include "llvm/CodeGen/MachineModuleInfo.h" |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 33 | #include "llvm/CodeGen/MachineConstantPool.h" |
| 34 | #include "llvm/CodeGen/MachineFrameInfo.h" |
| 35 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
| 36 | #include "llvm/Support/CallSite.h" |
Eric Christopher | 038fea5 | 2010-08-17 00:46:57 +0000 | [diff] [blame] | 37 | #include "llvm/Support/CommandLine.h" |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 38 | #include "llvm/Support/ErrorHandling.h" |
| 39 | #include "llvm/Support/GetElementPtrTypeIterator.h" |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 40 | #include "llvm/Target/TargetData.h" |
| 41 | #include "llvm/Target/TargetInstrInfo.h" |
| 42 | #include "llvm/Target/TargetLowering.h" |
| 43 | #include "llvm/Target/TargetMachine.h" |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 44 | #include "llvm/Target/TargetOptions.h" |
| 45 | using namespace llvm; |
| 46 | |
Eric Christopher | 038fea5 | 2010-08-17 00:46:57 +0000 | [diff] [blame] | 47 | static cl::opt<bool> |
| 48 | EnableARMFastISel("arm-fast-isel", |
| 49 | cl::desc("Turn on experimental ARM fast-isel support"), |
| 50 | cl::init(false), cl::Hidden); |
| 51 | |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 52 | namespace { |
| 53 | |
| 54 | class ARMFastISel : public FastISel { |
| 55 | |
| 56 | /// Subtarget - Keep a pointer to the ARMSubtarget around so that we can |
| 57 | /// make the right decision when generating code for different targets. |
| 58 | const ARMSubtarget *Subtarget; |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 59 | const TargetMachine &TM; |
| 60 | const TargetInstrInfo &TII; |
| 61 | const TargetLowering &TLI; |
Eric Christopher | 7fe55b7 | 2010-08-23 22:32:45 +0000 | [diff] [blame] | 62 | const ARMFunctionInfo *AFI; |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 63 | |
Eric Christopher | eaa204b | 2010-09-02 01:39:14 +0000 | [diff] [blame] | 64 | // Convenience variable to avoid checking all the time. |
| 65 | bool isThumb; |
| 66 | |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 67 | public: |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 68 | explicit ARMFastISel(FunctionLoweringInfo &funcInfo) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 69 | : FastISel(funcInfo), |
| 70 | TM(funcInfo.MF->getTarget()), |
| 71 | TII(*TM.getInstrInfo()), |
| 72 | TLI(*TM.getTargetLowering()) { |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 73 | Subtarget = &TM.getSubtarget<ARMSubtarget>(); |
Eric Christopher | 7fe55b7 | 2010-08-23 22:32:45 +0000 | [diff] [blame] | 74 | AFI = funcInfo.MF->getInfo<ARMFunctionInfo>(); |
Eric Christopher | eaa204b | 2010-09-02 01:39:14 +0000 | [diff] [blame] | 75 | isThumb = AFI->isThumbFunction(); |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 76 | } |
| 77 | |
Eric Christopher | cb59229 | 2010-08-20 00:20:31 +0000 | [diff] [blame] | 78 | // Code from FastISel.cpp. |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 79 | virtual unsigned FastEmitInst_(unsigned MachineInstOpcode, |
| 80 | const TargetRegisterClass *RC); |
| 81 | virtual unsigned FastEmitInst_r(unsigned MachineInstOpcode, |
| 82 | const TargetRegisterClass *RC, |
| 83 | unsigned Op0, bool Op0IsKill); |
| 84 | virtual unsigned FastEmitInst_rr(unsigned MachineInstOpcode, |
| 85 | const TargetRegisterClass *RC, |
| 86 | unsigned Op0, bool Op0IsKill, |
| 87 | unsigned Op1, bool Op1IsKill); |
| 88 | virtual unsigned FastEmitInst_ri(unsigned MachineInstOpcode, |
| 89 | const TargetRegisterClass *RC, |
| 90 | unsigned Op0, bool Op0IsKill, |
| 91 | uint64_t Imm); |
| 92 | virtual unsigned FastEmitInst_rf(unsigned MachineInstOpcode, |
| 93 | const TargetRegisterClass *RC, |
| 94 | unsigned Op0, bool Op0IsKill, |
| 95 | const ConstantFP *FPImm); |
| 96 | virtual unsigned FastEmitInst_i(unsigned MachineInstOpcode, |
| 97 | const TargetRegisterClass *RC, |
| 98 | uint64_t Imm); |
| 99 | virtual unsigned FastEmitInst_rri(unsigned MachineInstOpcode, |
| 100 | const TargetRegisterClass *RC, |
| 101 | unsigned Op0, bool Op0IsKill, |
| 102 | unsigned Op1, bool Op1IsKill, |
| 103 | uint64_t Imm); |
| 104 | virtual unsigned FastEmitInst_extractsubreg(MVT RetVT, |
| 105 | unsigned Op0, bool Op0IsKill, |
| 106 | uint32_t Idx); |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 107 | |
Eric Christopher | cb59229 | 2010-08-20 00:20:31 +0000 | [diff] [blame] | 108 | // Backend specific FastISel code. |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 109 | virtual bool TargetSelectInstruction(const Instruction *I); |
Eric Christopher | 1b61ef4 | 2010-09-02 01:48:11 +0000 | [diff] [blame] | 110 | virtual unsigned TargetMaterializeConstant(const Constant *C); |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 111 | |
| 112 | #include "ARMGenFastISel.inc" |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 113 | |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 114 | // Instruction selection routines. |
Eric Christopher | 44bff90 | 2010-09-10 23:10:30 +0000 | [diff] [blame] | 115 | private: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 116 | virtual bool SelectLoad(const Instruction *I); |
| 117 | virtual bool SelectStore(const Instruction *I); |
| 118 | virtual bool SelectBranch(const Instruction *I); |
| 119 | virtual bool SelectCmp(const Instruction *I); |
| 120 | virtual bool SelectFPExt(const Instruction *I); |
| 121 | virtual bool SelectFPTrunc(const Instruction *I); |
| 122 | virtual bool SelectBinaryOp(const Instruction *I, unsigned ISDOpcode); |
| 123 | virtual bool SelectSIToFP(const Instruction *I); |
| 124 | virtual bool SelectFPToSI(const Instruction *I); |
| 125 | virtual bool SelectSDiv(const Instruction *I); |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 126 | |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 127 | // Utility routines. |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 128 | private: |
Eric Christopher | b1cc848 | 2010-08-25 07:23:49 +0000 | [diff] [blame] | 129 | bool isTypeLegal(const Type *Ty, EVT &VT); |
Eric Christopher | 4e68c7c | 2010-09-01 18:01:32 +0000 | [diff] [blame] | 130 | bool isLoadTypeLegal(const Type *Ty, EVT &VT); |
Eric Christopher | b1cc848 | 2010-08-25 07:23:49 +0000 | [diff] [blame] | 131 | bool ARMEmitLoad(EVT VT, unsigned &ResultReg, unsigned Reg, int Offset); |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 132 | bool ARMEmitStore(EVT VT, unsigned SrcReg, unsigned Reg, int Offset); |
Eric Christopher | 30b6633 | 2010-09-08 21:49:50 +0000 | [diff] [blame] | 133 | bool ARMLoadAlloca(const Instruction *I, EVT VT); |
| 134 | bool ARMStoreAlloca(const Instruction *I, unsigned SrcReg, EVT VT); |
Eric Christopher | cb0b04b | 2010-08-24 00:07:24 +0000 | [diff] [blame] | 135 | bool ARMComputeRegOffset(const Value *Obj, unsigned &Reg, int &Offset); |
Eric Christopher | 9ed58df | 2010-09-09 00:19:41 +0000 | [diff] [blame] | 136 | unsigned ARMMaterializeFP(const ConstantFP *CFP, EVT VT); |
| 137 | unsigned ARMMaterializeInt(const Constant *C); |
Eric Christopher | aa3ace1 | 2010-09-09 20:49:25 +0000 | [diff] [blame] | 138 | unsigned ARMMoveToFPReg(EVT VT, unsigned SrcReg); |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 139 | unsigned ARMMoveToIntReg(EVT VT, unsigned SrcReg); |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 140 | |
Eric Christopher | d10cd7b | 2010-09-10 23:18:12 +0000 | [diff] [blame] | 141 | // Call handling routines. |
| 142 | private: |
| 143 | CCAssignFn *CCAssignFnForCall(CallingConv::ID CC, bool Return); |
Eric Christopher | bb3e5da | 2010-09-14 23:03:37 +0000 | [diff] [blame] | 144 | bool ARMEmitLibcall(const Instruction *I, Function *F); |
Eric Christopher | d10cd7b | 2010-09-10 23:18:12 +0000 | [diff] [blame] | 145 | |
| 146 | // OptionalDef handling routines. |
| 147 | private: |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 148 | bool DefinesOptionalPredicate(MachineInstr *MI, bool *CPSR); |
| 149 | const MachineInstrBuilder &AddOptionalDefs(const MachineInstrBuilder &MIB); |
| 150 | }; |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 151 | |
| 152 | } // end anonymous namespace |
| 153 | |
Eric Christopher | d10cd7b | 2010-09-10 23:18:12 +0000 | [diff] [blame] | 154 | #include "ARMGenCallingConv.inc" |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 155 | |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 156 | // DefinesOptionalPredicate - This is different from DefinesPredicate in that |
| 157 | // we don't care about implicit defs here, just places we'll need to add a |
| 158 | // default CCReg argument. Sets CPSR if we're setting CPSR instead of CCR. |
| 159 | bool ARMFastISel::DefinesOptionalPredicate(MachineInstr *MI, bool *CPSR) { |
| 160 | const TargetInstrDesc &TID = MI->getDesc(); |
| 161 | if (!TID.hasOptionalDef()) |
| 162 | return false; |
| 163 | |
| 164 | // Look to see if our OptionalDef is defining CPSR or CCR. |
| 165 | for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) { |
| 166 | const MachineOperand &MO = MI->getOperand(i); |
Eric Christopher | f762fbe | 2010-08-20 00:36:24 +0000 | [diff] [blame] | 167 | if (!MO.isReg() || !MO.isDef()) continue; |
| 168 | if (MO.getReg() == ARM::CPSR) |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 169 | *CPSR = true; |
| 170 | } |
| 171 | return true; |
| 172 | } |
| 173 | |
| 174 | // If the machine is predicable go ahead and add the predicate operands, if |
| 175 | // it needs default CC operands add those. |
| 176 | const MachineInstrBuilder & |
| 177 | ARMFastISel::AddOptionalDefs(const MachineInstrBuilder &MIB) { |
| 178 | MachineInstr *MI = &*MIB; |
| 179 | |
| 180 | // Do we use a predicate? |
| 181 | if (TII.isPredicable(MI)) |
| 182 | AddDefaultPred(MIB); |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 183 | |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 184 | // Do we optionally set a predicate? Preds is size > 0 iff the predicate |
| 185 | // defines CPSR. All other OptionalDefines in ARM are the CCR register. |
Eric Christopher | 979e0a1 | 2010-08-19 15:35:27 +0000 | [diff] [blame] | 186 | bool CPSR = false; |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 187 | if (DefinesOptionalPredicate(MI, &CPSR)) { |
| 188 | if (CPSR) |
| 189 | AddDefaultT1CC(MIB); |
| 190 | else |
| 191 | AddDefaultCC(MIB); |
| 192 | } |
| 193 | return MIB; |
| 194 | } |
| 195 | |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 196 | unsigned ARMFastISel::FastEmitInst_(unsigned MachineInstOpcode, |
| 197 | const TargetRegisterClass* RC) { |
| 198 | unsigned ResultReg = createResultReg(RC); |
| 199 | const TargetInstrDesc &II = TII.get(MachineInstOpcode); |
| 200 | |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 201 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg)); |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 202 | return ResultReg; |
| 203 | } |
| 204 | |
| 205 | unsigned ARMFastISel::FastEmitInst_r(unsigned MachineInstOpcode, |
| 206 | const TargetRegisterClass *RC, |
| 207 | unsigned Op0, bool Op0IsKill) { |
| 208 | unsigned ResultReg = createResultReg(RC); |
| 209 | const TargetInstrDesc &II = TII.get(MachineInstOpcode); |
| 210 | |
| 211 | if (II.getNumDefs() >= 1) |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 212 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 213 | .addReg(Op0, Op0IsKill * RegState::Kill)); |
| 214 | else { |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 215 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 216 | .addReg(Op0, Op0IsKill * RegState::Kill)); |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 217 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 218 | TII.get(TargetOpcode::COPY), ResultReg) |
| 219 | .addReg(II.ImplicitDefs[0])); |
| 220 | } |
| 221 | return ResultReg; |
| 222 | } |
| 223 | |
| 224 | unsigned ARMFastISel::FastEmitInst_rr(unsigned MachineInstOpcode, |
| 225 | const TargetRegisterClass *RC, |
| 226 | unsigned Op0, bool Op0IsKill, |
| 227 | unsigned Op1, bool Op1IsKill) { |
| 228 | unsigned ResultReg = createResultReg(RC); |
| 229 | const TargetInstrDesc &II = TII.get(MachineInstOpcode); |
| 230 | |
| 231 | if (II.getNumDefs() >= 1) |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 232 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 233 | .addReg(Op0, Op0IsKill * RegState::Kill) |
| 234 | .addReg(Op1, Op1IsKill * RegState::Kill)); |
| 235 | else { |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 236 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 237 | .addReg(Op0, Op0IsKill * RegState::Kill) |
| 238 | .addReg(Op1, Op1IsKill * RegState::Kill)); |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 239 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 240 | TII.get(TargetOpcode::COPY), ResultReg) |
| 241 | .addReg(II.ImplicitDefs[0])); |
| 242 | } |
| 243 | return ResultReg; |
| 244 | } |
| 245 | |
| 246 | unsigned ARMFastISel::FastEmitInst_ri(unsigned MachineInstOpcode, |
| 247 | const TargetRegisterClass *RC, |
| 248 | unsigned Op0, bool Op0IsKill, |
| 249 | uint64_t Imm) { |
| 250 | unsigned ResultReg = createResultReg(RC); |
| 251 | const TargetInstrDesc &II = TII.get(MachineInstOpcode); |
| 252 | |
| 253 | if (II.getNumDefs() >= 1) |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 254 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 255 | .addReg(Op0, Op0IsKill * RegState::Kill) |
| 256 | .addImm(Imm)); |
| 257 | else { |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 258 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 259 | .addReg(Op0, Op0IsKill * RegState::Kill) |
| 260 | .addImm(Imm)); |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 261 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 262 | TII.get(TargetOpcode::COPY), ResultReg) |
| 263 | .addReg(II.ImplicitDefs[0])); |
| 264 | } |
| 265 | return ResultReg; |
| 266 | } |
| 267 | |
| 268 | unsigned ARMFastISel::FastEmitInst_rf(unsigned MachineInstOpcode, |
| 269 | const TargetRegisterClass *RC, |
| 270 | unsigned Op0, bool Op0IsKill, |
| 271 | const ConstantFP *FPImm) { |
| 272 | unsigned ResultReg = createResultReg(RC); |
| 273 | const TargetInstrDesc &II = TII.get(MachineInstOpcode); |
| 274 | |
| 275 | if (II.getNumDefs() >= 1) |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 276 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 277 | .addReg(Op0, Op0IsKill * RegState::Kill) |
| 278 | .addFPImm(FPImm)); |
| 279 | else { |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 280 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 281 | .addReg(Op0, Op0IsKill * RegState::Kill) |
| 282 | .addFPImm(FPImm)); |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 283 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 284 | TII.get(TargetOpcode::COPY), ResultReg) |
| 285 | .addReg(II.ImplicitDefs[0])); |
| 286 | } |
| 287 | return ResultReg; |
| 288 | } |
| 289 | |
| 290 | unsigned ARMFastISel::FastEmitInst_rri(unsigned MachineInstOpcode, |
| 291 | const TargetRegisterClass *RC, |
| 292 | unsigned Op0, bool Op0IsKill, |
| 293 | unsigned Op1, bool Op1IsKill, |
| 294 | uint64_t Imm) { |
| 295 | unsigned ResultReg = createResultReg(RC); |
| 296 | const TargetInstrDesc &II = TII.get(MachineInstOpcode); |
| 297 | |
| 298 | if (II.getNumDefs() >= 1) |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 299 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 300 | .addReg(Op0, Op0IsKill * RegState::Kill) |
| 301 | .addReg(Op1, Op1IsKill * RegState::Kill) |
| 302 | .addImm(Imm)); |
| 303 | else { |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 304 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 305 | .addReg(Op0, Op0IsKill * RegState::Kill) |
| 306 | .addReg(Op1, Op1IsKill * RegState::Kill) |
| 307 | .addImm(Imm)); |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 308 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 309 | TII.get(TargetOpcode::COPY), ResultReg) |
| 310 | .addReg(II.ImplicitDefs[0])); |
| 311 | } |
| 312 | return ResultReg; |
| 313 | } |
| 314 | |
| 315 | unsigned ARMFastISel::FastEmitInst_i(unsigned MachineInstOpcode, |
| 316 | const TargetRegisterClass *RC, |
| 317 | uint64_t Imm) { |
| 318 | unsigned ResultReg = createResultReg(RC); |
| 319 | const TargetInstrDesc &II = TII.get(MachineInstOpcode); |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 320 | |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 321 | if (II.getNumDefs() >= 1) |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 322 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II, ResultReg) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 323 | .addImm(Imm)); |
| 324 | else { |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 325 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, II) |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 326 | .addImm(Imm)); |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 327 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 328 | TII.get(TargetOpcode::COPY), ResultReg) |
| 329 | .addReg(II.ImplicitDefs[0])); |
| 330 | } |
| 331 | return ResultReg; |
| 332 | } |
| 333 | |
| 334 | unsigned ARMFastISel::FastEmitInst_extractsubreg(MVT RetVT, |
| 335 | unsigned Op0, bool Op0IsKill, |
| 336 | uint32_t Idx) { |
| 337 | unsigned ResultReg = createResultReg(TLI.getRegClassFor(RetVT)); |
| 338 | assert(TargetRegisterInfo::isVirtualRegister(Op0) && |
| 339 | "Cannot yet extract from physregs"); |
Eric Christopher | 456144e | 2010-08-19 00:37:05 +0000 | [diff] [blame] | 340 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, |
Eric Christopher | 0fe7d54 | 2010-08-17 01:25:29 +0000 | [diff] [blame] | 341 | DL, TII.get(TargetOpcode::COPY), ResultReg) |
| 342 | .addReg(Op0, getKillRegState(Op0IsKill), Idx)); |
| 343 | return ResultReg; |
| 344 | } |
| 345 | |
Eric Christopher | db12b2b | 2010-09-10 00:34:35 +0000 | [diff] [blame] | 346 | // TODO: Don't worry about 64-bit now, but when this is fixed remove the |
| 347 | // checks from the various callers. |
Eric Christopher | aa3ace1 | 2010-09-09 20:49:25 +0000 | [diff] [blame] | 348 | unsigned ARMFastISel::ARMMoveToFPReg(EVT VT, unsigned SrcReg) { |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 349 | if (VT.getSimpleVT().SimpleTy == MVT::f64) return 0; |
| 350 | |
| 351 | unsigned MoveReg = createResultReg(TLI.getRegClassFor(VT)); |
| 352 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 353 | TII.get(ARM::VMOVRS), MoveReg) |
| 354 | .addReg(SrcReg)); |
| 355 | return MoveReg; |
| 356 | } |
| 357 | |
| 358 | unsigned ARMFastISel::ARMMoveToIntReg(EVT VT, unsigned SrcReg) { |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 359 | if (VT.getSimpleVT().SimpleTy == MVT::i64) return 0; |
| 360 | |
Eric Christopher | aa3ace1 | 2010-09-09 20:49:25 +0000 | [diff] [blame] | 361 | unsigned MoveReg = createResultReg(TLI.getRegClassFor(VT)); |
| 362 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 363 | TII.get(ARM::VMOVSR), MoveReg) |
Eric Christopher | aa3ace1 | 2010-09-09 20:49:25 +0000 | [diff] [blame] | 364 | .addReg(SrcReg)); |
| 365 | return MoveReg; |
| 366 | } |
| 367 | |
Eric Christopher | 9ed58df | 2010-09-09 00:19:41 +0000 | [diff] [blame] | 368 | // For double width floating point we need to materialize two constants |
| 369 | // (the high and the low) into integer registers then use a move to get |
| 370 | // the combined constant into an FP reg. |
| 371 | unsigned ARMFastISel::ARMMaterializeFP(const ConstantFP *CFP, EVT VT) { |
| 372 | const APFloat Val = CFP->getValueAPF(); |
| 373 | bool is64bit = VT.getSimpleVT().SimpleTy == MVT::f64; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 374 | |
Eric Christopher | 9ed58df | 2010-09-09 00:19:41 +0000 | [diff] [blame] | 375 | // This checks to see if we can use VFP3 instructions to materialize |
| 376 | // a constant, otherwise we have to go through the constant pool. |
| 377 | if (TLI.isFPImmLegal(Val, VT)) { |
| 378 | unsigned Opc = is64bit ? ARM::FCONSTD : ARM::FCONSTS; |
| 379 | unsigned DestReg = createResultReg(TLI.getRegClassFor(VT)); |
| 380 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(Opc), |
| 381 | DestReg) |
| 382 | .addFPImm(CFP)); |
| 383 | return DestReg; |
| 384 | } |
Eric Christopher | 238bb16 | 2010-09-09 23:50:00 +0000 | [diff] [blame] | 385 | |
Eric Christopher | db12b2b | 2010-09-10 00:34:35 +0000 | [diff] [blame] | 386 | // Require VFP2 for loading fp constants. |
Eric Christopher | 238bb16 | 2010-09-09 23:50:00 +0000 | [diff] [blame] | 387 | if (!Subtarget->hasVFP2()) return false; |
| 388 | |
| 389 | // MachineConstantPool wants an explicit alignment. |
| 390 | unsigned Align = TD.getPrefTypeAlignment(CFP->getType()); |
| 391 | if (Align == 0) { |
| 392 | // TODO: Figure out if this is correct. |
| 393 | Align = TD.getTypeAllocSize(CFP->getType()); |
| 394 | } |
| 395 | unsigned Idx = MCP.getConstantPoolIndex(cast<Constant>(CFP), Align); |
| 396 | unsigned DestReg = createResultReg(TLI.getRegClassFor(VT)); |
| 397 | unsigned Opc = is64bit ? ARM::VLDRD : ARM::VLDRS; |
| 398 | |
Eric Christopher | db12b2b | 2010-09-10 00:34:35 +0000 | [diff] [blame] | 399 | // The extra reg is for addrmode5. |
Eric Christopher | 238bb16 | 2010-09-09 23:50:00 +0000 | [diff] [blame] | 400 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(Opc)) |
| 401 | .addReg(DestReg).addConstantPoolIndex(Idx) |
| 402 | .addReg(0)); |
| 403 | return DestReg; |
Eric Christopher | 9ed58df | 2010-09-09 00:19:41 +0000 | [diff] [blame] | 404 | } |
| 405 | |
Eric Christopher | db12b2b | 2010-09-10 00:34:35 +0000 | [diff] [blame] | 406 | // TODO: Verify 64-bit. |
Eric Christopher | 9ed58df | 2010-09-09 00:19:41 +0000 | [diff] [blame] | 407 | unsigned ARMFastISel::ARMMaterializeInt(const Constant *C) { |
Eric Christopher | 56d2b72 | 2010-09-02 23:43:26 +0000 | [diff] [blame] | 408 | // MachineConstantPool wants an explicit alignment. |
| 409 | unsigned Align = TD.getPrefTypeAlignment(C->getType()); |
| 410 | if (Align == 0) { |
| 411 | // TODO: Figure out if this is correct. |
| 412 | Align = TD.getTypeAllocSize(C->getType()); |
| 413 | } |
| 414 | unsigned Idx = MCP.getConstantPoolIndex(C, Align); |
Eric Christopher | 845c575 | 2010-09-08 18:56:34 +0000 | [diff] [blame] | 415 | unsigned DestReg = createResultReg(TLI.getRegClassFor(MVT::i32)); |
Eric Christopher | db12b2b | 2010-09-10 00:34:35 +0000 | [diff] [blame] | 416 | |
Eric Christopher | 56d2b72 | 2010-09-02 23:43:26 +0000 | [diff] [blame] | 417 | if (isThumb) |
| 418 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 419 | TII.get(ARM::t2LDRpci)) |
| 420 | .addReg(DestReg).addConstantPoolIndex(Idx)); |
| 421 | else |
Eric Christopher | db12b2b | 2010-09-10 00:34:35 +0000 | [diff] [blame] | 422 | // The extra reg and immediate are for addrmode2. |
Eric Christopher | 56d2b72 | 2010-09-02 23:43:26 +0000 | [diff] [blame] | 423 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 424 | TII.get(ARM::LDRcp)) |
Eric Christopher | 845c575 | 2010-09-08 18:56:34 +0000 | [diff] [blame] | 425 | .addReg(DestReg).addConstantPoolIndex(Idx) |
Eric Christopher | 56d2b72 | 2010-09-02 23:43:26 +0000 | [diff] [blame] | 426 | .addReg(0).addImm(0)); |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 427 | |
Eric Christopher | 56d2b72 | 2010-09-02 23:43:26 +0000 | [diff] [blame] | 428 | return DestReg; |
Eric Christopher | 1b61ef4 | 2010-09-02 01:48:11 +0000 | [diff] [blame] | 429 | } |
| 430 | |
Eric Christopher | 9ed58df | 2010-09-09 00:19:41 +0000 | [diff] [blame] | 431 | unsigned ARMFastISel::TargetMaterializeConstant(const Constant *C) { |
| 432 | EVT VT = TLI.getValueType(C->getType(), true); |
| 433 | |
| 434 | // Only handle simple types. |
| 435 | if (!VT.isSimple()) return 0; |
| 436 | |
| 437 | if (const ConstantFP *CFP = dyn_cast<ConstantFP>(C)) |
| 438 | return ARMMaterializeFP(CFP, VT); |
| 439 | return ARMMaterializeInt(C); |
| 440 | } |
| 441 | |
Eric Christopher | b1cc848 | 2010-08-25 07:23:49 +0000 | [diff] [blame] | 442 | bool ARMFastISel::isTypeLegal(const Type *Ty, EVT &VT) { |
| 443 | VT = TLI.getValueType(Ty, true); |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 444 | |
Eric Christopher | b1cc848 | 2010-08-25 07:23:49 +0000 | [diff] [blame] | 445 | // Only handle simple types. |
| 446 | if (VT == MVT::Other || !VT.isSimple()) return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 447 | |
Eric Christopher | dc90804 | 2010-08-31 01:28:42 +0000 | [diff] [blame] | 448 | // Handle all legal types, i.e. a register that will directly hold this |
| 449 | // value. |
| 450 | return TLI.isTypeLegal(VT); |
Eric Christopher | b1cc848 | 2010-08-25 07:23:49 +0000 | [diff] [blame] | 451 | } |
| 452 | |
Eric Christopher | 4e68c7c | 2010-09-01 18:01:32 +0000 | [diff] [blame] | 453 | bool ARMFastISel::isLoadTypeLegal(const Type *Ty, EVT &VT) { |
| 454 | if (isTypeLegal(Ty, VT)) return true; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 455 | |
Eric Christopher | 4e68c7c | 2010-09-01 18:01:32 +0000 | [diff] [blame] | 456 | // If this is a type than can be sign or zero-extended to a basic operation |
| 457 | // go ahead and accept it now. |
| 458 | if (VT == MVT::i8 || VT == MVT::i16) |
| 459 | return true; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 460 | |
Eric Christopher | 4e68c7c | 2010-09-01 18:01:32 +0000 | [diff] [blame] | 461 | return false; |
| 462 | } |
| 463 | |
Eric Christopher | cb0b04b | 2010-08-24 00:07:24 +0000 | [diff] [blame] | 464 | // Computes the Reg+Offset to get to an object. |
| 465 | bool ARMFastISel::ARMComputeRegOffset(const Value *Obj, unsigned &Reg, |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 466 | int &Offset) { |
| 467 | // Some boilerplate from the X86 FastISel. |
| 468 | const User *U = NULL; |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 469 | unsigned Opcode = Instruction::UserOp1; |
Eric Christopher | cb0b04b | 2010-08-24 00:07:24 +0000 | [diff] [blame] | 470 | if (const Instruction *I = dyn_cast<Instruction>(Obj)) { |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 471 | // Don't walk into other basic blocks; it's possible we haven't |
| 472 | // visited them yet, so the instructions may not yet be assigned |
| 473 | // virtual registers. |
| 474 | if (FuncInfo.MBBMap[I->getParent()] != FuncInfo.MBB) |
| 475 | return false; |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 476 | Opcode = I->getOpcode(); |
| 477 | U = I; |
Eric Christopher | cb0b04b | 2010-08-24 00:07:24 +0000 | [diff] [blame] | 478 | } else if (const ConstantExpr *C = dyn_cast<ConstantExpr>(Obj)) { |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 479 | Opcode = C->getOpcode(); |
| 480 | U = C; |
| 481 | } |
| 482 | |
Eric Christopher | cb0b04b | 2010-08-24 00:07:24 +0000 | [diff] [blame] | 483 | if (const PointerType *Ty = dyn_cast<PointerType>(Obj->getType())) |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 484 | if (Ty->getAddressSpace() > 255) |
| 485 | // Fast instruction selection doesn't support the special |
| 486 | // address spaces. |
| 487 | return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 488 | |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 489 | switch (Opcode) { |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 490 | default: |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 491 | break; |
| 492 | case Instruction::Alloca: { |
Eric Christopher | f06f309 | 2010-08-24 00:50:47 +0000 | [diff] [blame] | 493 | assert(false && "Alloca should have been handled earlier!"); |
| 494 | return false; |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 495 | } |
| 496 | } |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 497 | |
Eric Christopher | db12b2b | 2010-09-10 00:34:35 +0000 | [diff] [blame] | 498 | // FIXME: Handle global variables. |
Eric Christopher | cb0b04b | 2010-08-24 00:07:24 +0000 | [diff] [blame] | 499 | if (const GlobalValue *GV = dyn_cast<GlobalValue>(Obj)) { |
Eric Christopher | f06f309 | 2010-08-24 00:50:47 +0000 | [diff] [blame] | 500 | (void)GV; |
Eric Christopher | cb0b04b | 2010-08-24 00:07:24 +0000 | [diff] [blame] | 501 | return false; |
| 502 | } |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 503 | |
Eric Christopher | cb0b04b | 2010-08-24 00:07:24 +0000 | [diff] [blame] | 504 | // Try to get this in a register if nothing else has worked. |
| 505 | Reg = getRegForValue(Obj); |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 506 | if (Reg == 0) return false; |
| 507 | |
| 508 | // Since the offset may be too large for the load instruction |
| 509 | // get the reg+offset into a register. |
| 510 | // TODO: Verify the additions work, otherwise we'll need to add the |
| 511 | // offset instead of 0 to the instructions and do all sorts of operand |
| 512 | // munging. |
| 513 | // TODO: Optimize this somewhat. |
| 514 | if (Offset != 0) { |
| 515 | ARMCC::CondCodes Pred = ARMCC::AL; |
| 516 | unsigned PredReg = 0; |
| 517 | |
Eric Christopher | eaa204b | 2010-09-02 01:39:14 +0000 | [diff] [blame] | 518 | if (!isThumb) |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 519 | emitARMRegPlusImmediate(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 520 | Reg, Reg, Offset, Pred, PredReg, |
| 521 | static_cast<const ARMBaseInstrInfo&>(TII)); |
| 522 | else { |
| 523 | assert(AFI->isThumb2Function()); |
| 524 | emitT2RegPlusImmediate(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 525 | Reg, Reg, Offset, Pred, PredReg, |
| 526 | static_cast<const ARMBaseInstrInfo&>(TII)); |
| 527 | } |
| 528 | } |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 529 | return true; |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 530 | } |
| 531 | |
Eric Christopher | 30b6633 | 2010-09-08 21:49:50 +0000 | [diff] [blame] | 532 | bool ARMFastISel::ARMLoadAlloca(const Instruction *I, EVT VT) { |
Eric Christopher | f06f309 | 2010-08-24 00:50:47 +0000 | [diff] [blame] | 533 | Value *Op0 = I->getOperand(0); |
| 534 | |
| 535 | // Verify it's an alloca. |
Eric Christopher | e24d66f | 2010-08-24 22:07:27 +0000 | [diff] [blame] | 536 | if (const AllocaInst *AI = dyn_cast<AllocaInst>(Op0)) { |
| 537 | DenseMap<const AllocaInst*, int>::iterator SI = |
| 538 | FuncInfo.StaticAllocaMap.find(AI); |
Eric Christopher | f06f309 | 2010-08-24 00:50:47 +0000 | [diff] [blame] | 539 | |
Eric Christopher | e24d66f | 2010-08-24 22:07:27 +0000 | [diff] [blame] | 540 | if (SI != FuncInfo.StaticAllocaMap.end()) { |
Eric Christopher | 30b6633 | 2010-09-08 21:49:50 +0000 | [diff] [blame] | 541 | TargetRegisterClass* RC = TLI.getRegClassFor(VT); |
Eric Christopher | b1cc848 | 2010-08-25 07:23:49 +0000 | [diff] [blame] | 542 | unsigned ResultReg = createResultReg(RC); |
Eric Christopher | e24d66f | 2010-08-24 22:07:27 +0000 | [diff] [blame] | 543 | TII.loadRegFromStackSlot(*FuncInfo.MBB, *FuncInfo.InsertPt, |
Eric Christopher | b1cc848 | 2010-08-25 07:23:49 +0000 | [diff] [blame] | 544 | ResultReg, SI->second, RC, |
Eric Christopher | e24d66f | 2010-08-24 22:07:27 +0000 | [diff] [blame] | 545 | TM.getRegisterInfo()); |
| 546 | UpdateValueMap(I, ResultReg); |
| 547 | return true; |
| 548 | } |
Eric Christopher | f06f309 | 2010-08-24 00:50:47 +0000 | [diff] [blame] | 549 | } |
Eric Christopher | f06f309 | 2010-08-24 00:50:47 +0000 | [diff] [blame] | 550 | return false; |
| 551 | } |
| 552 | |
Eric Christopher | b1cc848 | 2010-08-25 07:23:49 +0000 | [diff] [blame] | 553 | bool ARMFastISel::ARMEmitLoad(EVT VT, unsigned &ResultReg, |
| 554 | unsigned Reg, int Offset) { |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 555 | |
Eric Christopher | b1cc848 | 2010-08-25 07:23:49 +0000 | [diff] [blame] | 556 | assert(VT.isSimple() && "Non-simple types are invalid here!"); |
Eric Christopher | dc90804 | 2010-08-31 01:28:42 +0000 | [diff] [blame] | 557 | unsigned Opc; |
Eric Christopher | 6dab137 | 2010-09-18 01:59:37 +0000 | [diff] [blame] | 558 | bool isFloat = false; |
Eric Christopher | b1cc848 | 2010-08-25 07:23:49 +0000 | [diff] [blame] | 559 | switch (VT.getSimpleVT().SimpleTy) { |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 560 | default: |
Eric Christopher | 548d1bb | 2010-08-30 23:48:26 +0000 | [diff] [blame] | 561 | assert(false && "Trying to emit for an unhandled type!"); |
| 562 | return false; |
Eric Christopher | 4e68c7c | 2010-09-01 18:01:32 +0000 | [diff] [blame] | 563 | case MVT::i16: |
| 564 | Opc = isThumb ? ARM::tLDRH : ARM::LDRH; |
| 565 | VT = MVT::i32; |
| 566 | break; |
| 567 | case MVT::i8: |
| 568 | Opc = isThumb ? ARM::tLDRB : ARM::LDRB; |
| 569 | VT = MVT::i32; |
| 570 | break; |
Eric Christopher | dc90804 | 2010-08-31 01:28:42 +0000 | [diff] [blame] | 571 | case MVT::i32: |
| 572 | Opc = isThumb ? ARM::tLDR : ARM::LDR; |
| 573 | break; |
Eric Christopher | 6dab137 | 2010-09-18 01:59:37 +0000 | [diff] [blame] | 574 | case MVT::f32: |
| 575 | Opc = ARM::VLDRS; |
| 576 | isFloat = true; |
| 577 | break; |
| 578 | case MVT::f64: |
| 579 | Opc = ARM::VLDRD; |
| 580 | isFloat = true; |
| 581 | break; |
Eric Christopher | b1cc848 | 2010-08-25 07:23:49 +0000 | [diff] [blame] | 582 | } |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 583 | |
Eric Christopher | dc90804 | 2010-08-31 01:28:42 +0000 | [diff] [blame] | 584 | ResultReg = createResultReg(TLI.getRegClassFor(VT)); |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 585 | |
Eric Christopher | dc90804 | 2010-08-31 01:28:42 +0000 | [diff] [blame] | 586 | // TODO: Fix the Addressing modes so that these can share some code. |
| 587 | // Since this is a Thumb1 load this will work in Thumb1 or 2 mode. |
Eric Christopher | 6dab137 | 2010-09-18 01:59:37 +0000 | [diff] [blame] | 588 | // The thumb addressing mode has operands swapped from the arm addressing |
| 589 | // mode, the floating point one only has two operands. |
| 590 | if (isFloat) |
| 591 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 592 | TII.get(Opc), ResultReg) |
| 593 | .addReg(Reg).addImm(Offset)); |
| 594 | else if (isThumb) |
Eric Christopher | dc90804 | 2010-08-31 01:28:42 +0000 | [diff] [blame] | 595 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 596 | TII.get(Opc), ResultReg) |
| 597 | .addReg(Reg).addImm(Offset).addReg(0)); |
| 598 | else |
| 599 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 600 | TII.get(Opc), ResultReg) |
| 601 | .addReg(Reg).addReg(0).addImm(Offset)); |
Eric Christopher | dc90804 | 2010-08-31 01:28:42 +0000 | [diff] [blame] | 602 | return true; |
Eric Christopher | b1cc848 | 2010-08-25 07:23:49 +0000 | [diff] [blame] | 603 | } |
| 604 | |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 605 | bool ARMFastISel::SelectLoad(const Instruction *I) { |
Eric Christopher | db12b2b | 2010-09-10 00:34:35 +0000 | [diff] [blame] | 606 | // Verify we have a legal type before going any further. |
| 607 | EVT VT; |
| 608 | if (!isLoadTypeLegal(I->getType(), VT)) |
| 609 | return false; |
| 610 | |
| 611 | // If we're an alloca we know we have a frame index and can emit the load |
| 612 | // directly in short order. |
| 613 | if (ARMLoadAlloca(I, VT)) |
| 614 | return true; |
| 615 | |
| 616 | // Our register and offset with innocuous defaults. |
| 617 | unsigned Reg = 0; |
| 618 | int Offset = 0; |
| 619 | |
| 620 | // See if we can handle this as Reg + Offset |
| 621 | if (!ARMComputeRegOffset(I->getOperand(0), Reg, Offset)) |
| 622 | return false; |
| 623 | |
| 624 | unsigned ResultReg; |
| 625 | if (!ARMEmitLoad(VT, ResultReg, Reg, Offset /* 0 */)) return false; |
| 626 | |
| 627 | UpdateValueMap(I, ResultReg); |
| 628 | return true; |
| 629 | } |
| 630 | |
Eric Christopher | 30b6633 | 2010-09-08 21:49:50 +0000 | [diff] [blame] | 631 | bool ARMFastISel::ARMStoreAlloca(const Instruction *I, unsigned SrcReg, EVT VT){ |
Eric Christopher | 543cf05 | 2010-09-01 22:16:27 +0000 | [diff] [blame] | 632 | Value *Op1 = I->getOperand(1); |
| 633 | |
| 634 | // Verify it's an alloca. |
| 635 | if (const AllocaInst *AI = dyn_cast<AllocaInst>(Op1)) { |
| 636 | DenseMap<const AllocaInst*, int>::iterator SI = |
| 637 | FuncInfo.StaticAllocaMap.find(AI); |
| 638 | |
| 639 | if (SI != FuncInfo.StaticAllocaMap.end()) { |
Eric Christopher | 30b6633 | 2010-09-08 21:49:50 +0000 | [diff] [blame] | 640 | TargetRegisterClass* RC = TLI.getRegClassFor(VT); |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 641 | assert(SrcReg != 0 && "Nothing to store!"); |
Eric Christopher | 543cf05 | 2010-09-01 22:16:27 +0000 | [diff] [blame] | 642 | TII.storeRegToStackSlot(*FuncInfo.MBB, *FuncInfo.InsertPt, |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 643 | SrcReg, true /*isKill*/, SI->second, RC, |
Eric Christopher | 543cf05 | 2010-09-01 22:16:27 +0000 | [diff] [blame] | 644 | TM.getRegisterInfo()); |
| 645 | return true; |
| 646 | } |
| 647 | } |
| 648 | return false; |
| 649 | } |
| 650 | |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 651 | bool ARMFastISel::ARMEmitStore(EVT VT, unsigned SrcReg, |
| 652 | unsigned DstReg, int Offset) { |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 653 | unsigned StrOpc; |
Eric Christopher | b74558a | 2010-09-18 01:23:38 +0000 | [diff] [blame] | 654 | bool isFloat = false; |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 655 | switch (VT.getSimpleVT().SimpleTy) { |
| 656 | default: return false; |
| 657 | case MVT::i1: |
| 658 | case MVT::i8: StrOpc = isThumb ? ARM::tSTRB : ARM::STRB; break; |
| 659 | case MVT::i16: StrOpc = isThumb ? ARM::tSTRH : ARM::STRH; break; |
| 660 | case MVT::i32: StrOpc = isThumb ? ARM::tSTR : ARM::STR; break; |
Eric Christopher | 56d2b72 | 2010-09-02 23:43:26 +0000 | [diff] [blame] | 661 | case MVT::f32: |
| 662 | if (!Subtarget->hasVFP2()) return false; |
| 663 | StrOpc = ARM::VSTRS; |
Eric Christopher | b74558a | 2010-09-18 01:23:38 +0000 | [diff] [blame] | 664 | isFloat = true; |
Eric Christopher | 56d2b72 | 2010-09-02 23:43:26 +0000 | [diff] [blame] | 665 | break; |
| 666 | case MVT::f64: |
| 667 | if (!Subtarget->hasVFP2()) return false; |
| 668 | StrOpc = ARM::VSTRD; |
Eric Christopher | b74558a | 2010-09-18 01:23:38 +0000 | [diff] [blame] | 669 | isFloat = true; |
Eric Christopher | 56d2b72 | 2010-09-02 23:43:26 +0000 | [diff] [blame] | 670 | break; |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 671 | } |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 672 | |
Eric Christopher | b74558a | 2010-09-18 01:23:38 +0000 | [diff] [blame] | 673 | // The thumb addressing mode has operands swapped from the arm addressing |
| 674 | // mode, the floating point one only has two operands. |
Eric Christopher | 6dab137 | 2010-09-18 01:59:37 +0000 | [diff] [blame] | 675 | if (isFloat) |
Eric Christopher | b74558a | 2010-09-18 01:23:38 +0000 | [diff] [blame] | 676 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 677 | TII.get(StrOpc), SrcReg) |
| 678 | .addReg(DstReg).addImm(Offset)); |
Eric Christopher | 6dab137 | 2010-09-18 01:59:37 +0000 | [diff] [blame] | 679 | else if (isThumb) |
| 680 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 681 | TII.get(StrOpc), SrcReg) |
| 682 | .addReg(DstReg).addImm(Offset).addReg(0)); |
| 683 | |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 684 | else |
| 685 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 686 | TII.get(StrOpc), SrcReg) |
| 687 | .addReg(DstReg).addReg(0).addImm(Offset)); |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 688 | |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 689 | return true; |
| 690 | } |
| 691 | |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 692 | bool ARMFastISel::SelectStore(const Instruction *I) { |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 693 | Value *Op0 = I->getOperand(0); |
| 694 | unsigned SrcReg = 0; |
| 695 | |
Eric Christopher | 543cf05 | 2010-09-01 22:16:27 +0000 | [diff] [blame] | 696 | // Yay type legalization |
| 697 | EVT VT; |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 698 | if (!isLoadTypeLegal(I->getOperand(0)->getType(), VT)) |
Eric Christopher | 543cf05 | 2010-09-01 22:16:27 +0000 | [diff] [blame] | 699 | return false; |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 700 | |
Eric Christopher | 1b61ef4 | 2010-09-02 01:48:11 +0000 | [diff] [blame] | 701 | // Get the value to be stored into a register. |
| 702 | SrcReg = getRegForValue(Op0); |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 703 | if (SrcReg == 0) |
| 704 | return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 705 | |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 706 | // If we're an alloca we know we have a frame index and can emit the store |
| 707 | // quickly. |
Eric Christopher | 30b6633 | 2010-09-08 21:49:50 +0000 | [diff] [blame] | 708 | if (ARMStoreAlloca(I, SrcReg, VT)) |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 709 | return true; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 710 | |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 711 | // Our register and offset with innocuous defaults. |
| 712 | unsigned Reg = 0; |
| 713 | int Offset = 0; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 714 | |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 715 | // See if we can handle this as Reg + Offset |
| 716 | if (!ARMComputeRegOffset(I->getOperand(1), Reg, Offset)) |
| 717 | return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 718 | |
Eric Christopher | 318b6ee | 2010-09-02 00:53:56 +0000 | [diff] [blame] | 719 | if (!ARMEmitStore(VT, SrcReg, Reg, Offset /* 0 */)) return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 720 | |
Eric Christopher | a5b1e68 | 2010-09-17 22:28:18 +0000 | [diff] [blame] | 721 | return true; |
| 722 | } |
| 723 | |
| 724 | static ARMCC::CondCodes getComparePred(CmpInst::Predicate Pred) { |
| 725 | switch (Pred) { |
| 726 | // Needs two compares... |
| 727 | case CmpInst::FCMP_ONE: |
| 728 | case CmpInst::FCMP_UEQ: |
| 729 | default: |
| 730 | assert(false && "Unhandled CmpInst::Predicate!"); |
| 731 | return ARMCC::AL; |
| 732 | case CmpInst::ICMP_EQ: |
| 733 | case CmpInst::FCMP_OEQ: |
| 734 | return ARMCC::EQ; |
| 735 | case CmpInst::ICMP_SGT: |
| 736 | case CmpInst::FCMP_OGT: |
| 737 | return ARMCC::GT; |
| 738 | case CmpInst::ICMP_SGE: |
| 739 | case CmpInst::FCMP_OGE: |
| 740 | return ARMCC::GE; |
| 741 | case CmpInst::ICMP_UGT: |
| 742 | case CmpInst::FCMP_UGT: |
| 743 | return ARMCC::HI; |
| 744 | case CmpInst::FCMP_OLT: |
| 745 | return ARMCC::MI; |
| 746 | case CmpInst::ICMP_ULE: |
| 747 | case CmpInst::FCMP_OLE: |
| 748 | return ARMCC::LS; |
| 749 | case CmpInst::FCMP_ORD: |
| 750 | return ARMCC::VC; |
| 751 | case CmpInst::FCMP_UNO: |
| 752 | return ARMCC::VS; |
| 753 | case CmpInst::FCMP_UGE: |
| 754 | return ARMCC::PL; |
| 755 | case CmpInst::ICMP_SLT: |
| 756 | case CmpInst::FCMP_ULT: |
| 757 | return ARMCC::LT; |
| 758 | case CmpInst::ICMP_SLE: |
| 759 | case CmpInst::FCMP_ULE: |
| 760 | return ARMCC::LE; |
| 761 | case CmpInst::FCMP_UNE: |
| 762 | case CmpInst::ICMP_NE: |
| 763 | return ARMCC::NE; |
| 764 | case CmpInst::ICMP_UGE: |
| 765 | return ARMCC::HS; |
| 766 | case CmpInst::ICMP_ULT: |
| 767 | return ARMCC::LO; |
| 768 | } |
Eric Christopher | 543cf05 | 2010-09-01 22:16:27 +0000 | [diff] [blame] | 769 | } |
| 770 | |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 771 | bool ARMFastISel::SelectBranch(const Instruction *I) { |
Eric Christopher | e573410 | 2010-09-03 00:35:47 +0000 | [diff] [blame] | 772 | const BranchInst *BI = cast<BranchInst>(I); |
| 773 | MachineBasicBlock *TBB = FuncInfo.MBBMap[BI->getSuccessor(0)]; |
| 774 | MachineBasicBlock *FBB = FuncInfo.MBBMap[BI->getSuccessor(1)]; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 775 | |
Eric Christopher | e573410 | 2010-09-03 00:35:47 +0000 | [diff] [blame] | 776 | // Simple branch support. |
Eric Christopher | a5b1e68 | 2010-09-17 22:28:18 +0000 | [diff] [blame] | 777 | // TODO: Hopefully we've already handled the condition since we won't |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 778 | // have left an update in the value map. See the TODO below in SelectCMP. |
Eric Christopher | a5b1e68 | 2010-09-17 22:28:18 +0000 | [diff] [blame] | 779 | Value *Cond = BI->getCondition(); |
| 780 | unsigned CondReg = getRegForValue(Cond); |
Eric Christopher | e573410 | 2010-09-03 00:35:47 +0000 | [diff] [blame] | 781 | if (CondReg == 0) return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 782 | |
Eric Christopher | a5b1e68 | 2010-09-17 22:28:18 +0000 | [diff] [blame] | 783 | ARMCC::CondCodes ARMPred = ARMCC::NE; |
| 784 | CmpInst *CI = dyn_cast<CmpInst>(Cond); |
| 785 | if (!CI) return false; |
| 786 | |
| 787 | // Get the compare predicate. |
| 788 | ARMPred = getComparePred(CI->getPredicate()); |
| 789 | |
| 790 | // We may not handle every CC for now. |
| 791 | if (ARMPred == ARMCC::AL) return false; |
| 792 | |
Eric Christopher | e573410 | 2010-09-03 00:35:47 +0000 | [diff] [blame] | 793 | unsigned BrOpc = isThumb ? ARM::t2Bcc : ARM::Bcc; |
Eric Christopher | e573410 | 2010-09-03 00:35:47 +0000 | [diff] [blame] | 794 | BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(BrOpc)) |
Eric Christopher | a5b1e68 | 2010-09-17 22:28:18 +0000 | [diff] [blame] | 795 | .addMBB(TBB).addImm(ARMPred).addReg(CondReg); |
Eric Christopher | e573410 | 2010-09-03 00:35:47 +0000 | [diff] [blame] | 796 | FastEmitBranch(FBB, DL); |
| 797 | FuncInfo.MBB->addSuccessor(TBB); |
Eric Christopher | a5b1e68 | 2010-09-17 22:28:18 +0000 | [diff] [blame] | 798 | return true; |
Eric Christopher | e573410 | 2010-09-03 00:35:47 +0000 | [diff] [blame] | 799 | } |
| 800 | |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 801 | bool ARMFastISel::SelectCmp(const Instruction *I) { |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 802 | const CmpInst *CI = cast<CmpInst>(I); |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 803 | |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 804 | EVT VT; |
| 805 | const Type *Ty = CI->getOperand(0)->getType(); |
| 806 | if (!isTypeLegal(Ty, VT)) |
| 807 | return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 808 | |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 809 | bool isFloat = (Ty->isDoubleTy() || Ty->isFloatTy()); |
| 810 | if (isFloat && !Subtarget->hasVFP2()) |
| 811 | return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 812 | |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 813 | unsigned CmpOpc; |
Eric Christopher | a5b1e68 | 2010-09-17 22:28:18 +0000 | [diff] [blame] | 814 | unsigned DestReg; |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 815 | switch (VT.getSimpleVT().SimpleTy) { |
| 816 | default: return false; |
| 817 | // TODO: Verify compares. |
| 818 | case MVT::f32: |
| 819 | CmpOpc = ARM::VCMPES; |
Eric Christopher | a5b1e68 | 2010-09-17 22:28:18 +0000 | [diff] [blame] | 820 | DestReg = ARM::FPSCR; |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 821 | break; |
| 822 | case MVT::f64: |
| 823 | CmpOpc = ARM::VCMPED; |
Eric Christopher | a5b1e68 | 2010-09-17 22:28:18 +0000 | [diff] [blame] | 824 | DestReg = ARM::FPSCR; |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 825 | break; |
| 826 | case MVT::i32: |
| 827 | CmpOpc = isThumb ? ARM::t2CMPrr : ARM::CMPrr; |
Eric Christopher | a5b1e68 | 2010-09-17 22:28:18 +0000 | [diff] [blame] | 828 | DestReg = ARM::CPSR; |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 829 | break; |
| 830 | } |
| 831 | |
| 832 | unsigned Arg1 = getRegForValue(CI->getOperand(0)); |
| 833 | if (Arg1 == 0) return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 834 | |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 835 | unsigned Arg2 = getRegForValue(CI->getOperand(1)); |
| 836 | if (Arg2 == 0) return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 837 | |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 838 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(CmpOpc)) |
| 839 | .addReg(Arg1).addReg(Arg2)); |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 840 | |
Eric Christopher | db12b2b | 2010-09-10 00:34:35 +0000 | [diff] [blame] | 841 | // For floating point we need to move the result to a comparison register |
| 842 | // that we can then use for branches. |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 843 | if (isFloat) |
| 844 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 845 | TII.get(ARM::FMSTAT))); |
Eric Christopher | ce07b54 | 2010-09-09 20:26:31 +0000 | [diff] [blame] | 846 | |
Eric Christopher | a5b1e68 | 2010-09-17 22:28:18 +0000 | [diff] [blame] | 847 | // Update the value to the implicit def reg. |
| 848 | UpdateValueMap(I, DestReg); |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 849 | return true; |
| 850 | } |
| 851 | |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 852 | bool ARMFastISel::SelectFPExt(const Instruction *I) { |
Eric Christopher | 4620360 | 2010-09-09 00:26:48 +0000 | [diff] [blame] | 853 | // Make sure we have VFP and that we're extending float to double. |
| 854 | if (!Subtarget->hasVFP2()) return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 855 | |
Eric Christopher | 4620360 | 2010-09-09 00:26:48 +0000 | [diff] [blame] | 856 | Value *V = I->getOperand(0); |
| 857 | if (!I->getType()->isDoubleTy() || |
| 858 | !V->getType()->isFloatTy()) return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 859 | |
Eric Christopher | 4620360 | 2010-09-09 00:26:48 +0000 | [diff] [blame] | 860 | unsigned Op = getRegForValue(V); |
| 861 | if (Op == 0) return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 862 | |
Eric Christopher | 4620360 | 2010-09-09 00:26:48 +0000 | [diff] [blame] | 863 | unsigned Result = createResultReg(ARM::DPRRegisterClass); |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 864 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
Eric Christopher | ef2fdd2 | 2010-09-09 20:36:19 +0000 | [diff] [blame] | 865 | TII.get(ARM::VCVTDS), Result) |
Eric Christopher | ce07b54 | 2010-09-09 20:26:31 +0000 | [diff] [blame] | 866 | .addReg(Op)); |
| 867 | UpdateValueMap(I, Result); |
| 868 | return true; |
| 869 | } |
| 870 | |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 871 | bool ARMFastISel::SelectFPTrunc(const Instruction *I) { |
Eric Christopher | ce07b54 | 2010-09-09 20:26:31 +0000 | [diff] [blame] | 872 | // Make sure we have VFP and that we're truncating double to float. |
| 873 | if (!Subtarget->hasVFP2()) return false; |
| 874 | |
| 875 | Value *V = I->getOperand(0); |
| 876 | if (!I->getType()->isFloatTy() || |
| 877 | !V->getType()->isDoubleTy()) return false; |
| 878 | |
| 879 | unsigned Op = getRegForValue(V); |
| 880 | if (Op == 0) return false; |
| 881 | |
| 882 | unsigned Result = createResultReg(ARM::SPRRegisterClass); |
Eric Christopher | ce07b54 | 2010-09-09 20:26:31 +0000 | [diff] [blame] | 883 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
Eric Christopher | ef2fdd2 | 2010-09-09 20:36:19 +0000 | [diff] [blame] | 884 | TII.get(ARM::VCVTSD), Result) |
Eric Christopher | 4620360 | 2010-09-09 00:26:48 +0000 | [diff] [blame] | 885 | .addReg(Op)); |
| 886 | UpdateValueMap(I, Result); |
| 887 | return true; |
| 888 | } |
| 889 | |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 890 | bool ARMFastISel::SelectSIToFP(const Instruction *I) { |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 891 | // Make sure we have VFP. |
| 892 | if (!Subtarget->hasVFP2()) return false; |
| 893 | |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 894 | EVT DstVT; |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 895 | const Type *Ty = I->getType(); |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 896 | if (!isTypeLegal(Ty, DstVT)) |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 897 | return false; |
| 898 | |
| 899 | unsigned Op = getRegForValue(I->getOperand(0)); |
| 900 | if (Op == 0) return false; |
| 901 | |
Eric Christopher | db12b2b | 2010-09-10 00:34:35 +0000 | [diff] [blame] | 902 | // The conversion routine works on fp-reg to fp-reg and the operand above |
| 903 | // was an integer, move it to the fp registers if possible. |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 904 | unsigned FP = ARMMoveToFPReg(DstVT, Op); |
| 905 | if (FP == 0) return false; |
| 906 | |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 907 | unsigned Opc; |
| 908 | if (Ty->isFloatTy()) Opc = ARM::VSITOS; |
| 909 | else if (Ty->isDoubleTy()) Opc = ARM::VSITOD; |
| 910 | else return 0; |
| 911 | |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 912 | unsigned ResultReg = createResultReg(TLI.getRegClassFor(DstVT)); |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 913 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(Opc), |
| 914 | ResultReg) |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 915 | .addReg(FP)); |
Eric Christopher | ce07b54 | 2010-09-09 20:26:31 +0000 | [diff] [blame] | 916 | UpdateValueMap(I, ResultReg); |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 917 | return true; |
| 918 | } |
| 919 | |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 920 | bool ARMFastISel::SelectFPToSI(const Instruction *I) { |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 921 | // Make sure we have VFP. |
| 922 | if (!Subtarget->hasVFP2()) return false; |
| 923 | |
Eric Christopher | db12b2b | 2010-09-10 00:34:35 +0000 | [diff] [blame] | 924 | EVT DstVT; |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 925 | const Type *RetTy = I->getType(); |
Eric Christopher | 920a208 | 2010-09-10 00:35:09 +0000 | [diff] [blame] | 926 | if (!isTypeLegal(RetTy, DstVT)) |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 927 | return false; |
| 928 | |
| 929 | unsigned Op = getRegForValue(I->getOperand(0)); |
| 930 | if (Op == 0) return false; |
| 931 | |
| 932 | unsigned Opc; |
| 933 | const Type *OpTy = I->getOperand(0)->getType(); |
| 934 | if (OpTy->isFloatTy()) Opc = ARM::VTOSIZS; |
| 935 | else if (OpTy->isDoubleTy()) Opc = ARM::VTOSIZD; |
| 936 | else return 0; |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 937 | EVT OpVT = TLI.getValueType(OpTy, true); |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 938 | |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 939 | unsigned ResultReg = createResultReg(TLI.getRegClassFor(OpVT)); |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 940 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(Opc), |
| 941 | ResultReg) |
| 942 | .addReg(Op)); |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 943 | |
| 944 | // This result needs to be in an integer register, but the conversion only |
| 945 | // takes place in fp-regs. |
Eric Christopher | db12b2b | 2010-09-10 00:34:35 +0000 | [diff] [blame] | 946 | unsigned IntReg = ARMMoveToIntReg(DstVT, ResultReg); |
Eric Christopher | 9ee4ce2 | 2010-09-09 21:44:45 +0000 | [diff] [blame] | 947 | if (IntReg == 0) return false; |
| 948 | |
| 949 | UpdateValueMap(I, IntReg); |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 950 | return true; |
| 951 | } |
| 952 | |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 953 | bool ARMFastISel::SelectBinaryOp(const Instruction *I, unsigned ISDOpcode) { |
Eric Christopher | bd6bf08 | 2010-09-09 01:02:03 +0000 | [diff] [blame] | 954 | EVT VT = TLI.getValueType(I->getType(), true); |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 955 | |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 956 | // We can get here in the case when we want to use NEON for our fp |
| 957 | // operations, but can't figure out how to. Just use the vfp instructions |
| 958 | // if we have them. |
| 959 | // FIXME: It'd be nice to use NEON instructions. |
Eric Christopher | bd6bf08 | 2010-09-09 01:02:03 +0000 | [diff] [blame] | 960 | const Type *Ty = I->getType(); |
| 961 | bool isFloat = (Ty->isDoubleTy() || Ty->isFloatTy()); |
| 962 | if (isFloat && !Subtarget->hasVFP2()) |
| 963 | return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 964 | |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 965 | unsigned Op1 = getRegForValue(I->getOperand(0)); |
| 966 | if (Op1 == 0) return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 967 | |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 968 | unsigned Op2 = getRegForValue(I->getOperand(1)); |
| 969 | if (Op2 == 0) return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 970 | |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 971 | unsigned Opc; |
Eric Christopher | bd6bf08 | 2010-09-09 01:02:03 +0000 | [diff] [blame] | 972 | bool is64bit = VT.getSimpleVT().SimpleTy == MVT::f64 || |
| 973 | VT.getSimpleVT().SimpleTy == MVT::i64; |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 974 | switch (ISDOpcode) { |
| 975 | default: return false; |
| 976 | case ISD::FADD: |
Eric Christopher | bd6bf08 | 2010-09-09 01:02:03 +0000 | [diff] [blame] | 977 | Opc = is64bit ? ARM::VADDD : ARM::VADDS; |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 978 | break; |
| 979 | case ISD::FSUB: |
Eric Christopher | bd6bf08 | 2010-09-09 01:02:03 +0000 | [diff] [blame] | 980 | Opc = is64bit ? ARM::VSUBD : ARM::VSUBS; |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 981 | break; |
| 982 | case ISD::FMUL: |
Eric Christopher | bd6bf08 | 2010-09-09 01:02:03 +0000 | [diff] [blame] | 983 | Opc = is64bit ? ARM::VMULD : ARM::VMULS; |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 984 | break; |
| 985 | } |
Eric Christopher | bd6bf08 | 2010-09-09 01:02:03 +0000 | [diff] [blame] | 986 | unsigned ResultReg = createResultReg(TLI.getRegClassFor(VT)); |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 987 | AddOptionalDefs(BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, |
| 988 | TII.get(Opc), ResultReg) |
| 989 | .addReg(Op1).addReg(Op2)); |
Eric Christopher | ce07b54 | 2010-09-09 20:26:31 +0000 | [diff] [blame] | 990 | UpdateValueMap(I, ResultReg); |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 991 | return true; |
| 992 | } |
| 993 | |
Eric Christopher | d10cd7b | 2010-09-10 23:18:12 +0000 | [diff] [blame] | 994 | // Call Handling Code |
| 995 | |
| 996 | // This is largely taken directly from CCAssignFnForNode - we don't support |
| 997 | // varargs in FastISel so that part has been removed. |
| 998 | // TODO: We may not support all of this. |
| 999 | CCAssignFn *ARMFastISel::CCAssignFnForCall(CallingConv::ID CC, bool Return) { |
| 1000 | switch (CC) { |
| 1001 | default: |
| 1002 | llvm_unreachable("Unsupported calling convention"); |
| 1003 | case CallingConv::C: |
| 1004 | case CallingConv::Fast: |
| 1005 | // Use target triple & subtarget features to do actual dispatch. |
| 1006 | if (Subtarget->isAAPCS_ABI()) { |
| 1007 | if (Subtarget->hasVFP2() && |
| 1008 | FloatABIType == FloatABI::Hard) |
| 1009 | return (Return ? RetCC_ARM_AAPCS_VFP: CC_ARM_AAPCS_VFP); |
| 1010 | else |
| 1011 | return (Return ? RetCC_ARM_AAPCS: CC_ARM_AAPCS); |
| 1012 | } else |
| 1013 | return (Return ? RetCC_ARM_APCS: CC_ARM_APCS); |
| 1014 | case CallingConv::ARM_AAPCS_VFP: |
| 1015 | return (Return ? RetCC_ARM_AAPCS_VFP: CC_ARM_AAPCS_VFP); |
| 1016 | case CallingConv::ARM_AAPCS: |
| 1017 | return (Return ? RetCC_ARM_AAPCS: CC_ARM_AAPCS); |
| 1018 | case CallingConv::ARM_APCS: |
| 1019 | return (Return ? RetCC_ARM_APCS: CC_ARM_APCS); |
| 1020 | } |
| 1021 | } |
| 1022 | |
Eric Christopher | bb3e5da | 2010-09-14 23:03:37 +0000 | [diff] [blame] | 1023 | // A quick function that will emit a call for a named libcall in F with the |
| 1024 | // vector of passed arguments for the Instruction in I. We can assume that we |
| 1025 | // can emit a call for any libcall we can produce. This is an abridged version |
| 1026 | // of the full call infrastructure since we won't need to worry about things |
| 1027 | // like computed function pointers or strange arguments at call sites. |
| 1028 | // TODO: Try to unify this and the normal call bits for ARM, then try to unify |
| 1029 | // with X86. |
| 1030 | bool ARMFastISel::ARMEmitLibcall(const Instruction *I, Function *F) { |
| 1031 | CallingConv::ID CC = F->getCallingConv(); |
| 1032 | |
| 1033 | // Handle *simple* calls for now. |
| 1034 | const Type *RetTy = F->getReturnType(); |
| 1035 | EVT RetVT; |
| 1036 | if (RetTy->isVoidTy()) |
| 1037 | RetVT = MVT::isVoid; |
| 1038 | else if (!isTypeLegal(RetTy, RetVT)) |
| 1039 | return false; |
| 1040 | |
| 1041 | assert(!F->isVarArg() && "Vararg libcall?!"); |
| 1042 | |
| 1043 | // Abridged from the X86 FastISel call selection mechanism |
| 1044 | SmallVector<Value*, 8> Args; |
| 1045 | SmallVector<unsigned, 8> ArgRegs; |
| 1046 | SmallVector<EVT, 8> ArgVTs; |
| 1047 | SmallVector<ISD::ArgFlagsTy, 8> ArgFlags; |
| 1048 | Args.reserve(I->getNumOperands()); |
| 1049 | ArgRegs.reserve(I->getNumOperands()); |
| 1050 | ArgVTs.reserve(I->getNumOperands()); |
| 1051 | ArgFlags.reserve(I->getNumOperands()); |
| 1052 | for (unsigned i = 0; i < Args.size(); ++i) { |
| 1053 | Value *Op = I->getOperand(i); |
| 1054 | unsigned Arg = getRegForValue(Op); |
| 1055 | if (Arg == 0) return false; |
| 1056 | |
| 1057 | const Type *ArgTy = Op->getType(); |
| 1058 | EVT ArgVT; |
| 1059 | if (!isTypeLegal(ArgTy, ArgVT)) return false; |
| 1060 | |
| 1061 | ISD::ArgFlagsTy Flags; |
| 1062 | unsigned OriginalAlignment = TD.getABITypeAlignment(ArgTy); |
| 1063 | Flags.setOrigAlign(OriginalAlignment); |
| 1064 | |
| 1065 | Args.push_back(Op); |
| 1066 | ArgRegs.push_back(Arg); |
| 1067 | ArgVTs.push_back(ArgVT); |
| 1068 | ArgFlags.push_back(Flags); |
| 1069 | } |
| 1070 | |
| 1071 | SmallVector<CCValAssign, 16> ArgLocs; |
| 1072 | CCState CCInfo(CC, false, TM, ArgLocs, F->getContext()); |
| 1073 | CCInfo.AnalyzeCallOperands(ArgVTs, ArgFlags, CCAssignFnForCall(CC, false)); |
| 1074 | |
| 1075 | // Process the args. |
| 1076 | SmallVector<unsigned, 4> RegArgs; |
| 1077 | for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) { |
| 1078 | CCValAssign &VA = ArgLocs[i]; |
| 1079 | unsigned Arg = ArgRegs[VA.getValNo()]; |
| 1080 | EVT ArgVT = ArgVTs[VA.getValNo()]; |
| 1081 | |
| 1082 | // Should we ever have to promote? |
| 1083 | switch (VA.getLocInfo()) { |
| 1084 | case CCValAssign::Full: break; |
| 1085 | default: |
| 1086 | assert(false && "Handle arg promotion for libcalls?"); |
| 1087 | return false; |
| 1088 | } |
| 1089 | |
| 1090 | // Now copy/store arg to correct locations. |
| 1091 | if (VA.isRegLoc()) { |
| 1092 | BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(TargetOpcode::COPY), |
| 1093 | VA.getLocReg()).addReg(Arg); |
| 1094 | RegArgs.push_back(VA.getLocReg()); |
| 1095 | } else { |
| 1096 | // Need to store |
| 1097 | return false; |
| 1098 | } |
| 1099 | } |
| 1100 | |
| 1101 | // Issue the call, BLr9 for darwin, BL otherwise. |
| 1102 | MachineInstrBuilder MIB; |
Eric Christopher | c109556 | 2010-09-18 02:32:38 +0000 | [diff] [blame] | 1103 | unsigned CallOpc; |
| 1104 | if(isThumb) |
| 1105 | CallOpc = Subtarget->isTargetDarwin() ? ARM::tBLr9 : ARM::tBL; |
| 1106 | else |
| 1107 | CallOpc = Subtarget->isTargetDarwin() ? ARM::BLr9 : ARM::BL; |
Eric Christopher | bb3e5da | 2010-09-14 23:03:37 +0000 | [diff] [blame] | 1108 | MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(CallOpc)) |
| 1109 | .addGlobalAddress(F, 0, 0); |
| 1110 | |
| 1111 | // Add implicit physical register uses to the call. |
| 1112 | for (unsigned i = 0, e = RegArgs.size(); i != e; ++i) |
| 1113 | MIB.addReg(RegArgs[i]); |
| 1114 | |
| 1115 | // Now the return value. |
| 1116 | SmallVector<unsigned, 4> UsedRegs; |
| 1117 | if (RetVT.getSimpleVT().SimpleTy != MVT::isVoid) { |
| 1118 | SmallVector<CCValAssign, 16> RVLocs; |
| 1119 | CCState CCInfo(CC, false, TM, RVLocs, F->getContext()); |
| 1120 | CCInfo.AnalyzeCallResult(RetVT, CCAssignFnForCall(CC, true)); |
| 1121 | |
| 1122 | // Copy all of the result registers out of their specified physreg. |
| 1123 | assert(RVLocs.size() == 1 && "Can't handle multi-value calls!"); |
| 1124 | EVT CopyVT = RVLocs[0].getValVT(); |
| 1125 | TargetRegisterClass* DstRC = TLI.getRegClassFor(CopyVT); |
| 1126 | |
| 1127 | unsigned ResultReg = createResultReg(DstRC); |
| 1128 | BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(TargetOpcode::COPY), |
| 1129 | ResultReg).addReg(RVLocs[0].getLocReg()); |
| 1130 | UsedRegs.push_back(RVLocs[0].getLocReg()); |
| 1131 | |
| 1132 | // Finally update the result. |
| 1133 | UpdateValueMap(I, ResultReg); |
| 1134 | } |
| 1135 | |
| 1136 | // Set all unused physreg defs as dead. |
| 1137 | static_cast<MachineInstr *>(MIB)->setPhysRegsDeadExcept(UsedRegs, TRI); |
| 1138 | |
| 1139 | return true; |
| 1140 | } |
| 1141 | |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1142 | bool ARMFastISel::SelectSDiv(const Instruction *I) { |
Eric Christopher | bb3e5da | 2010-09-14 23:03:37 +0000 | [diff] [blame] | 1143 | EVT VT; |
| 1144 | const Type *Ty = I->getType(); |
| 1145 | if (!isTypeLegal(Ty, VT)) |
| 1146 | return false; |
| 1147 | |
| 1148 | // If we have integer div support we should have gotten already, emit a |
| 1149 | // libcall. |
| 1150 | RTLIB::Libcall LC = RTLIB::UNKNOWN_LIBCALL; |
| 1151 | if (VT == MVT::i16) |
| 1152 | LC = RTLIB::SDIV_I16; |
| 1153 | else if (VT == MVT::i32) |
| 1154 | LC = RTLIB::SDIV_I32; |
| 1155 | else if (VT == MVT::i64) |
| 1156 | LC = RTLIB::SDIV_I64; |
| 1157 | else if (VT == MVT::i128) |
| 1158 | LC = RTLIB::SDIV_I128; |
| 1159 | assert(LC != RTLIB::UNKNOWN_LIBCALL && "Unsupported SDIV!"); |
| 1160 | |
| 1161 | // Binary operand with all the same type. |
| 1162 | std::vector<const Type*> ArgTys; |
| 1163 | ArgTys.push_back(Ty); |
| 1164 | ArgTys.push_back(Ty); |
| 1165 | const FunctionType *FTy = FunctionType::get(Ty, ArgTys, false); |
| 1166 | Function *F = Function::Create(FTy, GlobalValue::ExternalLinkage, |
| 1167 | TLI.getLibcallName(LC)); |
| 1168 | if (Subtarget->isAAPCS_ABI()) |
| 1169 | F->setCallingConv(CallingConv::ARM_AAPCS); |
| 1170 | else |
| 1171 | F->setCallingConv(I->getParent()->getParent()->getCallingConv()); |
| 1172 | |
| 1173 | return ARMEmitLibcall(I, F); |
| 1174 | } |
| 1175 | |
Eric Christopher | 56d2b72 | 2010-09-02 23:43:26 +0000 | [diff] [blame] | 1176 | // TODO: SoftFP support. |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 1177 | bool ARMFastISel::TargetSelectInstruction(const Instruction *I) { |
Eric Christopher | 7fe55b7 | 2010-08-23 22:32:45 +0000 | [diff] [blame] | 1178 | // No Thumb-1 for now. |
Eric Christopher | eaa204b | 2010-09-02 01:39:14 +0000 | [diff] [blame] | 1179 | if (isThumb && !AFI->isThumb2Function()) return false; |
Eric Christopher | ac1a19e | 2010-09-09 01:06:51 +0000 | [diff] [blame] | 1180 | |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 1181 | switch (I->getOpcode()) { |
Eric Christopher | 8300712 | 2010-08-23 21:44:12 +0000 | [diff] [blame] | 1182 | case Instruction::Load: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1183 | return SelectLoad(I); |
Eric Christopher | 543cf05 | 2010-09-01 22:16:27 +0000 | [diff] [blame] | 1184 | case Instruction::Store: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1185 | return SelectStore(I); |
Eric Christopher | e573410 | 2010-09-03 00:35:47 +0000 | [diff] [blame] | 1186 | case Instruction::Br: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1187 | return SelectBranch(I); |
Eric Christopher | d43393a | 2010-09-08 23:13:45 +0000 | [diff] [blame] | 1188 | case Instruction::ICmp: |
| 1189 | case Instruction::FCmp: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1190 | return SelectCmp(I); |
Eric Christopher | 4620360 | 2010-09-09 00:26:48 +0000 | [diff] [blame] | 1191 | case Instruction::FPExt: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1192 | return SelectFPExt(I); |
Eric Christopher | ce07b54 | 2010-09-09 20:26:31 +0000 | [diff] [blame] | 1193 | case Instruction::FPTrunc: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1194 | return SelectFPTrunc(I); |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 1195 | case Instruction::SIToFP: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1196 | return SelectSIToFP(I); |
Eric Christopher | 9a04049 | 2010-09-09 18:54:59 +0000 | [diff] [blame] | 1197 | case Instruction::FPToSI: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1198 | return SelectFPToSI(I); |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 1199 | case Instruction::FAdd: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1200 | return SelectBinaryOp(I, ISD::FADD); |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 1201 | case Instruction::FSub: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1202 | return SelectBinaryOp(I, ISD::FSUB); |
Eric Christopher | bc39b82 | 2010-09-09 00:53:57 +0000 | [diff] [blame] | 1203 | case Instruction::FMul: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1204 | return SelectBinaryOp(I, ISD::FMUL); |
Eric Christopher | bb3e5da | 2010-09-14 23:03:37 +0000 | [diff] [blame] | 1205 | case Instruction::SDiv: |
Eric Christopher | 43b62be | 2010-09-27 06:02:23 +0000 | [diff] [blame^] | 1206 | return SelectSDiv(I); |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 1207 | default: break; |
| 1208 | } |
| 1209 | return false; |
| 1210 | } |
| 1211 | |
| 1212 | namespace llvm { |
| 1213 | llvm::FastISel *ARM::createFastISel(FunctionLoweringInfo &funcInfo) { |
Eric Christopher | 038fea5 | 2010-08-17 00:46:57 +0000 | [diff] [blame] | 1214 | if (EnableARMFastISel) return new ARMFastISel(funcInfo); |
Evan Cheng | 0944795 | 2010-07-26 18:32:55 +0000 | [diff] [blame] | 1215 | return 0; |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 1216 | } |
| 1217 | } |