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   // There is no assumption of the maximum vector length in V specification.
136   // We use the value specified by users as the maximum vector length.
137   // This function will use the assumed maximum vector length to get the
138   // maximum vscale for LoopVectorizer.
139   // If users do not specify the maximum vector length, we have no way to
140   // know whether the LoopVectorizer is safe to do or not.
141   // We only consider to use single vector register (LMUL = 1) to vectorize.
142   unsigned MaxVectorSizeInBits = ST->getMaxRVVVectorSizeInBits();
143   if (ST->hasVInstructions() && MaxVectorSizeInBits != 0)
144     return MaxVectorSizeInBits / RISCV::RVVBitsPerBlock;
145   return BaseT::getMaxVScale();
146 }
147 
148 TypeSize
149 RISCVTTIImpl::getRegisterBitWidth(TargetTransformInfo::RegisterKind K) const {
150   unsigned LMUL = PowerOf2Floor(
151       std::max<unsigned>(std::min<unsigned>(RVVRegisterWidthLMUL, 8), 1));
152   switch (K) {
153   case TargetTransformInfo::RGK_Scalar:
154     return TypeSize::getFixed(ST->getXLen());
155   case TargetTransformInfo::RGK_FixedWidthVector:
156     return TypeSize::getFixed(
157         ST->hasVInstructions() ? LMUL * ST->getMinRVVVectorSizeInBits() : 0);
158   case TargetTransformInfo::RGK_ScalableVector:
159     return TypeSize::getScalable(
160         ST->hasVInstructions() ? LMUL * RISCV::RVVBitsPerBlock : 0);
161   }
162 
163   llvm_unreachable("Unsupported register kind");
164 }
165 
166 InstructionCost RISCVTTIImpl::getSpliceCost(VectorType *Tp, int Index) {
167   std::pair<InstructionCost, MVT> LT = TLI->getTypeLegalizationCost(DL, Tp);
168 
169   unsigned Cost = 2; // vslidedown+vslideup.
170   // TODO: LMUL should increase cost.
171   // TODO: Multiplying by LT.first implies this legalizes into multiple copies
172   // of similar code, but I think we expand through memory.
173   return Cost * LT.first;
174 }
175 
176 InstructionCost RISCVTTIImpl::getShuffleCost(TTI::ShuffleKind Kind,
177                                              VectorType *Tp, ArrayRef<int> Mask,
178                                              int Index, VectorType *SubTp,
179                                              ArrayRef<const Value *> Args) {
180   if (isa<ScalableVectorType>(Tp)) {
181     switch (Kind) {
182     default:
183       // Fallthrough to generic handling.
184       // TODO: Most of these cases will return getInvalid in generic code, and
185       // must be implemented here.
186       break;
187     case TTI::SK_Broadcast: {
188       std::pair<InstructionCost, MVT> LT = TLI->getTypeLegalizationCost(DL, Tp);
189       return LT.first * 1;
190     }
191     case TTI::SK_Splice:
192       return getSpliceCost(Tp, Index);
193     }
194   }
195 
196   return BaseT::getShuffleCost(Kind, Tp, Mask, Index, SubTp);
197 }
198 
199 InstructionCost
200 RISCVTTIImpl::getMaskedMemoryOpCost(unsigned Opcode, Type *Src, Align Alignment,
201                                     unsigned AddressSpace,
202                                     TTI::TargetCostKind CostKind) {
203   if (!isa<ScalableVectorType>(Src))
204     return BaseT::getMaskedMemoryOpCost(Opcode, Src, Alignment, AddressSpace,
205                                         CostKind);
206 
207   return getMemoryOpCost(Opcode, Src, Alignment, AddressSpace, CostKind);
208 }
209 
210 InstructionCost RISCVTTIImpl::getGatherScatterOpCost(
211     unsigned Opcode, Type *DataTy, const Value *Ptr, bool VariableMask,
212     Align Alignment, TTI::TargetCostKind CostKind, const Instruction *I) {
213   if (CostKind != TTI::TCK_RecipThroughput)
214     return BaseT::getGatherScatterOpCost(Opcode, DataTy, Ptr, VariableMask,
215                                          Alignment, CostKind, I);
216 
217   if ((Opcode == Instruction::Load &&
218        !isLegalMaskedGather(DataTy, Align(Alignment))) ||
219       (Opcode == Instruction::Store &&
220        !isLegalMaskedScatter(DataTy, Align(Alignment))))
221     return BaseT::getGatherScatterOpCost(Opcode, DataTy, Ptr, VariableMask,
222                                          Alignment, CostKind, I);
223 
224   // FIXME: Only supporting fixed vectors for now.
225   if (!isa<FixedVectorType>(DataTy))
226     return BaseT::getGatherScatterOpCost(Opcode, DataTy, Ptr, VariableMask,
227                                          Alignment, CostKind, I);
228 
229   auto *VTy = cast<FixedVectorType>(DataTy);
230   unsigned NumLoads = VTy->getNumElements();
231   InstructionCost MemOpCost =
232       getMemoryOpCost(Opcode, VTy->getElementType(), Alignment, 0, CostKind, I);
233   return NumLoads * MemOpCost;
234 }
235 
236 InstructionCost
237 RISCVTTIImpl::getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA,
238                                     TTI::TargetCostKind CostKind) {
239   auto *RetTy = ICA.getReturnType();
240   switch (ICA.getID()) {
241   // TODO: add more intrinsic
242   case Intrinsic::experimental_stepvector: {
243     unsigned Cost = 1; // vid
244     auto LT = TLI->getTypeLegalizationCost(DL, RetTy);
245     return Cost + (LT.first - 1);
246   }
247   default:
248     break;
249   }
250   return BaseT::getIntrinsicInstrCost(ICA, CostKind);
251 }
252 
253 InstructionCost RISCVTTIImpl::getCastInstrCost(unsigned Opcode, Type *Dst,
254                                                Type *Src,
255                                                TTI::CastContextHint CCH,
256                                                TTI::TargetCostKind CostKind,
257                                                const Instruction *I) {
258   if (isa<VectorType>(Dst) && isa<VectorType>(Src)) {
259     // FIXME: Need to compute legalizing cost for illegal types.
260     if (!isTypeLegal(Src) || !isTypeLegal(Dst))
261       return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
262 
263     // Skip if element size of Dst or Src is bigger than ELEN.
264     if (Src->getScalarSizeInBits() > ST->getELEN() ||
265         Dst->getScalarSizeInBits() > ST->getELEN())
266       return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
267 
268     int ISD = TLI->InstructionOpcodeToISD(Opcode);
269     assert(ISD && "Invalid opcode");
270 
271     // FIXME: Need to consider vsetvli and lmul.
272     int PowDiff = (int)Log2_32(Dst->getScalarSizeInBits()) -
273                   (int)Log2_32(Src->getScalarSizeInBits());
274     switch (ISD) {
275     case ISD::SIGN_EXTEND:
276     case ISD::ZERO_EXTEND:
277       return 1;
278     case ISD::TRUNCATE:
279     case ISD::FP_EXTEND:
280     case ISD::FP_ROUND:
281       // Counts of narrow/widen instructions.
282       return std::abs(PowDiff);
283     case ISD::FP_TO_SINT:
284     case ISD::FP_TO_UINT:
285     case ISD::SINT_TO_FP:
286     case ISD::UINT_TO_FP:
287       if (std::abs(PowDiff) <= 1)
288         return 1;
289       // Backend could lower (v[sz]ext i8 to double) to vfcvt(v[sz]ext.f8 i8),
290       // so it only need two conversion.
291       if (Src->isIntOrIntVectorTy())
292         return 2;
293       // Counts of narrow/widen instructions.
294       return std::abs(PowDiff);
295     }
296   }
297   return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
298 }
299 
300 InstructionCost
301 RISCVTTIImpl::getMinMaxReductionCost(VectorType *Ty, VectorType *CondTy,
302                                      bool IsUnsigned,
303                                      TTI::TargetCostKind CostKind) {
304   // FIXME: Only supporting fixed vectors for now.
305   if (!isa<FixedVectorType>(Ty))
306     return BaseT::getMinMaxReductionCost(Ty, CondTy, IsUnsigned, CostKind);
307 
308   if (!ST->useRVVForFixedLengthVectors())
309     return BaseT::getMinMaxReductionCost(Ty, CondTy, IsUnsigned, CostKind);
310 
311   // Skip if scalar size of Ty is bigger than ELEN.
312   if (Ty->getScalarSizeInBits() > ST->getELEN())
313     return BaseT::getMinMaxReductionCost(Ty, CondTy, IsUnsigned, CostKind);
314 
315   // IR Reduction is composed by two vmv and one rvv reduction instruction.
316   InstructionCost BaseCost = 2;
317   unsigned VL = cast<FixedVectorType>(Ty)->getNumElements();
318   std::pair<InstructionCost, MVT> LT = TLI->getTypeLegalizationCost(DL, Ty);
319   return (LT.first - 1) + BaseCost + Log2_32_Ceil(VL);
320 }
321 
322 InstructionCost
323 RISCVTTIImpl::getArithmeticReductionCost(unsigned Opcode, VectorType *VTy,
324                                          Optional<FastMathFlags> FMF,
325                                          TTI::TargetCostKind CostKind) {
326   // FIXME: Only supporting fixed vectors for now.
327   if (!isa<FixedVectorType>(VTy))
328     return BaseT::getArithmeticReductionCost(Opcode, VTy, FMF, CostKind);
329 
330   // FIXME: Do not support i1 and/or reduction now.
331   if (VTy->getElementType()->isIntegerTy(1))
332     return BaseT::getArithmeticReductionCost(Opcode, VTy, FMF, CostKind);
333 
334   if (!ST->useRVVForFixedLengthVectors())
335     return BaseT::getArithmeticReductionCost(Opcode, VTy, FMF, CostKind);
336 
337   // Skip if scalar size of VTy is bigger than ELEN.
338   if (VTy->getScalarSizeInBits() > ST->getELEN())
339     return BaseT::getArithmeticReductionCost(Opcode, VTy, FMF, CostKind);
340 
341   int ISD = TLI->InstructionOpcodeToISD(Opcode);
342   assert(ISD && "Invalid opcode");
343 
344   if (ISD != ISD::ADD && ISD != ISD::OR && ISD != ISD::XOR && ISD != ISD::AND &&
345       ISD != ISD::FADD)
346     return BaseT::getArithmeticReductionCost(Opcode, VTy, FMF, CostKind);
347 
348   // IR Reduction is composed by two vmv and one rvv reduction instruction.
349   InstructionCost BaseCost = 2;
350   unsigned VL = cast<FixedVectorType>(VTy)->getNumElements();
351   std::pair<InstructionCost, MVT> LT = TLI->getTypeLegalizationCost(DL, VTy);
352 
353   if (TTI::requiresOrderedReduction(FMF))
354     return (LT.first - 1) + BaseCost + VL;
355   return (LT.first - 1) + BaseCost + Log2_32_Ceil(VL);
356 }
357 
358 void RISCVTTIImpl::getUnrollingPreferences(Loop *L, ScalarEvolution &SE,
359                                            TTI::UnrollingPreferences &UP,
360                                            OptimizationRemarkEmitter *ORE) {
361   // TODO: More tuning on benchmarks and metrics with changes as needed
362   //       would apply to all settings below to enable performance.
363 
364 
365   if (ST->enableDefaultUnroll())
366     return BasicTTIImplBase::getUnrollingPreferences(L, SE, UP, ORE);
367 
368   // Enable Upper bound unrolling universally, not dependant upon the conditions
369   // below.
370   UP.UpperBound = true;
371 
372   // Disable loop unrolling for Oz and Os.
373   UP.OptSizeThreshold = 0;
374   UP.PartialOptSizeThreshold = 0;
375   if (L->getHeader()->getParent()->hasOptSize())
376     return;
377 
378   SmallVector<BasicBlock *, 4> ExitingBlocks;
379   L->getExitingBlocks(ExitingBlocks);
380   LLVM_DEBUG(dbgs() << "Loop has:\n"
381                     << "Blocks: " << L->getNumBlocks() << "\n"
382                     << "Exit blocks: " << ExitingBlocks.size() << "\n");
383 
384   // Only allow another exit other than the latch. This acts as an early exit
385   // as it mirrors the profitability calculation of the runtime unroller.
386   if (ExitingBlocks.size() > 2)
387     return;
388 
389   // Limit the CFG of the loop body for targets with a branch predictor.
390   // Allowing 4 blocks permits if-then-else diamonds in the body.
391   if (L->getNumBlocks() > 4)
392     return;
393 
394   // Don't unroll vectorized loops, including the remainder loop
395   if (getBooleanLoopAttribute(L, "llvm.loop.isvectorized"))
396     return;
397 
398   // Scan the loop: don't unroll loops with calls as this could prevent
399   // inlining.
400   InstructionCost Cost = 0;
401   for (auto *BB : L->getBlocks()) {
402     for (auto &I : *BB) {
403       // Initial setting - Don't unroll loops containing vectorized
404       // instructions.
405       if (I.getType()->isVectorTy())
406         return;
407 
408       if (isa<CallInst>(I) || isa<InvokeInst>(I)) {
409         if (const Function *F = cast<CallBase>(I).getCalledFunction()) {
410           if (!isLoweredToCall(F))
411             continue;
412         }
413         return;
414       }
415 
416       SmallVector<const Value *> Operands(I.operand_values());
417       Cost +=
418           getUserCost(&I, Operands, TargetTransformInfo::TCK_SizeAndLatency);
419     }
420   }
421 
422   LLVM_DEBUG(dbgs() << "Cost of loop: " << Cost << "\n");
423 
424   UP.Partial = true;
425   UP.Runtime = true;
426   UP.UnrollRemainder = true;
427   UP.UnrollAndJam = true;
428   UP.UnrollAndJamInnerLoopThreshold = 60;
429 
430   // Force unrolling small loops can be very useful because of the branch
431   // taken cost of the backedge.
432   if (Cost < 12)
433     UP.Force = true;
434 }
435 
436 void RISCVTTIImpl::getPeelingPreferences(Loop *L, ScalarEvolution &SE,
437                                          TTI::PeelingPreferences &PP) {
438   BaseT::getPeelingPreferences(L, SE, PP);
439 }
440 
441 unsigned RISCVTTIImpl::getRegUsageForType(Type *Ty) {
442   TypeSize Size = Ty->getPrimitiveSizeInBits();
443   if (Ty->isVectorTy()) {
444     if (Size.isScalable() && ST->hasVInstructions())
445       return divideCeil(Size.getKnownMinValue(), RISCV::RVVBitsPerBlock);
446 
447     if (ST->useRVVForFixedLengthVectors())
448       return divideCeil(Size, ST->getMinRVVVectorSizeInBits());
449   }
450 
451   return BaseT::getRegUsageForType(Ty);
452 }
453