[RISCV] Add basic cost model for vector casting

[fakepaper56]

Summary

To perform the cost model of vector casting, the patch consider most vector
casts as their scalar form and consider those vector form of free scalr castings
as 1.

[fakepaper56]

Fix the wrong commit name

[kito-cheng]

llvm/lib/Target/RISCV/RISCVTargetTransformInfo.cpp

227

Maybe check FixedVectorType rather than VectorType? I assume you only intend to handle fixed vector size since you checking useRVVForFixedLengthVectors here?

252

vecotr - > vector

[fakepaper56]

I also want to handle scalable vector type. useRVVForFixedLengthVectors is used to make sure fixed vectors like v4i8 are legal. But I found that it is redundant for isTypeLegal testing.

[fakepaper56]

The update removed useRVVForFixedLengthVectors() check since it is coverd by isTypeLegal() check and fixed the typo.

[craig.topper]

llvm/lib/Target/RISCV/RISCVTargetTransformInfo.cpp

227

Do you intend to use getTypeLegalizationCost to do this properly in the future?

244

FP_TO_SINT/UINT is missing

246

Is there any point in getting the scalar cost? Seems like its always 1 and doesn't have a real connection to how the vector ISA works.

I'm also questioning the accuracy of some of the scalar numbers. i8->float requires a pair of shifts to clear the upper bits before doing an iXLen->float conversion for example. So if we were to fix that, it would be wrong for vectors.

llvm/test/Analysis/CostModel/RISCV/cast.ll

121

If you're going to test half vectors you should have +zfh on the command line

257

How wrong are we intending the costs to be? This i8-float requires 2 vector instructions since the elements sizes are more than a factor of 2 apart.

[fakepaper56]

llvm/lib/Target/RISCV/RISCVTargetTransformInfo.cpp

246

My point to use scalar cost is just it is simple to implement and enough to make vectorizer think vectorizing casting instructions is profitable in most cases.

I had written a version by vector instruction count. The logic is a little complex and I am not sure when to consider vsetvli and even lmul. I think maybe we should refine it to a table having some magic number like X86 and Arm, so I just provide the simple design now.

[craig.topper]

llvm/lib/Target/RISCV/RISCVTargetTransformInfo.cpp

246

Please add a FIXME to document what is missing.

[fakepaper56]

llvm/lib/Target/RISCV/RISCVTargetTransformInfo.cpp

227

I think I should do it. But I am not sure how to do when the legalization costs are different between Dst and Src. I will also add FIXME here.

[fakepaper56]

Change the approach of cost model to caculate the vector casting counts.
I don't consider vsetvli in this patch, but it may cause not accurate cost
for multiple conversioin.

[fakepaper56]

Update the commit summary.

[craig.topper]

llvm/test/Analysis/CostModel/RISCV/cast.ll

3

Need +experimental-zvfh

[craig.topper]

LGTM other than fixing the test command line

[fakepaper56]

Fixing the test cases.

llvm/lib/Target/RISCV/RISCVTargetTransformInfo.h

InstructionCost getShuffleCost(TTI::ShuffleKind Kind, VectorType *Tp,
                                  VectorType *SubTp);
 
   InstructionCost getGatherScatterOpCost(unsigned Opcode, Type *DataTy,
                                          const Value *Ptr, bool VariableMask,
                                          Align Alignment,
                                          TTI::TargetCostKind CostKind,
                                          const Instruction *I);
 
+  InstructionCost getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src,
+                                   TTI::CastContextHint CCH,
+                                   TTI::TargetCostKind CostKind,
+                                   const Instruction *I = nullptr);
+
   InstructionCost getMinMaxReductionCost(VectorType *Ty, VectorType *CondTy,
                                          bool IsUnsigned,
                                          TTI::TargetCostKind CostKind);
 
   InstructionCost getArithmeticReductionCost(unsigned Opcode, VectorType *Ty,
                                              Optional<FastMathFlags> FMF,
                                              TTI::TargetCostKind CostKind);
 

llvm/lib/Target/RISCV/RISCVTargetTransformInfo.cpp

InstructionCost RISCVTTIImpl::getGatherScatterOpCost(
 
   auto *VTy = cast<FixedVectorType>(DataTy);
   unsigned NumLoads = VTy->getNumElements();
   InstructionCost MemOpCost =
       getMemoryOpCost(Opcode, VTy->getElementType(), Alignment, 0, CostKind, I);
   return NumLoads * MemOpCost;
 }
 
+InstructionCost RISCVTTIImpl::getCastInstrCost(unsigned Opcode, Type *Dst,
+                                               Type *Src,
+                                               TTI::CastContextHint CCH,
+                                               TTI::TargetCostKind CostKind,
+                                               const Instruction *I) {
+  if (auto DstVTy = dyn_cast<VectorType>(Dst)) {
+    if (auto SrcVTy = dyn_cast<VectorType>(Src)) {
+      if (!ST->useRVVForFixedLengthVectors())
+        return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
+
+      if (!isTypeLegal(Src) || !isTypeLegal(Dst))
+        return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
+
+      // Skip if element size of Dst or Src is bigger than ELEN.
+      if (Src->getScalarSizeInBits() > ST->getMaxELENForFixedLengthVectors() ||
+          Dst->getScalarSizeInBits() > ST->getMaxELENForFixedLengthVectors())
+        return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
+
+      int ISD = TLI->InstructionOpcodeToISD(Opcode);
+      assert(ISD && "Invalid opcode");
+
+      switch (ISD) {
+      case ISD::TRUNCATE:
+      case ISD::FP_EXTEND:
+      case ISD::FP_ROUND:
+      case ISD::SIGN_EXTEND:
+      case ISD::ZERO_EXTEND:
+      case ISD::SINT_TO_FP:
+      case ISD::UINT_TO_FP: {
+        auto Cost =
+            getCastInstrCost(Opcode, DstVTy->getElementType(),
+                             SrcVTy->getElementType(), CCH, CostKind, I);
+        // There is no free vecotr casting.
+        return (Cost == 0) ? 1 : Cost;
+      }
+      }
+    }
+  }
+  return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
+}
+
 InstructionCost
 RISCVTTIImpl::getMinMaxReductionCost(VectorType *Ty, VectorType *CondTy,
                                      bool IsUnsigned,
                                      TTI::TargetCostKind CostKind) {
   // FIXME: Only supporting fixed vectors for now.
   if (!isa<FixedVectorType>(Ty))
     return BaseT::getMinMaxReductionCost(Ty, CondTy, IsUnsigned, CostKind);
 

llvm/test/Analysis/CostModel/RISCV/cast.ll

+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
+; RUN: opt < %s -mtriple=riscv32 -mattr=+v -riscv-v-vector-bits-min=256 -passes='print<cost-model>' -cost-kind=throughput 2>&1 -disable-output | FileCheck %s --check-prefix=RISCV32
+; RUN: opt < %s -mtriple=riscv64 -mattr=+v -riscv-v-vector-bits-min=256 -passes='print<cost-model>' -cost-kind=throughput 2>&1 -disable-output | FileCheck %s --check-prefix=RISCV64
+
+define void @ext() {
+; RISCV32-LABEL: 'ext'
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i8i16 = sext <4 x i8> undef to <4 x i16>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z4i8i16 = zext <4 x i8> undef to <4 x i16>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i8i32 = sext <4 x i8> undef to <4 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z4i8i32 = zext <4 x i8> undef to <4 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i8i64 = sext <4 x i8> undef to <4 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z4i8i64 = zext <4 x i8> undef to <4 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i16i32 = sext <4 x i16> undef to <4 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z4i16i32 = zext <4 x i16> undef to <4 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i16i64 = sext <4 x i16> undef to <4 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z4i16i64 = zext <4 x i16> undef to <4 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i32i64 = sext <4 x i32> undef to <4 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z4i32i64 = zext <4 x i32> undef to <4 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s8i8i16 = sext <8 x i8> undef to <8 x i16>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z8i8i16 = zext <8 x i8> undef to <8 x i16>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s8i8i32 = sext <8 x i8> undef to <8 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z8i8i32 = zext <8 x i8> undef to <8 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s8i8i64 = sext <8 x i8> undef to <8 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z8i8i64 = zext <8 x i8> undef to <8 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s8i16i32 = sext <8 x i16> undef to <8 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z8i16i32 = zext <8 x i16> undef to <8 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s8i16i64 = sext <8 x i16> undef to <8 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z8i16i64 = zext <8 x i16> undef to <8 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   ret void
+;
+; RISCV64-LABEL: 'ext'
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i8i16 = sext <4 x i8> undef to <4 x i16>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z4i8i16 = zext <4 x i8> undef to <4 x i16>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i8i32 = sext <4 x i8> undef to <4 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z4i8i32 = zext <4 x i8> undef to <4 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i8i64 = sext <4 x i8> undef to <4 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z4i8i64 = zext <4 x i8> undef to <4 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i16i32 = sext <4 x i16> undef to <4 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z4i16i32 = zext <4 x i16> undef to <4 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i16i64 = sext <4 x i16> undef to <4 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z4i16i64 = zext <4 x i16> undef to <4 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i32i64 = sext <4 x i32> undef to <4 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z4i32i64 = zext <4 x i32> undef to <4 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s8i8i16 = sext <8 x i8> undef to <8 x i16>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z8i8i16 = zext <8 x i8> undef to <8 x i16>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s8i8i32 = sext <8 x i8> undef to <8 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z8i8i32 = zext <8 x i8> undef to <8 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s8i8i64 = sext <8 x i8> undef to <8 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z8i8i64 = zext <8 x i8> undef to <8 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s8i16i32 = sext <8 x i16> undef to <8 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z8i16i32 = zext <8 x i16> undef to <8 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s8i16i64 = sext <8 x i16> undef to <8 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %z8i16i64 = zext <8 x i16> undef to <8 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   ret void
+  %s4i8i16 = sext <4 x i8>  undef to <4 x i16>
+  %z4i8i16 = zext <4 x i8>  undef to <4 x i16>
+  %s4i8i32 = sext <4 x i8>  undef to <4 x i32>
+  %z4i8i32 = zext <4 x i8>  undef to <4 x i32>
+  %s4i8i64 = sext <4 x i8>  undef to <4 x i64>
+  %z4i8i64 = zext <4 x i8>  undef to <4 x i64>
+  %s4i16i32 = sext <4 x i16> undef to <4 x i32>
+  %z4i16i32 = zext <4 x i16> undef to <4 x i32>
+  %s4i16i64 = sext <4 x i16> undef to <4 x i64>
+  %z4i16i64 = zext <4 x i16> undef to <4 x i64>
+  %s4i32i64 = sext <4 x i32> undef to <4 x i64>
+  %z4i32i64 = zext <4 x i32> undef to <4 x i64>
+
+  %s8i8i16 = sext <8 x i8>  undef to <8 x i16>
+  %z8i8i16 = zext <8 x i8>  undef to <8 x i16>
+  %s8i8i32 = sext <8 x i8>  undef to <8 x i32>
+  %z8i8i32 = zext <8 x i8>  undef to <8 x i32>
+  %s8i8i64 = sext <8 x i8>  undef to <8 x i64>
+  %z8i8i64 = zext <8 x i8>  undef to <8 x i64>
+  %s8i16i32 = sext <8 x i16> undef to <8 x i32>
+  %z8i16i32 = zext <8 x i16> undef to <8 x i32>
+  %s8i16i64 = sext <8 x i16> undef to <8 x i64>
+  %z8i16i64 = zext <8 x i16> undef to <8 x i64>
+  ret void
+}
+
+define void @trunc() {
+; RISCV32-LABEL: 'trunc'
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i8i16 = trunc <4 x i16> undef to <4 x i8>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i8i32 = trunc <4 x i32> undef to <4 x i8>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i8i64 = trunc <4 x i64> undef to <4 x i8>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i16i32 = trunc <4 x i32> undef to <4 x i16>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i16i64 = trunc <4 x i64> undef to <4 x i16>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i32i64 = trunc <4 x i64> undef to <4 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   ret void
+;
+; RISCV64-LABEL: 'trunc'
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i8i16 = trunc <4 x i16> undef to <4 x i8>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i8i32 = trunc <4 x i32> undef to <4 x i8>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i8i64 = trunc <4 x i64> undef to <4 x i8>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i16i32 = trunc <4 x i32> undef to <4 x i16>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i16i64 = trunc <4 x i64> undef to <4 x i16>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4i32i64 = trunc <4 x i64> undef to <4 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   ret void
+  %s4i8i16 = trunc <4 x i16> undef to <4 x i8>
+  %s4i8i32 = trunc <4 x i32> undef to <4 x i8>
+  %s4i8i64 = trunc <4 x i64> undef to <4 x i8>
+  %s4i16i32 = trunc <4 x i32> undef to <4 x i16>
+  %s4i16i64 = trunc <4 x i64> undef to <4 x i16>
+  %s4i32i64 = trunc <4 x i64> undef to <4 x i32>
+  ret void
+}
+
+define void @fpext() {
+; RISCV32-LABEL: 'fpext'
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %v0 = fpext <8 x half> undef to <8 x float>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 31 for instruction:   %v1 = fpext <8 x half> undef to <8 x double>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %v2 = fpext <8 x float> undef to <8 x double>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   ret void
+;
+; RISCV64-LABEL: 'fpext'
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %v0 = fpext <8 x half> undef to <8 x float>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 31 for instruction:   %v1 = fpext <8 x half> undef to <8 x double>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %v2 = fpext <8 x float> undef to <8 x double>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   ret void
+  %v0 = fpext <8 x half>  undef to <8 x float>
+  %v1 = fpext <8 x half>  undef to <8 x double>
+  %v2 = fpext <8 x float> undef to <8 x double>
+  ret void
+}
+
+define void @ftrunc() {
+; RISCV32-LABEL: 'ftrunc'
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %v0 = fptrunc <8 x float> undef to <8 x half>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %v1 = fptrunc <8 x double> undef to <8 x half>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %v2 = fptrunc <8 x double> undef to <8 x float>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   ret void
+;
+; RISCV64-LABEL: 'ftrunc'
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %v0 = fptrunc <8 x float> undef to <8 x half>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %v1 = fptrunc <8 x double> undef to <8 x half>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %v2 = fptrunc <8 x double> undef to <8 x float>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   ret void
+  %v0 = fptrunc <8 x float> undef to <8 x half>
+  %v1 = fptrunc <8 x double> undef to <8 x half>
+  %v2 = fptrunc <8 x double> undef to <8 x float>
+  ret void
+}
+
+define void @fp_to_int() {
+; RISCV32-LABEL: 'fp_to_int'
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %s0 = fptosi <4 x half> undef to <4 x i8>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s1 = fptosi <4 x float> undef to <4 x i8>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s2 = fptosi <4 x double> undef to <4 x i8>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %s3 = fptosi <4 x half> undef to <4 x i16>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s4 = fptosi <4 x float> undef to <4 x i16>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s5 = fptosi <4 x double> undef to <4 x i6>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %s6 = fptosi <4 x half> undef to <4 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s7 = fptosi <4 x float> undef to <4 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s8 = fptosi <4 x double> undef to <4 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 23 for instruction:   %s9 = fptosi <4 x half> undef to <4 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 20 for instruction:   %s10 = fptosi <4 x float> undef to <4 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s11 = fptosi <4 x double> undef to <4 x i6>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %u0 = fptoui <4 x half> undef to <4 x i8>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u1 = fptoui <4 x float> undef to <4 x i8>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u2 = fptoui <4 x double> undef to <4 x i8>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %u3 = fptoui <4 x half> undef to <4 x i16>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u4 = fptoui <4 x float> undef to <4 x i16>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u5 = fptoui <4 x double> undef to <4 x i6>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %u6 = fptoui <4 x half> undef to <4 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u7 = fptoui <4 x float> undef to <4 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u8 = fptoui <4 x double> undef to <4 x i32>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 23 for instruction:   %u9 = fptoui <4 x half> undef to <4 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 20 for instruction:   %u10 = fptoui <4 x float> undef to <4 x i64>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u11 = fptoui <4 x double> undef to <4 x i6>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   ret void
+;
+; RISCV64-LABEL: 'fp_to_int'
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %s0 = fptosi <4 x half> undef to <4 x i8>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s1 = fptosi <4 x float> undef to <4 x i8>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s2 = fptosi <4 x double> undef to <4 x i8>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %s3 = fptosi <4 x half> undef to <4 x i16>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s4 = fptosi <4 x float> undef to <4 x i16>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s5 = fptosi <4 x double> undef to <4 x i6>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %s6 = fptosi <4 x half> undef to <4 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s7 = fptosi <4 x float> undef to <4 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s8 = fptosi <4 x double> undef to <4 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %s9 = fptosi <4 x half> undef to <4 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s10 = fptosi <4 x float> undef to <4 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s11 = fptosi <4 x double> undef to <4 x i6>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %u0 = fptoui <4 x half> undef to <4 x i8>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u1 = fptoui <4 x float> undef to <4 x i8>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u2 = fptoui <4 x double> undef to <4 x i8>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %u3 = fptoui <4 x half> undef to <4 x i16>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u4 = fptoui <4 x float> undef to <4 x i16>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u5 = fptoui <4 x double> undef to <4 x i6>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %u6 = fptoui <4 x half> undef to <4 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u7 = fptoui <4 x float> undef to <4 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u8 = fptoui <4 x double> undef to <4 x i32>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 15 for instruction:   %u9 = fptoui <4 x half> undef to <4 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u10 = fptoui <4 x float> undef to <4 x i64>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u11 = fptoui <4 x double> undef to <4 x i6>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   ret void
+  %s0 = fptosi <4 x half> undef to <4 x i8>
+  %s1 = fptosi <4 x float> undef to <4 x i8>
+  %s2 = fptosi <4 x double> undef to <4 x i8>
+  %s3 = fptosi <4 x half> undef to <4 x i16>
+  %s4 = fptosi <4 x float> undef to <4 x i16>
+  %s5 = fptosi <4 x double> undef to <4 x i6>
+  %s6 = fptosi <4 x half> undef to <4 x i32>
+  %s7 = fptosi <4 x float> undef to <4 x i32>
+  %s8 = fptosi <4 x double> undef to <4 x i32>
+  %s9 = fptosi <4 x half> undef to <4 x i64>
+  %s10 = fptosi <4 x float> undef to <4 x i64>
+  %s11 = fptosi <4 x double> undef to <4 x i6>
+
+  %u0 = fptoui <4 x half> undef to <4 x i8>
+  %u1 = fptoui <4 x float> undef to <4 x i8>
+  %u2 = fptoui <4 x double> undef to <4 x i8>
+  %u3 = fptoui <4 x half> undef to <4 x i16>
+  %u4 = fptoui <4 x float> undef to <4 x i16>
+  %u5 = fptoui <4 x double> undef to <4 x i6>
+  %u6 = fptoui <4 x half> undef to <4 x i32>
+  %u7 = fptoui <4 x float> undef to <4 x i32>
+  %u8 = fptoui <4 x double> undef to <4 x i32>
+  %u9 = fptoui <4 x half> undef to <4 x i64>
+  %u10 = fptoui <4 x float> undef to <4 x i64>
+  %u11 = fptoui <4 x double> undef to <4 x i6>
+  ret void
+}
+
+define void @int_to_fp() {
+; RISCV32-LABEL: 'int_to_fp'
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %s0 = sitofp <4 x i8> undef to <4 x half>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s1 = sitofp <4 x i8> undef to <4 x float>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s2 = sitofp <4 x i8> undef to <4 x double>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %s3 = sitofp <4 x i16> undef to <4 x half>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4 = sitofp <4 x i16> undef to <4 x float>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s5 = sitofp <4 x i6> undef to <4 x double>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %s6 = sitofp <4 x i32> undef to <4 x half>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s7 = sitofp <4 x i32> undef to <4 x float>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s8 = sitofp <4 x i32> undef to <4 x double>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %s9 = sitofp <4 x i64> undef to <4 x half>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s10 = sitofp <4 x i64> undef to <4 x float>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s11 = sitofp <4 x i6> undef to <4 x double>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %u0 = uitofp <4 x i8> undef to <4 x half>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u1 = uitofp <4 x i8> undef to <4 x float>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u2 = uitofp <4 x i8> undef to <4 x double>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %u3 = uitofp <4 x i16> undef to <4 x half>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u4 = uitofp <4 x i16> undef to <4 x float>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u5 = uitofp <4 x i6> undef to <4 x double>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %u6 = uitofp <4 x i32> undef to <4 x half>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u7 = uitofp <4 x i32> undef to <4 x float>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u8 = uitofp <4 x i32> undef to <4 x double>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %u9 = uitofp <4 x i64> undef to <4 x half>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u10 = uitofp <4 x i64> undef to <4 x float>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u11 = uitofp <4 x i6> undef to <4 x double>
+; RISCV32-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   ret void
+;
+; RISCV64-LABEL: 'int_to_fp'
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %s0 = sitofp <4 x i8> undef to <4 x half>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s1 = sitofp <4 x i8> undef to <4 x float>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s2 = sitofp <4 x i8> undef to <4 x double>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %s3 = sitofp <4 x i16> undef to <4 x half>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s4 = sitofp <4 x i16> undef to <4 x float>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s5 = sitofp <4 x i6> undef to <4 x double>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %s6 = sitofp <4 x i32> undef to <4 x half>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s7 = sitofp <4 x i32> undef to <4 x float>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s8 = sitofp <4 x i32> undef to <4 x double>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %s9 = sitofp <4 x i64> undef to <4 x half>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %s10 = sitofp <4 x i64> undef to <4 x float>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %s11 = sitofp <4 x i6> undef to <4 x double>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %u0 = uitofp <4 x i8> undef to <4 x half>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u1 = uitofp <4 x i8> undef to <4 x float>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u2 = uitofp <4 x i8> undef to <4 x double>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %u3 = uitofp <4 x i16> undef to <4 x half>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u4 = uitofp <4 x i16> undef to <4 x float>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u5 = uitofp <4 x i6> undef to <4 x double>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %u6 = uitofp <4 x i32> undef to <4 x half>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u7 = uitofp <4 x i32> undef to <4 x float>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u8 = uitofp <4 x i32> undef to <4 x double>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 7 for instruction:   %u9 = uitofp <4 x i64> undef to <4 x half>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   %u10 = uitofp <4 x i64> undef to <4 x float>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 12 for instruction:   %u11 = uitofp <4 x i6> undef to <4 x double>
+; RISCV64-NEXT:  Cost Model: Found an estimated cost of 1 for instruction:   ret void
+  %s0 = sitofp <4 x i8> undef to <4 x half>
+  %s1 = sitofp <4 x i8> undef to <4 x float>
+  %s2 = sitofp <4 x i8> undef to <4 x double>
+  %s3 = sitofp <4 x i16> undef to <4 x half>
+  %s4 = sitofp <4 x i16> undef to <4 x float>
+  %s5 = sitofp <4 x i6> undef to <4 x double>
+  %s6 = sitofp <4 x i32> undef to <4 x half>
+  %s7 = sitofp <4 x i32> undef to <4 x float>
+  %s8 = sitofp <4 x i32> undef to <4 x double>
+  %s9 = sitofp <4 x i64> undef to <4 x half>
+  %s10 = sitofp <4 x i64> undef to <4 x float>
+  %s11 = sitofp <4 x i6> undef to <4 x double>
+
+  %u0 = uitofp <4 x i8> undef to <4 x half>
+  %u1 = uitofp <4 x i8> undef to <4 x float>
+  %u2 = uitofp <4 x i8> undef to <4 x double>
+  %u3 = uitofp <4 x i16> undef to <4 x half>
+  %u4 = uitofp <4 x i16> undef to <4 x float>
+  %u5 = uitofp <4 x i6> undef to <4 x double>
+  %u6 = uitofp <4 x i32> undef to <4 x half>
+  %u7 = uitofp <4 x i32> undef to <4 x float>
+  %u8 = uitofp <4 x i32> undef to <4 x double>
+  %u9 = uitofp <4 x i64> undef to <4 x half>
+  %u10 = uitofp <4 x i64> undef to <4 x float>
+  %u11 = uitofp <4 x i6> undef to <4 x double>
+  ret void
+}