Lines Matching refs:Assert
582 #define Assert(C, ...) \ macro
592 Assert(I.getOperand(i) != nullptr, "Operand is null", &I); in visit()
610 Assert(!GV.isDeclaration() || GV.hasValidDeclarationLinkage(), in visitGlobalValue()
614 Assert(GO->getAlignment() <= Value::MaximumAlignment, in visitGlobalValue()
616 Assert(!GV.hasAppendingLinkage() || isa<GlobalVariable>(GV), in visitGlobalValue()
621 Assert(GVar && GVar->getValueType()->isArrayTy(), in visitGlobalValue()
626 Assert(!GV.hasComdat(), "Declaration may not be in a Comdat!", &GV); in visitGlobalValue()
629 Assert(!GV.isDSOLocal(), in visitGlobalValue()
632 Assert((GV.isDeclaration() && in visitGlobalValue()
639 Assert(GV.isDSOLocal(), in visitGlobalValue()
666 Assert(GV.getInitializer()->getType() == GV.getValueType(), in visitGlobalVariable()
673 Assert(GV.getInitializer()->isNullValue(), in visitGlobalVariable()
675 Assert(!GV.isConstant(), "'common' global may not be marked constant!", in visitGlobalVariable()
677 Assert(!GV.hasComdat(), "'common' global may not be in a Comdat!", &GV); in visitGlobalVariable()
683 Assert(!GV.hasInitializer() || GV.hasAppendingLinkage(), in visitGlobalVariable()
692 Assert(STy && in visitGlobalVariable()
697 Assert(STy->getNumElements() == 3, in visitGlobalVariable()
702 Assert(ETy->isPointerTy() && in visitGlobalVariable()
710 Assert(!GV.hasInitializer() || GV.hasAppendingLinkage(), in visitGlobalVariable()
715 Assert(PTy, "wrong type for intrinsic global variable", &GV); in visitGlobalVariable()
719 Assert(InitArray, "wrong initalizer for intrinsic global variable", in visitGlobalVariable()
723 Assert(isa<GlobalVariable>(V) || isa<Function>(V) || in visitGlobalVariable()
726 Assert(V->hasName(), "members of llvm.used must be named", V); in visitGlobalVariable()
747 Assert(!isa<ScalableVectorType>(GV.getValueType()), in visitGlobalVariable()
751 Assert(!STy->containsScalableVectorType(), in visitGlobalVariable()
774 Assert(!GV->isDeclarationForLinker(), "Alias must point to a definition", in visitAliaseeSubExpr()
778 Assert(Visited.insert(GA2).second, "Aliases cannot form a cycle", &GA); in visitAliaseeSubExpr()
780 Assert(!GA2->isInterposable(), "Alias cannot point to an interposable alias", in visitAliaseeSubExpr()
802 Assert(GlobalAlias::isValidLinkage(GA.getLinkage()), in visitGlobalAlias()
807 Assert(Aliasee, "Aliasee cannot be NULL!", &GA); in visitGlobalAlias()
808 Assert(GA.getType() == Aliasee->getType(), in visitGlobalAlias()
811 Assert(isa<GlobalValue>(Aliasee) || isa<ConstantExpr>(Aliasee), in visitGlobalAlias()
843 Assert(&MD.getContext() == &Context, in visitMDNode()
861 Assert(!isa<LocalAsMetadata>(Op), "Invalid operand for global metadata!", in visitMDNode()
876 Assert(!MD.isTemporary(), "Expected no forward declarations!", &MD); in visitMDNode()
877 Assert(MD.isResolved(), "All nodes should be resolved!", &MD); in visitMDNode()
881 Assert(MD.getValue(), "Expected valid value", &MD); in visitValueAsMetadata()
882 Assert(!MD.getValue()->getType()->isMetadataTy(), in visitValueAsMetadata()
889 Assert(F, "function-local metadata used outside a function", L); in visitValueAsMetadata()
895 Assert(I->getParent(), "function-local metadata not in basic block", L, I); in visitValueAsMetadata()
903 Assert(ActualF == F, "function-local metadata used in wrong function", L); in visitValueAsMetadata()
1469 Assert(!GV->hasPrivateLinkage(), in visitComdat()
1481 Assert(N->getNumOperands() == 1, in visitModuleIdents()
1483 Assert(dyn_cast_or_null<MDString>(N->getOperand(0)), in visitModuleIdents()
1499 Assert(N->getNumOperands() == 1, in visitModuleCommandLines()
1501 Assert(dyn_cast_or_null<MDString>(N->getOperand(0)), in visitModuleCommandLines()
1545 Assert(Op->getNumOperands() == 3, in visitModuleFlag()
1549 Assert( in visitModuleFlag()
1553 Assert(false, in visitModuleFlag()
1558 Assert(ID, "invalid ID operand in module flag (expected metadata string)", in visitModuleFlag()
1570 Assert(mdconst::dyn_extract_or_null<ConstantInt>(Op->getOperand(2)), in visitModuleFlag()
1580 Assert(Value && Value->getNumOperands() == 2, in visitModuleFlag()
1583 Assert(isa<MDString>(Value->getOperand(0)), in visitModuleFlag()
1597 Assert(isa<MDNode>(Op->getOperand(2)), in visitModuleFlag()
1608 Assert(Inserted, in visitModuleFlag()
1615 Assert(Value, "wchar_size metadata requires constant integer argument"); in visitModuleFlag()
1622 Assert(M.getNamedMetadata("llvm.linker.options"), in visitModuleFlag()
1629 Assert(Value, in visitModuleFlag()
1644 Assert(F && isa<Function>(F->getValue()->stripPointerCasts()), in visitModuleFlagCGProfileEntry()
1648 Assert(Node && Node->getNumOperands() == 3, "expected a MDNode triple", MDO); in visitModuleFlagCGProfileEntry()
1652 Assert(Count && Count->getType()->isIntegerTy(), in visitModuleFlagCGProfileEntry()
1692 Assert(Attr.isStringAttribute() || in verifyParameterAttrs()
1699 Assert(Attrs.getNumAttributes() == 1, in verifyParameterAttrs()
1713 Assert(AttrCount <= 1, in verifyParameterAttrs()
1718 Assert(!(Attrs.hasAttribute(Attribute::InAlloca) && in verifyParameterAttrs()
1724 Assert(!(Attrs.hasAttribute(Attribute::StructRet) && in verifyParameterAttrs()
1730 Assert(!(Attrs.hasAttribute(Attribute::ZExt) && in verifyParameterAttrs()
1736 Assert(!(Attrs.hasAttribute(Attribute::ReadNone) && in verifyParameterAttrs()
1742 Assert(!(Attrs.hasAttribute(Attribute::ReadNone) && in verifyParameterAttrs()
1748 Assert(!(Attrs.hasAttribute(Attribute::ReadOnly) && in verifyParameterAttrs()
1754 Assert(!(Attrs.hasAttribute(Attribute::NoInline) && in verifyParameterAttrs()
1773 Assert(Attrs.getByValType()->isSized(&Visited), in verifyParameterAttrs()
1778 Assert(Attrs.getByRefType()->isSized(&Visited), in verifyParameterAttrs()
1783 Assert(Attrs.getInAllocaType()->isSized(&Visited), in verifyParameterAttrs()
1788 Assert(Attrs.getPreallocatedType()->isSized(&Visited), in verifyParameterAttrs()
1793 Assert(!Attrs.hasAttribute(Attribute::SwiftError), in verifyParameterAttrs()
1798 Assert(Attrs.getByRefType() == PTy->getElementType(), in verifyParameterAttrs()
1803 Assert(Attrs.getByValType() == PTy->getElementType(), in verifyParameterAttrs()
1808 Assert(Attrs.getPreallocatedType() == PTy->getElementType(), in verifyParameterAttrs()
1813 Assert(Attrs.getInAllocaType() == PTy->getElementType(), in verifyParameterAttrs()
1818 Assert(Attrs.getElementType() == PTy->getElementType(), in verifyParameterAttrs()
1844 Assert(Attrs.hasParentContext(Context), in verifyFunctionAttrs()
1847 Assert(!AttrSet.hasAttributes() || AttrSet.hasParentContext(Context), in verifyFunctionAttrs()
1850 Assert(A.hasParentContext(Context), in verifyFunctionAttrs()
1866 Assert(RetAttr.isStringAttribute() || in verifyFunctionAttrs()
1880 Assert(!ArgAttrs.hasAttribute(Attribute::ImmArg), in verifyFunctionAttrs()
1882 Assert(!ArgAttrs.hasAttribute(Attribute::ElementType), in verifyFunctionAttrs()
1889 Assert(!SawNest, "More than one parameter has attribute nest!", V); in verifyFunctionAttrs()
1894 Assert(!SawReturned, "More than one parameter has attribute returned!", in verifyFunctionAttrs()
1896 Assert(Ty->canLosslesslyBitCastTo(FT->getReturnType()), in verifyFunctionAttrs()
1903 Assert(!SawSRet, "Cannot have multiple 'sret' parameters!", V); in verifyFunctionAttrs()
1904 Assert(i == 0 || i == 1, in verifyFunctionAttrs()
1910 Assert(!SawSwiftSelf, "Cannot have multiple 'swiftself' parameters!", V); in verifyFunctionAttrs()
1915 Assert(!SawSwiftAsync, "Cannot have multiple 'swiftasync' parameters!", V); in verifyFunctionAttrs()
1920 Assert(!SawSwiftError, "Cannot have multiple 'swifterror' parameters!", in verifyFunctionAttrs()
1926 Assert(i == FT->getNumParams() - 1, in verifyFunctionAttrs()
1936 Assert(FnAttr.isStringAttribute() || in verifyFunctionAttrs()
1942 Assert(!(Attrs.hasFnAttribute(Attribute::ReadNone) && in verifyFunctionAttrs()
1946 Assert(!(Attrs.hasFnAttribute(Attribute::ReadNone) && in verifyFunctionAttrs()
1950 Assert(!(Attrs.hasFnAttribute(Attribute::ReadOnly) && in verifyFunctionAttrs()
1954 Assert(!(Attrs.hasFnAttribute(Attribute::ReadNone) && in verifyFunctionAttrs()
1960 Assert(!(Attrs.hasFnAttribute(Attribute::ReadNone) && in verifyFunctionAttrs()
1964 Assert(!(Attrs.hasFnAttribute(Attribute::NoInline) && in verifyFunctionAttrs()
1969 Assert(Attrs.hasFnAttribute(Attribute::NoInline), in verifyFunctionAttrs()
1972 Assert(!Attrs.hasFnAttribute(Attribute::OptimizeForSize), in verifyFunctionAttrs()
1975 Assert(!Attrs.hasFnAttribute(Attribute::MinSize), in verifyFunctionAttrs()
1981 Assert(GV->hasGlobalUnnamedAddr(), in verifyFunctionAttrs()
2037 Assert(MD->getNumOperands() >= 2, in verifyFunctionMetadata()
2041 Assert(MD->getOperand(0) != nullptr, "first operand should not be null", in verifyFunctionMetadata()
2043 Assert(isa<MDString>(MD->getOperand(0)), in verifyFunctionMetadata()
2047 Assert(ProfName.equals("function_entry_count") || in verifyFunctionMetadata()
2054 Assert(MD->getOperand(1) != nullptr, "second operand should not be null", in verifyFunctionMetadata()
2056 Assert(isa<ConstantAsMetadata>(MD->getOperand(1)), in verifyFunctionMetadata()
2079 Assert(GV->getParent() == &M, "Referencing global in another module!", in visitConstantExprsRecursively()
2098 Assert(CastInst::castIsValid(Instruction::BitCast, CE->getOperand(0), in visitConstantExpr()
2115 Assert(!Call.doesNotAccessMemory() && !Call.onlyReadsMemory() && in verifyStatepoint()
2124 Assert(NumPatchBytes >= 0, in verifyStatepoint()
2131 Assert(PT && PT->getElementType()->isFunctionTy(), in verifyStatepoint()
2136 Assert(NumCallArgs >= 0, in verifyStatepoint()
2142 Assert(NumCallArgs >= NumParams, in verifyStatepoint()
2146 Assert(TargetFuncType->getReturnType()->isVoidTy(), in verifyStatepoint()
2151 Assert(NumCallArgs == NumParams, in verifyStatepoint()
2156 Assert((Flags & ~(uint64_t)StatepointFlags::MaskAll) == 0, in verifyStatepoint()
2165 Assert(ArgType == ParamType, in verifyStatepoint()
2172 Assert(!ArgAttrs.hasAttribute(Attribute::StructRet), in verifyStatepoint()
2181 Assert(isa<ConstantInt>(NumTransitionArgsV), in verifyStatepoint()
2187 Assert(NumTransitionArgs == 0, in verifyStatepoint()
2192 Assert(isa<ConstantInt>(NumDeoptArgsV), in verifyStatepoint()
2197 Assert(NumDeoptArgs == 0, in verifyStatepoint()
2201 Assert(ExpectedNumArgs == (int)Call.arg_size(), in verifyStatepoint()
2209 Assert(UserCall, "illegal use of statepoint token", Call, U); in verifyStatepoint()
2212 Assert(isa<GCRelocateInst>(UserCall) || isa<GCResultInst>(UserCall), in verifyStatepoint()
2217 Assert(UserCall->getArgOperand(0) == &Call, in verifyStatepoint()
2220 Assert(UserCall->getArgOperand(0) == &Call, in verifyStatepoint()
2240 Assert(MaxRecoveredIndex <= EscapedObjectCount, in verifyFrameRecoverIndices()
2281 Assert(false, "EH pads can't handle each other's exceptions", in verifySiblingFuncletUnwinds()
2310 Assert(&Context == &F.getContext(), in visitFunction()
2313 Assert(!F.hasCommonLinkage(), "Functions may not have common linkage", &F); in visitFunction()
2314 Assert(FT->getNumParams() == NumArgs, in visitFunction()
2317 Assert(F.getReturnType()->isFirstClassType() || in visitFunction()
2321 Assert(!F.hasStructRetAttr() || F.getReturnType()->isVoidTy(), in visitFunction()
2326 Assert(verifyAttributeCount(Attrs, FT->getNumParams()), in visitFunction()
2337 Assert(!Attrs.hasFnAttribute(Attribute::Builtin), in visitFunction()
2340 Assert(!Attrs.hasAttrSomewhere(Attribute::ElementType), in visitFunction()
2351 Assert(F.arg_empty() || Attrs.hasParamAttribute(0, Attribute::ByVal), in visitFunction()
2357 Assert(F.getReturnType()->isVoidTy(), in visitFunction()
2365 Assert(!F.hasStructRetAttr(), in visitFunction()
2371 Assert(!Attrs.hasParamAttribute(i, Attribute::ByVal), in visitFunction()
2373 Assert(!Attrs.hasParamAttribute(i, Attribute::Preallocated), in visitFunction()
2375 Assert(!Attrs.hasParamAttribute(i, Attribute::InAlloca), in visitFunction()
2381 Assert(Arg.getType()->getPointerAddressSpace() != StackAS, in visitFunction()
2395 Assert(!F.isVarArg(), "Calling convention does not support varargs or " in visitFunction()
2404 Assert(Arg.getType() == FT->getParamType(i), in visitFunction()
2407 Assert(Arg.getType()->isFirstClassType(), in visitFunction()
2410 Assert(!Arg.getType()->isMetadataTy(), in visitFunction()
2412 Assert(!Arg.getType()->isTokenTy(), in visitFunction()
2414 Assert(!Arg.getType()->isX86_AMXTy(), in visitFunction()
2426 Assert(!F.getReturnType()->isTokenTy(), in visitFunction()
2428 Assert(!F.getReturnType()->isX86_AMXTy(), in visitFunction()
2442 Assert(Per->getParent() == F.getParent(), in visitFunction()
2449 Assert(MDs.empty(), "unmaterialized function cannot have metadata", &F, in visitFunction()
2458 Assert(I.first != LLVMContext::MD_prof, in visitFunction()
2464 Assert(!F.hasPersonalityFn(), in visitFunction()
2469 Assert(!IsIntrinsic, "llvm intrinsics cannot be defined!", &F); in visitFunction()
2473 Assert(pred_empty(Entry), in visitFunction()
2478 Assert(!BlockAddress::lookup(Entry)->isConstantUsed(), in visitFunction()
2510 Assert(NumProfAttachments == 1, in visitFunction()
2527 Assert(false, "Invalid user of intrinsic instruction!", U); in visitFunction()
2534 Assert(FT->getNumParams() == 1, "wrong number of parameters", F); in visitFunction()
2535 Assert(isa<PointerType>(F.getReturnType()), in visitFunction()
2537 Assert(FT->getParamType(0) == F.getReturnType(), in visitFunction()
2544 Assert(FT->getNumParams() == 1, "wrong number of parameters", F); in visitFunction()
2545 Assert(isa<PointerType>(FT->getParamType(0)), in visitFunction()
2547 Assert(F.getReturnType()->isIntegerTy(), in visitFunction()
2578 Assert(Scope, "Failed to find DILocalScope", DL); in visitFunction()
2612 Assert(BB.getTerminator(), "Basic Block does not have terminator!", &BB); in visitBasicBlock()
2621 Assert(PN.getNumIncomingValues() == Preds.size(), in visitBasicBlock()
2639 Assert(i == 0 || Values[i].first != Values[i - 1].first || in visitBasicBlock()
2647 Assert(Values[i].first == Preds[i], in visitBasicBlock()
2657 Assert(I.getParent() == &BB, "Instruction has bogus parent pointer!"); in visitBasicBlock()
2663 Assert(&I == I.getParent()->getTerminator(), in visitTerminator()
2670 Assert(BI.getCondition()->getType()->isIntegerTy(1), in visitBranchInst()
2680 Assert(N == 0, in visitReturnInst()
2685 Assert(N == 1 && F->getReturnType() == RI.getOperand(0)->getType(), in visitReturnInst()
2701 Assert(Case.getCaseValue()->getType() == SwitchTy, in visitSwitchInst()
2703 Assert(Constants.insert(Case.getCaseValue()).second, in visitSwitchInst()
2711 Assert(BI.getAddress()->getType()->isPointerTy(), in visitIndirectBrInst()
2714 Assert(BI.getDestination(i)->getType()->isLabelTy(), in visitIndirectBrInst()
2721 Assert(CBI.isInlineAsm(), "Callbr is currently only used for asm-goto!", in visitCallBrInst()
2724 Assert(!IA->canThrow(), "Unwinding from Callbr is not allowed"); in visitCallBrInst()
2726 Assert(CBI.getSuccessor(i)->getType()->isLabelTy(), in visitCallBrInst()
2729 Assert(i >= CBI.getNumArgOperands() || !isa<BasicBlock>(CBI.getOperand(i)), in visitCallBrInst()
2733 Assert(CBI.getOperand(i) != CBI.getOperand(j), in visitCallBrInst()
2742 Assert(ArgBBs.count(BB), "Indirect label missing from arglist.", &CBI); in visitCallBrInst()
2749 Assert(!SelectInst::areInvalidOperands(SI.getOperand(0), SI.getOperand(1), in visitSelectInst()
2753 Assert(SI.getTrueValue()->getType() == SI.getType(), in visitSelectInst()
2762 Assert(false, "User-defined operators should not live outside of a pass!", &I); in visitUserOp1()
2774 Assert(SrcTy->isIntOrIntVectorTy(), "Trunc only operates on integer", &I); in visitTruncInst()
2775 Assert(DestTy->isIntOrIntVectorTy(), "Trunc only produces integer", &I); in visitTruncInst()
2776 Assert(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitTruncInst()
2778 Assert(SrcBitSize > DestBitSize, "DestTy too big for Trunc", &I); in visitTruncInst()
2789 Assert(SrcTy->isIntOrIntVectorTy(), "ZExt only operates on integer", &I); in visitZExtInst()
2790 Assert(DestTy->isIntOrIntVectorTy(), "ZExt only produces an integer", &I); in visitZExtInst()
2791 Assert(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitZExtInst()
2796 Assert(SrcBitSize < DestBitSize, "Type too small for ZExt", &I); in visitZExtInst()
2810 Assert(SrcTy->isIntOrIntVectorTy(), "SExt only operates on integer", &I); in visitSExtInst()
2811 Assert(DestTy->isIntOrIntVectorTy(), "SExt only produces an integer", &I); in visitSExtInst()
2812 Assert(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitSExtInst()
2814 Assert(SrcBitSize < DestBitSize, "Type too small for SExt", &I); in visitSExtInst()
2827 Assert(SrcTy->isFPOrFPVectorTy(), "FPTrunc only operates on FP", &I); in visitFPTruncInst()
2828 Assert(DestTy->isFPOrFPVectorTy(), "FPTrunc only produces an FP", &I); in visitFPTruncInst()
2829 Assert(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitFPTruncInst()
2831 Assert(SrcBitSize > DestBitSize, "DestTy too big for FPTrunc", &I); in visitFPTruncInst()
2845 Assert(SrcTy->isFPOrFPVectorTy(), "FPExt only operates on FP", &I); in visitFPExtInst()
2846 Assert(DestTy->isFPOrFPVectorTy(), "FPExt only produces an FP", &I); in visitFPExtInst()
2847 Assert(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitFPExtInst()
2849 Assert(SrcBitSize < DestBitSize, "DestTy too small for FPExt", &I); in visitFPExtInst()
2862 Assert(SrcVec == DstVec, in visitUIToFPInst()
2864 Assert(SrcTy->isIntOrIntVectorTy(), in visitUIToFPInst()
2866 Assert(DestTy->isFPOrFPVectorTy(), "UIToFP result must be FP or FP vector", in visitUIToFPInst()
2870 Assert(cast<VectorType>(SrcTy)->getElementCount() == in visitUIToFPInst()
2885 Assert(SrcVec == DstVec, in visitSIToFPInst()
2887 Assert(SrcTy->isIntOrIntVectorTy(), in visitSIToFPInst()
2889 Assert(DestTy->isFPOrFPVectorTy(), "SIToFP result must be FP or FP vector", in visitSIToFPInst()
2893 Assert(cast<VectorType>(SrcTy)->getElementCount() == in visitSIToFPInst()
2908 Assert(SrcVec == DstVec, in visitFPToUIInst()
2910 Assert(SrcTy->isFPOrFPVectorTy(), "FPToUI source must be FP or FP vector", in visitFPToUIInst()
2912 Assert(DestTy->isIntOrIntVectorTy(), in visitFPToUIInst()
2916 Assert(cast<VectorType>(SrcTy)->getElementCount() == in visitFPToUIInst()
2931 Assert(SrcVec == DstVec, in visitFPToSIInst()
2933 Assert(SrcTy->isFPOrFPVectorTy(), "FPToSI source must be FP or FP vector", in visitFPToSIInst()
2935 Assert(DestTy->isIntOrIntVectorTy(), in visitFPToSIInst()
2939 Assert(cast<VectorType>(SrcTy)->getElementCount() == in visitFPToSIInst()
2951 Assert(SrcTy->isPtrOrPtrVectorTy(), "PtrToInt source must be pointer", &I); in visitPtrToIntInst()
2953 Assert(DestTy->isIntOrIntVectorTy(), "PtrToInt result must be integral", &I); in visitPtrToIntInst()
2954 Assert(SrcTy->isVectorTy() == DestTy->isVectorTy(), "PtrToInt type mismatch", in visitPtrToIntInst()
2960 Assert(VSrc->getElementCount() == VDest->getElementCount(), in visitPtrToIntInst()
2972 Assert(SrcTy->isIntOrIntVectorTy(), in visitIntToPtrInst()
2974 Assert(DestTy->isPtrOrPtrVectorTy(), "IntToPtr result must be a pointer", &I); in visitIntToPtrInst()
2976 Assert(SrcTy->isVectorTy() == DestTy->isVectorTy(), "IntToPtr type mismatch", in visitIntToPtrInst()
2981 Assert(VSrc->getElementCount() == VDest->getElementCount(), in visitIntToPtrInst()
2988 Assert( in visitBitCastInst()
2998 Assert(SrcTy->isPtrOrPtrVectorTy(), "AddrSpaceCast source must be a pointer", in visitAddrSpaceCastInst()
3000 Assert(DestTy->isPtrOrPtrVectorTy(), "AddrSpaceCast result must be a pointer", in visitAddrSpaceCastInst()
3002 Assert(SrcTy->getPointerAddressSpace() != DestTy->getPointerAddressSpace(), in visitAddrSpaceCastInst()
3005 Assert(SrcVTy->getElementCount() == in visitAddrSpaceCastInst()
3018 Assert(&PN == &PN.getParent()->front() || in visitPHINode()
3023 Assert(!PN.getType()->isTokenTy(), "PHI nodes cannot have token type!"); in visitPHINode()
3028 Assert(PN.getType() == IncValue->getType(), in visitPHINode()
3038 Assert(Call.getCalledOperand()->getType()->isPointerTy(), in visitCallBase()
3042 Assert(FPTy->isOpaqueOrPointeeTypeMatches(Call.getFunctionType()), in visitCallBase()
3049 Assert(Call.arg_size() >= FTy->getNumParams(), in visitCallBase()
3053 Assert(Call.arg_size() == FTy->getNumParams(), in visitCallBase()
3058 Assert(Call.getArgOperand(i)->getType() == FTy->getParamType(i), in visitCallBase()
3064 Assert(verifyAttributeCount(Attrs, Call.arg_size()), in visitCallBase()
3071 Assert(Callee->getValueType() == FTy, in visitCallBase()
3077 Assert(Callee && Callee->isSpeculatable(), in visitCallBase()
3082 Assert(Call.getCalledFunction()->getIntrinsicID() == in visitCallBase()
3097 Assert(AI->isUsedWithInAlloca(), in visitCallBase()
3108 Assert(AI->isSwiftError(), in visitCallBase()
3113 Assert(ArgI, in visitCallBase()
3116 Assert(ArgI->hasSwiftErrorAttr(), in visitCallBase()
3124 Assert(Callee && Callee->hasParamAttribute(i, Attribute::ImmArg), in visitCallBase()
3131 Assert(isa<ConstantInt>(ArgVal) || isa<ConstantFP>(ArgVal), in visitCallBase()
3140 Assert(hasOB != isMustTail, in visitCallBase()
3166 Assert(!SawNest, "More than one parameter has attribute nest!", Call); in visitCallBase()
3171 Assert(!SawReturned, "More than one parameter has attribute returned!", in visitCallBase()
3173 Assert(Ty->canLosslesslyBitCastTo(FTy->getReturnType()), in visitCallBase()
3185 Assert(!ArgAttrs.hasAttribute(Attribute::StructRet), in visitCallBase()
3190 Assert(Idx == Call.arg_size() - 1, in visitCallBase()
3198 Assert(!ParamTy->isMetadataTy(), in visitCallBase()
3200 Assert(!ParamTy->isTokenTy(), in visitCallBase()
3207 Assert(!FTy->getReturnType()->isTokenTy(), in visitCallBase()
3209 Assert(!FTy->getReturnType()->isX86_AMXTy(), in visitCallBase()
3228 Assert(!FoundDeoptBundle, "Multiple deopt operand bundles", Call); in visitCallBase()
3231 Assert(!FoundGCTransitionBundle, "Multiple gc-transition operand bundles", in visitCallBase()
3235 Assert(!FoundFuncletBundle, "Multiple funclet operand bundles", Call); in visitCallBase()
3237 Assert(BU.Inputs.size() == 1, in visitCallBase()
3239 Assert(isa<FuncletPadInst>(BU.Inputs.front()), in visitCallBase()
3243 Assert(!FoundCFGuardTargetBundle, in visitCallBase()
3246 Assert(BU.Inputs.size() == 1, in visitCallBase()
3249 Assert(!FoundPreallocatedBundle, "Multiple preallocated operand bundles", in visitCallBase()
3252 Assert(BU.Inputs.size() == 1, in visitCallBase()
3255 Assert(Input && in visitCallBase()
3261 Assert(!FoundGCLiveBundle, "Multiple gc-live operand bundles", in visitCallBase()
3265 Assert(!FoundAttachedCallBundle, in visitCallBase()
3272 Assert((FTy->getReturnType()->isPointerTy() || in visitCallBase()
3294 Assert(!Attrs.contains(Attribute::InAlloca), in verifyTailCCMustTailAttrs()
3296 Assert(!Attrs.contains(Attribute::InReg), in verifyTailCCMustTailAttrs()
3298 Assert(!Attrs.contains(Attribute::SwiftError), in verifyTailCCMustTailAttrs()
3300 Assert(!Attrs.contains(Attribute::Preallocated), in verifyTailCCMustTailAttrs()
3302 Assert(!Attrs.contains(Attribute::ByRef), in verifyTailCCMustTailAttrs()
3340 Assert(!CI.isInlineAsm(), "cannot use musttail call with inline asm", &CI); in verifyMustTailCall()
3345 Assert(CallerTy->isVarArg() == CalleeTy->isVarArg(), in verifyMustTailCall()
3347 Assert(isTypeCongruent(CallerTy->getReturnType(), CalleeTy->getReturnType()), in verifyMustTailCall()
3351 Assert(F->getCallingConv() == CI.getCallingConv(), in verifyMustTailCall()
3363 Assert(BI->getOperand(0) == RetVal, in verifyMustTailCall()
3371 Assert(Ret, "musttail call must precede a ret with an optional bitcast", in verifyMustTailCall()
3373 Assert(!Ret->getReturnValue() || Ret->getReturnValue() == RetVal || in verifyMustTailCall()
3397 Assert(!CallerTy->isVarArg(), Twine("cannot guarantee ") + CCName + in verifyMustTailCall()
3406 Assert(CallerTy->getNumParams() == CalleeTy->getNumParams(), in verifyMustTailCall()
3410 Assert( in verifyMustTailCall()
3421 Assert(CallerABIAttrs == CalleeABIAttrs, in verifyMustTailCall()
3440 Assert( in visitInvokeInst()
3451 Assert(U.getType() == U.getOperand(0)->getType(), in visitUnaryOperator()
3460 Assert(U.getType()->isFPOrFPVectorTy(), in visitUnaryOperator()
3474 Assert(B.getOperand(0)->getType() == B.getOperand(1)->getType(), in visitBinaryOperator()
3487 Assert(B.getType()->isIntOrIntVectorTy(), in visitBinaryOperator()
3489 Assert(B.getType() == B.getOperand(0)->getType(), in visitBinaryOperator()
3501 Assert(B.getType()->isFPOrFPVectorTy(), in visitBinaryOperator()
3505 Assert(B.getType() == B.getOperand(0)->getType(), in visitBinaryOperator()
3514 Assert(B.getType()->isIntOrIntVectorTy(), in visitBinaryOperator()
3516 Assert(B.getType() == B.getOperand(0)->getType(), in visitBinaryOperator()
3523 Assert(B.getType()->isIntOrIntVectorTy(), in visitBinaryOperator()
3525 Assert(B.getType() == B.getOperand(0)->getType(), in visitBinaryOperator()
3539 Assert(Op0Ty == Op1Ty, in visitICmpInst()
3542 Assert(Op0Ty->isIntOrIntVectorTy() || Op0Ty->isPtrOrPtrVectorTy(), in visitICmpInst()
3545 Assert(IC.isIntPredicate(), in visitICmpInst()
3555 Assert(Op0Ty == Op1Ty, in visitFCmpInst()
3558 Assert(Op0Ty->isFPOrFPVectorTy(), in visitFCmpInst()
3561 Assert(FC.isFPPredicate(), in visitFCmpInst()
3568 Assert( in visitExtractElementInst()
3575 Assert(InsertElementInst::isValidOperands(IE.getOperand(0), IE.getOperand(1), in visitInsertElementInst()
3582 Assert(ShuffleVectorInst::isValidOperands(SV.getOperand(0), SV.getOperand(1), in visitShuffleVectorInst()
3591 Assert(isa<PointerType>(TargetTy), in visitGetElementPtrInst()
3593 Assert(GEP.getSourceElementType()->isSized(), "GEP into unsized type!", &GEP); in visitGetElementPtrInst()
3596 Assert(all_of( in visitGetElementPtrInst()
3601 Assert(ElTy, "Invalid indices for GEP pointer type!", &GEP); in visitGetElementPtrInst()
3603 Assert(GEP.getType()->isPtrOrPtrVectorTy() && in visitGetElementPtrInst()
3611 Assert( in visitGetElementPtrInst()
3619 Assert(IndexWidth == GEPWidth, "Invalid GEP index vector width", &GEP); in visitGetElementPtrInst()
3621 Assert(IndexTy->isIntOrIntVectorTy(), in visitGetElementPtrInst()
3627 Assert(GEP.getAddressSpace() == PTy->getAddressSpace(), in visitGetElementPtrInst()
3643 Assert(NumOperands % 2 == 0, "Unfinished range!", Range); in visitRangeMetadata()
3645 Assert(NumRanges >= 1, "It should have at least one range!", Range); in visitRangeMetadata()
3651 Assert(Low, "The lower limit must be an integer!", Low); in visitRangeMetadata()
3654 Assert(High, "The upper limit must be an integer!", High); in visitRangeMetadata()
3655 Assert(High->getType() == Low->getType() && High->getType() == Ty, in visitRangeMetadata()
3661 Assert(!CurRange.isEmptySet() && !CurRange.isFullSet(), in visitRangeMetadata()
3664 Assert(CurRange.intersectWith(LastRange).isEmptySet(), in visitRangeMetadata()
3666 Assert(LowV.sgt(LastRange.getLower()), "Intervals are not in order", in visitRangeMetadata()
3668 Assert(!isContiguous(CurRange, LastRange), "Intervals are contiguous", in visitRangeMetadata()
3679 Assert(FirstRange.intersectWith(LastRange).isEmptySet(), in visitRangeMetadata()
3681 Assert(!isContiguous(FirstRange, LastRange), "Intervals are contiguous", in visitRangeMetadata()
3688 Assert(Size >= 8, "atomic memory access' size must be byte-sized", Ty, I); in checkAtomicMemAccessSize()
3689 Assert(!(Size & (Size - 1)), in checkAtomicMemAccessSize()
3695 Assert(PTy, "Load operand must be a pointer.", &LI); in visitLoadInst()
3697 Assert(LI.getAlignment() <= Value::MaximumAlignment, in visitLoadInst()
3699 Assert(ElTy->isSized(), "loading unsized types is not allowed", &LI); in visitLoadInst()
3701 Assert(LI.getOrdering() != AtomicOrdering::Release && in visitLoadInst()
3704 Assert(LI.getAlignment() != 0, in visitLoadInst()
3706 Assert(ElTy->isIntOrPtrTy() || ElTy->isFloatingPointTy(), in visitLoadInst()
3712 Assert(LI.getSyncScopeID() == SyncScope::System, in visitLoadInst()
3721 Assert(PTy, "Store operand must be a pointer.", &SI); in visitStoreInst()
3723 Assert(PTy->isOpaqueOrPointeeTypeMatches(ElTy), in visitStoreInst()
3725 Assert(SI.getAlignment() <= Value::MaximumAlignment, in visitStoreInst()
3727 Assert(ElTy->isSized(), "storing unsized types is not allowed", &SI); in visitStoreInst()
3729 Assert(SI.getOrdering() != AtomicOrdering::Acquire && in visitStoreInst()
3732 Assert(SI.getAlignment() != 0, in visitStoreInst()
3734 Assert(ElTy->isIntOrPtrTy() || ElTy->isFloatingPointTy(), in visitStoreInst()
3740 Assert(SI.getSyncScopeID() == SyncScope::System, in visitStoreInst()
3751 Assert(Call.paramHasAttr(I.index(), Attribute::SwiftError), in verifySwiftErrorCall()
3763 Assert(isa<LoadInst>(U) || isa<StoreInst>(U) || isa<CallInst>(U) || in verifySwiftErrorValue()
3770 Assert(StoreI->getOperand(1) == SwiftErrorVal, in verifySwiftErrorValue()
3780 Assert(AI.getAllocatedType()->isSized(&Visited), in visitAllocaInst()
3782 Assert(AI.getArraySize()->getType()->isIntegerTy(), in visitAllocaInst()
3784 Assert(AI.getAlignment() <= Value::MaximumAlignment, in visitAllocaInst()
3796 Assert(ElTy->isIntOrPtrTy(), in visitAtomicCmpXchgInst()
3803 Assert(RMWI.getOrdering() != AtomicOrdering::Unordered, in visitAtomicRMWInst()
3808 Assert(ElTy->isIntegerTy() || ElTy->isFloatingPointTy(), "atomicrmw " + in visitAtomicRMWInst()
3813 Assert(ElTy->isFloatingPointTy(), "atomicrmw " + in visitAtomicRMWInst()
3818 Assert(ElTy->isIntegerTy(), "atomicrmw " + in visitAtomicRMWInst()
3824 Assert(AtomicRMWInst::FIRST_BINOP <= Op && Op <= AtomicRMWInst::LAST_BINOP, in visitAtomicRMWInst()
3831 Assert(Ordering == AtomicOrdering::Acquire || in visitFenceInst()
3842 Assert(ExtractValueInst::getIndexedType(EVI.getAggregateOperand()->getType(), in visitExtractValueInst()
3850 Assert(ExtractValueInst::getIndexedType(IVI.getAggregateOperand()->getType(), in visitInsertValueInst()
3871 Assert(BB != &F->getEntryBlock(), "EH pad cannot be in entry block.", &I); in visitEHPadPredecessors()
3879 Assert(II && II->getUnwindDest() == BB && II->getNormalDest() != BB, in visitEHPadPredecessors()
3888 Assert(BB->getUniquePredecessor() == CPI->getCatchSwitch()->getParent(), in visitEHPadPredecessors()
3892 Assert(BB != CPI->getCatchSwitch()->getUnwindDest(), in visitEHPadPredecessors()
3906 Assert(II->getUnwindDest() == BB && II->getNormalDest() != BB, in visitEHPadPredecessors()
3914 Assert(FromPad != ToPadParent, "A cleanupret must exit its cleanup", CRI); in visitEHPadPredecessors()
3918 Assert(false, "EH pad must be jumped to via an unwind edge", ToPad, TI); in visitEHPadPredecessors()
3924 Assert(FromPad != ToPad, in visitEHPadPredecessors()
3930 Assert(!isa<ConstantTokenNone>(FromPad), in visitEHPadPredecessors()
3932 Assert(Seen.insert(FromPad).second, in visitEHPadPredecessors()
3941 Assert(LPI.getNumClauses() > 0 || LPI.isCleanup(), in visitLandingPadInst()
3949 Assert(LandingPadResultTy == LPI.getType(), in visitLandingPadInst()
3955 Assert(F->hasPersonalityFn(), in visitLandingPadInst()
3960 Assert(LPI.getParent()->getLandingPadInst() == &LPI, in visitLandingPadInst()
3967 Assert(isa<PointerType>(Clause->getType()), in visitLandingPadInst()
3970 Assert(LPI.isFilter(i), "Clause is neither catch nor filter!", &LPI); in visitLandingPadInst()
3971 Assert(isa<ConstantArray>(Clause) || isa<ConstantAggregateZero>(Clause), in visitLandingPadInst()
3980 Assert(RI.getFunction()->hasPersonalityFn(), in visitResumeInst()
3986 Assert(LandingPadResultTy == RI.getValue()->getType(), in visitResumeInst()
3998 Assert(F->hasPersonalityFn(), in visitCatchPadInst()
4001 Assert(isa<CatchSwitchInst>(CPI.getParentPad()), in visitCatchPadInst()
4007 Assert(BB->getFirstNonPHI() == &CPI, in visitCatchPadInst()
4015 Assert(isa<CatchPadInst>(CatchReturn.getOperand(0)), in visitCatchReturnInst()
4026 Assert(F->hasPersonalityFn(), in visitCleanupPadInst()
4031 Assert(BB->getFirstNonPHI() == &CPI, in visitCleanupPadInst()
4036 Assert(isa<ConstantTokenNone>(ParentPad) || isa<FuncletPadInst>(ParentPad), in visitCleanupPadInst()
4051 Assert(Seen.insert(CurrentPad).second, in visitFuncletPadInst()
4080 Assert(isa<CatchReturnInst>(U), "Bogus funclet pad use", U); in visitFuncletPadInst()
4130 Assert(UnwindPad == FirstUnwindPad, "Unwind edges out of a funclet " in visitFuncletPadInst()
4192 Assert(SwitchUnwindPad == FirstUnwindPad, in visitFuncletPadInst()
4206 Assert(F->hasPersonalityFn(), in visitCatchSwitchInst()
4212 Assert(BB->getFirstNonPHI() == &CatchSwitch, in visitCatchSwitchInst()
4217 Assert(isa<ConstantTokenNone>(ParentPad) || isa<FuncletPadInst>(ParentPad), in visitCatchSwitchInst()
4222 Assert(I->isEHPad() && !isa<LandingPadInst>(I), in visitCatchSwitchInst()
4232 Assert(CatchSwitch.getNumHandlers() != 0, in visitCatchSwitchInst()
4236 Assert(isa<CatchPadInst>(Handler->getFirstNonPHI()), in visitCatchSwitchInst()
4245 Assert(isa<CleanupPadInst>(CRI.getOperand(0)), in visitCleanupReturnInst()
4251 Assert(I->isEHPad() && !isa<LandingPadInst>(I), in visitCleanupReturnInst()
4281 Assert(DT.dominates(Op, U), in verifyDominatesUse()
4286 Assert(I.getType()->isPointerTy(), "dereferenceable, dereferenceable_or_null " in visitDereferenceableMetadata()
4288 Assert((isa<LoadInst>(I) || isa<IntToPtrInst>(I)), in visitDereferenceableMetadata()
4291 Assert(MD->getNumOperands() == 1, "dereferenceable, dereferenceable_or_null " in visitDereferenceableMetadata()
4294 Assert(CI && CI->getType()->isIntegerTy(64), "dereferenceable, " in visitDereferenceableMetadata()
4299 Assert(MD->getNumOperands() >= 2, in visitProfMetadata()
4303 Assert(MD->getOperand(0) != nullptr, "first operand should not be null", MD); in visitProfMetadata()
4304 Assert(isa<MDString>(MD->getOperand(0)), in visitProfMetadata()
4312 Assert(MD->getNumOperands() == 2 || MD->getNumOperands() == 3, in visitProfMetadata()
4330 Assert(MD->getNumOperands() == 1 + ExpectedNumOperands, in visitProfMetadata()
4335 Assert(MDO, "second operand should not be null", MD); in visitProfMetadata()
4336 Assert(mdconst::dyn_extract<ConstantInt>(MDO), in visitProfMetadata()
4343 Assert(isa<MDTuple>(Annotation), "annotation must be a tuple"); in visitAnnotationMetadata()
4344 Assert(Annotation->getNumOperands() >= 1, in visitAnnotationMetadata()
4347 Assert(isa<MDString>(Op.get()), "operands must be strings"); in visitAnnotationMetadata()
4354 Assert(BB, "Instruction not embedded in basic block!", &I); in visitInstruction()
4358 Assert(U != (User *)&I || !DT.isReachableFromEntry(BB), in visitInstruction()
4364 Assert(!I.getType()->isVoidTy() || !I.hasName(), in visitInstruction()
4369 Assert(I.getType()->isVoidTy() || I.getType()->isFirstClassType(), in visitInstruction()
4374 Assert(!I.getType()->isMetadataTy() || isa<CallInst>(I) || isa<InvokeInst>(I), in visitInstruction()
4382 Assert(Used->getParent() != nullptr, in visitInstruction()
4397 Assert(I.getOperand(i) != nullptr, "Instruction has null operand!", &I); in visitInstruction()
4402 Assert(false, "Instruction operands must be first-class values!", &I); in visitInstruction()
4408 Assert(!F->isIntrinsic() || in visitInstruction()
4411 Assert( in visitInstruction()
4427 Assert(F->getParent() == &M, "Referencing function in another module!", in visitInstruction()
4430 Assert(OpBB->getParent() == BB->getParent(), in visitInstruction()
4433 Assert(OpArg->getParent() == BB->getParent(), in visitInstruction()
4436 Assert(GV->getParent() == &M, "Referencing global in another module!", &I, in visitInstruction()
4441 Assert(CBI && &CBI->getCalledOperandUse() == &I.getOperandUse(i), in visitInstruction()
4453 Assert(I.getType()->isFPOrFPVectorTy(), in visitInstruction()
4455 Assert(MD->getNumOperands() == 1, "fpmath takes one operand!", &I); in visitInstruction()
4459 Assert(&Accuracy.getSemantics() == &APFloat::IEEEsingle(), in visitInstruction()
4461 Assert(Accuracy.isFiniteNonZero() && !Accuracy.isNegative(), in visitInstruction()
4464 Assert(false, "invalid fpmath accuracy!", &I); in visitInstruction()
4469 Assert(isa<LoadInst>(I) || isa<CallInst>(I) || isa<InvokeInst>(I), in visitInstruction()
4475 Assert(I.getType()->isPointerTy(), "nonnull applies only to pointer types", in visitInstruction()
4477 Assert(isa<LoadInst>(I), in visitInstruction()
4493 Assert(I.getType()->isPointerTy(), "align applies only to pointer types", in visitInstruction()
4495 Assert(isa<LoadInst>(I), "align applies only to load instructions, " in visitInstruction()
4497 Assert(AlignMD->getNumOperands() == 1, "align takes one operand!", &I); in visitInstruction()
4499 Assert(CI && CI->getType()->isIntegerTy(64), in visitInstruction()
4502 Assert(isPowerOf2_64(Align), in visitInstruction()
4504 Assert(Align <= Value::MaximumAlignment, in visitInstruction()
4541 Assert(IF->isDeclaration(), "Intrinsic functions should never be defined!", in visitIntrinsicCall()
4557 Assert(Res != Intrinsic::MatchIntrinsicTypes_NoMatchRet, in visitIntrinsicCall()
4559 Assert(Res != Intrinsic::MatchIntrinsicTypes_NoMatchArg, in visitIntrinsicCall()
4564 Assert(!Intrinsic::matchIntrinsicVarArg(IsVarArg, TableRef), in visitIntrinsicCall()
4567 Assert(!Intrinsic::matchIntrinsicVarArg(IsVarArg, TableRef), in visitIntrinsicCall()
4571 Assert(TableRef.empty(), "Intrinsic has too few arguments!", IF); in visitIntrinsicCall()
4579 Assert(ExpectedName == IF->getName(), in visitIntrinsicCall()
4591 Assert(!Const->getType()->isX86_AMXTy(), in visitIntrinsicCall()
4600 Assert(Elem.Tag->getKey() == "ignore" || in visitIntrinsicCall()
4607 Assert(ArgCount <= 3 && ArgCount >= 2, in visitIntrinsicCall()
4609 Assert(Call.getOperand(Elem.Begin)->getType()->isPointerTy(), in visitIntrinsicCall()
4611 Assert(Call.getOperand(Elem.Begin + 1)->getType()->isIntegerTy(), in visitIntrinsicCall()
4614 Assert(Call.getOperand(Elem.Begin + 2)->getType()->isIntegerTy(), in visitIntrinsicCall()
4618 Assert(ArgCount <= 2, "to many arguments"); in visitIntrinsicCall()
4622 Assert(ArgCount == 2, "this attribute should have 2 arguments"); in visitIntrinsicCall()
4623 Assert(isa<ConstantInt>(Call.getOperand(Elem.Begin + 1)), in visitIntrinsicCall()
4626 Assert((ArgCount) == 1, "this attribute should have one argument"); in visitIntrinsicCall()
4628 Assert((ArgCount) == 0, "this attribute has no argument"); in visitIntrinsicCall()
4638 Assert(GV && GV->isConstant() && GV->hasDefinitiveInitializer(), in visitIntrinsicCall()
4642 Assert(isa<ConstantStruct>(Init) || isa<ConstantArray>(Init), in visitIntrinsicCall()
4653 Assert(isa<MetadataAsValue>(Call.getArgOperand(0)), in visitIntrinsicCall()
4674 Assert(IsValidAlignment(MI->getDestAlignment()), in visitIntrinsicCall()
4678 Assert(IsValidAlignment(MTI->getSourceAlignment()), in visitIntrinsicCall()
4693 Assert(ElementSizeVal.isPowerOf2(), in visitIntrinsicCall()
4702 Assert(IsValidAlignment(DstAlignment), in visitIntrinsicCall()
4706 Assert(IsValidAlignment(SrcAlignment), in visitIntrinsicCall()
4713 Assert(NumArgs != nullptr, in visitIntrinsicCall()
4718 Assert(UseCall != nullptr, in visitIntrinsicCall()
4723 Assert(AllocArgIndex != nullptr, in visitIntrinsicCall()
4726 Assert(AllocArgIndexInt.sge(0) && in visitIntrinsicCall()
4735 Assert(!FoundCall, "Can have at most one call corresponding to a " in visitIntrinsicCall()
4744 Assert(NumPreallocatedArgs != 0, in visitIntrinsicCall()
4747 Assert(NumArgs->equalsInt(NumPreallocatedArgs), in visitIntrinsicCall()
4761 Assert(PreallocatedBundle, in visitIntrinsicCall()
4764 Assert(PreallocatedBundle->Inputs.front().get() == &Call, in visitIntrinsicCall()
4773 Assert(Token && Token->getCalledFunction()->getIntrinsicID() == in visitIntrinsicCall()
4777 Assert(Call.hasFnAttr(Attribute::Preallocated), in visitIntrinsicCall()
4784 Assert(Token && Token->getCalledFunction()->getIntrinsicID() == in visitIntrinsicCall()
4796 Assert(AI, "llvm.gcroot parameter #1 must be an alloca.", Call); in visitIntrinsicCall()
4797 Assert(isa<Constant>(Call.getArgOperand(1)), in visitIntrinsicCall()
4800 Assert(!isa<ConstantPointerNull>(Call.getArgOperand(1)), in visitIntrinsicCall()
4807 Assert(Call.getParent()->getParent()->hasGC(), in visitIntrinsicCall()
4811 Assert(isa<Function>(Call.getArgOperand(1)->stripPointerCasts()), in visitIntrinsicCall()
4816 Assert(cast<ConstantInt>(Call.getArgOperand(1))->getZExtValue() < 2 && in visitIntrinsicCall()
4821 Assert(isa<AllocaInst>(Call.getArgOperand(1)->stripPointerCasts()), in visitIntrinsicCall()
4826 Assert(BB == &BB->getParent()->front(), in visitIntrinsicCall()
4828 Assert(!SawFrameEscape, in visitIntrinsicCall()
4834 Assert(AI && AI->isStaticAlloca(), in visitIntrinsicCall()
4844 Assert(Fn && !Fn->isDeclaration(), in visitIntrinsicCall()
4857 Assert(!CI->isInlineAsm(), in visitIntrinsicCall()
4859 Assert(Call.getParent()->getParent()->hasGC(), in visitIntrinsicCall()
4865 Assert(Call.getParent()->getParent()->hasGC(), in visitIntrinsicCall()
4871 Assert(StatepointFn && StatepointFn->isDeclaration() && in visitIntrinsicCall()
4881 Assert(Call.getType() == TargetFuncType->getReturnType(), in visitIntrinsicCall()
4886 Assert(Call.getNumArgOperands() == 3, "wrong number of arguments", Call); in visitIntrinsicCall()
4888 Assert(isa<PointerType>(Call.getType()->getScalarType()), in visitIntrinsicCall()
4902 Assert(InvokeBB, "safepoints should have unique landingpads", in visitIntrinsicCall()
4904 Assert(InvokeBB->getTerminator(), "safepoint block should be well formed", in visitIntrinsicCall()
4906 Assert(isa<GCStatepointInst>(InvokeBB->getTerminator()), in visitIntrinsicCall()
4913 Assert(isa<GCStatepointInst>(Token), in visitIntrinsicCall()
4923 Assert(isa<ConstantInt>(Base), in visitIntrinsicCall()
4927 Assert(isa<ConstantInt>(Derived), in visitIntrinsicCall()
4935 Assert(BaseIndex < Opt->Inputs.size(), in visitIntrinsicCall()
4937 Assert(DerivedIndex < Opt->Inputs.size(), in visitIntrinsicCall()
4946 Assert(Relocate.getDerivedPtr()->getType()->isPtrOrPtrVectorTy(), in visitIntrinsicCall()
4951 Assert(ResultType->isVectorTy() == DerivedType->isVectorTy(), in visitIntrinsicCall()
4954 Assert( in visitIntrinsicCall()
4963 Assert(isa<CatchPadInst>(Call.getArgOperand(0)), in visitIntrinsicCall()
4968 Assert(Call.getType()->isVectorTy(), "get_active_lane_mask: must return a " in visitIntrinsicCall()
4971 Assert(ElemTy->isIntegerTy(1), "get_active_lane_mask: element type is not " in visitIntrinsicCall()
4976 Assert(Call.getType()->isVectorTy(), "masked_load: must return a vector", in visitIntrinsicCall()
4983 Assert(Mask->getType()->isVectorTy(), "masked_load: mask must be vector", in visitIntrinsicCall()
4985 Assert(Alignment->getValue().isPowerOf2(), in visitIntrinsicCall()
4989 Assert(PtrTy->isOpaqueOrPointeeTypeMatches(Call.getType()), in visitIntrinsicCall()
4991 Assert(PassThru->getType() == Call.getType(), in visitIntrinsicCall()
4993 Assert(cast<VectorType>(Mask->getType())->getElementCount() == in visitIntrinsicCall()
5003 Assert(Mask->getType()->isVectorTy(), "masked_store: mask must be vector", in visitIntrinsicCall()
5005 Assert(Alignment->getValue().isPowerOf2(), in visitIntrinsicCall()
5009 Assert(PtrTy->isOpaqueOrPointeeTypeMatches(Val->getType()), in visitIntrinsicCall()
5011 Assert(cast<VectorType>(Mask->getType())->getElementCount() == in visitIntrinsicCall()
5020 Assert(Alignment.isNullValue() || Alignment.isPowerOf2(), in visitIntrinsicCall()
5027 Assert(Alignment.isNullValue() || Alignment.isPowerOf2(), in visitIntrinsicCall()
5033 Assert(isa<CallInst>(Call), "experimental_guard cannot be invoked", Call); in visitIntrinsicCall()
5034 Assert(Call.countOperandBundlesOfType(LLVMContext::OB_deopt) == 1, in visitIntrinsicCall()
5041 Assert(isa<CallInst>(Call), "experimental_deoptimize cannot be invoked", in visitIntrinsicCall()
5043 Assert(Call.countOperandBundlesOfType(LLVMContext::OB_deopt) == 1, in visitIntrinsicCall()
5046 Assert(Call.getType() == Call.getFunction()->getReturnType(), in visitIntrinsicCall()
5051 Assert(RI, in visitIntrinsicCall()
5055 Assert(RI->getReturnValue() == &Call, in visitIntrinsicCall()
5072 Assert(ArgTy->isIntOrIntVectorTy() && ArgTy->isVectorTy(), in visitIntrinsicCall()
5079 Assert(ArgTy->isFPOrFPVectorTy() && ArgTy->isVectorTy(), in visitIntrinsicCall()
5088 Assert(ArgTy->isFPOrFPVectorTy() && ArgTy->isVectorTy(), in visitIntrinsicCall()
5102 Assert(Op1->getType()->isIntOrIntVectorTy(), in visitIntrinsicCall()
5105 Assert(Op2->getType()->isIntOrIntVectorTy(), in visitIntrinsicCall()
5110 Assert(Op3->getType()->getBitWidth() <= 32, in visitIntrinsicCall()
5115 Assert( in visitIntrinsicCall()
5120 Assert(Op3->getZExtValue() <= Op1->getType()->getScalarSizeInBits(), in visitIntrinsicCall()
5132 Assert(!ValTy->isVectorTy() && !ResultTy->isVectorTy(), in visitIntrinsicCall()
5139 Assert(Size % 16 == 0, "bswap must be an even number of bytes", &Call); in visitIntrinsicCall()
5144 Assert(InvariantSize && in visitIntrinsicCall()
5200 Assert(ResultTy->getElementType()->isIntegerTy() || in visitIntrinsicCall()
5204 Assert(ResultTy->getElementType() == Op0ElemTy, in visitIntrinsicCall()
5209 Assert(ResultTy->getElementType() == Op1ElemTy, in visitIntrinsicCall()
5213 Assert(cast<FixedVectorType>(ResultTy)->getNumElements() == in visitIntrinsicCall()
5218 Assert(Stride->getZExtValue() >= NumRows->getZExtValue(), in visitIntrinsicCall()
5225 Assert(VecTy && VecTy->getScalarType()->isIntegerTy() && in visitIntrinsicCall()
5243 Assert(VecTy->getElementType() == SubVecTy->getElementType(), in visitIntrinsicCall()
5247 Assert(IdxN % SubVecEC.getKnownMinValue() == 0, in visitIntrinsicCall()
5255 Assert( in visitIntrinsicCall()
5274 Assert(ResultTy->getElementType() == VecTy->getElementType(), in visitIntrinsicCall()
5278 Assert(IdxN % ResultEC.getKnownMinValue() == 0, in visitIntrinsicCall()
5286 Assert(IdxN < VecEC.getKnownMinValue() && in visitIntrinsicCall()
5299 Assert(ElemTy, in visitIntrinsicCall()
5343 Assert((FPI.getNumArgOperands() == NumOperands), in visitConstrainedFPIntrinsic()
5351 Assert(!ValTy->isVectorTy() && !ResultTy->isVectorTy(), in visitConstrainedFPIntrinsic()
5360 Assert(!ValTy->isVectorTy() && !ResultTy->isVectorTy(), in visitConstrainedFPIntrinsic()
5368 Assert(CmpInst::isFPPredicate(Pred), in visitConstrainedFPIntrinsic()
5377 Assert(Operand->getType()->isFPOrFPVectorTy(), in visitConstrainedFPIntrinsic()
5384 Assert((NumSrcElem > 0) == Operand->getType()->isVectorTy(), in visitConstrainedFPIntrinsic()
5386 Assert(Operand->getType()->isIntOrIntVectorTy(), in visitConstrainedFPIntrinsic()
5389 Assert(NumSrcElem == cast<FixedVectorType>(OperandT)->getNumElements(), in visitConstrainedFPIntrinsic()
5400 Assert(Operand->getType()->isIntOrIntVectorTy(), in visitConstrainedFPIntrinsic()
5407 Assert((NumSrcElem > 0) == Operand->getType()->isVectorTy(), in visitConstrainedFPIntrinsic()
5409 Assert(Operand->getType()->isFPOrFPVectorTy(), in visitConstrainedFPIntrinsic()
5412 Assert(NumSrcElem == cast<FixedVectorType>(OperandT)->getNumElements(), in visitConstrainedFPIntrinsic()
5424 Assert(OperandTy->isFPOrFPVectorTy(), in visitConstrainedFPIntrinsic()
5426 Assert(ResultTy->isFPOrFPVectorTy(), in visitConstrainedFPIntrinsic()
5428 Assert(OperandTy->isVectorTy() == ResultTy->isVectorTy(), in visitConstrainedFPIntrinsic()
5431 Assert(cast<FixedVectorType>(OperandTy)->getNumElements() == in visitConstrainedFPIntrinsic()
5437 Assert(OperandTy->getScalarSizeInBits() > ResultTy->getScalarSizeInBits(), in visitConstrainedFPIntrinsic()
5441 Assert(OperandTy->getScalarSizeInBits() < ResultTy->getScalarSizeInBits(), in visitConstrainedFPIntrinsic()
5457 Assert(FPI.getExceptionBehavior().hasValue(), in visitConstrainedFPIntrinsic()
5460 Assert(FPI.getRoundingMode().hasValue(), in visitConstrainedFPIntrinsic()
5523 Assert(Loc, "llvm.dbg." + Kind + " intrinsic requires a !dbg attachment", in visitDbgLabelIntrinsic()
5639 Assert(First->getCallingConv() == F->getCallingConv(), in verifyDeoptimizeCallingConvs()
5664 Assert(ScopeListMV != nullptr, in verifyNoAliasScopeDecl()
5670 Assert(ScopeListMD != nullptr, "!id.scope.list must point to an MDNode", in verifyNoAliasScopeDecl()
5672 Assert(ScopeListMD->getNumOperands() == 1, in verifyNoAliasScopeDecl()
5715 Assert(!DT.dominates(I, J), in verifyNoAliasScopeDecl()