Lines Matching refs:Assert1
368 #define Assert1(C, M, V1) \ macro
379 Assert1(I.getOperand(i) != 0, "Operand is null", &I);
385 Assert1(!GV.isDeclaration() || in visitGlobalValue()
395 Assert1(!GV.hasDLLImportLinkage() || GV.isDeclaration(), in visitGlobalValue()
398 Assert1(!GV.hasAppendingLinkage() || isa<GlobalVariable>(GV), in visitGlobalValue()
403 Assert1(GVar && GVar->getType()->getElementType()->isArrayTy(), in visitGlobalValue()
407 Assert1(!GV.hasLinkOnceODRAutoHideLinkage() || GV.hasDefaultVisibility(), in visitGlobalValue()
414 Assert1(GV.getInitializer()->getType() == GV.getType()->getElementType(), in visitGlobalVariable()
421 Assert1(GV.getInitializer()->isNullValue(), in visitGlobalVariable()
423 Assert1(!GV.isConstant(), "'common' global may not be marked constant!", in visitGlobalVariable()
427 Assert1(GV.hasExternalLinkage() || GV.hasDLLImportLinkage() || in visitGlobalVariable()
434 Assert1(!GV.hasInitializer() || GV.hasAppendingLinkage(), in visitGlobalVariable()
442 Assert1(STy && STy->getNumElements() == 2 && in visitGlobalVariable()
453 Assert1(!GA.getName().empty(), in visitGlobalAlias()
455 Assert1(GA.hasExternalLinkage() || GA.hasLocalLinkage() || in visitGlobalAlias()
458 Assert1(GA.getAliasee(), in visitGlobalAlias()
460 Assert1(GA.getType() == GA.getAliasee()->getType(), in visitGlobalAlias()
462 Assert1(!GA.hasUnnamedAddr(), "Alias cannot have unnamed_addr!", &GA); in visitGlobalAlias()
466 Assert1(CE && in visitGlobalAlias()
475 Assert1(Aliasee, in visitGlobalAlias()
487 Assert1(!MD->isFunctionLocal(), in visitNamedMDNode()
566 Assert1(Op->getNumOperands() == 3, in visitModuleFlag()
570 Assert1(Behavior, in visitModuleFlag()
574 Assert1(ID, in visitModuleFlag()
581 Assert1(false, in visitModuleFlag()
596 Assert1(Value && Value->getNumOperands() == 2, in visitModuleFlag()
599 Assert1(isa<MDString>(Value->getOperand(0)), in visitModuleFlag()
613 Assert1(isa<MDNode>(Op->getOperand(2)), in visitModuleFlag()
623 Assert1(Inserted, in visitModuleFlag()
636 Assert1(!Attrs.hasAttribute(Idx, Attribute::NoReturn) && in VerifyParameterAttrs()
662 Assert1(!Attrs.hasAttribute(Idx, Attribute::ByVal) && in VerifyParameterAttrs()
670 Assert1(!((Attrs.hasAttribute(Idx, Attribute::ByVal) && in VerifyParameterAttrs()
678 Assert1(!((Attrs.hasAttribute(Idx, Attribute::ByVal) && in VerifyParameterAttrs()
686 Assert1(!(Attrs.hasAttribute(Idx, Attribute::ZExt) && in VerifyParameterAttrs()
690 Assert1(!(Attrs.hasAttribute(Idx, Attribute::ReadNone) && in VerifyParameterAttrs()
694 Assert1(!(Attrs.hasAttribute(Idx, Attribute::NoInline) && in VerifyParameterAttrs()
698 Assert1(!AttrBuilder(Attrs, Idx). in VerifyParameterAttrs()
704 Assert1(!Attrs.hasAttribute(Idx, Attribute::ByVal) || in VerifyParameterAttrs()
708 Assert1(!Attrs.hasAttribute(Idx, Attribute::ByVal), in VerifyParameterAttrs()
737 Assert1(!SawNest, "More than one parameter has attribute nest!", V); in VerifyFunctionAttrs()
742 Assert1(Index == 1, "Attribute sret is not on first parameter!", V); in VerifyFunctionAttrs()
750 Assert1(NotFn.empty(), "Attributes '" + in VerifyFunctionAttrs()
757 Assert1(!((Attrs.hasAttribute(AttributeSet::FunctionIndex, in VerifyFunctionAttrs()
771 Assert1(!((Attrs.hasAttribute(AttributeSet::FunctionIndex, in VerifyFunctionAttrs()
785 Assert1(!(Attrs.hasAttribute(AttributeSet::FunctionIndex, in VerifyFunctionAttrs()
791 Assert1(!(Attrs.hasAttribute(AttributeSet::FunctionIndex, in VerifyFunctionAttrs()
797 Assert1(!(Attrs.hasAttribute(AttributeSet::FunctionIndex, in VerifyFunctionAttrs()
825 Assert1(Context == &F.getContext(), in visitFunction()
828 Assert1(!F.hasCommonLinkage(), "Functions may not have common linkage", &F); in visitFunction()
832 Assert1(F.getReturnType()->isFirstClassType() || in visitFunction()
837 Assert1(!F.hasStructRetAttr() || F.getReturnType()->isVoidTy(), in visitFunction()
842 Assert1(VerifyAttributeCount(Attrs, FT->getNumParams()), in visitFunction()
861 Assert1(!F.isVarArg(), in visitFunction()
876 Assert1(I->getType()->isFirstClassType(), in visitFunction()
886 Assert1(F.hasExternalLinkage() || F.hasDLLImportLinkage() || in visitFunction()
892 Assert1(!isLLVMdotName, "llvm intrinsics cannot be defined!", &F); in visitFunction()
896 Assert1(pred_begin(Entry) == pred_end(Entry), in visitFunction()
901 Assert1(!BlockAddress::get(Entry)->isConstantUsed(), in visitFunction()
911 Assert1(0, "Invalid user of intrinsic instruction!", U); in visitFunction()
921 Assert1(BB.getTerminator(), "Basic Block does not have terminator!", &BB); in visitBasicBlock()
932 Assert1(PN->getNumIncomingValues() != 0, in visitBasicBlock()
935 Assert1(PN->getNumIncomingValues() == Preds.size(), in visitBasicBlock()
970 Assert1(&I == I.getParent()->getTerminator(), in visitTerminatorInst()
1011 Assert1(((const APInt&)r.getLow()).getBitWidth() == IntTy->getBitWidth(), in visitSwitchInst()
1013 Assert1(((const APInt&)r.getHigh()).getBitWidth() == IntTy->getBitWidth(), in visitSwitchInst()
1031 Assert1(BI.getAddress()->getType()->isPointerTy(), in visitIndirectBrInst()
1034 Assert1(BI.getDestination(i)->getType()->isLabelTy(), in visitIndirectBrInst()
1041 Assert1(!SelectInst::areInvalidOperands(SI.getOperand(0), SI.getOperand(1), in visitSelectInst()
1045 Assert1(SI.getTrueValue()->getType() == SI.getType(), in visitSelectInst()
1054 Assert1(0, "User-defined operators should not live outside of a pass!", &I); in visitUserOp1()
1066 Assert1(SrcTy->isIntOrIntVectorTy(), "Trunc only operates on integer", &I); in visitTruncInst()
1067 Assert1(DestTy->isIntOrIntVectorTy(), "Trunc only produces integer", &I); in visitTruncInst()
1068 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitTruncInst()
1070 Assert1(SrcBitSize > DestBitSize,"DestTy too big for Trunc", &I); in visitTruncInst()
1081 Assert1(SrcTy->isIntOrIntVectorTy(), "ZExt only operates on integer", &I); in visitZExtInst()
1082 Assert1(DestTy->isIntOrIntVectorTy(), "ZExt only produces an integer", &I); in visitZExtInst()
1083 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitZExtInst()
1088 Assert1(SrcBitSize < DestBitSize,"Type too small for ZExt", &I); in visitZExtInst()
1102 Assert1(SrcTy->isIntOrIntVectorTy(), "SExt only operates on integer", &I); in visitSExtInst()
1103 Assert1(DestTy->isIntOrIntVectorTy(), "SExt only produces an integer", &I); in visitSExtInst()
1104 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitSExtInst()
1106 Assert1(SrcBitSize < DestBitSize,"Type too small for SExt", &I); in visitSExtInst()
1119 Assert1(SrcTy->isFPOrFPVectorTy(),"FPTrunc only operates on FP", &I); in visitFPTruncInst()
1120 Assert1(DestTy->isFPOrFPVectorTy(),"FPTrunc only produces an FP", &I); in visitFPTruncInst()
1121 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitFPTruncInst()
1123 Assert1(SrcBitSize > DestBitSize,"DestTy too big for FPTrunc", &I); in visitFPTruncInst()
1137 Assert1(SrcTy->isFPOrFPVectorTy(),"FPExt only operates on FP", &I); in visitFPExtInst()
1138 Assert1(DestTy->isFPOrFPVectorTy(),"FPExt only produces an FP", &I); in visitFPExtInst()
1139 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitFPExtInst()
1141 Assert1(SrcBitSize < DestBitSize,"DestTy too small for FPExt", &I); in visitFPExtInst()
1154 Assert1(SrcVec == DstVec, in visitUIToFPInst()
1156 Assert1(SrcTy->isIntOrIntVectorTy(), in visitUIToFPInst()
1158 Assert1(DestTy->isFPOrFPVectorTy(), in visitUIToFPInst()
1162 Assert1(cast<VectorType>(SrcTy)->getNumElements() == in visitUIToFPInst()
1177 Assert1(SrcVec == DstVec, in visitSIToFPInst()
1179 Assert1(SrcTy->isIntOrIntVectorTy(), in visitSIToFPInst()
1181 Assert1(DestTy->isFPOrFPVectorTy(), in visitSIToFPInst()
1185 Assert1(cast<VectorType>(SrcTy)->getNumElements() == in visitSIToFPInst()
1200 Assert1(SrcVec == DstVec, in visitFPToUIInst()
1202 Assert1(SrcTy->isFPOrFPVectorTy(), "FPToUI source must be FP or FP vector", in visitFPToUIInst()
1204 Assert1(DestTy->isIntOrIntVectorTy(), in visitFPToUIInst()
1208 Assert1(cast<VectorType>(SrcTy)->getNumElements() == in visitFPToUIInst()
1223 Assert1(SrcVec == DstVec, in visitFPToSIInst()
1225 Assert1(SrcTy->isFPOrFPVectorTy(), in visitFPToSIInst()
1227 Assert1(DestTy->isIntOrIntVectorTy(), in visitFPToSIInst()
1231 Assert1(cast<VectorType>(SrcTy)->getNumElements() == in visitFPToSIInst()
1243 Assert1(SrcTy->getScalarType()->isPointerTy(), in visitPtrToIntInst()
1245 Assert1(DestTy->getScalarType()->isIntegerTy(), in visitPtrToIntInst()
1247 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitPtrToIntInst()
1253 Assert1(VSrc->getNumElements() == VDest->getNumElements(), in visitPtrToIntInst()
1265 Assert1(SrcTy->getScalarType()->isIntegerTy(), in visitIntToPtrInst()
1267 Assert1(DestTy->getScalarType()->isPointerTy(), in visitIntToPtrInst()
1269 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(), in visitIntToPtrInst()
1274 Assert1(VSrc->getNumElements() == VDest->getNumElements(), in visitIntToPtrInst()
1291 Assert1(SrcTy->isPointerTy() == DestTy->isPointerTy(), in visitBitCastInst()
1293 Assert1(SrcBitSize == DestBitSize, "Bitcast requires types of same width",&I); in visitBitCastInst()
1296 Assert1(!SrcTy->isAggregateType(), in visitBitCastInst()
1298 Assert1(!DestTy->isAggregateType(), in visitBitCastInst()
1319 Assert1(PN.getType() == PN.getIncomingValue(i)->getType(), in visitPHINode()
1331 Assert1(CS.getCalledValue()->getType()->isPointerTy(), in VerifyCallSite()
1335 Assert1(FPTy->getElementType()->isFunctionTy(), in VerifyCallSite()
1341 Assert1(CS.arg_size() >= FTy->getNumParams(), in VerifyCallSite()
1344 Assert1(CS.arg_size() == FTy->getNumParams(), in VerifyCallSite()
1355 Assert1(VerifyAttributeCount(Attrs, CS.arg_size()), in VerifyCallSite()
1367 Assert1(!Attrs.hasAttribute(Idx, Attribute::StructRet), in VerifyCallSite()
1376 Assert1(!(*PI)->isMetadataTy(), in VerifyCallSite()
1396 Assert1(II.getUnwindDest()->isLandingPad(), in visitInvokeInst()
1406 Assert1(B.getOperand(0)->getType() == B.getOperand(1)->getType(), in visitBinaryOperator()
1419 Assert1(B.getType()->isIntOrIntVectorTy(), in visitBinaryOperator()
1421 Assert1(B.getType() == B.getOperand(0)->getType(), in visitBinaryOperator()
1432 Assert1(B.getType()->isFPOrFPVectorTy(), in visitBinaryOperator()
1435 Assert1(B.getType() == B.getOperand(0)->getType(), in visitBinaryOperator()
1443 Assert1(B.getType()->isIntOrIntVectorTy(), in visitBinaryOperator()
1445 Assert1(B.getType() == B.getOperand(0)->getType(), in visitBinaryOperator()
1452 Assert1(B.getType()->isIntOrIntVectorTy(), in visitBinaryOperator()
1454 Assert1(B.getType() == B.getOperand(0)->getType(), in visitBinaryOperator()
1468 Assert1(Op0Ty == Op1Ty, in visitICmpInst()
1471 Assert1(Op0Ty->isIntOrIntVectorTy() || Op0Ty->getScalarType()->isPointerTy(), in visitICmpInst()
1474 Assert1(IC.getPredicate() >= CmpInst::FIRST_ICMP_PREDICATE && in visitICmpInst()
1485 Assert1(Op0Ty == Op1Ty, in visitFCmpInst()
1488 Assert1(Op0Ty->isFPOrFPVectorTy(), in visitFCmpInst()
1491 Assert1(FC.getPredicate() >= CmpInst::FIRST_FCMP_PREDICATE && in visitFCmpInst()
1499 Assert1(ExtractElementInst::isValidOperands(EI.getOperand(0), in visitExtractElementInst()
1506 Assert1(InsertElementInst::isValidOperands(IE.getOperand(0), in visitInsertElementInst()
1514 Assert1(ShuffleVectorInst::isValidOperands(SV.getOperand(0), SV.getOperand(1), in visitShuffleVectorInst()
1523 Assert1(isa<PointerType>(TargetTy), in visitGetElementPtrInst()
1525 Assert1(cast<PointerType>(TargetTy)->getElementType()->isSized(), in visitGetElementPtrInst()
1527 Assert1(GEP.getPointerOperandType()->isVectorTy() == in visitGetElementPtrInst()
1534 Assert1(ElTy, "Invalid indices for GEP pointer type!", &GEP); in visitGetElementPtrInst()
1543 Assert1(GepWidth == GEP.getType()->getVectorNumElements(), in visitGetElementPtrInst()
1547 Assert1(IndexTy->isVectorTy(), in visitGetElementPtrInst()
1550 Assert1(IndexWidth == GepWidth, "Invalid GEP index vector width", &GEP); in visitGetElementPtrInst()
1562 Assert1(PTy, "Load operand must be a pointer.", &LI); in visitLoadInst()
1567 Assert1(LI.getOrdering() != Release && LI.getOrdering() != AcquireRelease, in visitLoadInst()
1569 Assert1(LI.getAlignment() != 0, in visitLoadInst()
1581 Assert1(LI.getSynchScope() == CrossThread, in visitLoadInst()
1587 Assert1(NumOperands % 2 == 0, "Unfinished range!", Range); in visitLoadInst()
1589 Assert1(NumRanges >= 1, "It should have at least one range!", Range); in visitLoadInst()
1594 Assert1(Low, "The lower limit must be an integer!", Low); in visitLoadInst()
1596 Assert1(High, "The upper limit must be an integer!", High); in visitLoadInst()
1597 Assert1(High->getType() == Low->getType() && in visitLoadInst()
1604 Assert1(!CurRange.isEmptySet() && !CurRange.isFullSet(), in visitLoadInst()
1607 Assert1(CurRange.intersectWith(LastRange).isEmptySet(), in visitLoadInst()
1609 Assert1(LowV.sgt(LastRange.getLower()), "Intervals are not in order", in visitLoadInst()
1611 Assert1(!isContiguous(CurRange, LastRange), "Intervals are contiguous", in visitLoadInst()
1622 Assert1(FirstRange.intersectWith(LastRange).isEmptySet(), in visitLoadInst()
1624 Assert1(!isContiguous(FirstRange, LastRange), "Intervals are contiguous", in visitLoadInst()
1636 Assert1(PTy, "Store operand must be a pointer.", &SI); in visitStoreInst()
1642 Assert1(SI.getOrdering() != Acquire && SI.getOrdering() != AcquireRelease, in visitStoreInst()
1644 Assert1(SI.getAlignment() != 0, in visitStoreInst()
1656 Assert1(SI.getSynchScope() == CrossThread, in visitStoreInst()
1664 Assert1(PTy->getAddressSpace() == 0, in visitAllocaInst()
1667 Assert1(PTy->getElementType()->isSized(), "Cannot allocate unsized type", in visitAllocaInst()
1669 Assert1(AI.getArraySize()->getType()->isIntegerTy(), in visitAllocaInst()
1675 Assert1(CXI.getOrdering() != NotAtomic, in visitAtomicCmpXchgInst()
1677 Assert1(CXI.getOrdering() != Unordered, in visitAtomicCmpXchgInst()
1680 Assert1(PTy, "First cmpxchg operand must be a pointer.", &CXI); in visitAtomicCmpXchgInst()
1699 Assert1(RMWI.getOrdering() != NotAtomic, in visitAtomicRMWInst()
1701 Assert1(RMWI.getOrdering() != Unordered, in visitAtomicRMWInst()
1704 Assert1(PTy, "First atomicrmw operand must be a pointer.", &RMWI); in visitAtomicRMWInst()
1716 Assert1(AtomicRMWInst::FIRST_BINOP <= RMWI.getOperation() && in visitAtomicRMWInst()
1724 Assert1(Ordering == Acquire || Ordering == Release || in visitFenceInst()
1732 Assert1(ExtractValueInst::getIndexedType(EVI.getAggregateOperand()->getType(), in visitExtractValueInst()
1741 Assert1(ExtractValueInst::getIndexedType(IVI.getAggregateOperand()->getType(), in visitInsertValueInst()
1754 Assert1(LPI.getNumClauses() > 0 || LPI.isCleanup(), in visitLandingPadInst()
1761 Assert1(II && II->getUnwindDest() == BB && II->getNormalDest() != BB, in visitLandingPadInst()
1768 Assert1(LPI.getParent()->getLandingPadInst() == &LPI, in visitLandingPadInst()
1775 Assert1(LPI.getPersonalityFn() == PersonalityFn, in visitLandingPadInst()
1780 Assert1(isa<Constant>(PersonalityFn), "Personality function is not constant!", in visitLandingPadInst()
1784 Assert1(isa<Constant>(Clause), "Clause is not constant!", &LPI); in visitLandingPadInst()
1786 Assert1(isa<PointerType>(Clause->getType()), in visitLandingPadInst()
1789 Assert1(LPI.isFilter(i), "Clause is neither catch nor filter!", &LPI); in visitLandingPadInst()
1790 Assert1(isa<ConstantArray>(Clause) || isa<ConstantAggregateZero>(Clause), in visitLandingPadInst()
1817 Assert1(BB, "Instruction not embedded in basic block!", &I); in visitInstruction()
1822 Assert1(*UI != (User*)&I || !DT->isReachableFromEntry(BB), in visitInstruction()
1827 Assert1(!I.getType()->isVoidTy() || !I.hasName(), in visitInstruction()
1832 Assert1(I.getType()->isVoidTy() || in visitInstruction()
1838 Assert1(!I.getType()->isMetadataTy() || in visitInstruction()
1857 Assert1(I.getOperand(i) != 0, "Instruction has null operand!", &I); in visitInstruction()
1862 Assert1(0, "Instruction operands must be first-class values!", &I); in visitInstruction()
1868 Assert1(!F->isIntrinsic() || i == (isa<CallInst>(I) ? e-1 : 0), in visitInstruction()
1870 Assert1(!F->isIntrinsic() || isa<CallInst>(I) || in visitInstruction()
1873 Assert1(F->getParent() == Mod, "Referencing function in another module!", in visitInstruction()
1876 Assert1(OpBB->getParent() == BB->getParent(), in visitInstruction()
1879 Assert1(OpArg->getParent() == BB->getParent(), in visitInstruction()
1882 Assert1(GV->getParent() == Mod, "Referencing global in another module!", in visitInstruction()
1887 Assert1((i + 1 == e && isa<CallInst>(I)) || in visitInstruction()
1894 Assert1(I.getType()->isFPOrFPVectorTy(), in visitInstruction()
1896 Assert1(MD->getNumOperands() == 1, "fpmath takes one operand!", &I); in visitInstruction()
1900 Assert1(Accuracy.isNormal() && !Accuracy.isNegative(), in visitInstruction()
1903 Assert1(false, "invalid fpmath accuracy!", &I); in visitInstruction()
1908 Assert1(!MD || isa<LoadInst>(I), "Ranges are only for loads!", &I); in visitInstruction()
1998 Assert1(IF->isDeclaration(), "Intrinsic functions should never be defined!", in visitIntrinsicFunctionCall()
2004 Assert1(!IFTy->isVarArg(), "Intrinsic prototypes are not varargs", IF); in visitIntrinsicFunctionCall()
2011 Assert1(!VerifyIntrinsicType(IFTy->getReturnType(), TableRef, ArgTys), in visitIntrinsicFunctionCall()
2014 Assert1(!VerifyIntrinsicType(IFTy->getParamType(i), TableRef, ArgTys), in visitIntrinsicFunctionCall()
2016 Assert1(TableRef.empty(), "Intrinsic has too few arguments!", IF); in visitIntrinsicFunctionCall()
2022 Assert1(Intrinsic::getName(ID, ArgTys) == IF->getName(), in visitIntrinsicFunctionCall()
2036 Assert1(isa<ConstantInt>(CI.getArgOperand(1)), in visitIntrinsicFunctionCall()
2041 Assert1(CI.getArgOperand(0) && isa<MDNode>(CI.getArgOperand(0)), in visitIntrinsicFunctionCall()
2044 Assert1(MD->getNumOperands() == 1, in visitIntrinsicFunctionCall()
2050 Assert1(isa<ConstantInt>(CI.getArgOperand(3)), in visitIntrinsicFunctionCall()
2053 Assert1(isa<ConstantInt>(CI.getArgOperand(4)), in visitIntrinsicFunctionCall()
2063 Assert1(AI, "llvm.gcroot parameter #1 must be an alloca.", &CI); in visitIntrinsicFunctionCall()
2064 Assert1(isa<Constant>(CI.getArgOperand(1)), in visitIntrinsicFunctionCall()
2067 Assert1(!isa<ConstantPointerNull>(CI.getArgOperand(1)), in visitIntrinsicFunctionCall()
2073 Assert1(CI.getParent()->getParent()->hasGC(), in visitIntrinsicFunctionCall()
2077 Assert1(isa<Function>(CI.getArgOperand(1)->stripPointerCasts()), in visitIntrinsicFunctionCall()
2082 Assert1(isa<ConstantInt>(CI.getArgOperand(1)) && in visitIntrinsicFunctionCall()
2090 Assert1(isa<AllocaInst>(CI.getArgOperand(1)->stripPointerCasts()), in visitIntrinsicFunctionCall()
2097 Assert1(isa<ConstantInt>(CI.getArgOperand(0)), in visitIntrinsicFunctionCall()
2102 Assert1(isa<ConstantInt>(CI.getArgOperand(1)), in visitIntrinsicFunctionCall()