Chandler Carruth | 93dcdc4 | 2015-01-31 11:17:59 +0000 | [diff] [blame] | 1 | //===-- PPCTargetTransformInfo.cpp - PPC specific TTI ---------------------===// |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 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 | //===----------------------------------------------------------------------===// |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 9 | |
Chandler Carruth | 93dcdc4 | 2015-01-31 11:17:59 +0000 | [diff] [blame] | 10 | #include "PPCTargetTransformInfo.h" |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 11 | #include "llvm/Analysis/TargetTransformInfo.h" |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 12 | #include "llvm/CodeGen/BasicTTIImpl.h" |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 13 | #include "llvm/Support/CommandLine.h" |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 14 | #include "llvm/Support/Debug.h" |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 15 | #include "llvm/Target/CostTable.h" |
Chandler Carruth | 8a8cd2b | 2014-01-07 11:48:04 +0000 | [diff] [blame] | 16 | #include "llvm/Target/TargetLowering.h" |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 17 | using namespace llvm; |
| 18 | |
Chandler Carruth | 84e68b2 | 2014-04-22 02:41:26 +0000 | [diff] [blame] | 19 | #define DEBUG_TYPE "ppctti" |
| 20 | |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 21 | static cl::opt<bool> DisablePPCConstHoist("disable-ppc-constant-hoisting", |
| 22 | cl::desc("disable constant hoisting on PPC"), cl::init(false), cl::Hidden); |
| 23 | |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 24 | //===----------------------------------------------------------------------===// |
| 25 | // |
| 26 | // PPC cost model. |
| 27 | // |
| 28 | //===----------------------------------------------------------------------===// |
| 29 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 30 | TargetTransformInfo::PopcntSupportKind |
| 31 | PPCTTIImpl::getPopcntSupport(unsigned TyWidth) { |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 32 | assert(isPowerOf2_32(TyWidth) && "Ty width must be power of 2"); |
Hal Finkel | a4d0748 | 2013-03-28 13:29:47 +0000 | [diff] [blame] | 33 | if (ST->hasPOPCNTD() && TyWidth <= 64) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 34 | return TTI::PSK_FastHardware; |
| 35 | return TTI::PSK_Software; |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 36 | } |
| 37 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 38 | unsigned PPCTTIImpl::getIntImmCost(const APInt &Imm, Type *Ty) { |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 39 | if (DisablePPCConstHoist) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 40 | return BaseT::getIntImmCost(Imm, Ty); |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 41 | |
| 42 | assert(Ty->isIntegerTy()); |
| 43 | |
| 44 | unsigned BitSize = Ty->getPrimitiveSizeInBits(); |
| 45 | if (BitSize == 0) |
| 46 | return ~0U; |
| 47 | |
| 48 | if (Imm == 0) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 49 | return TTI::TCC_Free; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 50 | |
| 51 | if (Imm.getBitWidth() <= 64) { |
| 52 | if (isInt<16>(Imm.getSExtValue())) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 53 | return TTI::TCC_Basic; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 54 | |
| 55 | if (isInt<32>(Imm.getSExtValue())) { |
| 56 | // A constant that can be materialized using lis. |
| 57 | if ((Imm.getZExtValue() & 0xFFFF) == 0) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 58 | return TTI::TCC_Basic; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 59 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 60 | return 2 * TTI::TCC_Basic; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 61 | } |
| 62 | } |
| 63 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 64 | return 4 * TTI::TCC_Basic; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 65 | } |
| 66 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 67 | unsigned PPCTTIImpl::getIntImmCost(Intrinsic::ID IID, unsigned Idx, |
| 68 | const APInt &Imm, Type *Ty) { |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 69 | if (DisablePPCConstHoist) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 70 | return BaseT::getIntImmCost(IID, Idx, Imm, Ty); |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 71 | |
| 72 | assert(Ty->isIntegerTy()); |
| 73 | |
| 74 | unsigned BitSize = Ty->getPrimitiveSizeInBits(); |
| 75 | if (BitSize == 0) |
| 76 | return ~0U; |
| 77 | |
| 78 | switch (IID) { |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 79 | default: |
| 80 | return TTI::TCC_Free; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 81 | case Intrinsic::sadd_with_overflow: |
| 82 | case Intrinsic::uadd_with_overflow: |
| 83 | case Intrinsic::ssub_with_overflow: |
| 84 | case Intrinsic::usub_with_overflow: |
| 85 | if ((Idx == 1) && Imm.getBitWidth() <= 64 && isInt<16>(Imm.getSExtValue())) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 86 | return TTI::TCC_Free; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 87 | break; |
Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 88 | case Intrinsic::experimental_stackmap: |
| 89 | if ((Idx < 2) || (Imm.getBitWidth() <= 64 && isInt<64>(Imm.getSExtValue()))) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 90 | return TTI::TCC_Free; |
Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 91 | break; |
| 92 | case Intrinsic::experimental_patchpoint_void: |
| 93 | case Intrinsic::experimental_patchpoint_i64: |
| 94 | if ((Idx < 4) || (Imm.getBitWidth() <= 64 && isInt<64>(Imm.getSExtValue()))) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 95 | return TTI::TCC_Free; |
Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 96 | break; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 97 | } |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 98 | return PPCTTIImpl::getIntImmCost(Imm, Ty); |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 99 | } |
| 100 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 101 | unsigned PPCTTIImpl::getIntImmCost(unsigned Opcode, unsigned Idx, |
| 102 | const APInt &Imm, Type *Ty) { |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 103 | if (DisablePPCConstHoist) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 104 | return BaseT::getIntImmCost(Opcode, Idx, Imm, Ty); |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 105 | |
| 106 | assert(Ty->isIntegerTy()); |
| 107 | |
| 108 | unsigned BitSize = Ty->getPrimitiveSizeInBits(); |
| 109 | if (BitSize == 0) |
| 110 | return ~0U; |
| 111 | |
| 112 | unsigned ImmIdx = ~0U; |
| 113 | bool ShiftedFree = false, RunFree = false, UnsignedFree = false, |
| 114 | ZeroFree = false; |
| 115 | switch (Opcode) { |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 116 | default: |
| 117 | return TTI::TCC_Free; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 118 | case Instruction::GetElementPtr: |
| 119 | // Always hoist the base address of a GetElementPtr. This prevents the |
| 120 | // creation of new constants for every base constant that gets constant |
| 121 | // folded with the offset. |
| 122 | if (Idx == 0) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 123 | return 2 * TTI::TCC_Basic; |
| 124 | return TTI::TCC_Free; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 125 | case Instruction::And: |
| 126 | RunFree = true; // (for the rotate-and-mask instructions) |
| 127 | // Fallthrough... |
| 128 | case Instruction::Add: |
| 129 | case Instruction::Or: |
| 130 | case Instruction::Xor: |
| 131 | ShiftedFree = true; |
| 132 | // Fallthrough... |
| 133 | case Instruction::Sub: |
| 134 | case Instruction::Mul: |
| 135 | case Instruction::Shl: |
| 136 | case Instruction::LShr: |
| 137 | case Instruction::AShr: |
| 138 | ImmIdx = 1; |
| 139 | break; |
| 140 | case Instruction::ICmp: |
| 141 | UnsignedFree = true; |
| 142 | ImmIdx = 1; |
| 143 | // Fallthrough... (zero comparisons can use record-form instructions) |
| 144 | case Instruction::Select: |
| 145 | ZeroFree = true; |
| 146 | break; |
| 147 | case Instruction::PHI: |
| 148 | case Instruction::Call: |
| 149 | case Instruction::Ret: |
| 150 | case Instruction::Load: |
| 151 | case Instruction::Store: |
| 152 | break; |
| 153 | } |
| 154 | |
| 155 | if (ZeroFree && Imm == 0) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 156 | return TTI::TCC_Free; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 157 | |
| 158 | if (Idx == ImmIdx && Imm.getBitWidth() <= 64) { |
| 159 | if (isInt<16>(Imm.getSExtValue())) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 160 | return TTI::TCC_Free; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 161 | |
| 162 | if (RunFree) { |
| 163 | if (Imm.getBitWidth() <= 32 && |
| 164 | (isShiftedMask_32(Imm.getZExtValue()) || |
| 165 | isShiftedMask_32(~Imm.getZExtValue()))) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 166 | return TTI::TCC_Free; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 167 | |
| 168 | if (ST->isPPC64() && |
| 169 | (isShiftedMask_64(Imm.getZExtValue()) || |
| 170 | isShiftedMask_64(~Imm.getZExtValue()))) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 171 | return TTI::TCC_Free; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 172 | } |
| 173 | |
| 174 | if (UnsignedFree && isUInt<16>(Imm.getZExtValue())) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 175 | return TTI::TCC_Free; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 176 | |
| 177 | if (ShiftedFree && (Imm.getZExtValue() & 0xFFFF) == 0) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 178 | return TTI::TCC_Free; |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 179 | } |
| 180 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 181 | return PPCTTIImpl::getIntImmCost(Imm, Ty); |
Hal Finkel | 0192cba | 2014-04-13 23:02:40 +0000 | [diff] [blame] | 182 | } |
| 183 | |
Chandler Carruth | ab5cb36 | 2015-02-01 14:31:23 +0000 | [diff] [blame] | 184 | void PPCTTIImpl::getUnrollingPreferences(Loop *L, |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 185 | TTI::UnrollingPreferences &UP) { |
Chandler Carruth | c956ab66 | 2015-02-01 14:22:17 +0000 | [diff] [blame] | 186 | if (ST->getDarwinDirective() == PPC::DIR_A2) { |
Hal Finkel | 71780ec | 2013-09-11 21:20:40 +0000 | [diff] [blame] | 187 | // The A2 is in-order with a deep pipeline, and concatenation unrolling |
| 188 | // helps expose latency-hiding opportunities to the instruction scheduler. |
| 189 | UP.Partial = UP.Runtime = true; |
| 190 | } |
Hal Finkel | b359b73 | 2015-01-09 15:51:16 +0000 | [diff] [blame] | 191 | |
Chandler Carruth | ab5cb36 | 2015-02-01 14:31:23 +0000 | [diff] [blame] | 192 | BaseT::getUnrollingPreferences(L, UP); |
Hal Finkel | 71780ec | 2013-09-11 21:20:40 +0000 | [diff] [blame] | 193 | } |
| 194 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 195 | unsigned PPCTTIImpl::getNumberOfRegisters(bool Vector) { |
Hal Finkel | c93a9a2 | 2015-02-25 01:06:45 +0000 | [diff] [blame^] | 196 | if (Vector && !ST->hasAltivec() && !ST->hasQPX()) |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 197 | return 0; |
Hal Finkel | 27774d9 | 2014-03-13 07:58:58 +0000 | [diff] [blame] | 198 | return ST->hasVSX() ? 64 : 32; |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 199 | } |
| 200 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 201 | unsigned PPCTTIImpl::getRegisterBitWidth(bool Vector) { |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 202 | if (Vector) { |
Hal Finkel | c93a9a2 | 2015-02-25 01:06:45 +0000 | [diff] [blame^] | 203 | if (ST->hasQPX()) return 256; |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 204 | if (ST->hasAltivec()) return 128; |
| 205 | return 0; |
| 206 | } |
| 207 | |
| 208 | if (ST->isPPC64()) |
| 209 | return 64; |
| 210 | return 32; |
| 211 | |
| 212 | } |
| 213 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 214 | unsigned PPCTTIImpl::getMaxInterleaveFactor() { |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 215 | unsigned Directive = ST->getDarwinDirective(); |
| 216 | // The 440 has no SIMD support, but floating-point instructions |
| 217 | // have a 5-cycle latency, so unroll by 5x for latency hiding. |
| 218 | if (Directive == PPC::DIR_440) |
| 219 | return 5; |
| 220 | |
| 221 | // The A2 has no SIMD support, but floating-point instructions |
| 222 | // have a 6-cycle latency, so unroll by 6x for latency hiding. |
| 223 | if (Directive == PPC::DIR_A2) |
| 224 | return 6; |
| 225 | |
| 226 | // FIXME: For lack of any better information, do no harm... |
| 227 | if (Directive == PPC::DIR_E500mc || Directive == PPC::DIR_E5500) |
| 228 | return 1; |
| 229 | |
Olivier Sallenave | 05e6915 | 2015-02-12 22:57:58 +0000 | [diff] [blame] | 230 | // For P7 and P8, floating-point instructions have a 6-cycle latency and |
| 231 | // there are two execution units, so unroll by 12x for latency hiding. |
| 232 | if (Directive == PPC::DIR_PWR7 || |
| 233 | Directive == PPC::DIR_PWR8) |
| 234 | return 12; |
| 235 | |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 236 | // For most things, modern systems have two execution units (and |
| 237 | // out-of-order execution). |
| 238 | return 2; |
| 239 | } |
| 240 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 241 | unsigned PPCTTIImpl::getArithmeticInstrCost( |
| 242 | unsigned Opcode, Type *Ty, TTI::OperandValueKind Op1Info, |
| 243 | TTI::OperandValueKind Op2Info, TTI::OperandValueProperties Opd1PropInfo, |
| 244 | TTI::OperandValueProperties Opd2PropInfo) { |
Dmitri Gribenko | c451bdf | 2013-01-25 23:17:21 +0000 | [diff] [blame] | 245 | assert(TLI->InstructionOpcodeToISD(Opcode) && "Invalid opcode"); |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 246 | |
| 247 | // Fallback to the default implementation. |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 248 | return BaseT::getArithmeticInstrCost(Opcode, Ty, Op1Info, Op2Info, |
| 249 | Opd1PropInfo, Opd2PropInfo); |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 250 | } |
| 251 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 252 | unsigned PPCTTIImpl::getShuffleCost(TTI::ShuffleKind Kind, Type *Tp, int Index, |
| 253 | Type *SubTp) { |
| 254 | return BaseT::getShuffleCost(Kind, Tp, Index, SubTp); |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 255 | } |
| 256 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 257 | unsigned PPCTTIImpl::getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src) { |
Dmitri Gribenko | c451bdf | 2013-01-25 23:17:21 +0000 | [diff] [blame] | 258 | assert(TLI->InstructionOpcodeToISD(Opcode) && "Invalid opcode"); |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 259 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 260 | return BaseT::getCastInstrCost(Opcode, Dst, Src); |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 261 | } |
| 262 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 263 | unsigned PPCTTIImpl::getCmpSelInstrCost(unsigned Opcode, Type *ValTy, |
| 264 | Type *CondTy) { |
| 265 | return BaseT::getCmpSelInstrCost(Opcode, ValTy, CondTy); |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 266 | } |
| 267 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 268 | unsigned PPCTTIImpl::getVectorInstrCost(unsigned Opcode, Type *Val, |
| 269 | unsigned Index) { |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 270 | assert(Val->isVectorTy() && "This must be a vector type"); |
| 271 | |
Bill Schmidt | 62fe7a5b | 2013-02-08 18:19:17 +0000 | [diff] [blame] | 272 | int ISD = TLI->InstructionOpcodeToISD(Opcode); |
| 273 | assert(ISD && "Invalid opcode"); |
Bill Schmidt | b3cece1 | 2013-02-07 20:33:57 +0000 | [diff] [blame] | 274 | |
Hal Finkel | 27774d9 | 2014-03-13 07:58:58 +0000 | [diff] [blame] | 275 | if (ST->hasVSX() && Val->getScalarType()->isDoubleTy()) { |
| 276 | // Double-precision scalars are already located in index #0. |
| 277 | if (Index == 0) |
| 278 | return 0; |
| 279 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 280 | return BaseT::getVectorInstrCost(Opcode, Val, Index); |
Hal Finkel | c93a9a2 | 2015-02-25 01:06:45 +0000 | [diff] [blame^] | 281 | } else if (ST->hasQPX() && Val->getScalarType()->isFloatingPointTy()) { |
| 282 | // Floating point scalars are already located in index #0. |
| 283 | if (Index == 0) |
| 284 | return 0; |
| 285 | |
| 286 | return BaseT::getVectorInstrCost(Opcode, Val, Index); |
Hal Finkel | 27774d9 | 2014-03-13 07:58:58 +0000 | [diff] [blame] | 287 | } |
| 288 | |
Bill Schmidt | 62fe7a5b | 2013-02-08 18:19:17 +0000 | [diff] [blame] | 289 | // Estimated cost of a load-hit-store delay. This was obtained |
| 290 | // experimentally as a minimum needed to prevent unprofitable |
| 291 | // vectorization for the paq8p benchmark. It may need to be |
| 292 | // raised further if other unprofitable cases remain. |
Hal Finkel | de0b413 | 2014-04-04 23:51:18 +0000 | [diff] [blame] | 293 | unsigned LHSPenalty = 2; |
| 294 | if (ISD == ISD::INSERT_VECTOR_ELT) |
| 295 | LHSPenalty += 7; |
Bill Schmidt | b3cece1 | 2013-02-07 20:33:57 +0000 | [diff] [blame] | 296 | |
Bill Schmidt | 62fe7a5b | 2013-02-08 18:19:17 +0000 | [diff] [blame] | 297 | // Vector element insert/extract with Altivec is very expensive, |
| 298 | // because they require store and reload with the attendant |
| 299 | // processor stall for load-hit-store. Until VSX is available, |
| 300 | // these need to be estimated as very costly. |
| 301 | if (ISD == ISD::EXTRACT_VECTOR_ELT || |
| 302 | ISD == ISD::INSERT_VECTOR_ELT) |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 303 | return LHSPenalty + BaseT::getVectorInstrCost(Opcode, Val, Index); |
Bill Schmidt | b3cece1 | 2013-02-07 20:33:57 +0000 | [diff] [blame] | 304 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 305 | return BaseT::getVectorInstrCost(Opcode, Val, Index); |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 306 | } |
| 307 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 308 | unsigned PPCTTIImpl::getMemoryOpCost(unsigned Opcode, Type *Src, |
| 309 | unsigned Alignment, |
| 310 | unsigned AddressSpace) { |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 311 | // Legalize the type. |
| 312 | std::pair<unsigned, MVT> LT = TLI->getTypeLegalizationCost(Src); |
| 313 | assert((Opcode == Instruction::Load || Opcode == Instruction::Store) && |
| 314 | "Invalid Opcode"); |
| 315 | |
Chandler Carruth | 705b185 | 2015-01-31 03:43:40 +0000 | [diff] [blame] | 316 | unsigned Cost = BaseT::getMemoryOpCost(Opcode, Src, Alignment, AddressSpace); |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 317 | |
Hal Finkel | de0b413 | 2014-04-04 23:51:18 +0000 | [diff] [blame] | 318 | // VSX loads/stores support unaligned access. |
| 319 | if (ST->hasVSX()) { |
| 320 | if (LT.second == MVT::v2f64 || LT.second == MVT::v2i64) |
| 321 | return Cost; |
| 322 | } |
| 323 | |
| 324 | bool UnalignedAltivec = |
| 325 | Src->isVectorTy() && |
| 326 | Src->getPrimitiveSizeInBits() >= LT.second.getSizeInBits() && |
| 327 | LT.second.getSizeInBits() == 128 && |
| 328 | Opcode == Instruction::Load; |
Hal Finkel | 6e28e6a | 2014-03-26 19:39:09 +0000 | [diff] [blame] | 329 | |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 330 | // PPC in general does not support unaligned loads and stores. They'll need |
| 331 | // to be decomposed based on the alignment factor. |
| 332 | unsigned SrcBytes = LT.second.getStoreSize(); |
Hal Finkel | de0b413 | 2014-04-04 23:51:18 +0000 | [diff] [blame] | 333 | if (SrcBytes && Alignment && Alignment < SrcBytes && !UnalignedAltivec) { |
Hal Finkel | f823380 | 2014-04-02 22:43:49 +0000 | [diff] [blame] | 334 | Cost += LT.first*(SrcBytes/Alignment-1); |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 335 | |
Hal Finkel | de0b413 | 2014-04-04 23:51:18 +0000 | [diff] [blame] | 336 | // For a vector type, there is also scalarization overhead (only for |
| 337 | // stores, loads are expanded using the vector-load + permutation sequence, |
| 338 | // which is much less expensive). |
| 339 | if (Src->isVectorTy() && Opcode == Instruction::Store) |
| 340 | for (int i = 0, e = Src->getVectorNumElements(); i < e; ++i) |
| 341 | Cost += getVectorInstrCost(Instruction::ExtractElement, Src, i); |
| 342 | } |
| 343 | |
Hal Finkel | 4e5ca9e | 2013-01-25 23:05:59 +0000 | [diff] [blame] | 344 | return Cost; |
| 345 | } |
| 346 | |