blob: 77c83970f683c0efff0566bf0de711a7a0cab2c2 [file] [log] [blame]
Chandler Carruth93dcdc42015-01-31 11:17:59 +00001//===-- AArch64TargetTransformInfo.cpp - AArch64 specific TTI -------------===//
Tim Northover3b0846e2014-05-24 12:50:23 +00002//
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//===----------------------------------------------------------------------===//
Tim Northover3b0846e2014-05-24 12:50:23 +00009
Chandler Carruth93dcdc42015-01-31 11:17:59 +000010#include "AArch64TargetTransformInfo.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000011#include "MCTargetDesc/AArch64AddressingModes.h"
Kevin Qinaef68412015-03-09 06:14:28 +000012#include "llvm/Analysis/LoopInfo.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000013#include "llvm/Analysis/TargetTransformInfo.h"
Chandler Carruth705b1852015-01-31 03:43:40 +000014#include "llvm/CodeGen/BasicTTIImpl.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000015#include "llvm/CodeGen/CostTable.h"
16#include "llvm/CodeGen/TargetLowering.h"
Reid Kleckner0e8c4bb2017-09-07 23:27:44 +000017#include "llvm/IR/IntrinsicInst.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000018#include "llvm/Support/Debug.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000019#include <algorithm>
20using namespace llvm;
21
22#define DEBUG_TYPE "aarch64tti"
23
Geoff Berry378374d2017-06-28 18:53:09 +000024static cl::opt<bool> EnableFalkorHWPFUnrollFix("enable-falkor-hwpf-unroll-fix",
25 cl::init(true), cl::Hidden);
26
Florian Hahn2665feb2017-06-27 22:27:32 +000027bool AArch64TTIImpl::areInlineCompatible(const Function *Caller,
28 const Function *Callee) const {
29 const TargetMachine &TM = getTLI()->getTargetMachine();
30
31 const FeatureBitset &CallerBits =
32 TM.getSubtargetImpl(*Caller)->getFeatureBits();
33 const FeatureBitset &CalleeBits =
34 TM.getSubtargetImpl(*Callee)->getFeatureBits();
35
36 // Inline a callee if its target-features are a subset of the callers
37 // target-features.
38 return (CallerBits & CalleeBits) == CalleeBits;
39}
40
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000041/// Calculate the cost of materializing a 64-bit value. This helper
Tim Northover3b0846e2014-05-24 12:50:23 +000042/// method might only calculate a fraction of a larger immediate. Therefore it
43/// is valid to return a cost of ZERO.
Chandler Carruth93205eb2015-08-05 18:08:10 +000044int AArch64TTIImpl::getIntImmCost(int64_t Val) {
Tim Northover3b0846e2014-05-24 12:50:23 +000045 // Check if the immediate can be encoded within an instruction.
46 if (Val == 0 || AArch64_AM::isLogicalImmediate(Val, 64))
47 return 0;
48
49 if (Val < 0)
50 Val = ~Val;
51
52 // Calculate how many moves we will need to materialize this constant.
53 unsigned LZ = countLeadingZeros((uint64_t)Val);
54 return (64 - LZ + 15) / 16;
55}
56
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000057/// Calculate the cost of materializing the given constant.
Chandler Carruth93205eb2015-08-05 18:08:10 +000058int AArch64TTIImpl::getIntImmCost(const APInt &Imm, Type *Ty) {
Tim Northover3b0846e2014-05-24 12:50:23 +000059 assert(Ty->isIntegerTy());
60
61 unsigned BitSize = Ty->getPrimitiveSizeInBits();
62 if (BitSize == 0)
63 return ~0U;
64
65 // Sign-extend all constants to a multiple of 64-bit.
66 APInt ImmVal = Imm;
67 if (BitSize & 0x3f)
68 ImmVal = Imm.sext((BitSize + 63) & ~0x3fU);
69
70 // Split the constant into 64-bit chunks and calculate the cost for each
71 // chunk.
Chandler Carruth93205eb2015-08-05 18:08:10 +000072 int Cost = 0;
Tim Northover3b0846e2014-05-24 12:50:23 +000073 for (unsigned ShiftVal = 0; ShiftVal < BitSize; ShiftVal += 64) {
74 APInt Tmp = ImmVal.ashr(ShiftVal).sextOrTrunc(64);
75 int64_t Val = Tmp.getSExtValue();
76 Cost += getIntImmCost(Val);
77 }
78 // We need at least one instruction to materialze the constant.
Chandler Carruth93205eb2015-08-05 18:08:10 +000079 return std::max(1, Cost);
Tim Northover3b0846e2014-05-24 12:50:23 +000080}
81
Chandler Carruth93205eb2015-08-05 18:08:10 +000082int AArch64TTIImpl::getIntImmCost(unsigned Opcode, unsigned Idx,
83 const APInt &Imm, Type *Ty) {
Tim Northover3b0846e2014-05-24 12:50:23 +000084 assert(Ty->isIntegerTy());
85
86 unsigned BitSize = Ty->getPrimitiveSizeInBits();
87 // There is no cost model for constants with a bit size of 0. Return TCC_Free
88 // here, so that constant hoisting will ignore this constant.
89 if (BitSize == 0)
Chandler Carruth705b1852015-01-31 03:43:40 +000090 return TTI::TCC_Free;
Tim Northover3b0846e2014-05-24 12:50:23 +000091
92 unsigned ImmIdx = ~0U;
93 switch (Opcode) {
94 default:
Chandler Carruth705b1852015-01-31 03:43:40 +000095 return TTI::TCC_Free;
Tim Northover3b0846e2014-05-24 12:50:23 +000096 case Instruction::GetElementPtr:
97 // Always hoist the base address of a GetElementPtr.
98 if (Idx == 0)
Chandler Carruth705b1852015-01-31 03:43:40 +000099 return 2 * TTI::TCC_Basic;
100 return TTI::TCC_Free;
Tim Northover3b0846e2014-05-24 12:50:23 +0000101 case Instruction::Store:
102 ImmIdx = 0;
103 break;
104 case Instruction::Add:
105 case Instruction::Sub:
106 case Instruction::Mul:
107 case Instruction::UDiv:
108 case Instruction::SDiv:
109 case Instruction::URem:
110 case Instruction::SRem:
111 case Instruction::And:
112 case Instruction::Or:
113 case Instruction::Xor:
114 case Instruction::ICmp:
115 ImmIdx = 1;
116 break;
117 // Always return TCC_Free for the shift value of a shift instruction.
118 case Instruction::Shl:
119 case Instruction::LShr:
120 case Instruction::AShr:
121 if (Idx == 1)
Chandler Carruth705b1852015-01-31 03:43:40 +0000122 return TTI::TCC_Free;
Tim Northover3b0846e2014-05-24 12:50:23 +0000123 break;
124 case Instruction::Trunc:
125 case Instruction::ZExt:
126 case Instruction::SExt:
127 case Instruction::IntToPtr:
128 case Instruction::PtrToInt:
129 case Instruction::BitCast:
130 case Instruction::PHI:
131 case Instruction::Call:
132 case Instruction::Select:
133 case Instruction::Ret:
134 case Instruction::Load:
135 break;
136 }
137
138 if (Idx == ImmIdx) {
Chandler Carruth93205eb2015-08-05 18:08:10 +0000139 int NumConstants = (BitSize + 63) / 64;
140 int Cost = AArch64TTIImpl::getIntImmCost(Imm, Ty);
Chandler Carruth705b1852015-01-31 03:43:40 +0000141 return (Cost <= NumConstants * TTI::TCC_Basic)
Chandler Carruth93205eb2015-08-05 18:08:10 +0000142 ? static_cast<int>(TTI::TCC_Free)
Chandler Carruth705b1852015-01-31 03:43:40 +0000143 : Cost;
Tim Northover3b0846e2014-05-24 12:50:23 +0000144 }
Chandler Carruth705b1852015-01-31 03:43:40 +0000145 return AArch64TTIImpl::getIntImmCost(Imm, Ty);
Tim Northover3b0846e2014-05-24 12:50:23 +0000146}
147
Chandler Carruth93205eb2015-08-05 18:08:10 +0000148int AArch64TTIImpl::getIntImmCost(Intrinsic::ID IID, unsigned Idx,
149 const APInt &Imm, Type *Ty) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000150 assert(Ty->isIntegerTy());
151
152 unsigned BitSize = Ty->getPrimitiveSizeInBits();
153 // There is no cost model for constants with a bit size of 0. Return TCC_Free
154 // here, so that constant hoisting will ignore this constant.
155 if (BitSize == 0)
Chandler Carruth705b1852015-01-31 03:43:40 +0000156 return TTI::TCC_Free;
Tim Northover3b0846e2014-05-24 12:50:23 +0000157
158 switch (IID) {
159 default:
Chandler Carruth705b1852015-01-31 03:43:40 +0000160 return TTI::TCC_Free;
Tim Northover3b0846e2014-05-24 12:50:23 +0000161 case Intrinsic::sadd_with_overflow:
162 case Intrinsic::uadd_with_overflow:
163 case Intrinsic::ssub_with_overflow:
164 case Intrinsic::usub_with_overflow:
165 case Intrinsic::smul_with_overflow:
166 case Intrinsic::umul_with_overflow:
167 if (Idx == 1) {
Chandler Carruth93205eb2015-08-05 18:08:10 +0000168 int NumConstants = (BitSize + 63) / 64;
169 int Cost = AArch64TTIImpl::getIntImmCost(Imm, Ty);
Chandler Carruth705b1852015-01-31 03:43:40 +0000170 return (Cost <= NumConstants * TTI::TCC_Basic)
Chandler Carruth93205eb2015-08-05 18:08:10 +0000171 ? static_cast<int>(TTI::TCC_Free)
Chandler Carruth705b1852015-01-31 03:43:40 +0000172 : Cost;
Tim Northover3b0846e2014-05-24 12:50:23 +0000173 }
174 break;
175 case Intrinsic::experimental_stackmap:
176 if ((Idx < 2) || (Imm.getBitWidth() <= 64 && isInt<64>(Imm.getSExtValue())))
Chandler Carruth705b1852015-01-31 03:43:40 +0000177 return TTI::TCC_Free;
Tim Northover3b0846e2014-05-24 12:50:23 +0000178 break;
179 case Intrinsic::experimental_patchpoint_void:
180 case Intrinsic::experimental_patchpoint_i64:
181 if ((Idx < 4) || (Imm.getBitWidth() <= 64 && isInt<64>(Imm.getSExtValue())))
Chandler Carruth705b1852015-01-31 03:43:40 +0000182 return TTI::TCC_Free;
Tim Northover3b0846e2014-05-24 12:50:23 +0000183 break;
184 }
Chandler Carruth705b1852015-01-31 03:43:40 +0000185 return AArch64TTIImpl::getIntImmCost(Imm, Ty);
Tim Northover3b0846e2014-05-24 12:50:23 +0000186}
187
Chandler Carruth705b1852015-01-31 03:43:40 +0000188TargetTransformInfo::PopcntSupportKind
189AArch64TTIImpl::getPopcntSupport(unsigned TyWidth) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000190 assert(isPowerOf2_32(TyWidth) && "Ty width must be power of 2");
191 if (TyWidth == 32 || TyWidth == 64)
Chandler Carruth705b1852015-01-31 03:43:40 +0000192 return TTI::PSK_FastHardware;
Tim Northover3b0846e2014-05-24 12:50:23 +0000193 // TODO: AArch64TargetLowering::LowerCTPOP() supports 128bit popcount.
Chandler Carruth705b1852015-01-31 03:43:40 +0000194 return TTI::PSK_Software;
Tim Northover3b0846e2014-05-24 12:50:23 +0000195}
196
Matthew Simpson78fd46b2017-05-09 20:18:12 +0000197bool AArch64TTIImpl::isWideningInstruction(Type *DstTy, unsigned Opcode,
198 ArrayRef<const Value *> Args) {
199
200 // A helper that returns a vector type from the given type. The number of
201 // elements in type Ty determine the vector width.
202 auto toVectorTy = [&](Type *ArgTy) {
203 return VectorType::get(ArgTy->getScalarType(),
204 DstTy->getVectorNumElements());
205 };
206
207 // Exit early if DstTy is not a vector type whose elements are at least
208 // 16-bits wide.
209 if (!DstTy->isVectorTy() || DstTy->getScalarSizeInBits() < 16)
210 return false;
211
212 // Determine if the operation has a widening variant. We consider both the
213 // "long" (e.g., usubl) and "wide" (e.g., usubw) versions of the
214 // instructions.
215 //
216 // TODO: Add additional widening operations (e.g., mul, shl, etc.) once we
217 // verify that their extending operands are eliminated during code
218 // generation.
219 switch (Opcode) {
220 case Instruction::Add: // UADDL(2), SADDL(2), UADDW(2), SADDW(2).
221 case Instruction::Sub: // USUBL(2), SSUBL(2), USUBW(2), SSUBW(2).
222 break;
223 default:
224 return false;
225 }
226
227 // To be a widening instruction (either the "wide" or "long" versions), the
228 // second operand must be a sign- or zero extend having a single user. We
229 // only consider extends having a single user because they may otherwise not
230 // be eliminated.
231 if (Args.size() != 2 ||
232 (!isa<SExtInst>(Args[1]) && !isa<ZExtInst>(Args[1])) ||
233 !Args[1]->hasOneUse())
234 return false;
235 auto *Extend = cast<CastInst>(Args[1]);
236
237 // Legalize the destination type and ensure it can be used in a widening
238 // operation.
239 auto DstTyL = TLI->getTypeLegalizationCost(DL, DstTy);
240 unsigned DstElTySize = DstTyL.second.getScalarSizeInBits();
241 if (!DstTyL.second.isVector() || DstElTySize != DstTy->getScalarSizeInBits())
242 return false;
243
244 // Legalize the source type and ensure it can be used in a widening
245 // operation.
246 Type *SrcTy = toVectorTy(Extend->getSrcTy());
247 auto SrcTyL = TLI->getTypeLegalizationCost(DL, SrcTy);
248 unsigned SrcElTySize = SrcTyL.second.getScalarSizeInBits();
249 if (!SrcTyL.second.isVector() || SrcElTySize != SrcTy->getScalarSizeInBits())
250 return false;
251
252 // Get the total number of vector elements in the legalized types.
253 unsigned NumDstEls = DstTyL.first * DstTyL.second.getVectorNumElements();
254 unsigned NumSrcEls = SrcTyL.first * SrcTyL.second.getVectorNumElements();
255
256 // Return true if the legalized types have the same number of vector elements
257 // and the destination element type size is twice that of the source type.
258 return NumDstEls == NumSrcEls && 2 * SrcElTySize == DstElTySize;
259}
260
Jonas Paulssonfccc7d62017-04-12 11:49:08 +0000261int AArch64TTIImpl::getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src,
262 const Instruction *I) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000263 int ISD = TLI->InstructionOpcodeToISD(Opcode);
264 assert(ISD && "Invalid opcode");
265
Matthew Simpson78fd46b2017-05-09 20:18:12 +0000266 // If the cast is observable, and it is used by a widening instruction (e.g.,
267 // uaddl, saddw, etc.), it may be free.
268 if (I && I->hasOneUse()) {
269 auto *SingleUser = cast<Instruction>(*I->user_begin());
270 SmallVector<const Value *, 4> Operands(SingleUser->operand_values());
271 if (isWideningInstruction(Dst, SingleUser->getOpcode(), Operands)) {
272 // If the cast is the second operand, it is free. We will generate either
273 // a "wide" or "long" version of the widening instruction.
274 if (I == SingleUser->getOperand(1))
275 return 0;
276 // If the cast is not the second operand, it will be free if it looks the
277 // same as the second operand. In this case, we will generate a "long"
278 // version of the widening instruction.
279 if (auto *Cast = dyn_cast<CastInst>(SingleUser->getOperand(1)))
Reid Kleckner56196692018-01-05 19:53:51 +0000280 if (I->getOpcode() == unsigned(Cast->getOpcode()) &&
Matthew Simpson78fd46b2017-05-09 20:18:12 +0000281 cast<CastInst>(I)->getSrcTy() == Cast->getSrcTy())
282 return 0;
283 }
284 }
285
Mehdi Amini44ede332015-07-09 02:09:04 +0000286 EVT SrcTy = TLI->getValueType(DL, Src);
287 EVT DstTy = TLI->getValueType(DL, Dst);
Tim Northover3b0846e2014-05-24 12:50:23 +0000288
289 if (!SrcTy.isSimple() || !DstTy.isSimple())
Chandler Carruth705b1852015-01-31 03:43:40 +0000290 return BaseT::getCastInstrCost(Opcode, Dst, Src);
Tim Northover3b0846e2014-05-24 12:50:23 +0000291
Craig Topper4b275762015-10-28 04:02:12 +0000292 static const TypeConversionCostTblEntry
Craig Topper7bf52c92015-10-25 00:27:14 +0000293 ConversionTbl[] = {
Matthew Simpson343af072015-11-18 18:03:06 +0000294 { ISD::TRUNCATE, MVT::v4i16, MVT::v4i32, 1 },
295 { ISD::TRUNCATE, MVT::v4i32, MVT::v4i64, 0 },
296 { ISD::TRUNCATE, MVT::v8i8, MVT::v8i32, 3 },
297 { ISD::TRUNCATE, MVT::v16i8, MVT::v16i32, 6 },
Silviu Barangab322aa62015-08-17 16:05:09 +0000298
299 // The number of shll instructions for the extension.
Matthew Simpson343af072015-11-18 18:03:06 +0000300 { ISD::SIGN_EXTEND, MVT::v4i64, MVT::v4i16, 3 },
301 { ISD::ZERO_EXTEND, MVT::v4i64, MVT::v4i16, 3 },
302 { ISD::SIGN_EXTEND, MVT::v4i64, MVT::v4i32, 2 },
303 { ISD::ZERO_EXTEND, MVT::v4i64, MVT::v4i32, 2 },
304 { ISD::SIGN_EXTEND, MVT::v8i32, MVT::v8i8, 3 },
305 { ISD::ZERO_EXTEND, MVT::v8i32, MVT::v8i8, 3 },
306 { ISD::SIGN_EXTEND, MVT::v8i32, MVT::v8i16, 2 },
307 { ISD::ZERO_EXTEND, MVT::v8i32, MVT::v8i16, 2 },
308 { ISD::SIGN_EXTEND, MVT::v8i64, MVT::v8i8, 7 },
309 { ISD::ZERO_EXTEND, MVT::v8i64, MVT::v8i8, 7 },
310 { ISD::SIGN_EXTEND, MVT::v8i64, MVT::v8i16, 6 },
311 { ISD::ZERO_EXTEND, MVT::v8i64, MVT::v8i16, 6 },
312 { ISD::SIGN_EXTEND, MVT::v16i16, MVT::v16i8, 2 },
313 { ISD::ZERO_EXTEND, MVT::v16i16, MVT::v16i8, 2 },
Silviu Barangab322aa62015-08-17 16:05:09 +0000314 { ISD::SIGN_EXTEND, MVT::v16i32, MVT::v16i8, 6 },
315 { ISD::ZERO_EXTEND, MVT::v16i32, MVT::v16i8, 6 },
316
Tim Northover3b0846e2014-05-24 12:50:23 +0000317 // LowerVectorINT_TO_FP:
318 { ISD::SINT_TO_FP, MVT::v2f32, MVT::v2i32, 1 },
Tim Northoveref0d7602014-06-15 09:27:06 +0000319 { ISD::SINT_TO_FP, MVT::v4f32, MVT::v4i32, 1 },
Tim Northover3b0846e2014-05-24 12:50:23 +0000320 { ISD::SINT_TO_FP, MVT::v2f64, MVT::v2i64, 1 },
321 { ISD::UINT_TO_FP, MVT::v2f32, MVT::v2i32, 1 },
Tim Northoveref0d7602014-06-15 09:27:06 +0000322 { ISD::UINT_TO_FP, MVT::v4f32, MVT::v4i32, 1 },
Tim Northover3b0846e2014-05-24 12:50:23 +0000323 { ISD::UINT_TO_FP, MVT::v2f64, MVT::v2i64, 1 },
Tim Northoveref0d7602014-06-15 09:27:06 +0000324
325 // Complex: to v2f32
326 { ISD::SINT_TO_FP, MVT::v2f32, MVT::v2i8, 3 },
327 { ISD::SINT_TO_FP, MVT::v2f32, MVT::v2i16, 3 },
Tim Northoverdbecc3b2014-06-15 09:27:15 +0000328 { ISD::SINT_TO_FP, MVT::v2f32, MVT::v2i64, 2 },
Tim Northoveref0d7602014-06-15 09:27:06 +0000329 { ISD::UINT_TO_FP, MVT::v2f32, MVT::v2i8, 3 },
330 { ISD::UINT_TO_FP, MVT::v2f32, MVT::v2i16, 3 },
Tim Northoverdbecc3b2014-06-15 09:27:15 +0000331 { ISD::UINT_TO_FP, MVT::v2f32, MVT::v2i64, 2 },
Tim Northoveref0d7602014-06-15 09:27:06 +0000332
333 // Complex: to v4f32
334 { ISD::SINT_TO_FP, MVT::v4f32, MVT::v4i8, 4 },
335 { ISD::SINT_TO_FP, MVT::v4f32, MVT::v4i16, 2 },
336 { ISD::UINT_TO_FP, MVT::v4f32, MVT::v4i8, 3 },
337 { ISD::UINT_TO_FP, MVT::v4f32, MVT::v4i16, 2 },
338
Silviu Barangab322aa62015-08-17 16:05:09 +0000339 // Complex: to v8f32
340 { ISD::SINT_TO_FP, MVT::v8f32, MVT::v8i8, 10 },
341 { ISD::SINT_TO_FP, MVT::v8f32, MVT::v8i16, 4 },
342 { ISD::UINT_TO_FP, MVT::v8f32, MVT::v8i8, 10 },
343 { ISD::UINT_TO_FP, MVT::v8f32, MVT::v8i16, 4 },
344
345 // Complex: to v16f32
346 { ISD::SINT_TO_FP, MVT::v16f32, MVT::v16i8, 21 },
347 { ISD::UINT_TO_FP, MVT::v16f32, MVT::v16i8, 21 },
348
Tim Northoveref0d7602014-06-15 09:27:06 +0000349 // Complex: to v2f64
350 { ISD::SINT_TO_FP, MVT::v2f64, MVT::v2i8, 4 },
351 { ISD::SINT_TO_FP, MVT::v2f64, MVT::v2i16, 4 },
352 { ISD::SINT_TO_FP, MVT::v2f64, MVT::v2i32, 2 },
353 { ISD::UINT_TO_FP, MVT::v2f64, MVT::v2i8, 4 },
354 { ISD::UINT_TO_FP, MVT::v2f64, MVT::v2i16, 4 },
355 { ISD::UINT_TO_FP, MVT::v2f64, MVT::v2i32, 2 },
356
357
Tim Northover3b0846e2014-05-24 12:50:23 +0000358 // LowerVectorFP_TO_INT
Tim Northoveref0d7602014-06-15 09:27:06 +0000359 { ISD::FP_TO_SINT, MVT::v2i32, MVT::v2f32, 1 },
Tim Northover3b0846e2014-05-24 12:50:23 +0000360 { ISD::FP_TO_SINT, MVT::v4i32, MVT::v4f32, 1 },
361 { ISD::FP_TO_SINT, MVT::v2i64, MVT::v2f64, 1 },
Tim Northoveref0d7602014-06-15 09:27:06 +0000362 { ISD::FP_TO_UINT, MVT::v2i32, MVT::v2f32, 1 },
Tim Northover3b0846e2014-05-24 12:50:23 +0000363 { ISD::FP_TO_UINT, MVT::v4i32, MVT::v4f32, 1 },
364 { ISD::FP_TO_UINT, MVT::v2i64, MVT::v2f64, 1 },
Tim Northoveref0d7602014-06-15 09:27:06 +0000365
Tim Northoverdbecc3b2014-06-15 09:27:15 +0000366 // Complex, from v2f32: legal type is v2i32 (no cost) or v2i64 (1 ext).
Tim Northoveref0d7602014-06-15 09:27:06 +0000367 { ISD::FP_TO_SINT, MVT::v2i64, MVT::v2f32, 2 },
Tim Northoverdbecc3b2014-06-15 09:27:15 +0000368 { ISD::FP_TO_SINT, MVT::v2i16, MVT::v2f32, 1 },
369 { ISD::FP_TO_SINT, MVT::v2i8, MVT::v2f32, 1 },
Tim Northoveref0d7602014-06-15 09:27:06 +0000370 { ISD::FP_TO_UINT, MVT::v2i64, MVT::v2f32, 2 },
Tim Northoverdbecc3b2014-06-15 09:27:15 +0000371 { ISD::FP_TO_UINT, MVT::v2i16, MVT::v2f32, 1 },
372 { ISD::FP_TO_UINT, MVT::v2i8, MVT::v2f32, 1 },
373
374 // Complex, from v4f32: legal type is v4i16, 1 narrowing => ~2
375 { ISD::FP_TO_SINT, MVT::v4i16, MVT::v4f32, 2 },
376 { ISD::FP_TO_SINT, MVT::v4i8, MVT::v4f32, 2 },
Tim Northoveref0d7602014-06-15 09:27:06 +0000377 { ISD::FP_TO_UINT, MVT::v4i16, MVT::v4f32, 2 },
Tim Northoverdbecc3b2014-06-15 09:27:15 +0000378 { ISD::FP_TO_UINT, MVT::v4i8, MVT::v4f32, 2 },
379
380 // Complex, from v2f64: legal type is v2i32, 1 narrowing => ~2.
381 { ISD::FP_TO_SINT, MVT::v2i32, MVT::v2f64, 2 },
382 { ISD::FP_TO_SINT, MVT::v2i16, MVT::v2f64, 2 },
383 { ISD::FP_TO_SINT, MVT::v2i8, MVT::v2f64, 2 },
384 { ISD::FP_TO_UINT, MVT::v2i32, MVT::v2f64, 2 },
385 { ISD::FP_TO_UINT, MVT::v2i16, MVT::v2f64, 2 },
386 { ISD::FP_TO_UINT, MVT::v2i8, MVT::v2f64, 2 },
Tim Northover3b0846e2014-05-24 12:50:23 +0000387 };
388
Craig Topperee0c8592015-10-27 04:14:24 +0000389 if (const auto *Entry = ConvertCostTableLookup(ConversionTbl, ISD,
390 DstTy.getSimpleVT(),
391 SrcTy.getSimpleVT()))
392 return Entry->Cost;
Tim Northover3b0846e2014-05-24 12:50:23 +0000393
Chandler Carruth705b1852015-01-31 03:43:40 +0000394 return BaseT::getCastInstrCost(Opcode, Dst, Src);
Tim Northover3b0846e2014-05-24 12:50:23 +0000395}
396
Matthew Simpsone5dfb082016-04-27 15:20:21 +0000397int AArch64TTIImpl::getExtractWithExtendCost(unsigned Opcode, Type *Dst,
398 VectorType *VecTy,
399 unsigned Index) {
400
401 // Make sure we were given a valid extend opcode.
Matthew Simpson47bd3992016-04-27 16:25:04 +0000402 assert((Opcode == Instruction::SExt || Opcode == Instruction::ZExt) &&
403 "Invalid opcode");
Matthew Simpsone5dfb082016-04-27 15:20:21 +0000404
405 // We are extending an element we extract from a vector, so the source type
406 // of the extend is the element type of the vector.
407 auto *Src = VecTy->getElementType();
408
409 // Sign- and zero-extends are for integer types only.
410 assert(isa<IntegerType>(Dst) && isa<IntegerType>(Src) && "Invalid type");
411
412 // Get the cost for the extract. We compute the cost (if any) for the extend
413 // below.
414 auto Cost = getVectorInstrCost(Instruction::ExtractElement, VecTy, Index);
415
416 // Legalize the types.
417 auto VecLT = TLI->getTypeLegalizationCost(DL, VecTy);
418 auto DstVT = TLI->getValueType(DL, Dst);
419 auto SrcVT = TLI->getValueType(DL, Src);
420
421 // If the resulting type is still a vector and the destination type is legal,
422 // we may get the extension for free. If not, get the default cost for the
423 // extend.
424 if (!VecLT.second.isVector() || !TLI->isTypeLegal(DstVT))
425 return Cost + getCastInstrCost(Opcode, Dst, Src);
426
427 // The destination type should be larger than the element type. If not, get
428 // the default cost for the extend.
429 if (DstVT.getSizeInBits() < SrcVT.getSizeInBits())
430 return Cost + getCastInstrCost(Opcode, Dst, Src);
431
432 switch (Opcode) {
433 default:
434 llvm_unreachable("Opcode should be either SExt or ZExt");
435
436 // For sign-extends, we only need a smov, which performs the extension
437 // automatically.
438 case Instruction::SExt:
439 return Cost;
440
441 // For zero-extends, the extend is performed automatically by a umov unless
442 // the destination type is i64 and the element type is i8 or i16.
443 case Instruction::ZExt:
444 if (DstVT.getSizeInBits() != 64u || SrcVT.getSizeInBits() == 32u)
445 return Cost;
446 }
447
448 // If we are unable to perform the extend for free, get the default cost.
449 return Cost + getCastInstrCost(Opcode, Dst, Src);
450}
451
Chandler Carruth93205eb2015-08-05 18:08:10 +0000452int AArch64TTIImpl::getVectorInstrCost(unsigned Opcode, Type *Val,
453 unsigned Index) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000454 assert(Val->isVectorTy() && "This must be a vector type");
455
456 if (Index != -1U) {
457 // Legalize the type.
Chandler Carruth93205eb2015-08-05 18:08:10 +0000458 std::pair<int, MVT> LT = TLI->getTypeLegalizationCost(DL, Val);
Tim Northover3b0846e2014-05-24 12:50:23 +0000459
460 // This type is legalized to a scalar type.
461 if (!LT.second.isVector())
462 return 0;
463
464 // The type may be split. Normalize the index to the new type.
465 unsigned Width = LT.second.getVectorNumElements();
466 Index = Index % Width;
467
468 // The element at index zero is already inside the vector.
469 if (Index == 0)
470 return 0;
471 }
472
473 // All other insert/extracts cost this much.
Matthias Braun651cff42016-06-02 18:03:53 +0000474 return ST->getVectorInsertExtractBaseCost();
Tim Northover3b0846e2014-05-24 12:50:23 +0000475}
476
Chandler Carruth93205eb2015-08-05 18:08:10 +0000477int AArch64TTIImpl::getArithmeticInstrCost(
Chandler Carruth705b1852015-01-31 03:43:40 +0000478 unsigned Opcode, Type *Ty, TTI::OperandValueKind Opd1Info,
479 TTI::OperandValueKind Opd2Info, TTI::OperandValueProperties Opd1PropInfo,
Mohammed Agabaria2c96c432017-01-11 08:23:37 +0000480 TTI::OperandValueProperties Opd2PropInfo, ArrayRef<const Value *> Args) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000481 // Legalize the type.
Chandler Carruth93205eb2015-08-05 18:08:10 +0000482 std::pair<int, MVT> LT = TLI->getTypeLegalizationCost(DL, Ty);
Tim Northover3b0846e2014-05-24 12:50:23 +0000483
Matthew Simpson78fd46b2017-05-09 20:18:12 +0000484 // If the instruction is a widening instruction (e.g., uaddl, saddw, etc.),
485 // add in the widening overhead specified by the sub-target. Since the
486 // extends feeding widening instructions are performed automatically, they
487 // aren't present in the generated code and have a zero cost. By adding a
488 // widening overhead here, we attach the total cost of the combined operation
489 // to the widening instruction.
490 int Cost = 0;
491 if (isWideningInstruction(Ty, Opcode, Args))
492 Cost += ST->getWideningBaseCost();
493
Tim Northover3b0846e2014-05-24 12:50:23 +0000494 int ISD = TLI->InstructionOpcodeToISD(Opcode);
495
496 switch (ISD) {
497 default:
Matthew Simpson78fd46b2017-05-09 20:18:12 +0000498 return Cost + BaseT::getArithmeticInstrCost(Opcode, Ty, Opd1Info, Opd2Info,
499 Opd1PropInfo, Opd2PropInfo);
Evandro Menezesf9bd8712018-03-07 22:35:32 +0000500 case ISD::SDIV:
501 if (Opd2Info == TargetTransformInfo::OK_UniformConstantValue &&
502 Opd2PropInfo == TargetTransformInfo::OP_PowerOf2) {
503 // On AArch64, scalar signed division by constants power-of-two are
504 // normally expanded to the sequence ADD + CMP + SELECT + SRA.
505 // The OperandValue properties many not be same as that of previous
506 // operation; conservatively assume OP_None.
507 Cost += getArithmeticInstrCost(Instruction::Add, Ty, Opd1Info, Opd2Info,
508 TargetTransformInfo::OP_None,
509 TargetTransformInfo::OP_None);
510 Cost += getArithmeticInstrCost(Instruction::Sub, Ty, Opd1Info, Opd2Info,
511 TargetTransformInfo::OP_None,
512 TargetTransformInfo::OP_None);
513 Cost += getArithmeticInstrCost(Instruction::Select, Ty, Opd1Info, Opd2Info,
514 TargetTransformInfo::OP_None,
515 TargetTransformInfo::OP_None);
516 Cost += getArithmeticInstrCost(Instruction::AShr, Ty, Opd1Info, Opd2Info,
517 TargetTransformInfo::OP_None,
518 TargetTransformInfo::OP_None);
519 return Cost;
520 }
521 LLVM_FALLTHROUGH;
522 case ISD::UDIV:
Adhemerval Zanellaf384bc72018-05-09 12:48:22 +0000523 if (Opd2Info == TargetTransformInfo::OK_UniformConstantValue) {
524 auto VT = TLI->getValueType(DL, Ty);
525 if (TLI->isOperationLegalOrCustom(ISD::MULHU, VT)) {
526 // Vector signed division by constant are expanded to the
527 // sequence MULHS + ADD/SUB + SRA + SRL + ADD, and unsigned division
528 // to MULHS + SUB + SRL + ADD + SRL.
529 int MulCost = getArithmeticInstrCost(Instruction::Mul, Ty, Opd1Info,
530 Opd2Info,
531 TargetTransformInfo::OP_None,
532 TargetTransformInfo::OP_None);
533 int AddCost = getArithmeticInstrCost(Instruction::Add, Ty, Opd1Info,
534 Opd2Info,
535 TargetTransformInfo::OP_None,
536 TargetTransformInfo::OP_None);
537 int ShrCost = getArithmeticInstrCost(Instruction::AShr, Ty, Opd1Info,
538 Opd2Info,
539 TargetTransformInfo::OP_None,
540 TargetTransformInfo::OP_None);
541 return MulCost * 2 + AddCost * 2 + ShrCost * 2 + 1;
542 }
543 }
544
Evandro Menezesf9bd8712018-03-07 22:35:32 +0000545 Cost += BaseT::getArithmeticInstrCost(Opcode, Ty, Opd1Info, Opd2Info,
546 Opd1PropInfo, Opd2PropInfo);
547 if (Ty->isVectorTy()) {
548 // On AArch64, vector divisions are not supported natively and are
549 // expanded into scalar divisions of each pair of elements.
550 Cost += getArithmeticInstrCost(Instruction::ExtractElement, Ty, Opd1Info,
551 Opd2Info, Opd1PropInfo, Opd2PropInfo);
552 Cost += getArithmeticInstrCost(Instruction::InsertElement, Ty, Opd1Info,
553 Opd2Info, Opd1PropInfo, Opd2PropInfo);
554 // TODO: if one of the arguments is scalar, then it's not necessary to
555 // double the cost of handling the vector elements.
556 Cost += Cost;
557 }
558 return Cost;
559
Tim Northover3b0846e2014-05-24 12:50:23 +0000560 case ISD::ADD:
561 case ISD::MUL:
562 case ISD::XOR:
563 case ISD::OR:
564 case ISD::AND:
565 // These nodes are marked as 'custom' for combining purposes only.
566 // We know that they are legal. See LowerAdd in ISelLowering.
Matthew Simpson78fd46b2017-05-09 20:18:12 +0000567 return (Cost + 1) * LT.first;
Tim Northover3b0846e2014-05-24 12:50:23 +0000568 }
569}
570
Mohammed Agabaria23599ba2017-01-05 14:03:41 +0000571int AArch64TTIImpl::getAddressComputationCost(Type *Ty, ScalarEvolution *SE,
572 const SCEV *Ptr) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000573 // Address computations in vectorized code with non-consecutive addresses will
574 // likely result in more instructions compared to scalar code where the
575 // computation can more often be merged into the index mode. The resulting
576 // extra micro-ops can significantly decrease throughput.
577 unsigned NumVectorInstToHideOverhead = 10;
Mohammed Agabaria23599ba2017-01-05 14:03:41 +0000578 int MaxMergeDistance = 64;
Tim Northover3b0846e2014-05-24 12:50:23 +0000579
Fangrui Songf78650a2018-07-30 19:41:25 +0000580 if (Ty->isVectorTy() && SE &&
Mohammed Agabaria23599ba2017-01-05 14:03:41 +0000581 !BaseT::isConstantStridedAccessLessThan(SE, Ptr, MaxMergeDistance + 1))
Tim Northover3b0846e2014-05-24 12:50:23 +0000582 return NumVectorInstToHideOverhead;
583
584 // In many cases the address computation is not merged into the instruction
585 // addressing mode.
586 return 1;
587}
588
Chandler Carruth93205eb2015-08-05 18:08:10 +0000589int AArch64TTIImpl::getCmpSelInstrCost(unsigned Opcode, Type *ValTy,
Jonas Paulssonfccc7d62017-04-12 11:49:08 +0000590 Type *CondTy, const Instruction *I) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000591
592 int ISD = TLI->InstructionOpcodeToISD(Opcode);
Silviu Barangaa3e27ed2015-09-09 15:35:02 +0000593 // We don't lower some vector selects well that are wider than the register
594 // width.
Tim Northover3b0846e2014-05-24 12:50:23 +0000595 if (ValTy->isVectorTy() && ISD == ISD::SELECT) {
596 // We would need this many instructions to hide the scalarization happening.
Chandler Carruth93205eb2015-08-05 18:08:10 +0000597 const int AmortizationCost = 20;
Craig Topper4b275762015-10-28 04:02:12 +0000598 static const TypeConversionCostTblEntry
Tim Northover3b0846e2014-05-24 12:50:23 +0000599 VectorSelectTbl[] = {
Silviu Barangaa3e27ed2015-09-09 15:35:02 +0000600 { ISD::SELECT, MVT::v16i1, MVT::v16i16, 16 },
601 { ISD::SELECT, MVT::v8i1, MVT::v8i32, 8 },
602 { ISD::SELECT, MVT::v16i1, MVT::v16i32, 16 },
Tim Northover3b0846e2014-05-24 12:50:23 +0000603 { ISD::SELECT, MVT::v4i1, MVT::v4i64, 4 * AmortizationCost },
604 { ISD::SELECT, MVT::v8i1, MVT::v8i64, 8 * AmortizationCost },
605 { ISD::SELECT, MVT::v16i1, MVT::v16i64, 16 * AmortizationCost }
606 };
607
Mehdi Amini44ede332015-07-09 02:09:04 +0000608 EVT SelCondTy = TLI->getValueType(DL, CondTy);
609 EVT SelValTy = TLI->getValueType(DL, ValTy);
Tim Northover3b0846e2014-05-24 12:50:23 +0000610 if (SelCondTy.isSimple() && SelValTy.isSimple()) {
Craig Topperee0c8592015-10-27 04:14:24 +0000611 if (const auto *Entry = ConvertCostTableLookup(VectorSelectTbl, ISD,
612 SelCondTy.getSimpleVT(),
613 SelValTy.getSimpleVT()))
614 return Entry->Cost;
Tim Northover3b0846e2014-05-24 12:50:23 +0000615 }
616 }
Jonas Paulssonfccc7d62017-04-12 11:49:08 +0000617 return BaseT::getCmpSelInstrCost(Opcode, ValTy, CondTy, I);
Tim Northover3b0846e2014-05-24 12:50:23 +0000618}
619
Evandro Menezes330e1b82017-01-10 23:42:21 +0000620int AArch64TTIImpl::getMemoryOpCost(unsigned Opcode, Type *Ty,
Jonas Paulssonfccc7d62017-04-12 11:49:08 +0000621 unsigned Alignment, unsigned AddressSpace,
622 const Instruction *I) {
Evandro Menezes330e1b82017-01-10 23:42:21 +0000623 auto LT = TLI->getTypeLegalizationCost(DL, Ty);
Tim Northover3b0846e2014-05-24 12:50:23 +0000624
Matthew Simpson2c8de192016-12-15 18:36:59 +0000625 if (ST->isMisaligned128StoreSlow() && Opcode == Instruction::Store &&
Evandro Menezes330e1b82017-01-10 23:42:21 +0000626 LT.second.is128BitVector() && Alignment < 16) {
627 // Unaligned stores are extremely inefficient. We don't split all
628 // unaligned 128-bit stores because the negative impact that has shown in
629 // practice on inlined block copy code.
630 // We make such stores expensive so that we will only vectorize if there
Tim Northover3b0846e2014-05-24 12:50:23 +0000631 // are 6 other instructions getting vectorized.
Evandro Menezes330e1b82017-01-10 23:42:21 +0000632 const int AmortizationCost = 6;
Tim Northover3b0846e2014-05-24 12:50:23 +0000633
634 return LT.first * 2 * AmortizationCost;
635 }
636
Adhemerval Zanellacadcfed2018-06-27 13:58:46 +0000637 if (Ty->isVectorTy() && Ty->getVectorElementType()->isIntegerTy(8)) {
638 unsigned ProfitableNumElements;
639 if (Opcode == Instruction::Store)
640 // We use a custom trunc store lowering so v.4b should be profitable.
641 ProfitableNumElements = 4;
642 else
643 // We scalarize the loads because there is not v.4b register and we
644 // have to promote the elements to v.2.
645 ProfitableNumElements = 8;
646
647 if (Ty->getVectorNumElements() < ProfitableNumElements) {
648 unsigned NumVecElts = Ty->getVectorNumElements();
649 unsigned NumVectorizableInstsToAmortize = NumVecElts * 2;
650 // We generate 2 instructions per vector element.
651 return NumVectorizableInstsToAmortize * NumVecElts * 2;
652 }
Tim Northover3b0846e2014-05-24 12:50:23 +0000653 }
654
655 return LT.first;
656}
James Molloy2b8933c2014-08-05 12:30:34 +0000657
Chandler Carruth93205eb2015-08-05 18:08:10 +0000658int AArch64TTIImpl::getInterleavedMemoryOpCost(unsigned Opcode, Type *VecTy,
659 unsigned Factor,
660 ArrayRef<unsigned> Indices,
661 unsigned Alignment,
Dorit Nuzman38bbf812018-10-14 08:50:06 +0000662 unsigned AddressSpace,
663 bool IsMasked) {
Hao Liu7ec8ee32015-06-26 02:32:07 +0000664 assert(Factor >= 2 && "Invalid interleave factor");
665 assert(isa<VectorType>(VecTy) && "Expect a vector type");
666
Dorit Nuzman38bbf812018-10-14 08:50:06 +0000667 if (!IsMasked && Factor <= TLI->getMaxSupportedInterleaveFactor()) {
Hao Liu7ec8ee32015-06-26 02:32:07 +0000668 unsigned NumElts = VecTy->getVectorNumElements();
Matthew Simpson1468d3e2017-04-10 18:34:37 +0000669 auto *SubVecTy = VectorType::get(VecTy->getScalarType(), NumElts / Factor);
Hao Liu7ec8ee32015-06-26 02:32:07 +0000670
671 // ldN/stN only support legal vector types of size 64 or 128 in bits.
Matthew Simpsonaee97712017-03-02 15:15:35 +0000672 // Accesses having vector types that are a multiple of 128 bits can be
673 // matched to more than one ldN/stN instruction.
Matthew Simpson1468d3e2017-04-10 18:34:37 +0000674 if (NumElts % Factor == 0 &&
675 TLI->isLegalInterleavedAccessType(SubVecTy, DL))
676 return Factor * TLI->getNumInterleavedAccesses(SubVecTy, DL);
Hao Liu7ec8ee32015-06-26 02:32:07 +0000677 }
678
679 return BaseT::getInterleavedMemoryOpCost(Opcode, VecTy, Factor, Indices,
Dorit Nuzman38bbf812018-10-14 08:50:06 +0000680 Alignment, AddressSpace, IsMasked);
Hao Liu7ec8ee32015-06-26 02:32:07 +0000681}
682
Chandler Carruth93205eb2015-08-05 18:08:10 +0000683int AArch64TTIImpl::getCostOfKeepingLiveOverCall(ArrayRef<Type *> Tys) {
684 int Cost = 0;
James Molloy2b8933c2014-08-05 12:30:34 +0000685 for (auto *I : Tys) {
686 if (!I->isVectorTy())
687 continue;
688 if (I->getScalarSizeInBits() * I->getVectorNumElements() == 128)
689 Cost += getMemoryOpCost(Instruction::Store, I, 128, 0) +
690 getMemoryOpCost(Instruction::Load, I, 128, 0);
691 }
692 return Cost;
693}
James Molloya88896b2014-08-21 00:02:51 +0000694
Wei Mi062c7442015-05-06 17:12:25 +0000695unsigned AArch64TTIImpl::getMaxInterleaveFactor(unsigned VF) {
Matthias Braun651cff42016-06-02 18:03:53 +0000696 return ST->getMaxInterleaveFactor();
James Molloya88896b2014-08-21 00:02:51 +0000697}
Kevin Qin72a799a2014-10-09 10:13:27 +0000698
Geoff Berry378374d2017-06-28 18:53:09 +0000699// For Falkor, we want to avoid having too many strided loads in a loop since
700// that can exhaust the HW prefetcher resources. We adjust the unroller
701// MaxCount preference below to attempt to ensure unrolling doesn't create too
702// many strided loads.
703static void
704getFalkorUnrollingPreferences(Loop *L, ScalarEvolution &SE,
705 TargetTransformInfo::UnrollingPreferences &UP) {
Geoff Berry0abd9802017-06-28 19:36:10 +0000706 enum { MaxStridedLoads = 7 };
Geoff Berry378374d2017-06-28 18:53:09 +0000707 auto countStridedLoads = [](Loop *L, ScalarEvolution &SE) {
708 int StridedLoads = 0;
709 // FIXME? We could make this more precise by looking at the CFG and
710 // e.g. not counting loads in each side of an if-then-else diamond.
711 for (const auto BB : L->blocks()) {
712 for (auto &I : *BB) {
713 LoadInst *LMemI = dyn_cast<LoadInst>(&I);
714 if (!LMemI)
715 continue;
716
717 Value *PtrValue = LMemI->getPointerOperand();
718 if (L->isLoopInvariant(PtrValue))
719 continue;
720
721 const SCEV *LSCEV = SE.getSCEV(PtrValue);
722 const SCEVAddRecExpr *LSCEVAddRec = dyn_cast<SCEVAddRecExpr>(LSCEV);
723 if (!LSCEVAddRec || !LSCEVAddRec->isAffine())
724 continue;
725
726 // FIXME? We could take pairing of unrolled load copies into account
727 // by looking at the AddRec, but we would probably have to limit this
728 // to loops with no stores or other memory optimization barriers.
729 ++StridedLoads;
730 // We've seen enough strided loads that seeing more won't make a
731 // difference.
732 if (StridedLoads > MaxStridedLoads / 2)
733 return StridedLoads;
734 }
735 }
736 return StridedLoads;
737 };
738
739 int StridedLoads = countStridedLoads(L, SE);
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000740 LLVM_DEBUG(dbgs() << "falkor-hwpf: detected " << StridedLoads
741 << " strided loads\n");
Geoff Berry378374d2017-06-28 18:53:09 +0000742 // Pick the largest power of 2 unroll count that won't result in too many
743 // strided loads.
744 if (StridedLoads) {
745 UP.MaxCount = 1 << Log2_32(MaxStridedLoads / StridedLoads);
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000746 LLVM_DEBUG(dbgs() << "falkor-hwpf: setting unroll MaxCount to "
747 << UP.MaxCount << '\n');
Geoff Berry378374d2017-06-28 18:53:09 +0000748 }
749}
750
Geoff Berry66d9bdb2017-06-28 15:53:17 +0000751void AArch64TTIImpl::getUnrollingPreferences(Loop *L, ScalarEvolution &SE,
Chandler Carruth705b1852015-01-31 03:43:40 +0000752 TTI::UnrollingPreferences &UP) {
Kevin Qinaef68412015-03-09 06:14:28 +0000753 // Enable partial unrolling and runtime unrolling.
Geoff Berry66d9bdb2017-06-28 15:53:17 +0000754 BaseT::getUnrollingPreferences(L, SE, UP);
Kevin Qinaef68412015-03-09 06:14:28 +0000755
756 // For inner loop, it is more likely to be a hot one, and the runtime check
757 // can be promoted out from LICM pass, so the overhead is less, let's try
758 // a larger threshold to unroll more loops.
759 if (L->getLoopDepth() > 1)
760 UP.PartialThreshold *= 2;
761
Kevin Qin72a799a2014-10-09 10:13:27 +0000762 // Disable partial & runtime unrolling on -Os.
763 UP.PartialOptSizeThreshold = 0;
Geoff Berry378374d2017-06-28 18:53:09 +0000764
765 if (ST->getProcFamily() == AArch64Subtarget::Falkor &&
766 EnableFalkorHWPFUnrollFix)
767 getFalkorUnrollingPreferences(L, SE, UP);
Kevin Qin72a799a2014-10-09 10:13:27 +0000768}
Chad Rosierf9327d62015-01-26 22:51:15 +0000769
Chandler Carruth705b1852015-01-31 03:43:40 +0000770Value *AArch64TTIImpl::getOrCreateResultFromMemIntrinsic(IntrinsicInst *Inst,
771 Type *ExpectedType) {
Chad Rosierf9327d62015-01-26 22:51:15 +0000772 switch (Inst->getIntrinsicID()) {
773 default:
774 return nullptr;
775 case Intrinsic::aarch64_neon_st2:
776 case Intrinsic::aarch64_neon_st3:
777 case Intrinsic::aarch64_neon_st4: {
778 // Create a struct type
779 StructType *ST = dyn_cast<StructType>(ExpectedType);
780 if (!ST)
781 return nullptr;
782 unsigned NumElts = Inst->getNumArgOperands() - 1;
783 if (ST->getNumElements() != NumElts)
784 return nullptr;
785 for (unsigned i = 0, e = NumElts; i != e; ++i) {
786 if (Inst->getArgOperand(i)->getType() != ST->getElementType(i))
787 return nullptr;
788 }
789 Value *Res = UndefValue::get(ExpectedType);
790 IRBuilder<> Builder(Inst);
791 for (unsigned i = 0, e = NumElts; i != e; ++i) {
792 Value *L = Inst->getArgOperand(i);
793 Res = Builder.CreateInsertValue(Res, L, i);
794 }
795 return Res;
796 }
797 case Intrinsic::aarch64_neon_ld2:
798 case Intrinsic::aarch64_neon_ld3:
799 case Intrinsic::aarch64_neon_ld4:
800 if (Inst->getType() == ExpectedType)
801 return Inst;
802 return nullptr;
803 }
804}
805
Chandler Carruth705b1852015-01-31 03:43:40 +0000806bool AArch64TTIImpl::getTgtMemIntrinsic(IntrinsicInst *Inst,
807 MemIntrinsicInfo &Info) {
Chad Rosierf9327d62015-01-26 22:51:15 +0000808 switch (Inst->getIntrinsicID()) {
809 default:
810 break;
811 case Intrinsic::aarch64_neon_ld2:
812 case Intrinsic::aarch64_neon_ld3:
813 case Intrinsic::aarch64_neon_ld4:
814 Info.ReadMem = true;
815 Info.WriteMem = false;
Chad Rosierf9327d62015-01-26 22:51:15 +0000816 Info.PtrVal = Inst->getArgOperand(0);
817 break;
818 case Intrinsic::aarch64_neon_st2:
819 case Intrinsic::aarch64_neon_st3:
820 case Intrinsic::aarch64_neon_st4:
821 Info.ReadMem = false;
822 Info.WriteMem = true;
Chad Rosierf9327d62015-01-26 22:51:15 +0000823 Info.PtrVal = Inst->getArgOperand(Inst->getNumArgOperands() - 1);
824 break;
825 }
826
827 switch (Inst->getIntrinsicID()) {
828 default:
829 return false;
830 case Intrinsic::aarch64_neon_ld2:
831 case Intrinsic::aarch64_neon_st2:
832 Info.MatchingId = VECTOR_LDST_TWO_ELEMENTS;
833 break;
834 case Intrinsic::aarch64_neon_ld3:
835 case Intrinsic::aarch64_neon_st3:
836 Info.MatchingId = VECTOR_LDST_THREE_ELEMENTS;
837 break;
838 case Intrinsic::aarch64_neon_ld4:
839 case Intrinsic::aarch64_neon_st4:
840 Info.MatchingId = VECTOR_LDST_FOUR_ELEMENTS;
841 break;
842 }
843 return true;
844}
Adam Nemet53e758f2016-03-18 00:27:29 +0000845
Jun Bum Limdee55652017-04-03 19:20:07 +0000846/// See if \p I should be considered for address type promotion. We check if \p
847/// I is a sext with right type and used in memory accesses. If it used in a
848/// "complex" getelementptr, we allow it to be promoted without finding other
849/// sext instructions that sign extended the same initial value. A getelementptr
850/// is considered as "complex" if it has more than 2 operands.
851bool AArch64TTIImpl::shouldConsiderAddressTypePromotion(
852 const Instruction &I, bool &AllowPromotionWithoutCommonHeader) {
853 bool Considerable = false;
854 AllowPromotionWithoutCommonHeader = false;
855 if (!isa<SExtInst>(&I))
856 return false;
857 Type *ConsideredSExtType =
858 Type::getInt64Ty(I.getParent()->getParent()->getContext());
859 if (I.getType() != ConsideredSExtType)
860 return false;
861 // See if the sext is the one with the right type and used in at least one
862 // GetElementPtrInst.
863 for (const User *U : I.users()) {
864 if (const GetElementPtrInst *GEPInst = dyn_cast<GetElementPtrInst>(U)) {
865 Considerable = true;
866 // A getelementptr is considered as "complex" if it has more than 2
867 // operands. We will promote a SExt used in such complex GEP as we
868 // expect some computation to be merged if they are done on 64 bits.
869 if (GEPInst->getNumOperands() > 2) {
870 AllowPromotionWithoutCommonHeader = true;
871 break;
872 }
873 }
874 }
875 return Considerable;
876}
877
Adam Nemet53e758f2016-03-18 00:27:29 +0000878unsigned AArch64TTIImpl::getCacheLineSize() {
Matthias Braun651cff42016-06-02 18:03:53 +0000879 return ST->getCacheLineSize();
Adam Nemet53e758f2016-03-18 00:27:29 +0000880}
881
882unsigned AArch64TTIImpl::getPrefetchDistance() {
Matthias Braun651cff42016-06-02 18:03:53 +0000883 return ST->getPrefetchDistance();
Adam Nemet53e758f2016-03-18 00:27:29 +0000884}
Adam Nemet6d8beec2016-03-18 00:27:38 +0000885
886unsigned AArch64TTIImpl::getMinPrefetchStride() {
Matthias Braun651cff42016-06-02 18:03:53 +0000887 return ST->getMinPrefetchStride();
Adam Nemet6d8beec2016-03-18 00:27:38 +0000888}
Adam Nemet709e3042016-03-18 00:27:43 +0000889
890unsigned AArch64TTIImpl::getMaxPrefetchIterationsAhead() {
Matthias Braun651cff42016-06-02 18:03:53 +0000891 return ST->getMaxPrefetchIterationsAhead();
Adam Nemet709e3042016-03-18 00:27:43 +0000892}
Amara Emersonc9916d72017-05-16 21:29:22 +0000893
894bool AArch64TTIImpl::useReductionIntrinsic(unsigned Opcode, Type *Ty,
895 TTI::ReductionFlags Flags) const {
896 assert(isa<VectorType>(Ty) && "Expected Ty to be a vector type");
897 unsigned ScalarBits = Ty->getScalarSizeInBits();
898 switch (Opcode) {
899 case Instruction::FAdd:
900 case Instruction::FMul:
901 case Instruction::And:
902 case Instruction::Or:
903 case Instruction::Xor:
904 case Instruction::Mul:
905 return false;
906 case Instruction::Add:
907 return ScalarBits * Ty->getVectorNumElements() >= 128;
908 case Instruction::ICmp:
909 return (ScalarBits < 64) &&
910 (ScalarBits * Ty->getVectorNumElements() >= 128);
911 case Instruction::FCmp:
912 return Flags.NoNaN;
913 default:
914 llvm_unreachable("Unhandled reduction opcode");
915 }
916 return false;
917}
Matthew Simpsoneacfefd2018-03-16 11:34:15 +0000918
919int AArch64TTIImpl::getArithmeticReductionCost(unsigned Opcode, Type *ValTy,
920 bool IsPairwiseForm) {
921
922 if (IsPairwiseForm)
923 return BaseT::getArithmeticReductionCost(Opcode, ValTy, IsPairwiseForm);
924
925 std::pair<int, MVT> LT = TLI->getTypeLegalizationCost(DL, ValTy);
926 MVT MTy = LT.second;
927 int ISD = TLI->InstructionOpcodeToISD(Opcode);
928 assert(ISD && "Invalid opcode");
929
930 // Horizontal adds can use the 'addv' instruction. We model the cost of these
931 // instructions as normal vector adds. This is the only arithmetic vector
932 // reduction operation for which we have an instruction.
933 static const CostTblEntry CostTblNoPairwise[]{
934 {ISD::ADD, MVT::v8i8, 1},
935 {ISD::ADD, MVT::v16i8, 1},
936 {ISD::ADD, MVT::v4i16, 1},
937 {ISD::ADD, MVT::v8i16, 1},
938 {ISD::ADD, MVT::v4i32, 1},
939 };
940
941 if (const auto *Entry = CostTableLookup(CostTblNoPairwise, ISD, MTy))
942 return LT.first * Entry->Cost;
943
944 return BaseT::getArithmeticReductionCost(Opcode, ValTy, IsPairwiseForm);
945}
Matthew Simpsonb4096eb2018-04-26 13:48:33 +0000946
947int AArch64TTIImpl::getShuffleCost(TTI::ShuffleKind Kind, Type *Tp, int Index,
948 Type *SubTp) {
Simon Pilgrim071e8222018-10-25 10:52:36 +0000949 if (Kind == TTI::SK_Broadcast || Kind == TTI::SK_Transpose ||
950 Kind == TTI::SK_Select || Kind == TTI::SK_PermuteSingleSrc) {
Simon Pilgrim9c8f9372018-06-22 09:45:31 +0000951 static const CostTblEntry ShuffleTbl[] = {
Simon Pilgrim071e8222018-10-25 10:52:36 +0000952 // Broadcast shuffle kinds can be performed with 'dup'.
953 { TTI::SK_Broadcast, MVT::v8i8, 1 },
954 { TTI::SK_Broadcast, MVT::v16i8, 1 },
955 { TTI::SK_Broadcast, MVT::v4i16, 1 },
956 { TTI::SK_Broadcast, MVT::v8i16, 1 },
957 { TTI::SK_Broadcast, MVT::v2i32, 1 },
958 { TTI::SK_Broadcast, MVT::v4i32, 1 },
959 { TTI::SK_Broadcast, MVT::v2i64, 1 },
960 { TTI::SK_Broadcast, MVT::v2f32, 1 },
961 { TTI::SK_Broadcast, MVT::v4f32, 1 },
962 { TTI::SK_Broadcast, MVT::v2f64, 1 },
Simon Pilgrim9c8f9372018-06-22 09:45:31 +0000963 // Transpose shuffle kinds can be performed with 'trn1/trn2' and
964 // 'zip1/zip2' instructions.
965 { TTI::SK_Transpose, MVT::v8i8, 1 },
966 { TTI::SK_Transpose, MVT::v16i8, 1 },
967 { TTI::SK_Transpose, MVT::v4i16, 1 },
968 { TTI::SK_Transpose, MVT::v8i16, 1 },
969 { TTI::SK_Transpose, MVT::v2i32, 1 },
970 { TTI::SK_Transpose, MVT::v4i32, 1 },
971 { TTI::SK_Transpose, MVT::v2i64, 1 },
972 { TTI::SK_Transpose, MVT::v2f32, 1 },
973 { TTI::SK_Transpose, MVT::v4f32, 1 },
974 { TTI::SK_Transpose, MVT::v2f64, 1 },
975 // Select shuffle kinds.
976 // TODO: handle vXi8/vXi16.
977 { TTI::SK_Select, MVT::v2i32, 1 }, // mov.
978 { TTI::SK_Select, MVT::v4i32, 2 }, // rev+trn (or similar).
979 { TTI::SK_Select, MVT::v2i64, 1 }, // mov.
980 { TTI::SK_Select, MVT::v2f32, 1 }, // mov.
981 { TTI::SK_Select, MVT::v4f32, 2 }, // rev+trn (or similar).
982 { TTI::SK_Select, MVT::v2f64, 1 }, // mov.
983 // PermuteSingleSrc shuffle kinds.
984 // TODO: handle vXi8/vXi16.
985 { TTI::SK_PermuteSingleSrc, MVT::v2i32, 1 }, // mov.
986 { TTI::SK_PermuteSingleSrc, MVT::v4i32, 3 }, // perfectshuffle worst case.
987 { TTI::SK_PermuteSingleSrc, MVT::v2i64, 1 }, // mov.
988 { TTI::SK_PermuteSingleSrc, MVT::v2f32, 1 }, // mov.
989 { TTI::SK_PermuteSingleSrc, MVT::v4f32, 3 }, // perfectshuffle worst case.
990 { TTI::SK_PermuteSingleSrc, MVT::v2f64, 1 }, // mov.
Matthew Simpsonb4096eb2018-04-26 13:48:33 +0000991 };
992 std::pair<int, MVT> LT = TLI->getTypeLegalizationCost(DL, Tp);
Simon Pilgrim9c8f9372018-06-22 09:45:31 +0000993 if (const auto *Entry = CostTableLookup(ShuffleTbl, Kind, LT.second))
Matthew Simpsonb4096eb2018-04-26 13:48:33 +0000994 return LT.first * Entry->Cost;
995 }
996
997 return BaseT::getShuffleCost(Kind, Tp, Index, SubTp);
998}