| Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 1 | //===-- SPUISelDAGToDAG.cpp - CellSPU pattern matching inst selector ------===// | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 2 | // | 
|  | 3 | //                     The LLVM Compiler Infrastructure | 
|  | 4 | // | 
| Chris Lattner | f3ebc3f | 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. | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 7 | // | 
|  | 8 | //===----------------------------------------------------------------------===// | 
|  | 9 | // | 
|  | 10 | // This file defines a pattern matching instruction selector for the Cell SPU, | 
|  | 11 | // converting from a legalized dag to a SPU-target dag. | 
|  | 12 | // | 
|  | 13 | //===----------------------------------------------------------------------===// | 
|  | 14 |  | 
|  | 15 | #include "SPU.h" | 
|  | 16 | #include "SPUTargetMachine.h" | 
|  | 17 | #include "SPUISelLowering.h" | 
|  | 18 | #include "SPUHazardRecognizers.h" | 
|  | 19 | #include "SPUFrameInfo.h" | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 20 | #include "SPURegisterNames.h" | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 21 | #include "SPUTargetMachine.h" | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/MachineConstantPool.h" | 
|  | 23 | #include "llvm/CodeGen/MachineInstrBuilder.h" | 
|  | 24 | #include "llvm/CodeGen/MachineFunction.h" | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 25 | #include "llvm/CodeGen/SelectionDAG.h" | 
|  | 26 | #include "llvm/CodeGen/SelectionDAGISel.h" | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 27 | #include "llvm/CodeGen/PseudoSourceValue.h" | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 28 | #include "llvm/Target/TargetOptions.h" | 
|  | 29 | #include "llvm/ADT/Statistic.h" | 
|  | 30 | #include "llvm/Constants.h" | 
|  | 31 | #include "llvm/GlobalValue.h" | 
|  | 32 | #include "llvm/Intrinsics.h" | 
| Owen Anderson | f945a9e | 2009-07-15 21:51:10 +0000 | [diff] [blame] | 33 | #include "llvm/LLVMContext.h" | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 34 | #include "llvm/Support/Debug.h" | 
| Torok Edwin | fb8d6d5 | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 35 | #include "llvm/Support/ErrorHandling.h" | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 36 | #include "llvm/Support/MathExtras.h" | 
|  | 37 | #include "llvm/Support/Compiler.h" | 
| Torok Edwin | fb8d6d5 | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 38 | #include "llvm/Support/raw_ostream.h" | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 39 |  | 
|  | 40 | using namespace llvm; | 
|  | 41 |  | 
|  | 42 | namespace { | 
|  | 43 | //! ConstantSDNode predicate for i32 sign-extended, 10-bit immediates | 
|  | 44 | bool | 
|  | 45 | isI64IntS10Immediate(ConstantSDNode *CN) | 
|  | 46 | { | 
| Dan Gohman | 6e05483 | 2008-09-26 21:54:37 +0000 | [diff] [blame] | 47 | return isS10Constant(CN->getSExtValue()); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 48 | } | 
|  | 49 |  | 
|  | 50 | //! ConstantSDNode predicate for i32 sign-extended, 10-bit immediates | 
|  | 51 | bool | 
|  | 52 | isI32IntS10Immediate(ConstantSDNode *CN) | 
|  | 53 | { | 
| Dan Gohman | 6e05483 | 2008-09-26 21:54:37 +0000 | [diff] [blame] | 54 | return isS10Constant(CN->getSExtValue()); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 55 | } | 
|  | 56 |  | 
| Scott Michel | c5cccb9 | 2007-12-17 22:32:34 +0000 | [diff] [blame] | 57 | //! ConstantSDNode predicate for i32 unsigned 10-bit immediate values | 
|  | 58 | bool | 
|  | 59 | isI32IntU10Immediate(ConstantSDNode *CN) | 
|  | 60 | { | 
| Dan Gohman | 6e05483 | 2008-09-26 21:54:37 +0000 | [diff] [blame] | 61 | return isU10Constant(CN->getSExtValue()); | 
| Scott Michel | c5cccb9 | 2007-12-17 22:32:34 +0000 | [diff] [blame] | 62 | } | 
|  | 63 |  | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 64 | //! ConstantSDNode predicate for i16 sign-extended, 10-bit immediate values | 
|  | 65 | bool | 
|  | 66 | isI16IntS10Immediate(ConstantSDNode *CN) | 
|  | 67 | { | 
| Dan Gohman | 6e05483 | 2008-09-26 21:54:37 +0000 | [diff] [blame] | 68 | return isS10Constant(CN->getSExtValue()); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 69 | } | 
|  | 70 |  | 
|  | 71 | //! SDNode predicate for i16 sign-extended, 10-bit immediate values | 
|  | 72 | bool | 
|  | 73 | isI16IntS10Immediate(SDNode *N) | 
|  | 74 | { | 
| Scott Michel | 4948318 | 2009-01-26 22:33:37 +0000 | [diff] [blame] | 75 | ConstantSDNode *CN = dyn_cast<ConstantSDNode>(N); | 
|  | 76 | return (CN != 0 && isI16IntS10Immediate(CN)); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 77 | } | 
|  | 78 |  | 
| Scott Michel | 0aa7133 | 2007-12-15 00:38:50 +0000 | [diff] [blame] | 79 | //! ConstantSDNode predicate for i16 unsigned 10-bit immediate values | 
|  | 80 | bool | 
|  | 81 | isI16IntU10Immediate(ConstantSDNode *CN) | 
|  | 82 | { | 
| Dan Gohman | effb894 | 2008-09-12 16:56:44 +0000 | [diff] [blame] | 83 | return isU10Constant((short) CN->getZExtValue()); | 
| Scott Michel | 0aa7133 | 2007-12-15 00:38:50 +0000 | [diff] [blame] | 84 | } | 
|  | 85 |  | 
|  | 86 | //! SDNode predicate for i16 sign-extended, 10-bit immediate values | 
|  | 87 | bool | 
|  | 88 | isI16IntU10Immediate(SDNode *N) | 
|  | 89 | { | 
|  | 90 | return (N->getOpcode() == ISD::Constant | 
|  | 91 | && isI16IntU10Immediate(cast<ConstantSDNode>(N))); | 
|  | 92 | } | 
|  | 93 |  | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 94 | //! ConstantSDNode predicate for signed 16-bit values | 
|  | 95 | /*! | 
|  | 96 | \arg CN The constant SelectionDAG node holding the value | 
|  | 97 | \arg Imm The returned 16-bit value, if returning true | 
|  | 98 |  | 
|  | 99 | This predicate tests the value in \a CN to see whether it can be | 
|  | 100 | represented as a 16-bit, sign-extended quantity. Returns true if | 
|  | 101 | this is the case. | 
|  | 102 | */ | 
|  | 103 | bool | 
|  | 104 | isIntS16Immediate(ConstantSDNode *CN, short &Imm) | 
|  | 105 | { | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 106 | EVT vt = CN->getValueType(0); | 
| Dan Gohman | effb894 | 2008-09-12 16:56:44 +0000 | [diff] [blame] | 107 | Imm = (short) CN->getZExtValue(); | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 108 | if (vt.getSimpleVT() >= MVT::i1 && vt.getSimpleVT() <= MVT::i16) { | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 109 | return true; | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 110 | } else if (vt == MVT::i32) { | 
| Dan Gohman | effb894 | 2008-09-12 16:56:44 +0000 | [diff] [blame] | 111 | int32_t i_val = (int32_t) CN->getZExtValue(); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 112 | short s_val = (short) i_val; | 
|  | 113 | return i_val == s_val; | 
|  | 114 | } else { | 
| Dan Gohman | effb894 | 2008-09-12 16:56:44 +0000 | [diff] [blame] | 115 | int64_t i_val = (int64_t) CN->getZExtValue(); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 116 | short s_val = (short) i_val; | 
|  | 117 | return i_val == s_val; | 
|  | 118 | } | 
|  | 119 |  | 
|  | 120 | return false; | 
|  | 121 | } | 
|  | 122 |  | 
|  | 123 | //! SDNode predicate for signed 16-bit values. | 
|  | 124 | bool | 
|  | 125 | isIntS16Immediate(SDNode *N, short &Imm) | 
|  | 126 | { | 
|  | 127 | return (N->getOpcode() == ISD::Constant | 
|  | 128 | && isIntS16Immediate(cast<ConstantSDNode>(N), Imm)); | 
|  | 129 | } | 
|  | 130 |  | 
|  | 131 | //! ConstantFPSDNode predicate for representing floats as 16-bit sign ext. | 
|  | 132 | static bool | 
|  | 133 | isFPS16Immediate(ConstantFPSDNode *FPN, short &Imm) | 
|  | 134 | { | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 135 | EVT vt = FPN->getValueType(0); | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 136 | if (vt == MVT::f32) { | 
| Chris Lattner | 91f3379 | 2007-12-22 22:45:38 +0000 | [diff] [blame] | 137 | int val = FloatToBits(FPN->getValueAPF().convertToFloat()); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 138 | int sval = (int) ((val << 16) >> 16); | 
|  | 139 | Imm = (short) val; | 
|  | 140 | return val == sval; | 
|  | 141 | } | 
|  | 142 |  | 
|  | 143 | return false; | 
|  | 144 | } | 
|  | 145 |  | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 146 | bool | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 147 | isHighLow(const SDValue &Op) | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 148 | { | 
|  | 149 | return (Op.getOpcode() == SPUISD::IndirectAddr | 
|  | 150 | && ((Op.getOperand(0).getOpcode() == SPUISD::Hi | 
|  | 151 | && Op.getOperand(1).getOpcode() == SPUISD::Lo) | 
|  | 152 | || (Op.getOperand(0).getOpcode() == SPUISD::Lo | 
|  | 153 | && Op.getOperand(1).getOpcode() == SPUISD::Hi))); | 
|  | 154 | } | 
|  | 155 |  | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 156 | //===------------------------------------------------------------------===// | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 157 | //! EVT to "useful stuff" mapping structure: | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 158 |  | 
|  | 159 | struct valtype_map_s { | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 160 | EVT VT; | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 161 | unsigned ldresult_ins;      /// LDRESULT instruction (0 = undefined) | 
| Scott Michel | 7d5eaec | 2008-02-23 18:41:37 +0000 | [diff] [blame] | 162 | bool ldresult_imm;          /// LDRESULT instruction requires immediate? | 
| Scott Michel | 8233527 | 2008-12-27 04:51:36 +0000 | [diff] [blame] | 163 | unsigned lrinst;            /// LR instruction | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 164 | }; | 
|  | 165 |  | 
|  | 166 | const valtype_map_s valtype_map[] = { | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 167 | { MVT::i8,    SPU::ORBIr8,  true,  SPU::LRr8 }, | 
|  | 168 | { MVT::i16,   SPU::ORHIr16, true,  SPU::LRr16 }, | 
|  | 169 | { MVT::i32,   SPU::ORIr32,  true,  SPU::LRr32 }, | 
|  | 170 | { MVT::i64,   SPU::ORr64,   false, SPU::LRr64 }, | 
|  | 171 | { MVT::f32,   SPU::ORf32,   false, SPU::LRf32 }, | 
|  | 172 | { MVT::f64,   SPU::ORf64,   false, SPU::LRf64 }, | 
| Scott Michel | e4d3e3c | 2008-01-17 20:38:41 +0000 | [diff] [blame] | 173 | // vector types... (sigh!) | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 174 | { MVT::v16i8, 0,            false, SPU::LRv16i8 }, | 
|  | 175 | { MVT::v8i16, 0,            false, SPU::LRv8i16 }, | 
|  | 176 | { MVT::v4i32, 0,            false, SPU::LRv4i32 }, | 
|  | 177 | { MVT::v2i64, 0,            false, SPU::LRv2i64 }, | 
|  | 178 | { MVT::v4f32, 0,            false, SPU::LRv4f32 }, | 
|  | 179 | { MVT::v2f64, 0,            false, SPU::LRv2f64 } | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 180 | }; | 
|  | 181 |  | 
|  | 182 | const size_t n_valtype_map = sizeof(valtype_map) / sizeof(valtype_map[0]); | 
|  | 183 |  | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 184 | const valtype_map_s *getValueTypeMapEntry(EVT VT) | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 185 | { | 
|  | 186 | const valtype_map_s *retval = 0; | 
|  | 187 | for (size_t i = 0; i < n_valtype_map; ++i) { | 
|  | 188 | if (valtype_map[i].VT == VT) { | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 189 | retval = valtype_map + i; | 
|  | 190 | break; | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 191 | } | 
|  | 192 | } | 
|  | 193 |  | 
|  | 194 |  | 
|  | 195 | #ifndef NDEBUG | 
|  | 196 | if (retval == 0) { | 
| Torok Edwin | fb8d6d5 | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 197 | std::string msg; | 
|  | 198 | raw_string_ostream Msg(msg); | 
|  | 199 | Msg << "SPUISelDAGToDAG.cpp: getValueTypeMapEntry returns NULL for " | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 200 | << VT.getEVTString(); | 
| Torok Edwin | fb8d6d5 | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 201 | llvm_report_error(Msg.str()); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 202 | } | 
|  | 203 | #endif | 
|  | 204 |  | 
|  | 205 | return retval; | 
|  | 206 | } | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 207 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 208 | //! Generate the carry-generate shuffle mask. | 
|  | 209 | SDValue getCarryGenerateShufMask(SelectionDAG &DAG, DebugLoc dl) { | 
|  | 210 | SmallVector<SDValue, 16 > ShufBytes; | 
| Dan Gohman | d78c400 | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 211 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 212 | // Create the shuffle mask for "rotating" the borrow up one register slot | 
|  | 213 | // once the borrow is generated. | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 214 | ShufBytes.push_back(DAG.getConstant(0x04050607, MVT::i32)); | 
|  | 215 | ShufBytes.push_back(DAG.getConstant(0x80808080, MVT::i32)); | 
|  | 216 | ShufBytes.push_back(DAG.getConstant(0x0c0d0e0f, MVT::i32)); | 
|  | 217 | ShufBytes.push_back(DAG.getConstant(0x80808080, MVT::i32)); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 218 |  | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 219 | return DAG.getNode(ISD::BUILD_VECTOR, dl, MVT::v4i32, | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 220 | &ShufBytes[0], ShufBytes.size()); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 221 | } | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 222 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 223 | //! Generate the borrow-generate shuffle mask | 
|  | 224 | SDValue getBorrowGenerateShufMask(SelectionDAG &DAG, DebugLoc dl) { | 
|  | 225 | SmallVector<SDValue, 16 > ShufBytes; | 
|  | 226 |  | 
|  | 227 | // Create the shuffle mask for "rotating" the borrow up one register slot | 
|  | 228 | // once the borrow is generated. | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 229 | ShufBytes.push_back(DAG.getConstant(0x04050607, MVT::i32)); | 
|  | 230 | ShufBytes.push_back(DAG.getConstant(0xc0c0c0c0, MVT::i32)); | 
|  | 231 | ShufBytes.push_back(DAG.getConstant(0x0c0d0e0f, MVT::i32)); | 
|  | 232 | ShufBytes.push_back(DAG.getConstant(0xc0c0c0c0, MVT::i32)); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 233 |  | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 234 | return DAG.getNode(ISD::BUILD_VECTOR, dl, MVT::v4i32, | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 235 | &ShufBytes[0], ShufBytes.size()); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 236 | } | 
|  | 237 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 238 | //===------------------------------------------------------------------===// | 
|  | 239 | /// SPUDAGToDAGISel - Cell SPU-specific code to select SPU machine | 
|  | 240 | /// instructions for SelectionDAG operations. | 
|  | 241 | /// | 
|  | 242 | class SPUDAGToDAGISel : | 
|  | 243 | public SelectionDAGISel | 
|  | 244 | { | 
|  | 245 | SPUTargetMachine &TM; | 
|  | 246 | SPUTargetLowering &SPUtli; | 
|  | 247 | unsigned GlobalBaseReg; | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 248 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 249 | public: | 
|  | 250 | explicit SPUDAGToDAGISel(SPUTargetMachine &tm) : | 
|  | 251 | SelectionDAGISel(tm), | 
|  | 252 | TM(tm), | 
|  | 253 | SPUtli(*tm.getTargetLowering()) | 
|  | 254 | { } | 
|  | 255 |  | 
| Dan Gohman | 5ea74d5 | 2009-07-31 18:16:33 +0000 | [diff] [blame] | 256 | virtual bool runOnMachineFunction(MachineFunction &MF) { | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 257 | // Make sure we re-emit a set of the global base reg if necessary | 
|  | 258 | GlobalBaseReg = 0; | 
| Dan Gohman | 5ea74d5 | 2009-07-31 18:16:33 +0000 | [diff] [blame] | 259 | SelectionDAGISel::runOnMachineFunction(MF); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 260 | return true; | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 261 | } | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 262 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 263 | /// getI32Imm - Return a target constant with the specified value, of type | 
|  | 264 | /// i32. | 
|  | 265 | inline SDValue getI32Imm(uint32_t Imm) { | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 266 | return CurDAG->getTargetConstant(Imm, MVT::i32); | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 267 | } | 
|  | 268 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 269 | /// getI64Imm - Return a target constant with the specified value, of type | 
|  | 270 | /// i64. | 
|  | 271 | inline SDValue getI64Imm(uint64_t Imm) { | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 272 | return CurDAG->getTargetConstant(Imm, MVT::i64); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 273 | } | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 274 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 275 | /// getSmallIPtrImm - Return a target constant of pointer type. | 
|  | 276 | inline SDValue getSmallIPtrImm(unsigned Imm) { | 
|  | 277 | return CurDAG->getTargetConstant(Imm, SPUtli.getPointerTy()); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 278 | } | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 279 |  | 
|  | 280 | SDNode *emitBuildVector(SDValue build_vec) { | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 281 | EVT vecVT = build_vec.getValueType(); | 
|  | 282 | EVT eltVT = vecVT.getVectorElementType(); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 283 | SDNode *bvNode = build_vec.getNode(); | 
|  | 284 | DebugLoc dl = bvNode->getDebugLoc(); | 
|  | 285 |  | 
|  | 286 | // Check to see if this vector can be represented as a CellSPU immediate | 
|  | 287 | // constant by invoking all of the instruction selection predicates: | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 288 | if (((vecVT == MVT::v8i16) && | 
|  | 289 | (SPU::get_vec_i16imm(bvNode, *CurDAG, MVT::i16).getNode() != 0)) || | 
|  | 290 | ((vecVT == MVT::v4i32) && | 
|  | 291 | ((SPU::get_vec_i16imm(bvNode, *CurDAG, MVT::i32).getNode() != 0) || | 
|  | 292 | (SPU::get_ILHUvec_imm(bvNode, *CurDAG, MVT::i32).getNode() != 0) || | 
|  | 293 | (SPU::get_vec_u18imm(bvNode, *CurDAG, MVT::i32).getNode() != 0) || | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 294 | (SPU::get_v4i32_imm(bvNode, *CurDAG).getNode() != 0))) || | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 295 | ((vecVT == MVT::v2i64) && | 
|  | 296 | ((SPU::get_vec_i16imm(bvNode, *CurDAG, MVT::i64).getNode() != 0) || | 
|  | 297 | (SPU::get_ILHUvec_imm(bvNode, *CurDAG, MVT::i64).getNode() != 0) || | 
|  | 298 | (SPU::get_vec_u18imm(bvNode, *CurDAG, MVT::i64).getNode() != 0)))) | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 299 | return Select(build_vec); | 
|  | 300 |  | 
|  | 301 | // No, need to emit a constant pool spill: | 
|  | 302 | std::vector<Constant*> CV; | 
|  | 303 |  | 
|  | 304 | for (size_t i = 0; i < build_vec.getNumOperands(); ++i) { | 
|  | 305 | ConstantSDNode *V = dyn_cast<ConstantSDNode > (build_vec.getOperand(i)); | 
|  | 306 | CV.push_back(const_cast<ConstantInt *> (V->getConstantIntValue())); | 
|  | 307 | } | 
|  | 308 |  | 
| Owen Anderson | 4aa3295 | 2009-07-28 21:19:26 +0000 | [diff] [blame] | 309 | Constant *CP = ConstantVector::get(CV); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 310 | SDValue CPIdx = CurDAG->getConstantPool(CP, SPUtli.getPointerTy()); | 
|  | 311 | unsigned Alignment = cast<ConstantPoolSDNode>(CPIdx)->getAlignment(); | 
|  | 312 | SDValue CGPoolOffset = | 
|  | 313 | SPU::LowerConstantPool(CPIdx, *CurDAG, | 
|  | 314 | SPUtli.getSPUTargetMachine()); | 
|  | 315 | return SelectCode(CurDAG->getLoad(build_vec.getValueType(), dl, | 
|  | 316 | CurDAG->getEntryNode(), CGPoolOffset, | 
|  | 317 | PseudoSourceValue::getConstantPool(), 0, | 
|  | 318 | false, Alignment)); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 319 | } | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 320 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 321 | /// Select - Convert the specified operand from a target-independent to a | 
|  | 322 | /// target-specific node if it hasn't already been changed. | 
|  | 323 | SDNode *Select(SDValue Op); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 324 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 325 | //! Emit the instruction sequence for i64 shl | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 326 | SDNode *SelectSHLi64(SDValue &Op, EVT OpVT); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 327 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 328 | //! Emit the instruction sequence for i64 srl | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 329 | SDNode *SelectSRLi64(SDValue &Op, EVT OpVT); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 330 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 331 | //! Emit the instruction sequence for i64 sra | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 332 | SDNode *SelectSRAi64(SDValue &Op, EVT OpVT); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 333 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 334 | //! Emit the necessary sequence for loading i64 constants: | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 335 | SDNode *SelectI64Constant(SDValue &Op, EVT OpVT, DebugLoc dl); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 336 |  | 
|  | 337 | //! Alternate instruction emit sequence for loading i64 constants | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 338 | SDNode *SelectI64Constant(uint64_t i64const, EVT OpVT, DebugLoc dl); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 339 |  | 
|  | 340 | //! Returns true if the address N is an A-form (local store) address | 
|  | 341 | bool SelectAFormAddr(SDValue Op, SDValue N, SDValue &Base, | 
|  | 342 | SDValue &Index); | 
|  | 343 |  | 
|  | 344 | //! D-form address predicate | 
|  | 345 | bool SelectDFormAddr(SDValue Op, SDValue N, SDValue &Base, | 
|  | 346 | SDValue &Index); | 
|  | 347 |  | 
|  | 348 | /// Alternate D-form address using i7 offset predicate | 
|  | 349 | bool SelectDForm2Addr(SDValue Op, SDValue N, SDValue &Disp, | 
|  | 350 | SDValue &Base); | 
|  | 351 |  | 
|  | 352 | /// D-form address selection workhorse | 
|  | 353 | bool DFormAddressPredicate(SDValue Op, SDValue N, SDValue &Disp, | 
|  | 354 | SDValue &Base, int minOffset, int maxOffset); | 
|  | 355 |  | 
|  | 356 | //! Address predicate if N can be expressed as an indexed [r+r] operation. | 
|  | 357 | bool SelectXFormAddr(SDValue Op, SDValue N, SDValue &Base, | 
|  | 358 | SDValue &Index); | 
|  | 359 |  | 
|  | 360 | /// SelectInlineAsmMemoryOperand - Implement addressing mode selection for | 
|  | 361 | /// inline asm expressions. | 
|  | 362 | virtual bool SelectInlineAsmMemoryOperand(const SDValue &Op, | 
|  | 363 | char ConstraintCode, | 
|  | 364 | std::vector<SDValue> &OutOps) { | 
|  | 365 | SDValue Op0, Op1; | 
|  | 366 | switch (ConstraintCode) { | 
|  | 367 | default: return true; | 
|  | 368 | case 'm':   // memory | 
|  | 369 | if (!SelectDFormAddr(Op, Op, Op0, Op1) | 
|  | 370 | && !SelectAFormAddr(Op, Op, Op0, Op1)) | 
|  | 371 | SelectXFormAddr(Op, Op, Op0, Op1); | 
|  | 372 | break; | 
|  | 373 | case 'o':   // offsetable | 
|  | 374 | if (!SelectDFormAddr(Op, Op, Op0, Op1) | 
|  | 375 | && !SelectAFormAddr(Op, Op, Op0, Op1)) { | 
|  | 376 | Op0 = Op; | 
|  | 377 | Op1 = getSmallIPtrImm(0); | 
|  | 378 | } | 
|  | 379 | break; | 
|  | 380 | case 'v':   // not offsetable | 
|  | 381 | #if 1 | 
| Torok Edwin | fbcc663 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 382 | llvm_unreachable("InlineAsmMemoryOperand 'v' constraint not handled."); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 383 | #else | 
|  | 384 | SelectAddrIdxOnly(Op, Op, Op0, Op1); | 
|  | 385 | #endif | 
|  | 386 | break; | 
|  | 387 | } | 
|  | 388 |  | 
|  | 389 | OutOps.push_back(Op0); | 
|  | 390 | OutOps.push_back(Op1); | 
|  | 391 | return false; | 
|  | 392 | } | 
|  | 393 |  | 
|  | 394 | /// InstructionSelect - This callback is invoked by | 
|  | 395 | /// SelectionDAGISel when it has created a SelectionDAG for us to codegen. | 
|  | 396 | virtual void InstructionSelect(); | 
|  | 397 |  | 
|  | 398 | virtual const char *getPassName() const { | 
|  | 399 | return "Cell SPU DAG->DAG Pattern Instruction Selection"; | 
|  | 400 | } | 
|  | 401 |  | 
|  | 402 | /// CreateTargetHazardRecognizer - Return the hazard recognizer to use for | 
|  | 403 | /// this target when scheduling the DAG. | 
|  | 404 | virtual ScheduleHazardRecognizer *CreateTargetHazardRecognizer() { | 
|  | 405 | const TargetInstrInfo *II = TM.getInstrInfo(); | 
|  | 406 | assert(II && "No InstrInfo?"); | 
|  | 407 | return new SPUHazardRecognizer(*II); | 
|  | 408 | } | 
|  | 409 |  | 
|  | 410 | // Include the pieces autogenerated from the target description. | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 411 | #include "SPUGenDAGISel.inc" | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 412 | }; | 
| Dan Gohman | d78c400 | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 413 | } | 
|  | 414 |  | 
| Evan Cheng | 0711d68 | 2008-06-30 20:45:06 +0000 | [diff] [blame] | 415 | /// InstructionSelect - This callback is invoked by | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 416 | /// SelectionDAGISel when it has created a SelectionDAG for us to codegen. | 
|  | 417 | void | 
| Dan Gohman | eb0cee9 | 2008-08-23 02:25:05 +0000 | [diff] [blame] | 418 | SPUDAGToDAGISel::InstructionSelect() | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 419 | { | 
|  | 420 | DEBUG(BB->dump()); | 
|  | 421 |  | 
|  | 422 | // Select target instructions for the DAG. | 
| David Greene | ce2a938 | 2008-10-27 21:56:29 +0000 | [diff] [blame] | 423 | SelectRoot(*CurDAG); | 
| Dan Gohman | eb0cee9 | 2008-08-23 02:25:05 +0000 | [diff] [blame] | 424 | CurDAG->RemoveDeadNodes(); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 425 | } | 
|  | 426 |  | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 427 | /*! | 
| Scott Michel | 4948318 | 2009-01-26 22:33:37 +0000 | [diff] [blame] | 428 | \arg Op The ISD instruction operand | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 429 | \arg N The address to be tested | 
|  | 430 | \arg Base The base address | 
|  | 431 | \arg Index The base address index | 
|  | 432 | */ | 
|  | 433 | bool | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 434 | SPUDAGToDAGISel::SelectAFormAddr(SDValue Op, SDValue N, SDValue &Base, | 
|  | 435 | SDValue &Index) { | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 436 | // These match the addr256k operand type: | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 437 | EVT OffsVT = MVT::i16; | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 438 | SDValue Zero = CurDAG->getTargetConstant(0, OffsVT); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 439 |  | 
|  | 440 | switch (N.getOpcode()) { | 
|  | 441 | case ISD::Constant: | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 442 | case ISD::ConstantPool: | 
|  | 443 | case ISD::GlobalAddress: | 
| Torok Edwin | fb8d6d5 | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 444 | llvm_report_error("SPU SelectAFormAddr: Constant/Pool/Global not lowered."); | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 445 | /*NOTREACHED*/ | 
|  | 446 |  | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 447 | case ISD::TargetConstant: | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 448 | case ISD::TargetGlobalAddress: | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 449 | case ISD::TargetJumpTable: | 
| Torok Edwin | fb8d6d5 | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 450 | llvm_report_error("SPUSelectAFormAddr: Target Constant/Pool/Global " | 
|  | 451 | "not wrapped as A-form address."); | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 452 | /*NOTREACHED*/ | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 453 |  | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 454 | case SPUISD::AFormAddr: | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 455 | // Just load from memory if there's only a single use of the location, | 
|  | 456 | // otherwise, this will get handled below with D-form offset addresses | 
|  | 457 | if (N.hasOneUse()) { | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 458 | SDValue Op0 = N.getOperand(0); | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 459 | switch (Op0.getOpcode()) { | 
|  | 460 | case ISD::TargetConstantPool: | 
|  | 461 | case ISD::TargetJumpTable: | 
|  | 462 | Base = Op0; | 
|  | 463 | Index = Zero; | 
|  | 464 | return true; | 
|  | 465 |  | 
|  | 466 | case ISD::TargetGlobalAddress: { | 
|  | 467 | GlobalAddressSDNode *GSDN = cast<GlobalAddressSDNode>(Op0); | 
|  | 468 | GlobalValue *GV = GSDN->getGlobal(); | 
|  | 469 | if (GV->getAlignment() == 16) { | 
|  | 470 | Base = Op0; | 
|  | 471 | Index = Zero; | 
|  | 472 | return true; | 
|  | 473 | } | 
|  | 474 | break; | 
|  | 475 | } | 
|  | 476 | } | 
|  | 477 | } | 
|  | 478 | break; | 
|  | 479 | } | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 480 | return false; | 
|  | 481 | } | 
|  | 482 |  | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 483 | bool | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 484 | SPUDAGToDAGISel::SelectDForm2Addr(SDValue Op, SDValue N, SDValue &Disp, | 
|  | 485 | SDValue &Base) { | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 486 | const int minDForm2Offset = -(1 << 7); | 
|  | 487 | const int maxDForm2Offset = (1 << 7) - 1; | 
|  | 488 | return DFormAddressPredicate(Op, N, Disp, Base, minDForm2Offset, | 
|  | 489 | maxDForm2Offset); | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 490 | } | 
|  | 491 |  | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 492 | /*! | 
|  | 493 | \arg Op The ISD instruction (ignored) | 
|  | 494 | \arg N The address to be tested | 
|  | 495 | \arg Base Base address register/pointer | 
|  | 496 | \arg Index Base address index | 
|  | 497 |  | 
|  | 498 | Examine the input address by a base register plus a signed 10-bit | 
|  | 499 | displacement, [r+I10] (D-form address). | 
|  | 500 |  | 
|  | 501 | \return true if \a N is a D-form address with \a Base and \a Index set | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 502 | to non-empty SDValue instances. | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 503 | */ | 
|  | 504 | bool | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 505 | SPUDAGToDAGISel::SelectDFormAddr(SDValue Op, SDValue N, SDValue &Base, | 
|  | 506 | SDValue &Index) { | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 507 | return DFormAddressPredicate(Op, N, Base, Index, | 
| Scott Michel | c6918c1 | 2008-11-21 02:56:16 +0000 | [diff] [blame] | 508 | SPUFrameInfo::minFrameOffset(), | 
|  | 509 | SPUFrameInfo::maxFrameOffset()); | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 510 | } | 
|  | 511 |  | 
|  | 512 | bool | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 513 | SPUDAGToDAGISel::DFormAddressPredicate(SDValue Op, SDValue N, SDValue &Base, | 
|  | 514 | SDValue &Index, int minOffset, | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 515 | int maxOffset) { | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 516 | unsigned Opc = N.getOpcode(); | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 517 | EVT PtrTy = SPUtli.getPointerTy(); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 518 |  | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 519 | if (Opc == ISD::FrameIndex) { | 
|  | 520 | // Stack frame index must be less than 512 (divided by 16): | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 521 | FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(N); | 
|  | 522 | int FI = int(FIN->getIndex()); | 
| Chris Lattner | 317dbbc | 2009-08-23 07:05:07 +0000 | [diff] [blame] | 523 | DEBUG(errs() << "SelectDFormAddr: ISD::FrameIndex = " | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 524 | << FI << "\n"); | 
|  | 525 | if (SPUFrameInfo::FItoStackOffset(FI) < maxOffset) { | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 526 | Base = CurDAG->getTargetConstant(0, PtrTy); | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 527 | Index = CurDAG->getTargetFrameIndex(FI, PtrTy); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 528 | return true; | 
|  | 529 | } | 
|  | 530 | } else if (Opc == ISD::ADD) { | 
|  | 531 | // Generated by getelementptr | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 532 | const SDValue Op0 = N.getOperand(0); | 
|  | 533 | const SDValue Op1 = N.getOperand(1); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 534 |  | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 535 | if ((Op0.getOpcode() == SPUISD::Hi && Op1.getOpcode() == SPUISD::Lo) | 
|  | 536 | || (Op1.getOpcode() == SPUISD::Hi && Op0.getOpcode() == SPUISD::Lo)) { | 
|  | 537 | Base = CurDAG->getTargetConstant(0, PtrTy); | 
|  | 538 | Index = N; | 
|  | 539 | return true; | 
|  | 540 | } else if (Op1.getOpcode() == ISD::Constant | 
|  | 541 | || Op1.getOpcode() == ISD::TargetConstant) { | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 542 | ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Op1); | 
| Dan Gohman | 6e05483 | 2008-09-26 21:54:37 +0000 | [diff] [blame] | 543 | int32_t offset = int32_t(CN->getSExtValue()); | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 544 |  | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 545 | if (Op0.getOpcode() == ISD::FrameIndex) { | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 546 | FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Op0); | 
|  | 547 | int FI = int(FIN->getIndex()); | 
| Chris Lattner | 317dbbc | 2009-08-23 07:05:07 +0000 | [diff] [blame] | 548 | DEBUG(errs() << "SelectDFormAddr: ISD::ADD offset = " << offset | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 549 | << " frame index = " << FI << "\n"); | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 550 |  | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 551 | if (SPUFrameInfo::FItoStackOffset(FI) < maxOffset) { | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 552 | Base = CurDAG->getTargetConstant(offset, PtrTy); | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 553 | Index = CurDAG->getTargetFrameIndex(FI, PtrTy); | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 554 | return true; | 
|  | 555 | } | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 556 | } else if (offset > minOffset && offset < maxOffset) { | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 557 | Base = CurDAG->getTargetConstant(offset, PtrTy); | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 558 | Index = Op0; | 
|  | 559 | return true; | 
|  | 560 | } | 
|  | 561 | } else if (Op0.getOpcode() == ISD::Constant | 
|  | 562 | || Op0.getOpcode() == ISD::TargetConstant) { | 
|  | 563 | ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Op0); | 
| Dan Gohman | 6e05483 | 2008-09-26 21:54:37 +0000 | [diff] [blame] | 564 | int32_t offset = int32_t(CN->getSExtValue()); | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 565 |  | 
|  | 566 | if (Op1.getOpcode() == ISD::FrameIndex) { | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 567 | FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Op1); | 
|  | 568 | int FI = int(FIN->getIndex()); | 
| Chris Lattner | 317dbbc | 2009-08-23 07:05:07 +0000 | [diff] [blame] | 569 | DEBUG(errs() << "SelectDFormAddr: ISD::ADD offset = " << offset | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 570 | << " frame index = " << FI << "\n"); | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 571 |  | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 572 | if (SPUFrameInfo::FItoStackOffset(FI) < maxOffset) { | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 573 | Base = CurDAG->getTargetConstant(offset, PtrTy); | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 574 | Index = CurDAG->getTargetFrameIndex(FI, PtrTy); | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 575 | return true; | 
|  | 576 | } | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 577 | } else if (offset > minOffset && offset < maxOffset) { | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 578 | Base = CurDAG->getTargetConstant(offset, PtrTy); | 
|  | 579 | Index = Op1; | 
|  | 580 | return true; | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 581 | } | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 582 | } | 
|  | 583 | } else if (Opc == SPUISD::IndirectAddr) { | 
|  | 584 | // Indirect with constant offset -> D-Form address | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 585 | const SDValue Op0 = N.getOperand(0); | 
|  | 586 | const SDValue Op1 = N.getOperand(1); | 
| Scott Michel | a8f67e0 | 2008-01-11 21:01:19 +0000 | [diff] [blame] | 587 |  | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 588 | if (Op0.getOpcode() == SPUISD::Hi | 
|  | 589 | && Op1.getOpcode() == SPUISD::Lo) { | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 590 | // (SPUindirect (SPUhi <arg>, 0), (SPUlo <arg>, 0)) | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 591 | Base = CurDAG->getTargetConstant(0, PtrTy); | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 592 | Index = N; | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 593 | return true; | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 594 | } else if (isa<ConstantSDNode>(Op0) || isa<ConstantSDNode>(Op1)) { | 
|  | 595 | int32_t offset = 0; | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 596 | SDValue idxOp; | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 597 |  | 
|  | 598 | if (isa<ConstantSDNode>(Op1)) { | 
|  | 599 | ConstantSDNode *CN = cast<ConstantSDNode>(Op1); | 
| Dan Gohman | 6e05483 | 2008-09-26 21:54:37 +0000 | [diff] [blame] | 600 | offset = int32_t(CN->getSExtValue()); | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 601 | idxOp = Op0; | 
|  | 602 | } else if (isa<ConstantSDNode>(Op0)) { | 
|  | 603 | ConstantSDNode *CN = cast<ConstantSDNode>(Op0); | 
| Dan Gohman | 6e05483 | 2008-09-26 21:54:37 +0000 | [diff] [blame] | 604 | offset = int32_t(CN->getSExtValue()); | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 605 | idxOp = Op1; | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 606 | } | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 607 |  | 
|  | 608 | if (offset >= minOffset && offset <= maxOffset) { | 
|  | 609 | Base = CurDAG->getTargetConstant(offset, PtrTy); | 
|  | 610 | Index = idxOp; | 
|  | 611 | return true; | 
|  | 612 | } | 
| Scott Michel | 8d5841a | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 613 | } | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 614 | } else if (Opc == SPUISD::AFormAddr) { | 
|  | 615 | Base = CurDAG->getTargetConstant(0, N.getValueType()); | 
|  | 616 | Index = N; | 
| Scott Michel | e4d3e3c | 2008-01-17 20:38:41 +0000 | [diff] [blame] | 617 | return true; | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 618 | } else if (Opc == SPUISD::LDRESULT) { | 
|  | 619 | Base = CurDAG->getTargetConstant(0, N.getValueType()); | 
|  | 620 | Index = N; | 
|  | 621 | return true; | 
| Scott Michel | c6918c1 | 2008-11-21 02:56:16 +0000 | [diff] [blame] | 622 | } else if (Opc == ISD::Register || Opc == ISD::CopyFromReg) { | 
|  | 623 | unsigned OpOpc = Op.getOpcode(); | 
|  | 624 |  | 
|  | 625 | if (OpOpc == ISD::STORE || OpOpc == ISD::LOAD) { | 
|  | 626 | // Direct load/store without getelementptr | 
|  | 627 | SDValue Addr, Offs; | 
|  | 628 |  | 
|  | 629 | // Get the register from CopyFromReg | 
|  | 630 | if (Opc == ISD::CopyFromReg) | 
|  | 631 | Addr = N.getOperand(1); | 
|  | 632 | else | 
|  | 633 | Addr = N;                       // Register | 
|  | 634 |  | 
| Scott Michel | a249550 | 2008-12-10 00:15:19 +0000 | [diff] [blame] | 635 | Offs = ((OpOpc == ISD::STORE) ? Op.getOperand(3) : Op.getOperand(2)); | 
| Scott Michel | c6918c1 | 2008-11-21 02:56:16 +0000 | [diff] [blame] | 636 |  | 
|  | 637 | if (Offs.getOpcode() == ISD::Constant || Offs.getOpcode() == ISD::UNDEF) { | 
|  | 638 | if (Offs.getOpcode() == ISD::UNDEF) | 
|  | 639 | Offs = CurDAG->getTargetConstant(0, Offs.getValueType()); | 
|  | 640 |  | 
|  | 641 | Base = Offs; | 
|  | 642 | Index = Addr; | 
|  | 643 | return true; | 
|  | 644 | } | 
| Scott Michel | a249550 | 2008-12-10 00:15:19 +0000 | [diff] [blame] | 645 | } else { | 
|  | 646 | /* If otherwise unadorned, default to D-form address with 0 offset: */ | 
|  | 647 | if (Opc == ISD::CopyFromReg) { | 
| Scott Michel | 95b2a20 | 2009-01-26 03:37:41 +0000 | [diff] [blame] | 648 | Index = N.getOperand(1); | 
| Scott Michel | a249550 | 2008-12-10 00:15:19 +0000 | [diff] [blame] | 649 | } else { | 
| Scott Michel | 95b2a20 | 2009-01-26 03:37:41 +0000 | [diff] [blame] | 650 | Index = N; | 
| Scott Michel | a249550 | 2008-12-10 00:15:19 +0000 | [diff] [blame] | 651 | } | 
|  | 652 |  | 
|  | 653 | Base = CurDAG->getTargetConstant(0, Index.getValueType()); | 
|  | 654 | return true; | 
| Scott Michel | c6918c1 | 2008-11-21 02:56:16 +0000 | [diff] [blame] | 655 | } | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 656 | } | 
| Scott Michel | c6918c1 | 2008-11-21 02:56:16 +0000 | [diff] [blame] | 657 |  | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 658 | return false; | 
|  | 659 | } | 
|  | 660 |  | 
|  | 661 | /*! | 
|  | 662 | \arg Op The ISD instruction operand | 
|  | 663 | \arg N The address operand | 
|  | 664 | \arg Base The base pointer operand | 
|  | 665 | \arg Index The offset/index operand | 
|  | 666 |  | 
| Scott Michel | c6918c1 | 2008-11-21 02:56:16 +0000 | [diff] [blame] | 667 | If the address \a N can be expressed as an A-form or D-form address, returns | 
|  | 668 | false.  Otherwise, creates two operands, Base and Index that will become the | 
|  | 669 | (r)(r) X-form address. | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 670 | */ | 
|  | 671 | bool | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 672 | SPUDAGToDAGISel::SelectXFormAddr(SDValue Op, SDValue N, SDValue &Base, | 
|  | 673 | SDValue &Index) { | 
| Scott Michel | c6918c1 | 2008-11-21 02:56:16 +0000 | [diff] [blame] | 674 | if (!SelectAFormAddr(Op, N, Base, Index) | 
|  | 675 | && !SelectDFormAddr(Op, N, Base, Index)) { | 
| Scott Michel | 910046d | 2008-11-25 17:29:43 +0000 | [diff] [blame] | 676 | // If the address is neither A-form or D-form, punt and use an X-form | 
|  | 677 | // address: | 
| Scott Michel | 08a4e20 | 2008-12-01 17:56:02 +0000 | [diff] [blame] | 678 | Base = N.getOperand(1); | 
|  | 679 | Index = N.getOperand(0); | 
| Scott Michel | 8e17d02 | 2008-11-25 04:03:47 +0000 | [diff] [blame] | 680 | return true; | 
| Scott Michel | c6918c1 | 2008-11-21 02:56:16 +0000 | [diff] [blame] | 681 | } | 
|  | 682 |  | 
|  | 683 | return false; | 
| Scott Michel | e4d3e3c | 2008-01-17 20:38:41 +0000 | [diff] [blame] | 684 | } | 
|  | 685 |  | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 686 | //! Convert the operand from a target-independent to a target-specific node | 
|  | 687 | /*! | 
|  | 688 | */ | 
|  | 689 | SDNode * | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 690 | SPUDAGToDAGISel::Select(SDValue Op) { | 
| Gabor Greif | f304a7a | 2008-08-28 21:40:38 +0000 | [diff] [blame] | 691 | SDNode *N = Op.getNode(); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 692 | unsigned Opc = N->getOpcode(); | 
| Scott Michel | e4d3e3c | 2008-01-17 20:38:41 +0000 | [diff] [blame] | 693 | int n_ops = -1; | 
|  | 694 | unsigned NewOpc; | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 695 | EVT OpVT = Op.getValueType(); | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 696 | SDValue Ops[8]; | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 697 | DebugLoc dl = N->getDebugLoc(); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 698 |  | 
| Dan Gohman | 1705968 | 2008-07-17 19:10:17 +0000 | [diff] [blame] | 699 | if (N->isMachineOpcode()) { | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 700 | return NULL;   // Already selected. | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 701 | } | 
|  | 702 |  | 
|  | 703 | if (Opc == ISD::FrameIndex) { | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 704 | int FI = cast<FrameIndexSDNode>(N)->getIndex(); | 
|  | 705 | SDValue TFI = CurDAG->getTargetFrameIndex(FI, Op.getValueType()); | 
|  | 706 | SDValue Imm0 = CurDAG->getTargetConstant(0, Op.getValueType()); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 707 |  | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 708 | if (FI < 128) { | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 709 | NewOpc = SPU::AIr32; | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 710 | Ops[0] = TFI; | 
|  | 711 | Ops[1] = Imm0; | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 712 | n_ops = 2; | 
|  | 713 | } else { | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 714 | NewOpc = SPU::Ar32; | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 715 | Ops[0] = CurDAG->getRegister(SPU::R1, Op.getValueType()); | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 716 | Ops[1] = SDValue(CurDAG->getTargetNode(SPU::ILAr32, dl, Op.getValueType(), | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 717 | TFI, Imm0), 0); | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 718 | n_ops = 2; | 
| Scott Michel | c3a1910 | 2008-04-30 00:30:08 +0000 | [diff] [blame] | 719 | } | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 720 | } else if (Opc == ISD::Constant && OpVT == MVT::i64) { | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 721 | // Catch the i64 constants that end up here. Note: The backend doesn't | 
|  | 722 | // attempt to legalize the constant (it's useless because DAGCombiner | 
|  | 723 | // will insert 64-bit constants and we can't stop it). | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 724 | return SelectI64Constant(Op, OpVT, Op.getDebugLoc()); | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 725 | } else if ((Opc == ISD::ZERO_EXTEND || Opc == ISD::ANY_EXTEND) | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 726 | && OpVT == MVT::i64) { | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 727 | SDValue Op0 = Op.getOperand(0); | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 728 | EVT Op0VT = Op0.getValueType(); | 
| Owen Anderson | 117c9e8 | 2009-08-12 00:36:31 +0000 | [diff] [blame] | 729 | EVT Op0VecVT = EVT::getVectorVT(*CurDAG->getContext(), | 
|  | 730 | Op0VT, (128 / Op0VT.getSizeInBits())); | 
|  | 731 | EVT OpVecVT = EVT::getVectorVT(*CurDAG->getContext(), | 
|  | 732 | OpVT, (128 / OpVT.getSizeInBits())); | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 733 | SDValue shufMask; | 
| Scott Michel | e4d3e3c | 2008-01-17 20:38:41 +0000 | [diff] [blame] | 734 |  | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 735 | switch (Op0VT.getSimpleVT().SimpleTy) { | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 736 | default: | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 737 | llvm_report_error("CellSPU Select: Unhandled zero/any extend EVT"); | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 738 | /*NOTREACHED*/ | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 739 | case MVT::i32: | 
|  | 740 | shufMask = CurDAG->getNode(ISD::BUILD_VECTOR, dl, MVT::v4i32, | 
|  | 741 | CurDAG->getConstant(0x80808080, MVT::i32), | 
|  | 742 | CurDAG->getConstant(0x00010203, MVT::i32), | 
|  | 743 | CurDAG->getConstant(0x80808080, MVT::i32), | 
|  | 744 | CurDAG->getConstant(0x08090a0b, MVT::i32)); | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 745 | break; | 
|  | 746 |  | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 747 | case MVT::i16: | 
|  | 748 | shufMask = CurDAG->getNode(ISD::BUILD_VECTOR, dl, MVT::v4i32, | 
|  | 749 | CurDAG->getConstant(0x80808080, MVT::i32), | 
|  | 750 | CurDAG->getConstant(0x80800203, MVT::i32), | 
|  | 751 | CurDAG->getConstant(0x80808080, MVT::i32), | 
|  | 752 | CurDAG->getConstant(0x80800a0b, MVT::i32)); | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 753 | break; | 
|  | 754 |  | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 755 | case MVT::i8: | 
|  | 756 | shufMask = CurDAG->getNode(ISD::BUILD_VECTOR, dl, MVT::v4i32, | 
|  | 757 | CurDAG->getConstant(0x80808080, MVT::i32), | 
|  | 758 | CurDAG->getConstant(0x80808003, MVT::i32), | 
|  | 759 | CurDAG->getConstant(0x80808080, MVT::i32), | 
|  | 760 | CurDAG->getConstant(0x8080800b, MVT::i32)); | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 761 | break; | 
| Scott Michel | e4d3e3c | 2008-01-17 20:38:41 +0000 | [diff] [blame] | 762 | } | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 763 |  | 
|  | 764 | SDNode *shufMaskLoad = emitBuildVector(shufMask); | 
|  | 765 | SDNode *PromoteScalar = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 766 | SelectCode(CurDAG->getNode(SPUISD::PREFSLOT2VEC, dl, Op0VecVT, Op0)); | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 767 |  | 
|  | 768 | SDValue zextShuffle = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 769 | CurDAG->getNode(SPUISD::SHUFB, dl, OpVecVT, | 
| Scott Michel | ed7d79f | 2009-01-21 04:58:48 +0000 | [diff] [blame] | 770 | SDValue(PromoteScalar, 0), | 
|  | 771 | SDValue(PromoteScalar, 0), | 
|  | 772 | SDValue(shufMaskLoad, 0)); | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 773 |  | 
|  | 774 | // N.B.: BIT_CONVERT replaces and updates the zextShuffle node, so we | 
|  | 775 | // re-use it in the VEC2PREFSLOT selection without needing to explicitly | 
|  | 776 | // call SelectCode (it's already done for us.) | 
| Dale Johannesen | 4ea5262 | 2009-02-07 00:56:46 +0000 | [diff] [blame] | 777 | SelectCode(CurDAG->getNode(ISD::BIT_CONVERT, dl, OpVecVT, zextShuffle)); | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 778 | return SelectCode(CurDAG->getNode(SPUISD::VEC2PREFSLOT, dl, OpVT, | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 779 | zextShuffle)); | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 780 | } else if (Opc == ISD::ADD && (OpVT == MVT::i64 || OpVT == MVT::v2i64)) { | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 781 | SDNode *CGLoad = | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 782 | emitBuildVector(getCarryGenerateShufMask(*CurDAG, dl)); | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 783 |  | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 784 | return SelectCode(CurDAG->getNode(SPUISD::ADD64_MARKER, dl, OpVT, | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 785 | Op.getOperand(0), Op.getOperand(1), | 
|  | 786 | SDValue(CGLoad, 0))); | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 787 | } else if (Opc == ISD::SUB && (OpVT == MVT::i64 || OpVT == MVT::v2i64)) { | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 788 | SDNode *CGLoad = | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 789 | emitBuildVector(getBorrowGenerateShufMask(*CurDAG, dl)); | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 790 |  | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 791 | return SelectCode(CurDAG->getNode(SPUISD::SUB64_MARKER, dl, OpVT, | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 792 | Op.getOperand(0), Op.getOperand(1), | 
|  | 793 | SDValue(CGLoad, 0))); | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 794 | } else if (Opc == ISD::MUL && (OpVT == MVT::i64 || OpVT == MVT::v2i64)) { | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 795 | SDNode *CGLoad = | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 796 | emitBuildVector(getCarryGenerateShufMask(*CurDAG, dl)); | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 797 |  | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 798 | return SelectCode(CurDAG->getNode(SPUISD::MUL64_MARKER, dl, OpVT, | 
| Scott Michel | a292fc6 | 2009-01-15 04:41:47 +0000 | [diff] [blame] | 799 | Op.getOperand(0), Op.getOperand(1), | 
|  | 800 | SDValue(CGLoad, 0))); | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 801 | } else if (Opc == ISD::TRUNCATE) { | 
|  | 802 | SDValue Op0 = Op.getOperand(0); | 
|  | 803 | if ((Op0.getOpcode() == ISD::SRA || Op0.getOpcode() == ISD::SRL) | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 804 | && OpVT == MVT::i32 | 
|  | 805 | && Op0.getValueType() == MVT::i64) { | 
| Scott Michel | 4948318 | 2009-01-26 22:33:37 +0000 | [diff] [blame] | 806 | // Catch (truncate:i32 ([sra|srl]:i64 arg, c), where c >= 32 | 
|  | 807 | // | 
|  | 808 | // Take advantage of the fact that the upper 32 bits are in the | 
|  | 809 | // i32 preferred slot and avoid shuffle gymnastics: | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 810 | ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Op0.getOperand(1)); | 
|  | 811 | if (CN != 0) { | 
|  | 812 | unsigned shift_amt = unsigned(CN->getZExtValue()); | 
| Scott Michel | ed7d79f | 2009-01-21 04:58:48 +0000 | [diff] [blame] | 813 |  | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 814 | if (shift_amt >= 32) { | 
|  | 815 | SDNode *hi32 = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 816 | CurDAG->getTargetNode(SPU::ORr32_r64, dl, OpVT, | 
|  | 817 | Op0.getOperand(0)); | 
| Scott Michel | ed7d79f | 2009-01-21 04:58:48 +0000 | [diff] [blame] | 818 |  | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 819 | shift_amt -= 32; | 
|  | 820 | if (shift_amt > 0) { | 
|  | 821 | // Take care of the additional shift, if present: | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 822 | SDValue shift = CurDAG->getTargetConstant(shift_amt, MVT::i32); | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 823 | unsigned Opc = SPU::ROTMAIr32_i32; | 
| Scott Michel | 4948318 | 2009-01-26 22:33:37 +0000 | [diff] [blame] | 824 |  | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 825 | if (Op0.getOpcode() == ISD::SRL) | 
|  | 826 | Opc = SPU::ROTMr32; | 
| Scott Michel | ed7d79f | 2009-01-21 04:58:48 +0000 | [diff] [blame] | 827 |  | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 828 | hi32 = CurDAG->getTargetNode(Opc, dl, OpVT, SDValue(hi32, 0), | 
|  | 829 | shift); | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 830 | } | 
|  | 831 |  | 
|  | 832 | return hi32; | 
|  | 833 | } | 
|  | 834 | } | 
|  | 835 | } | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 836 | } else if (Opc == ISD::SHL) { | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 837 | if (OpVT == MVT::i64) { | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 838 | return SelectSHLi64(Op, OpVT); | 
|  | 839 | } | 
|  | 840 | } else if (Opc == ISD::SRL) { | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 841 | if (OpVT == MVT::i64) { | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 842 | return SelectSRLi64(Op, OpVT); | 
|  | 843 | } | 
|  | 844 | } else if (Opc == ISD::SRA) { | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 845 | if (OpVT == MVT::i64) { | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 846 | return SelectSRAi64(Op, OpVT); | 
|  | 847 | } | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 848 | } else if (Opc == ISD::FNEG | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 849 | && (OpVT == MVT::f64 || OpVT == MVT::v2f64)) { | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 850 | DebugLoc dl = Op.getDebugLoc(); | 
|  | 851 | // Check if the pattern is a special form of DFNMS: | 
|  | 852 | // (fneg (fsub (fmul R64FP:$rA, R64FP:$rB), R64FP:$rC)) | 
|  | 853 | SDValue Op0 = Op.getOperand(0); | 
|  | 854 | if (Op0.getOpcode() == ISD::FSUB) { | 
|  | 855 | SDValue Op00 = Op0.getOperand(0); | 
|  | 856 | if (Op00.getOpcode() == ISD::FMUL) { | 
|  | 857 | unsigned Opc = SPU::DFNMSf64; | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 858 | if (OpVT == MVT::v2f64) | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 859 | Opc = SPU::DFNMSv2f64; | 
|  | 860 |  | 
|  | 861 | return CurDAG->getTargetNode(Opc, dl, OpVT, | 
|  | 862 | Op00.getOperand(0), | 
|  | 863 | Op00.getOperand(1), | 
|  | 864 | Op0.getOperand(1)); | 
|  | 865 | } | 
|  | 866 | } | 
|  | 867 |  | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 868 | SDValue negConst = CurDAG->getConstant(0x8000000000000000ULL, MVT::i64); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 869 | SDNode *signMask = 0; | 
| Scott Michel | df52d3d | 2009-03-17 16:45:16 +0000 | [diff] [blame] | 870 | unsigned Opc = SPU::XORfneg64; | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 871 |  | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 872 | if (OpVT == MVT::f64) { | 
|  | 873 | signMask = SelectI64Constant(negConst, MVT::i64, dl); | 
|  | 874 | } else if (OpVT == MVT::v2f64) { | 
| Scott Michel | df52d3d | 2009-03-17 16:45:16 +0000 | [diff] [blame] | 875 | Opc = SPU::XORfnegvec; | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 876 | signMask = emitBuildVector(CurDAG->getNode(ISD::BUILD_VECTOR, dl, | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 877 | MVT::v2i64, | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 878 | negConst, negConst)); | 
|  | 879 | } | 
|  | 880 |  | 
|  | 881 | return CurDAG->getTargetNode(Opc, dl, OpVT, | 
| Bill Wendling | 09f17a8 | 2009-05-30 01:09:53 +0000 | [diff] [blame] | 882 | Op.getOperand(0), SDValue(signMask, 0)); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 883 | } else if (Opc == ISD::FABS) { | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 884 | if (OpVT == MVT::f64) { | 
|  | 885 | SDNode *signMask = SelectI64Constant(0x7fffffffffffffffULL, MVT::i64, dl); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 886 | return CurDAG->getTargetNode(SPU::ANDfabs64, dl, OpVT, | 
|  | 887 | Op.getOperand(0), SDValue(signMask, 0)); | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 888 | } else if (OpVT == MVT::v2f64) { | 
|  | 889 | SDValue absConst = CurDAG->getConstant(0x7fffffffffffffffULL, MVT::i64); | 
|  | 890 | SDValue absVec = CurDAG->getNode(ISD::BUILD_VECTOR, dl, MVT::v2i64, | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 891 | absConst, absConst); | 
|  | 892 | SDNode *signMask = emitBuildVector(absVec); | 
|  | 893 | return CurDAG->getTargetNode(SPU::ANDfabsvec, dl, OpVT, | 
|  | 894 | Op.getOperand(0), SDValue(signMask, 0)); | 
|  | 895 | } | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 896 | } else if (Opc == SPUISD::LDRESULT) { | 
|  | 897 | // Custom select instructions for LDRESULT | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 898 | EVT VT = N->getValueType(0); | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 899 | SDValue Arg = N->getOperand(0); | 
|  | 900 | SDValue Chain = N->getOperand(1); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 901 | SDNode *Result; | 
| Scott Michel | 7d5eaec | 2008-02-23 18:41:37 +0000 | [diff] [blame] | 902 | const valtype_map_s *vtm = getValueTypeMapEntry(VT); | 
|  | 903 |  | 
|  | 904 | if (vtm->ldresult_ins == 0) { | 
| Torok Edwin | fb8d6d5 | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 905 | std::string msg; | 
|  | 906 | raw_string_ostream Msg(msg); | 
|  | 907 | Msg << "LDRESULT for unsupported type: " | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 908 | << VT.getEVTString(); | 
| Torok Edwin | fb8d6d5 | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 909 | llvm_report_error(Msg.str()); | 
| Scott Michel | 7d5eaec | 2008-02-23 18:41:37 +0000 | [diff] [blame] | 910 | } | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 911 |  | 
| Scott Michel | 7d5eaec | 2008-02-23 18:41:37 +0000 | [diff] [blame] | 912 | Opc = vtm->ldresult_ins; | 
|  | 913 | if (vtm->ldresult_imm) { | 
| Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 914 | SDValue Zero = CurDAG->getTargetConstant(0, VT); | 
| Scott Michel | 5f1470f | 2007-12-20 00:44:13 +0000 | [diff] [blame] | 915 |  | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 916 | Result = CurDAG->getTargetNode(Opc, dl, VT, MVT::Other, Arg, Zero, Chain); | 
| Scott Michel | 5f1470f | 2007-12-20 00:44:13 +0000 | [diff] [blame] | 917 | } else { | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 918 | Result = CurDAG->getTargetNode(Opc, dl, VT, MVT::Other, Arg, Arg, Chain); | 
| Scott Michel | 5f1470f | 2007-12-20 00:44:13 +0000 | [diff] [blame] | 919 | } | 
|  | 920 |  | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 921 | return Result; | 
| Scott Michel | ceae3bb | 2008-01-29 02:16:57 +0000 | [diff] [blame] | 922 | } else if (Opc == SPUISD::IndirectAddr) { | 
| Scott Michel | 8233527 | 2008-12-27 04:51:36 +0000 | [diff] [blame] | 923 | // Look at the operands: SelectCode() will catch the cases that aren't | 
|  | 924 | // specifically handled here. | 
|  | 925 | // | 
|  | 926 | // SPUInstrInfo catches the following patterns: | 
|  | 927 | // (SPUindirect (SPUhi ...), (SPUlo ...)) | 
|  | 928 | // (SPUindirect $sp, imm) | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 929 | EVT VT = Op.getValueType(); | 
| Scott Michel | 8233527 | 2008-12-27 04:51:36 +0000 | [diff] [blame] | 930 | SDValue Op0 = N->getOperand(0); | 
|  | 931 | SDValue Op1 = N->getOperand(1); | 
|  | 932 | RegisterSDNode *RN; | 
| Scott Michel | e4d3e3c | 2008-01-17 20:38:41 +0000 | [diff] [blame] | 933 |  | 
| Scott Michel | 8233527 | 2008-12-27 04:51:36 +0000 | [diff] [blame] | 934 | if ((Op0.getOpcode() != SPUISD::Hi && Op1.getOpcode() != SPUISD::Lo) | 
|  | 935 | || (Op0.getOpcode() == ISD::Register | 
|  | 936 | && ((RN = dyn_cast<RegisterSDNode>(Op0.getNode())) != 0 | 
|  | 937 | && RN->getReg() != SPU::R1))) { | 
|  | 938 | NewOpc = SPU::Ar32; | 
| Scott Michel | e4d3e3c | 2008-01-17 20:38:41 +0000 | [diff] [blame] | 939 | if (Op1.getOpcode() == ISD::Constant) { | 
|  | 940 | ConstantSDNode *CN = cast<ConstantSDNode>(Op1); | 
| Scott Michel | 8233527 | 2008-12-27 04:51:36 +0000 | [diff] [blame] | 941 | Op1 = CurDAG->getTargetConstant(CN->getSExtValue(), VT); | 
| Scott Michel | bb713ae | 2008-01-30 02:55:46 +0000 | [diff] [blame] | 942 | NewOpc = (isI32IntS10Immediate(CN) ? SPU::AIr32 : SPU::Ar32); | 
| Scott Michel | e4d3e3c | 2008-01-17 20:38:41 +0000 | [diff] [blame] | 943 | } | 
| Scott Michel | 8233527 | 2008-12-27 04:51:36 +0000 | [diff] [blame] | 944 | Ops[0] = Op0; | 
|  | 945 | Ops[1] = Op1; | 
|  | 946 | n_ops = 2; | 
| Scott Michel | e4d3e3c | 2008-01-17 20:38:41 +0000 | [diff] [blame] | 947 | } | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 948 | } | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 949 |  | 
| Scott Michel | e4d3e3c | 2008-01-17 20:38:41 +0000 | [diff] [blame] | 950 | if (n_ops > 0) { | 
|  | 951 | if (N->hasOneUse()) | 
|  | 952 | return CurDAG->SelectNodeTo(N, NewOpc, OpVT, Ops, n_ops); | 
|  | 953 | else | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 954 | return CurDAG->getTargetNode(NewOpc, dl, OpVT, Ops, n_ops); | 
| Scott Michel | e4d3e3c | 2008-01-17 20:38:41 +0000 | [diff] [blame] | 955 | } else | 
|  | 956 | return SelectCode(Op); | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 957 | } | 
|  | 958 |  | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 959 | /*! | 
|  | 960 | * Emit the instruction sequence for i64 left shifts. The basic algorithm | 
|  | 961 | * is to fill the bottom two word slots with zeros so that zeros are shifted | 
|  | 962 | * in as the entire quadword is shifted left. | 
|  | 963 | * | 
|  | 964 | * \note This code could also be used to implement v2i64 shl. | 
|  | 965 | * | 
|  | 966 | * @param Op The shl operand | 
|  | 967 | * @param OpVT Op's machine value value type (doesn't need to be passed, but | 
|  | 968 | * makes life easier.) | 
|  | 969 | * @return The SDNode with the entire instruction sequence | 
|  | 970 | */ | 
|  | 971 | SDNode * | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 972 | SPUDAGToDAGISel::SelectSHLi64(SDValue &Op, EVT OpVT) { | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 973 | SDValue Op0 = Op.getOperand(0); | 
| Owen Anderson | 117c9e8 | 2009-08-12 00:36:31 +0000 | [diff] [blame] | 974 | EVT VecVT = EVT::getVectorVT(*CurDAG->getContext(), | 
|  | 975 | OpVT, (128 / OpVT.getSizeInBits())); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 976 | SDValue ShiftAmt = Op.getOperand(1); | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 977 | EVT ShiftAmtVT = ShiftAmt.getValueType(); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 978 | SDNode *VecOp0, *SelMask, *ZeroFill, *Shift = 0; | 
|  | 979 | SDValue SelMaskVal; | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 980 | DebugLoc dl = Op.getDebugLoc(); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 981 |  | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 982 | VecOp0 = CurDAG->getTargetNode(SPU::ORv2i64_i64, dl, VecVT, Op0); | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 983 | SelMaskVal = CurDAG->getTargetConstant(0xff00ULL, MVT::i16); | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 984 | SelMask = CurDAG->getTargetNode(SPU::FSMBIv2i64, dl, VecVT, SelMaskVal); | 
|  | 985 | ZeroFill = CurDAG->getTargetNode(SPU::ILv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 986 | CurDAG->getTargetConstant(0, OpVT)); | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 987 | VecOp0 = CurDAG->getTargetNode(SPU::SELBv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 988 | SDValue(ZeroFill, 0), | 
|  | 989 | SDValue(VecOp0, 0), | 
|  | 990 | SDValue(SelMask, 0)); | 
|  | 991 |  | 
|  | 992 | if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(ShiftAmt)) { | 
|  | 993 | unsigned bytes = unsigned(CN->getZExtValue()) >> 3; | 
|  | 994 | unsigned bits = unsigned(CN->getZExtValue()) & 7; | 
|  | 995 |  | 
|  | 996 | if (bytes > 0) { | 
|  | 997 | Shift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 998 | CurDAG->getTargetNode(SPU::SHLQBYIv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 999 | SDValue(VecOp0, 0), | 
|  | 1000 | CurDAG->getTargetConstant(bytes, ShiftAmtVT)); | 
|  | 1001 | } | 
|  | 1002 |  | 
|  | 1003 | if (bits > 0) { | 
|  | 1004 | Shift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1005 | CurDAG->getTargetNode(SPU::SHLQBIIv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1006 | SDValue((Shift != 0 ? Shift : VecOp0), 0), | 
|  | 1007 | CurDAG->getTargetConstant(bits, ShiftAmtVT)); | 
|  | 1008 | } | 
|  | 1009 | } else { | 
|  | 1010 | SDNode *Bytes = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1011 | CurDAG->getTargetNode(SPU::ROTMIr32, dl, ShiftAmtVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1012 | ShiftAmt, | 
|  | 1013 | CurDAG->getTargetConstant(3, ShiftAmtVT)); | 
|  | 1014 | SDNode *Bits = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1015 | CurDAG->getTargetNode(SPU::ANDIr32, dl, ShiftAmtVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1016 | ShiftAmt, | 
|  | 1017 | CurDAG->getTargetConstant(7, ShiftAmtVT)); | 
|  | 1018 | Shift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1019 | CurDAG->getTargetNode(SPU::SHLQBYv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1020 | SDValue(VecOp0, 0), SDValue(Bytes, 0)); | 
|  | 1021 | Shift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1022 | CurDAG->getTargetNode(SPU::SHLQBIv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1023 | SDValue(Shift, 0), SDValue(Bits, 0)); | 
|  | 1024 | } | 
|  | 1025 |  | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1026 | return CurDAG->getTargetNode(SPU::ORi64_v2i64, dl, OpVT, SDValue(Shift, 0)); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1027 | } | 
|  | 1028 |  | 
|  | 1029 | /*! | 
|  | 1030 | * Emit the instruction sequence for i64 logical right shifts. | 
|  | 1031 | * | 
|  | 1032 | * @param Op The shl operand | 
|  | 1033 | * @param OpVT Op's machine value value type (doesn't need to be passed, but | 
|  | 1034 | * makes life easier.) | 
|  | 1035 | * @return The SDNode with the entire instruction sequence | 
|  | 1036 | */ | 
|  | 1037 | SDNode * | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 1038 | SPUDAGToDAGISel::SelectSRLi64(SDValue &Op, EVT OpVT) { | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1039 | SDValue Op0 = Op.getOperand(0); | 
| Owen Anderson | 117c9e8 | 2009-08-12 00:36:31 +0000 | [diff] [blame] | 1040 | EVT VecVT = EVT::getVectorVT(*CurDAG->getContext(), | 
|  | 1041 | OpVT, (128 / OpVT.getSizeInBits())); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1042 | SDValue ShiftAmt = Op.getOperand(1); | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 1043 | EVT ShiftAmtVT = ShiftAmt.getValueType(); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1044 | SDNode *VecOp0, *Shift = 0; | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1045 | DebugLoc dl = Op.getDebugLoc(); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1046 |  | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1047 | VecOp0 = CurDAG->getTargetNode(SPU::ORv2i64_i64, dl, VecVT, Op0); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1048 |  | 
|  | 1049 | if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(ShiftAmt)) { | 
|  | 1050 | unsigned bytes = unsigned(CN->getZExtValue()) >> 3; | 
|  | 1051 | unsigned bits = unsigned(CN->getZExtValue()) & 7; | 
|  | 1052 |  | 
|  | 1053 | if (bytes > 0) { | 
|  | 1054 | Shift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1055 | CurDAG->getTargetNode(SPU::ROTQMBYIv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1056 | SDValue(VecOp0, 0), | 
|  | 1057 | CurDAG->getTargetConstant(bytes, ShiftAmtVT)); | 
|  | 1058 | } | 
|  | 1059 |  | 
|  | 1060 | if (bits > 0) { | 
|  | 1061 | Shift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1062 | CurDAG->getTargetNode(SPU::ROTQMBIIv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1063 | SDValue((Shift != 0 ? Shift : VecOp0), 0), | 
|  | 1064 | CurDAG->getTargetConstant(bits, ShiftAmtVT)); | 
|  | 1065 | } | 
|  | 1066 | } else { | 
|  | 1067 | SDNode *Bytes = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1068 | CurDAG->getTargetNode(SPU::ROTMIr32, dl, ShiftAmtVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1069 | ShiftAmt, | 
|  | 1070 | CurDAG->getTargetConstant(3, ShiftAmtVT)); | 
|  | 1071 | SDNode *Bits = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1072 | CurDAG->getTargetNode(SPU::ANDIr32, dl, ShiftAmtVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1073 | ShiftAmt, | 
|  | 1074 | CurDAG->getTargetConstant(7, ShiftAmtVT)); | 
|  | 1075 |  | 
|  | 1076 | // Ensure that the shift amounts are negated! | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1077 | Bytes = CurDAG->getTargetNode(SPU::SFIr32, dl, ShiftAmtVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1078 | SDValue(Bytes, 0), | 
|  | 1079 | CurDAG->getTargetConstant(0, ShiftAmtVT)); | 
|  | 1080 |  | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1081 | Bits = CurDAG->getTargetNode(SPU::SFIr32, dl, ShiftAmtVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1082 | SDValue(Bits, 0), | 
|  | 1083 | CurDAG->getTargetConstant(0, ShiftAmtVT)); | 
|  | 1084 |  | 
|  | 1085 | Shift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1086 | CurDAG->getTargetNode(SPU::ROTQMBYv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1087 | SDValue(VecOp0, 0), SDValue(Bytes, 0)); | 
|  | 1088 | Shift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1089 | CurDAG->getTargetNode(SPU::ROTQMBIv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1090 | SDValue(Shift, 0), SDValue(Bits, 0)); | 
|  | 1091 | } | 
|  | 1092 |  | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1093 | return CurDAG->getTargetNode(SPU::ORi64_v2i64, dl, OpVT, SDValue(Shift, 0)); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1094 | } | 
|  | 1095 |  | 
|  | 1096 | /*! | 
|  | 1097 | * Emit the instruction sequence for i64 arithmetic right shifts. | 
|  | 1098 | * | 
|  | 1099 | * @param Op The shl operand | 
|  | 1100 | * @param OpVT Op's machine value value type (doesn't need to be passed, but | 
|  | 1101 | * makes life easier.) | 
|  | 1102 | * @return The SDNode with the entire instruction sequence | 
|  | 1103 | */ | 
|  | 1104 | SDNode * | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 1105 | SPUDAGToDAGISel::SelectSRAi64(SDValue &Op, EVT OpVT) { | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1106 | // Promote Op0 to vector | 
| Owen Anderson | 117c9e8 | 2009-08-12 00:36:31 +0000 | [diff] [blame] | 1107 | EVT VecVT = EVT::getVectorVT(*CurDAG->getContext(), | 
|  | 1108 | OpVT, (128 / OpVT.getSizeInBits())); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1109 | SDValue ShiftAmt = Op.getOperand(1); | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 1110 | EVT ShiftAmtVT = ShiftAmt.getValueType(); | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1111 | DebugLoc dl = Op.getDebugLoc(); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1112 |  | 
|  | 1113 | SDNode *VecOp0 = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1114 | CurDAG->getTargetNode(SPU::ORv2i64_i64, dl, VecVT, Op.getOperand(0)); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1115 |  | 
|  | 1116 | SDValue SignRotAmt = CurDAG->getTargetConstant(31, ShiftAmtVT); | 
|  | 1117 | SDNode *SignRot = | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 1118 | CurDAG->getTargetNode(SPU::ROTMAIv2i64_i32, dl, MVT::v2i64, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1119 | SDValue(VecOp0, 0), SignRotAmt); | 
|  | 1120 | SDNode *UpperHalfSign = | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 1121 | CurDAG->getTargetNode(SPU::ORi32_v4i32, dl, MVT::i32, SDValue(SignRot, 0)); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1122 |  | 
|  | 1123 | SDNode *UpperHalfSignMask = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1124 | CurDAG->getTargetNode(SPU::FSM64r32, dl, VecVT, SDValue(UpperHalfSign, 0)); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1125 | SDNode *UpperLowerMask = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1126 | CurDAG->getTargetNode(SPU::FSMBIv2i64, dl, VecVT, | 
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 1127 | CurDAG->getTargetConstant(0xff00ULL, MVT::i16)); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1128 | SDNode *UpperLowerSelect = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1129 | CurDAG->getTargetNode(SPU::SELBv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1130 | SDValue(UpperHalfSignMask, 0), | 
|  | 1131 | SDValue(VecOp0, 0), | 
|  | 1132 | SDValue(UpperLowerMask, 0)); | 
|  | 1133 |  | 
|  | 1134 | SDNode *Shift = 0; | 
|  | 1135 |  | 
|  | 1136 | if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(ShiftAmt)) { | 
|  | 1137 | unsigned bytes = unsigned(CN->getZExtValue()) >> 3; | 
|  | 1138 | unsigned bits = unsigned(CN->getZExtValue()) & 7; | 
|  | 1139 |  | 
|  | 1140 | if (bytes > 0) { | 
|  | 1141 | bytes = 31 - bytes; | 
|  | 1142 | Shift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1143 | CurDAG->getTargetNode(SPU::ROTQBYIv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1144 | SDValue(UpperLowerSelect, 0), | 
|  | 1145 | CurDAG->getTargetConstant(bytes, ShiftAmtVT)); | 
|  | 1146 | } | 
|  | 1147 |  | 
|  | 1148 | if (bits > 0) { | 
|  | 1149 | bits = 8 - bits; | 
|  | 1150 | Shift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1151 | CurDAG->getTargetNode(SPU::ROTQBIIv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1152 | SDValue((Shift != 0 ? Shift : UpperLowerSelect), 0), | 
|  | 1153 | CurDAG->getTargetConstant(bits, ShiftAmtVT)); | 
|  | 1154 | } | 
|  | 1155 | } else { | 
|  | 1156 | SDNode *NegShift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1157 | CurDAG->getTargetNode(SPU::SFIr32, dl, ShiftAmtVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1158 | ShiftAmt, CurDAG->getTargetConstant(0, ShiftAmtVT)); | 
|  | 1159 |  | 
|  | 1160 | Shift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1161 | CurDAG->getTargetNode(SPU::ROTQBYBIv2i64_r32, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1162 | SDValue(UpperLowerSelect, 0), SDValue(NegShift, 0)); | 
|  | 1163 | Shift = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1164 | CurDAG->getTargetNode(SPU::ROTQBIv2i64, dl, VecVT, | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1165 | SDValue(Shift, 0), SDValue(NegShift, 0)); | 
|  | 1166 | } | 
|  | 1167 |  | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1168 | return CurDAG->getTargetNode(SPU::ORi64_v2i64, dl, OpVT, SDValue(Shift, 0)); | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1169 | } | 
|  | 1170 |  | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 1171 | /*! | 
|  | 1172 | Do the necessary magic necessary to load a i64 constant | 
|  | 1173 | */ | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 1174 | SDNode *SPUDAGToDAGISel::SelectI64Constant(SDValue& Op, EVT OpVT, | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 1175 | DebugLoc dl) { | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 1176 | ConstantSDNode *CN = cast<ConstantSDNode>(Op.getNode()); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 1177 | return SelectI64Constant(CN->getZExtValue(), OpVT, dl); | 
|  | 1178 | } | 
|  | 1179 |  | 
| Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 1180 | SDNode *SPUDAGToDAGISel::SelectI64Constant(uint64_t Value64, EVT OpVT, | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 1181 | DebugLoc dl) { | 
| Owen Anderson | 117c9e8 | 2009-08-12 00:36:31 +0000 | [diff] [blame] | 1182 | EVT OpVecVT = EVT::getVectorVT(*CurDAG->getContext(), OpVT, 2); | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 1183 | SDValue i64vec = | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 1184 | SPU::LowerV2I64Splat(OpVecVT, *CurDAG, Value64, dl); | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 1185 |  | 
|  | 1186 | // Here's where it gets interesting, because we have to parse out the | 
|  | 1187 | // subtree handed back in i64vec: | 
|  | 1188 |  | 
|  | 1189 | if (i64vec.getOpcode() == ISD::BIT_CONVERT) { | 
|  | 1190 | // The degenerate case where the upper and lower bits in the splat are | 
|  | 1191 | // identical: | 
|  | 1192 | SDValue Op0 = i64vec.getOperand(0); | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 1193 |  | 
| Scott Michel | 4948318 | 2009-01-26 22:33:37 +0000 | [diff] [blame] | 1194 | ReplaceUses(i64vec, Op0); | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1195 | return CurDAG->getTargetNode(SPU::ORi64_v2i64, dl, OpVT, | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 1196 | SDValue(emitBuildVector(Op0), 0)); | 
|  | 1197 | } else if (i64vec.getOpcode() == SPUISD::SHUFB) { | 
|  | 1198 | SDValue lhs = i64vec.getOperand(0); | 
|  | 1199 | SDValue rhs = i64vec.getOperand(1); | 
|  | 1200 | SDValue shufmask = i64vec.getOperand(2); | 
|  | 1201 |  | 
|  | 1202 | if (lhs.getOpcode() == ISD::BIT_CONVERT) { | 
|  | 1203 | ReplaceUses(lhs, lhs.getOperand(0)); | 
|  | 1204 | lhs = lhs.getOperand(0); | 
|  | 1205 | } | 
|  | 1206 |  | 
|  | 1207 | SDNode *lhsNode = (lhs.getNode()->isMachineOpcode() | 
|  | 1208 | ? lhs.getNode() | 
|  | 1209 | : emitBuildVector(lhs)); | 
|  | 1210 |  | 
|  | 1211 | if (rhs.getOpcode() == ISD::BIT_CONVERT) { | 
|  | 1212 | ReplaceUses(rhs, rhs.getOperand(0)); | 
|  | 1213 | rhs = rhs.getOperand(0); | 
|  | 1214 | } | 
|  | 1215 |  | 
|  | 1216 | SDNode *rhsNode = (rhs.getNode()->isMachineOpcode() | 
|  | 1217 | ? rhs.getNode() | 
|  | 1218 | : emitBuildVector(rhs)); | 
| Scott Michel | 4948318 | 2009-01-26 22:33:37 +0000 | [diff] [blame] | 1219 |  | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 1220 | if (shufmask.getOpcode() == ISD::BIT_CONVERT) { | 
|  | 1221 | ReplaceUses(shufmask, shufmask.getOperand(0)); | 
|  | 1222 | shufmask = shufmask.getOperand(0); | 
|  | 1223 | } | 
|  | 1224 |  | 
|  | 1225 | SDNode *shufMaskNode = (shufmask.getNode()->isMachineOpcode() | 
|  | 1226 | ? shufmask.getNode() | 
|  | 1227 | : emitBuildVector(shufmask)); | 
|  | 1228 |  | 
|  | 1229 | SDNode *shufNode = | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1230 | Select(CurDAG->getNode(SPUISD::SHUFB, dl, OpVecVT, | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 1231 | SDValue(lhsNode, 0), SDValue(rhsNode, 0), | 
|  | 1232 | SDValue(shufMaskNode, 0))); | 
|  | 1233 |  | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 1234 | return CurDAG->getTargetNode(SPU::ORi64_v2i64, dl, OpVT, | 
| Dale Johannesen | 9f3f72f | 2009-02-06 01:31:28 +0000 | [diff] [blame] | 1235 | SDValue(shufNode, 0)); | 
| Scott Michel | 839ad0a | 2009-03-17 01:15:45 +0000 | [diff] [blame] | 1236 | } else if (i64vec.getOpcode() == ISD::BUILD_VECTOR) { | 
|  | 1237 | return CurDAG->getTargetNode(SPU::ORi64_v2i64, dl, OpVT, | 
|  | 1238 | SDValue(emitBuildVector(i64vec), 0)); | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 1239 | } else { | 
| Torok Edwin | fb8d6d5 | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 1240 | llvm_report_error("SPUDAGToDAGISel::SelectI64Constant: Unhandled i64vec" | 
|  | 1241 | "condition"); | 
| Scott Michel | 9e3e4a9 | 2009-01-26 03:31:40 +0000 | [diff] [blame] | 1242 | } | 
|  | 1243 | } | 
|  | 1244 |  | 
| Scott Michel | 41236c0 | 2008-12-30 23:28:25 +0000 | [diff] [blame] | 1245 | /// createSPUISelDag - This pass converts a legalized DAG into a | 
| Scott Michel | 6e22c65 | 2007-12-04 22:23:35 +0000 | [diff] [blame] | 1246 | /// SPU-specific DAG, ready for instruction scheduling. | 
|  | 1247 | /// | 
|  | 1248 | FunctionPass *llvm::createSPUISelDag(SPUTargetMachine &TM) { | 
|  | 1249 | return new SPUDAGToDAGISel(TM); | 
|  | 1250 | } |