534   void visitConstrainedFPIntrinsic(ConstrainedFPIntrinsic &FPI);
550   void visitFuncletPadInst(FuncletPadInst &FPI);
4000   if (auto *FPI = dyn_cast<FuncletPadInst>(EHPad))  in getParentPad()  local
4001     return FPI->getParentPad();  in getParentPad()
4187 void Verifier::visitFuncletPadInst(FuncletPadInst &FPI) {  in visitFuncletPadInst()  argument
4190   SmallVector<FuncletPadInst *, 8> Worklist({&FPI});  in visitFuncletPadInst()
4245           if (ExitedPad == &FPI) {  in visitFuncletPadInst()
4250             UnresolvedAncestorPad = &FPI;  in visitFuncletPadInst()
4265         UnwindPad = ConstantTokenNone::get(FPI.getContext());  in visitFuncletPadInst()
4267         UnresolvedAncestorPad = &FPI;  in visitFuncletPadInst()
4278                 &FPI, U, FirstUser);  in visitFuncletPadInst()
4283           if (isa<CleanupPadInst>(&FPI) && !isa<ConstantTokenNone>(UnwindPad) &&  in visitFuncletPadInst()
4284               getParentPad(UnwindPad) == getParentPad(&FPI))  in visitFuncletPadInst()
4285             SiblingFuncletInfo[&FPI] = cast<Instruction>(U);  in visitFuncletPadInst()
4290       if (CurrentPad != &FPI)  in visitFuncletPadInst()
4298         assert(CurrentPad == &FPI);  in visitFuncletPadInst()
4330     if (auto *CatchSwitch = dyn_cast<CatchSwitchInst>(FPI.getParentPad())) {  in visitFuncletPadInst()
4336         SwitchUnwindPad = ConstantTokenNone::get(FPI.getContext());  in visitFuncletPadInst()
4340             &FPI, FirstUser, CatchSwitch);  in visitFuncletPadInst()
4344   visitInstruction(FPI);  in visitFuncletPadInst()
5774 void Verifier::visitConstrainedFPIntrinsic(ConstrainedFPIntrinsic &FPI) {  in visitConstrainedFPIntrinsic()  argument
5777   switch (FPI.getIntrinsicID()) {  in visitConstrainedFPIntrinsic()
5789   if (isa<ConstrainedFPCmpIntrinsic>(FPI))  in visitConstrainedFPIntrinsic()
5791   Check((FPI.arg_size() == NumOperands),  in visitConstrainedFPIntrinsic()
5792         "invalid arguments for constrained FP intrinsic", &FPI);  in visitConstrainedFPIntrinsic()
5794   switch (FPI.getIntrinsicID()) {  in visitConstrainedFPIntrinsic()
5797     Type *ValTy = FPI.getArgOperand(0)->getType();  in visitConstrainedFPIntrinsic()
5798     Type *ResultTy = FPI.getType();  in visitConstrainedFPIntrinsic()
5800           "Intrinsic does not support vectors", &FPI);  in visitConstrainedFPIntrinsic()
5806     Type *ValTy = FPI.getArgOperand(0)->getType();  in visitConstrainedFPIntrinsic()
5807     Type *ResultTy = FPI.getType();  in visitConstrainedFPIntrinsic()
5809           "Intrinsic does not support vectors", &FPI);  in visitConstrainedFPIntrinsic()
5815     auto Pred = cast<ConstrainedFPCmpIntrinsic>(&FPI)->getPredicate();  in visitConstrainedFPIntrinsic()
5817           "invalid predicate for constrained FP comparison intrinsic", &FPI);  in visitConstrainedFPIntrinsic()
5823     Value *Operand = FPI.getArgOperand(0);  in visitConstrainedFPIntrinsic()
5826           "Intrinsic first argument must be floating point", &FPI);  in visitConstrainedFPIntrinsic()
5831     Operand = &FPI;  in visitConstrainedFPIntrinsic()
5833           "Intrinsic first argument and result disagree on vector use", &FPI);  in visitConstrainedFPIntrinsic()
5835           "Intrinsic result must be an integer", &FPI);  in visitConstrainedFPIntrinsic()
5839             &FPI);  in visitConstrainedFPIntrinsic()
5846     Value *Operand = FPI.getArgOperand(0);  in visitConstrainedFPIntrinsic()
5849           "Intrinsic first argument must be integer", &FPI);  in visitConstrainedFPIntrinsic()
5854     Operand = &FPI;  in visitConstrainedFPIntrinsic()
5856           "Intrinsic first argument and result disagree on vector use", &FPI);  in visitConstrainedFPIntrinsic()
5858           "Intrinsic result must be a floating point", &FPI);  in visitConstrainedFPIntrinsic()
5862             &FPI);  in visitConstrainedFPIntrinsic()
5868     Value *Operand = FPI.getArgOperand(0);  in visitConstrainedFPIntrinsic()
5870     Value *Result = &FPI;  in visitConstrainedFPIntrinsic()
5873           "Intrinsic first argument must be FP or FP vector", &FPI);  in visitConstrainedFPIntrinsic()
5875           "Intrinsic result must be FP or FP vector", &FPI);  in visitConstrainedFPIntrinsic()
5877           "Intrinsic first argument and result disagree on vector use", &FPI);  in visitConstrainedFPIntrinsic()
5882             &FPI);  in visitConstrainedFPIntrinsic()
5884     if (FPI.getIntrinsicID() == Intrinsic::experimental_constrained_fptrunc) {  in visitConstrainedFPIntrinsic()
5887             &FPI);  in visitConstrainedFPIntrinsic()
5891             &FPI);  in visitConstrainedFPIntrinsic()
5905   Check(FPI.getExceptionBehavior().has_value(),  in visitConstrainedFPIntrinsic()
5906         "invalid exception behavior argument", &FPI);  in visitConstrainedFPIntrinsic()
5908     Check(FPI.getRoundingMode().has_value(), "invalid rounding mode argument",  in visitConstrainedFPIntrinsic()
5909           &FPI);  in visitConstrainedFPIntrinsic()