xref: /freebsd-src/contrib/llvm-project/llvm/lib/Target/RISCV/RISCVTargetTransformInfo.cpp (revision 753f127f3ace09432b2baeffd71a308760641a62)
1 //===-- RISCVTargetTransformInfo.cpp - RISC-V 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 
9 #include "RISCVTargetTransformInfo.h"
10 #include "MCTargetDesc/RISCVMatInt.h"
11 #include "llvm/Analysis/TargetTransformInfo.h"
12 #include "llvm/CodeGen/BasicTTIImpl.h"
13 #include "llvm/CodeGen/TargetLowering.h"
14 #include <cmath>
15 using namespace llvm;
16 
17 #define DEBUG_TYPE "riscvtti"
18 
19 static cl::opt<unsigned> RVVRegisterWidthLMUL(
20     "riscv-v-register-bit-width-lmul",
21     cl::desc(
22         "The LMUL to use for getRegisterBitWidth queries. Affects LMUL used "
23         "by autovectorized code. Fractional LMULs are not supported."),
24     cl::init(1), cl::Hidden);
25 
26 InstructionCost RISCVTTIImpl::getIntImmCost(const APInt &Imm, Type *Ty,
27                                             TTI::TargetCostKind CostKind) {
28   assert(Ty->isIntegerTy() &&
29          "getIntImmCost can only estimate cost of materialising integers");
30 
31   // We have a Zero register, so 0 is always free.
32   if (Imm == 0)
33     return TTI::TCC_Free;
34 
35   // Otherwise, we check how many instructions it will take to materialise.
36   const DataLayout &DL = getDataLayout();
37   return RISCVMatInt::getIntMatCost(Imm, DL.getTypeSizeInBits(Ty),
38                                     getST()->getFeatureBits());
39 }
40 
41 InstructionCost RISCVTTIImpl::getIntImmCostInst(unsigned Opcode, unsigned Idx,
42                                                 const APInt &Imm, Type *Ty,
43                                                 TTI::TargetCostKind CostKind,
44                                                 Instruction *Inst) {
45   assert(Ty->isIntegerTy() &&
46          "getIntImmCost can only estimate cost of materialising integers");
47 
48   // We have a Zero register, so 0 is always free.
49   if (Imm == 0)
50     return TTI::TCC_Free;
51 
52   // Some instructions in RISC-V can take a 12-bit immediate. Some of these are
53   // commutative, in others the immediate comes from a specific argument index.
54   bool Takes12BitImm = false;
55   unsigned ImmArgIdx = ~0U;
56 
57   switch (Opcode) {
58   case Instruction::GetElementPtr:
59     // Never hoist any arguments to a GetElementPtr. CodeGenPrepare will
60     // split up large offsets in GEP into better parts than ConstantHoisting
61     // can.
62     return TTI::TCC_Free;
63   case Instruction::And:
64     // zext.h
65     if (Imm == UINT64_C(0xffff) && ST->hasStdExtZbb())
66       return TTI::TCC_Free;
67     // zext.w
68     if (Imm == UINT64_C(0xffffffff) && ST->hasStdExtZbb())
69       return TTI::TCC_Free;
70     LLVM_FALLTHROUGH;
71   case Instruction::Add:
72   case Instruction::Or:
73   case Instruction::Xor:
74   case Instruction::Mul:
75     Takes12BitImm = true;
76     break;
77   case Instruction::Sub:
78   case Instruction::Shl:
79   case Instruction::LShr:
80   case Instruction::AShr:
81     Takes12BitImm = true;
82     ImmArgIdx = 1;
83     break;
84   default:
85     break;
86   }
87 
88   if (Takes12BitImm) {
89     // Check immediate is the correct argument...
90     if (Instruction::isCommutative(Opcode) || Idx == ImmArgIdx) {
91       // ... and fits into the 12-bit immediate.
92       if (Imm.getMinSignedBits() <= 64 &&
93           getTLI()->isLegalAddImmediate(Imm.getSExtValue())) {
94         return TTI::TCC_Free;
95       }
96     }
97 
98     // Otherwise, use the full materialisation cost.
99     return getIntImmCost(Imm, Ty, CostKind);
100   }
101 
102   // By default, prevent hoisting.
103   return TTI::TCC_Free;
104 }
105 
106 InstructionCost
107 RISCVTTIImpl::getIntImmCostIntrin(Intrinsic::ID IID, unsigned Idx,
108                                   const APInt &Imm, Type *Ty,
109                                   TTI::TargetCostKind CostKind) {
110   // Prevent hoisting in unknown cases.
111   return TTI::TCC_Free;
112 }
113 
114 TargetTransformInfo::PopcntSupportKind
115 RISCVTTIImpl::getPopcntSupport(unsigned TyWidth) {
116   assert(isPowerOf2_32(TyWidth) && "Ty width must be power of 2");
117   return ST->hasStdExtZbb() ? TTI::PSK_FastHardware : TTI::PSK_Software;
118 }
119 
120 bool RISCVTTIImpl::shouldExpandReduction(const IntrinsicInst *II) const {
121   // Currently, the ExpandReductions pass can't expand scalable-vector
122   // reductions, but we still request expansion as RVV doesn't support certain
123   // reductions and the SelectionDAG can't legalize them either.
124   switch (II->getIntrinsicID()) {
125   default:
126     return false;
127   // These reductions have no equivalent in RVV
128   case Intrinsic::vector_reduce_mul:
129   case Intrinsic::vector_reduce_fmul:
130     return true;
131   }
132 }
133 
134 Optional<unsigned> RISCVTTIImpl::getMaxVScale() const {
135   if (ST->hasVInstructions())
136     return ST->getRealMaxVLen() / RISCV::RVVBitsPerBlock;
137   return BaseT::getMaxVScale();
138 }
139 
140 Optional<unsigned> RISCVTTIImpl::getVScaleForTuning() const {
141   if (ST->hasVInstructions())
142     return ST->getRealMinVLen() / RISCV::RVVBitsPerBlock;
143   return BaseT::getVScaleForTuning();
144 }
145 
146 TypeSize
147 RISCVTTIImpl::getRegisterBitWidth(TargetTransformInfo::RegisterKind K) const {
148   unsigned LMUL = PowerOf2Floor(
149       std::max<unsigned>(std::min<unsigned>(RVVRegisterWidthLMUL, 8), 1));
150   switch (K) {
151   case TargetTransformInfo::RGK_Scalar:
152     return TypeSize::getFixed(ST->getXLen());
153   case TargetTransformInfo::RGK_FixedWidthVector:
154     return TypeSize::getFixed(
155         ST->useRVVForFixedLengthVectors() ? LMUL * ST->getRealMinVLen() : 0);
156   case TargetTransformInfo::RGK_ScalableVector:
157     return TypeSize::getScalable(
158         ST->hasVInstructions() ? LMUL * RISCV::RVVBitsPerBlock : 0);
159   }
160 
161   llvm_unreachable("Unsupported register kind");
162 }
163 
164 InstructionCost RISCVTTIImpl::getSpliceCost(VectorType *Tp, int Index) {
165   std::pair<InstructionCost, MVT> LT = TLI->getTypeLegalizationCost(DL, Tp);
166 
167   unsigned Cost = 2; // vslidedown+vslideup.
168   // TODO: LMUL should increase cost.
169   // TODO: Multiplying by LT.first implies this legalizes into multiple copies
170   // of similar code, but I think we expand through memory.
171   return Cost * LT.first;
172 }
173 
174 InstructionCost RISCVTTIImpl::getShuffleCost(TTI::ShuffleKind Kind,
175                                              VectorType *Tp, ArrayRef<int> Mask,
176                                              int Index, VectorType *SubTp,
177                                              ArrayRef<const Value *> Args) {
178   if (isa<ScalableVectorType>(Tp)) {
179     std::pair<InstructionCost, MVT> LT = TLI->getTypeLegalizationCost(DL, Tp);
180     switch (Kind) {
181     default:
182       // Fallthrough to generic handling.
183       // TODO: Most of these cases will return getInvalid in generic code, and
184       // must be implemented here.
185       break;
186     case TTI::SK_Broadcast: {
187       return LT.first * 1;
188     }
189     case TTI::SK_Splice:
190       return getSpliceCost(Tp, Index);
191     case TTI::SK_Reverse:
192       // Most of the cost here is producing the vrgather index register
193       // Example sequence:
194       //   csrr a0, vlenb
195       //   srli a0, a0, 3
196       //   addi a0, a0, -1
197       //   vsetvli a1, zero, e8, mf8, ta, mu (ignored)
198       //   vid.v v9
199       //   vrsub.vx v10, v9, a0
200       //   vrgather.vv v9, v8, v10
201       return LT.first * 6;
202     }
203   }
204 
205   return BaseT::getShuffleCost(Kind, Tp, Mask, Index, SubTp);
206 }
207 
208 InstructionCost
209 RISCVTTIImpl::getMaskedMemoryOpCost(unsigned Opcode, Type *Src, Align Alignment,
210                                     unsigned AddressSpace,
211                                     TTI::TargetCostKind CostKind) {
212   if (!isa<ScalableVectorType>(Src))
213     return BaseT::getMaskedMemoryOpCost(Opcode, Src, Alignment, AddressSpace,
214                                         CostKind);
215 
216   return getMemoryOpCost(Opcode, Src, Alignment, AddressSpace, CostKind);
217 }
218 
219 InstructionCost RISCVTTIImpl::getGatherScatterOpCost(
220     unsigned Opcode, Type *DataTy, const Value *Ptr, bool VariableMask,
221     Align Alignment, TTI::TargetCostKind CostKind, const Instruction *I) {
222   if (CostKind != TTI::TCK_RecipThroughput)
223     return BaseT::getGatherScatterOpCost(Opcode, DataTy, Ptr, VariableMask,
224                                          Alignment, CostKind, I);
225 
226   if ((Opcode == Instruction::Load &&
227        !isLegalMaskedGather(DataTy, Align(Alignment))) ||
228       (Opcode == Instruction::Store &&
229        !isLegalMaskedScatter(DataTy, Align(Alignment))))
230     return BaseT::getGatherScatterOpCost(Opcode, DataTy, Ptr, VariableMask,
231                                          Alignment, CostKind, I);
232 
233   // Cost is proportional to the number of memory operations implied.  For
234   // scalable vectors, we use an upper bound on that number since we don't
235   // know exactly what VL will be.
236   auto &VTy = *cast<VectorType>(DataTy);
237   InstructionCost MemOpCost = getMemoryOpCost(Opcode, VTy.getElementType(),
238                                               Alignment, 0, CostKind, I);
239   unsigned NumLoads = getMaxVLFor(&VTy);
240   return NumLoads * MemOpCost;
241 }
242 
243 InstructionCost
244 RISCVTTIImpl::getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA,
245                                     TTI::TargetCostKind CostKind) {
246   auto *RetTy = ICA.getReturnType();
247   switch (ICA.getID()) {
248   // TODO: add more intrinsic
249   case Intrinsic::experimental_stepvector: {
250     unsigned Cost = 1; // vid
251     auto LT = TLI->getTypeLegalizationCost(DL, RetTy);
252     return Cost + (LT.first - 1);
253   }
254   default:
255     break;
256   }
257   return BaseT::getIntrinsicInstrCost(ICA, CostKind);
258 }
259 
260 InstructionCost RISCVTTIImpl::getCastInstrCost(unsigned Opcode, Type *Dst,
261                                                Type *Src,
262                                                TTI::CastContextHint CCH,
263                                                TTI::TargetCostKind CostKind,
264                                                const Instruction *I) {
265   if (isa<VectorType>(Dst) && isa<VectorType>(Src)) {
266     // FIXME: Need to compute legalizing cost for illegal types.
267     if (!isTypeLegal(Src) || !isTypeLegal(Dst))
268       return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
269 
270     // Skip if element size of Dst or Src is bigger than ELEN.
271     if (Src->getScalarSizeInBits() > ST->getELEN() ||
272         Dst->getScalarSizeInBits() > ST->getELEN())
273       return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
274 
275     int ISD = TLI->InstructionOpcodeToISD(Opcode);
276     assert(ISD && "Invalid opcode");
277 
278     // FIXME: Need to consider vsetvli and lmul.
279     int PowDiff = (int)Log2_32(Dst->getScalarSizeInBits()) -
280                   (int)Log2_32(Src->getScalarSizeInBits());
281     switch (ISD) {
282     case ISD::SIGN_EXTEND:
283     case ISD::ZERO_EXTEND:
284       return 1;
285     case ISD::TRUNCATE:
286     case ISD::FP_EXTEND:
287     case ISD::FP_ROUND:
288       // Counts of narrow/widen instructions.
289       return std::abs(PowDiff);
290     case ISD::FP_TO_SINT:
291     case ISD::FP_TO_UINT:
292     case ISD::SINT_TO_FP:
293     case ISD::UINT_TO_FP:
294       if (std::abs(PowDiff) <= 1)
295         return 1;
296       // Backend could lower (v[sz]ext i8 to double) to vfcvt(v[sz]ext.f8 i8),
297       // so it only need two conversion.
298       if (Src->isIntOrIntVectorTy())
299         return 2;
300       // Counts of narrow/widen instructions.
301       return std::abs(PowDiff);
302     }
303   }
304   return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
305 }
306 
307 unsigned RISCVTTIImpl::getMaxVLFor(VectorType *Ty) {
308   if (isa<ScalableVectorType>(Ty)) {
309     const unsigned EltSize = DL.getTypeSizeInBits(Ty->getElementType());
310     const unsigned MinSize = DL.getTypeSizeInBits(Ty).getKnownMinValue();
311     const unsigned VectorBitsMax = ST->getRealMaxVLen();
312     return RISCVTargetLowering::computeVLMAX(VectorBitsMax, EltSize, MinSize);
313   }
314   return cast<FixedVectorType>(Ty)->getNumElements();
315 }
316 
317 InstructionCost
318 RISCVTTIImpl::getMinMaxReductionCost(VectorType *Ty, VectorType *CondTy,
319                                      bool IsUnsigned,
320                                      TTI::TargetCostKind CostKind) {
321   if (isa<FixedVectorType>(Ty) && !ST->useRVVForFixedLengthVectors())
322     return BaseT::getMinMaxReductionCost(Ty, CondTy, IsUnsigned, CostKind);
323 
324   // Skip if scalar size of Ty is bigger than ELEN.
325   if (Ty->getScalarSizeInBits() > ST->getELEN())
326     return BaseT::getMinMaxReductionCost(Ty, CondTy, IsUnsigned, CostKind);
327 
328   std::pair<InstructionCost, MVT> LT = TLI->getTypeLegalizationCost(DL, Ty);
329   if (Ty->getElementType()->isIntegerTy(1))
330     // vcpop sequences, see vreduction-mask.ll.  umax, smin actually only
331     // cost 2, but we don't have enough info here so we slightly over cost.
332     return (LT.first - 1) + 3;
333 
334   // IR Reduction is composed by two vmv and one rvv reduction instruction.
335   InstructionCost BaseCost = 2;
336   unsigned VL = getMaxVLFor(Ty);
337   return (LT.first - 1) + BaseCost + Log2_32_Ceil(VL);
338 }
339 
340 InstructionCost
341 RISCVTTIImpl::getArithmeticReductionCost(unsigned Opcode, VectorType *Ty,
342                                          Optional<FastMathFlags> FMF,
343                                          TTI::TargetCostKind CostKind) {
344   if (isa<FixedVectorType>(Ty) && !ST->useRVVForFixedLengthVectors())
345     return BaseT::getArithmeticReductionCost(Opcode, Ty, FMF, CostKind);
346 
347   // Skip if scalar size of Ty is bigger than ELEN.
348   if (Ty->getScalarSizeInBits() > ST->getELEN())
349     return BaseT::getArithmeticReductionCost(Opcode, Ty, FMF, CostKind);
350 
351   int ISD = TLI->InstructionOpcodeToISD(Opcode);
352   assert(ISD && "Invalid opcode");
353 
354   if (ISD != ISD::ADD && ISD != ISD::OR && ISD != ISD::XOR && ISD != ISD::AND &&
355       ISD != ISD::FADD)
356     return BaseT::getArithmeticReductionCost(Opcode, Ty, FMF, CostKind);
357 
358   std::pair<InstructionCost, MVT> LT = TLI->getTypeLegalizationCost(DL, Ty);
359   if (Ty->getElementType()->isIntegerTy(1))
360     // vcpop sequences, see vreduction-mask.ll
361     return (LT.first - 1) + (ISD == ISD::AND ? 3 : 2);
362 
363   // IR Reduction is composed by two vmv and one rvv reduction instruction.
364   InstructionCost BaseCost = 2;
365   unsigned VL = getMaxVLFor(Ty);
366   if (TTI::requiresOrderedReduction(FMF))
367     return (LT.first - 1) + BaseCost + VL;
368   return (LT.first - 1) + BaseCost + Log2_32_Ceil(VL);
369 }
370 
371 void RISCVTTIImpl::getUnrollingPreferences(Loop *L, ScalarEvolution &SE,
372                                            TTI::UnrollingPreferences &UP,
373                                            OptimizationRemarkEmitter *ORE) {
374   // TODO: More tuning on benchmarks and metrics with changes as needed
375   //       would apply to all settings below to enable performance.
376 
377 
378   if (ST->enableDefaultUnroll())
379     return BasicTTIImplBase::getUnrollingPreferences(L, SE, UP, ORE);
380 
381   // Enable Upper bound unrolling universally, not dependant upon the conditions
382   // below.
383   UP.UpperBound = true;
384 
385   // Disable loop unrolling for Oz and Os.
386   UP.OptSizeThreshold = 0;
387   UP.PartialOptSizeThreshold = 0;
388   if (L->getHeader()->getParent()->hasOptSize())
389     return;
390 
391   SmallVector<BasicBlock *, 4> ExitingBlocks;
392   L->getExitingBlocks(ExitingBlocks);
393   LLVM_DEBUG(dbgs() << "Loop has:\n"
394                     << "Blocks: " << L->getNumBlocks() << "\n"
395                     << "Exit blocks: " << ExitingBlocks.size() << "\n");
396 
397   // Only allow another exit other than the latch. This acts as an early exit
398   // as it mirrors the profitability calculation of the runtime unroller.
399   if (ExitingBlocks.size() > 2)
400     return;
401 
402   // Limit the CFG of the loop body for targets with a branch predictor.
403   // Allowing 4 blocks permits if-then-else diamonds in the body.
404   if (L->getNumBlocks() > 4)
405     return;
406 
407   // Don't unroll vectorized loops, including the remainder loop
408   if (getBooleanLoopAttribute(L, "llvm.loop.isvectorized"))
409     return;
410 
411   // Scan the loop: don't unroll loops with calls as this could prevent
412   // inlining.
413   InstructionCost Cost = 0;
414   for (auto *BB : L->getBlocks()) {
415     for (auto &I : *BB) {
416       // Initial setting - Don't unroll loops containing vectorized
417       // instructions.
418       if (I.getType()->isVectorTy())
419         return;
420 
421       if (isa<CallInst>(I) || isa<InvokeInst>(I)) {
422         if (const Function *F = cast<CallBase>(I).getCalledFunction()) {
423           if (!isLoweredToCall(F))
424             continue;
425         }
426         return;
427       }
428 
429       SmallVector<const Value *> Operands(I.operand_values());
430       Cost +=
431           getUserCost(&I, Operands, TargetTransformInfo::TCK_SizeAndLatency);
432     }
433   }
434 
435   LLVM_DEBUG(dbgs() << "Cost of loop: " << Cost << "\n");
436 
437   UP.Partial = true;
438   UP.Runtime = true;
439   UP.UnrollRemainder = true;
440   UP.UnrollAndJam = true;
441   UP.UnrollAndJamInnerLoopThreshold = 60;
442 
443   // Force unrolling small loops can be very useful because of the branch
444   // taken cost of the backedge.
445   if (Cost < 12)
446     UP.Force = true;
447 }
448 
449 void RISCVTTIImpl::getPeelingPreferences(Loop *L, ScalarEvolution &SE,
450                                          TTI::PeelingPreferences &PP) {
451   BaseT::getPeelingPreferences(L, SE, PP);
452 }
453 
454 unsigned RISCVTTIImpl::getRegUsageForType(Type *Ty) {
455   TypeSize Size = Ty->getPrimitiveSizeInBits();
456   if (Ty->isVectorTy()) {
457     if (Size.isScalable() && ST->hasVInstructions())
458       return divideCeil(Size.getKnownMinValue(), RISCV::RVVBitsPerBlock);
459 
460     if (ST->useRVVForFixedLengthVectors())
461       return divideCeil(Size, ST->getRealMinVLen());
462   }
463 
464   return BaseT::getRegUsageForType(Ty);
465 }
466