[VP] Add verifier check that arguments vp_fptosi and vp_sitofp FP/int types.

[craig.topper]

Summary

Intrinsics.td only says they need be vectors.

[craig.topper]

I'll let D122291 handle this

llvm/lib/IR/Verifier.cpp

 //===-- Verifier.cpp - Implement the Module Verifier -----------------------==//
 //
 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
 // See https://llvm.org/LICENSE.txt for license information.
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //
 //===----------------------------------------------------------------------===//
 //
void Verifier::visitVPIntrinsic(VPIntrinsic &VPI) {
   if (auto *VPCast = dyn_cast<VPCastIntrinsic>(&VPI)) {
     auto *RetTy = cast<VectorType>(VPCast->getType());
     auto *ValTy = cast<VectorType>(VPCast->getOperand(0)->getType());
     Assert(RetTy->getElementCount() == ValTy->getElementCount(),
            "VP cast intrinsic first argument and result vector lengths must be "
            "equal",
            *VPCast);
   }
+
+  switch (VPI.getIntrinsicID()) {
+  case Intrinsic::vp_fptosi: {
+    Value *Operand = VPI.getArgOperand(0);
+    Assert(Operand->getType()->isFPOrFPVectorTy(),
+           "Intrinsic first argument must be floating point", &VPI);
+    Assert(VPI.getType()->isIntOrIntVectorTy(),
+           "Intrinsic result must be an integer", &VPI);
+    break;
+  }
+  case Intrinsic::vp_sitofp: {
+    Value *Operand = VPI.getArgOperand(0);
+    Assert(Operand->getType()->isIntOrIntVectorTy(),
+           "Intrinsic first argument must be an integer", &VPI);
+    Assert(VPI.getType()->isFPOrFPVectorTy(),
+           "Intrinsic result must be floating point", &VPI);
+    break;
+  }
+  }
 }
 
 void Verifier::visitConstrainedFPIntrinsic(ConstrainedFPIntrinsic &FPI) {
   unsigned NumOperands;
   bool HasRoundingMD;
   switch (FPI.getIntrinsicID()) {
 #define INSTRUCTION(NAME, NARG, ROUND_MODE, INTRINSIC)                         \
   case Intrinsic::INTRINSIC:                                                   \