Lines Matching refs:Check
658 #define Check(C, ...) \ macro
704 Check(I.getOperand(i) != nullptr, "Operand is null", &I); in visit()
727 Check(!GV.isDeclaration() || GV.hasValidDeclarationLinkage(), in visitGlobalValue()
733 Check(A->value() <= Value::MaximumAlignment, in visitGlobalValue()
739 Check(Associated->getNumOperands() == 1, in visitGlobalValue()
742 Check(Op, "associated metadata must have a global value", GO, Associated); in visitGlobalValue()
745 Check(VM, "associated metadata must be ValueAsMetadata", GO, Associated); in visitGlobalValue()
747 Check(isa<PointerType>(VM->getValue()->getType()), in visitGlobalValue()
751 Check(isa<GlobalObject>(Stripped) || isa<Constant>(Stripped), in visitGlobalValue()
753 Check(Stripped != GO, in visitGlobalValue()
767 Check(!GV.hasAppendingLinkage() || isa<GlobalVariable>(GV), in visitGlobalValue()
772 Check(GVar && GVar->getValueType()->isArrayTy(), in visitGlobalValue()
777 Check(!GV.hasComdat(), "Declaration may not be in a Comdat!", &GV); in visitGlobalValue()
780 Check(!GV.hasHiddenVisibility(), in visitGlobalValue()
785 Check(GV.hasDefaultVisibility(), in visitGlobalValue()
787 Check(!GV.isDSOLocal(), "GlobalValue with DLLImport Storage is dso_local!", in visitGlobalValue()
790 Check((GV.isDeclaration() && in visitGlobalValue()
797 Check(GV.isDSOLocal(), in visitGlobalValue()
824 Check(GV.getInitializer()->getType() == GV.getValueType(), in visitGlobalVariable()
831 Check(GV.getInitializer()->isNullValue(), in visitGlobalVariable()
833 Check(!GV.isConstant(), "'common' global may not be marked constant!", in visitGlobalVariable()
835 Check(!GV.hasComdat(), "'common' global may not be in a Comdat!", &GV); in visitGlobalVariable()
841 Check(!GV.hasInitializer() || GV.hasAppendingLinkage(), in visitGlobalVariable()
843 Check(GV.materialized_use_empty(), in visitGlobalVariable()
852 Check(STy && (STy->getNumElements() == 2 || STy->getNumElements() == 3) && in visitGlobalVariable()
856 Check(STy->getNumElements() == 3, in visitGlobalVariable()
860 Check(ETy->isPointerTy(), "wrong type for intrinsic global variable", in visitGlobalVariable()
867 Check(!GV.hasInitializer() || GV.hasAppendingLinkage(), in visitGlobalVariable()
869 Check(GV.materialized_use_empty(), in visitGlobalVariable()
875 Check(PTy, "wrong type for intrinsic global variable", &GV); in visitGlobalVariable()
879 Check(InitArray, "wrong initalizer for intrinsic global variable", in visitGlobalVariable()
883 Check(isa<GlobalVariable>(V) || isa<Function>(V) || in visitGlobalVariable()
886 Check(V->hasName(), in visitGlobalVariable()
906 Check(!GV.getValueType()->isScalableTy(), in visitGlobalVariable()
912 Check(TTy->hasProperty(TargetExtType::CanBeGlobal), in visitGlobalVariable()
936 Check(isa<GlobalValue>(C) && in visitAliaseeSubExpr()
944 Check(!GV->isDeclarationForLinker(), "Alias must point to a definition", in visitAliaseeSubExpr()
949 Check(Visited.insert(GA2).second, "Aliases cannot form a cycle", &GA); in visitAliaseeSubExpr()
951 Check(!GA2->isInterposable(), in visitAliaseeSubExpr()
973 Check(GlobalAlias::isValidLinkage(GA.getLinkage()), in visitGlobalAlias()
978 Check(Aliasee, "Aliasee cannot be NULL!", &GA); in visitGlobalAlias()
979 Check(GA.getType() == Aliasee->getType(), in visitGlobalAlias()
982 Check(isa<GlobalValue>(Aliasee) || isa<ConstantExpr>(Aliasee), in visitGlobalAlias()
991 Check(GlobalIFunc::isValidLinkage(GI.getLinkage()), in visitGlobalIFunc()
998 Check(Resolver, "IFunc must have a Function resolver", &GI); in visitGlobalIFunc()
999 Check(!Resolver->isDeclarationForLinker(), in visitGlobalIFunc()
1006 Check(isa<PointerType>(Resolver->getFunctionType()->getReturnType()), in visitGlobalIFunc()
1011 Check(ResolverTy == ResolverFuncTy->getPointerTo(GI.getAddressSpace()), in visitGlobalIFunc()
1038 Check(&MD.getContext() == &Context, in visitMDNode()
1056 Check(!isa<LocalAsMetadata>(Op), "Invalid operand for global metadata!", in visitMDNode()
1071 Check(!MD.isTemporary(), "Expected no forward declarations!", &MD); in visitMDNode()
1072 Check(MD.isResolved(), "All nodes should be resolved!", &MD); in visitMDNode()
1076 Check(MD.getValue(), "Expected valid value", &MD); in visitValueAsMetadata()
1077 Check(!MD.getValue()->getType()->isMetadataTy(), in visitValueAsMetadata()
1084 Check(F, "function-local metadata used outside a function", L); in visitValueAsMetadata()
1090 Check(I->getParent(), "function-local metadata not in basic block", L, I); in visitValueAsMetadata()
1098 Check(ActualF == F, "function-local metadata used in wrong function", L); in visitValueAsMetadata()
1680 Check(!GV->hasPrivateLinkage(), "comdat global value has private linkage", in visitComdat()
1692 Check(N->getNumOperands() == 1, in visitModuleIdents()
1694 Check(dyn_cast_or_null<MDString>(N->getOperand(0)), in visitModuleIdents()
1710 Check(N->getNumOperands() == 1, in visitModuleCommandLines()
1712 Check(dyn_cast_or_null<MDString>(N->getOperand(0)), in visitModuleCommandLines()
1776 Check(Op->getNumOperands() == 3, in visitModuleFlag()
1780 Check(mdconst::dyn_extract_or_null<ConstantInt>(Op->getOperand(0)), in visitModuleFlag()
1783 Check(false, in visitModuleFlag()
1788 Check(ID, "invalid ID operand in module flag (expected metadata string)", in visitModuleFlag()
1801 Check(V && V->getValue().isNonNegative(), in visitModuleFlag()
1809 Check(mdconst::dyn_extract_or_null<ConstantInt>(Op->getOperand(2)), in visitModuleFlag()
1819 Check(Value && Value->getNumOperands() == 2, in visitModuleFlag()
1822 Check(isa<MDString>(Value->getOperand(0)), in visitModuleFlag()
1836 Check(isa<MDNode>(Op->getOperand(2)), in visitModuleFlag()
1847 Check(Inserted, in visitModuleFlag()
1854 Check(Value, "wchar_size metadata requires constant integer argument"); in visitModuleFlag()
1861 Check(M.getNamedMetadata("llvm.linker.options"), in visitModuleFlag()
1868 Check(Value, in visitModuleFlag()
1883 Check(F && isa<Function>(F->getValue()->stripPointerCasts()), in visitModuleFlagCGProfileEntry()
1887 Check(Node && Node->getNumOperands() == 3, "expected a MDNode triple", MDO); in visitModuleFlagCGProfileEntry()
1891 Check(Count && Count->getType()->isIntegerTy(), in visitModuleFlagCGProfileEntry()
1931 Check(Attr.isStringAttribute() || in verifyParameterAttrs()
1937 Check(Attrs.getNumAttributes() == 1, in verifyParameterAttrs()
1951 Check(AttrCount <= 1, in verifyParameterAttrs()
1956 Check(!(Attrs.hasAttribute(Attribute::InAlloca) && in verifyParameterAttrs()
1962 Check(!(Attrs.hasAttribute(Attribute::StructRet) && in verifyParameterAttrs()
1968 Check(!(Attrs.hasAttribute(Attribute::ZExt) && in verifyParameterAttrs()
1974 Check(!(Attrs.hasAttribute(Attribute::ReadNone) && in verifyParameterAttrs()
1980 Check(!(Attrs.hasAttribute(Attribute::ReadNone) && in verifyParameterAttrs()
1986 Check(!(Attrs.hasAttribute(Attribute::ReadOnly) && in verifyParameterAttrs()
1992 Check(!(Attrs.hasAttribute(Attribute::NoInline) && in verifyParameterAttrs()
1998 Check(!(Attrs.hasAttribute(Attribute::Writable) && in verifyParameterAttrs()
2002 Check(!(Attrs.hasAttribute(Attribute::Writable) && in verifyParameterAttrs()
2019 Check(AttrAlign.value() <= Value::MaximumAlignment, in verifyParameterAttrs()
2024 Check(Attrs.getByValType()->isSized(&Visited), in verifyParameterAttrs()
2026 Check(DL.getTypeAllocSize(Attrs.getByValType()).getKnownMinValue() < in verifyParameterAttrs()
2032 Check(Attrs.getByRefType()->isSized(&Visited), in verifyParameterAttrs()
2034 Check(DL.getTypeAllocSize(Attrs.getByRefType()).getKnownMinValue() < in verifyParameterAttrs()
2040 Check(Attrs.getInAllocaType()->isSized(&Visited), in verifyParameterAttrs()
2042 Check(DL.getTypeAllocSize(Attrs.getInAllocaType()).getKnownMinValue() < in verifyParameterAttrs()
2048 Check(Attrs.getPreallocatedType()->isSized(&Visited), in verifyParameterAttrs()
2050 Check( in verifyParameterAttrs()
2059 Check(!Inits.empty(), "Attribute 'initializes' does not support empty list", in verifyParameterAttrs()
2061 Check(ConstantRangeList::isOrderedRanges(Inits), in verifyParameterAttrs()
2067 Check(Val != 0, "Attribute 'nofpclass' must have at least one test bit set", in verifyParameterAttrs()
2069 Check((Val & ~static_cast<unsigned>(fcAllFlags)) == 0, in verifyParameterAttrs()
2075 Check(Ty->isIntOrIntVectorTy(CR.getBitWidth()), in verifyParameterAttrs()
2099 Check(Attrs.hasParentContext(Context), in verifyFunctionAttrs()
2102 Check(!AttrSet.hasAttributes() || AttrSet.hasParentContext(Context), in verifyFunctionAttrs()
2105 Check(A.hasParentContext(Context), in verifyFunctionAttrs()
2121 Check(RetAttr.isStringAttribute() || in verifyFunctionAttrs()
2146 Check(!ArgAttrs.hasAttribute(Attribute::ImmArg), in verifyFunctionAttrs()
2149 Check(!ArgAttrs.hasAttribute(Attribute::ElementType), in verifyFunctionAttrs()
2159 Check(!SawNest, "More than one parameter has attribute nest!", V); in verifyFunctionAttrs()
2164 Check(!SawReturned, "More than one parameter has attribute returned!", V); in verifyFunctionAttrs()
2165 Check(Ty->canLosslesslyBitCastTo(FT->getReturnType()), in verifyFunctionAttrs()
2172 Check(!SawSRet, "Cannot have multiple 'sret' parameters!", V); in verifyFunctionAttrs()
2173 Check(i == 0 || i == 1, in verifyFunctionAttrs()
2179 Check(!SawSwiftSelf, "Cannot have multiple 'swiftself' parameters!", V); in verifyFunctionAttrs()
2184 Check(!SawSwiftAsync, "Cannot have multiple 'swiftasync' parameters!", V); in verifyFunctionAttrs()
2189 Check(!SawSwiftError, "Cannot have multiple 'swifterror' parameters!", V); in verifyFunctionAttrs()
2194 Check(i == FT->getNumParams() - 1, in verifyFunctionAttrs()
2204 Check(FnAttr.isStringAttribute() || in verifyFunctionAttrs()
2210 Check(!(Attrs.hasFnAttr(Attribute::NoInline) && in verifyFunctionAttrs()
2215 Check(Attrs.hasFnAttr(Attribute::NoInline), in verifyFunctionAttrs()
2218 Check(!Attrs.hasFnAttr(Attribute::OptimizeForSize), in verifyFunctionAttrs()
2221 Check(!Attrs.hasFnAttr(Attribute::MinSize), in verifyFunctionAttrs()
2224 Check(!Attrs.hasFnAttr(Attribute::OptimizeForDebugging), in verifyFunctionAttrs()
2229 Check(!Attrs.hasFnAttr(Attribute::OptimizeForSize), in verifyFunctionAttrs()
2232 Check(!Attrs.hasFnAttr(Attribute::MinSize), in verifyFunctionAttrs()
2236 Check(!Attrs.hasAttrSomewhere(Attribute::Writable) || in verifyFunctionAttrs()
2242 Check(!Attrs.hasFnAttr("aarch64_pstate_sm_compatible"), in verifyFunctionAttrs()
2248 Check((Attrs.hasFnAttr("aarch64_new_za") + Attrs.hasFnAttr("aarch64_in_za") + in verifyFunctionAttrs()
2256 Check( in verifyFunctionAttrs()
2267 Check(GV->hasGlobalUnnamedAddr(), in verifyFunctionAttrs()
2337 Check(!TF.contains("+avx512f") || !TF.contains("-evex512"), in verifyFunctionAttrs()
2396 Check(MD->getNumOperands() >= 2, in verifyFunctionMetadata()
2400 Check(MD->getOperand(0) != nullptr, "first operand should not be null", in verifyFunctionMetadata()
2402 Check(isa<MDString>(MD->getOperand(0)), in verifyFunctionMetadata()
2406 Check(ProfName == "function_entry_count" || in verifyFunctionMetadata()
2413 Check(MD->getOperand(1) != nullptr, "second operand should not be null", in verifyFunctionMetadata()
2415 Check(isa<ConstantAsMetadata>(MD->getOperand(1)), in verifyFunctionMetadata()
2419 Check(MD->getNumOperands() == 1, in verifyFunctionMetadata()
2421 Check(MD->getOperand(0) != nullptr, "!kcfi_type operand must not be null", in verifyFunctionMetadata()
2423 Check(isa<ConstantAsMetadata>(MD->getOperand(0)), in verifyFunctionMetadata()
2426 Check(isa<ConstantInt>(C) && isa<IntegerType>(C->getType()), in verifyFunctionMetadata()
2428 Check(cast<ConstantInt>(C)->getBitWidth() == 32, in verifyFunctionMetadata()
2454 Check(GV->getParent() == &M, "Referencing global in another module!", in visitConstantExprsRecursively()
2473 Check(CastInst::castIsValid(Instruction::BitCast, CE->getOperand(0), in visitConstantExpr()
2479 Check(CPA->getPointer()->getType()->isPointerTy(), in visitConstantPtrAuth()
2482 Check(CPA->getType() == CPA->getPointer()->getType(), in visitConstantPtrAuth()
2485 Check(CPA->getKey()->getBitWidth() == 32, in visitConstantPtrAuth()
2488 Check(CPA->getAddrDiscriminator()->getType()->isPointerTy(), in visitConstantPtrAuth()
2491 Check(CPA->getDiscriminator()->getBitWidth() == 64, in visitConstantPtrAuth()
2517 Check(Arg->getType()->isPointerTy(), in verifyInlineAsmCall()
2520 Check(Call.getParamElementType(ArgNo), in verifyInlineAsmCall()
2524 Check(!Call.paramHasAttr(ArgNo, Attribute::ElementType), in verifyInlineAsmCall()
2534 Check(LabelNo == CallBr->getNumIndirectDests(), in verifyInlineAsmCall()
2538 Check(LabelNo == 0, "Label constraints can only be used with callbr", in verifyInlineAsmCall()
2549 Check(!Call.doesNotAccessMemory() && !Call.onlyReadsMemory() && in verifyStatepoint()
2558 Check(NumPatchBytes >= 0, in verifyStatepoint()
2564 Check(TargetElemType, in verifyStatepoint()
2567 Check(TargetFuncType, in verifyStatepoint()
2571 Check(NumCallArgs >= 0, in verifyStatepoint()
2577 Check(NumCallArgs >= NumParams, in verifyStatepoint()
2581 Check(TargetFuncType->getReturnType()->isVoidTy(), in verifyStatepoint()
2586 Check(NumCallArgs == NumParams, in verifyStatepoint()
2591 Check((Flags & ~(uint64_t)StatepointFlags::MaskAll) == 0, in verifyStatepoint()
2600 Check(ArgType == ParamType, in verifyStatepoint()
2607 Check(!ArgAttrs.hasAttribute(Attribute::StructRet), in verifyStatepoint()
2615 Check(isa<ConstantInt>(NumTransitionArgsV), in verifyStatepoint()
2621 Check(NumTransitionArgs == 0, in verifyStatepoint()
2626 Check(isa<ConstantInt>(NumDeoptArgsV), in verifyStatepoint()
2631 Check(NumDeoptArgs == 0, in verifyStatepoint()
2635 Check(ExpectedNumArgs == (int)Call.arg_size(), in verifyStatepoint()
2643 Check(UserCall, "illegal use of statepoint token", Call, U); in verifyStatepoint()
2646 Check(isa<GCRelocateInst>(UserCall) || isa<GCResultInst>(UserCall), in verifyStatepoint()
2651 Check(UserCall->getArgOperand(0) == &Call, in verifyStatepoint()
2654 Check(UserCall->getArgOperand(0) == &Call, in verifyStatepoint()
2674 Check(MaxRecoveredIndex <= EscapedObjectCount, in verifyFrameRecoverIndices()
2715 Check(false, "EH pads can't handle each other's exceptions", in verifySiblingFuncletUnwinds()
2744 Check(&Context == &F.getContext(), in visitFunction()
2747 Check(!F.hasCommonLinkage(), "Functions may not have common linkage", &F); in visitFunction()
2748 Check(FT->getNumParams() == NumArgs, in visitFunction()
2751 Check(F.getReturnType()->isFirstClassType() || in visitFunction()
2755 Check(!F.hasStructRetAttr() || F.getReturnType()->isVoidTy(), in visitFunction()
2760 Check(verifyAttributeCount(Attrs, FT->getNumParams()), in visitFunction()
2776 Check(!Attrs.hasFnAttr(Attribute::Builtin), in visitFunction()
2779 Check(!Attrs.hasAttrSomewhere(Attribute::ElementType), in visitFunction()
2790 Check(F.arg_empty() || Attrs.hasParamAttr(0, Attribute::ByVal), in visitFunction()
2798 Check(F.getReturnType()->isVoidTy(), in visitFunction()
2806 Check(!F.hasStructRetAttr(), "Calling convention does not allow sret", &F); in visitFunction()
2811 Check(!Attrs.hasParamAttr(i, Attribute::ByVal), in visitFunction()
2813 Check(!Attrs.hasParamAttr(i, Attribute::Preallocated), in visitFunction()
2815 Check(!Attrs.hasParamAttr(i, Attribute::InAlloca), in visitFunction()
2821 Check(Arg.getType()->getPointerAddressSpace() != StackAS, in visitFunction()
2835 Check(!F.isVarArg(), in visitFunction()
2845 Check(Arg.getType() == FT->getParamType(i), in visitFunction()
2848 Check(Arg.getType()->isFirstClassType(), in visitFunction()
2851 Check(!Arg.getType()->isMetadataTy(), in visitFunction()
2853 Check(!Arg.getType()->isTokenTy(), in visitFunction()
2855 Check(!Arg.getType()->isX86_AMXTy(), in visitFunction()
2867 Check(!F.getReturnType()->isTokenTy(), in visitFunction()
2869 Check(!F.getReturnType()->isX86_AMXTy(), in visitFunction()
2883 Check(Per->getParent() == F.getParent(), in visitFunction()
2893 Check(MDs.empty(), "unmaterialized function cannot have metadata", &F, in visitFunction()
2902 Check(I.first != LLVMContext::MD_prof, in visitFunction()
2908 Check(!F.hasPersonalityFn(), in visitFunction()
2913 Check(!IsIntrinsic, "llvm intrinsics cannot be defined!", &F); in visitFunction()
2917 Check(pred_empty(Entry), in visitFunction()
2922 Check(!BlockAddress::lookup(Entry)->isConstantUsed(), in visitFunction()
2955 Check(NumProfAttachments == 1, in visitFunction()
2960 Check(NumKCFIAttachments == 1, in visitFunction()
2979 Check(false, "Invalid user of intrinsic instruction!", U); in visitFunction()
2986 Check(FT->getNumParams() == 1, "wrong number of parameters", F); in visitFunction()
2987 Check(isa<PointerType>(F.getReturnType()), in visitFunction()
2989 Check(FT->getParamType(0) == F.getReturnType(), in visitFunction()
2995 Check(FT->getNumParams() == 1, "wrong number of parameters", F); in visitFunction()
2996 Check(isa<PointerType>(FT->getParamType(0)), in visitFunction()
2998 Check(F.getReturnType()->isIntegerTy(), in visitFunction()
3028 Check(Scope, "Failed to find DILocalScope", DL); in visitFunction()
3063 Check(BB.getTerminator(), "Basic Block does not have terminator!", &BB); in visitBasicBlock()
3072 Check(PN.getNumIncomingValues() == Preds.size(), in visitBasicBlock()
3090 Check(i == 0 || Values[i].first != Values[i - 1].first || in visitBasicBlock()
3098 Check(Values[i].first == Preds[i], in visitBasicBlock()
3108 Check(I.getParent() == &BB, "Instruction has bogus parent pointer!"); in visitBasicBlock()
3124 Check(&I == I.getParent()->getTerminator(), in visitTerminator()
3131 Check(BI.getCondition()->getType()->isIntegerTy(1), in visitBranchInst()
3141 Check(N == 0, in visitReturnInst()
3146 Check(N == 1 && F->getReturnType() == RI.getOperand(0)->getType(), in visitReturnInst()
3157 Check(SI.getType()->isVoidTy(), "Switch must have void result type!", &SI); in visitSwitchInst()
3163 Check(isa<ConstantInt>(SI.getOperand(Case.getCaseIndex() * 2 + 2)), in visitSwitchInst()
3165 Check(Case.getCaseValue()->getType() == SwitchTy, in visitSwitchInst()
3167 Check(Constants.insert(Case.getCaseValue()).second, in visitSwitchInst()
3175 Check(BI.getAddress()->getType()->isPointerTy(), in visitIndirectBrInst()
3178 Check(BI.getDestination(i)->getType()->isLabelTy(), in visitIndirectBrInst()
3185 Check(CBI.isInlineAsm(), "Callbr is currently only used for asm-goto!", &CBI); in visitCallBrInst()
3187 Check(!IA->canThrow(), "Unwinding from Callbr is not allowed"); in visitCallBrInst()
3194 Check(!SelectInst::areInvalidOperands(SI.getOperand(0), SI.getOperand(1), in visitSelectInst()
3198 Check(SI.getTrueValue()->getType() == SI.getType(), in visitSelectInst()
3207 Check(false, "User-defined operators should not live outside of a pass!", &I); in visitUserOp1()
3219 Check(SrcTy->isIntOrIntVectorTy(), "Trunc only operates on integer", &I); in visitTruncInst()
3220 Check(DestTy->isIntOrIntVectorTy(), "Trunc only produces integer", &I); in visitTruncInst()
3221 Check(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitTruncInst()
3223 Check(SrcBitSize > DestBitSize, "DestTy too big for Trunc", &I); in visitTruncInst()
3234 Check(SrcTy->isIntOrIntVectorTy(), "ZExt only operates on integer", &I); in visitZExtInst()
3235 Check(DestTy->isIntOrIntVectorTy(), "ZExt only produces an integer", &I); in visitZExtInst()
3236 Check(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitZExtInst()
3241 Check(SrcBitSize < DestBitSize, "Type too small for ZExt", &I); in visitZExtInst()
3255 Check(SrcTy->isIntOrIntVectorTy(), "SExt only operates on integer", &I); in visitSExtInst()
3256 Check(DestTy->isIntOrIntVectorTy(), "SExt only produces an integer", &I); in visitSExtInst()
3257 Check(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitSExtInst()
3259 Check(SrcBitSize < DestBitSize, "Type too small for SExt", &I); in visitSExtInst()
3272 Check(SrcTy->isFPOrFPVectorTy(), "FPTrunc only operates on FP", &I); in visitFPTruncInst()
3273 Check(DestTy->isFPOrFPVectorTy(), "FPTrunc only produces an FP", &I); in visitFPTruncInst()
3274 Check(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitFPTruncInst()
3276 Check(SrcBitSize > DestBitSize, "DestTy too big for FPTrunc", &I); in visitFPTruncInst()
3290 Check(SrcTy->isFPOrFPVectorTy(), "FPExt only operates on FP", &I); in visitFPExtInst()
3291 Check(DestTy->isFPOrFPVectorTy(), "FPExt only produces an FP", &I); in visitFPExtInst()
3292 Check(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitFPExtInst()
3294 Check(SrcBitSize < DestBitSize, "DestTy too small for FPExt", &I); in visitFPExtInst()
3307 Check(SrcVec == DstVec, in visitUIToFPInst()
3309 Check(SrcTy->isIntOrIntVectorTy(), in visitUIToFPInst()
3311 Check(DestTy->isFPOrFPVectorTy(), "UIToFP result must be FP or FP vector", in visitUIToFPInst()
3315 Check(cast<VectorType>(SrcTy)->getElementCount() == in visitUIToFPInst()
3330 Check(SrcVec == DstVec, in visitSIToFPInst()
3332 Check(SrcTy->isIntOrIntVectorTy(), in visitSIToFPInst()
3334 Check(DestTy->isFPOrFPVectorTy(), "SIToFP result must be FP or FP vector", in visitSIToFPInst()
3338 Check(cast<VectorType>(SrcTy)->getElementCount() == in visitSIToFPInst()
3353 Check(SrcVec == DstVec, in visitFPToUIInst()
3355 Check(SrcTy->isFPOrFPVectorTy(), "FPToUI source must be FP or FP vector", &I); in visitFPToUIInst()
3356 Check(DestTy->isIntOrIntVectorTy(), in visitFPToUIInst()
3360 Check(cast<VectorType>(SrcTy)->getElementCount() == in visitFPToUIInst()
3375 Check(SrcVec == DstVec, in visitFPToSIInst()
3377 Check(SrcTy->isFPOrFPVectorTy(), "FPToSI source must be FP or FP vector", &I); in visitFPToSIInst()
3378 Check(DestTy->isIntOrIntVectorTy(), in visitFPToSIInst()
3382 Check(cast<VectorType>(SrcTy)->getElementCount() == in visitFPToSIInst()
3394 Check(SrcTy->isPtrOrPtrVectorTy(), "PtrToInt source must be pointer", &I); in visitPtrToIntInst()
3396 Check(DestTy->isIntOrIntVectorTy(), "PtrToInt result must be integral", &I); in visitPtrToIntInst()
3397 Check(SrcTy->isVectorTy() == DestTy->isVectorTy(), "PtrToInt type mismatch", in visitPtrToIntInst()
3403 Check(VSrc->getElementCount() == VDest->getElementCount(), in visitPtrToIntInst()
3415 Check(SrcTy->isIntOrIntVectorTy(), "IntToPtr source must be an integral", &I); in visitIntToPtrInst()
3416 Check(DestTy->isPtrOrPtrVectorTy(), "IntToPtr result must be a pointer", &I); in visitIntToPtrInst()
3418 Check(SrcTy->isVectorTy() == DestTy->isVectorTy(), "IntToPtr type mismatch", in visitIntToPtrInst()
3423 Check(VSrc->getElementCount() == VDest->getElementCount(), in visitIntToPtrInst()
3430 Check( in visitBitCastInst()
3440 Check(SrcTy->isPtrOrPtrVectorTy(), "AddrSpaceCast source must be a pointer", in visitAddrSpaceCastInst()
3442 Check(DestTy->isPtrOrPtrVectorTy(), "AddrSpaceCast result must be a pointer", in visitAddrSpaceCastInst()
3444 Check(SrcTy->getPointerAddressSpace() != DestTy->getPointerAddressSpace(), in visitAddrSpaceCastInst()
3447 Check(SrcVTy->getElementCount() == in visitAddrSpaceCastInst()
3460 Check(&PN == &PN.getParent()->front() || in visitPHINode()
3465 Check(!PN.getType()->isTokenTy(), "PHI nodes cannot have token type!"); in visitPHINode()
3470 Check(PN.getType() == IncValue->getType(), in visitPHINode()
3480 Check(Call.getCalledOperand()->getType()->isPointerTy(), in visitCallBase()
3486 Check(Call.arg_size() >= FTy->getNumParams(), in visitCallBase()
3489 Check(Call.arg_size() == FTy->getNumParams(), in visitCallBase()
3494 Check(Call.getArgOperand(i)->getType() == FTy->getParamType(i), in visitCallBase()
3500 Check(verifyAttributeCount(Attrs, Call.arg_size()), in visitCallBase()
3507 Check(Callee->getValueType() == FTy, in visitCallBase()
3513 Check(CC != CallingConv::AMDGPU_CS_Chain && in visitCallBase()
3527 Check(ABIAlign.value() <= Value::MaximumAlignment, in visitCallBase()
3542 Check(Callee && Callee->isSpeculatable(), in visitCallBase()
3547 Check(Call.getCalledFunction()->getIntrinsicID() == in visitCallBase()
3562 Check(AI->isUsedWithInAlloca(), in visitCallBase()
3573 Check(AI->isSwiftError(), in visitCallBase()
3578 Check(ArgI, "swifterror argument should come from an alloca or parameter", in visitCallBase()
3580 Check(ArgI->hasSwiftErrorAttr(), in visitCallBase()
3588 Check(Callee && Callee->hasParamAttribute(i, Attribute::ImmArg), in visitCallBase()
3595 Check(isa<ConstantInt>(ArgVal) || isa<ConstantFP>(ArgVal), in visitCallBase()
3604 Check(hasOB != isMustTail, in visitCallBase()
3630 Check(!SawNest, "More than one parameter has attribute nest!", Call); in visitCallBase()
3635 Check(!SawReturned, "More than one parameter has attribute returned!", in visitCallBase()
3637 Check(Ty->canLosslesslyBitCastTo(FTy->getReturnType()), in visitCallBase()
3649 Check(!ArgAttrs.hasAttribute(Attribute::StructRet), in visitCallBase()
3654 Check(Idx == Call.arg_size() - 1, in visitCallBase()
3662 Check(!ParamTy->isMetadataTy(), in visitCallBase()
3664 Check(!ParamTy->isTokenTy(), in visitCallBase()
3671 Check(!FTy->getReturnType()->isTokenTy(), in visitCallBase()
3673 Check(!FTy->getReturnType()->isX86_AMXTy(), in visitCallBase()
3693 Check(!FoundDeoptBundle, "Multiple deopt operand bundles", Call); in visitCallBase()
3696 Check(!FoundGCTransitionBundle, "Multiple gc-transition operand bundles", in visitCallBase()
3700 Check(!FoundFuncletBundle, "Multiple funclet operand bundles", Call); in visitCallBase()
3702 Check(BU.Inputs.size() == 1, in visitCallBase()
3704 Check(isa<FuncletPadInst>(BU.Inputs.front()), in visitCallBase()
3708 Check(!FoundCFGuardTargetBundle, "Multiple CFGuardTarget operand bundles", in visitCallBase()
3711 Check(BU.Inputs.size() == 1, in visitCallBase()
3714 Check(!FoundPtrauthBundle, "Multiple ptrauth operand bundles", Call); in visitCallBase()
3716 Check(BU.Inputs.size() == 2, in visitCallBase()
3718 Check(isa<ConstantInt>(BU.Inputs[0]) && in visitCallBase()
3721 Check(BU.Inputs[1]->getType()->isIntegerTy(64), in visitCallBase()
3724 Check(!FoundKCFIBundle, "Multiple kcfi operand bundles", Call); in visitCallBase()
3726 Check(BU.Inputs.size() == 1, "Expected exactly one kcfi bundle operand", in visitCallBase()
3728 Check(isa<ConstantInt>(BU.Inputs[0]) && in visitCallBase()
3732 Check(!FoundPreallocatedBundle, "Multiple preallocated operand bundles", in visitCallBase()
3735 Check(BU.Inputs.size() == 1, in visitCallBase()
3738 Check(Input && in visitCallBase()
3744 Check(!FoundGCLiveBundle, "Multiple gc-live operand bundles", Call); in visitCallBase()
3747 Check(!FoundAttachedCallBundle, in visitCallBase()
3755 Check(!(Call.getCalledFunction() && FoundPtrauthBundle), in visitCallBase()
3782 Check(!Attrs.contains(Attribute::InAlloca), in verifyTailCCMustTailAttrs()
3784 Check(!Attrs.contains(Attribute::InReg), in verifyTailCCMustTailAttrs()
3786 Check(!Attrs.contains(Attribute::SwiftError), in verifyTailCCMustTailAttrs()
3788 Check(!Attrs.contains(Attribute::Preallocated), in verifyTailCCMustTailAttrs()
3790 Check(!Attrs.contains(Attribute::ByRef), in verifyTailCCMustTailAttrs()
3828 Check(!CI.isInlineAsm(), "cannot use musttail call with inline asm", &CI); in verifyMustTailCall()
3833 Check(CallerTy->isVarArg() == CalleeTy->isVarArg(), in verifyMustTailCall()
3835 Check(isTypeCongruent(CallerTy->getReturnType(), CalleeTy->getReturnType()), in verifyMustTailCall()
3839 Check(F->getCallingConv() == CI.getCallingConv(), in verifyMustTailCall()
3851 Check(BI->getOperand(0) == RetVal, in verifyMustTailCall()
3859 Check(Ret, "musttail call must precede a ret with an optional bitcast", &CI); in verifyMustTailCall()
3860 Check(!Ret->getReturnValue() || Ret->getReturnValue() == RetVal || in verifyMustTailCall()
3884 Check(!CallerTy->isVarArg(), Twine("cannot guarantee ") + CCName + in verifyMustTailCall()
3893 Check(CallerTy->getNumParams() == CalleeTy->getNumParams(), in verifyMustTailCall()
3896 Check( in verifyMustTailCall()
3907 Check(CallerABIAttrs == CalleeABIAttrs, in verifyMustTailCall()
3926 Check( in visitInvokeInst()
3937 Check(U.getType() == U.getOperand(0)->getType(), in visitUnaryOperator()
3946 Check(U.getType()->isFPOrFPVectorTy(), in visitUnaryOperator()
3960 Check(B.getOperand(0)->getType() == B.getOperand(1)->getType(), in visitBinaryOperator()
3973 Check(B.getType()->isIntOrIntVectorTy(), in visitBinaryOperator()
3975 Check(B.getType() == B.getOperand(0)->getType(), in visitBinaryOperator()
3987 Check(B.getType()->isFPOrFPVectorTy(), in visitBinaryOperator()
3991 Check(B.getType() == B.getOperand(0)->getType(), in visitBinaryOperator()
4000 Check(B.getType()->isIntOrIntVectorTy(), in visitBinaryOperator()
4002 Check(B.getType() == B.getOperand(0)->getType(), in visitBinaryOperator()
4008 Check(B.getType()->isIntOrIntVectorTy(), in visitBinaryOperator()
4010 Check(B.getType() == B.getOperand(0)->getType(), in visitBinaryOperator()
4024 Check(Op0Ty == Op1Ty, in visitICmpInst()
4027 Check(Op0Ty->isIntOrIntVectorTy() || Op0Ty->isPtrOrPtrVectorTy(), in visitICmpInst()
4030 Check(IC.isIntPredicate(), "Invalid predicate in ICmp instruction!", &IC); in visitICmpInst()
4039 Check(Op0Ty == Op1Ty, in visitFCmpInst()
4042 Check(Op0Ty->isFPOrFPVectorTy(), "Invalid operand types for FCmp instruction", in visitFCmpInst()
4045 Check(FC.isFPPredicate(), "Invalid predicate in FCmp instruction!", &FC); in visitFCmpInst()
4051 Check(ExtractElementInst::isValidOperands(EI.getOperand(0), EI.getOperand(1)), in visitExtractElementInst()
4057 Check(InsertElementInst::isValidOperands(IE.getOperand(0), IE.getOperand(1), in visitInsertElementInst()
4064 Check(ShuffleVectorInst::isValidOperands(SV.getOperand(0), SV.getOperand(1), in visitShuffleVectorInst()
4073 Check(isa<PointerType>(TargetTy), in visitGetElementPtrInst()
4075 Check(GEP.getSourceElementType()->isSized(), "GEP into unsized type!", &GEP); in visitGetElementPtrInst()
4079 Check(!STy->containsScalableVectorType(&Visited), in visitGetElementPtrInst()
4086 Check( in visitGetElementPtrInst()
4091 Check(ElTy, "Invalid indices for GEP pointer type!", &GEP); in visitGetElementPtrInst()
4093 Check(GEP.getType()->isPtrOrPtrVectorTy() && in visitGetElementPtrInst()
4101 Check( in visitGetElementPtrInst()
4109 Check(IndexWidth == GEPWidth, "Invalid GEP index vector width", &GEP); in visitGetElementPtrInst()
4111 Check(IndexTy->isIntOrIntVectorTy(), in visitGetElementPtrInst()
4117 Check(GEP.getAddressSpace() == PTy->getAddressSpace(), in visitGetElementPtrInst()
4133 Check(NumOperands % 2 == 0, "Unfinished range!", Range); in verifyRangeMetadata()
4135 Check(NumRanges >= 1, "It should have at least one range!", Range); in verifyRangeMetadata()
4141 Check(Low, "The lower limit must be an integer!", Low); in verifyRangeMetadata()
4144 Check(High, "The upper limit must be an integer!", High); in verifyRangeMetadata()
4145 Check(High->getType() == Low->getType() && in verifyRangeMetadata()
4154 Check(LowV != HighV || LowV.isMaxValue() || LowV.isMinValue(), in verifyRangeMetadata()
4158 Check(!CurRange.isEmptySet() && (IsAbsoluteSymbol || !CurRange.isFullSet()), in verifyRangeMetadata()
4161 Check(CurRange.intersectWith(LastRange).isEmptySet(), in verifyRangeMetadata()
4163 Check(LowV.sgt(LastRange.getLower()), "Intervals are not in order", in verifyRangeMetadata()
4165 Check(!isContiguous(CurRange, LastRange), "Intervals are contiguous", in verifyRangeMetadata()
4176 Check(FirstRange.intersectWith(LastRange).isEmptySet(), in verifyRangeMetadata()
4178 Check(!isContiguous(FirstRange, LastRange), "Intervals are contiguous", in verifyRangeMetadata()
4191 Check(Size >= 8, "atomic memory access' size must be byte-sized", Ty, I); in checkAtomicMemAccessSize()
4192 Check(!(Size & (Size - 1)), in checkAtomicMemAccessSize()
4198 Check(PTy, "Load operand must be a pointer.", &LI); in visitLoadInst()
4201 Check(A->value() <= Value::MaximumAlignment, in visitLoadInst()
4204 Check(ElTy->isSized(), "loading unsized types is not allowed", &LI); in visitLoadInst()
4206 Check(LI.getOrdering() != AtomicOrdering::Release && in visitLoadInst()
4209 Check(ElTy->isIntOrPtrTy() || ElTy->isFloatingPointTy(), in visitLoadInst()
4215 Check(LI.getSyncScopeID() == SyncScope::System, in visitLoadInst()
4224 Check(PTy, "Store operand must be a pointer.", &SI); in visitStoreInst()
4227 Check(A->value() <= Value::MaximumAlignment, in visitStoreInst()
4230 Check(ElTy->isSized(), "storing unsized types is not allowed", &SI); in visitStoreInst()
4232 Check(SI.getOrdering() != AtomicOrdering::Acquire && in visitStoreInst()
4235 Check(ElTy->isIntOrPtrTy() || ElTy->isFloatingPointTy(), in visitStoreInst()
4241 Check(SI.getSyncScopeID() == SyncScope::System, in visitStoreInst()
4252 Check(Call.paramHasAttr(I.index(), Attribute::SwiftError), in verifySwiftErrorCall()
4264 Check(isa<LoadInst>(U) || isa<StoreInst>(U) || isa<CallInst>(U) || in verifySwiftErrorValue()
4271 Check(StoreI->getOperand(1) == SwiftErrorVal, in verifySwiftErrorValue()
4282 Check(AI.getAllocatedType()->isSized(&Visited), in visitAllocaInst()
4284 Check(AI.getArraySize()->getType()->isIntegerTy(), in visitAllocaInst()
4287 Check(A->value() <= Value::MaximumAlignment, in visitAllocaInst()
4292 Check(AI.getAllocatedType()->isPointerTy(), in visitAllocaInst()
4294 Check(!AI.isArrayAllocation(), in visitAllocaInst()
4304 Check(ElTy->isIntOrPtrTy(), in visitAtomicCmpXchgInst()
4311 Check(RMWI.getOrdering() != AtomicOrdering::Unordered, in visitAtomicRMWInst()
4316 Check(ElTy->isIntegerTy() || ElTy->isFloatingPointTy() || in visitAtomicRMWInst()
4322 Check(ElTy->isFPOrFPVectorTy() && !isa<ScalableVectorType>(ElTy), in visitAtomicRMWInst()
4328 Check(ElTy->isIntegerTy(), in visitAtomicRMWInst()
4334 Check(AtomicRMWInst::FIRST_BINOP <= Op && Op <= AtomicRMWInst::LAST_BINOP, in visitAtomicRMWInst()
4341 Check(Ordering == AtomicOrdering::Acquire || in visitFenceInst()
4352 Check(ExtractValueInst::getIndexedType(EVI.getAggregateOperand()->getType(), in visitExtractValueInst()
4360 Check(ExtractValueInst::getIndexedType(IVI.getAggregateOperand()->getType(), in visitInsertValueInst()
4381 Check(BB != &F->getEntryBlock(), "EH pad cannot be in entry block.", &I); in visitEHPadPredecessors()
4389 Check(II && II->getUnwindDest() == BB && II->getNormalDest() != BB, in visitEHPadPredecessors()
4398 Check(BB->getUniquePredecessor() == CPI->getCatchSwitch()->getParent(), in visitEHPadPredecessors()
4402 Check(BB != CPI->getCatchSwitch()->getUnwindDest(), in visitEHPadPredecessors()
4416 Check(II->getUnwindDest() == BB && II->getNormalDest() != BB, in visitEHPadPredecessors()
4429 Check(FromPad != ToPadParent, "A cleanupret must exit its cleanup", CRI); in visitEHPadPredecessors()
4433 Check(false, "EH pad must be jumped to via an unwind edge", ToPad, TI); in visitEHPadPredecessors()
4439 Check(FromPad != ToPad, in visitEHPadPredecessors()
4445 Check(!isa<ConstantTokenNone>(FromPad), in visitEHPadPredecessors()
4447 Check(Seen.insert(FromPad).second, "EH pad jumps through a cycle of pads", in visitEHPadPredecessors()
4452 Check(isa<FuncletPadInst>(FromPad) || isa<CatchSwitchInst>(FromPad), in visitEHPadPredecessors()
4461 Check(LPI.getNumClauses() > 0 || LPI.isCleanup(), in visitLandingPadInst()
4469 Check(LandingPadResultTy == LPI.getType(), in visitLandingPadInst()
4475 Check(F->hasPersonalityFn(), in visitLandingPadInst()
4480 Check(LPI.getParent()->getLandingPadInst() == &LPI, in visitLandingPadInst()
4486 Check(isa<PointerType>(Clause->getType()), in visitLandingPadInst()
4489 Check(LPI.isFilter(i), "Clause is neither catch nor filter!", &LPI); in visitLandingPadInst()
4490 Check(isa<ConstantArray>(Clause) || isa<ConstantAggregateZero>(Clause), in visitLandingPadInst()
4499 Check(RI.getFunction()->hasPersonalityFn(), in visitResumeInst()
4505 Check(LandingPadResultTy == RI.getValue()->getType(), in visitResumeInst()
4517 Check(F->hasPersonalityFn(), in visitCatchPadInst()
4520 Check(isa<CatchSwitchInst>(CPI.getParentPad()), in visitCatchPadInst()
4526 Check(BB->getFirstNonPHI() == &CPI, in visitCatchPadInst()
4534 Check(isa<CatchPadInst>(CatchReturn.getOperand(0)), in visitCatchReturnInst()
4545 Check(F->hasPersonalityFn(), in visitCleanupPadInst()
4550 Check(BB->getFirstNonPHI() == &CPI, in visitCleanupPadInst()
4554 Check(isa<ConstantTokenNone>(ParentPad) || isa<FuncletPadInst>(ParentPad), in visitCleanupPadInst()
4569 Check(Seen.insert(CurrentPad).second, in visitFuncletPadInst()
4598 Check(isa<CatchReturnInst>(U), "Bogus funclet pad use", U); in visitFuncletPadInst()
4648 Check(UnwindPad == FirstUnwindPad, in visitFuncletPadInst()
4711 Check(SwitchUnwindPad == FirstUnwindPad, in visitFuncletPadInst()
4725 Check(F->hasPersonalityFn(), in visitCatchSwitchInst()
4731 Check(BB->getFirstNonPHI() == &CatchSwitch, in visitCatchSwitchInst()
4736 Check(isa<ConstantTokenNone>(ParentPad) || isa<FuncletPadInst>(ParentPad), in visitCatchSwitchInst()
4741 Check(I->isEHPad() && !isa<LandingPadInst>(I), in visitCatchSwitchInst()
4751 Check(CatchSwitch.getNumHandlers() != 0, in visitCatchSwitchInst()
4755 Check(isa<CatchPadInst>(Handler->getFirstNonPHI()), in visitCatchSwitchInst()
4764 Check(isa<CleanupPadInst>(CRI.getOperand(0)), in visitCleanupReturnInst()
4770 Check(I->isEHPad() && !isa<LandingPadInst>(I), in visitCleanupReturnInst()
4800 Check(DT.dominates(Op, U), "Instruction does not dominate all uses!", Op, &I); in verifyDominatesUse()
4804 Check(I.getType()->isPointerTy(), in visitDereferenceableMetadata()
4808 Check((isa<LoadInst>(I) || isa<IntToPtrInst>(I)), in visitDereferenceableMetadata()
4812 Check(MD->getNumOperands() == 1, in visitDereferenceableMetadata()
4817 Check(CI && CI->getType()->isIntegerTy(64), in visitDereferenceableMetadata()
4824 Check(MD->getNumOperands() >= 2, in visitProfMetadata()
4828 Check(MD->getOperand(0) != nullptr, "first operand should not be null", MD); in visitProfMetadata()
4829 Check(isa<MDString>(MD->getOperand(0)), in visitProfMetadata()
4838 Check(NumBranchWeights == 1 || NumBranchWeights == 2, in visitProfMetadata()
4858 Check(NumBranchWeights == ExpectedNumOperands, "Wrong number of operands", in visitProfMetadata()
4864 Check(MDO, "second operand should not be null", MD); in visitProfMetadata()
4865 Check(mdconst::dyn_extract<ConstantInt>(MDO), in visitProfMetadata()
4900 Check(canInstructionHaveMMRAs(I), in visitMMRAMetadata()
4911 Check(isa<MDTuple>(MD), "!mmra expected to be a metadata tuple", I, MD); in visitMMRAMetadata()
4913 Check(MMRAMetadata::isTagMD(MDOp.get()), in visitMMRAMetadata()
4920 Check(MD->getNumOperands() >= 1, in visitCallStackMetadata()
4924 Check(mdconst::dyn_extract_or_null<ConstantInt>(Op), in visitCallStackMetadata()
4929 Check(isa<CallBase>(I), "!memprof metadata should only exist on calls", &I); in visitMemProfMetadata()
4930 Check(MD->getNumOperands() >= 1, in visitMemProfMetadata()
4941 Check(MIB->getNumOperands() >= 2, in visitMemProfMetadata()
4945 Check(MIB->getOperand(0) != nullptr, in visitMemProfMetadata()
4947 Check(isa<MDNode>(MIB->getOperand(0)), in visitMemProfMetadata()
4953 Check(llvm::all_of(MIB->operands().drop_front().drop_back(), in visitMemProfMetadata()
4958 Check(isa<MDString>(LastOperand) || mdconst::hasa<ConstantInt>(LastOperand), in visitMemProfMetadata()
4964 Check(isa<CallBase>(I), "!callsite metadata should only exist on calls", &I); in visitCallsiteMetadata()
4971 Check(isa<MDTuple>(Annotation), "annotation must be a tuple"); in visitAnnotationMetadata()
4972 Check(Annotation->getNumOperands() >= 1, in visitAnnotationMetadata()
4980 Check(isa<MDString>(Op.get()) || TupleOfStrings, in visitAnnotationMetadata()
4987 Check(NumOps >= 2 && NumOps <= 3, "scope must have two or three operands", in visitAliasScopeMetadata()
4989 Check(MD->getOperand(0).get() == MD || isa<MDString>(MD->getOperand(0)), in visitAliasScopeMetadata()
4992 Check(isa<MDString>(MD->getOperand(2)), in visitAliasScopeMetadata()
4996 Check(Domain != nullptr, "second scope operand must be MDNode", MD); in visitAliasScopeMetadata()
4999 Check(NumDomainOps >= 1 && NumDomainOps <= 2, in visitAliasScopeMetadata()
5001 Check(Domain->getOperand(0).get() == Domain || in visitAliasScopeMetadata()
5005 Check(isa<MDString>(Domain->getOperand(1)), in visitAliasScopeMetadata()
5012 Check(OpMD != nullptr, "scope list must consist of MDNodes", MD); in visitAliasScopeListMetadata()
5029 Check(OpMD != nullptr, "Access scope list must consist of MDNodes", MD); in visitAccessGroupMetadata()
5030 Check(IsValidAccessScope(OpMD), in visitAccessGroupMetadata()
5039 Check(BB, "Instruction not embedded in basic block!", &I); in visitInstruction()
5043 Check(U != (User *)&I || !DT.isReachableFromEntry(BB), in visitInstruction()
5049 Check(!I.getType()->isVoidTy() || !I.hasName(), in visitInstruction()
5054 Check(I.getType()->isVoidTy() || I.getType()->isFirstClassType(), in visitInstruction()
5059 Check(!I.getType()->isMetadataTy() || isa<CallInst>(I) || isa<InvokeInst>(I), in visitInstruction()
5067 Check(Used->getParent() != nullptr, in visitInstruction()
5082 Check(I.getOperand(i) != nullptr, "Instruction has null operand!", &I); in visitInstruction()
5087 Check(false, "Instruction operands must be first-class values!", &I); in visitInstruction()
5103 Check((!F->isIntrinsic() || in visitInstruction()
5107 Check(!F->isIntrinsic() || isa<CallInst>(I) || in visitInstruction()
5127 Check(F->getParent() == &M, "Referencing function in another module!", &I, in visitInstruction()
5130 Check(OpBB->getParent() == BB->getParent(), in visitInstruction()
5133 Check(OpArg->getParent() == BB->getParent(), in visitInstruction()
5136 Check(GV->getParent() == &M, "Referencing global in another module!", &I, in visitInstruction()
5139 Check(OpInst->getFunction() == BB->getParent(), in visitInstruction()
5143 Check(CBI && &CBI->getCalledOperandUse() == &I.getOperandUse(i), in visitInstruction()
5157 Check(I.getType()->isFPOrFPVectorTy(), in visitInstruction()
5159 Check(MD->getNumOperands() == 1, "fpmath takes one operand!", &I); in visitInstruction()
5163 Check(&Accuracy.getSemantics() == &APFloat::IEEEsingle(), in visitInstruction()
5165 Check(Accuracy.isFiniteNonZero() && !Accuracy.isNegative(), in visitInstruction()
5168 Check(false, "invalid fpmath accuracy!", &I); in visitInstruction()
5173 Check(isa<LoadInst>(I) || isa<CallInst>(I) || isa<InvokeInst>(I), in visitInstruction()
5179 Check(isa<LoadInst>(I) || isa<StoreInst>(I), in visitInstruction()
5184 Check(I.getType()->isPointerTy(), "nonnull applies only to pointer types", in visitInstruction()
5186 Check(isa<LoadInst>(I), in visitInstruction()
5190 Check(MD->getNumOperands() == 0, "nonnull metadata must be empty", &I); in visitInstruction()
5211 Check(I.getType()->isPointerTy(), "align applies only to pointer types", in visitInstruction()
5213 Check(isa<LoadInst>(I), in visitInstruction()
5217 Check(AlignMD->getNumOperands() == 1, "align takes one operand!", &I); in visitInstruction()
5219 Check(CI && CI->getType()->isIntegerTy(64), in visitInstruction()
5222 Check(isPowerOf2_64(Align), "align metadata value must be a power of 2!", in visitInstruction()
5224 Check(Align <= Value::MaximumAlignment, in visitInstruction()
5273 Check(IF->isDeclaration(), "Intrinsic functions should never be defined!", in visitIntrinsicCall()
5289 Check(Res != Intrinsic::MatchIntrinsicTypes_NoMatchRet, in visitIntrinsicCall()
5291 Check(Res != Intrinsic::MatchIntrinsicTypes_NoMatchArg, in visitIntrinsicCall()
5296 Check(!Intrinsic::matchIntrinsicVarArg(IsVarArg, TableRef), in visitIntrinsicCall()
5299 Check(!Intrinsic::matchIntrinsicVarArg(IsVarArg, TableRef), in visitIntrinsicCall()
5303 Check(TableRef.empty(), "Intrinsic has too few arguments!", IF); in visitIntrinsicCall()
5311 Check(ExpectedName == IF->getName(), in visitIntrinsicCall()
5323 Check(!Const->getType()->isX86_AMXTy(), in visitIntrinsicCall()
5336 Check(ArgCount == 2, in visitIntrinsicCall()
5338 Check(Call.getOperand(Elem.Begin)->getType()->isPointerTy() && in visitIntrinsicCall()
5344 Check(Elem.Tag->getKey() == "ignore" || in visitIntrinsicCall()
5350 Check(ArgCount <= 3 && ArgCount >= 2, in visitIntrinsicCall()
5352 Check(Call.getOperand(Elem.Begin)->getType()->isPointerTy(), in visitIntrinsicCall()
5354 Check(Call.getOperand(Elem.Begin + 1)->getType()->isIntegerTy(), in visitIntrinsicCall()
5357 Check(Call.getOperand(Elem.Begin + 2)->getType()->isIntegerTy(), in visitIntrinsicCall()
5361 Check(ArgCount <= 2, "too many arguments", Call); in visitIntrinsicCall()
5365 Check(ArgCount == 2, "this attribute should have 2 arguments", Call); in visitIntrinsicCall()
5366 Check(isa<ConstantInt>(Call.getOperand(Elem.Begin + 1)), in visitIntrinsicCall()
5369 Check((ArgCount) == 1, "this attribute should have one argument", Call); in visitIntrinsicCall()
5371 Check((ArgCount) == 0, "this attribute has no argument", Call); in visitIntrinsicCall()
5381 Check(DestTy->getScalarSizeInBits() >= 2, in visitIntrinsicCall()
5385 Check(SrcTy->isVectorTy() == IsDestTypeVector, in visitIntrinsicCall()
5392 Check(SrcVecLen == DestVecLen, in visitIntrinsicCall()
5404 Check(GV && GV->isConstant() && GV->hasDefinitiveInitializer(), in visitIntrinsicCall()
5408 Check(isa<ConstantStruct>(Init) || isa<ConstantArray>(Init), in visitIntrinsicCall()
5415 Check((TestMask->getZExtValue() & ~static_cast<unsigned>(fcAllFlags)) == 0, in visitIntrinsicCall()
5426 Check(MD != nullptr, "missing rounding mode argument", Call); in visitIntrinsicCall()
5428 Check(isa<MDString>(MD), in visitIntrinsicCall()
5435 Check(RoundMode && *RoundMode != RoundingMode::Dynamic, in visitIntrinsicCall()
5451 Check(isa<MetadataAsValue>(Call.getArgOperand(0)), in visitIntrinsicCall()
5479 Check(ElementSizeVal.isPowerOf2(), in visitIntrinsicCall()
5487 Check(IsValidAlignment(AMI->getDestAlign()), in visitIntrinsicCall()
5490 Check(IsValidAlignment(AMT->getSourceAlign()), in visitIntrinsicCall()
5497 Check(NumArgs != nullptr, in visitIntrinsicCall()
5502 Check(UseCall != nullptr, in visitIntrinsicCall()
5507 Check(AllocArgIndex != nullptr, in visitIntrinsicCall()
5510 Check(AllocArgIndexInt.sge(0) && in visitIntrinsicCall()
5519 Check(!FoundCall, "Can have at most one call corresponding to a " in visitIntrinsicCall()
5528 Check(NumPreallocatedArgs != 0, in visitIntrinsicCall()
5531 Check(NumArgs->equalsInt(NumPreallocatedArgs), in visitIntrinsicCall()
5545 Check(PreallocatedBundle, in visitIntrinsicCall()
5548 Check(PreallocatedBundle->Inputs.front().get() == &Call, in visitIntrinsicCall()
5557 Check(Token && Token->getCalledFunction()->getIntrinsicID() == in visitIntrinsicCall()
5561 Check(Call.hasFnAttr(Attribute::Preallocated), in visitIntrinsicCall()
5568 Check(Token && Token->getCalledFunction()->getIntrinsicID() == in visitIntrinsicCall()
5580 Check(AI, "llvm.gcroot parameter #1 must be an alloca.", Call); in visitIntrinsicCall()
5581 Check(isa<Constant>(Call.getArgOperand(1)), in visitIntrinsicCall()
5584 Check(!isa<ConstantPointerNull>(Call.getArgOperand(1)), in visitIntrinsicCall()
5591 Check(Call.getParent()->getParent()->hasGC(), in visitIntrinsicCall()
5595 Check(isa<Function>(Call.getArgOperand(1)->stripPointerCasts()), in visitIntrinsicCall()
5600 Check(cast<ConstantInt>(Call.getArgOperand(1))->getZExtValue() < 2, in visitIntrinsicCall()
5602 Check(cast<ConstantInt>(Call.getArgOperand(2))->getZExtValue() < 4, in visitIntrinsicCall()
5604 Check(cast<ConstantInt>(Call.getArgOperand(3))->getZExtValue() < 2, in visitIntrinsicCall()
5608 Check(isa<AllocaInst>(Call.getArgOperand(1)->stripPointerCasts()), in visitIntrinsicCall()
5613 Check(BB->isEntryBlock(), "llvm.localescape used outside of entry block", in visitIntrinsicCall()
5615 Check(!SawFrameEscape, "multiple calls to llvm.localescape in one function", in visitIntrinsicCall()
5621 Check(AI && AI->isStaticAlloca(), in visitIntrinsicCall()
5631 Check(Fn && !Fn->isDeclaration(), in visitIntrinsicCall()
5644 Check(!CI->isInlineAsm(), in visitIntrinsicCall()
5646 Check(Call.getParent()->getParent()->hasGC(), in visitIntrinsicCall()
5652 Check(Call.getParent()->getParent()->hasGC(), in visitIntrinsicCall()
5663 Check(StatepointFn && StatepointFn->isDeclaration() && in visitIntrinsicCall()
5672 Check(Call.getType() == TargetFuncType->getReturnType(), in visitIntrinsicCall()
5677 Check(Call.arg_size() == 3, "wrong number of arguments", Call); in visitIntrinsicCall()
5679 Check(isa<PointerType>(Call.getType()->getScalarType()), in visitIntrinsicCall()
5693 Check(InvokeBB, "safepoints should have unique landingpads", in visitIntrinsicCall()
5695 Check(InvokeBB->getTerminator(), "safepoint block should be well formed", in visitIntrinsicCall()
5697 Check(isa<GCStatepointInst>(InvokeBB->getTerminator()), in visitIntrinsicCall()
5704 Check(isa<GCStatepointInst>(Token) || isa<UndefValue>(Token), in visitIntrinsicCall()
5713 Check(isa<ConstantInt>(Base), in visitIntrinsicCall()
5717 Check(isa<ConstantInt>(Derived), in visitIntrinsicCall()
5728 Check(BaseIndex < Opt->Inputs.size(), in visitIntrinsicCall()
5730 Check(DerivedIndex < Opt->Inputs.size(), in visitIntrinsicCall()
5743 Check(BaseType->isPtrOrPtrVectorTy(), in visitIntrinsicCall()
5745 Check(DerivedType->isPtrOrPtrVectorTy(), in visitIntrinsicCall()
5748 Check(ResultType->isVectorTy() == DerivedType->isVectorTy(), in visitIntrinsicCall()
5751 Check( in visitIntrinsicCall()
5758 Check(GC, "gc.relocate: calling function must have GCStrategy", in visitIntrinsicCall()
5764 Check(isGCPtr(ResultType), "gc.relocate: must return gc pointer", Call); in visitIntrinsicCall()
5765 Check(isGCPtr(BaseType), in visitIntrinsicCall()
5767 Check(isGCPtr(DerivedType), in visitIntrinsicCall()
5774 Check(Call.getType()->isSingleValueType(), in visitIntrinsicCall()
5781 Check(isa<CatchPadInst>(Call.getArgOperand(0)), in visitIntrinsicCall()
5786 Check(Call.getType()->isVectorTy(), in visitIntrinsicCall()
5791 Check(ElemTy->isIntegerTy(1), in visitIntrinsicCall()
5799 Check(!VF->isNegative() && !VF->isZero(), in visitIntrinsicCall()
5804 Check(Call.getType()->isVectorTy(), "masked_load: must return a vector", in visitIntrinsicCall()
5810 Check(Mask->getType()->isVectorTy(), "masked_load: mask must be vector", in visitIntrinsicCall()
5812 Check(Alignment->getValue().isPowerOf2(), in visitIntrinsicCall()
5814 Check(PassThru->getType() == Call.getType(), in visitIntrinsicCall()
5816 Check(cast<VectorType>(Mask->getType())->getElementCount() == in visitIntrinsicCall()
5825 Check(Mask->getType()->isVectorTy(), "masked_store: mask must be vector", in visitIntrinsicCall()
5827 Check(Alignment->getValue().isPowerOf2(), in visitIntrinsicCall()
5829 Check(cast<VectorType>(Mask->getType())->getElementCount() == in visitIntrinsicCall()
5838 Check(Alignment.isZero() || Alignment.isPowerOf2(), in visitIntrinsicCall()
5845 Check(Alignment.isZero() || Alignment.isPowerOf2(), in visitIntrinsicCall()
5851 Check(isa<CallInst>(Call), "experimental_guard cannot be invoked", Call); in visitIntrinsicCall()
5852 Check(Call.countOperandBundlesOfType(LLVMContext::OB_deopt) == 1, in visitIntrinsicCall()
5859 Check(isa<CallInst>(Call), "experimental_deoptimize cannot be invoked", in visitIntrinsicCall()
5861 Check(Call.countOperandBundlesOfType(LLVMContext::OB_deopt) == 1, in visitIntrinsicCall()
5864 Check(Call.getType() == Call.getFunction()->getReturnType(), in visitIntrinsicCall()
5869 Check(RI, in visitIntrinsicCall()
5873 Check(RI->getReturnValue() == &Call, in visitIntrinsicCall()
5881 Check(Call.getFunction()->isVarArg(), in visitIntrinsicCall()
5895 Check(ArgTy->isIntOrIntVectorTy() && ArgTy->isVectorTy(), in visitIntrinsicCall()
5902 Check(ArgTy->isFPOrFPVectorTy() && ArgTy->isVectorTy(), in visitIntrinsicCall()
5911 Check(ArgTy->isFPOrFPVectorTy() && ArgTy->isVectorTy(), in visitIntrinsicCall()
5925 Check(Op1->getType()->isIntOrIntVectorTy(), in visitIntrinsicCall()
5928 Check(Op2->getType()->isIntOrIntVectorTy(), in visitIntrinsicCall()
5933 Check(Op3->getType()->isIntegerTy(), in visitIntrinsicCall()
5935 Check(Op3->getBitWidth() <= 32, in visitIntrinsicCall()
5940 Check(Op3->getZExtValue() < Op1->getType()->getScalarSizeInBits(), in visitIntrinsicCall()
5944 Check(Op3->getZExtValue() <= Op1->getType()->getScalarSizeInBits(), in visitIntrinsicCall()
5954 Check( in visitIntrinsicCall()
5959 Check(ValTy->isVectorTy() == ResultTy->isVectorTy(), in visitIntrinsicCall()
5963 Check(cast<VectorType>(ValTy)->getElementCount() == in visitIntrinsicCall()
5974 Check(!ValTy->isVectorTy() && !ResultTy->isVectorTy(), in visitIntrinsicCall()
5981 Check(Size % 16 == 0, "bswap must be an even number of bytes", &Call); in visitIntrinsicCall()
5986 Check(InvariantSize && in visitIntrinsicCall()
6008 Check(cast<FixedVectorType>(Call.getArgOperand(0)->getType()) in visitIntrinsicCall()
6013 Check(cast<FixedVectorType>(Call.getArgOperand(1)->getType()) in visitIntrinsicCall()
6053 Check(ResultTy->getElementType()->isIntegerTy() || in visitIntrinsicCall()
6058 Check(ResultTy->getElementType() == Op0ElemTy, in visitIntrinsicCall()
6064 Check(ResultTy->getElementType() == Op1ElemTy, in visitIntrinsicCall()
6069 Check(cast<FixedVectorType>(ResultTy)->getNumElements() == in visitIntrinsicCall()
6074 Check(Stride->getZExtValue() >= NumRows->getZExtValue(), in visitIntrinsicCall()
6088 Check((Idx < 0 && std::abs(Idx) <= KnownMinNumElements) || in visitIntrinsicCall()
6099 Check(VecTy && VecTy->getScalarType()->isIntegerTy() && in visitIntrinsicCall()
6117 Check(VecTy->getElementType() == SubVecTy->getElementType(), in visitIntrinsicCall()
6121 Check(IdxN % SubVecEC.getKnownMinValue() == 0, in visitIntrinsicCall()
6129 Check(IdxN < VecEC.getKnownMinValue() && in visitIntrinsicCall()
6147 Check(ResultTy->getElementType() == VecTy->getElementType(), in visitIntrinsicCall()
6151 Check(IdxN % ResultEC.getKnownMinValue() == 0, in visitIntrinsicCall()
6159 Check(IdxN < VecEC.getKnownMinValue() && in visitIntrinsicCall()
6172 Check((VecWidth % AccWidth) == 0, in visitIntrinsicCall()
6190 Check(ElemTy, "Intrinsic requires elementtype attribute on first argument.", in visitIntrinsicCall()
6199 Check(ElemTy, in visitIntrinsicCall()
6205 Check(cast<ConstantInt>(Call.getArgOperand(1))->getZExtValue() < 2, in visitIntrinsicCall()
6207 Check(cast<ConstantInt>(Call.getArgOperand(2))->getZExtValue() < 4, in visitIntrinsicCall()
6209 Check(cast<ConstantInt>(Call.getArgOperand(3))->getZExtValue() < 2, in visitIntrinsicCall()
6211 Check(cast<ConstantInt>(Call.getArgOperand(4))->getZExtValue() < 2, in visitIntrinsicCall()
6217 Check(CBR, "intrinstic requires callbr operand", &Call); in visitIntrinsicCall()
6232 Check(llvm::any_of(CBR->getIndirectDests(), in visitIntrinsicCall()
6240 Check(&First == &Call, "No other instructions may proceed intrinsic", in visitIntrinsicCall()
6259 Check(Call.paramHasAttr(2, Attribute::InReg), in visitIntrinsicCall()
6261 Check(!Call.paramHasAttr(3, Attribute::InReg), in visitIntrinsicCall()
6280 Check(!Call.paramHasAttr(InactiveIdx, Attribute::InReg), in visitIntrinsicCall()
6283 Check(isa<Argument>(Call.getArgOperand(InactiveIdx)), in visitIntrinsicCall()
6285 Check(!cast<Argument>(Call.getArgOperand(InactiveIdx))->hasInRegAttr(), in visitIntrinsicCall()
6293 Check(RegCount % 8 == 0, in visitIntrinsicCall()
6295 Check((RegCount >= 24 && RegCount <= 256), in visitIntrinsicCall()
6307 Check(Ty0->isPtrOrPtrVectorTy(), in visitIntrinsicCall()
6311 Check( in visitIntrinsicCall()
6316 Check(cast<VectorType>(Ty0)->getElementCount() == in visitIntrinsicCall()
6321 Check(DL.getIndexTypeSizeInBits(Ty0) == Ty1->getScalarSizeInBits(), in visitIntrinsicCall()
6329 Check(isa<GlobalValue>(Arg0), in visitIntrinsicCall()
6331 Check(cast<GlobalValue>(Arg0).isThreadLocal(), in visitIntrinsicCall()
6364 Check(HasToken, "Missing funclet token on intrinsic call", &Call); in visitIntrinsicCall()
6501 Check(RetTy->getElementCount() == ValTy->getElementCount(), in visitVPIntrinsic()
6510 Check(RetTy->isIntOrIntVectorTy() && ValTy->isIntOrIntVectorTy(), in visitVPIntrinsic()
6514 Check(RetTy->getScalarSizeInBits() < ValTy->getScalarSizeInBits(), in visitVPIntrinsic()
6521 Check(RetTy->isIntOrIntVectorTy() && ValTy->isIntOrIntVectorTy(), in visitVPIntrinsic()
6525 Check(RetTy->getScalarSizeInBits() > ValTy->getScalarSizeInBits(), in visitVPIntrinsic()
6534 Check( in visitVPIntrinsic()
6542 Check( in visitVPIntrinsic()
6549 Check(RetTy->isFPOrFPVectorTy() && ValTy->isFPOrFPVectorTy(), in visitVPIntrinsic()
6553 Check(RetTy->getScalarSizeInBits() < ValTy->getScalarSizeInBits(), in visitVPIntrinsic()
6559 Check(RetTy->isFPOrFPVectorTy() && ValTy->isFPOrFPVectorTy(), in visitVPIntrinsic()
6563 Check(RetTy->getScalarSizeInBits() > ValTy->getScalarSizeInBits(), in visitVPIntrinsic()
6569 Check(RetTy->isIntOrIntVectorTy() && ValTy->isPtrOrPtrVectorTy(), in visitVPIntrinsic()
6575 Check(RetTy->isPtrOrPtrVectorTy() && ValTy->isIntOrIntVectorTy(), in visitVPIntrinsic()
6584 Check(CmpInst::isFPPredicate(Pred), in visitVPIntrinsic()
6589 Check(CmpInst::isIntPredicate(Pred), in visitVPIntrinsic()
6594 Check((TestMask->getZExtValue() & ~static_cast<unsigned>(fcAllFlags)) == 0, in visitVPIntrinsic()
6610 Check((FPI.arg_size() == NumOperands), in visitConstrainedFPIntrinsic()
6618 Check(!ValTy->isVectorTy() && !ResultTy->isVectorTy(), in visitConstrainedFPIntrinsic()
6627 Check(!ValTy->isVectorTy() && !ResultTy->isVectorTy(), in visitConstrainedFPIntrinsic()
6635 Check(CmpInst::isFPPredicate(Pred), in visitConstrainedFPIntrinsic()
6644 Check(Operand->getType()->isFPOrFPVectorTy(), in visitConstrainedFPIntrinsic()
6651 Check(SrcEC.isNonZero() == Operand->getType()->isVectorTy(), in visitConstrainedFPIntrinsic()
6653 Check(Operand->getType()->isIntOrIntVectorTy(), in visitConstrainedFPIntrinsic()
6656 Check(SrcEC == cast<VectorType>(OperandT)->getElementCount(), in visitConstrainedFPIntrinsic()
6667 Check(Operand->getType()->isIntOrIntVectorTy(), in visitConstrainedFPIntrinsic()
6674 Check(SrcEC.isNonZero() == Operand->getType()->isVectorTy(), in visitConstrainedFPIntrinsic()
6676 Check(Operand->getType()->isFPOrFPVectorTy(), in visitConstrainedFPIntrinsic()
6679 Check(SrcEC == cast<VectorType>(OperandT)->getElementCount(), in visitConstrainedFPIntrinsic()
6692 Check(OperandTy->isFPOrFPVectorTy(), in visitConstrainedFPIntrinsic()
6694 Check(ResultTy->isFPOrFPVectorTy(), in visitConstrainedFPIntrinsic()
6696 Check(OperandTy->isVectorTy() == ResultTy->isVectorTy(), in visitConstrainedFPIntrinsic()
6699 Check(cast<VectorType>(OperandTy)->getElementCount() == in visitConstrainedFPIntrinsic()
6705 Check(OperandTy->getScalarSizeInBits() > ResultTy->getScalarSizeInBits(), in visitConstrainedFPIntrinsic()
6709 Check(OperandTy->getScalarSizeInBits() < ResultTy->getScalarSizeInBits(), in visitConstrainedFPIntrinsic()
6725 Check(FPI.getExceptionBehavior().has_value(), in visitConstrainedFPIntrinsic()
6728 Check(FPI.getRoundingMode().has_value(), "invalid rounding mode argument", in visitConstrainedFPIntrinsic()
6811 Check(Loc, "llvm.dbg." + Kind + " intrinsic requires a !dbg attachment", &DLI, in visitDbgLabelIntrinsic()
7017 Check(First->getCallingConv() == F->getCallingConv(), in verifyDeoptimizeCallingConvs()
7028 Check((FTy->getReturnType()->isPointerTy() || in verifyAttachedCallBundle()
7035 Check(BU.Inputs.size() == 1 && isa<Function>(BU.Inputs.front()), in verifyAttachedCallBundle()
7044 Check((IID == Intrinsic::objc_retainAutoreleasedReturnValue || in verifyAttachedCallBundle()
7049 Check((FnName == "objc_retainAutoreleasedReturnValue" || in verifyAttachedCallBundle()
7065 Check(ScopeListMV != nullptr, in verifyNoAliasScopeDecl()
7071 Check(ScopeListMD != nullptr, "!id.scope.list must point to an MDNode", II); in verifyNoAliasScopeDecl()
7072 Check(ScopeListMD->getNumOperands() == 1, in verifyNoAliasScopeDecl()
7116 Check(!DT.dominates(I, J), in verifyNoAliasScopeDecl()