Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 1 | //===-- ARMISelLowering.h - ARM DAG Lowering Interface ----------*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines the interfaces that ARM uses to lower LLVM code into a |
| 11 | // selection DAG. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #ifndef ARMISELLOWERING_H |
| 16 | #define ARMISELLOWERING_H |
| 17 | |
Rafael Espindola | f1ba1ca | 2007-11-05 23:12:20 +0000 | [diff] [blame] | 18 | #include "ARMSubtarget.h" |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 19 | #include "llvm/Target/TargetLowering.h" |
Evan Cheng | 3144687 | 2010-07-23 22:39:59 +0000 | [diff] [blame] | 20 | #include "llvm/Target/TargetRegisterInfo.h" |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/FastISel.h" |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/SelectionDAG.h" |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 23 | #include "llvm/CodeGen/CallingConvLower.h" |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 24 | #include <vector> |
| 25 | |
| 26 | namespace llvm { |
| 27 | class ARMConstantPoolValue; |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 28 | |
| 29 | namespace ARMISD { |
| 30 | // ARM Specific DAG Nodes |
| 31 | enum NodeType { |
Jim Grosbach | 6aa7197 | 2009-05-13 22:32:43 +0000 | [diff] [blame] | 32 | // Start the numbering where the builtin ops and target ops leave off. |
Dan Gohman | 0ba2bcf | 2008-09-23 18:42:32 +0000 | [diff] [blame] | 33 | FIRST_NUMBER = ISD::BUILTIN_OP_END, |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 34 | |
| 35 | Wrapper, // Wrapper - A wrapper node for TargetConstantPool, |
| 36 | // TargetExternalSymbol, and TargetGlobalAddress. |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 37 | WrapperJT, // WrapperJT - A wrapper node for TargetJumpTable |
Jim Grosbach | 6aa7197 | 2009-05-13 22:32:43 +0000 | [diff] [blame] | 38 | |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 39 | CALL, // Function call. |
Evan Cheng | 277f074 | 2007-06-19 21:05:09 +0000 | [diff] [blame] | 40 | CALL_PRED, // Function call that's predicable. |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 41 | CALL_NOLINK, // Function call with branch not branch-and-link. |
| 42 | tCALL, // Thumb function call. |
| 43 | BRCOND, // Conditional branch. |
| 44 | BR_JT, // Jumptable branch. |
Evan Cheng | 5657c01 | 2009-07-29 02:18:14 +0000 | [diff] [blame] | 45 | BR2_JT, // Jumptable branch (2 level - jumptable entry is a jump). |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 46 | RET_FLAG, // Return with a flag operand. |
| 47 | |
| 48 | PIC_ADD, // Add with a PC operand and a PIC label. |
| 49 | |
| 50 | CMP, // ARM compare instructions. |
David Goodwin | c0309b4 | 2009-06-29 15:33:01 +0000 | [diff] [blame] | 51 | CMPZ, // ARM compare that sets only Z flag. |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 52 | CMPFP, // ARM VFP compare instruction, sets FPSCR. |
| 53 | CMPFPw0, // ARM VFP compare against zero instruction, sets FPSCR. |
| 54 | FMSTAT, // ARM fmstat instruction. |
| 55 | CMOV, // ARM conditional move instructions. |
| 56 | CNEG, // ARM conditional negate instructions. |
Jim Grosbach | 6aa7197 | 2009-05-13 22:32:43 +0000 | [diff] [blame] | 57 | |
Evan Cheng | 218977b | 2010-07-13 19:27:42 +0000 | [diff] [blame] | 58 | BCC_i64, |
| 59 | |
Jim Grosbach | 3482c80 | 2010-01-18 19:58:49 +0000 | [diff] [blame] | 60 | RBIT, // ARM bitreverse instruction |
| 61 | |
Bob Wilson | 76a312b | 2010-03-19 22:51:32 +0000 | [diff] [blame] | 62 | FTOSI, // FP to sint within a FP register. |
| 63 | FTOUI, // FP to uint within a FP register. |
| 64 | SITOF, // sint to FP within a FP register. |
| 65 | UITOF, // uint to FP within a FP register. |
| 66 | |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 67 | SRL_FLAG, // V,Flag = srl_flag X -> srl X, 1 + save carry out. |
| 68 | SRA_FLAG, // V,Flag = sra_flag X -> sra X, 1 + save carry out. |
| 69 | RRX, // V = RRX X, Flag -> srl X, 1 + shift in carry flag. |
Jim Grosbach | 6aa7197 | 2009-05-13 22:32:43 +0000 | [diff] [blame] | 70 | |
Jim Grosbach | e516549 | 2009-11-09 00:11:35 +0000 | [diff] [blame] | 71 | VMOVRRD, // double to two gprs. |
| 72 | VMOVDRR, // Two gprs to double. |
Lauro Ramos Venancio | 64f4fa5 | 2007-04-27 13:54:47 +0000 | [diff] [blame] | 73 | |
Jim Grosbach | e4ad387 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 74 | EH_SJLJ_SETJMP, // SjLj exception handling setjmp. |
| 75 | EH_SJLJ_LONGJMP, // SjLj exception handling longjmp. |
| 76 | EH_SJLJ_DISPATCHSETUP, // SjLj exception handling dispatch setup. |
Jim Grosbach | 0e0da73 | 2009-05-12 23:59:14 +0000 | [diff] [blame] | 77 | |
Dale Johannesen | 51e28e6 | 2010-06-03 21:09:53 +0000 | [diff] [blame] | 78 | TC_RETURN, // Tail call return pseudo. |
| 79 | |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 80 | THREAD_POINTER, |
| 81 | |
Evan Cheng | 8619864 | 2009-08-07 00:34:42 +0000 | [diff] [blame] | 82 | DYN_ALLOC, // Dynamic allocation on the stack. |
| 83 | |
Bob Wilson | f74a429 | 2010-10-30 00:54:37 +0000 | [diff] [blame] | 84 | MEMBARRIER, // Memory barrier (DMB) |
| 85 | MEMBARRIER_MCR, // Memory barrier (MCR) |
Evan Cheng | dfed19f | 2010-11-03 06:34:55 +0000 | [diff] [blame] | 86 | |
| 87 | PRELOAD, // Preload |
Nate Begeman | d1fb583 | 2010-08-03 21:31:55 +0000 | [diff] [blame] | 88 | |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 89 | VCEQ, // Vector compare equal. |
| 90 | VCGE, // Vector compare greater than or equal. |
| 91 | VCGEU, // Vector compare unsigned greater than or equal. |
| 92 | VCGT, // Vector compare greater than. |
| 93 | VCGTU, // Vector compare unsigned greater than. |
| 94 | VTST, // Vector test bits. |
| 95 | |
| 96 | // Vector shift by immediate: |
| 97 | VSHL, // ...left |
| 98 | VSHRs, // ...right (signed) |
| 99 | VSHRu, // ...right (unsigned) |
| 100 | VSHLLs, // ...left long (signed) |
| 101 | VSHLLu, // ...left long (unsigned) |
| 102 | VSHLLi, // ...left long (with maximum shift count) |
| 103 | VSHRN, // ...right narrow |
| 104 | |
| 105 | // Vector rounding shift by immediate: |
| 106 | VRSHRs, // ...right (signed) |
| 107 | VRSHRu, // ...right (unsigned) |
| 108 | VRSHRN, // ...right narrow |
| 109 | |
| 110 | // Vector saturating shift by immediate: |
| 111 | VQSHLs, // ...left (signed) |
| 112 | VQSHLu, // ...left (unsigned) |
| 113 | VQSHLsu, // ...left (signed to unsigned) |
| 114 | VQSHRNs, // ...right narrow (signed) |
| 115 | VQSHRNu, // ...right narrow (unsigned) |
| 116 | VQSHRNsu, // ...right narrow (signed to unsigned) |
| 117 | |
| 118 | // Vector saturating rounding shift by immediate: |
| 119 | VQRSHRNs, // ...right narrow (signed) |
| 120 | VQRSHRNu, // ...right narrow (unsigned) |
| 121 | VQRSHRNsu, // ...right narrow (signed to unsigned) |
| 122 | |
| 123 | // Vector shift and insert: |
| 124 | VSLI, // ...left |
| 125 | VSRI, // ...right |
| 126 | |
| 127 | // Vector get lane (VMOV scalar to ARM core register) |
| 128 | // (These are used for 8- and 16-bit element types only.) |
| 129 | VGETLANEu, // zero-extend vector extract element |
| 130 | VGETLANEs, // sign-extend vector extract element |
| 131 | |
Bob Wilson | 7e3f0d2 | 2010-07-14 06:31:50 +0000 | [diff] [blame] | 132 | // Vector move immediate and move negated immediate: |
Bob Wilson | cba270d | 2010-07-13 21:16:48 +0000 | [diff] [blame] | 133 | VMOVIMM, |
Bob Wilson | 7e3f0d2 | 2010-07-14 06:31:50 +0000 | [diff] [blame] | 134 | VMVNIMM, |
| 135 | |
| 136 | // Vector duplicate: |
Bob Wilson | c1d287b | 2009-08-14 05:13:08 +0000 | [diff] [blame] | 137 | VDUP, |
Bob Wilson | 0ce3710 | 2009-08-14 05:08:32 +0000 | [diff] [blame] | 138 | VDUPLANE, |
Bob Wilson | a599bff | 2009-08-04 00:36:16 +0000 | [diff] [blame] | 139 | |
Bob Wilson | d8e1757 | 2009-08-12 22:31:50 +0000 | [diff] [blame] | 140 | // Vector shuffles: |
Bob Wilson | de95c1b8 | 2009-08-19 17:03:43 +0000 | [diff] [blame] | 141 | VEXT, // extract |
Bob Wilson | d8e1757 | 2009-08-12 22:31:50 +0000 | [diff] [blame] | 142 | VREV64, // reverse elements within 64-bit doublewords |
| 143 | VREV32, // reverse elements within 32-bit words |
Anton Korobeynikov | 1c8e581 | 2009-08-21 12:41:24 +0000 | [diff] [blame] | 144 | VREV16, // reverse elements within 16-bit halfwords |
Bob Wilson | c692cb7 | 2009-08-21 20:54:19 +0000 | [diff] [blame] | 145 | VZIP, // zip (interleave) |
| 146 | VUZP, // unzip (deinterleave) |
Bob Wilson | 9f6c4c1 | 2010-02-18 06:05:53 +0000 | [diff] [blame] | 147 | VTRN, // transpose |
| 148 | |
Bob Wilson | d0b69cf | 2010-09-01 23:50:19 +0000 | [diff] [blame] | 149 | // Vector multiply long: |
| 150 | VMULLs, // ...signed |
| 151 | VMULLu, // ...unsigned |
| 152 | |
Bob Wilson | 40cbe7d | 2010-06-04 00:04:02 +0000 | [diff] [blame] | 153 | // Operands of the standard BUILD_VECTOR node are not legalized, which |
| 154 | // is fine if BUILD_VECTORs are always lowered to shuffles or other |
| 155 | // operations, but for ARM some BUILD_VECTORs are legal as-is and their |
| 156 | // operands need to be legalized. Define an ARM-specific version of |
| 157 | // BUILD_VECTOR for this purpose. |
| 158 | BUILD_VECTOR, |
| 159 | |
Bob Wilson | 9f6c4c1 | 2010-02-18 06:05:53 +0000 | [diff] [blame] | 160 | // Floating-point max and min: |
| 161 | FMAX, |
Jim Grosbach | 469bbdb | 2010-07-16 23:05:05 +0000 | [diff] [blame] | 162 | FMIN, |
| 163 | |
| 164 | // Bit-field insert |
Owen Anderson | d966817 | 2010-11-03 22:44:51 +0000 | [diff] [blame] | 165 | BFI, |
| 166 | |
| 167 | // Vector OR with immediate |
Owen Anderson | 080c092 | 2010-11-05 19:27:46 +0000 | [diff] [blame^] | 168 | VORRIMM, |
| 169 | // Vector AND with NOT of immediate |
| 170 | VBICIMM |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 171 | }; |
| 172 | } |
| 173 | |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 174 | /// Define some predicates that are used for node matching. |
| 175 | namespace ARM { |
Evan Cheng | 3938242 | 2009-10-28 01:44:26 +0000 | [diff] [blame] | 176 | /// getVFPf32Imm / getVFPf64Imm - If the given fp immediate can be |
| 177 | /// materialized with a VMOV.f32 / VMOV.f64 (i.e. fconsts / fconstd) |
| 178 | /// instruction, returns its 8-bit integer representation. Otherwise, |
| 179 | /// returns -1. |
| 180 | int getVFPf32Imm(const APFloat &FPImm); |
| 181 | int getVFPf64Imm(const APFloat &FPImm); |
Jim Grosbach | 469bbdb | 2010-07-16 23:05:05 +0000 | [diff] [blame] | 182 | bool isBitFieldInvertedMask(unsigned v); |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 183 | } |
| 184 | |
Bob Wilson | 261f2a2 | 2009-05-20 16:30:25 +0000 | [diff] [blame] | 185 | //===--------------------------------------------------------------------===// |
Dale Johannesen | 80dae19 | 2007-03-20 00:30:56 +0000 | [diff] [blame] | 186 | // ARMTargetLowering - ARM Implementation of the TargetLowering interface |
Jim Grosbach | 6aa7197 | 2009-05-13 22:32:43 +0000 | [diff] [blame] | 187 | |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 188 | class ARMTargetLowering : public TargetLowering { |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 189 | public: |
Dan Gohman | 61e729e | 2007-08-02 21:21:54 +0000 | [diff] [blame] | 190 | explicit ARMTargetLowering(TargetMachine &TM); |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 191 | |
Jim Grosbach | e1102ca | 2010-07-19 17:20:38 +0000 | [diff] [blame] | 192 | virtual unsigned getJumpTableEncoding(void) const; |
| 193 | |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 194 | virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const; |
Duncan Sands | 1607f05 | 2008-12-01 11:39:25 +0000 | [diff] [blame] | 195 | |
| 196 | /// ReplaceNodeResults - Replace the results of node with an illegal result |
| 197 | /// type with new values built out of custom code. |
| 198 | /// |
| 199 | virtual void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue>&Results, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 200 | SelectionDAG &DAG) const; |
Duncan Sands | 1607f05 | 2008-12-01 11:39:25 +0000 | [diff] [blame] | 201 | |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 202 | virtual SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
Jim Grosbach | 6aa7197 | 2009-05-13 22:32:43 +0000 | [diff] [blame] | 203 | |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 204 | virtual const char *getTargetNodeName(unsigned Opcode) const; |
| 205 | |
Dan Gohman | af1d8ca | 2010-05-01 00:01:06 +0000 | [diff] [blame] | 206 | virtual MachineBasicBlock * |
| 207 | EmitInstrWithCustomInserter(MachineInstr *MI, |
| 208 | MachineBasicBlock *MBB) const; |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 209 | |
Bill Wendling | af56634 | 2009-08-15 21:21:19 +0000 | [diff] [blame] | 210 | /// allowsUnalignedMemoryAccesses - Returns true if the target allows |
| 211 | /// unaligned memory accesses. of the specified type. |
| 212 | /// FIXME: Add getOptimalMemOpType to implement memcpy with NEON? |
| 213 | virtual bool allowsUnalignedMemoryAccesses(EVT VT) const; |
| 214 | |
Chris Lattner | c9addb7 | 2007-03-30 23:15:24 +0000 | [diff] [blame] | 215 | /// isLegalAddressingMode - Return true if the addressing mode represented |
| 216 | /// by AM is legal for this target, for a load/store of the specified type. |
| 217 | virtual bool isLegalAddressingMode(const AddrMode &AM, const Type *Ty)const; |
Evan Cheng | e6c835f | 2009-08-14 20:09:37 +0000 | [diff] [blame] | 218 | bool isLegalT2ScaledAddressingMode(const AddrMode &AM, EVT VT) const; |
Jim Grosbach | 6aa7197 | 2009-05-13 22:32:43 +0000 | [diff] [blame] | 219 | |
Evan Cheng | 77e4751 | 2009-11-11 19:05:52 +0000 | [diff] [blame] | 220 | /// isLegalICmpImmediate - Return true if the specified immediate is legal |
Jim Grosbach | 18f30e6 | 2010-06-02 21:53:11 +0000 | [diff] [blame] | 221 | /// icmp immediate, that is the target has icmp instructions which can |
| 222 | /// compare a register against the immediate without having to materialize |
| 223 | /// the immediate into a register. |
Evan Cheng | 06b53c0 | 2009-11-12 07:13:11 +0000 | [diff] [blame] | 224 | virtual bool isLegalICmpImmediate(int64_t Imm) const; |
Evan Cheng | 77e4751 | 2009-11-11 19:05:52 +0000 | [diff] [blame] | 225 | |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 226 | /// getPreIndexedAddressParts - returns true by value, base pointer and |
| 227 | /// offset pointer and addressing mode by reference if the node's address |
| 228 | /// can be legally represented as pre-indexed load / store address. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 229 | virtual bool getPreIndexedAddressParts(SDNode *N, SDValue &Base, |
| 230 | SDValue &Offset, |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 231 | ISD::MemIndexedMode &AM, |
Dan Gohman | 73e0914 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 232 | SelectionDAG &DAG) const; |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 233 | |
| 234 | /// getPostIndexedAddressParts - returns true by value, base pointer and |
| 235 | /// offset pointer and addressing mode by reference if this node can be |
| 236 | /// combined with a load / store to form a post-indexed load / store. |
| 237 | virtual bool getPostIndexedAddressParts(SDNode *N, SDNode *Op, |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 238 | SDValue &Base, SDValue &Offset, |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 239 | ISD::MemIndexedMode &AM, |
Dan Gohman | 73e0914 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 240 | SelectionDAG &DAG) const; |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 241 | |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 242 | virtual void computeMaskedBitsForTargetNode(const SDValue Op, |
Dan Gohman | 977a76f | 2008-02-13 22:28:48 +0000 | [diff] [blame] | 243 | const APInt &Mask, |
Jim Grosbach | 6aa7197 | 2009-05-13 22:32:43 +0000 | [diff] [blame] | 244 | APInt &KnownZero, |
Dan Gohman | fd29e0e | 2008-02-13 00:35:47 +0000 | [diff] [blame] | 245 | APInt &KnownOne, |
Dan Gohman | ea859be | 2007-06-22 14:59:07 +0000 | [diff] [blame] | 246 | const SelectionDAG &DAG, |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 247 | unsigned Depth) const; |
Bill Wendling | af56634 | 2009-08-15 21:21:19 +0000 | [diff] [blame] | 248 | |
| 249 | |
Chris Lattner | 4234f57 | 2007-03-25 02:14:49 +0000 | [diff] [blame] | 250 | ConstraintType getConstraintType(const std::string &Constraint) const; |
John Thompson | 44ab89e | 2010-10-29 17:29:13 +0000 | [diff] [blame] | 251 | |
| 252 | /// Examine constraint string and operand type and determine a weight value. |
| 253 | /// The operand object must already have been set up with the operand type. |
| 254 | ConstraintWeight getSingleConstraintMatchWeight( |
| 255 | AsmOperandInfo &info, const char *constraint) const; |
| 256 | |
Jim Grosbach | 6aa7197 | 2009-05-13 22:32:43 +0000 | [diff] [blame] | 257 | std::pair<unsigned, const TargetRegisterClass*> |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 258 | getRegForInlineAsmConstraint(const std::string &Constraint, |
Owen Anderson | e50ed30 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 259 | EVT VT) const; |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 260 | std::vector<unsigned> |
| 261 | getRegClassForInlineAsmConstraint(const std::string &Constraint, |
Owen Anderson | e50ed30 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 262 | EVT VT) const; |
Rafael Espindola | f1ba1ca | 2007-11-05 23:12:20 +0000 | [diff] [blame] | 263 | |
Bob Wilson | bf6396b | 2009-04-01 17:58:54 +0000 | [diff] [blame] | 264 | /// LowerAsmOperandForConstraint - Lower the specified operand into the Ops |
| 265 | /// vector. If it is invalid, don't add anything to Ops. If hasMemory is |
| 266 | /// true it means one of the asm constraint of the inline asm instruction |
| 267 | /// being processed is 'm'. |
| 268 | virtual void LowerAsmOperandForConstraint(SDValue Op, |
| 269 | char ConstraintLetter, |
Bob Wilson | bf6396b | 2009-04-01 17:58:54 +0000 | [diff] [blame] | 270 | std::vector<SDValue> &Ops, |
| 271 | SelectionDAG &DAG) const; |
Jim Grosbach | 6aa7197 | 2009-05-13 22:32:43 +0000 | [diff] [blame] | 272 | |
Dan Gohman | 419e4f9 | 2010-05-11 16:21:03 +0000 | [diff] [blame] | 273 | const ARMSubtarget* getSubtarget() const { |
Dan Gohman | 707e018 | 2008-04-12 04:36:06 +0000 | [diff] [blame] | 274 | return Subtarget; |
Rafael Espindola | f1ba1ca | 2007-11-05 23:12:20 +0000 | [diff] [blame] | 275 | } |
| 276 | |
Evan Cheng | 06b666c | 2010-05-15 02:18:07 +0000 | [diff] [blame] | 277 | /// getRegClassFor - Return the register class that should be used for the |
| 278 | /// specified value type. |
| 279 | virtual TargetRegisterClass *getRegClassFor(EVT VT) const; |
| 280 | |
Bill Wendling | b4202b8 | 2009-07-01 18:50:55 +0000 | [diff] [blame] | 281 | /// getFunctionAlignment - Return the Log2 alignment of this function. |
Bill Wendling | 20c568f | 2009-06-30 22:38:32 +0000 | [diff] [blame] | 282 | virtual unsigned getFunctionAlignment(const Function *F) const; |
| 283 | |
Anton Korobeynikov | cec36f4 | 2010-07-24 21:52:08 +0000 | [diff] [blame] | 284 | /// getMaximalGlobalOffset - Returns the maximal possible offset which can |
| 285 | /// be used for loads / stores from the global. |
| 286 | virtual unsigned getMaximalGlobalOffset() const; |
| 287 | |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 288 | /// createFastISel - This method returns a target specific FastISel object, |
| 289 | /// or null if the target does not support "fast" ISel. |
| 290 | virtual FastISel *createFastISel(FunctionLoweringInfo &funcInfo) const; |
| 291 | |
Evan Cheng | 1cc3984 | 2010-05-20 23:26:43 +0000 | [diff] [blame] | 292 | Sched::Preference getSchedulingPreference(SDNode *N) const; |
| 293 | |
Evan Cheng | 3144687 | 2010-07-23 22:39:59 +0000 | [diff] [blame] | 294 | unsigned getRegPressureLimit(const TargetRegisterClass *RC, |
| 295 | MachineFunction &MF) const; |
| 296 | |
Anton Korobeynikov | d0ac234 | 2009-08-21 12:40:07 +0000 | [diff] [blame] | 297 | bool isShuffleMaskLegal(const SmallVectorImpl<int> &M, EVT VT) const; |
Anton Korobeynikov | 48e1935 | 2009-09-23 19:04:09 +0000 | [diff] [blame] | 298 | bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const; |
Evan Cheng | 3938242 | 2009-10-28 01:44:26 +0000 | [diff] [blame] | 299 | |
| 300 | /// isFPImmLegal - Returns true if the target can instruction select the |
| 301 | /// specified FP immediate natively. If false, the legalizer will |
| 302 | /// materialize the FP immediate as a load from a constant pool. |
| 303 | virtual bool isFPImmLegal(const APFloat &Imm, EVT VT) const; |
| 304 | |
Bob Wilson | 65ffec4 | 2010-09-21 17:56:22 +0000 | [diff] [blame] | 305 | virtual bool getTgtMemIntrinsic(IntrinsicInfo &Info, |
| 306 | const CallInst &I, |
| 307 | unsigned Intrinsic) const; |
Evan Cheng | d70f57b | 2010-07-19 22:15:08 +0000 | [diff] [blame] | 308 | protected: |
Evan Cheng | 4f6b467 | 2010-07-21 06:09:07 +0000 | [diff] [blame] | 309 | std::pair<const TargetRegisterClass*, uint8_t> |
| 310 | findRepresentativeClass(EVT VT) const; |
Evan Cheng | d70f57b | 2010-07-19 22:15:08 +0000 | [diff] [blame] | 311 | |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 312 | private: |
| 313 | /// Subtarget - Keep a pointer to the ARMSubtarget around so that we can |
| 314 | /// make the right decision when generating code for different targets. |
| 315 | const ARMSubtarget *Subtarget; |
| 316 | |
Evan Cheng | 3144687 | 2010-07-23 22:39:59 +0000 | [diff] [blame] | 317 | const TargetRegisterInfo *RegInfo; |
| 318 | |
Evan Cheng | 3ef1c87 | 2010-09-10 01:29:16 +0000 | [diff] [blame] | 319 | const InstrItineraryData *Itins; |
| 320 | |
Bob Wilson | d2559bf | 2009-07-13 18:11:36 +0000 | [diff] [blame] | 321 | /// ARMPCLabelIndex - Keep track of the number of ARM PC labels created. |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 322 | /// |
| 323 | unsigned ARMPCLabelIndex; |
| 324 | |
Owen Anderson | e50ed30 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 325 | void addTypeForNEON(EVT VT, EVT PromotedLdStVT, EVT PromotedBitwiseVT); |
| 326 | void addDRTypeForNEON(EVT VT); |
| 327 | void addQRTypeForNEON(EVT VT); |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 328 | |
| 329 | typedef SmallVector<std::pair<unsigned, SDValue>, 8> RegsToPassVector; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 330 | void PassF64ArgInRegs(DebugLoc dl, SelectionDAG &DAG, |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 331 | SDValue Chain, SDValue &Arg, |
| 332 | RegsToPassVector &RegsToPass, |
| 333 | CCValAssign &VA, CCValAssign &NextVA, |
| 334 | SDValue &StackPtr, |
| 335 | SmallVector<SDValue, 8> &MemOpChains, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 336 | ISD::ArgFlagsTy Flags) const; |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 337 | SDValue GetF64FormalArgument(CCValAssign &VA, CCValAssign &NextVA, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 338 | SDValue &Root, SelectionDAG &DAG, |
| 339 | DebugLoc dl) const; |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 340 | |
Jim Grosbach | 18f30e6 | 2010-06-02 21:53:11 +0000 | [diff] [blame] | 341 | CCAssignFn *CCAssignFnForNode(CallingConv::ID CC, bool Return, |
| 342 | bool isVarArg) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 343 | SDValue LowerMemOpCallTo(SDValue Chain, SDValue StackPtr, SDValue Arg, |
| 344 | DebugLoc dl, SelectionDAG &DAG, |
| 345 | const CCValAssign &VA, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 346 | ISD::ArgFlagsTy Flags) const; |
Jim Grosbach | 23ff7cf | 2010-05-26 20:22:18 +0000 | [diff] [blame] | 347 | SDValue LowerEH_SJLJ_SETJMP(SDValue Op, SelectionDAG &DAG) const; |
Jim Grosbach | 5eb1951 | 2010-05-22 01:06:18 +0000 | [diff] [blame] | 348 | SDValue LowerEH_SJLJ_LONGJMP(SDValue Op, SelectionDAG &DAG) const; |
Jim Grosbach | e4ad387 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 349 | SDValue LowerEH_SJLJ_DISPATCHSETUP(SDValue Op, SelectionDAG &DAG) const; |
Jim Grosbach | a87ded2 | 2010-02-08 23:22:00 +0000 | [diff] [blame] | 350 | SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 351 | const ARMSubtarget *Subtarget) const; |
| 352 | SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const; |
| 353 | SDValue LowerGlobalAddressDarwin(SDValue Op, SelectionDAG &DAG) const; |
| 354 | SDValue LowerGlobalAddressELF(SDValue Op, SelectionDAG &DAG) const; |
| 355 | SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 356 | SDValue LowerToTLSGeneralDynamicModel(GlobalAddressSDNode *GA, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 357 | SelectionDAG &DAG) const; |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 358 | SDValue LowerToTLSExecModels(GlobalAddressSDNode *GA, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 359 | SelectionDAG &DAG) const; |
| 360 | SDValue LowerGLOBAL_OFFSET_TABLE(SDValue Op, SelectionDAG &DAG) const; |
| 361 | SDValue LowerBR_JT(SDValue Op, SelectionDAG &DAG) const; |
Bill Wendling | de2b151 | 2010-08-11 08:43:16 +0000 | [diff] [blame] | 362 | SDValue LowerSELECT(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 363 | SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const; |
| 364 | SDValue LowerBR_CC(SDValue Op, SelectionDAG &DAG) const; |
Evan Cheng | 515fe3a | 2010-07-08 02:08:50 +0000 | [diff] [blame] | 365 | SDValue LowerFCOPYSIGN(SDValue Op, SelectionDAG &DAG) const; |
Evan Cheng | 2457f2c | 2010-05-22 01:47:14 +0000 | [diff] [blame] | 366 | SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 367 | SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 368 | SDValue LowerShiftRightParts(SDValue Op, SelectionDAG &DAG) const; |
| 369 | SDValue LowerShiftLeftParts(SDValue Op, SelectionDAG &DAG) const; |
Nate Begeman | d1fb583 | 2010-08-03 21:31:55 +0000 | [diff] [blame] | 370 | SDValue LowerFLT_ROUNDS_(SDValue Op, SelectionDAG &DAG) const; |
Rafael Espindola | 7b73a5d | 2007-10-19 14:35:17 +0000 | [diff] [blame] | 371 | |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 372 | SDValue LowerCallResult(SDValue Chain, SDValue InFlag, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 373 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 374 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 375 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 376 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 377 | |
| 378 | virtual SDValue |
| 379 | LowerFormalArguments(SDValue Chain, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 380 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 381 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 382 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 383 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 384 | |
| 385 | virtual SDValue |
Evan Cheng | 022d9e1 | 2010-02-02 23:55:14 +0000 | [diff] [blame] | 386 | LowerCall(SDValue Chain, SDValue Callee, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 387 | CallingConv::ID CallConv, bool isVarArg, |
Evan Cheng | 0c439eb | 2010-01-27 00:07:07 +0000 | [diff] [blame] | 388 | bool &isTailCall, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 389 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
Dan Gohman | c940365 | 2010-07-07 15:54:55 +0000 | [diff] [blame] | 390 | const SmallVectorImpl<SDValue> &OutVals, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 391 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 392 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 393 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 394 | |
Dale Johannesen | 51e28e6 | 2010-06-03 21:09:53 +0000 | [diff] [blame] | 395 | /// IsEligibleForTailCallOptimization - Check whether the call is eligible |
| 396 | /// for tail call optimization. Targets which want to do tail call |
| 397 | /// optimization should implement this function. |
| 398 | bool IsEligibleForTailCallOptimization(SDValue Callee, |
| 399 | CallingConv::ID CalleeCC, |
| 400 | bool isVarArg, |
| 401 | bool isCalleeStructRet, |
| 402 | bool isCallerStructRet, |
| 403 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
Dan Gohman | c940365 | 2010-07-07 15:54:55 +0000 | [diff] [blame] | 404 | const SmallVectorImpl<SDValue> &OutVals, |
Dale Johannesen | 51e28e6 | 2010-06-03 21:09:53 +0000 | [diff] [blame] | 405 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 406 | SelectionDAG& DAG) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 407 | virtual SDValue |
| 408 | LowerReturn(SDValue Chain, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 409 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 410 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
Dan Gohman | c940365 | 2010-07-07 15:54:55 +0000 | [diff] [blame] | 411 | const SmallVectorImpl<SDValue> &OutVals, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 412 | DebugLoc dl, SelectionDAG &DAG) const; |
Evan Cheng | 06b53c0 | 2009-11-12 07:13:11 +0000 | [diff] [blame] | 413 | |
| 414 | SDValue getARMCmp(SDValue LHS, SDValue RHS, ISD::CondCode CC, |
Evan Cheng | 218977b | 2010-07-13 19:27:42 +0000 | [diff] [blame] | 415 | SDValue &ARMcc, SelectionDAG &DAG, DebugLoc dl) const; |
| 416 | SDValue getVFPCmp(SDValue LHS, SDValue RHS, |
| 417 | SelectionDAG &DAG, DebugLoc dl) const; |
| 418 | |
| 419 | SDValue OptimizeVFPBrcond(SDValue Op, SelectionDAG &DAG) const; |
Jim Grosbach | 5278eb8 | 2009-12-11 01:42:04 +0000 | [diff] [blame] | 420 | |
Jim Grosbach | e801dc4 | 2009-12-12 01:40:06 +0000 | [diff] [blame] | 421 | MachineBasicBlock *EmitAtomicCmpSwap(MachineInstr *MI, |
| 422 | MachineBasicBlock *BB, |
| 423 | unsigned Size) const; |
| 424 | MachineBasicBlock *EmitAtomicBinary(MachineInstr *MI, |
| 425 | MachineBasicBlock *BB, |
| 426 | unsigned Size, |
| 427 | unsigned BinOpcode) const; |
Jim Grosbach | 5278eb8 | 2009-12-11 01:42:04 +0000 | [diff] [blame] | 428 | |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 429 | }; |
Eric Christopher | ab69588 | 2010-07-21 22:26:11 +0000 | [diff] [blame] | 430 | |
| 431 | namespace ARM { |
| 432 | FastISel *createFastISel(FunctionLoweringInfo &funcInfo); |
| 433 | } |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 434 | } |
| 435 | |
| 436 | #endif // ARMISELLOWERING_H |