Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 1 | //===-- SIISelLowering.cpp - SI DAG Lowering Implementation ---------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | /// \file |
| 11 | /// \brief Custom DAG lowering for SI |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
NAKAMURA Takumi | 45e0a83 | 2014-07-20 11:15:07 +0000 | [diff] [blame] | 15 | #ifdef _MSC_VER |
| 16 | // Provide M_PI. |
| 17 | #define _USE_MATH_DEFINES |
| 18 | #include <cmath> |
| 19 | #endif |
| 20 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 21 | #include "SIISelLowering.h" |
Christian Konig | 99ee0f4 | 2013-03-07 09:04:14 +0000 | [diff] [blame] | 22 | #include "AMDGPU.h" |
Matt Arsenault | c791f39 | 2014-06-23 18:00:31 +0000 | [diff] [blame] | 23 | #include "AMDGPUIntrinsicInfo.h" |
Matt Arsenault | 41e2f2b | 2014-02-24 21:01:28 +0000 | [diff] [blame] | 24 | #include "AMDGPUSubtarget.h" |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 25 | #include "SIInstrInfo.h" |
| 26 | #include "SIMachineFunctionInfo.h" |
| 27 | #include "SIRegisterInfo.h" |
Alexey Samsonov | a253bf9 | 2014-08-27 19:36:53 +0000 | [diff] [blame] | 28 | #include "llvm/ADT/BitVector.h" |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/CallingConvLower.h" |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
| 31 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
| 32 | #include "llvm/CodeGen/SelectionDAG.h" |
Benjamin Kramer | d78bb46 | 2013-05-23 17:10:37 +0000 | [diff] [blame] | 33 | #include "llvm/IR/Function.h" |
Matt Arsenault | 364a674 | 2014-06-11 17:50:44 +0000 | [diff] [blame] | 34 | #include "llvm/ADT/SmallString.h" |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 35 | |
| 36 | using namespace llvm; |
| 37 | |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 38 | SITargetLowering::SITargetLowering(TargetMachine &TM, |
| 39 | const AMDGPUSubtarget &STI) |
| 40 | : AMDGPUTargetLowering(TM, STI) { |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 41 | addRegisterClass(MVT::i1, &AMDGPU::VReg_1RegClass); |
Tom Stellard | 436780b | 2014-05-15 14:41:57 +0000 | [diff] [blame] | 42 | addRegisterClass(MVT::i64, &AMDGPU::SReg_64RegClass); |
Christian Konig | 2214f14 | 2013-03-07 09:03:38 +0000 | [diff] [blame] | 43 | |
Christian Konig | 2214f14 | 2013-03-07 09:03:38 +0000 | [diff] [blame] | 44 | addRegisterClass(MVT::v32i8, &AMDGPU::SReg_256RegClass); |
| 45 | addRegisterClass(MVT::v64i8, &AMDGPU::SReg_512RegClass); |
| 46 | |
Tom Stellard | 334b29c | 2014-04-17 21:00:09 +0000 | [diff] [blame] | 47 | addRegisterClass(MVT::i32, &AMDGPU::SReg_32RegClass); |
Tom Stellard | 45c0b3a | 2015-01-07 20:59:25 +0000 | [diff] [blame] | 48 | addRegisterClass(MVT::f32, &AMDGPU::VGPR_32RegClass); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 49 | |
Tom Stellard | 436780b | 2014-05-15 14:41:57 +0000 | [diff] [blame] | 50 | addRegisterClass(MVT::f64, &AMDGPU::VReg_64RegClass); |
| 51 | addRegisterClass(MVT::v2i32, &AMDGPU::SReg_64RegClass); |
| 52 | addRegisterClass(MVT::v2f32, &AMDGPU::VReg_64RegClass); |
Christian Konig | 2214f14 | 2013-03-07 09:03:38 +0000 | [diff] [blame] | 53 | |
Tom Stellard | 436780b | 2014-05-15 14:41:57 +0000 | [diff] [blame] | 54 | addRegisterClass(MVT::v4i32, &AMDGPU::SReg_128RegClass); |
| 55 | addRegisterClass(MVT::v4f32, &AMDGPU::VReg_128RegClass); |
Christian Konig | 2214f14 | 2013-03-07 09:03:38 +0000 | [diff] [blame] | 56 | |
Tom Stellard | f0a2107 | 2014-11-18 20:39:39 +0000 | [diff] [blame] | 57 | addRegisterClass(MVT::v8i32, &AMDGPU::SReg_256RegClass); |
Christian Konig | 2214f14 | 2013-03-07 09:03:38 +0000 | [diff] [blame] | 58 | addRegisterClass(MVT::v8f32, &AMDGPU::VReg_256RegClass); |
| 59 | |
Tom Stellard | f0a2107 | 2014-11-18 20:39:39 +0000 | [diff] [blame] | 60 | addRegisterClass(MVT::v16i32, &AMDGPU::SReg_512RegClass); |
Christian Konig | 2214f14 | 2013-03-07 09:03:38 +0000 | [diff] [blame] | 61 | addRegisterClass(MVT::v16f32, &AMDGPU::VReg_512RegClass); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 62 | |
Eric Christopher | 23a3a7c | 2015-02-26 00:00:24 +0000 | [diff] [blame] | 63 | computeRegisterProperties(STI.getRegisterInfo()); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 64 | |
Christian Konig | 2989ffc | 2013-03-18 11:34:16 +0000 | [diff] [blame] | 65 | setOperationAction(ISD::VECTOR_SHUFFLE, MVT::v8i32, Expand); |
| 66 | setOperationAction(ISD::VECTOR_SHUFFLE, MVT::v8f32, Expand); |
| 67 | setOperationAction(ISD::VECTOR_SHUFFLE, MVT::v16i32, Expand); |
| 68 | setOperationAction(ISD::VECTOR_SHUFFLE, MVT::v16f32, Expand); |
| 69 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 70 | setOperationAction(ISD::ADD, MVT::i32, Legal); |
Matt Arsenault | e8d2146 | 2013-11-18 20:09:40 +0000 | [diff] [blame] | 71 | setOperationAction(ISD::ADDC, MVT::i32, Legal); |
| 72 | setOperationAction(ISD::ADDE, MVT::i32, Legal); |
Matt Arsenault | b8b5153 | 2014-06-23 18:00:38 +0000 | [diff] [blame] | 73 | setOperationAction(ISD::SUBC, MVT::i32, Legal); |
| 74 | setOperationAction(ISD::SUBE, MVT::i32, Legal); |
Aaron Watry | daabb20 | 2013-06-25 13:55:52 +0000 | [diff] [blame] | 75 | |
Matt Arsenault | ad14ce8 | 2014-07-19 18:44:39 +0000 | [diff] [blame] | 76 | setOperationAction(ISD::FSIN, MVT::f32, Custom); |
| 77 | setOperationAction(ISD::FCOS, MVT::f32, Custom); |
| 78 | |
Matt Arsenault | 7c93690 | 2014-10-21 23:01:01 +0000 | [diff] [blame] | 79 | setOperationAction(ISD::FMINNUM, MVT::f64, Legal); |
| 80 | setOperationAction(ISD::FMAXNUM, MVT::f64, Legal); |
| 81 | |
Tom Stellard | 35bb18c | 2013-08-26 15:06:04 +0000 | [diff] [blame] | 82 | // We need to custom lower vector stores from local memory |
Tom Stellard | 35bb18c | 2013-08-26 15:06:04 +0000 | [diff] [blame] | 83 | setOperationAction(ISD::LOAD, MVT::v4i32, Custom); |
Tom Stellard | af77543 | 2013-10-23 00:44:32 +0000 | [diff] [blame] | 84 | setOperationAction(ISD::LOAD, MVT::v8i32, Custom); |
| 85 | setOperationAction(ISD::LOAD, MVT::v16i32, Custom); |
| 86 | |
| 87 | setOperationAction(ISD::STORE, MVT::v8i32, Custom); |
| 88 | setOperationAction(ISD::STORE, MVT::v16i32, Custom); |
Tom Stellard | 35bb18c | 2013-08-26 15:06:04 +0000 | [diff] [blame] | 89 | |
Tom Stellard | 1c8788e | 2014-03-07 20:12:33 +0000 | [diff] [blame] | 90 | setOperationAction(ISD::STORE, MVT::i1, Custom); |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 91 | setOperationAction(ISD::STORE, MVT::v4i32, Custom); |
| 92 | |
Tom Stellard | 0ec134f | 2014-02-04 17:18:40 +0000 | [diff] [blame] | 93 | setOperationAction(ISD::SELECT, MVT::i64, Custom); |
Tom Stellard | da99c6e | 2014-03-24 16:07:30 +0000 | [diff] [blame] | 94 | setOperationAction(ISD::SELECT, MVT::f64, Promote); |
| 95 | AddPromotedToType(ISD::SELECT, MVT::f64, MVT::i64); |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 96 | |
Tom Stellard | 3ca1bfc | 2014-06-10 16:01:22 +0000 | [diff] [blame] | 97 | setOperationAction(ISD::SELECT_CC, MVT::f32, Expand); |
| 98 | setOperationAction(ISD::SELECT_CC, MVT::i32, Expand); |
| 99 | setOperationAction(ISD::SELECT_CC, MVT::i64, Expand); |
| 100 | setOperationAction(ISD::SELECT_CC, MVT::f64, Expand); |
Tom Stellard | 754f80f | 2013-04-05 23:31:51 +0000 | [diff] [blame] | 101 | |
Tom Stellard | 8374720 | 2013-07-18 21:43:53 +0000 | [diff] [blame] | 102 | setOperationAction(ISD::SETCC, MVT::v2i1, Expand); |
| 103 | setOperationAction(ISD::SETCC, MVT::v4i1, Expand); |
| 104 | |
Matt Arsenault | e306a32 | 2014-10-21 16:25:08 +0000 | [diff] [blame] | 105 | setOperationAction(ISD::BSWAP, MVT::i32, Legal); |
| 106 | |
Matt Arsenault | 5dbd5db | 2014-04-22 03:49:30 +0000 | [diff] [blame] | 107 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i1, Legal); |
Matt Arsenault | 4e46665 | 2014-04-16 01:41:30 +0000 | [diff] [blame] | 108 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::v2i1, Custom); |
| 109 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::v4i1, Custom); |
| 110 | |
Matt Arsenault | 5dbd5db | 2014-04-22 03:49:30 +0000 | [diff] [blame] | 111 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i8, Legal); |
Matt Arsenault | 4e46665 | 2014-04-16 01:41:30 +0000 | [diff] [blame] | 112 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::v2i8, Custom); |
| 113 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::v4i8, Custom); |
| 114 | |
Matt Arsenault | 5dbd5db | 2014-04-22 03:49:30 +0000 | [diff] [blame] | 115 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i16, Legal); |
Matt Arsenault | 4e46665 | 2014-04-16 01:41:30 +0000 | [diff] [blame] | 116 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::v2i16, Custom); |
| 117 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::v4i16, Custom); |
| 118 | |
Matt Arsenault | 9481221 | 2014-11-14 18:18:16 +0000 | [diff] [blame] | 119 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i32, Legal); |
Matt Arsenault | 4e46665 | 2014-04-16 01:41:30 +0000 | [diff] [blame] | 120 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::Other, Custom); |
| 121 | |
Tom Stellard | 94593ee | 2013-06-03 17:40:18 +0000 | [diff] [blame] | 122 | setOperationAction(ISD::INTRINSIC_WO_CHAIN, MVT::Other, Custom); |
Tom Stellard | 9fa1791 | 2013-08-14 23:24:45 +0000 | [diff] [blame] | 123 | setOperationAction(ISD::INTRINSIC_WO_CHAIN, MVT::f32, Custom); |
| 124 | setOperationAction(ISD::INTRINSIC_WO_CHAIN, MVT::v16i8, Custom); |
| 125 | setOperationAction(ISD::INTRINSIC_WO_CHAIN, MVT::v4f32, Custom); |
Tom Stellard | 94593ee | 2013-06-03 17:40:18 +0000 | [diff] [blame] | 126 | |
Tom Stellard | afcf12f | 2013-09-12 02:55:14 +0000 | [diff] [blame] | 127 | setOperationAction(ISD::INTRINSIC_VOID, MVT::Other, Custom); |
Matt Arsenault | e54e1c3 | 2014-06-23 18:00:44 +0000 | [diff] [blame] | 128 | setOperationAction(ISD::BRCOND, MVT::Other, Custom); |
Tom Stellard | afcf12f | 2013-09-12 02:55:14 +0000 | [diff] [blame] | 129 | |
Ahmed Bougacha | 2b6917b | 2015-01-08 00:51:32 +0000 | [diff] [blame] | 130 | for (MVT VT : MVT::integer_valuetypes()) { |
Matt Arsenault | bd22342 | 2015-01-14 01:35:17 +0000 | [diff] [blame] | 131 | if (VT == MVT::i64) |
| 132 | continue; |
| 133 | |
Ahmed Bougacha | 2b6917b | 2015-01-08 00:51:32 +0000 | [diff] [blame] | 134 | setLoadExtAction(ISD::SEXTLOAD, VT, MVT::i1, Promote); |
Matt Arsenault | bd22342 | 2015-01-14 01:35:17 +0000 | [diff] [blame] | 135 | setLoadExtAction(ISD::SEXTLOAD, VT, MVT::i8, Legal); |
| 136 | setLoadExtAction(ISD::SEXTLOAD, VT, MVT::i16, Legal); |
Ahmed Bougacha | 2b6917b | 2015-01-08 00:51:32 +0000 | [diff] [blame] | 137 | setLoadExtAction(ISD::SEXTLOAD, VT, MVT::i32, Expand); |
Tom Stellard | 31209cc | 2013-07-15 19:00:09 +0000 | [diff] [blame] | 138 | |
Ahmed Bougacha | 2b6917b | 2015-01-08 00:51:32 +0000 | [diff] [blame] | 139 | setLoadExtAction(ISD::ZEXTLOAD, VT, MVT::i1, Promote); |
Matt Arsenault | bd22342 | 2015-01-14 01:35:17 +0000 | [diff] [blame] | 140 | setLoadExtAction(ISD::ZEXTLOAD, VT, MVT::i8, Legal); |
| 141 | setLoadExtAction(ISD::ZEXTLOAD, VT, MVT::i16, Legal); |
Ahmed Bougacha | 2b6917b | 2015-01-08 00:51:32 +0000 | [diff] [blame] | 142 | setLoadExtAction(ISD::ZEXTLOAD, VT, MVT::i32, Expand); |
Matt Arsenault | 470acd8 | 2014-04-15 22:28:39 +0000 | [diff] [blame] | 143 | |
Ahmed Bougacha | 2b6917b | 2015-01-08 00:51:32 +0000 | [diff] [blame] | 144 | setLoadExtAction(ISD::EXTLOAD, VT, MVT::i1, Promote); |
Matt Arsenault | bd22342 | 2015-01-14 01:35:17 +0000 | [diff] [blame] | 145 | setLoadExtAction(ISD::EXTLOAD, VT, MVT::i8, Legal); |
| 146 | setLoadExtAction(ISD::EXTLOAD, VT, MVT::i16, Legal); |
Ahmed Bougacha | 2b6917b | 2015-01-08 00:51:32 +0000 | [diff] [blame] | 147 | setLoadExtAction(ISD::EXTLOAD, VT, MVT::i32, Expand); |
| 148 | } |
| 149 | |
| 150 | for (MVT VT : MVT::integer_vector_valuetypes()) { |
| 151 | setLoadExtAction(ISD::SEXTLOAD, VT, MVT::v8i16, Expand); |
| 152 | setLoadExtAction(ISD::SEXTLOAD, VT, MVT::v16i16, Expand); |
| 153 | } |
| 154 | |
| 155 | for (MVT VT : MVT::fp_valuetypes()) |
| 156 | setLoadExtAction(ISD::EXTLOAD, VT, MVT::f32, Expand); |
Matt Arsenault | 470acd8 | 2014-04-15 22:28:39 +0000 | [diff] [blame] | 157 | |
Matt Arsenault | 6f24379 | 2013-09-05 19:41:10 +0000 | [diff] [blame] | 158 | setTruncStoreAction(MVT::i64, MVT::i32, Expand); |
Tom Stellard | af77543 | 2013-10-23 00:44:32 +0000 | [diff] [blame] | 159 | setTruncStoreAction(MVT::v8i32, MVT::v8i16, Expand); |
Matt Arsenault | e1ce344 | 2015-07-31 04:12:04 +0000 | [diff] [blame] | 160 | setTruncStoreAction(MVT::v16i32, MVT::v16i8, Expand); |
Tom Stellard | af77543 | 2013-10-23 00:44:32 +0000 | [diff] [blame] | 161 | setTruncStoreAction(MVT::v16i32, MVT::v16i16, Expand); |
Niels Ole Salscheider | 719fbc9 | 2013-08-08 16:06:15 +0000 | [diff] [blame] | 162 | |
Matt Arsenault | 470acd8 | 2014-04-15 22:28:39 +0000 | [diff] [blame] | 163 | setOperationAction(ISD::LOAD, MVT::i1, Custom); |
| 164 | |
Tom Stellard | fd15582 | 2013-08-26 15:05:36 +0000 | [diff] [blame] | 165 | setOperationAction(ISD::GlobalAddress, MVT::i32, Custom); |
Tom Stellard | 04c0e98 | 2014-01-22 19:24:21 +0000 | [diff] [blame] | 166 | setOperationAction(ISD::GlobalAddress, MVT::i64, Custom); |
Matt Arsenault | a98cd6a | 2013-12-19 05:32:55 +0000 | [diff] [blame] | 167 | setOperationAction(ISD::FrameIndex, MVT::i32, Custom); |
Michel Danzer | 49812b5 | 2013-07-10 16:37:07 +0000 | [diff] [blame] | 168 | |
Tom Stellard | 5f33788 | 2014-04-29 23:12:43 +0000 | [diff] [blame] | 169 | // These should use UDIVREM, so set them to expand |
| 170 | setOperationAction(ISD::UDIV, MVT::i64, Expand); |
| 171 | setOperationAction(ISD::UREM, MVT::i64, Expand); |
| 172 | |
Matt Arsenault | 0d89e84 | 2014-07-15 21:44:37 +0000 | [diff] [blame] | 173 | setOperationAction(ISD::SELECT_CC, MVT::i1, Expand); |
| 174 | setOperationAction(ISD::SELECT, MVT::i1, Promote); |
| 175 | |
Benjamin Kramer | 867bfc5 | 2015-03-07 17:41:00 +0000 | [diff] [blame] | 176 | // We only support LOAD/STORE and vector manipulation ops for vectors |
| 177 | // with > 4 elements. |
| 178 | for (MVT VT : {MVT::v8i32, MVT::v8f32, MVT::v16i32, MVT::v16f32}) { |
Tom Stellard | 967bf58 | 2014-02-13 23:34:15 +0000 | [diff] [blame] | 179 | for (unsigned Op = 0; Op < ISD::BUILTIN_OP_END; ++Op) { |
| 180 | switch(Op) { |
| 181 | case ISD::LOAD: |
| 182 | case ISD::STORE: |
| 183 | case ISD::BUILD_VECTOR: |
| 184 | case ISD::BITCAST: |
| 185 | case ISD::EXTRACT_VECTOR_ELT: |
| 186 | case ISD::INSERT_VECTOR_ELT: |
Tom Stellard | 967bf58 | 2014-02-13 23:34:15 +0000 | [diff] [blame] | 187 | case ISD::INSERT_SUBVECTOR: |
| 188 | case ISD::EXTRACT_SUBVECTOR: |
| 189 | break; |
Tom Stellard | c0503db | 2014-08-09 01:06:56 +0000 | [diff] [blame] | 190 | case ISD::CONCAT_VECTORS: |
| 191 | setOperationAction(Op, VT, Custom); |
| 192 | break; |
Tom Stellard | 967bf58 | 2014-02-13 23:34:15 +0000 | [diff] [blame] | 193 | default: |
Matt Arsenault | d504a74 | 2014-05-15 21:44:05 +0000 | [diff] [blame] | 194 | setOperationAction(Op, VT, Expand); |
Tom Stellard | 967bf58 | 2014-02-13 23:34:15 +0000 | [diff] [blame] | 195 | break; |
| 196 | } |
| 197 | } |
| 198 | } |
| 199 | |
Matt Arsenault | 41e2f2b | 2014-02-24 21:01:28 +0000 | [diff] [blame] | 200 | if (Subtarget->getGeneration() >= AMDGPUSubtarget::SEA_ISLANDS) { |
| 201 | setOperationAction(ISD::FTRUNC, MVT::f64, Legal); |
| 202 | setOperationAction(ISD::FCEIL, MVT::f64, Legal); |
Matt Arsenault | a90d22f | 2014-04-17 17:06:37 +0000 | [diff] [blame] | 203 | setOperationAction(ISD::FRINT, MVT::f64, Legal); |
Matt Arsenault | 41e2f2b | 2014-02-24 21:01:28 +0000 | [diff] [blame] | 204 | } |
| 205 | |
Marek Olsak | 7d77728 | 2015-03-24 13:40:15 +0000 | [diff] [blame] | 206 | setOperationAction(ISD::FFLOOR, MVT::f64, Legal); |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 207 | setOperationAction(ISD::FDIV, MVT::f32, Custom); |
Matt Arsenault | 0bbcd8b | 2015-02-14 04:30:08 +0000 | [diff] [blame] | 208 | setOperationAction(ISD::FDIV, MVT::f64, Custom); |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 209 | |
Matt Arsenault | 02cb0ff | 2014-09-29 14:59:34 +0000 | [diff] [blame] | 210 | setTargetDAGCombine(ISD::FADD); |
Matt Arsenault | 8675db1 | 2014-08-29 16:01:14 +0000 | [diff] [blame] | 211 | setTargetDAGCombine(ISD::FSUB); |
Matt Arsenault | cc3c2b3 | 2014-11-14 20:08:52 +0000 | [diff] [blame] | 212 | setTargetDAGCombine(ISD::FMINNUM); |
| 213 | setTargetDAGCombine(ISD::FMAXNUM); |
Matt Arsenault | 5881f4e | 2015-06-09 00:52:37 +0000 | [diff] [blame] | 214 | setTargetDAGCombine(ISD::SMIN); |
| 215 | setTargetDAGCombine(ISD::SMAX); |
| 216 | setTargetDAGCombine(ISD::UMIN); |
| 217 | setTargetDAGCombine(ISD::UMAX); |
Matt Arsenault | 41e2f2b | 2014-02-24 21:01:28 +0000 | [diff] [blame] | 218 | setTargetDAGCombine(ISD::SELECT_CC); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 219 | setTargetDAGCombine(ISD::SETCC); |
Matt Arsenault | d0101a2 | 2015-01-06 23:00:46 +0000 | [diff] [blame] | 220 | setTargetDAGCombine(ISD::AND); |
Matt Arsenault | f229033 | 2015-01-06 23:00:39 +0000 | [diff] [blame] | 221 | setTargetDAGCombine(ISD::OR); |
Matt Arsenault | 364a674 | 2014-06-11 17:50:44 +0000 | [diff] [blame] | 222 | setTargetDAGCombine(ISD::UINT_TO_FP); |
| 223 | |
Matt Arsenault | b2baffa | 2014-08-15 17:49:05 +0000 | [diff] [blame] | 224 | // All memory operations. Some folding on the pointer operand is done to help |
| 225 | // matching the constant offsets in the addressing modes. |
| 226 | setTargetDAGCombine(ISD::LOAD); |
| 227 | setTargetDAGCombine(ISD::STORE); |
| 228 | setTargetDAGCombine(ISD::ATOMIC_LOAD); |
| 229 | setTargetDAGCombine(ISD::ATOMIC_STORE); |
| 230 | setTargetDAGCombine(ISD::ATOMIC_CMP_SWAP); |
| 231 | setTargetDAGCombine(ISD::ATOMIC_CMP_SWAP_WITH_SUCCESS); |
| 232 | setTargetDAGCombine(ISD::ATOMIC_SWAP); |
| 233 | setTargetDAGCombine(ISD::ATOMIC_LOAD_ADD); |
| 234 | setTargetDAGCombine(ISD::ATOMIC_LOAD_SUB); |
| 235 | setTargetDAGCombine(ISD::ATOMIC_LOAD_AND); |
| 236 | setTargetDAGCombine(ISD::ATOMIC_LOAD_OR); |
| 237 | setTargetDAGCombine(ISD::ATOMIC_LOAD_XOR); |
| 238 | setTargetDAGCombine(ISD::ATOMIC_LOAD_NAND); |
| 239 | setTargetDAGCombine(ISD::ATOMIC_LOAD_MIN); |
| 240 | setTargetDAGCombine(ISD::ATOMIC_LOAD_MAX); |
| 241 | setTargetDAGCombine(ISD::ATOMIC_LOAD_UMIN); |
| 242 | setTargetDAGCombine(ISD::ATOMIC_LOAD_UMAX); |
| 243 | |
Christian Konig | eecebd0 | 2013-03-26 14:04:02 +0000 | [diff] [blame] | 244 | setSchedulingPreference(Sched::RegPressure); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 245 | } |
| 246 | |
Tom Stellard | 0125f2a | 2013-06-25 02:39:35 +0000 | [diff] [blame] | 247 | //===----------------------------------------------------------------------===// |
| 248 | // TargetLowering queries |
| 249 | //===----------------------------------------------------------------------===// |
| 250 | |
Matt Arsenault | e306a32 | 2014-10-21 16:25:08 +0000 | [diff] [blame] | 251 | bool SITargetLowering::isShuffleMaskLegal(const SmallVectorImpl<int> &, |
| 252 | EVT) const { |
| 253 | // SI has some legal vector types, but no legal vector operations. Say no |
| 254 | // shuffles are legal in order to prefer scalarizing some vector operations. |
| 255 | return false; |
| 256 | } |
| 257 | |
Tom Stellard | 70580f8 | 2015-07-20 14:28:41 +0000 | [diff] [blame] | 258 | bool SITargetLowering::isLegalFlatAddressingMode(const AddrMode &AM) const { |
| 259 | // Flat instructions do not have offsets, and only have the register |
| 260 | // address. |
| 261 | return AM.BaseOffs == 0 && (AM.Scale == 0 || AM.Scale == 1); |
| 262 | } |
| 263 | |
Matt Arsenault | 711b390 | 2015-08-07 20:18:34 +0000 | [diff] [blame] | 264 | bool SITargetLowering::isLegalMUBUFAddressingMode(const AddrMode &AM) const { |
| 265 | // MUBUF / MTBUF instructions have a 12-bit unsigned byte offset, and |
| 266 | // additionally can do r + r + i with addr64. 32-bit has more addressing |
| 267 | // mode options. Depending on the resource constant, it can also do |
| 268 | // (i64 r0) + (i32 r1) * (i14 i). |
| 269 | // |
| 270 | // Private arrays end up using a scratch buffer most of the time, so also |
| 271 | // assume those use MUBUF instructions. Scratch loads / stores are currently |
| 272 | // implemented as mubuf instructions with offen bit set, so slightly |
| 273 | // different than the normal addr64. |
| 274 | if (!isUInt<12>(AM.BaseOffs)) |
| 275 | return false; |
| 276 | |
| 277 | // FIXME: Since we can split immediate into soffset and immediate offset, |
| 278 | // would it make sense to allow any immediate? |
| 279 | |
| 280 | switch (AM.Scale) { |
| 281 | case 0: // r + i or just i, depending on HasBaseReg. |
| 282 | return true; |
| 283 | case 1: |
| 284 | return true; // We have r + r or r + i. |
| 285 | case 2: |
| 286 | if (AM.HasBaseReg) { |
| 287 | // Reject 2 * r + r. |
| 288 | return false; |
| 289 | } |
| 290 | |
| 291 | // Allow 2 * r as r + r |
| 292 | // Or 2 * r + i is allowed as r + r + i. |
| 293 | return true; |
| 294 | default: // Don't allow n * r |
| 295 | return false; |
| 296 | } |
| 297 | } |
| 298 | |
Mehdi Amini | 0cdec1e | 2015-07-09 02:09:40 +0000 | [diff] [blame] | 299 | bool SITargetLowering::isLegalAddressingMode(const DataLayout &DL, |
| 300 | const AddrMode &AM, Type *Ty, |
| 301 | unsigned AS) const { |
Matt Arsenault | 5015a89 | 2014-08-15 17:17:07 +0000 | [diff] [blame] | 302 | // No global is ever allowed as a base. |
| 303 | if (AM.BaseGV) |
| 304 | return false; |
| 305 | |
Matt Arsenault | 73e06fa | 2015-06-04 16:17:42 +0000 | [diff] [blame] | 306 | switch (AS) { |
Matt Arsenault | 711b390 | 2015-08-07 20:18:34 +0000 | [diff] [blame] | 307 | case AMDGPUAS::GLOBAL_ADDRESS: { |
Tom Stellard | 70580f8 | 2015-07-20 14:28:41 +0000 | [diff] [blame] | 308 | if (Subtarget->getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS) { |
| 309 | // Assume the we will use FLAT for all global memory accesses |
| 310 | // on VI. |
| 311 | // FIXME: This assumption is currently wrong. On VI we still use |
| 312 | // MUBUF instructions for the r + i addressing mode. As currently |
| 313 | // implemented, the MUBUF instructions only work on buffer < 4GB. |
| 314 | // It may be possible to support > 4GB buffers with MUBUF instructions, |
| 315 | // by setting the stride value in the resource descriptor which would |
| 316 | // increase the size limit to (stride * 4GB). However, this is risky, |
| 317 | // because it has never been validated. |
| 318 | return isLegalFlatAddressingMode(AM); |
| 319 | } |
Matt Arsenault | 5015a89 | 2014-08-15 17:17:07 +0000 | [diff] [blame] | 320 | |
Matt Arsenault | 711b390 | 2015-08-07 20:18:34 +0000 | [diff] [blame] | 321 | return isLegalMUBUFAddressingMode(AM); |
Matt Arsenault | 73e06fa | 2015-06-04 16:17:42 +0000 | [diff] [blame] | 322 | } |
Matt Arsenault | 711b390 | 2015-08-07 20:18:34 +0000 | [diff] [blame] | 323 | case AMDGPUAS::CONSTANT_ADDRESS: { |
| 324 | // If the offset isn't a multiple of 4, it probably isn't going to be |
| 325 | // correctly aligned. |
| 326 | if (AM.BaseOffs % 4 != 0) |
| 327 | return isLegalMUBUFAddressingMode(AM); |
| 328 | |
| 329 | // There are no SMRD extloads, so if we have to do a small type access we |
| 330 | // will use a MUBUF load. |
| 331 | // FIXME?: We also need to do this if unaligned, but we don't know the |
| 332 | // alignment here. |
| 333 | if (DL.getTypeStoreSize(Ty) < 4) |
| 334 | return isLegalMUBUFAddressingMode(AM); |
| 335 | |
| 336 | if (Subtarget->getGeneration() == AMDGPUSubtarget::SOUTHERN_ISLANDS) { |
| 337 | // SMRD instructions have an 8-bit, dword offset on SI. |
| 338 | if (!isUInt<8>(AM.BaseOffs / 4)) |
| 339 | return false; |
| 340 | } else if (Subtarget->getGeneration() == AMDGPUSubtarget::SEA_ISLANDS) { |
| 341 | // On CI+, this can also be a 32-bit literal constant offset. If it fits |
| 342 | // in 8-bits, it can use a smaller encoding. |
| 343 | if (!isUInt<32>(AM.BaseOffs / 4)) |
| 344 | return false; |
| 345 | } else if (Subtarget->getGeneration() == AMDGPUSubtarget::VOLCANIC_ISLANDS) { |
| 346 | // On VI, these use the SMEM format and the offset is 20-bit in bytes. |
| 347 | if (!isUInt<20>(AM.BaseOffs)) |
| 348 | return false; |
| 349 | } else |
| 350 | llvm_unreachable("unhandled generation"); |
| 351 | |
| 352 | if (AM.Scale == 0) // r + i or just i, depending on HasBaseReg. |
| 353 | return true; |
| 354 | |
| 355 | if (AM.Scale == 1 && AM.HasBaseReg) |
| 356 | return true; |
| 357 | |
| 358 | return false; |
| 359 | } |
| 360 | |
| 361 | case AMDGPUAS::PRIVATE_ADDRESS: |
| 362 | case AMDGPUAS::UNKNOWN_ADDRESS_SPACE: |
| 363 | return isLegalMUBUFAddressingMode(AM); |
| 364 | |
Matt Arsenault | 73e06fa | 2015-06-04 16:17:42 +0000 | [diff] [blame] | 365 | case AMDGPUAS::LOCAL_ADDRESS: |
| 366 | case AMDGPUAS::REGION_ADDRESS: { |
| 367 | // Basic, single offset DS instructions allow a 16-bit unsigned immediate |
| 368 | // field. |
| 369 | // XXX - If doing a 4-byte aligned 8-byte type access, we effectively have |
| 370 | // an 8-bit dword offset but we don't know the alignment here. |
| 371 | if (!isUInt<16>(AM.BaseOffs)) |
Matt Arsenault | 5015a89 | 2014-08-15 17:17:07 +0000 | [diff] [blame] | 372 | return false; |
Matt Arsenault | 73e06fa | 2015-06-04 16:17:42 +0000 | [diff] [blame] | 373 | |
| 374 | if (AM.Scale == 0) // r + i or just i, depending on HasBaseReg. |
| 375 | return true; |
| 376 | |
| 377 | if (AM.Scale == 1 && AM.HasBaseReg) |
| 378 | return true; |
| 379 | |
Matt Arsenault | 5015a89 | 2014-08-15 17:17:07 +0000 | [diff] [blame] | 380 | return false; |
| 381 | } |
Tom Stellard | 70580f8 | 2015-07-20 14:28:41 +0000 | [diff] [blame] | 382 | case AMDGPUAS::FLAT_ADDRESS: |
| 383 | return isLegalFlatAddressingMode(AM); |
| 384 | |
Matt Arsenault | 73e06fa | 2015-06-04 16:17:42 +0000 | [diff] [blame] | 385 | default: |
| 386 | llvm_unreachable("unhandled address space"); |
| 387 | } |
Matt Arsenault | 5015a89 | 2014-08-15 17:17:07 +0000 | [diff] [blame] | 388 | } |
| 389 | |
Matt Arsenault | e698663 | 2015-01-14 01:35:22 +0000 | [diff] [blame] | 390 | bool SITargetLowering::allowsMisalignedMemoryAccesses(EVT VT, |
Matt Arsenault | 6f2a526 | 2014-07-27 17:46:40 +0000 | [diff] [blame] | 391 | unsigned AddrSpace, |
| 392 | unsigned Align, |
| 393 | bool *IsFast) const { |
Matt Arsenault | 1018c89 | 2014-04-24 17:08:26 +0000 | [diff] [blame] | 394 | if (IsFast) |
| 395 | *IsFast = false; |
| 396 | |
Matt Arsenault | 1018c89 | 2014-04-24 17:08:26 +0000 | [diff] [blame] | 397 | // TODO: I think v3i32 should allow unaligned accesses on CI with DS_READ_B96, |
| 398 | // which isn't a simple VT. |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 399 | if (!VT.isSimple() || VT == MVT::Other) |
| 400 | return false; |
Matt Arsenault | 1018c89 | 2014-04-24 17:08:26 +0000 | [diff] [blame] | 401 | |
Tom Stellard | c6b299c | 2015-02-02 18:02:28 +0000 | [diff] [blame] | 402 | // TODO - CI+ supports unaligned memory accesses, but this requires driver |
| 403 | // support. |
Matt Arsenault | 1018c89 | 2014-04-24 17:08:26 +0000 | [diff] [blame] | 404 | |
Matt Arsenault | 1018c89 | 2014-04-24 17:08:26 +0000 | [diff] [blame] | 405 | // XXX - The only mention I see of this in the ISA manual is for LDS direct |
| 406 | // reads the "byte address and must be dword aligned". Is it also true for the |
| 407 | // normal loads and stores? |
Matt Arsenault | 6f2a526 | 2014-07-27 17:46:40 +0000 | [diff] [blame] | 408 | if (AddrSpace == AMDGPUAS::LOCAL_ADDRESS) { |
| 409 | // ds_read/write_b64 require 8-byte alignment, but we can do a 4 byte |
| 410 | // aligned, 8 byte access in a single operation using ds_read2/write2_b32 |
| 411 | // with adjacent offsets. |
Sanjay Patel | ce74db9 | 2015-09-03 15:03:19 +0000 | [diff] [blame] | 412 | bool AlignedBy4 = (Align % 4 == 0); |
| 413 | if (IsFast) |
| 414 | *IsFast = AlignedBy4; |
| 415 | return AlignedBy4; |
Matt Arsenault | 6f2a526 | 2014-07-27 17:46:40 +0000 | [diff] [blame] | 416 | } |
Matt Arsenault | 1018c89 | 2014-04-24 17:08:26 +0000 | [diff] [blame] | 417 | |
Tom Stellard | 33e64c6 | 2015-02-04 20:49:52 +0000 | [diff] [blame] | 418 | // Smaller than dword value must be aligned. |
| 419 | // FIXME: This should be allowed on CI+ |
| 420 | if (VT.bitsLT(MVT::i32)) |
| 421 | return false; |
| 422 | |
Matt Arsenault | 1018c89 | 2014-04-24 17:08:26 +0000 | [diff] [blame] | 423 | // 8.1.6 - For Dword or larger reads or writes, the two LSBs of the |
| 424 | // byte-address are ignored, thus forcing Dword alignment. |
Tom Stellard | e812f2f | 2014-07-21 15:45:06 +0000 | [diff] [blame] | 425 | // This applies to private, global, and constant memory. |
Matt Arsenault | 1018c89 | 2014-04-24 17:08:26 +0000 | [diff] [blame] | 426 | if (IsFast) |
| 427 | *IsFast = true; |
Tom Stellard | c6b299c | 2015-02-02 18:02:28 +0000 | [diff] [blame] | 428 | |
| 429 | return VT.bitsGT(MVT::i32) && Align % 4 == 0; |
Tom Stellard | 0125f2a | 2013-06-25 02:39:35 +0000 | [diff] [blame] | 430 | } |
| 431 | |
Matt Arsenault | 46645fa | 2014-07-28 17:49:26 +0000 | [diff] [blame] | 432 | EVT SITargetLowering::getOptimalMemOpType(uint64_t Size, unsigned DstAlign, |
| 433 | unsigned SrcAlign, bool IsMemset, |
| 434 | bool ZeroMemset, |
| 435 | bool MemcpyStrSrc, |
| 436 | MachineFunction &MF) const { |
| 437 | // FIXME: Should account for address space here. |
| 438 | |
| 439 | // The default fallback uses the private pointer size as a guess for a type to |
| 440 | // use. Make sure we switch these to 64-bit accesses. |
| 441 | |
| 442 | if (Size >= 16 && DstAlign >= 4) // XXX: Should only do for global |
| 443 | return MVT::v4i32; |
| 444 | |
| 445 | if (Size >= 8 && DstAlign >= 4) |
| 446 | return MVT::v2i32; |
| 447 | |
| 448 | // Use the default. |
| 449 | return MVT::Other; |
| 450 | } |
| 451 | |
Chandler Carruth | 9d010ff | 2014-07-03 00:23:43 +0000 | [diff] [blame] | 452 | TargetLoweringBase::LegalizeTypeAction |
| 453 | SITargetLowering::getPreferredVectorAction(EVT VT) const { |
| 454 | if (VT.getVectorNumElements() != 1 && VT.getScalarType().bitsLE(MVT::i16)) |
| 455 | return TypeSplitVector; |
| 456 | |
| 457 | return TargetLoweringBase::getPreferredVectorAction(VT); |
Tom Stellard | d86003e | 2013-08-14 23:25:00 +0000 | [diff] [blame] | 458 | } |
Tom Stellard | 0125f2a | 2013-06-25 02:39:35 +0000 | [diff] [blame] | 459 | |
Matt Arsenault | d7bdcc4 | 2014-03-31 19:54:27 +0000 | [diff] [blame] | 460 | bool SITargetLowering::shouldConvertConstantLoadToIntImm(const APInt &Imm, |
| 461 | Type *Ty) const { |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 462 | const SIInstrInfo *TII = |
| 463 | static_cast<const SIInstrInfo *>(Subtarget->getInstrInfo()); |
Matt Arsenault | d7bdcc4 | 2014-03-31 19:54:27 +0000 | [diff] [blame] | 464 | return TII->isInlineConstant(Imm); |
| 465 | } |
| 466 | |
Tom Stellard | af77543 | 2013-10-23 00:44:32 +0000 | [diff] [blame] | 467 | SDValue SITargetLowering::LowerParameter(SelectionDAG &DAG, EVT VT, EVT MemVT, |
Matt Arsenault | 86033ca | 2014-07-28 17:31:39 +0000 | [diff] [blame] | 468 | SDLoc SL, SDValue Chain, |
Matt Arsenault | e1f030c | 2014-04-11 20:59:54 +0000 | [diff] [blame] | 469 | unsigned Offset, bool Signed) const { |
Mehdi Amini | a749f2a | 2015-07-09 02:09:52 +0000 | [diff] [blame] | 470 | const DataLayout &DL = DAG.getDataLayout(); |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 471 | MachineFunction &MF = DAG.getMachineFunction(); |
| 472 | const SIRegisterInfo *TRI = |
| 473 | static_cast<const SIRegisterInfo*>(Subtarget->getRegisterInfo()); |
| 474 | unsigned InputPtrReg = TRI->getPreloadedValue(MF, SIRegisterInfo::INPUT_PTR); |
Tom Stellard | 94593ee | 2013-06-03 17:40:18 +0000 | [diff] [blame] | 475 | |
Matt Arsenault | 86033ca | 2014-07-28 17:31:39 +0000 | [diff] [blame] | 476 | Type *Ty = VT.getTypeForEVT(*DAG.getContext()); |
| 477 | |
| 478 | MachineRegisterInfo &MRI = DAG.getMachineFunction().getRegInfo(); |
Mehdi Amini | a749f2a | 2015-07-09 02:09:52 +0000 | [diff] [blame] | 479 | MVT PtrVT = getPointerTy(DL, AMDGPUAS::CONSTANT_ADDRESS); |
Matt Arsenault | 86033ca | 2014-07-28 17:31:39 +0000 | [diff] [blame] | 480 | PointerType *PtrTy = PointerType::get(Ty, AMDGPUAS::CONSTANT_ADDRESS); |
Matt Arsenault | a0269b6 | 2015-06-01 21:58:24 +0000 | [diff] [blame] | 481 | SDValue BasePtr = DAG.getCopyFromReg(Chain, SL, |
| 482 | MRI.getLiveInVirtReg(InputPtrReg), PtrVT); |
| 483 | SDValue Ptr = DAG.getNode(ISD::ADD, SL, PtrVT, BasePtr, |
| 484 | DAG.getConstant(Offset, SL, PtrVT)); |
Mehdi Amini | 44ede33 | 2015-07-09 02:09:04 +0000 | [diff] [blame] | 485 | SDValue PtrOffset = DAG.getUNDEF(PtrVT); |
Matt Arsenault | 86033ca | 2014-07-28 17:31:39 +0000 | [diff] [blame] | 486 | MachinePointerInfo PtrInfo(UndefValue::get(PtrTy)); |
| 487 | |
Mehdi Amini | a749f2a | 2015-07-09 02:09:52 +0000 | [diff] [blame] | 488 | unsigned Align = DL.getABITypeAlignment(Ty); |
Matt Arsenault | 81c7ae2 | 2015-06-04 16:00:27 +0000 | [diff] [blame] | 489 | |
Matt Arsenault | 81c7ae2 | 2015-06-04 16:00:27 +0000 | [diff] [blame] | 490 | ISD::LoadExtType ExtTy = Signed ? ISD::SEXTLOAD : ISD::ZEXTLOAD; |
Matt Arsenault | acd68b5 | 2015-09-09 01:12:27 +0000 | [diff] [blame] | 491 | if (MemVT.isFloatingPoint()) |
| 492 | ExtTy = ISD::EXTLOAD; |
| 493 | |
Matt Arsenault | 81c7ae2 | 2015-06-04 16:00:27 +0000 | [diff] [blame] | 494 | return DAG.getLoad(ISD::UNINDEXED, ExtTy, |
Matt Arsenault | 86033ca | 2014-07-28 17:31:39 +0000 | [diff] [blame] | 495 | VT, SL, Chain, Ptr, PtrOffset, PtrInfo, MemVT, |
| 496 | false, // isVolatile |
| 497 | true, // isNonTemporal |
| 498 | true, // isInvariant |
Matt Arsenault | 81c7ae2 | 2015-06-04 16:00:27 +0000 | [diff] [blame] | 499 | Align); // Alignment |
Tom Stellard | 94593ee | 2013-06-03 17:40:18 +0000 | [diff] [blame] | 500 | } |
| 501 | |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 502 | SDValue SITargetLowering::LowerFormalArguments( |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 503 | SDValue Chain, CallingConv::ID CallConv, bool isVarArg, |
| 504 | const SmallVectorImpl<ISD::InputArg> &Ins, SDLoc DL, SelectionDAG &DAG, |
| 505 | SmallVectorImpl<SDValue> &InVals) const { |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 506 | const SIRegisterInfo *TRI = |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 507 | static_cast<const SIRegisterInfo *>(Subtarget->getRegisterInfo()); |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 508 | |
| 509 | MachineFunction &MF = DAG.getMachineFunction(); |
| 510 | FunctionType *FType = MF.getFunction()->getFunctionType(); |
Christian Konig | 99ee0f4 | 2013-03-07 09:04:14 +0000 | [diff] [blame] | 511 | SIMachineFunctionInfo *Info = MF.getInfo<SIMachineFunctionInfo>(); |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 512 | |
Tom Stellard | 0fbf899 | 2015-10-06 21:16:34 +0000 | [diff] [blame] | 513 | // FIXME: We currently assume all calling conventions are kernels. |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 514 | |
| 515 | SmallVector<ISD::InputArg, 16> Splits; |
Alexey Samsonov | a253bf9 | 2014-08-27 19:36:53 +0000 | [diff] [blame] | 516 | BitVector Skipped(Ins.size()); |
Christian Konig | 99ee0f4 | 2013-03-07 09:04:14 +0000 | [diff] [blame] | 517 | |
| 518 | for (unsigned i = 0, e = Ins.size(), PSInputNum = 0; i != e; ++i) { |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 519 | const ISD::InputArg &Arg = Ins[i]; |
Matt Arsenault | 75865923 | 2013-05-18 00:21:46 +0000 | [diff] [blame] | 520 | |
| 521 | // First check if it's a PS input addr |
Matt Arsenault | 762af96 | 2014-07-13 03:06:39 +0000 | [diff] [blame] | 522 | if (Info->getShaderType() == ShaderType::PIXEL && !Arg.Flags.isInReg() && |
Vincent Lejeune | d623644 | 2013-10-13 17:56:16 +0000 | [diff] [blame] | 523 | !Arg.Flags.isByVal()) { |
Christian Konig | 99ee0f4 | 2013-03-07 09:04:14 +0000 | [diff] [blame] | 524 | |
| 525 | assert((PSInputNum <= 15) && "Too many PS inputs!"); |
| 526 | |
| 527 | if (!Arg.Used) { |
Benjamin Kramer | df005cb | 2015-08-08 18:27:36 +0000 | [diff] [blame] | 528 | // We can safely skip PS inputs |
Alexey Samsonov | a253bf9 | 2014-08-27 19:36:53 +0000 | [diff] [blame] | 529 | Skipped.set(i); |
Christian Konig | 99ee0f4 | 2013-03-07 09:04:14 +0000 | [diff] [blame] | 530 | ++PSInputNum; |
| 531 | continue; |
| 532 | } |
| 533 | |
| 534 | Info->PSInputAddr |= 1 << PSInputNum++; |
| 535 | } |
| 536 | |
| 537 | // Second split vertices into their elements |
Matt Arsenault | 762af96 | 2014-07-13 03:06:39 +0000 | [diff] [blame] | 538 | if (Info->getShaderType() != ShaderType::COMPUTE && Arg.VT.isVector()) { |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 539 | ISD::InputArg NewArg = Arg; |
| 540 | NewArg.Flags.setSplit(); |
| 541 | NewArg.VT = Arg.VT.getVectorElementType(); |
| 542 | |
| 543 | // We REALLY want the ORIGINAL number of vertex elements here, e.g. a |
| 544 | // three or five element vertex only needs three or five registers, |
Benjamin Kramer | df005cb | 2015-08-08 18:27:36 +0000 | [diff] [blame] | 545 | // NOT four or eight. |
Andrew Trick | 05938a5 | 2015-02-16 18:10:47 +0000 | [diff] [blame] | 546 | Type *ParamType = FType->getParamType(Arg.getOrigArgIndex()); |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 547 | unsigned NumElements = ParamType->getVectorNumElements(); |
| 548 | |
| 549 | for (unsigned j = 0; j != NumElements; ++j) { |
| 550 | Splits.push_back(NewArg); |
| 551 | NewArg.PartOffset += NewArg.VT.getStoreSize(); |
| 552 | } |
| 553 | |
Matt Arsenault | 762af96 | 2014-07-13 03:06:39 +0000 | [diff] [blame] | 554 | } else if (Info->getShaderType() != ShaderType::COMPUTE) { |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 555 | Splits.push_back(Arg); |
| 556 | } |
| 557 | } |
| 558 | |
| 559 | SmallVector<CCValAssign, 16> ArgLocs; |
Eric Christopher | b521750 | 2014-08-06 18:45:26 +0000 | [diff] [blame] | 560 | CCState CCInfo(CallConv, isVarArg, DAG.getMachineFunction(), ArgLocs, |
| 561 | *DAG.getContext()); |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 562 | |
Christian Konig | 99ee0f4 | 2013-03-07 09:04:14 +0000 | [diff] [blame] | 563 | // At least one interpolation mode must be enabled or else the GPU will hang. |
Matt Arsenault | 762af96 | 2014-07-13 03:06:39 +0000 | [diff] [blame] | 564 | if (Info->getShaderType() == ShaderType::PIXEL && |
| 565 | (Info->PSInputAddr & 0x7F) == 0) { |
Christian Konig | 99ee0f4 | 2013-03-07 09:04:14 +0000 | [diff] [blame] | 566 | Info->PSInputAddr |= 1; |
| 567 | CCInfo.AllocateReg(AMDGPU::VGPR0); |
| 568 | CCInfo.AllocateReg(AMDGPU::VGPR1); |
| 569 | } |
| 570 | |
Tom Stellard | ed882c2 | 2013-06-03 17:40:11 +0000 | [diff] [blame] | 571 | // The pointer to the list of arguments is stored in SGPR0, SGPR1 |
NAKAMURA Takumi | 8496503 | 2015-09-22 11:14:12 +0000 | [diff] [blame] | 572 | // The pointer to the scratch buffer is stored in SGPR2, SGPR3 |
Matt Arsenault | 762af96 | 2014-07-13 03:06:39 +0000 | [diff] [blame] | 573 | if (Info->getShaderType() == ShaderType::COMPUTE) { |
Tom Stellard | feab91c | 2014-12-02 17:41:43 +0000 | [diff] [blame] | 574 | if (Subtarget->isAmdHsaOS()) |
| 575 | Info->NumUserSGPRs = 2; // FIXME: Need to support scratch buffers. |
| 576 | else |
| 577 | Info->NumUserSGPRs = 4; |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 578 | |
| 579 | unsigned InputPtrReg = |
| 580 | TRI->getPreloadedValue(MF, SIRegisterInfo::INPUT_PTR); |
| 581 | unsigned InputPtrRegLo = |
| 582 | TRI->getPhysRegSubReg(InputPtrReg, &AMDGPU::SReg_32RegClass, 0); |
| 583 | unsigned InputPtrRegHi = |
| 584 | TRI->getPhysRegSubReg(InputPtrReg, &AMDGPU::SReg_32RegClass, 1); |
| 585 | |
| 586 | unsigned ScratchPtrReg = |
| 587 | TRI->getPreloadedValue(MF, SIRegisterInfo::SCRATCH_PTR); |
| 588 | unsigned ScratchPtrRegLo = |
| 589 | TRI->getPhysRegSubReg(ScratchPtrReg, &AMDGPU::SReg_32RegClass, 0); |
| 590 | unsigned ScratchPtrRegHi = |
| 591 | TRI->getPhysRegSubReg(ScratchPtrReg, &AMDGPU::SReg_32RegClass, 1); |
| 592 | |
| 593 | CCInfo.AllocateReg(InputPtrRegLo); |
| 594 | CCInfo.AllocateReg(InputPtrRegHi); |
| 595 | CCInfo.AllocateReg(ScratchPtrRegLo); |
| 596 | CCInfo.AllocateReg(ScratchPtrRegHi); |
| 597 | MF.addLiveIn(InputPtrReg, &AMDGPU::SReg_64RegClass); |
| 598 | MF.addLiveIn(ScratchPtrReg, &AMDGPU::SReg_64RegClass); |
Tom Stellard | ed882c2 | 2013-06-03 17:40:11 +0000 | [diff] [blame] | 599 | } |
| 600 | |
Matt Arsenault | 762af96 | 2014-07-13 03:06:39 +0000 | [diff] [blame] | 601 | if (Info->getShaderType() == ShaderType::COMPUTE) { |
Tom Stellard | af77543 | 2013-10-23 00:44:32 +0000 | [diff] [blame] | 602 | getOriginalFunctionArgs(DAG, DAG.getMachineFunction().getFunction(), Ins, |
| 603 | Splits); |
| 604 | } |
| 605 | |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 606 | AnalyzeFormalArguments(CCInfo, Splits); |
| 607 | |
Matt Arsenault | cf13d18 | 2015-07-10 22:51:36 +0000 | [diff] [blame] | 608 | SmallVector<SDValue, 16> Chains; |
| 609 | |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 610 | for (unsigned i = 0, e = Ins.size(), ArgIdx = 0; i != e; ++i) { |
| 611 | |
Christian Konig | b7be72d | 2013-05-17 09:46:48 +0000 | [diff] [blame] | 612 | const ISD::InputArg &Arg = Ins[i]; |
Alexey Samsonov | a253bf9 | 2014-08-27 19:36:53 +0000 | [diff] [blame] | 613 | if (Skipped[i]) { |
Christian Konig | b7be72d | 2013-05-17 09:46:48 +0000 | [diff] [blame] | 614 | InVals.push_back(DAG.getUNDEF(Arg.VT)); |
Christian Konig | 99ee0f4 | 2013-03-07 09:04:14 +0000 | [diff] [blame] | 615 | continue; |
| 616 | } |
| 617 | |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 618 | CCValAssign &VA = ArgLocs[ArgIdx++]; |
Craig Topper | 7f416c8 | 2014-11-16 21:17:18 +0000 | [diff] [blame] | 619 | MVT VT = VA.getLocVT(); |
Tom Stellard | ed882c2 | 2013-06-03 17:40:11 +0000 | [diff] [blame] | 620 | |
| 621 | if (VA.isMemLoc()) { |
Tom Stellard | af77543 | 2013-10-23 00:44:32 +0000 | [diff] [blame] | 622 | VT = Ins[i].VT; |
| 623 | EVT MemVT = Splits[i].VT; |
Tom Stellard | b5798b0 | 2015-06-26 21:15:03 +0000 | [diff] [blame] | 624 | const unsigned Offset = Subtarget->getExplicitKernelArgOffset() + |
| 625 | VA.getLocMemOffset(); |
Tom Stellard | 94593ee | 2013-06-03 17:40:18 +0000 | [diff] [blame] | 626 | // The first 36 bytes of the input buffer contains information about |
| 627 | // thread group and global sizes. |
Matt Arsenault | 0d51973 | 2015-07-10 22:28:41 +0000 | [diff] [blame] | 628 | SDValue Arg = LowerParameter(DAG, VT, MemVT, DL, Chain, |
Jan Vesely | e5121f3 | 2014-10-14 20:05:26 +0000 | [diff] [blame] | 629 | Offset, Ins[i].Flags.isSExt()); |
Matt Arsenault | cf13d18 | 2015-07-10 22:51:36 +0000 | [diff] [blame] | 630 | Chains.push_back(Arg.getValue(1)); |
Tom Stellard | ca7ecf3 | 2014-08-22 18:49:31 +0000 | [diff] [blame] | 631 | |
Craig Topper | e3dcce9 | 2015-08-01 22:20:21 +0000 | [diff] [blame] | 632 | auto *ParamTy = |
Andrew Trick | 05938a5 | 2015-02-16 18:10:47 +0000 | [diff] [blame] | 633 | dyn_cast<PointerType>(FType->getParamType(Ins[i].getOrigArgIndex())); |
Tom Stellard | ca7ecf3 | 2014-08-22 18:49:31 +0000 | [diff] [blame] | 634 | if (Subtarget->getGeneration() == AMDGPUSubtarget::SOUTHERN_ISLANDS && |
| 635 | ParamTy && ParamTy->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS) { |
| 636 | // On SI local pointers are just offsets into LDS, so they are always |
| 637 | // less than 16-bits. On CI and newer they could potentially be |
| 638 | // real pointers, so we can't guarantee their size. |
| 639 | Arg = DAG.getNode(ISD::AssertZext, DL, Arg.getValueType(), Arg, |
| 640 | DAG.getValueType(MVT::i16)); |
| 641 | } |
| 642 | |
Tom Stellard | ed882c2 | 2013-06-03 17:40:11 +0000 | [diff] [blame] | 643 | InVals.push_back(Arg); |
Jan Vesely | e5121f3 | 2014-10-14 20:05:26 +0000 | [diff] [blame] | 644 | Info->ABIArgOffset = Offset + MemVT.getStoreSize(); |
Tom Stellard | ed882c2 | 2013-06-03 17:40:11 +0000 | [diff] [blame] | 645 | continue; |
| 646 | } |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 647 | assert(VA.isRegLoc() && "Parameter must be in a register!"); |
| 648 | |
| 649 | unsigned Reg = VA.getLocReg(); |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 650 | |
| 651 | if (VT == MVT::i64) { |
| 652 | // For now assume it is a pointer |
| 653 | Reg = TRI->getMatchingSuperReg(Reg, AMDGPU::sub0, |
| 654 | &AMDGPU::SReg_64RegClass); |
| 655 | Reg = MF.addLiveIn(Reg, &AMDGPU::SReg_64RegClass); |
Matt Arsenault | cf13d18 | 2015-07-10 22:51:36 +0000 | [diff] [blame] | 656 | SDValue Copy = DAG.getCopyFromReg(Chain, DL, Reg, VT); |
| 657 | InVals.push_back(Copy); |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 658 | continue; |
| 659 | } |
| 660 | |
| 661 | const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg, VT); |
| 662 | |
| 663 | Reg = MF.addLiveIn(Reg, RC); |
| 664 | SDValue Val = DAG.getCopyFromReg(Chain, DL, Reg, VT); |
| 665 | |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 666 | if (Arg.VT.isVector()) { |
| 667 | |
| 668 | // Build a vector from the registers |
Andrew Trick | 05938a5 | 2015-02-16 18:10:47 +0000 | [diff] [blame] | 669 | Type *ParamType = FType->getParamType(Arg.getOrigArgIndex()); |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 670 | unsigned NumElements = ParamType->getVectorNumElements(); |
| 671 | |
| 672 | SmallVector<SDValue, 4> Regs; |
| 673 | Regs.push_back(Val); |
| 674 | for (unsigned j = 1; j != NumElements; ++j) { |
| 675 | Reg = ArgLocs[ArgIdx++].getLocReg(); |
| 676 | Reg = MF.addLiveIn(Reg, RC); |
Matt Arsenault | cf13d18 | 2015-07-10 22:51:36 +0000 | [diff] [blame] | 677 | |
| 678 | SDValue Copy = DAG.getCopyFromReg(Chain, DL, Reg, VT); |
| 679 | Regs.push_back(Copy); |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 680 | } |
| 681 | |
| 682 | // Fill up the missing vector elements |
| 683 | NumElements = Arg.VT.getVectorNumElements() - NumElements; |
Benjamin Kramer | 6cd780f | 2015-02-17 15:29:18 +0000 | [diff] [blame] | 684 | Regs.append(NumElements, DAG.getUNDEF(VT)); |
Matt Arsenault | 75865923 | 2013-05-18 00:21:46 +0000 | [diff] [blame] | 685 | |
Craig Topper | 48d114b | 2014-04-26 18:35:24 +0000 | [diff] [blame] | 686 | InVals.push_back(DAG.getNode(ISD::BUILD_VECTOR, DL, Arg.VT, Regs)); |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 687 | continue; |
| 688 | } |
| 689 | |
| 690 | InVals.push_back(Val); |
| 691 | } |
Tom Stellard | e99fb65 | 2015-01-20 19:33:04 +0000 | [diff] [blame] | 692 | |
| 693 | if (Info->getShaderType() != ShaderType::COMPUTE) { |
Craig Topper | 0013be1 | 2015-09-21 05:32:41 +0000 | [diff] [blame] | 694 | unsigned ScratchIdx = CCInfo.getFirstUnallocated(makeArrayRef( |
Tim Northover | 3b6b7ca | 2015-02-21 02:11:17 +0000 | [diff] [blame] | 695 | AMDGPU::SGPR_32RegClass.begin(), AMDGPU::SGPR_32RegClass.getNumRegs())); |
Tom Stellard | e99fb65 | 2015-01-20 19:33:04 +0000 | [diff] [blame] | 696 | Info->ScratchOffsetReg = AMDGPU::SGPR_32RegClass.getRegister(ScratchIdx); |
| 697 | } |
Matt Arsenault | cf13d18 | 2015-07-10 22:51:36 +0000 | [diff] [blame] | 698 | |
| 699 | if (Chains.empty()) |
| 700 | return Chain; |
| 701 | |
| 702 | return DAG.getNode(ISD::TokenFactor, DL, MVT::Other, Chains); |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 703 | } |
| 704 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 705 | MachineBasicBlock * SITargetLowering::EmitInstrWithCustomInserter( |
| 706 | MachineInstr * MI, MachineBasicBlock * BB) const { |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 707 | |
Tom Stellard | 556d9aa | 2013-06-03 17:39:37 +0000 | [diff] [blame] | 708 | MachineBasicBlock::iterator I = *MI; |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 709 | const SIInstrInfo *TII = |
| 710 | static_cast<const SIInstrInfo *>(Subtarget->getInstrInfo()); |
Tom Stellard | 556d9aa | 2013-06-03 17:39:37 +0000 | [diff] [blame] | 711 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 712 | switch (MI->getOpcode()) { |
| 713 | default: |
| 714 | return AMDGPUTargetLowering::EmitInstrWithCustomInserter(MI, BB); |
Matt Arsenault | 20711b7 | 2015-02-20 22:10:45 +0000 | [diff] [blame] | 715 | case AMDGPU::BRANCH: |
| 716 | return BB; |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 717 | case AMDGPU::SI_RegisterStorePseudo: { |
| 718 | MachineRegisterInfo &MRI = BB->getParent()->getRegInfo(); |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 719 | unsigned Reg = MRI.createVirtualRegister(&AMDGPU::SReg_64RegClass); |
| 720 | MachineInstrBuilder MIB = |
| 721 | BuildMI(*BB, I, MI->getDebugLoc(), TII->get(AMDGPU::SI_RegisterStore), |
| 722 | Reg); |
| 723 | for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) |
| 724 | MIB.addOperand(MI->getOperand(i)); |
| 725 | |
| 726 | MI->eraseFromParent(); |
Vincent Lejeune | 79a5834 | 2014-05-10 19:18:25 +0000 | [diff] [blame] | 727 | break; |
| 728 | } |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 729 | } |
| 730 | return BB; |
| 731 | } |
| 732 | |
Matt Arsenault | 423bf3f | 2015-01-29 19:34:32 +0000 | [diff] [blame] | 733 | bool SITargetLowering::enableAggressiveFMAFusion(EVT VT) const { |
| 734 | // This currently forces unfolding various combinations of fsub into fma with |
| 735 | // free fneg'd operands. As long as we have fast FMA (controlled by |
| 736 | // isFMAFasterThanFMulAndFAdd), we should perform these. |
| 737 | |
| 738 | // When fma is quarter rate, for f64 where add / sub are at best half rate, |
| 739 | // most of these combines appear to be cycle neutral but save on instruction |
| 740 | // count / code size. |
| 741 | return true; |
| 742 | } |
| 743 | |
Mehdi Amini | 44ede33 | 2015-07-09 02:09:04 +0000 | [diff] [blame] | 744 | EVT SITargetLowering::getSetCCResultType(const DataLayout &DL, LLVMContext &Ctx, |
| 745 | EVT VT) const { |
Tom Stellard | 8374720 | 2013-07-18 21:43:53 +0000 | [diff] [blame] | 746 | if (!VT.isVector()) { |
| 747 | return MVT::i1; |
| 748 | } |
Matt Arsenault | 8596f71 | 2014-11-28 22:51:38 +0000 | [diff] [blame] | 749 | return EVT::getVectorVT(Ctx, MVT::i1, VT.getVectorNumElements()); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 750 | } |
| 751 | |
Mehdi Amini | eaabc51 | 2015-07-09 15:12:23 +0000 | [diff] [blame] | 752 | MVT SITargetLowering::getScalarShiftAmountTy(const DataLayout &, EVT) const { |
Christian Konig | 082a14a | 2013-03-18 11:34:05 +0000 | [diff] [blame] | 753 | return MVT::i32; |
| 754 | } |
| 755 | |
Matt Arsenault | 423bf3f | 2015-01-29 19:34:32 +0000 | [diff] [blame] | 756 | // Answering this is somewhat tricky and depends on the specific device which |
| 757 | // have different rates for fma or all f64 operations. |
| 758 | // |
| 759 | // v_fma_f64 and v_mul_f64 always take the same number of cycles as each other |
| 760 | // regardless of which device (although the number of cycles differs between |
| 761 | // devices), so it is always profitable for f64. |
| 762 | // |
| 763 | // v_fma_f32 takes 4 or 16 cycles depending on the device, so it is profitable |
| 764 | // only on full rate devices. Normally, we should prefer selecting v_mad_f32 |
| 765 | // which we can always do even without fused FP ops since it returns the same |
| 766 | // result as the separate operations and since it is always full |
| 767 | // rate. Therefore, we lie and report that it is not faster for f32. v_mad_f32 |
| 768 | // however does not support denormals, so we do report fma as faster if we have |
| 769 | // a fast fma device and require denormals. |
| 770 | // |
Niels Ole Salscheider | d3a039f | 2013-08-10 10:38:54 +0000 | [diff] [blame] | 771 | bool SITargetLowering::isFMAFasterThanFMulAndFAdd(EVT VT) const { |
| 772 | VT = VT.getScalarType(); |
| 773 | |
| 774 | if (!VT.isSimple()) |
| 775 | return false; |
| 776 | |
| 777 | switch (VT.getSimpleVT().SimpleTy) { |
| 778 | case MVT::f32: |
Matt Arsenault | 423bf3f | 2015-01-29 19:34:32 +0000 | [diff] [blame] | 779 | // This is as fast on some subtargets. However, we always have full rate f32 |
| 780 | // mad available which returns the same result as the separate operations |
Matt Arsenault | 8d63003 | 2015-02-20 22:10:41 +0000 | [diff] [blame] | 781 | // which we should prefer over fma. We can't use this if we want to support |
| 782 | // denormals, so only report this in these cases. |
| 783 | return Subtarget->hasFP32Denormals() && Subtarget->hasFastFMAF32(); |
Niels Ole Salscheider | d3a039f | 2013-08-10 10:38:54 +0000 | [diff] [blame] | 784 | case MVT::f64: |
| 785 | return true; |
| 786 | default: |
| 787 | break; |
| 788 | } |
| 789 | |
| 790 | return false; |
| 791 | } |
| 792 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 793 | //===----------------------------------------------------------------------===// |
| 794 | // Custom DAG Lowering Operations |
| 795 | //===----------------------------------------------------------------------===// |
| 796 | |
| 797 | SDValue SITargetLowering::LowerOperation(SDValue Op, SelectionDAG &DAG) const { |
| 798 | switch (Op.getOpcode()) { |
| 799 | default: return AMDGPUTargetLowering::LowerOperation(Op, DAG); |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 800 | case ISD::FrameIndex: return LowerFrameIndex(Op, DAG); |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 801 | case ISD::BRCOND: return LowerBRCOND(Op, DAG); |
Tom Stellard | 35bb18c | 2013-08-26 15:06:04 +0000 | [diff] [blame] | 802 | case ISD::LOAD: { |
Tom Stellard | e812f2f | 2014-07-21 15:45:06 +0000 | [diff] [blame] | 803 | SDValue Result = LowerLOAD(Op, DAG); |
| 804 | assert((!Result.getNode() || |
| 805 | Result.getNode()->getNumValues() == 2) && |
| 806 | "Load should return a value and a chain"); |
| 807 | return Result; |
Tom Stellard | 35bb18c | 2013-08-26 15:06:04 +0000 | [diff] [blame] | 808 | } |
Tom Stellard | af77543 | 2013-10-23 00:44:32 +0000 | [diff] [blame] | 809 | |
Matt Arsenault | ad14ce8 | 2014-07-19 18:44:39 +0000 | [diff] [blame] | 810 | case ISD::FSIN: |
| 811 | case ISD::FCOS: |
| 812 | return LowerTrig(Op, DAG); |
Tom Stellard | 0ec134f | 2014-02-04 17:18:40 +0000 | [diff] [blame] | 813 | case ISD::SELECT: return LowerSELECT(Op, DAG); |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 814 | case ISD::FDIV: return LowerFDIV(Op, DAG); |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 815 | case ISD::STORE: return LowerSTORE(Op, DAG); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 816 | case ISD::GlobalAddress: { |
| 817 | MachineFunction &MF = DAG.getMachineFunction(); |
| 818 | SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); |
| 819 | return LowerGlobalAddress(MFI, Op, DAG); |
Tom Stellard | 94593ee | 2013-06-03 17:40:18 +0000 | [diff] [blame] | 820 | } |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 821 | case ISD::INTRINSIC_WO_CHAIN: return LowerINTRINSIC_WO_CHAIN(Op, DAG); |
| 822 | case ISD::INTRINSIC_VOID: return LowerINTRINSIC_VOID(Op, DAG); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 823 | } |
| 824 | return SDValue(); |
| 825 | } |
| 826 | |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 827 | /// \brief Helper function for LowerBRCOND |
| 828 | static SDNode *findUser(SDValue Value, unsigned Opcode) { |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 829 | |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 830 | SDNode *Parent = Value.getNode(); |
| 831 | for (SDNode::use_iterator I = Parent->use_begin(), E = Parent->use_end(); |
| 832 | I != E; ++I) { |
| 833 | |
| 834 | if (I.getUse().get() != Value) |
| 835 | continue; |
| 836 | |
| 837 | if (I->getOpcode() == Opcode) |
| 838 | return *I; |
| 839 | } |
Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 840 | return nullptr; |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 841 | } |
| 842 | |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 843 | SDValue SITargetLowering::LowerFrameIndex(SDValue Op, SelectionDAG &DAG) const { |
| 844 | |
Tom Stellard | c98ee20 | 2015-07-16 19:40:07 +0000 | [diff] [blame] | 845 | SDLoc SL(Op); |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 846 | FrameIndexSDNode *FINode = cast<FrameIndexSDNode>(Op); |
| 847 | unsigned FrameIndex = FINode->getIndex(); |
| 848 | |
Tom Stellard | c98ee20 | 2015-07-16 19:40:07 +0000 | [diff] [blame] | 849 | // A FrameIndex node represents a 32-bit offset into scratch memory. If |
| 850 | // the high bit of a frame index offset were to be set, this would mean |
| 851 | // that it represented an offset of ~2GB * 64 = ~128GB from the start of the |
| 852 | // scratch buffer, with 64 being the number of threads per wave. |
| 853 | // |
| 854 | // If we know the machine uses less than 128GB of scratch, then we can |
| 855 | // amrk the high bit of the FrameIndex node as known zero, |
| 856 | // which is important, because it means in most situations we can |
| 857 | // prove that values derived from FrameIndex nodes are non-negative. |
| 858 | // This enables us to take advantage of more addressing modes when |
| 859 | // accessing scratch buffers, since for scratch reads/writes, the register |
| 860 | // offset must always be positive. |
| 861 | |
| 862 | SDValue TFI = DAG.getTargetFrameIndex(FrameIndex, MVT::i32); |
| 863 | if (Subtarget->enableHugeScratchBuffer()) |
| 864 | return TFI; |
| 865 | |
| 866 | return DAG.getNode(ISD::AssertZext, SL, MVT::i32, TFI, |
| 867 | DAG.getValueType(EVT::getIntegerVT(*DAG.getContext(), 31))); |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 868 | } |
| 869 | |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 870 | /// This transforms the control flow intrinsics to get the branch destination as |
| 871 | /// last parameter, also switches branch target with BR if the need arise |
| 872 | SDValue SITargetLowering::LowerBRCOND(SDValue BRCOND, |
| 873 | SelectionDAG &DAG) const { |
| 874 | |
Andrew Trick | ef9de2a | 2013-05-25 02:42:55 +0000 | [diff] [blame] | 875 | SDLoc DL(BRCOND); |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 876 | |
| 877 | SDNode *Intr = BRCOND.getOperand(1).getNode(); |
| 878 | SDValue Target = BRCOND.getOperand(2); |
Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 879 | SDNode *BR = nullptr; |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 880 | |
| 881 | if (Intr->getOpcode() == ISD::SETCC) { |
| 882 | // As long as we negate the condition everything is fine |
| 883 | SDNode *SetCC = Intr; |
| 884 | assert(SetCC->getConstantOperandVal(1) == 1); |
NAKAMURA Takumi | 458a827 | 2013-01-07 11:14:44 +0000 | [diff] [blame] | 885 | assert(cast<CondCodeSDNode>(SetCC->getOperand(2).getNode())->get() == |
| 886 | ISD::SETNE); |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 887 | Intr = SetCC->getOperand(0).getNode(); |
| 888 | |
| 889 | } else { |
| 890 | // Get the target from BR if we don't negate the condition |
| 891 | BR = findUser(BRCOND, ISD::BR); |
| 892 | Target = BR->getOperand(1); |
| 893 | } |
| 894 | |
| 895 | assert(Intr->getOpcode() == ISD::INTRINSIC_W_CHAIN); |
| 896 | |
| 897 | // Build the result and |
Benjamin Kramer | 6cd780f | 2015-02-17 15:29:18 +0000 | [diff] [blame] | 898 | ArrayRef<EVT> Res(Intr->value_begin() + 1, Intr->value_end()); |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 899 | |
| 900 | // operands of the new intrinsic call |
| 901 | SmallVector<SDValue, 4> Ops; |
| 902 | Ops.push_back(BRCOND.getOperand(0)); |
Benjamin Kramer | 6cd780f | 2015-02-17 15:29:18 +0000 | [diff] [blame] | 903 | Ops.append(Intr->op_begin() + 1, Intr->op_end()); |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 904 | Ops.push_back(Target); |
| 905 | |
| 906 | // build the new intrinsic call |
| 907 | SDNode *Result = DAG.getNode( |
| 908 | Res.size() > 1 ? ISD::INTRINSIC_W_CHAIN : ISD::INTRINSIC_VOID, DL, |
Craig Topper | 48d114b | 2014-04-26 18:35:24 +0000 | [diff] [blame] | 909 | DAG.getVTList(Res), Ops).getNode(); |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 910 | |
| 911 | if (BR) { |
| 912 | // Give the branch instruction our target |
| 913 | SDValue Ops[] = { |
| 914 | BR->getOperand(0), |
| 915 | BRCOND.getOperand(2) |
| 916 | }; |
Chandler Carruth | 356665a | 2014-08-01 22:09:43 +0000 | [diff] [blame] | 917 | SDValue NewBR = DAG.getNode(ISD::BR, DL, BR->getVTList(), Ops); |
| 918 | DAG.ReplaceAllUsesWith(BR, NewBR.getNode()); |
| 919 | BR = NewBR.getNode(); |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 920 | } |
| 921 | |
| 922 | SDValue Chain = SDValue(Result, Result->getNumValues() - 1); |
| 923 | |
| 924 | // Copy the intrinsic results to registers |
| 925 | for (unsigned i = 1, e = Intr->getNumValues() - 1; i != e; ++i) { |
| 926 | SDNode *CopyToReg = findUser(SDValue(Intr, i), ISD::CopyToReg); |
| 927 | if (!CopyToReg) |
| 928 | continue; |
| 929 | |
| 930 | Chain = DAG.getCopyToReg( |
| 931 | Chain, DL, |
| 932 | CopyToReg->getOperand(1), |
| 933 | SDValue(Result, i - 1), |
| 934 | SDValue()); |
| 935 | |
| 936 | DAG.ReplaceAllUsesWith(SDValue(CopyToReg, 0), CopyToReg->getOperand(0)); |
| 937 | } |
| 938 | |
| 939 | // Remove the old intrinsic from the chain |
| 940 | DAG.ReplaceAllUsesOfValueWith( |
| 941 | SDValue(Intr, Intr->getNumValues() - 1), |
| 942 | Intr->getOperand(0)); |
| 943 | |
| 944 | return Chain; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 945 | } |
| 946 | |
Tom Stellard | 067c815 | 2014-07-21 14:01:14 +0000 | [diff] [blame] | 947 | SDValue SITargetLowering::LowerGlobalAddress(AMDGPUMachineFunction *MFI, |
| 948 | SDValue Op, |
| 949 | SelectionDAG &DAG) const { |
| 950 | GlobalAddressSDNode *GSD = cast<GlobalAddressSDNode>(Op); |
| 951 | |
| 952 | if (GSD->getAddressSpace() != AMDGPUAS::CONSTANT_ADDRESS) |
| 953 | return AMDGPUTargetLowering::LowerGlobalAddress(MFI, Op, DAG); |
| 954 | |
| 955 | SDLoc DL(GSD); |
| 956 | const GlobalValue *GV = GSD->getGlobal(); |
Mehdi Amini | 44ede33 | 2015-07-09 02:09:04 +0000 | [diff] [blame] | 957 | MVT PtrVT = getPointerTy(DAG.getDataLayout(), GSD->getAddressSpace()); |
Tom Stellard | 067c815 | 2014-07-21 14:01:14 +0000 | [diff] [blame] | 958 | |
| 959 | SDValue Ptr = DAG.getNode(AMDGPUISD::CONST_DATA_PTR, DL, PtrVT); |
| 960 | SDValue GA = DAG.getTargetGlobalAddress(GV, DL, MVT::i32); |
| 961 | |
| 962 | SDValue PtrLo = DAG.getNode(ISD::EXTRACT_ELEMENT, DL, MVT::i32, Ptr, |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 963 | DAG.getConstant(0, DL, MVT::i32)); |
Tom Stellard | 067c815 | 2014-07-21 14:01:14 +0000 | [diff] [blame] | 964 | SDValue PtrHi = DAG.getNode(ISD::EXTRACT_ELEMENT, DL, MVT::i32, Ptr, |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 965 | DAG.getConstant(1, DL, MVT::i32)); |
Tom Stellard | 067c815 | 2014-07-21 14:01:14 +0000 | [diff] [blame] | 966 | |
| 967 | SDValue Lo = DAG.getNode(ISD::ADDC, DL, DAG.getVTList(MVT::i32, MVT::Glue), |
| 968 | PtrLo, GA); |
| 969 | SDValue Hi = DAG.getNode(ISD::ADDE, DL, DAG.getVTList(MVT::i32, MVT::Glue), |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 970 | PtrHi, DAG.getConstant(0, DL, MVT::i32), |
Tom Stellard | 067c815 | 2014-07-21 14:01:14 +0000 | [diff] [blame] | 971 | SDValue(Lo.getNode(), 1)); |
| 972 | return DAG.getNode(ISD::BUILD_PAIR, DL, MVT::i64, Lo, Hi); |
| 973 | } |
| 974 | |
Tom Stellard | fc92e77 | 2015-05-12 14:18:14 +0000 | [diff] [blame] | 975 | SDValue SITargetLowering::copyToM0(SelectionDAG &DAG, SDValue Chain, SDLoc DL, |
| 976 | SDValue V) const { |
| 977 | // We can't use CopyToReg, because MachineCSE won't combine COPY instructions, |
| 978 | // so we will end up with redundant moves to m0. |
| 979 | // |
| 980 | // We can't use S_MOV_B32, because there is no way to specify m0 as the |
| 981 | // destination register. |
| 982 | // |
| 983 | // We have to use them both. Machine cse will combine all the S_MOV_B32 |
| 984 | // instructions and the register coalescer eliminate the extra copies. |
| 985 | SDNode *M0 = DAG.getMachineNode(AMDGPU::S_MOV_B32, DL, V.getValueType(), V); |
| 986 | return DAG.getCopyToReg(Chain, DL, DAG.getRegister(AMDGPU::M0, MVT::i32), |
| 987 | SDValue(M0, 0), SDValue()); // Glue |
| 988 | // A Null SDValue creates |
| 989 | // a glue result. |
| 990 | } |
| 991 | |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 992 | SDValue SITargetLowering::LowerINTRINSIC_WO_CHAIN(SDValue Op, |
| 993 | SelectionDAG &DAG) const { |
| 994 | MachineFunction &MF = DAG.getMachineFunction(); |
Tom Stellard | dcb9f09 | 2015-07-09 21:20:37 +0000 | [diff] [blame] | 995 | auto MFI = MF.getInfo<SIMachineFunctionInfo>(); |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 996 | const SIRegisterInfo *TRI = |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 997 | static_cast<const SIRegisterInfo *>(Subtarget->getRegisterInfo()); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 998 | |
| 999 | EVT VT = Op.getValueType(); |
| 1000 | SDLoc DL(Op); |
| 1001 | unsigned IntrinsicID = cast<ConstantSDNode>(Op.getOperand(0))->getZExtValue(); |
| 1002 | |
Sanjay Patel | a260701 | 2015-09-16 16:31:21 +0000 | [diff] [blame] | 1003 | // TODO: Should this propagate fast-math-flags? |
| 1004 | |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1005 | switch (IntrinsicID) { |
| 1006 | case Intrinsic::r600_read_ngroups_x: |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1007 | return LowerParameter(DAG, VT, VT, DL, DAG.getEntryNode(), |
| 1008 | SI::KernelInputOffsets::NGROUPS_X, false); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1009 | case Intrinsic::r600_read_ngroups_y: |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1010 | return LowerParameter(DAG, VT, VT, DL, DAG.getEntryNode(), |
| 1011 | SI::KernelInputOffsets::NGROUPS_Y, false); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1012 | case Intrinsic::r600_read_ngroups_z: |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1013 | return LowerParameter(DAG, VT, VT, DL, DAG.getEntryNode(), |
| 1014 | SI::KernelInputOffsets::NGROUPS_Z, false); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1015 | case Intrinsic::r600_read_global_size_x: |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1016 | return LowerParameter(DAG, VT, VT, DL, DAG.getEntryNode(), |
| 1017 | SI::KernelInputOffsets::GLOBAL_SIZE_X, false); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1018 | case Intrinsic::r600_read_global_size_y: |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1019 | return LowerParameter(DAG, VT, VT, DL, DAG.getEntryNode(), |
| 1020 | SI::KernelInputOffsets::GLOBAL_SIZE_Y, false); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1021 | case Intrinsic::r600_read_global_size_z: |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1022 | return LowerParameter(DAG, VT, VT, DL, DAG.getEntryNode(), |
| 1023 | SI::KernelInputOffsets::GLOBAL_SIZE_Z, false); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1024 | case Intrinsic::r600_read_local_size_x: |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1025 | return LowerParameter(DAG, VT, VT, DL, DAG.getEntryNode(), |
| 1026 | SI::KernelInputOffsets::LOCAL_SIZE_X, false); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1027 | case Intrinsic::r600_read_local_size_y: |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1028 | return LowerParameter(DAG, VT, VT, DL, DAG.getEntryNode(), |
| 1029 | SI::KernelInputOffsets::LOCAL_SIZE_Y, false); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1030 | case Intrinsic::r600_read_local_size_z: |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1031 | return LowerParameter(DAG, VT, VT, DL, DAG.getEntryNode(), |
| 1032 | SI::KernelInputOffsets::LOCAL_SIZE_Z, false); |
Jan Vesely | e5121f3 | 2014-10-14 20:05:26 +0000 | [diff] [blame] | 1033 | |
| 1034 | case Intrinsic::AMDGPU_read_workdim: |
| 1035 | return LowerParameter(DAG, VT, VT, DL, DAG.getEntryNode(), |
Tom Stellard | dcb9f09 | 2015-07-09 21:20:37 +0000 | [diff] [blame] | 1036 | getImplicitParameterOffset(MFI, GRID_DIM), false); |
Jan Vesely | e5121f3 | 2014-10-14 20:05:26 +0000 | [diff] [blame] | 1037 | |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1038 | case Intrinsic::r600_read_tgid_x: |
| 1039 | return CreateLiveInRegister(DAG, &AMDGPU::SReg_32RegClass, |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1040 | TRI->getPreloadedValue(MF, SIRegisterInfo::TGID_X), VT); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1041 | case Intrinsic::r600_read_tgid_y: |
| 1042 | return CreateLiveInRegister(DAG, &AMDGPU::SReg_32RegClass, |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1043 | TRI->getPreloadedValue(MF, SIRegisterInfo::TGID_Y), VT); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1044 | case Intrinsic::r600_read_tgid_z: |
| 1045 | return CreateLiveInRegister(DAG, &AMDGPU::SReg_32RegClass, |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1046 | TRI->getPreloadedValue(MF, SIRegisterInfo::TGID_Z), VT); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1047 | case Intrinsic::r600_read_tidig_x: |
Tom Stellard | 45c0b3a | 2015-01-07 20:59:25 +0000 | [diff] [blame] | 1048 | return CreateLiveInRegister(DAG, &AMDGPU::VGPR_32RegClass, |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1049 | TRI->getPreloadedValue(MF, SIRegisterInfo::TIDIG_X), VT); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1050 | case Intrinsic::r600_read_tidig_y: |
Tom Stellard | 45c0b3a | 2015-01-07 20:59:25 +0000 | [diff] [blame] | 1051 | return CreateLiveInRegister(DAG, &AMDGPU::VGPR_32RegClass, |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1052 | TRI->getPreloadedValue(MF, SIRegisterInfo::TIDIG_Y), VT); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1053 | case Intrinsic::r600_read_tidig_z: |
Tom Stellard | 45c0b3a | 2015-01-07 20:59:25 +0000 | [diff] [blame] | 1054 | return CreateLiveInRegister(DAG, &AMDGPU::VGPR_32RegClass, |
Tom Stellard | ec2e43c | 2014-09-22 15:35:29 +0000 | [diff] [blame] | 1055 | TRI->getPreloadedValue(MF, SIRegisterInfo::TIDIG_Z), VT); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1056 | case AMDGPUIntrinsic::SI_load_const: { |
| 1057 | SDValue Ops[] = { |
| 1058 | Op.getOperand(1), |
| 1059 | Op.getOperand(2) |
| 1060 | }; |
| 1061 | |
| 1062 | MachineMemOperand *MMO = MF.getMachineMemOperand( |
| 1063 | MachinePointerInfo(), |
| 1064 | MachineMemOperand::MOLoad | MachineMemOperand::MOInvariant, |
| 1065 | VT.getStoreSize(), 4); |
| 1066 | return DAG.getMemIntrinsicNode(AMDGPUISD::LOAD_CONSTANT, DL, |
| 1067 | Op->getVTList(), Ops, VT, MMO); |
| 1068 | } |
| 1069 | case AMDGPUIntrinsic::SI_sample: |
| 1070 | return LowerSampleIntrinsic(AMDGPUISD::SAMPLE, Op, DAG); |
| 1071 | case AMDGPUIntrinsic::SI_sampleb: |
| 1072 | return LowerSampleIntrinsic(AMDGPUISD::SAMPLEB, Op, DAG); |
| 1073 | case AMDGPUIntrinsic::SI_sampled: |
| 1074 | return LowerSampleIntrinsic(AMDGPUISD::SAMPLED, Op, DAG); |
| 1075 | case AMDGPUIntrinsic::SI_samplel: |
| 1076 | return LowerSampleIntrinsic(AMDGPUISD::SAMPLEL, Op, DAG); |
| 1077 | case AMDGPUIntrinsic::SI_vs_load_input: |
| 1078 | return DAG.getNode(AMDGPUISD::LOAD_INPUT, DL, VT, |
| 1079 | Op.getOperand(1), |
| 1080 | Op.getOperand(2), |
| 1081 | Op.getOperand(3)); |
Marek Olsak | 43650e4 | 2015-03-24 13:40:08 +0000 | [diff] [blame] | 1082 | |
| 1083 | case AMDGPUIntrinsic::AMDGPU_fract: |
| 1084 | case AMDGPUIntrinsic::AMDIL_fraction: // Legacy name. |
| 1085 | return DAG.getNode(ISD::FSUB, DL, VT, Op.getOperand(1), |
| 1086 | DAG.getNode(ISD::FFLOOR, DL, VT, Op.getOperand(1))); |
Tom Stellard | 2a9d947 | 2015-05-12 15:00:46 +0000 | [diff] [blame] | 1087 | case AMDGPUIntrinsic::SI_fs_constant: { |
| 1088 | SDValue M0 = copyToM0(DAG, DAG.getEntryNode(), DL, Op.getOperand(3)); |
| 1089 | SDValue Glue = M0.getValue(1); |
| 1090 | return DAG.getNode(AMDGPUISD::INTERP_MOV, DL, MVT::f32, |
| 1091 | DAG.getConstant(2, DL, MVT::i32), // P0 |
| 1092 | Op.getOperand(1), Op.getOperand(2), Glue); |
| 1093 | } |
| 1094 | case AMDGPUIntrinsic::SI_fs_interp: { |
| 1095 | SDValue IJ = Op.getOperand(4); |
| 1096 | SDValue I = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, DL, MVT::i32, IJ, |
| 1097 | DAG.getConstant(0, DL, MVT::i32)); |
| 1098 | SDValue J = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, DL, MVT::i32, IJ, |
| 1099 | DAG.getConstant(1, DL, MVT::i32)); |
| 1100 | SDValue M0 = copyToM0(DAG, DAG.getEntryNode(), DL, Op.getOperand(3)); |
| 1101 | SDValue Glue = M0.getValue(1); |
| 1102 | SDValue P1 = DAG.getNode(AMDGPUISD::INTERP_P1, DL, |
| 1103 | DAG.getVTList(MVT::f32, MVT::Glue), |
| 1104 | I, Op.getOperand(1), Op.getOperand(2), Glue); |
| 1105 | Glue = SDValue(P1.getNode(), 1); |
| 1106 | return DAG.getNode(AMDGPUISD::INTERP_P2, DL, MVT::f32, P1, J, |
| 1107 | Op.getOperand(1), Op.getOperand(2), Glue); |
| 1108 | } |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1109 | default: |
| 1110 | return AMDGPUTargetLowering::LowerOperation(Op, DAG); |
| 1111 | } |
| 1112 | } |
| 1113 | |
| 1114 | SDValue SITargetLowering::LowerINTRINSIC_VOID(SDValue Op, |
| 1115 | SelectionDAG &DAG) const { |
| 1116 | MachineFunction &MF = DAG.getMachineFunction(); |
Tom Stellard | fc92e77 | 2015-05-12 14:18:14 +0000 | [diff] [blame] | 1117 | SDLoc DL(Op); |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1118 | SDValue Chain = Op.getOperand(0); |
| 1119 | unsigned IntrinsicID = cast<ConstantSDNode>(Op.getOperand(1))->getZExtValue(); |
| 1120 | |
| 1121 | switch (IntrinsicID) { |
Tom Stellard | fc92e77 | 2015-05-12 14:18:14 +0000 | [diff] [blame] | 1122 | case AMDGPUIntrinsic::SI_sendmsg: { |
| 1123 | Chain = copyToM0(DAG, Chain, DL, Op.getOperand(3)); |
| 1124 | SDValue Glue = Chain.getValue(1); |
| 1125 | return DAG.getNode(AMDGPUISD::SENDMSG, DL, MVT::Other, Chain, |
| 1126 | Op.getOperand(2), Glue); |
| 1127 | } |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1128 | case AMDGPUIntrinsic::SI_tbuffer_store: { |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 1129 | SDValue Ops[] = { |
| 1130 | Chain, |
| 1131 | Op.getOperand(2), |
| 1132 | Op.getOperand(3), |
| 1133 | Op.getOperand(4), |
| 1134 | Op.getOperand(5), |
| 1135 | Op.getOperand(6), |
| 1136 | Op.getOperand(7), |
| 1137 | Op.getOperand(8), |
| 1138 | Op.getOperand(9), |
| 1139 | Op.getOperand(10), |
| 1140 | Op.getOperand(11), |
| 1141 | Op.getOperand(12), |
| 1142 | Op.getOperand(13), |
| 1143 | Op.getOperand(14) |
| 1144 | }; |
| 1145 | |
| 1146 | EVT VT = Op.getOperand(3).getValueType(); |
| 1147 | |
| 1148 | MachineMemOperand *MMO = MF.getMachineMemOperand( |
| 1149 | MachinePointerInfo(), |
| 1150 | MachineMemOperand::MOStore, |
| 1151 | VT.getStoreSize(), 4); |
| 1152 | return DAG.getMemIntrinsicNode(AMDGPUISD::TBUFFER_STORE_FORMAT, DL, |
| 1153 | Op->getVTList(), Ops, VT, MMO); |
| 1154 | } |
| 1155 | default: |
| 1156 | return SDValue(); |
| 1157 | } |
| 1158 | } |
| 1159 | |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 1160 | SDValue SITargetLowering::LowerLOAD(SDValue Op, SelectionDAG &DAG) const { |
| 1161 | SDLoc DL(Op); |
| 1162 | LoadSDNode *Load = cast<LoadSDNode>(Op); |
| 1163 | |
Tom Stellard | e812f2f | 2014-07-21 15:45:06 +0000 | [diff] [blame] | 1164 | if (Op.getValueType().isVector()) { |
| 1165 | assert(Op.getValueType().getVectorElementType() == MVT::i32 && |
| 1166 | "Custom lowering for non-i32 vectors hasn't been implemented."); |
| 1167 | unsigned NumElements = Op.getValueType().getVectorNumElements(); |
| 1168 | assert(NumElements != 2 && "v2 loads are supported for all address spaces."); |
| 1169 | switch (Load->getAddressSpace()) { |
| 1170 | default: break; |
| 1171 | case AMDGPUAS::GLOBAL_ADDRESS: |
| 1172 | case AMDGPUAS::PRIVATE_ADDRESS: |
| 1173 | // v4 loads are supported for private and global memory. |
| 1174 | if (NumElements <= 4) |
| 1175 | break; |
| 1176 | // fall-through |
| 1177 | case AMDGPUAS::LOCAL_ADDRESS: |
Matt Arsenault | 83e6058 | 2014-07-24 17:10:35 +0000 | [diff] [blame] | 1178 | return ScalarizeVectorLoad(Op, DAG); |
Tom Stellard | e812f2f | 2014-07-21 15:45:06 +0000 | [diff] [blame] | 1179 | } |
Tom Stellard | e937360 | 2014-01-22 19:24:14 +0000 | [diff] [blame] | 1180 | } |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 1181 | |
Tom Stellard | e812f2f | 2014-07-21 15:45:06 +0000 | [diff] [blame] | 1182 | return AMDGPUTargetLowering::LowerLOAD(Op, DAG); |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 1183 | } |
| 1184 | |
Tom Stellard | 9fa1791 | 2013-08-14 23:24:45 +0000 | [diff] [blame] | 1185 | SDValue SITargetLowering::LowerSampleIntrinsic(unsigned Opcode, |
| 1186 | const SDValue &Op, |
| 1187 | SelectionDAG &DAG) const { |
| 1188 | return DAG.getNode(Opcode, SDLoc(Op), Op.getValueType(), Op.getOperand(1), |
| 1189 | Op.getOperand(2), |
Tom Stellard | 868fd92 | 2014-04-17 21:00:11 +0000 | [diff] [blame] | 1190 | Op.getOperand(3), |
Tom Stellard | 9fa1791 | 2013-08-14 23:24:45 +0000 | [diff] [blame] | 1191 | Op.getOperand(4)); |
| 1192 | } |
| 1193 | |
Tom Stellard | 0ec134f | 2014-02-04 17:18:40 +0000 | [diff] [blame] | 1194 | SDValue SITargetLowering::LowerSELECT(SDValue Op, SelectionDAG &DAG) const { |
| 1195 | if (Op.getValueType() != MVT::i64) |
| 1196 | return SDValue(); |
| 1197 | |
| 1198 | SDLoc DL(Op); |
| 1199 | SDValue Cond = Op.getOperand(0); |
Tom Stellard | 0ec134f | 2014-02-04 17:18:40 +0000 | [diff] [blame] | 1200 | |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1201 | SDValue Zero = DAG.getConstant(0, DL, MVT::i32); |
| 1202 | SDValue One = DAG.getConstant(1, DL, MVT::i32); |
Tom Stellard | 0ec134f | 2014-02-04 17:18:40 +0000 | [diff] [blame] | 1203 | |
Tom Stellard | 7ea3d6d | 2014-03-31 14:01:55 +0000 | [diff] [blame] | 1204 | SDValue LHS = DAG.getNode(ISD::BITCAST, DL, MVT::v2i32, Op.getOperand(1)); |
| 1205 | SDValue RHS = DAG.getNode(ISD::BITCAST, DL, MVT::v2i32, Op.getOperand(2)); |
| 1206 | |
| 1207 | SDValue Lo0 = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, DL, MVT::i32, LHS, Zero); |
| 1208 | SDValue Lo1 = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, DL, MVT::i32, RHS, Zero); |
Tom Stellard | 0ec134f | 2014-02-04 17:18:40 +0000 | [diff] [blame] | 1209 | |
| 1210 | SDValue Lo = DAG.getSelect(DL, MVT::i32, Cond, Lo0, Lo1); |
| 1211 | |
Tom Stellard | 7ea3d6d | 2014-03-31 14:01:55 +0000 | [diff] [blame] | 1212 | SDValue Hi0 = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, DL, MVT::i32, LHS, One); |
| 1213 | SDValue Hi1 = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, DL, MVT::i32, RHS, One); |
Tom Stellard | 0ec134f | 2014-02-04 17:18:40 +0000 | [diff] [blame] | 1214 | |
| 1215 | SDValue Hi = DAG.getSelect(DL, MVT::i32, Cond, Hi0, Hi1); |
| 1216 | |
Tom Stellard | 7ea3d6d | 2014-03-31 14:01:55 +0000 | [diff] [blame] | 1217 | SDValue Res = DAG.getNode(ISD::BUILD_VECTOR, DL, MVT::v2i32, Lo, Hi); |
| 1218 | return DAG.getNode(ISD::BITCAST, DL, MVT::i64, Res); |
Tom Stellard | 0ec134f | 2014-02-04 17:18:40 +0000 | [diff] [blame] | 1219 | } |
| 1220 | |
Matt Arsenault | 22ca3f8 | 2014-07-15 23:50:10 +0000 | [diff] [blame] | 1221 | // Catch division cases where we can use shortcuts with rcp and rsq |
| 1222 | // instructions. |
| 1223 | SDValue SITargetLowering::LowerFastFDIV(SDValue Op, SelectionDAG &DAG) const { |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 1224 | SDLoc SL(Op); |
| 1225 | SDValue LHS = Op.getOperand(0); |
| 1226 | SDValue RHS = Op.getOperand(1); |
| 1227 | EVT VT = Op.getValueType(); |
Matt Arsenault | 22ca3f8 | 2014-07-15 23:50:10 +0000 | [diff] [blame] | 1228 | bool Unsafe = DAG.getTarget().Options.UnsafeFPMath; |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 1229 | |
| 1230 | if (const ConstantFPSDNode *CLHS = dyn_cast<ConstantFPSDNode>(LHS)) { |
Matt Arsenault | 22ca3f8 | 2014-07-15 23:50:10 +0000 | [diff] [blame] | 1231 | if ((Unsafe || (VT == MVT::f32 && !Subtarget->hasFP32Denormals())) && |
| 1232 | CLHS->isExactlyValue(1.0)) { |
| 1233 | // v_rcp_f32 and v_rsq_f32 do not support denormals, and according to |
| 1234 | // the CI documentation has a worst case error of 1 ulp. |
| 1235 | // OpenCL requires <= 2.5 ulp for 1.0 / x, so it should always be OK to |
| 1236 | // use it as long as we aren't trying to use denormals. |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 1237 | |
| 1238 | // 1.0 / sqrt(x) -> rsq(x) |
Matt Arsenault | 22ca3f8 | 2014-07-15 23:50:10 +0000 | [diff] [blame] | 1239 | // |
| 1240 | // XXX - Is UnsafeFPMath sufficient to do this for f64? The maximum ULP |
| 1241 | // error seems really high at 2^29 ULP. |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 1242 | if (RHS.getOpcode() == ISD::FSQRT) |
| 1243 | return DAG.getNode(AMDGPUISD::RSQ, SL, VT, RHS.getOperand(0)); |
| 1244 | |
| 1245 | // 1.0 / x -> rcp(x) |
| 1246 | return DAG.getNode(AMDGPUISD::RCP, SL, VT, RHS); |
| 1247 | } |
| 1248 | } |
| 1249 | |
Matt Arsenault | 22ca3f8 | 2014-07-15 23:50:10 +0000 | [diff] [blame] | 1250 | if (Unsafe) { |
| 1251 | // Turn into multiply by the reciprocal. |
| 1252 | // x / y -> x * (1.0 / y) |
Sanjay Patel | a260701 | 2015-09-16 16:31:21 +0000 | [diff] [blame] | 1253 | SDNodeFlags Flags; |
| 1254 | Flags.setUnsafeAlgebra(true); |
Matt Arsenault | 22ca3f8 | 2014-07-15 23:50:10 +0000 | [diff] [blame] | 1255 | SDValue Recip = DAG.getNode(AMDGPUISD::RCP, SL, VT, RHS); |
Sanjay Patel | a260701 | 2015-09-16 16:31:21 +0000 | [diff] [blame] | 1256 | return DAG.getNode(ISD::FMUL, SL, VT, LHS, Recip, &Flags); |
Matt Arsenault | 22ca3f8 | 2014-07-15 23:50:10 +0000 | [diff] [blame] | 1257 | } |
| 1258 | |
| 1259 | return SDValue(); |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 1260 | } |
| 1261 | |
| 1262 | SDValue SITargetLowering::LowerFDIV32(SDValue Op, SelectionDAG &DAG) const { |
Matt Arsenault | 22ca3f8 | 2014-07-15 23:50:10 +0000 | [diff] [blame] | 1263 | SDValue FastLowered = LowerFastFDIV(Op, DAG); |
| 1264 | if (FastLowered.getNode()) |
| 1265 | return FastLowered; |
| 1266 | |
| 1267 | // This uses v_rcp_f32 which does not handle denormals. Let this hit a |
| 1268 | // selection error for now rather than do something incorrect. |
| 1269 | if (Subtarget->hasFP32Denormals()) |
| 1270 | return SDValue(); |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 1271 | |
| 1272 | SDLoc SL(Op); |
| 1273 | SDValue LHS = Op.getOperand(0); |
| 1274 | SDValue RHS = Op.getOperand(1); |
| 1275 | |
| 1276 | SDValue r1 = DAG.getNode(ISD::FABS, SL, MVT::f32, RHS); |
| 1277 | |
| 1278 | const APFloat K0Val(BitsToFloat(0x6f800000)); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1279 | const SDValue K0 = DAG.getConstantFP(K0Val, SL, MVT::f32); |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 1280 | |
| 1281 | const APFloat K1Val(BitsToFloat(0x2f800000)); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1282 | const SDValue K1 = DAG.getConstantFP(K1Val, SL, MVT::f32); |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 1283 | |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1284 | const SDValue One = DAG.getConstantFP(1.0, SL, MVT::f32); |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 1285 | |
Mehdi Amini | 44ede33 | 2015-07-09 02:09:04 +0000 | [diff] [blame] | 1286 | EVT SetCCVT = |
| 1287 | getSetCCResultType(DAG.getDataLayout(), *DAG.getContext(), MVT::f32); |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 1288 | |
| 1289 | SDValue r2 = DAG.getSetCC(SL, SetCCVT, r1, K0, ISD::SETOGT); |
| 1290 | |
| 1291 | SDValue r3 = DAG.getNode(ISD::SELECT, SL, MVT::f32, r2, K1, One); |
| 1292 | |
Sanjay Patel | a260701 | 2015-09-16 16:31:21 +0000 | [diff] [blame] | 1293 | // TODO: Should this propagate fast-math-flags? |
| 1294 | |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 1295 | r1 = DAG.getNode(ISD::FMUL, SL, MVT::f32, RHS, r3); |
| 1296 | |
| 1297 | SDValue r0 = DAG.getNode(AMDGPUISD::RCP, SL, MVT::f32, r1); |
| 1298 | |
| 1299 | SDValue Mul = DAG.getNode(ISD::FMUL, SL, MVT::f32, LHS, r0); |
| 1300 | |
| 1301 | return DAG.getNode(ISD::FMUL, SL, MVT::f32, r3, Mul); |
| 1302 | } |
| 1303 | |
| 1304 | SDValue SITargetLowering::LowerFDIV64(SDValue Op, SelectionDAG &DAG) const { |
Matt Arsenault | 0bbcd8b | 2015-02-14 04:30:08 +0000 | [diff] [blame] | 1305 | if (DAG.getTarget().Options.UnsafeFPMath) |
| 1306 | return LowerFastFDIV(Op, DAG); |
| 1307 | |
| 1308 | SDLoc SL(Op); |
| 1309 | SDValue X = Op.getOperand(0); |
| 1310 | SDValue Y = Op.getOperand(1); |
| 1311 | |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1312 | const SDValue One = DAG.getConstantFP(1.0, SL, MVT::f64); |
Matt Arsenault | 0bbcd8b | 2015-02-14 04:30:08 +0000 | [diff] [blame] | 1313 | |
| 1314 | SDVTList ScaleVT = DAG.getVTList(MVT::f64, MVT::i1); |
| 1315 | |
| 1316 | SDValue DivScale0 = DAG.getNode(AMDGPUISD::DIV_SCALE, SL, ScaleVT, Y, Y, X); |
| 1317 | |
| 1318 | SDValue NegDivScale0 = DAG.getNode(ISD::FNEG, SL, MVT::f64, DivScale0); |
| 1319 | |
| 1320 | SDValue Rcp = DAG.getNode(AMDGPUISD::RCP, SL, MVT::f64, DivScale0); |
| 1321 | |
| 1322 | SDValue Fma0 = DAG.getNode(ISD::FMA, SL, MVT::f64, NegDivScale0, Rcp, One); |
| 1323 | |
| 1324 | SDValue Fma1 = DAG.getNode(ISD::FMA, SL, MVT::f64, Rcp, Fma0, Rcp); |
| 1325 | |
| 1326 | SDValue Fma2 = DAG.getNode(ISD::FMA, SL, MVT::f64, NegDivScale0, Fma1, One); |
| 1327 | |
| 1328 | SDValue DivScale1 = DAG.getNode(AMDGPUISD::DIV_SCALE, SL, ScaleVT, X, Y, X); |
| 1329 | |
| 1330 | SDValue Fma3 = DAG.getNode(ISD::FMA, SL, MVT::f64, Fma1, Fma2, Fma1); |
| 1331 | SDValue Mul = DAG.getNode(ISD::FMUL, SL, MVT::f64, DivScale1, Fma3); |
| 1332 | |
| 1333 | SDValue Fma4 = DAG.getNode(ISD::FMA, SL, MVT::f64, |
| 1334 | NegDivScale0, Mul, DivScale1); |
| 1335 | |
| 1336 | SDValue Scale; |
| 1337 | |
| 1338 | if (Subtarget->getGeneration() == AMDGPUSubtarget::SOUTHERN_ISLANDS) { |
| 1339 | // Workaround a hardware bug on SI where the condition output from div_scale |
| 1340 | // is not usable. |
| 1341 | |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1342 | const SDValue Hi = DAG.getConstant(1, SL, MVT::i32); |
Matt Arsenault | 0bbcd8b | 2015-02-14 04:30:08 +0000 | [diff] [blame] | 1343 | |
| 1344 | // Figure out if the scale to use for div_fmas. |
| 1345 | SDValue NumBC = DAG.getNode(ISD::BITCAST, SL, MVT::v2i32, X); |
| 1346 | SDValue DenBC = DAG.getNode(ISD::BITCAST, SL, MVT::v2i32, Y); |
| 1347 | SDValue Scale0BC = DAG.getNode(ISD::BITCAST, SL, MVT::v2i32, DivScale0); |
| 1348 | SDValue Scale1BC = DAG.getNode(ISD::BITCAST, SL, MVT::v2i32, DivScale1); |
| 1349 | |
| 1350 | SDValue NumHi = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, SL, MVT::i32, NumBC, Hi); |
| 1351 | SDValue DenHi = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, SL, MVT::i32, DenBC, Hi); |
| 1352 | |
| 1353 | SDValue Scale0Hi |
| 1354 | = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, SL, MVT::i32, Scale0BC, Hi); |
| 1355 | SDValue Scale1Hi |
| 1356 | = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, SL, MVT::i32, Scale1BC, Hi); |
| 1357 | |
| 1358 | SDValue CmpDen = DAG.getSetCC(SL, MVT::i1, DenHi, Scale0Hi, ISD::SETEQ); |
| 1359 | SDValue CmpNum = DAG.getSetCC(SL, MVT::i1, NumHi, Scale1Hi, ISD::SETEQ); |
| 1360 | Scale = DAG.getNode(ISD::XOR, SL, MVT::i1, CmpNum, CmpDen); |
| 1361 | } else { |
| 1362 | Scale = DivScale1.getValue(1); |
| 1363 | } |
| 1364 | |
| 1365 | SDValue Fmas = DAG.getNode(AMDGPUISD::DIV_FMAS, SL, MVT::f64, |
| 1366 | Fma4, Fma3, Mul, Scale); |
| 1367 | |
| 1368 | return DAG.getNode(AMDGPUISD::DIV_FIXUP, SL, MVT::f64, Fmas, Y, X); |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 1369 | } |
| 1370 | |
| 1371 | SDValue SITargetLowering::LowerFDIV(SDValue Op, SelectionDAG &DAG) const { |
| 1372 | EVT VT = Op.getValueType(); |
| 1373 | |
| 1374 | if (VT == MVT::f32) |
| 1375 | return LowerFDIV32(Op, DAG); |
| 1376 | |
| 1377 | if (VT == MVT::f64) |
| 1378 | return LowerFDIV64(Op, DAG); |
| 1379 | |
| 1380 | llvm_unreachable("Unexpected type for fdiv"); |
| 1381 | } |
| 1382 | |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 1383 | SDValue SITargetLowering::LowerSTORE(SDValue Op, SelectionDAG &DAG) const { |
| 1384 | SDLoc DL(Op); |
| 1385 | StoreSDNode *Store = cast<StoreSDNode>(Op); |
| 1386 | EVT VT = Store->getMemoryVT(); |
| 1387 | |
Tom Stellard | 9b3816b | 2014-06-24 23:33:04 +0000 | [diff] [blame] | 1388 | // These stores are legal. |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 1389 | if (Store->getAddressSpace() == AMDGPUAS::PRIVATE_ADDRESS) { |
| 1390 | if (VT.isVector() && VT.getVectorNumElements() > 4) |
Matt Arsenault | 83e6058 | 2014-07-24 17:10:35 +0000 | [diff] [blame] | 1391 | return ScalarizeVectorStore(Op, DAG); |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 1392 | return SDValue(); |
| 1393 | } |
| 1394 | |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 1395 | SDValue Ret = AMDGPUTargetLowering::LowerSTORE(Op, DAG); |
| 1396 | if (Ret.getNode()) |
| 1397 | return Ret; |
| 1398 | |
| 1399 | if (VT.isVector() && VT.getVectorNumElements() >= 8) |
Matt Arsenault | 83e6058 | 2014-07-24 17:10:35 +0000 | [diff] [blame] | 1400 | return ScalarizeVectorStore(Op, DAG); |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 1401 | |
Tom Stellard | 1c8788e | 2014-03-07 20:12:33 +0000 | [diff] [blame] | 1402 | if (VT == MVT::i1) |
| 1403 | return DAG.getTruncStore(Store->getChain(), DL, |
| 1404 | DAG.getSExtOrTrunc(Store->getValue(), DL, MVT::i32), |
| 1405 | Store->getBasePtr(), MVT::i1, Store->getMemOperand()); |
| 1406 | |
Tom Stellard | e812f2f | 2014-07-21 15:45:06 +0000 | [diff] [blame] | 1407 | return SDValue(); |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 1408 | } |
| 1409 | |
Matt Arsenault | ad14ce8 | 2014-07-19 18:44:39 +0000 | [diff] [blame] | 1410 | SDValue SITargetLowering::LowerTrig(SDValue Op, SelectionDAG &DAG) const { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1411 | SDLoc DL(Op); |
Matt Arsenault | ad14ce8 | 2014-07-19 18:44:39 +0000 | [diff] [blame] | 1412 | EVT VT = Op.getValueType(); |
| 1413 | SDValue Arg = Op.getOperand(0); |
Sanjay Patel | a260701 | 2015-09-16 16:31:21 +0000 | [diff] [blame] | 1414 | // TODO: Should this propagate fast-math-flags? |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1415 | SDValue FractPart = DAG.getNode(AMDGPUISD::FRACT, DL, VT, |
| 1416 | DAG.getNode(ISD::FMUL, DL, VT, Arg, |
| 1417 | DAG.getConstantFP(0.5/M_PI, DL, |
| 1418 | VT))); |
Matt Arsenault | ad14ce8 | 2014-07-19 18:44:39 +0000 | [diff] [blame] | 1419 | |
| 1420 | switch (Op.getOpcode()) { |
| 1421 | case ISD::FCOS: |
| 1422 | return DAG.getNode(AMDGPUISD::COS_HW, SDLoc(Op), VT, FractPart); |
| 1423 | case ISD::FSIN: |
| 1424 | return DAG.getNode(AMDGPUISD::SIN_HW, SDLoc(Op), VT, FractPart); |
| 1425 | default: |
| 1426 | llvm_unreachable("Wrong trig opcode"); |
| 1427 | } |
| 1428 | } |
| 1429 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 1430 | //===----------------------------------------------------------------------===// |
| 1431 | // Custom DAG optimizations |
| 1432 | //===----------------------------------------------------------------------===// |
| 1433 | |
Matt Arsenault | 364a674 | 2014-06-11 17:50:44 +0000 | [diff] [blame] | 1434 | SDValue SITargetLowering::performUCharToFloatCombine(SDNode *N, |
Matt Arsenault | e698663 | 2015-01-14 01:35:22 +0000 | [diff] [blame] | 1435 | DAGCombinerInfo &DCI) const { |
Matt Arsenault | 364a674 | 2014-06-11 17:50:44 +0000 | [diff] [blame] | 1436 | EVT VT = N->getValueType(0); |
| 1437 | EVT ScalarVT = VT.getScalarType(); |
| 1438 | if (ScalarVT != MVT::f32) |
| 1439 | return SDValue(); |
| 1440 | |
| 1441 | SelectionDAG &DAG = DCI.DAG; |
| 1442 | SDLoc DL(N); |
| 1443 | |
| 1444 | SDValue Src = N->getOperand(0); |
| 1445 | EVT SrcVT = Src.getValueType(); |
| 1446 | |
| 1447 | // TODO: We could try to match extracting the higher bytes, which would be |
| 1448 | // easier if i8 vectors weren't promoted to i32 vectors, particularly after |
| 1449 | // types are legalized. v4i8 -> v4f32 is probably the only case to worry |
| 1450 | // about in practice. |
| 1451 | if (DCI.isAfterLegalizeVectorOps() && SrcVT == MVT::i32) { |
| 1452 | if (DAG.MaskedValueIsZero(Src, APInt::getHighBitsSet(32, 24))) { |
| 1453 | SDValue Cvt = DAG.getNode(AMDGPUISD::CVT_F32_UBYTE0, DL, VT, Src); |
| 1454 | DCI.AddToWorklist(Cvt.getNode()); |
| 1455 | return Cvt; |
| 1456 | } |
| 1457 | } |
| 1458 | |
| 1459 | // We are primarily trying to catch operations on illegal vector types |
| 1460 | // before they are expanded. |
| 1461 | // For scalars, we can use the more flexible method of checking masked bits |
| 1462 | // after legalization. |
| 1463 | if (!DCI.isBeforeLegalize() || |
| 1464 | !SrcVT.isVector() || |
| 1465 | SrcVT.getVectorElementType() != MVT::i8) { |
| 1466 | return SDValue(); |
| 1467 | } |
| 1468 | |
| 1469 | assert(DCI.isBeforeLegalize() && "Unexpected legal type"); |
| 1470 | |
| 1471 | // Weird sized vectors are a pain to handle, but we know 3 is really the same |
| 1472 | // size as 4. |
| 1473 | unsigned NElts = SrcVT.getVectorNumElements(); |
| 1474 | if (!SrcVT.isSimple() && NElts != 3) |
| 1475 | return SDValue(); |
| 1476 | |
| 1477 | // Handle v4i8 -> v4f32 extload. Replace the v4i8 with a legal i32 load to |
| 1478 | // prevent a mess from expanding to v4i32 and repacking. |
| 1479 | if (ISD::isNormalLoad(Src.getNode()) && Src.hasOneUse()) { |
| 1480 | EVT LoadVT = getEquivalentMemType(*DAG.getContext(), SrcVT); |
| 1481 | EVT RegVT = getEquivalentLoadRegType(*DAG.getContext(), SrcVT); |
| 1482 | EVT FloatVT = EVT::getVectorVT(*DAG.getContext(), MVT::f32, NElts); |
Matt Arsenault | 364a674 | 2014-06-11 17:50:44 +0000 | [diff] [blame] | 1483 | LoadSDNode *Load = cast<LoadSDNode>(Src); |
Matt Arsenault | e698663 | 2015-01-14 01:35:22 +0000 | [diff] [blame] | 1484 | |
| 1485 | unsigned AS = Load->getAddressSpace(); |
| 1486 | unsigned Align = Load->getAlignment(); |
| 1487 | Type *Ty = LoadVT.getTypeForEVT(*DAG.getContext()); |
Mehdi Amini | a749f2a | 2015-07-09 02:09:52 +0000 | [diff] [blame] | 1488 | unsigned ABIAlignment = DAG.getDataLayout().getABITypeAlignment(Ty); |
Matt Arsenault | e698663 | 2015-01-14 01:35:22 +0000 | [diff] [blame] | 1489 | |
| 1490 | // Don't try to replace the load if we have to expand it due to alignment |
| 1491 | // problems. Otherwise we will end up scalarizing the load, and trying to |
| 1492 | // repack into the vector for no real reason. |
| 1493 | if (Align < ABIAlignment && |
| 1494 | !allowsMisalignedMemoryAccesses(LoadVT, AS, Align, nullptr)) { |
| 1495 | return SDValue(); |
| 1496 | } |
| 1497 | |
Matt Arsenault | 364a674 | 2014-06-11 17:50:44 +0000 | [diff] [blame] | 1498 | SDValue NewLoad = DAG.getExtLoad(ISD::ZEXTLOAD, DL, RegVT, |
| 1499 | Load->getChain(), |
| 1500 | Load->getBasePtr(), |
| 1501 | LoadVT, |
| 1502 | Load->getMemOperand()); |
| 1503 | |
| 1504 | // Make sure successors of the original load stay after it by updating |
| 1505 | // them to use the new Chain. |
| 1506 | DAG.ReplaceAllUsesOfValueWith(SDValue(Load, 1), NewLoad.getValue(1)); |
| 1507 | |
| 1508 | SmallVector<SDValue, 4> Elts; |
| 1509 | if (RegVT.isVector()) |
| 1510 | DAG.ExtractVectorElements(NewLoad, Elts); |
| 1511 | else |
| 1512 | Elts.push_back(NewLoad); |
| 1513 | |
| 1514 | SmallVector<SDValue, 4> Ops; |
| 1515 | |
| 1516 | unsigned EltIdx = 0; |
| 1517 | for (SDValue Elt : Elts) { |
| 1518 | unsigned ComponentsInElt = std::min(4u, NElts - 4 * EltIdx); |
| 1519 | for (unsigned I = 0; I < ComponentsInElt; ++I) { |
| 1520 | unsigned Opc = AMDGPUISD::CVT_F32_UBYTE0 + I; |
| 1521 | SDValue Cvt = DAG.getNode(Opc, DL, MVT::f32, Elt); |
| 1522 | DCI.AddToWorklist(Cvt.getNode()); |
| 1523 | Ops.push_back(Cvt); |
| 1524 | } |
| 1525 | |
| 1526 | ++EltIdx; |
| 1527 | } |
| 1528 | |
| 1529 | assert(Ops.size() == NElts); |
| 1530 | |
| 1531 | return DAG.getNode(ISD::BUILD_VECTOR, DL, FloatVT, Ops); |
| 1532 | } |
| 1533 | |
| 1534 | return SDValue(); |
| 1535 | } |
| 1536 | |
Eric Christopher | 6c5b511 | 2015-03-11 18:43:21 +0000 | [diff] [blame] | 1537 | /// \brief Return true if the given offset Size in bytes can be folded into |
| 1538 | /// the immediate offsets of a memory instruction for the given address space. |
| 1539 | static bool canFoldOffset(unsigned OffsetSize, unsigned AS, |
| 1540 | const AMDGPUSubtarget &STI) { |
| 1541 | switch (AS) { |
| 1542 | case AMDGPUAS::GLOBAL_ADDRESS: { |
| 1543 | // MUBUF instructions a 12-bit offset in bytes. |
| 1544 | return isUInt<12>(OffsetSize); |
| 1545 | } |
| 1546 | case AMDGPUAS::CONSTANT_ADDRESS: { |
| 1547 | // SMRD instructions have an 8-bit offset in dwords on SI and |
| 1548 | // a 20-bit offset in bytes on VI. |
| 1549 | if (STI.getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS) |
| 1550 | return isUInt<20>(OffsetSize); |
| 1551 | else |
| 1552 | return (OffsetSize % 4 == 0) && isUInt<8>(OffsetSize / 4); |
| 1553 | } |
| 1554 | case AMDGPUAS::LOCAL_ADDRESS: |
| 1555 | case AMDGPUAS::REGION_ADDRESS: { |
| 1556 | // The single offset versions have a 16-bit offset in bytes. |
| 1557 | return isUInt<16>(OffsetSize); |
| 1558 | } |
| 1559 | case AMDGPUAS::PRIVATE_ADDRESS: |
| 1560 | // Indirect register addressing does not use any offsets. |
| 1561 | default: |
| 1562 | return 0; |
| 1563 | } |
| 1564 | } |
| 1565 | |
Matt Arsenault | b2baffa | 2014-08-15 17:49:05 +0000 | [diff] [blame] | 1566 | // (shl (add x, c1), c2) -> add (shl x, c2), (shl c1, c2) |
| 1567 | |
| 1568 | // This is a variant of |
| 1569 | // (mul (add x, c1), c2) -> add (mul x, c2), (mul c1, c2), |
| 1570 | // |
| 1571 | // The normal DAG combiner will do this, but only if the add has one use since |
| 1572 | // that would increase the number of instructions. |
| 1573 | // |
| 1574 | // This prevents us from seeing a constant offset that can be folded into a |
| 1575 | // memory instruction's addressing mode. If we know the resulting add offset of |
| 1576 | // a pointer can be folded into an addressing offset, we can replace the pointer |
| 1577 | // operand with the add of new constant offset. This eliminates one of the uses, |
| 1578 | // and may allow the remaining use to also be simplified. |
| 1579 | // |
| 1580 | SDValue SITargetLowering::performSHLPtrCombine(SDNode *N, |
| 1581 | unsigned AddrSpace, |
| 1582 | DAGCombinerInfo &DCI) const { |
| 1583 | SDValue N0 = N->getOperand(0); |
| 1584 | SDValue N1 = N->getOperand(1); |
| 1585 | |
| 1586 | if (N0.getOpcode() != ISD::ADD) |
| 1587 | return SDValue(); |
| 1588 | |
| 1589 | const ConstantSDNode *CN1 = dyn_cast<ConstantSDNode>(N1); |
| 1590 | if (!CN1) |
| 1591 | return SDValue(); |
| 1592 | |
| 1593 | const ConstantSDNode *CAdd = dyn_cast<ConstantSDNode>(N0.getOperand(1)); |
| 1594 | if (!CAdd) |
| 1595 | return SDValue(); |
| 1596 | |
Matt Arsenault | b2baffa | 2014-08-15 17:49:05 +0000 | [diff] [blame] | 1597 | // If the resulting offset is too large, we can't fold it into the addressing |
| 1598 | // mode offset. |
| 1599 | APInt Offset = CAdd->getAPIntValue() << CN1->getAPIntValue(); |
Eric Christopher | 6c5b511 | 2015-03-11 18:43:21 +0000 | [diff] [blame] | 1600 | if (!canFoldOffset(Offset.getZExtValue(), AddrSpace, *Subtarget)) |
Matt Arsenault | b2baffa | 2014-08-15 17:49:05 +0000 | [diff] [blame] | 1601 | return SDValue(); |
| 1602 | |
| 1603 | SelectionDAG &DAG = DCI.DAG; |
| 1604 | SDLoc SL(N); |
| 1605 | EVT VT = N->getValueType(0); |
| 1606 | |
| 1607 | SDValue ShlX = DAG.getNode(ISD::SHL, SL, VT, N0.getOperand(0), N1); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1608 | SDValue COffset = DAG.getConstant(Offset, SL, MVT::i32); |
Matt Arsenault | b2baffa | 2014-08-15 17:49:05 +0000 | [diff] [blame] | 1609 | |
| 1610 | return DAG.getNode(ISD::ADD, SL, VT, ShlX, COffset); |
| 1611 | } |
| 1612 | |
Matt Arsenault | d0101a2 | 2015-01-06 23:00:46 +0000 | [diff] [blame] | 1613 | SDValue SITargetLowering::performAndCombine(SDNode *N, |
| 1614 | DAGCombinerInfo &DCI) const { |
| 1615 | if (DCI.isBeforeLegalize()) |
| 1616 | return SDValue(); |
| 1617 | |
| 1618 | SelectionDAG &DAG = DCI.DAG; |
| 1619 | |
| 1620 | // (and (fcmp ord x, x), (fcmp une (fabs x), inf)) -> |
| 1621 | // fp_class x, ~(s_nan | q_nan | n_infinity | p_infinity) |
| 1622 | SDValue LHS = N->getOperand(0); |
| 1623 | SDValue RHS = N->getOperand(1); |
| 1624 | |
| 1625 | if (LHS.getOpcode() == ISD::SETCC && |
| 1626 | RHS.getOpcode() == ISD::SETCC) { |
| 1627 | ISD::CondCode LCC = cast<CondCodeSDNode>(LHS.getOperand(2))->get(); |
| 1628 | ISD::CondCode RCC = cast<CondCodeSDNode>(RHS.getOperand(2))->get(); |
| 1629 | |
| 1630 | SDValue X = LHS.getOperand(0); |
| 1631 | SDValue Y = RHS.getOperand(0); |
| 1632 | if (Y.getOpcode() != ISD::FABS || Y.getOperand(0) != X) |
| 1633 | return SDValue(); |
| 1634 | |
| 1635 | if (LCC == ISD::SETO) { |
| 1636 | if (X != LHS.getOperand(1)) |
| 1637 | return SDValue(); |
| 1638 | |
| 1639 | if (RCC == ISD::SETUNE) { |
| 1640 | const ConstantFPSDNode *C1 = dyn_cast<ConstantFPSDNode>(RHS.getOperand(1)); |
| 1641 | if (!C1 || !C1->isInfinity() || C1->isNegative()) |
| 1642 | return SDValue(); |
| 1643 | |
| 1644 | const uint32_t Mask = SIInstrFlags::N_NORMAL | |
| 1645 | SIInstrFlags::N_SUBNORMAL | |
| 1646 | SIInstrFlags::N_ZERO | |
| 1647 | SIInstrFlags::P_ZERO | |
| 1648 | SIInstrFlags::P_SUBNORMAL | |
| 1649 | SIInstrFlags::P_NORMAL; |
| 1650 | |
| 1651 | static_assert(((~(SIInstrFlags::S_NAN | |
| 1652 | SIInstrFlags::Q_NAN | |
| 1653 | SIInstrFlags::N_INFINITY | |
| 1654 | SIInstrFlags::P_INFINITY)) & 0x3ff) == Mask, |
| 1655 | "mask not equal"); |
| 1656 | |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1657 | SDLoc DL(N); |
| 1658 | return DAG.getNode(AMDGPUISD::FP_CLASS, DL, MVT::i1, |
| 1659 | X, DAG.getConstant(Mask, DL, MVT::i32)); |
Matt Arsenault | d0101a2 | 2015-01-06 23:00:46 +0000 | [diff] [blame] | 1660 | } |
| 1661 | } |
| 1662 | } |
| 1663 | |
| 1664 | return SDValue(); |
| 1665 | } |
| 1666 | |
Matt Arsenault | f229033 | 2015-01-06 23:00:39 +0000 | [diff] [blame] | 1667 | SDValue SITargetLowering::performOrCombine(SDNode *N, |
| 1668 | DAGCombinerInfo &DCI) const { |
| 1669 | SelectionDAG &DAG = DCI.DAG; |
| 1670 | SDValue LHS = N->getOperand(0); |
| 1671 | SDValue RHS = N->getOperand(1); |
| 1672 | |
| 1673 | // or (fp_class x, c1), (fp_class x, c2) -> fp_class x, (c1 | c2) |
| 1674 | if (LHS.getOpcode() == AMDGPUISD::FP_CLASS && |
| 1675 | RHS.getOpcode() == AMDGPUISD::FP_CLASS) { |
| 1676 | SDValue Src = LHS.getOperand(0); |
| 1677 | if (Src != RHS.getOperand(0)) |
| 1678 | return SDValue(); |
| 1679 | |
| 1680 | const ConstantSDNode *CLHS = dyn_cast<ConstantSDNode>(LHS.getOperand(1)); |
| 1681 | const ConstantSDNode *CRHS = dyn_cast<ConstantSDNode>(RHS.getOperand(1)); |
| 1682 | if (!CLHS || !CRHS) |
| 1683 | return SDValue(); |
| 1684 | |
| 1685 | // Only 10 bits are used. |
| 1686 | static const uint32_t MaxMask = 0x3ff; |
| 1687 | |
| 1688 | uint32_t NewMask = (CLHS->getZExtValue() | CRHS->getZExtValue()) & MaxMask; |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1689 | SDLoc DL(N); |
| 1690 | return DAG.getNode(AMDGPUISD::FP_CLASS, DL, MVT::i1, |
| 1691 | Src, DAG.getConstant(NewMask, DL, MVT::i32)); |
Matt Arsenault | f229033 | 2015-01-06 23:00:39 +0000 | [diff] [blame] | 1692 | } |
| 1693 | |
| 1694 | return SDValue(); |
| 1695 | } |
| 1696 | |
| 1697 | SDValue SITargetLowering::performClassCombine(SDNode *N, |
| 1698 | DAGCombinerInfo &DCI) const { |
| 1699 | SelectionDAG &DAG = DCI.DAG; |
| 1700 | SDValue Mask = N->getOperand(1); |
| 1701 | |
| 1702 | // fp_class x, 0 -> false |
| 1703 | if (const ConstantSDNode *CMask = dyn_cast<ConstantSDNode>(Mask)) { |
| 1704 | if (CMask->isNullValue()) |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1705 | return DAG.getConstant(0, SDLoc(N), MVT::i1); |
Matt Arsenault | f229033 | 2015-01-06 23:00:39 +0000 | [diff] [blame] | 1706 | } |
| 1707 | |
| 1708 | return SDValue(); |
| 1709 | } |
| 1710 | |
Matt Arsenault | cc3c2b3 | 2014-11-14 20:08:52 +0000 | [diff] [blame] | 1711 | static unsigned minMaxOpcToMin3Max3Opc(unsigned Opc) { |
| 1712 | switch (Opc) { |
| 1713 | case ISD::FMAXNUM: |
| 1714 | return AMDGPUISD::FMAX3; |
Matt Arsenault | 5881f4e | 2015-06-09 00:52:37 +0000 | [diff] [blame] | 1715 | case ISD::SMAX: |
Matt Arsenault | cc3c2b3 | 2014-11-14 20:08:52 +0000 | [diff] [blame] | 1716 | return AMDGPUISD::SMAX3; |
Matt Arsenault | 5881f4e | 2015-06-09 00:52:37 +0000 | [diff] [blame] | 1717 | case ISD::UMAX: |
Matt Arsenault | cc3c2b3 | 2014-11-14 20:08:52 +0000 | [diff] [blame] | 1718 | return AMDGPUISD::UMAX3; |
| 1719 | case ISD::FMINNUM: |
| 1720 | return AMDGPUISD::FMIN3; |
Matt Arsenault | 5881f4e | 2015-06-09 00:52:37 +0000 | [diff] [blame] | 1721 | case ISD::SMIN: |
Matt Arsenault | cc3c2b3 | 2014-11-14 20:08:52 +0000 | [diff] [blame] | 1722 | return AMDGPUISD::SMIN3; |
Matt Arsenault | 5881f4e | 2015-06-09 00:52:37 +0000 | [diff] [blame] | 1723 | case ISD::UMIN: |
Matt Arsenault | cc3c2b3 | 2014-11-14 20:08:52 +0000 | [diff] [blame] | 1724 | return AMDGPUISD::UMIN3; |
| 1725 | default: |
| 1726 | llvm_unreachable("Not a min/max opcode"); |
| 1727 | } |
| 1728 | } |
| 1729 | |
| 1730 | SDValue SITargetLowering::performMin3Max3Combine(SDNode *N, |
| 1731 | DAGCombinerInfo &DCI) const { |
| 1732 | SelectionDAG &DAG = DCI.DAG; |
| 1733 | |
| 1734 | unsigned Opc = N->getOpcode(); |
| 1735 | SDValue Op0 = N->getOperand(0); |
| 1736 | SDValue Op1 = N->getOperand(1); |
| 1737 | |
| 1738 | // Only do this if the inner op has one use since this will just increases |
| 1739 | // register pressure for no benefit. |
| 1740 | |
| 1741 | // max(max(a, b), c) |
| 1742 | if (Op0.getOpcode() == Opc && Op0.hasOneUse()) { |
| 1743 | SDLoc DL(N); |
| 1744 | return DAG.getNode(minMaxOpcToMin3Max3Opc(Opc), |
| 1745 | DL, |
| 1746 | N->getValueType(0), |
| 1747 | Op0.getOperand(0), |
| 1748 | Op0.getOperand(1), |
| 1749 | Op1); |
| 1750 | } |
| 1751 | |
| 1752 | // max(a, max(b, c)) |
| 1753 | if (Op1.getOpcode() == Opc && Op1.hasOneUse()) { |
| 1754 | SDLoc DL(N); |
| 1755 | return DAG.getNode(minMaxOpcToMin3Max3Opc(Opc), |
| 1756 | DL, |
| 1757 | N->getValueType(0), |
| 1758 | Op0, |
| 1759 | Op1.getOperand(0), |
| 1760 | Op1.getOperand(1)); |
| 1761 | } |
| 1762 | |
| 1763 | return SDValue(); |
| 1764 | } |
| 1765 | |
Matt Arsenault | 6f6233d | 2015-01-06 23:00:41 +0000 | [diff] [blame] | 1766 | SDValue SITargetLowering::performSetCCCombine(SDNode *N, |
| 1767 | DAGCombinerInfo &DCI) const { |
| 1768 | SelectionDAG &DAG = DCI.DAG; |
| 1769 | SDLoc SL(N); |
| 1770 | |
| 1771 | SDValue LHS = N->getOperand(0); |
| 1772 | SDValue RHS = N->getOperand(1); |
| 1773 | EVT VT = LHS.getValueType(); |
| 1774 | |
| 1775 | if (VT != MVT::f32 && VT != MVT::f64) |
| 1776 | return SDValue(); |
| 1777 | |
| 1778 | // Match isinf pattern |
| 1779 | // (fcmp oeq (fabs x), inf) -> (fp_class x, (p_infinity | n_infinity)) |
| 1780 | ISD::CondCode CC = cast<CondCodeSDNode>(N->getOperand(2))->get(); |
| 1781 | if (CC == ISD::SETOEQ && LHS.getOpcode() == ISD::FABS) { |
| 1782 | const ConstantFPSDNode *CRHS = dyn_cast<ConstantFPSDNode>(RHS); |
| 1783 | if (!CRHS) |
| 1784 | return SDValue(); |
| 1785 | |
| 1786 | const APFloat &APF = CRHS->getValueAPF(); |
| 1787 | if (APF.isInfinity() && !APF.isNegative()) { |
| 1788 | unsigned Mask = SIInstrFlags::P_INFINITY | SIInstrFlags::N_INFINITY; |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1789 | return DAG.getNode(AMDGPUISD::FP_CLASS, SL, MVT::i1, LHS.getOperand(0), |
| 1790 | DAG.getConstant(Mask, SL, MVT::i32)); |
Matt Arsenault | 6f6233d | 2015-01-06 23:00:41 +0000 | [diff] [blame] | 1791 | } |
| 1792 | } |
| 1793 | |
| 1794 | return SDValue(); |
| 1795 | } |
| 1796 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 1797 | SDValue SITargetLowering::PerformDAGCombine(SDNode *N, |
| 1798 | DAGCombinerInfo &DCI) const { |
| 1799 | SelectionDAG &DAG = DCI.DAG; |
Andrew Trick | ef9de2a | 2013-05-25 02:42:55 +0000 | [diff] [blame] | 1800 | SDLoc DL(N); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 1801 | |
| 1802 | switch (N->getOpcode()) { |
Matt Arsenault | 22b4c25 | 2014-12-21 16:48:42 +0000 | [diff] [blame] | 1803 | default: |
| 1804 | return AMDGPUTargetLowering::PerformDAGCombine(N, DCI); |
Matt Arsenault | 6f6233d | 2015-01-06 23:00:41 +0000 | [diff] [blame] | 1805 | case ISD::SETCC: |
| 1806 | return performSetCCCombine(N, DCI); |
Matt Arsenault | cc3c2b3 | 2014-11-14 20:08:52 +0000 | [diff] [blame] | 1807 | case ISD::FMAXNUM: // TODO: What about fmax_legacy? |
| 1808 | case ISD::FMINNUM: |
Matt Arsenault | 5881f4e | 2015-06-09 00:52:37 +0000 | [diff] [blame] | 1809 | case ISD::SMAX: |
| 1810 | case ISD::SMIN: |
| 1811 | case ISD::UMAX: |
| 1812 | case ISD::UMIN: { |
Matt Arsenault | cc3c2b3 | 2014-11-14 20:08:52 +0000 | [diff] [blame] | 1813 | if (DCI.getDAGCombineLevel() >= AfterLegalizeDAG && |
Tom Stellard | 7c840bc | 2015-03-16 15:53:55 +0000 | [diff] [blame] | 1814 | N->getValueType(0) != MVT::f64 && |
Matt Arsenault | cc3c2b3 | 2014-11-14 20:08:52 +0000 | [diff] [blame] | 1815 | getTargetMachine().getOptLevel() > CodeGenOpt::None) |
| 1816 | return performMin3Max3Combine(N, DCI); |
| 1817 | break; |
| 1818 | } |
Matt Arsenault | 364a674 | 2014-06-11 17:50:44 +0000 | [diff] [blame] | 1819 | |
| 1820 | case AMDGPUISD::CVT_F32_UBYTE0: |
| 1821 | case AMDGPUISD::CVT_F32_UBYTE1: |
| 1822 | case AMDGPUISD::CVT_F32_UBYTE2: |
| 1823 | case AMDGPUISD::CVT_F32_UBYTE3: { |
| 1824 | unsigned Offset = N->getOpcode() - AMDGPUISD::CVT_F32_UBYTE0; |
| 1825 | |
| 1826 | SDValue Src = N->getOperand(0); |
| 1827 | APInt Demanded = APInt::getBitsSet(32, 8 * Offset, 8 * Offset + 8); |
| 1828 | |
| 1829 | APInt KnownZero, KnownOne; |
| 1830 | TargetLowering::TargetLoweringOpt TLO(DAG, !DCI.isBeforeLegalize(), |
| 1831 | !DCI.isBeforeLegalizeOps()); |
| 1832 | const TargetLowering &TLI = DAG.getTargetLoweringInfo(); |
| 1833 | if (TLO.ShrinkDemandedConstant(Src, Demanded) || |
| 1834 | TLI.SimplifyDemandedBits(Src, Demanded, KnownZero, KnownOne, TLO)) { |
| 1835 | DCI.CommitTargetLoweringOpt(TLO); |
| 1836 | } |
| 1837 | |
| 1838 | break; |
| 1839 | } |
| 1840 | |
| 1841 | case ISD::UINT_TO_FP: { |
| 1842 | return performUCharToFloatCombine(N, DCI); |
Matt Arsenault | 8675db1 | 2014-08-29 16:01:14 +0000 | [diff] [blame] | 1843 | |
Matt Arsenault | 02cb0ff | 2014-09-29 14:59:34 +0000 | [diff] [blame] | 1844 | case ISD::FADD: { |
| 1845 | if (DCI.getDAGCombineLevel() < AfterLegalizeDAG) |
| 1846 | break; |
| 1847 | |
| 1848 | EVT VT = N->getValueType(0); |
| 1849 | if (VT != MVT::f32) |
| 1850 | break; |
| 1851 | |
Matt Arsenault | 8d63003 | 2015-02-20 22:10:41 +0000 | [diff] [blame] | 1852 | // Only do this if we are not trying to support denormals. v_mad_f32 does |
| 1853 | // not support denormals ever. |
| 1854 | if (Subtarget->hasFP32Denormals()) |
| 1855 | break; |
| 1856 | |
Matt Arsenault | 02cb0ff | 2014-09-29 14:59:34 +0000 | [diff] [blame] | 1857 | SDValue LHS = N->getOperand(0); |
| 1858 | SDValue RHS = N->getOperand(1); |
| 1859 | |
| 1860 | // These should really be instruction patterns, but writing patterns with |
| 1861 | // source modiifiers is a pain. |
| 1862 | |
| 1863 | // fadd (fadd (a, a), b) -> mad 2.0, a, b |
| 1864 | if (LHS.getOpcode() == ISD::FADD) { |
| 1865 | SDValue A = LHS.getOperand(0); |
| 1866 | if (A == LHS.getOperand(1)) { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1867 | const SDValue Two = DAG.getConstantFP(2.0, DL, MVT::f32); |
Matt Arsenault | 8d63003 | 2015-02-20 22:10:41 +0000 | [diff] [blame] | 1868 | return DAG.getNode(ISD::FMAD, DL, VT, Two, A, RHS); |
Matt Arsenault | 02cb0ff | 2014-09-29 14:59:34 +0000 | [diff] [blame] | 1869 | } |
| 1870 | } |
| 1871 | |
| 1872 | // fadd (b, fadd (a, a)) -> mad 2.0, a, b |
| 1873 | if (RHS.getOpcode() == ISD::FADD) { |
| 1874 | SDValue A = RHS.getOperand(0); |
| 1875 | if (A == RHS.getOperand(1)) { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1876 | const SDValue Two = DAG.getConstantFP(2.0, DL, MVT::f32); |
Matt Arsenault | 8d63003 | 2015-02-20 22:10:41 +0000 | [diff] [blame] | 1877 | return DAG.getNode(ISD::FMAD, DL, VT, Two, A, LHS); |
Matt Arsenault | 02cb0ff | 2014-09-29 14:59:34 +0000 | [diff] [blame] | 1878 | } |
| 1879 | } |
| 1880 | |
Matt Arsenault | 8d63003 | 2015-02-20 22:10:41 +0000 | [diff] [blame] | 1881 | return SDValue(); |
Matt Arsenault | 02cb0ff | 2014-09-29 14:59:34 +0000 | [diff] [blame] | 1882 | } |
Matt Arsenault | 8675db1 | 2014-08-29 16:01:14 +0000 | [diff] [blame] | 1883 | case ISD::FSUB: { |
| 1884 | if (DCI.getDAGCombineLevel() < AfterLegalizeDAG) |
| 1885 | break; |
| 1886 | |
| 1887 | EVT VT = N->getValueType(0); |
| 1888 | |
| 1889 | // Try to get the fneg to fold into the source modifier. This undoes generic |
| 1890 | // DAG combines and folds them into the mad. |
Matt Arsenault | 8d63003 | 2015-02-20 22:10:41 +0000 | [diff] [blame] | 1891 | // |
| 1892 | // Only do this if we are not trying to support denormals. v_mad_f32 does |
| 1893 | // not support denormals ever. |
| 1894 | if (VT == MVT::f32 && |
| 1895 | !Subtarget->hasFP32Denormals()) { |
Matt Arsenault | 8675db1 | 2014-08-29 16:01:14 +0000 | [diff] [blame] | 1896 | SDValue LHS = N->getOperand(0); |
| 1897 | SDValue RHS = N->getOperand(1); |
Matt Arsenault | 3d4233f | 2014-09-29 14:59:38 +0000 | [diff] [blame] | 1898 | if (LHS.getOpcode() == ISD::FADD) { |
| 1899 | // (fsub (fadd a, a), c) -> mad 2.0, a, (fneg c) |
| 1900 | |
| 1901 | SDValue A = LHS.getOperand(0); |
| 1902 | if (A == LHS.getOperand(1)) { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1903 | const SDValue Two = DAG.getConstantFP(2.0, DL, MVT::f32); |
Matt Arsenault | 3d4233f | 2014-09-29 14:59:38 +0000 | [diff] [blame] | 1904 | SDValue NegRHS = DAG.getNode(ISD::FNEG, DL, VT, RHS); |
| 1905 | |
Matt Arsenault | 8d63003 | 2015-02-20 22:10:41 +0000 | [diff] [blame] | 1906 | return DAG.getNode(ISD::FMAD, DL, VT, Two, A, NegRHS); |
Matt Arsenault | 3d4233f | 2014-09-29 14:59:38 +0000 | [diff] [blame] | 1907 | } |
| 1908 | } |
| 1909 | |
| 1910 | if (RHS.getOpcode() == ISD::FADD) { |
| 1911 | // (fsub c, (fadd a, a)) -> mad -2.0, a, c |
| 1912 | |
| 1913 | SDValue A = RHS.getOperand(0); |
| 1914 | if (A == RHS.getOperand(1)) { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1915 | const SDValue NegTwo = DAG.getConstantFP(-2.0, DL, MVT::f32); |
Matt Arsenault | 8d63003 | 2015-02-20 22:10:41 +0000 | [diff] [blame] | 1916 | return DAG.getNode(ISD::FMAD, DL, VT, NegTwo, A, LHS); |
Matt Arsenault | 3d4233f | 2014-09-29 14:59:38 +0000 | [diff] [blame] | 1917 | } |
| 1918 | } |
Matt Arsenault | 8d63003 | 2015-02-20 22:10:41 +0000 | [diff] [blame] | 1919 | |
| 1920 | return SDValue(); |
Matt Arsenault | 8675db1 | 2014-08-29 16:01:14 +0000 | [diff] [blame] | 1921 | } |
| 1922 | |
| 1923 | break; |
| 1924 | } |
Matt Arsenault | 364a674 | 2014-06-11 17:50:44 +0000 | [diff] [blame] | 1925 | } |
Matt Arsenault | b2baffa | 2014-08-15 17:49:05 +0000 | [diff] [blame] | 1926 | case ISD::LOAD: |
| 1927 | case ISD::STORE: |
| 1928 | case ISD::ATOMIC_LOAD: |
| 1929 | case ISD::ATOMIC_STORE: |
| 1930 | case ISD::ATOMIC_CMP_SWAP: |
| 1931 | case ISD::ATOMIC_CMP_SWAP_WITH_SUCCESS: |
| 1932 | case ISD::ATOMIC_SWAP: |
| 1933 | case ISD::ATOMIC_LOAD_ADD: |
| 1934 | case ISD::ATOMIC_LOAD_SUB: |
| 1935 | case ISD::ATOMIC_LOAD_AND: |
| 1936 | case ISD::ATOMIC_LOAD_OR: |
| 1937 | case ISD::ATOMIC_LOAD_XOR: |
| 1938 | case ISD::ATOMIC_LOAD_NAND: |
| 1939 | case ISD::ATOMIC_LOAD_MIN: |
| 1940 | case ISD::ATOMIC_LOAD_MAX: |
| 1941 | case ISD::ATOMIC_LOAD_UMIN: |
| 1942 | case ISD::ATOMIC_LOAD_UMAX: { // TODO: Target mem intrinsics. |
| 1943 | if (DCI.isBeforeLegalize()) |
| 1944 | break; |
Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 1945 | |
Matt Arsenault | b2baffa | 2014-08-15 17:49:05 +0000 | [diff] [blame] | 1946 | MemSDNode *MemNode = cast<MemSDNode>(N); |
| 1947 | SDValue Ptr = MemNode->getBasePtr(); |
| 1948 | |
| 1949 | // TODO: We could also do this for multiplies. |
| 1950 | unsigned AS = MemNode->getAddressSpace(); |
| 1951 | if (Ptr.getOpcode() == ISD::SHL && AS != AMDGPUAS::PRIVATE_ADDRESS) { |
| 1952 | SDValue NewPtr = performSHLPtrCombine(Ptr.getNode(), AS, DCI); |
| 1953 | if (NewPtr) { |
Benjamin Kramer | 6cd780f | 2015-02-17 15:29:18 +0000 | [diff] [blame] | 1954 | SmallVector<SDValue, 8> NewOps(MemNode->op_begin(), MemNode->op_end()); |
Matt Arsenault | b2baffa | 2014-08-15 17:49:05 +0000 | [diff] [blame] | 1955 | |
| 1956 | NewOps[N->getOpcode() == ISD::STORE ? 2 : 1] = NewPtr; |
| 1957 | return SDValue(DAG.UpdateNodeOperands(MemNode, NewOps), 0); |
| 1958 | } |
| 1959 | } |
| 1960 | break; |
| 1961 | } |
Matt Arsenault | d0101a2 | 2015-01-06 23:00:46 +0000 | [diff] [blame] | 1962 | case ISD::AND: |
| 1963 | return performAndCombine(N, DCI); |
Matt Arsenault | f229033 | 2015-01-06 23:00:39 +0000 | [diff] [blame] | 1964 | case ISD::OR: |
| 1965 | return performOrCombine(N, DCI); |
| 1966 | case AMDGPUISD::FP_CLASS: |
| 1967 | return performClassCombine(N, DCI); |
Matt Arsenault | b2baffa | 2014-08-15 17:49:05 +0000 | [diff] [blame] | 1968 | } |
Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 1969 | return AMDGPUTargetLowering::PerformDAGCombine(N, DCI); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 1970 | } |
Christian Konig | d910b7d | 2013-02-26 17:52:16 +0000 | [diff] [blame] | 1971 | |
Christian Konig | f82901a | 2013-02-26 17:52:23 +0000 | [diff] [blame] | 1972 | /// \brief Analyze the possible immediate value Op |
| 1973 | /// |
| 1974 | /// Returns -1 if it isn't an immediate, 0 if it's and inline immediate |
| 1975 | /// and the immediate value if it's a literal immediate |
| 1976 | int32_t SITargetLowering::analyzeImmediate(const SDNode *N) const { |
| 1977 | |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 1978 | const SIInstrInfo *TII = |
| 1979 | static_cast<const SIInstrInfo *>(Subtarget->getInstrInfo()); |
Christian Konig | f82901a | 2013-02-26 17:52:23 +0000 | [diff] [blame] | 1980 | |
Tom Stellard | edbf1eb | 2013-04-05 23:31:20 +0000 | [diff] [blame] | 1981 | if (const ConstantSDNode *Node = dyn_cast<ConstantSDNode>(N)) { |
Matt Arsenault | 303011a | 2014-12-17 21:04:08 +0000 | [diff] [blame] | 1982 | if (TII->isInlineConstant(Node->getAPIntValue())) |
| 1983 | return 0; |
Christian Konig | f82901a | 2013-02-26 17:52:23 +0000 | [diff] [blame] | 1984 | |
Matt Arsenault | 11a4d67 | 2015-02-13 19:05:03 +0000 | [diff] [blame] | 1985 | uint64_t Val = Node->getZExtValue(); |
| 1986 | return isUInt<32>(Val) ? Val : -1; |
Matt Arsenault | 303011a | 2014-12-17 21:04:08 +0000 | [diff] [blame] | 1987 | } |
| 1988 | |
| 1989 | if (const ConstantFPSDNode *Node = dyn_cast<ConstantFPSDNode>(N)) { |
| 1990 | if (TII->isInlineConstant(Node->getValueAPF().bitcastToAPInt())) |
| 1991 | return 0; |
| 1992 | |
| 1993 | if (Node->getValueType(0) == MVT::f32) |
| 1994 | return FloatToBits(Node->getValueAPF().convertToFloat()); |
| 1995 | |
| 1996 | return -1; |
| 1997 | } |
| 1998 | |
| 1999 | return -1; |
Christian Konig | f82901a | 2013-02-26 17:52:23 +0000 | [diff] [blame] | 2000 | } |
| 2001 | |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2002 | /// \brief Helper function for adjustWritemask |
Benjamin Kramer | 635e368 | 2013-05-23 15:43:05 +0000 | [diff] [blame] | 2003 | static unsigned SubIdx2Lane(unsigned Idx) { |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2004 | switch (Idx) { |
| 2005 | default: return 0; |
| 2006 | case AMDGPU::sub0: return 0; |
| 2007 | case AMDGPU::sub1: return 1; |
| 2008 | case AMDGPU::sub2: return 2; |
| 2009 | case AMDGPU::sub3: return 3; |
| 2010 | } |
| 2011 | } |
| 2012 | |
| 2013 | /// \brief Adjust the writemask of MIMG instructions |
| 2014 | void SITargetLowering::adjustWritemask(MachineSDNode *&Node, |
| 2015 | SelectionDAG &DAG) const { |
| 2016 | SDNode *Users[4] = { }; |
Tom Stellard | 54774e5 | 2013-10-23 02:53:47 +0000 | [diff] [blame] | 2017 | unsigned Lane = 0; |
| 2018 | unsigned OldDmask = Node->getConstantOperandVal(0); |
| 2019 | unsigned NewDmask = 0; |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2020 | |
| 2021 | // Try to figure out the used register components |
| 2022 | for (SDNode::use_iterator I = Node->use_begin(), E = Node->use_end(); |
| 2023 | I != E; ++I) { |
| 2024 | |
| 2025 | // Abort if we can't understand the usage |
| 2026 | if (!I->isMachineOpcode() || |
| 2027 | I->getMachineOpcode() != TargetOpcode::EXTRACT_SUBREG) |
| 2028 | return; |
| 2029 | |
Tom Stellard | 54774e5 | 2013-10-23 02:53:47 +0000 | [diff] [blame] | 2030 | // Lane means which subreg of %VGPRa_VGPRb_VGPRc_VGPRd is used. |
| 2031 | // Note that subregs are packed, i.e. Lane==0 is the first bit set |
| 2032 | // in OldDmask, so it can be any of X,Y,Z,W; Lane==1 is the second bit |
| 2033 | // set, etc. |
Christian Konig | 8b1ed28 | 2013-04-10 08:39:16 +0000 | [diff] [blame] | 2034 | Lane = SubIdx2Lane(I->getConstantOperandVal(1)); |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2035 | |
Tom Stellard | 54774e5 | 2013-10-23 02:53:47 +0000 | [diff] [blame] | 2036 | // Set which texture component corresponds to the lane. |
| 2037 | unsigned Comp; |
| 2038 | for (unsigned i = 0, Dmask = OldDmask; i <= Lane; i++) { |
| 2039 | assert(Dmask); |
Tom Stellard | 03a5c08 | 2013-10-23 03:50:25 +0000 | [diff] [blame] | 2040 | Comp = countTrailingZeros(Dmask); |
Tom Stellard | 54774e5 | 2013-10-23 02:53:47 +0000 | [diff] [blame] | 2041 | Dmask &= ~(1 << Comp); |
| 2042 | } |
| 2043 | |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2044 | // Abort if we have more than one user per component |
| 2045 | if (Users[Lane]) |
| 2046 | return; |
| 2047 | |
| 2048 | Users[Lane] = *I; |
Tom Stellard | 54774e5 | 2013-10-23 02:53:47 +0000 | [diff] [blame] | 2049 | NewDmask |= 1 << Comp; |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2050 | } |
| 2051 | |
Tom Stellard | 54774e5 | 2013-10-23 02:53:47 +0000 | [diff] [blame] | 2052 | // Abort if there's no change |
| 2053 | if (NewDmask == OldDmask) |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2054 | return; |
| 2055 | |
| 2056 | // Adjust the writemask in the node |
| 2057 | std::vector<SDValue> Ops; |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 2058 | Ops.push_back(DAG.getTargetConstant(NewDmask, SDLoc(Node), MVT::i32)); |
Benjamin Kramer | 6cd780f | 2015-02-17 15:29:18 +0000 | [diff] [blame] | 2059 | Ops.insert(Ops.end(), Node->op_begin() + 1, Node->op_end()); |
Craig Topper | 8c0b4d0 | 2014-04-28 05:57:50 +0000 | [diff] [blame] | 2060 | Node = (MachineSDNode*)DAG.UpdateNodeOperands(Node, Ops); |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2061 | |
Christian Konig | 8b1ed28 | 2013-04-10 08:39:16 +0000 | [diff] [blame] | 2062 | // If we only got one lane, replace it with a copy |
Tom Stellard | 54774e5 | 2013-10-23 02:53:47 +0000 | [diff] [blame] | 2063 | // (if NewDmask has only one bit set...) |
| 2064 | if (NewDmask && (NewDmask & (NewDmask-1)) == 0) { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 2065 | SDValue RC = DAG.getTargetConstant(AMDGPU::VGPR_32RegClassID, SDLoc(), |
| 2066 | MVT::i32); |
Christian Konig | 8b1ed28 | 2013-04-10 08:39:16 +0000 | [diff] [blame] | 2067 | SDNode *Copy = DAG.getMachineNode(TargetOpcode::COPY_TO_REGCLASS, |
Andrew Trick | ef9de2a | 2013-05-25 02:42:55 +0000 | [diff] [blame] | 2068 | SDLoc(), Users[Lane]->getValueType(0), |
Christian Konig | 8b1ed28 | 2013-04-10 08:39:16 +0000 | [diff] [blame] | 2069 | SDValue(Node, 0), RC); |
| 2070 | DAG.ReplaceAllUsesWith(Users[Lane], Copy); |
| 2071 | return; |
| 2072 | } |
| 2073 | |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2074 | // Update the users of the node with the new indices |
| 2075 | for (unsigned i = 0, Idx = AMDGPU::sub0; i < 4; ++i) { |
| 2076 | |
| 2077 | SDNode *User = Users[i]; |
| 2078 | if (!User) |
| 2079 | continue; |
| 2080 | |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 2081 | SDValue Op = DAG.getTargetConstant(Idx, SDLoc(User), MVT::i32); |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2082 | DAG.UpdateNodeOperands(User, User->getOperand(0), Op); |
| 2083 | |
| 2084 | switch (Idx) { |
| 2085 | default: break; |
| 2086 | case AMDGPU::sub0: Idx = AMDGPU::sub1; break; |
| 2087 | case AMDGPU::sub1: Idx = AMDGPU::sub2; break; |
| 2088 | case AMDGPU::sub2: Idx = AMDGPU::sub3; break; |
| 2089 | } |
| 2090 | } |
| 2091 | } |
| 2092 | |
Tom Stellard | c98ee20 | 2015-07-16 19:40:07 +0000 | [diff] [blame] | 2093 | static bool isFrameIndexOp(SDValue Op) { |
| 2094 | if (Op.getOpcode() == ISD::AssertZext) |
| 2095 | Op = Op.getOperand(0); |
| 2096 | |
| 2097 | return isa<FrameIndexSDNode>(Op); |
| 2098 | } |
| 2099 | |
Tom Stellard | 3457a84 | 2014-10-09 19:06:00 +0000 | [diff] [blame] | 2100 | /// \brief Legalize target independent instructions (e.g. INSERT_SUBREG) |
| 2101 | /// with frame index operands. |
| 2102 | /// LLVM assumes that inputs are to these instructions are registers. |
| 2103 | void SITargetLowering::legalizeTargetIndependentNode(SDNode *Node, |
| 2104 | SelectionDAG &DAG) const { |
Tom Stellard | 8dd392e | 2014-10-09 18:09:15 +0000 | [diff] [blame] | 2105 | |
| 2106 | SmallVector<SDValue, 8> Ops; |
Tom Stellard | 3457a84 | 2014-10-09 19:06:00 +0000 | [diff] [blame] | 2107 | for (unsigned i = 0; i < Node->getNumOperands(); ++i) { |
Tom Stellard | c98ee20 | 2015-07-16 19:40:07 +0000 | [diff] [blame] | 2108 | if (!isFrameIndexOp(Node->getOperand(i))) { |
Tom Stellard | 3457a84 | 2014-10-09 19:06:00 +0000 | [diff] [blame] | 2109 | Ops.push_back(Node->getOperand(i)); |
Tom Stellard | 8dd392e | 2014-10-09 18:09:15 +0000 | [diff] [blame] | 2110 | continue; |
| 2111 | } |
| 2112 | |
Tom Stellard | 3457a84 | 2014-10-09 19:06:00 +0000 | [diff] [blame] | 2113 | SDLoc DL(Node); |
Tom Stellard | 8dd392e | 2014-10-09 18:09:15 +0000 | [diff] [blame] | 2114 | Ops.push_back(SDValue(DAG.getMachineNode(AMDGPU::S_MOV_B32, DL, |
Tom Stellard | 3457a84 | 2014-10-09 19:06:00 +0000 | [diff] [blame] | 2115 | Node->getOperand(i).getValueType(), |
| 2116 | Node->getOperand(i)), 0)); |
Tom Stellard | 8dd392e | 2014-10-09 18:09:15 +0000 | [diff] [blame] | 2117 | } |
| 2118 | |
Tom Stellard | 3457a84 | 2014-10-09 19:06:00 +0000 | [diff] [blame] | 2119 | DAG.UpdateNodeOperands(Node, Ops); |
Tom Stellard | 8dd392e | 2014-10-09 18:09:15 +0000 | [diff] [blame] | 2120 | } |
| 2121 | |
Matt Arsenault | 08d8494 | 2014-06-03 23:06:13 +0000 | [diff] [blame] | 2122 | /// \brief Fold the instructions after selecting them. |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2123 | SDNode *SITargetLowering::PostISelFolding(MachineSDNode *Node, |
| 2124 | SelectionDAG &DAG) const { |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 2125 | const SIInstrInfo *TII = |
| 2126 | static_cast<const SIInstrInfo *>(Subtarget->getInstrInfo()); |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2127 | |
Tom Stellard | 16a9a20 | 2013-08-14 23:24:17 +0000 | [diff] [blame] | 2128 | if (TII->isMIMG(Node->getMachineOpcode())) |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2129 | adjustWritemask(Node, DAG); |
| 2130 | |
Matt Arsenault | 7d858d8 | 2014-11-02 23:46:54 +0000 | [diff] [blame] | 2131 | if (Node->getMachineOpcode() == AMDGPU::INSERT_SUBREG || |
| 2132 | Node->getMachineOpcode() == AMDGPU::REG_SEQUENCE) { |
Tom Stellard | 8dd392e | 2014-10-09 18:09:15 +0000 | [diff] [blame] | 2133 | legalizeTargetIndependentNode(Node, DAG); |
| 2134 | return Node; |
| 2135 | } |
Tom Stellard | 654d669 | 2015-01-08 15:08:17 +0000 | [diff] [blame] | 2136 | return Node; |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 2137 | } |
Christian Konig | 8b1ed28 | 2013-04-10 08:39:16 +0000 | [diff] [blame] | 2138 | |
| 2139 | /// \brief Assign the register class depending on the number of |
| 2140 | /// bits set in the writemask |
| 2141 | void SITargetLowering::AdjustInstrPostInstrSelection(MachineInstr *MI, |
| 2142 | SDNode *Node) const { |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 2143 | const SIInstrInfo *TII = |
| 2144 | static_cast<const SIInstrInfo *>(Subtarget->getInstrInfo()); |
Matt Arsenault | 7ac9c4a | 2014-09-08 15:07:31 +0000 | [diff] [blame] | 2145 | |
Tom Stellard | a99ada5 | 2014-11-21 22:31:44 +0000 | [diff] [blame] | 2146 | MachineRegisterInfo &MRI = MI->getParent()->getParent()->getRegInfo(); |
Matt Arsenault | cb0ac3d | 2014-09-26 17:54:59 +0000 | [diff] [blame] | 2147 | TII->legalizeOperands(MI); |
| 2148 | |
Matt Arsenault | 3add643 | 2015-10-20 04:35:43 +0000 | [diff] [blame^] | 2149 | if (TII->isMIMG(*MI)) { |
Matt Arsenault | 7ac9c4a | 2014-09-08 15:07:31 +0000 | [diff] [blame] | 2150 | unsigned VReg = MI->getOperand(0).getReg(); |
| 2151 | unsigned Writemask = MI->getOperand(1).getImm(); |
| 2152 | unsigned BitsSet = 0; |
| 2153 | for (unsigned i = 0; i < 4; ++i) |
| 2154 | BitsSet += Writemask & (1 << i) ? 1 : 0; |
| 2155 | |
| 2156 | const TargetRegisterClass *RC; |
| 2157 | switch (BitsSet) { |
| 2158 | default: return; |
Tom Stellard | 45c0b3a | 2015-01-07 20:59:25 +0000 | [diff] [blame] | 2159 | case 1: RC = &AMDGPU::VGPR_32RegClass; break; |
Matt Arsenault | 7ac9c4a | 2014-09-08 15:07:31 +0000 | [diff] [blame] | 2160 | case 2: RC = &AMDGPU::VReg_64RegClass; break; |
| 2161 | case 3: RC = &AMDGPU::VReg_96RegClass; break; |
| 2162 | } |
| 2163 | |
| 2164 | unsigned NewOpcode = TII->getMaskedMIMGOp(MI->getOpcode(), BitsSet); |
| 2165 | MI->setDesc(TII->get(NewOpcode)); |
Matt Arsenault | 7ac9c4a | 2014-09-08 15:07:31 +0000 | [diff] [blame] | 2166 | MRI.setRegClass(VReg, RC); |
Christian Konig | 8b1ed28 | 2013-04-10 08:39:16 +0000 | [diff] [blame] | 2167 | return; |
Christian Konig | 8b1ed28 | 2013-04-10 08:39:16 +0000 | [diff] [blame] | 2168 | } |
| 2169 | |
Matt Arsenault | 7ac9c4a | 2014-09-08 15:07:31 +0000 | [diff] [blame] | 2170 | // Replace unused atomics with the no return version. |
| 2171 | int NoRetAtomicOp = AMDGPU::getAtomicNoRetOp(MI->getOpcode()); |
| 2172 | if (NoRetAtomicOp != -1) { |
| 2173 | if (!Node->hasAnyUseOfValue(0)) { |
| 2174 | MI->setDesc(TII->get(NoRetAtomicOp)); |
| 2175 | MI->RemoveOperand(0); |
| 2176 | } |
| 2177 | |
| 2178 | return; |
| 2179 | } |
Christian Konig | 8b1ed28 | 2013-04-10 08:39:16 +0000 | [diff] [blame] | 2180 | } |
Tom Stellard | 0518ff8 | 2013-06-03 17:39:58 +0000 | [diff] [blame] | 2181 | |
Matt Arsenault | 485defe | 2014-11-05 19:01:17 +0000 | [diff] [blame] | 2182 | static SDValue buildSMovImm32(SelectionDAG &DAG, SDLoc DL, uint64_t Val) { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 2183 | SDValue K = DAG.getTargetConstant(Val, DL, MVT::i32); |
Matt Arsenault | 485defe | 2014-11-05 19:01:17 +0000 | [diff] [blame] | 2184 | return SDValue(DAG.getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32, K), 0); |
| 2185 | } |
| 2186 | |
| 2187 | MachineSDNode *SITargetLowering::wrapAddr64Rsrc(SelectionDAG &DAG, |
| 2188 | SDLoc DL, |
| 2189 | SDValue Ptr) const { |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 2190 | const SIInstrInfo *TII = |
Matt Arsenault | 2d6fdb8 | 2015-09-25 17:08:42 +0000 | [diff] [blame] | 2191 | static_cast<const SIInstrInfo *>(Subtarget->getInstrInfo()); |
Matt Arsenault | 485defe | 2014-11-05 19:01:17 +0000 | [diff] [blame] | 2192 | |
Matt Arsenault | 2d6fdb8 | 2015-09-25 17:08:42 +0000 | [diff] [blame] | 2193 | // Build the half of the subregister with the constants before building the |
| 2194 | // full 128-bit register. If we are building multiple resource descriptors, |
| 2195 | // this will allow CSEing of the 2-component register. |
| 2196 | const SDValue Ops0[] = { |
| 2197 | DAG.getTargetConstant(AMDGPU::SGPR_64RegClassID, DL, MVT::i32), |
| 2198 | buildSMovImm32(DAG, DL, 0), |
| 2199 | DAG.getTargetConstant(AMDGPU::sub0, DL, MVT::i32), |
| 2200 | buildSMovImm32(DAG, DL, TII->getDefaultRsrcDataFormat() >> 32), |
| 2201 | DAG.getTargetConstant(AMDGPU::sub1, DL, MVT::i32) |
| 2202 | }; |
Matt Arsenault | 485defe | 2014-11-05 19:01:17 +0000 | [diff] [blame] | 2203 | |
Matt Arsenault | 2d6fdb8 | 2015-09-25 17:08:42 +0000 | [diff] [blame] | 2204 | SDValue SubRegHi = SDValue(DAG.getMachineNode(AMDGPU::REG_SEQUENCE, DL, |
| 2205 | MVT::v2i32, Ops0), 0); |
Matt Arsenault | 485defe | 2014-11-05 19:01:17 +0000 | [diff] [blame] | 2206 | |
Matt Arsenault | 2d6fdb8 | 2015-09-25 17:08:42 +0000 | [diff] [blame] | 2207 | // Combine the constants and the pointer. |
| 2208 | const SDValue Ops1[] = { |
| 2209 | DAG.getTargetConstant(AMDGPU::SReg_128RegClassID, DL, MVT::i32), |
| 2210 | Ptr, |
| 2211 | DAG.getTargetConstant(AMDGPU::sub0_sub1, DL, MVT::i32), |
| 2212 | SubRegHi, |
| 2213 | DAG.getTargetConstant(AMDGPU::sub2_sub3, DL, MVT::i32) |
| 2214 | }; |
Matt Arsenault | 485defe | 2014-11-05 19:01:17 +0000 | [diff] [blame] | 2215 | |
Matt Arsenault | 2d6fdb8 | 2015-09-25 17:08:42 +0000 | [diff] [blame] | 2216 | return DAG.getMachineNode(AMDGPU::REG_SEQUENCE, DL, MVT::v4i32, Ops1); |
Matt Arsenault | 485defe | 2014-11-05 19:01:17 +0000 | [diff] [blame] | 2217 | } |
| 2218 | |
Matt Arsenault | f3cd451 | 2014-11-05 19:01:19 +0000 | [diff] [blame] | 2219 | /// \brief Return a resource descriptor with the 'Add TID' bit enabled |
Benjamin Kramer | df005cb | 2015-08-08 18:27:36 +0000 | [diff] [blame] | 2220 | /// The TID (Thread ID) is multiplied by the stride value (bits [61:48] |
| 2221 | /// of the resource descriptor) to create an offset, which is added to |
| 2222 | /// the resource pointer. |
Matt Arsenault | f3cd451 | 2014-11-05 19:01:19 +0000 | [diff] [blame] | 2223 | MachineSDNode *SITargetLowering::buildRSRC(SelectionDAG &DAG, |
| 2224 | SDLoc DL, |
| 2225 | SDValue Ptr, |
| 2226 | uint32_t RsrcDword1, |
| 2227 | uint64_t RsrcDword2And3) const { |
| 2228 | SDValue PtrLo = DAG.getTargetExtractSubreg(AMDGPU::sub0, DL, MVT::i32, Ptr); |
| 2229 | SDValue PtrHi = DAG.getTargetExtractSubreg(AMDGPU::sub1, DL, MVT::i32, Ptr); |
| 2230 | if (RsrcDword1) { |
| 2231 | PtrHi = SDValue(DAG.getMachineNode(AMDGPU::S_OR_B32, DL, MVT::i32, PtrHi, |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 2232 | DAG.getConstant(RsrcDword1, DL, MVT::i32)), |
| 2233 | 0); |
Matt Arsenault | f3cd451 | 2014-11-05 19:01:19 +0000 | [diff] [blame] | 2234 | } |
| 2235 | |
| 2236 | SDValue DataLo = buildSMovImm32(DAG, DL, |
| 2237 | RsrcDword2And3 & UINT64_C(0xFFFFFFFF)); |
| 2238 | SDValue DataHi = buildSMovImm32(DAG, DL, RsrcDword2And3 >> 32); |
| 2239 | |
| 2240 | const SDValue Ops[] = { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 2241 | DAG.getTargetConstant(AMDGPU::SReg_128RegClassID, DL, MVT::i32), |
Matt Arsenault | f3cd451 | 2014-11-05 19:01:19 +0000 | [diff] [blame] | 2242 | PtrLo, |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 2243 | DAG.getTargetConstant(AMDGPU::sub0, DL, MVT::i32), |
Matt Arsenault | f3cd451 | 2014-11-05 19:01:19 +0000 | [diff] [blame] | 2244 | PtrHi, |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 2245 | DAG.getTargetConstant(AMDGPU::sub1, DL, MVT::i32), |
Matt Arsenault | f3cd451 | 2014-11-05 19:01:19 +0000 | [diff] [blame] | 2246 | DataLo, |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 2247 | DAG.getTargetConstant(AMDGPU::sub2, DL, MVT::i32), |
Matt Arsenault | f3cd451 | 2014-11-05 19:01:19 +0000 | [diff] [blame] | 2248 | DataHi, |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 2249 | DAG.getTargetConstant(AMDGPU::sub3, DL, MVT::i32) |
Matt Arsenault | f3cd451 | 2014-11-05 19:01:19 +0000 | [diff] [blame] | 2250 | }; |
| 2251 | |
| 2252 | return DAG.getMachineNode(AMDGPU::REG_SEQUENCE, DL, MVT::v4i32, Ops); |
| 2253 | } |
| 2254 | |
| 2255 | MachineSDNode *SITargetLowering::buildScratchRSRC(SelectionDAG &DAG, |
| 2256 | SDLoc DL, |
| 2257 | SDValue Ptr) const { |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 2258 | const SIInstrInfo *TII = |
| 2259 | static_cast<const SIInstrInfo *>(Subtarget->getInstrInfo()); |
Matt Arsenault | f3cd451 | 2014-11-05 19:01:19 +0000 | [diff] [blame] | 2260 | |
Marek Olsak | d1a69a2 | 2015-09-29 23:37:32 +0000 | [diff] [blame] | 2261 | return buildRSRC(DAG, DL, Ptr, 0, TII->getScratchRsrcWords23()); |
Matt Arsenault | f3cd451 | 2014-11-05 19:01:19 +0000 | [diff] [blame] | 2262 | } |
| 2263 | |
Tom Stellard | 94593ee | 2013-06-03 17:40:18 +0000 | [diff] [blame] | 2264 | SDValue SITargetLowering::CreateLiveInRegister(SelectionDAG &DAG, |
| 2265 | const TargetRegisterClass *RC, |
| 2266 | unsigned Reg, EVT VT) const { |
| 2267 | SDValue VReg = AMDGPUTargetLowering::CreateLiveInRegister(DAG, RC, Reg, VT); |
| 2268 | |
| 2269 | return DAG.getCopyFromReg(DAG.getEntryNode(), SDLoc(DAG.getEntryNode()), |
| 2270 | cast<RegisterSDNode>(VReg)->getReg(), VT); |
| 2271 | } |
Tom Stellard | d7e6f13 | 2015-04-08 01:09:26 +0000 | [diff] [blame] | 2272 | |
| 2273 | //===----------------------------------------------------------------------===// |
| 2274 | // SI Inline Assembly Support |
| 2275 | //===----------------------------------------------------------------------===// |
| 2276 | |
| 2277 | std::pair<unsigned, const TargetRegisterClass *> |
| 2278 | SITargetLowering::getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, |
Benjamin Kramer | 9bfb627 | 2015-07-05 19:29:18 +0000 | [diff] [blame] | 2279 | StringRef Constraint, |
Tom Stellard | d7e6f13 | 2015-04-08 01:09:26 +0000 | [diff] [blame] | 2280 | MVT VT) const { |
| 2281 | if (Constraint == "r") { |
| 2282 | switch(VT.SimpleTy) { |
| 2283 | default: llvm_unreachable("Unhandled type for 'r' inline asm constraint"); |
| 2284 | case MVT::i64: |
| 2285 | return std::make_pair(0U, &AMDGPU::SGPR_64RegClass); |
| 2286 | case MVT::i32: |
| 2287 | return std::make_pair(0U, &AMDGPU::SGPR_32RegClass); |
| 2288 | } |
| 2289 | } |
| 2290 | |
| 2291 | if (Constraint.size() > 1) { |
| 2292 | const TargetRegisterClass *RC = nullptr; |
| 2293 | if (Constraint[1] == 'v') { |
| 2294 | RC = &AMDGPU::VGPR_32RegClass; |
| 2295 | } else if (Constraint[1] == 's') { |
| 2296 | RC = &AMDGPU::SGPR_32RegClass; |
| 2297 | } |
| 2298 | |
| 2299 | if (RC) { |
Matt Arsenault | 0b554ed | 2015-06-23 02:05:55 +0000 | [diff] [blame] | 2300 | uint32_t Idx; |
| 2301 | bool Failed = Constraint.substr(2).getAsInteger(10, Idx); |
| 2302 | if (!Failed && Idx < RC->getNumRegs()) |
Tom Stellard | d7e6f13 | 2015-04-08 01:09:26 +0000 | [diff] [blame] | 2303 | return std::make_pair(RC->getRegister(Idx), RC); |
| 2304 | } |
| 2305 | } |
| 2306 | return TargetLowering::getRegForInlineAsmConstraint(TRI, Constraint, VT); |
| 2307 | } |