LLVM 24.0.0git
PPCTargetTransformInfo.cpp
Go to the documentation of this file.
1//===-- PPCTargetTransformInfo.cpp - PPC specific TTI ---------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
16#include "llvm/IR/IntrinsicsPowerPC.h"
21#include <optional>
22
23using namespace llvm;
24
25#define DEBUG_TYPE "ppctti"
26
27static cl::opt<bool> PPCEVL("ppc-evl",
28 cl::desc("Allow EVL type vp.load/vp.store"),
29 cl::init(false), cl::Hidden);
30
31static cl::opt<bool> Pwr9EVL("ppc-pwr9-evl",
32 cl::desc("Allow vp.load and vp.store for pwr9"),
33 cl::init(false), cl::Hidden);
34
35static cl::opt<bool> VecMaskCost("ppc-vec-mask-cost",
36cl::desc("add masking cost for i1 vectors"), cl::init(true), cl::Hidden);
37
38static cl::opt<bool> DisablePPCConstHoist("disable-ppc-constant-hoisting",
39cl::desc("disable constant hoisting on PPC"), cl::init(false), cl::Hidden);
40
41static cl::opt<bool>
42EnablePPCColdCC("ppc-enable-coldcc", cl::Hidden, cl::init(false),
43 cl::desc("Enable using coldcc calling conv for cold "
44 "internal functions"));
45
46static cl::opt<bool>
47LsrNoInsnsCost("ppc-lsr-no-insns-cost", cl::Hidden, cl::init(false),
48 cl::desc("Do not add instruction count to lsr cost model"));
49
50// The latency of mtctr is only justified if there are more than 4
51// comparisons that will be removed as a result.
53SmallCTRLoopThreshold("min-ctr-loop-threshold", cl::init(4), cl::Hidden,
54 cl::desc("Loops with a constant trip count smaller than "
55 "this value will not use the count register."));
56
57//===----------------------------------------------------------------------===//
58//
59// PPC cost model.
60//
61//===----------------------------------------------------------------------===//
62
64PPCTTIImpl::getPopcntSupport(unsigned TyWidth) const {
65 assert(isPowerOf2_32(TyWidth) && "Ty width must be power of 2");
66 if (ST->hasPOPCNTD() != PPCSubtarget::POPCNTD_Unavailable && TyWidth <= 64)
67 return ST->hasPOPCNTD() == PPCSubtarget::POPCNTD_Slow ?
69 return TTI::PSK_Software;
70}
71
72std::optional<Instruction *>
74 Intrinsic::ID IID = II.getIntrinsicID();
75 switch (IID) {
76 default:
77 break;
78 case Intrinsic::ppc_altivec_lvx:
79 case Intrinsic::ppc_altivec_lvxl:
80 // Turn PPC lvx -> load if the pointer is known aligned.
82 II.getArgOperand(0), Align(16), IC.getDataLayout(), &II,
83 &IC.getAssumptionCache(), &IC.getDominatorTree()) >= 16) {
84 Value *Ptr = II.getArgOperand(0);
85 return new LoadInst(II.getType(), Ptr, "", false, Align(16));
86 }
87 break;
88 case Intrinsic::ppc_vsx_lxvw4x:
89 case Intrinsic::ppc_vsx_lxvd2x: {
90 // Turn PPC VSX loads into normal loads.
91 Value *Ptr = II.getArgOperand(0);
92 return new LoadInst(II.getType(), Ptr, Twine(""), false, Align(1));
93 }
94 case Intrinsic::ppc_altivec_stvx:
95 case Intrinsic::ppc_altivec_stvxl:
96 // Turn stvx -> store if the pointer is known aligned.
98 II.getArgOperand(1), Align(16), IC.getDataLayout(), &II,
99 &IC.getAssumptionCache(), &IC.getDominatorTree()) >= 16) {
100 Value *Ptr = II.getArgOperand(1);
101 return new StoreInst(II.getArgOperand(0), Ptr, false, Align(16));
102 }
103 break;
104 case Intrinsic::ppc_vsx_stxvw4x:
105 case Intrinsic::ppc_vsx_stxvd2x: {
106 // Turn PPC VSX stores into normal stores.
107 Value *Ptr = II.getArgOperand(1);
108 return new StoreInst(II.getArgOperand(0), Ptr, false, Align(1));
109 }
110 case Intrinsic::ppc_altivec_vperm:
111 // Turn vperm(V1,V2,mask) -> shuffle(V1,V2,mask) if mask is a constant.
112 // Note that ppc_altivec_vperm has a big-endian bias, so when creating
113 // a vectorshuffle for little endian, we must undo the transformation
114 // performed on vec_perm in altivec.h. That is, we must complement
115 // the permutation mask with respect to 31 and reverse the order of
116 // V1 and V2.
117 if (Constant *Mask = dyn_cast<Constant>(II.getArgOperand(2))) {
118 assert(cast<FixedVectorType>(Mask->getType())->getNumElements() == 16 &&
119 "Bad type for intrinsic!");
120
121 // Check that all of the elements are integer constants or undefs.
122 bool AllEltsOk = true;
123 for (unsigned I = 0; I != 16; ++I) {
124 Constant *Elt = Mask->getAggregateElement(I);
125 if (!Elt || !(isa<ConstantInt>(Elt) || isa<UndefValue>(Elt))) {
126 AllEltsOk = false;
127 break;
128 }
129 }
130
131 if (AllEltsOk) {
132 // Cast the input vectors to byte vectors.
133 Value *Op0 =
134 IC.Builder.CreateBitCast(II.getArgOperand(0), Mask->getType());
135 Value *Op1 =
136 IC.Builder.CreateBitCast(II.getArgOperand(1), Mask->getType());
137 Value *Result = PoisonValue::get(Op0->getType());
138
139 // Only extract each element once.
140 Value *ExtractedElts[32];
141 memset(ExtractedElts, 0, sizeof(ExtractedElts));
142
143 for (unsigned I = 0; I != 16; ++I) {
144 if (isa<UndefValue>(Mask->getAggregateElement(I)))
145 continue;
146 unsigned Idx =
147 cast<ConstantInt>(Mask->getAggregateElement(I))->getZExtValue();
148 Idx &= 31; // Match the hardware behavior.
149 if (DL.isLittleEndian())
150 Idx = 31 - Idx;
151
152 if (!ExtractedElts[Idx]) {
153 Value *Op0ToUse = (DL.isLittleEndian()) ? Op1 : Op0;
154 Value *Op1ToUse = (DL.isLittleEndian()) ? Op0 : Op1;
155 ExtractedElts[Idx] = IC.Builder.CreateExtractElement(
156 Idx < 16 ? Op0ToUse : Op1ToUse, Idx & 15);
157 }
158
159 // Insert this value into the result vector.
160 Result =
161 IC.Builder.CreateInsertElement(Result, ExtractedElts[Idx], I);
162 }
163 return CastInst::Create(Instruction::BitCast, Result, II.getType());
164 }
165 }
166 break;
167 }
168 return std::nullopt;
169}
170
174 return BaseT::getIntImmCost(Imm, Ty, CostKind);
175
176 assert(Ty->isIntegerTy());
177
178 unsigned BitSize = Ty->getPrimitiveSizeInBits();
179 if (BitSize == 0)
180 return ~0U;
181
182 if (Imm == 0)
183 return TTI::TCC_Free;
184
185 if (Imm.getBitWidth() <= 64) {
186 if (isInt<16>(Imm.getSExtValue()))
187 return TTI::TCC_Basic;
188
189 if (isInt<32>(Imm.getSExtValue())) {
190 // A constant that can be materialized using lis.
191 if ((Imm.getZExtValue() & 0xFFFF) == 0)
192 return TTI::TCC_Basic;
193
194 return 2 * TTI::TCC_Basic;
195 }
196 }
197
198 return 4 * TTI::TCC_Basic;
199}
200
203 const APInt &Imm, Type *Ty,
206 return BaseT::getIntImmCostIntrin(IID, Idx, Imm, Ty, CostKind);
207
208 assert(Ty->isIntegerTy());
209
210 unsigned BitSize = Ty->getPrimitiveSizeInBits();
211 if (BitSize == 0)
212 return ~0U;
213
214 switch (IID) {
215 default:
216 return TTI::TCC_Free;
217 case Intrinsic::sadd_with_overflow:
218 case Intrinsic::uadd_with_overflow:
219 case Intrinsic::ssub_with_overflow:
220 case Intrinsic::usub_with_overflow:
221 if ((Idx == 1) && Imm.getBitWidth() <= 64 && isInt<16>(Imm.getSExtValue()))
222 return TTI::TCC_Free;
223 break;
224 case Intrinsic::experimental_stackmap:
225 if ((Idx < 2) || (Imm.getBitWidth() <= 64 && isInt<64>(Imm.getSExtValue())))
226 return TTI::TCC_Free;
227 break;
228 case Intrinsic::experimental_patchpoint_void:
229 case Intrinsic::experimental_patchpoint:
230 if ((Idx < 4) || (Imm.getBitWidth() <= 64 && isInt<64>(Imm.getSExtValue())))
231 return TTI::TCC_Free;
232 break;
233 }
234 return PPCTTIImpl::getIntImmCost(Imm, Ty, CostKind);
235}
236
237InstructionCost PPCTTIImpl::getIntImmCostInst(unsigned Opcode, unsigned Idx,
238 const APInt &Imm, Type *Ty,
240 Instruction *Inst) const {
242 return BaseT::getIntImmCostInst(Opcode, Idx, Imm, Ty, CostKind, Inst);
243
244 assert(Ty->isIntegerTy());
245
246 unsigned BitSize = Ty->getPrimitiveSizeInBits();
247 if (BitSize == 0)
248 return ~0U;
249
250 unsigned ImmIdx = ~0U;
251 bool ShiftedFree = false, RunFree = false, UnsignedFree = false,
252 ZeroFree = false;
253 switch (Opcode) {
254 default:
255 return TTI::TCC_Free;
256 case Instruction::GetElementPtr:
257 // Always hoist the base address of a GetElementPtr. This prevents the
258 // creation of new constants for every base constant that gets constant
259 // folded with the offset.
260 if (Idx == 0)
261 return 2 * TTI::TCC_Basic;
262 return TTI::TCC_Free;
263 case Instruction::And:
264 RunFree = true; // (for the rotate-and-mask instructions)
265 [[fallthrough]];
266 case Instruction::Add:
267 case Instruction::Or:
268 case Instruction::Xor:
269 ShiftedFree = true;
270 [[fallthrough]];
271 case Instruction::Sub:
272 case Instruction::Mul:
273 case Instruction::Shl:
274 case Instruction::LShr:
275 case Instruction::AShr:
276 ImmIdx = 1;
277 break;
278 case Instruction::ICmp:
279 UnsignedFree = true;
280 ImmIdx = 1;
281 // Zero comparisons can use record-form instructions.
282 [[fallthrough]];
283 case Instruction::Select:
284 ZeroFree = true;
285 break;
286 case Instruction::PHI:
287 case Instruction::Call:
288 case Instruction::Ret:
289 case Instruction::Load:
290 case Instruction::Store:
291 break;
292 }
293
294 if (ZeroFree && Imm == 0)
295 return TTI::TCC_Free;
296
297 if (Idx == ImmIdx && Imm.getBitWidth() <= 64) {
298 if (isInt<16>(Imm.getSExtValue()))
299 return TTI::TCC_Free;
300
301 if (RunFree) {
302 if (Imm.getBitWidth() <= 32 &&
303 (isShiftedMask_32(Imm.getZExtValue()) ||
304 isShiftedMask_32(~Imm.getZExtValue())))
305 return TTI::TCC_Free;
306
307 if (ST->isPPC64() &&
308 (isShiftedMask_64(Imm.getZExtValue()) ||
309 isShiftedMask_64(~Imm.getZExtValue())))
310 return TTI::TCC_Free;
311 }
312
313 if (UnsignedFree && isUInt<16>(Imm.getZExtValue()))
314 return TTI::TCC_Free;
315
316 if (ShiftedFree && (Imm.getZExtValue() & 0xFFFF) == 0)
317 return TTI::TCC_Free;
318 }
319
320 return PPCTTIImpl::getIntImmCost(Imm, Ty, CostKind);
321}
322
323// Check if the current Type is an MMA vector type. Valid MMA types are
324// v256i1 and v512i1 respectively.
325static bool isMMAType(Type *Ty) {
326 return Ty->isVectorTy() && (Ty->getScalarSizeInBits() == 1) &&
327 (Ty->getPrimitiveSizeInBits() > 128);
328}
329
333 // We already implement getCastInstrCost and getMemoryOpCost where we perform
334 // the vector adjustment there.
335 if (isa<CastInst>(U) || isa<LoadInst>(U) || isa<StoreInst>(U))
336 return BaseT::getInstructionCost(U, Operands, CostKind);
337
338 if (U->getType()->isVectorTy()) {
339 // Instructions that need to be split should cost more.
340 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(U->getType());
341 return LT.first * BaseT::getInstructionCost(U, Operands, CostKind);
342 }
343
344 return BaseT::getInstructionCost(U, Operands, CostKind);
345}
346
348 AssumptionCache &AC,
349 TargetLibraryInfo *LibInfo,
350 HardwareLoopInfo &HWLoopInfo) const {
351 const PPCTargetMachine &TM = ST->getTargetMachine();
352 TargetSchedModel SchedModel;
353 SchedModel.init(ST);
354
355 // Do not convert small short loops to CTR loop.
356 unsigned ConstTripCount = SE.getSmallConstantTripCount(L);
357 if (ConstTripCount && ConstTripCount < SmallCTRLoopThreshold) {
359 CodeMetrics::collectEphemeralValues(L, &AC, EphValues);
360 InstructionCost NumInsts;
361 for (BasicBlock *BB : L->blocks()) {
362 for (Instruction &I : *BB) {
363 if (EphValues.count(&I))
364 continue;
365 SmallVector<const Value *, 4> Operands(I.operand_values());
366 NumInsts += getInstructionCost(&I, Operands, TTI::TCK_CodeSize);
367 }
368 }
369 // 6 is an approximate latency for the mtctr instruction.
370 if (NumInsts <= (6 * SchedModel.getIssueWidth()))
371 return false;
372 }
373
374 // Check that there is no hardware loop related intrinsics in the loop.
375 for (auto *BB : L->getBlocks())
376 for (auto &I : *BB)
377 if (auto *Call = dyn_cast<IntrinsicInst>(&I))
378 if (Call->getIntrinsicID() == Intrinsic::set_loop_iterations ||
379 Call->getIntrinsicID() == Intrinsic::loop_decrement)
380 return false;
381
382 SmallVector<BasicBlock*, 4> ExitingBlocks;
383 L->getExitingBlocks(ExitingBlocks);
384
385 // If there is an exit edge known to be frequently taken,
386 // we should not transform this loop.
387 for (auto &BB : ExitingBlocks) {
388 Instruction *TI = BB->getTerminator();
389 if (!TI) continue;
390
391 if (CondBrInst *BI = dyn_cast<CondBrInst>(TI)) {
392 uint64_t TrueWeight = 0, FalseWeight = 0;
393 if (!extractBranchWeights(*BI, TrueWeight, FalseWeight))
394 continue;
395
396 // If the exit path is more frequent than the loop path,
397 // we return here without further analysis for this loop.
398 bool TrueIsExit = !L->contains(BI->getSuccessor(0));
399 if (( TrueIsExit && FalseWeight < TrueWeight) ||
400 (!TrueIsExit && FalseWeight > TrueWeight))
401 return false;
402 }
403 }
404
405 LLVMContext &C = L->getHeader()->getContext();
406 HWLoopInfo.CountType = TM.isPPC64() ?
408 HWLoopInfo.LoopDecrement = ConstantInt::get(HWLoopInfo.CountType, 1);
409 return true;
410}
411
414 OptimizationRemarkEmitter *ORE) const {
415 if (ST->getCPUDirective() == PPC::DIR_A2) {
416 // The A2 is in-order with a deep pipeline, and concatenation unrolling
417 // helps expose latency-hiding opportunities to the instruction scheduler.
418 UP.Partial = UP.Runtime = true;
419
420 // We unroll a lot on the A2 (hundreds of instructions), and the benefits
421 // often outweigh the cost of a division to compute the trip count.
422 UP.AllowExpensiveTripCount = true;
423 }
424
425 BaseT::getUnrollingPreferences(L, SE, UP, ORE);
426}
427
432// This function returns true to allow using coldcc calling convention.
433// Returning true results in coldcc being used for functions which are cold at
434// all call sites when the callers of the functions are not calling any other
435// non coldcc functions.
439
440bool PPCTTIImpl::enableAggressiveInterleaving(bool LoopHasReductions) const {
441 // On the A2, always unroll aggressively.
442 if (ST->getCPUDirective() == PPC::DIR_A2)
443 return true;
444
445 return LoopHasReductions;
446}
447
449PPCTTIImpl::enableMemCmpExpansion(bool OptSize, bool IsZeroCmp) const {
451 if (getST()->hasAltivec())
452 Options.LoadSizes = {16, 8, 4, 2, 1};
453 else
454 Options.LoadSizes = {8, 4, 2, 1};
455
456 Options.MaxNumLoads = TLI->getMaxExpandSizeMemcmp(OptSize);
457 return Options;
458}
459
461
462unsigned PPCTTIImpl::getNumberOfRegisters(unsigned ClassID) const {
463 assert(ClassID == GPRRC || ClassID == FPRRC ||
464 ClassID == VRRC || ClassID == VSXRC);
465 if (ST->hasVSX()) {
466 assert(ClassID == GPRRC || ClassID == VSXRC || ClassID == VRRC);
467 return ClassID == VSXRC ? 64 : 32;
468 }
469 assert(ClassID == GPRRC || ClassID == FPRRC || ClassID == VRRC);
470 return 32;
471}
472
474 if (Vector)
475 return ST->hasVSX() ? VSXRC : VRRC;
476 if (Ty &&
477 (Ty->getScalarType()->isFloatTy() || Ty->getScalarType()->isDoubleTy()))
478 return ST->hasVSX() ? VSXRC : FPRRC;
479 if (Ty && (Ty->getScalarType()->isFP128Ty() ||
480 Ty->getScalarType()->isPPC_FP128Ty()))
481 return VRRC;
482 if (Ty && Ty->getScalarType()->isHalfTy())
483 return VSXRC;
484 return GPRRC;
485}
486
487const char* PPCTTIImpl::getRegisterClassName(unsigned ClassID) const {
488
489 switch (ClassID) {
490 default:
491 llvm_unreachable("unknown register class");
492 return "PPC::unknown register class";
493 case GPRRC: return "PPC::GPRRC";
494 case FPRRC: return "PPC::FPRRC";
495 case VRRC: return "PPC::VRRC";
496 case VSXRC: return "PPC::VSXRC";
497 }
498}
499
502 switch (K) {
504 return TypeSize::getFixed(ST->isPPC64() ? 64 : 32);
506 return TypeSize::getFixed(ST->hasAltivec() ? 128 : 0);
508 return TypeSize::getScalable(0);
509 }
510
511 llvm_unreachable("Unsupported register kind");
512}
513
515 // Starting with P7 we have a cache line size of 128.
516 unsigned Directive = ST->getCPUDirective();
517 // Assume that Future CPU has the same cache line size as the others.
521 return 128;
522
523 // On other processors return a default of 64 bytes.
524 return 64;
525}
526
528 return 300;
529}
530
532 bool HasUnorderedReductions) const {
533 unsigned Directive = ST->getCPUDirective();
534 // The 440 has no SIMD support, but floating-point instructions
535 // have a 5-cycle latency, so unroll by 5x for latency hiding.
536 if (Directive == PPC::DIR_440)
537 return 5;
538
539 // The A2 has no SIMD support, but floating-point instructions
540 // have a 6-cycle latency, so unroll by 6x for latency hiding.
541 if (Directive == PPC::DIR_A2)
542 return 6;
543
544 // FIXME: For lack of any better information, do no harm...
546 return 1;
547
548 // For P7 and P8, floating-point instructions have a 6-cycle latency and
549 // there are two execution units, so unroll by 12x for latency hiding.
550 // FIXME: the same for P9 as previous gen until POWER9 scheduling is ready
551 // FIXME: the same for P10 as previous gen until POWER10 scheduling is ready
552 // Assume that future is the same as the others.
556 return 12;
557
558 // For most things, modern systems have two execution units (and
559 // out-of-order execution).
560 return 2;
561}
562
563// Returns a cost adjustment factor to adjust the cost of vector instructions
564// on targets which there is overlap between the vector and scalar units,
565// thereby reducing the overall throughput of vector code wrt. scalar code.
566// An invalid instruction cost is returned if the type is an MMA vector type.
568 Type *Ty1,
569 Type *Ty2) const {
570 // If the vector type is of an MMA type (v256i1, v512i1), an invalid
571 // instruction cost is returned. This is to signify to other cost computing
572 // functions to return the maximum instruction cost in order to prevent any
573 // opportunities for the optimizer to produce MMA types within the IR.
574 if (isMMAType(Ty1))
576
577 if (!ST->vectorsUseTwoUnits() || !Ty1->isVectorTy())
578 return InstructionCost(1);
579
580 std::pair<InstructionCost, MVT> LT1 = getTypeLegalizationCost(Ty1);
581 // If type legalization involves splitting the vector, we don't want to
582 // double the cost at every step - only the last step.
583 if (LT1.first != 1 || !LT1.second.isVector())
584 return InstructionCost(1);
585
586 int ISD = TLI->InstructionOpcodeToISD(Opcode);
587 if (TLI->isOperationExpand(ISD, LT1.second))
588 return InstructionCost(1);
589
590 if (Ty2) {
591 std::pair<InstructionCost, MVT> LT2 = getTypeLegalizationCost(Ty2);
592 if (LT2.first != 1 || !LT2.second.isVector())
593 return InstructionCost(1);
594 }
595
596 return InstructionCost(2);
597}
598
600 unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind,
602 ArrayRef<const Value *> Args, const Instruction *CxtI) const {
603 assert(TLI->InstructionOpcodeToISD(Opcode) && "Invalid opcode");
604
605 InstructionCost CostFactor = vectorCostAdjustmentFactor(Opcode, Ty, nullptr);
606 if (!CostFactor.isValid())
608
609 // TODO: Handle more cost kinds.
611 return BaseT::getArithmeticInstrCost(Opcode, Ty, CostKind, Op1Info,
612 Op2Info, Args, CxtI);
613
614 // Fallback to the default implementation.
616 Opcode, Ty, CostKind, Op1Info, Op2Info);
617 return Cost * CostFactor;
618}
619
621 VectorType *DstTy, VectorType *SrcTy,
622 ArrayRef<int> Mask,
624 int Index, VectorType *SubTp,
626 const Instruction *CxtI) const {
627
628 InstructionCost CostFactor =
629 vectorCostAdjustmentFactor(Instruction::ShuffleVector, SrcTy, nullptr);
630 if (!CostFactor.isValid())
632
633 // Legalize the type.
634 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(SrcTy);
635
636 // PPC, for both Altivec/VSX, support cheap arbitrary permutations
637 // (at least in the sense that there need only be one non-loop-invariant
638 // instruction). We need one such shuffle instruction for each actual
639 // register (this is not true for arbitrary shuffles, but is true for the
640 // structured types of shuffles covered by TTI::ShuffleKind).
641 return LT.first * CostFactor;
642}
643
646 const Instruction *I) const {
648 return Opcode == Instruction::PHI ? 0 : 1;
649 // Branches are assumed to be predicted.
650 return 0;
651}
652
654 Type *Src,
657 const Instruction *I) const {
658 assert(TLI->InstructionOpcodeToISD(Opcode) && "Invalid opcode");
659
660 InstructionCost CostFactor = vectorCostAdjustmentFactor(Opcode, Dst, Src);
661 if (!CostFactor.isValid())
663
665 BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
666 Cost *= CostFactor;
667 // TODO: Allow non-throughput costs that aren't binary.
669 return Cost == 0 ? 0 : 1;
670 return Cost;
671}
672
674 unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred,
676 TTI::OperandValueInfo Op2Info, const Instruction *I) const {
677 InstructionCost CostFactor =
678 vectorCostAdjustmentFactor(Opcode, ValTy, nullptr);
679 if (!CostFactor.isValid())
681
683 Opcode, ValTy, CondTy, VecPred, CostKind, Op1Info, Op2Info, I);
684 // TODO: Handle other cost kinds.
686 return Cost;
687 return Cost * CostFactor;
688}
689
691 unsigned Opcode, Type *Val, TTI::TargetCostKind CostKind, unsigned Index,
692 const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC) const {
693 assert(Val->isVectorTy() && "This must be a vector type");
694
695 int ISD = TLI->InstructionOpcodeToISD(Opcode);
696 assert(ISD && "Invalid opcode");
697
698 InstructionCost CostFactor = vectorCostAdjustmentFactor(Opcode, Val, nullptr);
699 if (!CostFactor.isValid())
701
703 BaseT::getVectorInstrCost(Opcode, Val, CostKind, Index, Op0, Op1, VIC);
704 Cost *= CostFactor;
705
706 if (ST->hasVSX() && Val->getScalarType()->isDoubleTy()) {
707 // Double-precision scalars are already located in index #0 (or #1 if LE).
709 Index == (ST->isLittleEndian() ? 1 : 0))
710 return 0;
711
712 return Cost;
713 }
714 if (Val->getScalarType()->isIntegerTy()) {
715 unsigned EltSize = Val->getScalarSizeInBits();
716 // Computing on 1 bit values requires extra mask or compare operations.
717 unsigned MaskCostForOneBitSize = (VecMaskCost && EltSize == 1) ? 1 : 0;
718 // Computing on non const index requires extra mask or compare operations.
719 unsigned MaskCostForIdx = (Index != -1U) ? 0 : 1;
720 if (ST->hasP9Altivec()) {
721 // P10 has vxform insert which can handle non const index. The
722 // MaskCostForIdx is for masking the index.
723 // P9 has insert for const index. A move-to VSR and a permute/insert.
724 // Assume vector operation cost for both (cost will be 2x on P9).
726 if (ST->hasP10Vector())
727 return CostFactor + MaskCostForIdx;
728 if (Index != -1U)
729 return 2 * CostFactor;
730 } else if (ISD == ISD::EXTRACT_VECTOR_ELT) {
731 // It's an extract. Maybe we can do a cheap move-from VSR.
732 unsigned EltSize = Val->getScalarSizeInBits();
733 // P9 has both mfvsrd and mfvsrld for 64 bit integer.
734 if (EltSize == 64 && Index != -1U)
735 return 1;
736 if (EltSize == 32) {
737 unsigned MfvsrwzIndex = ST->isLittleEndian() ? 2 : 1;
738 if (Index == MfvsrwzIndex)
739 return 1;
740
741 // For other indexs like non const, P9 has vxform extract. The
742 // MaskCostForIdx is for masking the index.
743 return CostFactor + MaskCostForIdx;
744 }
745
746 // We need a vector extract (or mfvsrld). Assume vector operation cost.
747 // The cost of the load constant for a vector extract is disregarded
748 // (invariant, easily schedulable).
749 return CostFactor + MaskCostForOneBitSize + MaskCostForIdx;
750 }
751 } else if (ST->hasDirectMove() && Index != -1U) {
752 // Assume permute has standard cost.
753 // Assume move-to/move-from VSR have 2x standard cost.
755 return 3;
756 return 3 + MaskCostForOneBitSize;
757 }
758 }
759
760 // Estimated cost of a load-hit-store delay. This was obtained
761 // experimentally as a minimum needed to prevent unprofitable
762 // vectorization for the paq8p benchmark. It may need to be
763 // raised further if other unprofitable cases remain.
764 unsigned LHSPenalty = 2;
766 LHSPenalty += 7;
767
768 // Vector element insert/extract with Altivec is very expensive,
769 // because they require store and reload with the attendant
770 // processor stall for load-hit-store. Until VSX is available,
771 // these need to be estimated as very costly.
774 return LHSPenalty + Cost;
775
776 return Cost;
777}
778
780 Align Alignment,
781 unsigned AddressSpace,
784 const Instruction *I) const {
785 InstructionCost CostFactor = vectorCostAdjustmentFactor(Opcode, Src, nullptr);
786 if (!CostFactor.isValid())
788
789 if (TLI->getValueType(DL, Src, true) == MVT::Other)
790 return BaseT::getMemoryOpCost(Opcode, Src, Alignment, AddressSpace,
791 CostKind);
792 // Legalize the type.
793 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Src);
794 assert((Opcode == Instruction::Load || Opcode == Instruction::Store) &&
795 "Invalid Opcode");
796
798 BaseT::getMemoryOpCost(Opcode, Src, Alignment, AddressSpace, CostKind);
799 // TODO: Handle other cost kinds.
801 return Cost;
802
803 Cost *= CostFactor;
804
805 bool IsAltivecType = ST->hasAltivec() &&
806 (LT.second == MVT::v16i8 || LT.second == MVT::v8i16 ||
807 LT.second == MVT::v4i32 || LT.second == MVT::v4f32);
808 bool IsVSXType = ST->hasVSX() &&
809 (LT.second == MVT::v2f64 || LT.second == MVT::v2i64);
810
811 // VSX has 32b/64b load instructions. Legalization can handle loading of
812 // 32b/64b to VSR correctly and cheaply. But BaseT::getMemoryOpCost and
813 // PPCTargetLowering can't compute the cost appropriately. So here we
814 // explicitly check this case. There are also corresponding store
815 // instructions.
816 unsigned MemBits = Src->getPrimitiveSizeInBits();
817 unsigned SrcBytes = LT.second.getStoreSize();
818 if (ST->hasVSX() && IsAltivecType) {
819 if (MemBits == 64 || (ST->hasP8Vector() && MemBits == 32))
820 return 1;
821
822 // Use lfiwax/xxspltw
823 if (Opcode == Instruction::Load && MemBits == 32 && Alignment < SrcBytes)
824 return 2;
825 }
826
827 // Aligned loads and stores are easy.
828 if (!SrcBytes || Alignment >= SrcBytes)
829 return Cost;
830
831 // If we can use the permutation-based load sequence, then this is also
832 // relatively cheap (not counting loop-invariant instructions): one load plus
833 // one permute (the last load in a series has extra cost, but we're
834 // neglecting that here). Note that on the P7, we could do unaligned loads
835 // for Altivec types using the VSX instructions, but that's more expensive
836 // than using the permutation-based load sequence. On the P8, that's no
837 // longer true.
838 if (Opcode == Instruction::Load && (!ST->hasP8Vector() && IsAltivecType) &&
839 Alignment >= LT.second.getScalarType().getStoreSize())
840 return Cost + LT.first; // Add the cost of the permutations.
841
842 // For VSX, we can do unaligned loads and stores on Altivec/VSX types. On the
843 // P7, unaligned vector loads are more expensive than the permutation-based
844 // load sequence, so that might be used instead, but regardless, the net cost
845 // is about the same (not counting loop-invariant instructions).
846 if (IsVSXType || (ST->hasVSX() && IsAltivecType))
847 return Cost;
848
849 // Newer PPC supports unaligned memory access.
850 if (TLI->allowsMisalignedMemoryAccesses(LT.second, 0))
851 return Cost;
852
853 // PPC in general does not support unaligned loads and stores. They'll need
854 // to be decomposed based on the alignment factor.
855
856 // Add the cost of each scalar load or store.
857 Cost += LT.first * ((SrcBytes / Alignment.value()) - 1);
858
859 // For a vector type, there is also scalarization overhead (only for
860 // stores, loads are expanded using the vector-load + permutation sequence,
861 // which is much less expensive).
862 if (Src->isVectorTy() && Opcode == Instruction::Store)
863 for (int I = 0, E = cast<FixedVectorType>(Src)->getNumElements(); I < E;
864 ++I)
865 Cost +=
866 getVectorInstrCost(Instruction::ExtractElement, Src, CostKind, I,
867 nullptr, nullptr, TTI::VectorInstrContext::None);
868
869 return Cost;
870}
871
873 unsigned Opcode, Type *VecTy, unsigned Factor, ArrayRef<unsigned> Indices,
874 Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind,
875 bool UseMaskForCond, bool UseMaskForGaps) const {
876 InstructionCost CostFactor =
877 vectorCostAdjustmentFactor(Opcode, VecTy, nullptr);
878 if (!CostFactor.isValid())
880
881 if (UseMaskForCond || UseMaskForGaps)
882 return BaseT::getInterleavedMemoryOpCost(Opcode, VecTy, Factor, Indices,
883 Alignment, AddressSpace, CostKind,
884 UseMaskForCond, UseMaskForGaps);
885
886 assert(isa<VectorType>(VecTy) &&
887 "Expect a vector type for interleaved memory op");
888
889 // Legalize the type.
890 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(VecTy);
891
892 // Firstly, the cost of load/store operation.
894 getMemoryOpCost(Opcode, VecTy, Alignment, AddressSpace, CostKind);
895
896 // PPC, for both Altivec/VSX, support cheap arbitrary permutations
897 // (at least in the sense that there need only be one non-loop-invariant
898 // instruction). For each result vector, we need one shuffle per incoming
899 // vector (except that the first shuffle can take two incoming vectors
900 // because it does not need to take itself).
901 Cost += Factor*(LT.first-1);
902
903 return Cost;
904}
905
909
912
913 if (ICA.getID() == Intrinsic::vp_load) {
914 MemIntrinsicCostAttributes MICA(Intrinsic::masked_load, ICA.getReturnType(),
915 Align(1), 0);
917 }
918
919 if (ICA.getID() == Intrinsic::vp_store) {
920 MemIntrinsicCostAttributes MICA(Intrinsic::masked_store,
921 ICA.getArgTypes()[0], Align(1), 0);
923 }
924
926}
927
929 const Function *Callee,
930 ArrayRef<Type *> Types) const {
931
932 // We need to ensure that argument promotion does not
933 // attempt to promote pointers to MMA types (__vector_pair
934 // and __vector_quad) since these types explicitly cannot be
935 // passed as arguments. Both of these types are larger than
936 // the 128-bit Altivec vectors and have a scalar size of 1 bit.
937 if (!BaseT::areTypesABICompatible(Caller, Callee, Types))
938 return false;
939
940 return llvm::none_of(Types, [](Type *Ty) {
941 if (Ty->isSized())
942 return Ty->isIntOrIntVectorTy(1) && Ty->getPrimitiveSizeInBits() > 128;
943 return false;
944 });
945}
946
948 LoopInfo *LI, DominatorTree *DT,
949 AssumptionCache *AC,
950 TargetLibraryInfo *LibInfo) const {
951 // Process nested loops first.
952 for (Loop *I : *L)
953 if (canSaveCmp(I, BI, SE, LI, DT, AC, LibInfo))
954 return false; // Stop search.
955
956 HardwareLoopInfo HWLoopInfo(L);
957
958 if (!HWLoopInfo.canAnalyze(*LI))
959 return false;
960
961 if (!isHardwareLoopProfitable(L, *SE, *AC, LibInfo, HWLoopInfo))
962 return false;
963
964 if (!HWLoopInfo.isHardwareLoopCandidate(*SE, *LI, *DT))
965 return false;
966
967 *BI = HWLoopInfo.ExitBranch;
968 return true;
969}
970
972 const TargetTransformInfo::LSRCost &C2) const {
973 // PowerPC default behaviour here is "instruction number 1st priority".
974 // If LsrNoInsnsCost is set, call default implementation.
975 if (!LsrNoInsnsCost)
976 return std::tie(C1.Insns, C1.NumRegs, C1.AddRecCost, C1.NumIVMuls,
977 C1.NumBaseAdds, C1.ScaleCost, C1.ImmCost, C1.SetupCost) <
978 std::tie(C2.Insns, C2.NumRegs, C2.AddRecCost, C2.NumIVMuls,
979 C2.NumBaseAdds, C2.ScaleCost, C2.ImmCost, C2.SetupCost);
981}
982
983bool PPCTTIImpl::isNumRegsMajorCostOfLSR() const { return false; }
984
986 const PPCTargetMachine &TM = ST->getTargetMachine();
987 // XCOFF hasn't implemented lowerRelativeReference, disable non-ELF for now.
988 if (!TM.isELFv2ABI())
989 return false;
991}
992
994 MemIntrinsicInfo &Info) const {
995 switch (Inst->getIntrinsicID()) {
996 case Intrinsic::ppc_altivec_lvx:
997 case Intrinsic::ppc_altivec_lvxl:
998 case Intrinsic::ppc_altivec_lvebx:
999 case Intrinsic::ppc_altivec_lvehx:
1000 case Intrinsic::ppc_altivec_lvewx:
1001 case Intrinsic::ppc_vsx_lxvd2x:
1002 case Intrinsic::ppc_vsx_lxvw4x:
1003 case Intrinsic::ppc_vsx_lxvd2x_be:
1004 case Intrinsic::ppc_vsx_lxvw4x_be:
1005 case Intrinsic::ppc_vsx_lxvl:
1006 case Intrinsic::ppc_vsx_lxvll:
1007 case Intrinsic::ppc_vsx_lxvp: {
1008 Info.PtrVal = Inst->getArgOperand(0);
1009 Info.ReadMem = true;
1010 Info.WriteMem = false;
1011 return true;
1012 }
1013 case Intrinsic::ppc_altivec_stvx:
1014 case Intrinsic::ppc_altivec_stvxl:
1015 case Intrinsic::ppc_altivec_stvebx:
1016 case Intrinsic::ppc_altivec_stvehx:
1017 case Intrinsic::ppc_altivec_stvewx:
1018 case Intrinsic::ppc_vsx_stxvd2x:
1019 case Intrinsic::ppc_vsx_stxvw4x:
1020 case Intrinsic::ppc_vsx_stxvd2x_be:
1021 case Intrinsic::ppc_vsx_stxvw4x_be:
1022 case Intrinsic::ppc_vsx_stxvl:
1023 case Intrinsic::ppc_vsx_stxvll:
1024 case Intrinsic::ppc_vsx_stxvp: {
1025 Info.PtrVal = Inst->getArgOperand(1);
1026 Info.ReadMem = false;
1027 Info.WriteMem = true;
1028 return true;
1029 }
1030 case Intrinsic::ppc_stbcx:
1031 case Intrinsic::ppc_sthcx:
1032 case Intrinsic::ppc_stdcx:
1033 case Intrinsic::ppc_stwcx: {
1034 Info.PtrVal = Inst->getArgOperand(0);
1035 Info.ReadMem = false;
1036 Info.WriteMem = true;
1037 return true;
1038 }
1039 default:
1040 break;
1041 }
1042
1043 return false;
1044}
1045
1047 return TLI->supportsTailCallFor(CB);
1048}
1049
1050// Target hook used by CodeGen to decide whether to expand vector predication
1051// intrinsics into scalar operations or to use special ISD nodes to represent
1052// them. The Target will not see the intrinsics.
1056 unsigned Directive = ST->getCPUDirective();
1057 VPLegalization DefaultLegalization = BaseT::getVPLegalizationStrategy(PI);
1060 return DefaultLegalization;
1061
1062 if (!ST->isPPC64())
1063 return DefaultLegalization;
1064
1065 unsigned IID = PI.getIntrinsicID();
1066 if (IID != Intrinsic::vp_load && IID != Intrinsic::vp_store)
1067 return DefaultLegalization;
1068
1069 bool IsLoad = IID == Intrinsic::vp_load;
1070 Type *VecTy = IsLoad ? PI.getType() : PI.getOperand(0)->getType();
1071 EVT VT = TLI->getValueType(DL, VecTy, true);
1072 if (VT != MVT::v2i64 && VT != MVT::v4i32 && VT != MVT::v8i16 &&
1073 VT != MVT::v16i8)
1074 return DefaultLegalization;
1075
1076 auto IsAllTrueMask = [](Value *MaskVal) {
1077 if (Value *SplattedVal = getSplatValue(MaskVal))
1078 if (auto *ConstValue = dyn_cast<Constant>(SplattedVal))
1079 return ConstValue->isAllOnesValue();
1080 return false;
1081 };
1082 unsigned MaskIx = IsLoad ? 1 : 2;
1083 if (!IsAllTrueMask(PI.getOperand(MaskIx)))
1084 return DefaultLegalization;
1085
1087}
1088
1090 if (!PPCEVL || !ST->isPPC64())
1091 return false;
1092 unsigned CPU = ST->getCPUDirective();
1093 return CPU == PPC::DIR_PWR10 || CPU == PPC::DIR_PWR_FUTURE ||
1094 (Pwr9EVL && CPU == PPC::DIR_PWR9);
1095}
1096
1097bool PPCTTIImpl::isLegalMaskedLoad(Type *DataType, Align Alignment,
1098 unsigned AddressSpace,
1099 TTI::MaskKind MaskKind) const {
1100 if (!hasActiveVectorLength())
1101 return false;
1102
1103 auto IsLegalLoadWithLengthType = [](EVT VT) {
1104 if (VT != MVT::i64 && VT != MVT::i32 && VT != MVT::i16 && VT != MVT::i8)
1105 return false;
1106 return true;
1107 };
1108
1109 return IsLegalLoadWithLengthType(TLI->getValueType(DL, DataType, true));
1110}
1111
1113 unsigned AddressSpace,
1114 TTI::MaskKind MaskKind) const {
1115 return isLegalMaskedLoad(DataType, Alignment, AddressSpace);
1116}
1117
1121
1123
1124 unsigned Opcode;
1125 switch (MICA.getID()) {
1126 case Intrinsic::masked_load:
1127 Opcode = Instruction::Load;
1128 break;
1129 case Intrinsic::masked_store:
1130 Opcode = Instruction::Store;
1131 break;
1132 default:
1133 return BaseCost;
1134 }
1135
1136 Type *DataTy = MICA.getDataType();
1137 Align Alignment = MICA.getAlignment();
1138 unsigned AddressSpace = MICA.getAddressSpace();
1139
1140 auto VecTy = dyn_cast<FixedVectorType>(DataTy);
1141 if (!VecTy)
1142 return BaseCost;
1143 if (Opcode == Instruction::Load) {
1144 if (!isLegalMaskedLoad(VecTy->getScalarType(), Alignment, AddressSpace))
1145 return BaseCost;
1146 } else {
1147 if (!isLegalMaskedStore(VecTy->getScalarType(), Alignment, AddressSpace))
1148 return BaseCost;
1149 }
1150 if (VecTy->getPrimitiveSizeInBits() > 128)
1151 return BaseCost;
1152
1153 // Cost is 1 (scalar compare) + 1 (scalar select) +
1154 // 1 * vectorCostAdjustmentFactor (vector load with length)
1155 // Maybe + 1 (scalar shift)
1157 1 + 1 + vectorCostAdjustmentFactor(Opcode, DataTy, nullptr);
1158 if (ST->getCPUDirective() != PPC::DIR_PWR_FUTURE ||
1159 VecTy->getScalarSizeInBits() != 8)
1160 Cost += 1; // need shift for length
1161 return Cost;
1162}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file provides a helper that implements much of the TTI interface in terms of the target-independ...
static cl::opt< OutputCostKind > CostKind("cost-kind", cl::desc("Target cost kind"), cl::init(OutputCostKind::RecipThroughput), cl::values(clEnumValN(OutputCostKind::RecipThroughput, "throughput", "Reciprocal throughput"), clEnumValN(OutputCostKind::Latency, "latency", "Instruction latency"), clEnumValN(OutputCostKind::CodeSize, "code-size", "Code size"), clEnumValN(OutputCostKind::SizeAndLatency, "size-latency", "Code size and latency"), clEnumValN(OutputCostKind::All, "all", "Print all cost kinds")))
TargetTransformInfo::VPLegalization VPLegalization
This file provides the interface for the instcombine pass implementation.
static LVOptions Options
Definition LVOptions.cpp:25
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
uint64_t IntrinsicInst * II
static cl::opt< bool > PPCEVL("ppc-evl", cl::desc("Allow EVL type vp.load/vp.store"), cl::init(false), cl::Hidden)
static cl::opt< bool > VecMaskCost("ppc-vec-mask-cost", cl::desc("add masking cost for i1 vectors"), cl::init(true), cl::Hidden)
static cl::opt< bool > Pwr9EVL("ppc-pwr9-evl", cl::desc("Allow vp.load and vp.store for pwr9"), cl::init(false), cl::Hidden)
static cl::opt< bool > DisablePPCConstHoist("disable-ppc-constant-hoisting", cl::desc("disable constant hoisting on PPC"), cl::init(false), cl::Hidden)
static cl::opt< unsigned > SmallCTRLoopThreshold("min-ctr-loop-threshold", cl::init(4), cl::Hidden, cl::desc("Loops with a constant trip count smaller than " "this value will not use the count register."))
static bool isMMAType(Type *Ty)
static cl::opt< bool > EnablePPCColdCC("ppc-enable-coldcc", cl::Hidden, cl::init(false), cl::desc("Enable using coldcc calling conv for cold " "internal functions"))
static cl::opt< bool > LsrNoInsnsCost("ppc-lsr-no-insns-cost", cl::Hidden, cl::init(false), cl::desc("Do not add instruction count to lsr cost model"))
This file a TargetTransformInfoImplBase conforming object specific to the PPC target machine.
This file contains the declarations for profiling metadata utility functions.
This file describes how to lower LLVM code to machine code.
This pass exposes codegen information to IR-level passes.
Class for arbitrary precision integers.
Definition APInt.h:78
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
A cache of @llvm.assume calls within a function.
LLVM Basic Block Representation.
Definition BasicBlock.h:62
InstructionCost getInterleavedMemoryOpCost(unsigned Opcode, Type *VecTy, unsigned Factor, ArrayRef< unsigned > Indices, Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind, bool UseMaskForCond=false, bool UseMaskForGaps=false) const override
InstructionCost getArithmeticInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Opd1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Opd2Info={TTI::OK_AnyValue, TTI::OP_None}, ArrayRef< const Value * > Args={}, const Instruction *CxtI=nullptr) const override
bool shouldBuildRelLookupTables() const override
InstructionCost getCmpSelInstrCost(unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Op1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Op2Info={TTI::OK_AnyValue, TTI::OP_None}, const Instruction *I=nullptr) const override
void getUnrollingPreferences(Loop *L, ScalarEvolution &SE, TTI::UnrollingPreferences &UP, OptimizationRemarkEmitter *ORE) const override
void getPeelingPreferences(Loop *L, ScalarEvolution &SE, TTI::PeelingPreferences &PP) const override
InstructionCost getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src, TTI::CastContextHint CCH, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
std::pair< InstructionCost, MVT > getTypeLegalizationCost(Type *Ty) const
InstructionCost getVectorInstrCost(unsigned Opcode, Type *Val, TTI::TargetCostKind CostKind, unsigned Index, const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
InstructionCost getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, TTI::TargetCostKind CostKind) const override
InstructionCost getMemIntrinsicInstrCost(const MemIntrinsicCostAttributes &MICA, TTI::TargetCostKind CostKind) const override
InstructionCost getMemoryOpCost(unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind, TTI::OperandValueInfo OpInfo={TTI::OK_AnyValue, TTI::OP_None}, const Instruction *I=nullptr) const override
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
Value * getArgOperand(unsigned i) const
static LLVM_ABI CastInst * Create(Instruction::CastOps, Value *S, Type *Ty, const Twine &Name="", InsertPosition InsertBefore=nullptr)
Provides a way to construct any of the CastInst subclasses using an opcode instead of the subclass's ...
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
Definition InstrTypes.h:740
Conditional Branch instruction.
This is an important base class in LLVM.
Definition Constant.h:43
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
Definition Dominators.h:151
Value * CreateInsertElement(Type *VecTy, Value *NewElt, Value *Idx, const Twine &Name="")
Definition IRBuilder.h:2662
Value * CreateExtractElement(Value *Vec, Value *Idx, const Twine &Name="")
Definition IRBuilder.h:2650
Value * CreateBitCast(Value *V, Type *DestTy, const Twine &Name="")
Definition IRBuilder.h:2243
The core instruction combiner logic.
const DataLayout & getDataLayout() const
DominatorTree & getDominatorTree() const
AssumptionCache & getAssumptionCache() const
static InstructionCost getInvalid(CostType Val=0)
static InstructionCost getMax()
const SmallVectorImpl< Type * > & getArgTypes() const
A wrapper class for inspecting calls to intrinsic functions.
Intrinsic::ID getIntrinsicID() const
Return the intrinsic ID of this intrinsic.
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:68
An instruction for reading from memory.
Represents a single loop in the control flow graph.
Definition LoopInfo.h:40
Information for memory intrinsic cost model.
The optimization diagnostic interface.
bool isLSRCostLess(const TargetTransformInfo::LSRCost &C1, const TargetTransformInfo::LSRCost &C2) const override
InstructionCost vectorCostAdjustmentFactor(unsigned Opcode, Type *Ty1, Type *Ty2) const
unsigned getMaxInterleaveFactor(ElementCount VF, bool HasUnorderedReductions) const override
InstructionCost getArithmeticInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Op1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Op2Info={TTI::OK_AnyValue, TTI::OP_None}, ArrayRef< const Value * > Args={}, const Instruction *CxtI=nullptr) const override
InstructionCost getMemoryOpCost(unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind, TTI::OperandValueInfo OpInfo={TTI::OK_AnyValue, TTI::OP_None}, const Instruction *I=nullptr) const override
bool isLegalMaskedLoad(Type *DataType, Align Alignment, unsigned AddressSpace, TTI::MaskKind MaskKind=TTI::MaskKind::VariableOrConstantMask) const override
InstructionCost getInterleavedMemoryOpCost(unsigned Opcode, Type *VecTy, unsigned Factor, ArrayRef< unsigned > Indices, Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind, bool UseMaskForCond=false, bool UseMaskForGaps=false) const override
bool enableInterleavedAccessVectorization() const override
unsigned getRegisterClassForType(bool Vector, Type *Ty=nullptr) const override
TTI::MemCmpExpansionOptions enableMemCmpExpansion(bool OptSize, bool IsZeroCmp) const override
unsigned getCacheLineSize() const override
bool hasActiveVectorLength() const override
InstructionCost getMemIntrinsicInstrCost(const MemIntrinsicCostAttributes &MICA, TTI::TargetCostKind CostKind) const override
Get memory intrinsic cost based on arguments.
bool useColdCCForColdCall(Function &F) const override
void getUnrollingPreferences(Loop *L, ScalarEvolution &SE, TTI::UnrollingPreferences &UP, OptimizationRemarkEmitter *ORE) const override
bool getTgtMemIntrinsic(IntrinsicInst *Inst, MemIntrinsicInfo &Info) const override
TypeSize getRegisterBitWidth(TargetTransformInfo::RegisterKind K) const override
bool isLegalMaskedStore(Type *DataType, Align Alignment, unsigned AddressSpace, TTI::MaskKind MaskKind=TTI::MaskKind::VariableOrConstantMask) const override
bool isNumRegsMajorCostOfLSR() const override
unsigned getPrefetchDistance() const override
TargetTransformInfo::VPLegalization getVPLegalizationStrategy(const VPIntrinsic &PI) const override
InstructionCost getVectorInstrCost(unsigned Opcode, Type *Val, TTI::TargetCostKind CostKind, unsigned Index, const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
unsigned getNumberOfRegisters(unsigned ClassID) const override
bool isHardwareLoopProfitable(Loop *L, ScalarEvolution &SE, AssumptionCache &AC, TargetLibraryInfo *LibInfo, HardwareLoopInfo &HWLoopInfo) const override
void getPeelingPreferences(Loop *L, ScalarEvolution &SE, TTI::PeelingPreferences &PP) const override
InstructionCost getIntImmCostInst(unsigned Opcode, unsigned Idx, const APInt &Imm, Type *Ty, TTI::TargetCostKind CostKind, Instruction *Inst=nullptr) const override
InstructionCost getCFInstrCost(unsigned Opcode, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
InstructionCost getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, TTI::TargetCostKind CostKind) const override
Get intrinsic cost based on arguments.
const char * getRegisterClassName(unsigned ClassID) const override
InstructionCost getInstructionCost(const User *U, ArrayRef< const Value * > Operands, TTI::TargetCostKind CostKind) const override
bool shouldBuildRelLookupTables() const override
bool supportsTailCallFor(const CallBase *CB) const override
InstructionCost getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, ArrayRef< int > Mask, TTI::TargetCostKind CostKind, int Index, VectorType *SubTp, ArrayRef< const Value * > Args={}, const Instruction *CxtI=nullptr) const override
bool canSaveCmp(Loop *L, CondBrInst **BI, ScalarEvolution *SE, LoopInfo *LI, DominatorTree *DT, AssumptionCache *AC, TargetLibraryInfo *LibInfo) const override
InstructionCost getIntImmCostIntrin(Intrinsic::ID IID, unsigned Idx, const APInt &Imm, Type *Ty, TTI::TargetCostKind CostKind) const override
bool areTypesABICompatible(const Function *Caller, const Function *Callee, ArrayRef< Type * > Types) const override
TTI::PopcntSupportKind getPopcntSupport(unsigned TyWidth) const override
InstructionCost getCmpSelInstrCost(unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Op1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Op2Info={TTI::OK_AnyValue, TTI::OP_None}, const Instruction *I=nullptr) const override
bool enableAggressiveInterleaving(bool LoopHasReductions) const override
InstructionCost getIntImmCost(const APInt &Imm, Type *Ty, TTI::TargetCostKind CostKind) const override
InstructionCost getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src, TTI::CastContextHint CCH, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
std::optional< Instruction * > instCombineIntrinsic(InstCombiner &IC, IntrinsicInst &II) const override
Common code between 32-bit and 64-bit PowerPC targets.
static LLVM_ABI PoisonValue * get(Type *T)
Static factory methods - Return an 'poison' object of the specified type.
The main scalar evolution driver.
LLVM_ABI unsigned getSmallConstantTripCount(const Loop *L)
Returns the exact trip count of the loop if we can compute it, and the result is a small constant.
size_type count(ConstPtrType Ptr) const
count - Return 1 if the specified pointer is in the set, 0 otherwise.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
An instruction for storing to memory.
Provides information about what library functions are available for the current target.
Provide an instruction scheduling machine model to CodeGen passes.
unsigned getIssueWidth() const
Maximum number of micro-ops that may be scheduled per cycle.
LLVM_ABI void init(const TargetSubtargetInfo *TSInfo, bool EnableSModel=true, bool EnableSItins=true)
Initialize the machine model for instruction scheduling.
virtual TargetTransformInfo::VPLegalization getVPLegalizationStrategy(const VPIntrinsic &PI) const
virtual InstructionCost getIntImmCost(const APInt &Imm, Type *Ty, TTI::TargetCostKind CostKind) const
virtual InstructionCost getIntImmCostInst(unsigned Opcode, unsigned Idx, const APInt &Imm, Type *Ty, TTI::TargetCostKind CostKind, Instruction *Inst=nullptr) const
virtual InstructionCost getInstructionCost(const User *U, ArrayRef< const Value * > Operands, TTI::TargetCostKind CostKind) const
virtual bool isLSRCostLess(const TTI::LSRCost &C1, const TTI::LSRCost &C2) const
virtual InstructionCost getIntImmCostIntrin(Intrinsic::ID IID, unsigned Idx, const APInt &Imm, Type *Ty, TTI::TargetCostKind CostKind) const
virtual bool areTypesABICompatible(const Function *Caller, const Function *Callee, ArrayRef< Type * > Types) const
MaskKind
Some targets only support masked load/store with a constant mask.
TargetCostKind
The kind of cost model.
@ TCK_RecipThroughput
Reciprocal throughput.
@ TCK_CodeSize
Instruction code size.
PopcntSupportKind
Flags indicating the kind of support for population count.
llvm::VectorInstrContext VectorInstrContext
@ TCC_Free
Expected to fold away in lowering.
@ TCC_Basic
The cost of a typical 'add' instruction.
ShuffleKind
The various kinds of shuffle patterns for vector queries.
CastContextHint
Represents a hint about the context in which a cast is used.
@ None
The cast is not used with a load/store of any kind.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition Twine.h:82
static constexpr TypeSize getFixed(ScalarTy ExactSize)
Definition TypeSize.h:343
static constexpr TypeSize getScalable(ScalarTy MinimumSize)
Definition TypeSize.h:346
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
Definition Type.cpp:310
bool isVectorTy() const
True if this is an instance of VectorType.
Definition Type.h:288
static LLVM_ABI IntegerType * getInt32Ty(LLVMContext &C)
Definition Type.cpp:309
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
Definition Type.h:368
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
Definition Type.cpp:232
bool isDoubleTy() const
Return true if this is 'double', a 64-bit IEEE fp type.
Definition Type.h:158
bool isIntegerTy() const
True if this is an instance of IntegerType.
Definition Type.h:257
Value * getOperand(unsigned i) const
Definition User.h:207
This is the common base class for vector predication intrinsics.
static LLVM_ABI bool isVPIntrinsic(Intrinsic::ID)
LLVM Value Representation.
Definition Value.h:75
Type * getType() const
All values are typed, get the type of this value.
Definition Value.h:255
Base class of all SIMD vector types.
CallInst * Call
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
ISD namespace - This namespace contains an enum which represents all of the SelectionDAG node types a...
Definition ISDOpcodes.h:24
@ EXTRACT_VECTOR_ELT
EXTRACT_VECTOR_ELT(VECTOR, IDX) - Returns a single element from VECTOR identified by the (potentially...
Definition ISDOpcodes.h:578
@ INSERT_VECTOR_ELT
INSERT_VECTOR_ELT(VECTOR, VAL, IDX) - Returns VECTOR with the element at IDX replaced with VAL.
Definition ISDOpcodes.h:567
initializer< Ty > init(const Ty &Val)
This is an optimization pass for GlobalISel generic memory operations.
InstructionCost Cost
constexpr bool isInt(int64_t x)
Checks if an integer fits into the given bit width.
Definition MathExtras.h:166
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
LLVM_ABI Value * getSplatValue(const Value *V)
Get splat value if the input is a splat vector or return nullptr.
constexpr bool isShiftedMask_32(uint32_t Value)
Return true if the argument contains a non-empty sequence of ones with the remainder zero (32 bit ver...
Definition MathExtras.h:268
constexpr bool isShiftedMask_64(uint64_t Value)
Return true if the argument contains a non-empty sequence of ones with the remainder zero (64 bit ver...
Definition MathExtras.h:274
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
Definition MathExtras.h:280
LLVM_ABI Align getOrEnforceKnownAlignment(Value *V, MaybeAlign PrefAlign, const DataLayout &DL, const Instruction *CxtI=nullptr, AssumptionCache *AC=nullptr, const DominatorTree *DT=nullptr)
Try to ensure that the alignment of V is at least PrefAlign bytes.
Definition Local.cpp:1579
bool none_of(R &&Range, UnaryPredicate P)
Provide wrappers to std::none_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1753
constexpr bool isUInt(uint64_t x)
Checks if an unsigned integer fits into the given bit width.
Definition MathExtras.h:190
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition Casting.h:547
LLVM_ABI bool extractBranchWeights(const MDNode *ProfileData, SmallVectorImpl< uint32_t > &Weights)
Extract branch weights from MD_prof metadata.
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
constexpr uint64_t value() const
This is a hole in the type system and should not be abused.
Definition Alignment.h:77
static LLVM_ABI void collectEphemeralValues(const Loop *L, AssumptionCache *AC, SmallPtrSetImpl< const Value * > &EphValues)
Collect a loop's ephemeral values (those used only by an assume or similar intrinsics in the loop).
Extended Value Type.
Definition ValueTypes.h:35
Attributes of a target dependent hardware loop.
LLVM_ABI bool canAnalyze(LoopInfo &LI)
LLVM_ABI bool isHardwareLoopCandidate(ScalarEvolution &SE, LoopInfo &LI, DominatorTree &DT, bool ForceNestedLoop=false, bool ForceHardwareLoopPHI=false)
Information about a load/store intrinsic defined by the target.
unsigned Insns
TODO: Some of these could be merged.
Returns options for expansion of memcmp. IsZeroCmp is.
Parameters that control the generic loop unrolling transformation.
bool Runtime
Allow runtime unrolling (unrolling of loops to expand the size of the loop body even when the number ...
bool Partial
Allow partial unrolling (unrolling of loops to expand the size of the loop body, not only to eliminat...
bool AllowExpensiveTripCount
Allow emitting expensive instructions (such as divisions) when computing the trip count of a loop for...