Lines Matching refs:assert
249 assert(OpNo < ReservedSpace && "Growing didn't work!"); in addClause()
313 assert(ArgNo < getNumArgOperands() && "Param index out of bounds!"); in paramHasAttr()
346 assert(BI != Bundles.end() && "Incorrect allocation?"); in populateBundleOperandInfos()
355 assert(BI == Bundles.end() && "Incorrect allocation?"); in populateBundleOperandInfos()
367 assert(getNumOperands() == Args.size() + CountBundleInputs(Bundles) + 1 && in init()
372 assert((Args.size() == FTy->getNumParams() || in init()
377 assert((i >= FTy->getNumParams() || in init()
386 assert(It + 1 == op_end() && "Should add up!"); in init()
393 assert(getNumOperands() == 1 && "NumOperands not set up?"); in init()
396 assert(FTy->getNumParams() == 0 && "Calling a function with bad signature"); in init()
453 assert(val && "IsConstantOne does not work with nullptr val"); in IsConstantOne()
464 assert(((!InsertBefore && InsertAtEnd) || (InsertBefore && !InsertAtEnd)) && in createMalloc()
501 assert(AllocSize->getType() == IntPtrTy && "malloc arg is wrong size"); in createMalloc()
535 assert(!MCall->getType()->isVoidTy() && "Malloc has void return type"); in createMalloc()
592 assert(((!InsertBefore && InsertAtEnd) || (InsertBefore && !InsertAtEnd)) && in createFree()
594 assert(Source->getType()->isPointerTy() && in createFree()
637 assert(FreeCall && "CreateFree did not create a CallInst"); in CreateFree()
644 assert(FreeCall && "CreateFree did not create a CallInst"); in CreateFree()
658 assert((int)getNumOperands() == in init()
666 assert(((Args.size() == FTy->getNumParams()) || in init()
671 assert((i >= FTy->getNumParams() || in init()
680 assert(It + 3 == op_end() && "Should add up!"); in init()
883 assert(ParentPad && NumReservedValues); in init()
900 assert(NumOperands >= 1); in growOperands()
910 assert(OpNo < ReservedSpace && "Growing didn't work!"); in addHandler()
931 assert(getNumOperands() == 1 + Args.size() && "NumOperands not set up?"); in init()
982 assert(getCondition()->getType()->isIntegerTy(1) && in AssertOK()
990 assert(IfTrue && "Branch destination may not be null!"); in BranchInst()
1010 assert(IfTrue && "Branch destination may not be null!"); in BranchInst()
1032 assert(BI.getNumOperands() == 3 && "BR can have 1 or 3 operands!"); in BranchInst()
1040 assert(isConditional() && in swapSuccessors()
1057 assert(!isa<BasicBlock>(Amt) && in getAISize()
1059 assert(Amt->getType()->isIntegerTy() && in getAISize()
1088 assert(!Ty->isVoidTy() && "Cannot allocate void!"); in AllocaInst()
1099 assert(!Ty->isVoidTy() && "Cannot allocate void!"); in AllocaInst()
1104 assert((Align & (Align-1)) == 0 && "Alignment is not a power of 2!"); in setAlignment()
1105 assert(Align <= MaximumAlignment && in setAlignment()
1109 assert(getAlignment() == Align && "Alignment representation error!"); in setAlignment()
1135 assert(getOperand(0)->getType()->isPointerTy() && in AssertOK()
1137 assert(!(isAtomic() && getAlignment() == 0) && in AssertOK()
1171 assert(Ty == cast<PointerType>(Ptr->getType())->getElementType()); in LoadInst()
1183 assert(Ty == cast<PointerType>(Ptr->getType())->getElementType()); in LoadInst()
1192 assert((Align & (Align-1)) == 0 && "Alignment is not a power of 2!"); in setAlignment()
1193 assert(Align <= MaximumAlignment && in setAlignment()
1197 assert(getAlignment() == Align && "Alignment representation error!"); in setAlignment()
1205 assert(getOperand(0) && getOperand(1) && "Both operands must be non-null!"); in AssertOK()
1206 assert(getOperand(1)->getType()->isPointerTy() && in AssertOK()
1208 assert(getOperand(0)->getType() == in AssertOK()
1211 assert(!(isAtomic() && getAlignment() == 0) && in AssertOK()
1272 assert((Align & (Align-1)) == 0 && "Alignment is not a power of 2!"); in setAlignment()
1273 assert(Align <= MaximumAlignment && in setAlignment()
1277 assert(getAlignment() == Align && "Alignment representation error!"); in setAlignment()
1295 assert(getOperand(0) && getOperand(1) && getOperand(2) && in Init()
1297 assert(getOperand(0)->getType()->isPointerTy() && in Init()
1299 assert(getOperand(1)->getType() == in Init()
1302 assert(getOperand(2)->getType() == in Init()
1305 assert(SuccessOrdering != AtomicOrdering::NotAtomic && in Init()
1307 assert(FailureOrdering != AtomicOrdering::NotAtomic && in Init()
1309 assert(!isStrongerThan(FailureOrdering, SuccessOrdering) && in Init()
1312 assert(FailureOrdering != AtomicOrdering::Release && in Init()
1354 assert(getOperand(0) && getOperand(1) && in Init()
1356 assert(getOperand(0)->getType()->isPointerTy() && in Init()
1358 assert(getOperand(1)->getType() == in Init()
1361 assert(Ordering != AtomicOrdering::NotAtomic && in Init()
1444 assert(getNumOperands() == 1 + IdxList.size() && in init()
1556 assert(isValidOperands(Val, Index) && in ExtractElementInst()
1570 assert(isValidOperands(Val, Index) && in ExtractElementInst()
1594 assert(isValidOperands(Vec, Elt, Index) && in InsertElementInst()
1608 assert(isValidOperands(Vec, Elt, Index) && in InsertElementInst()
1643 assert(isValidOperands(V1, V2, Mask) && in ShuffleVectorInst()
1660 assert(isValidOperands(V1, V2, Mask) && in ShuffleVectorInst()
1717 assert(i < Mask->getType()->getVectorNumElements() && "Index out of range"); in getMaskValue()
1743 assert(!Mask.empty() && "Shuffle mask must contain elements"); in isSingleSourceMaskImpl()
1749 assert(Mask[i] >= 0 && Mask[i] < (NumOpElts * 2) && in isSingleSourceMaskImpl()
1756 assert((UsesLHS ^ UsesRHS) && "Should have selected from exactly 1 source"); in isSingleSourceMaskImpl()
1935 assert(getNumOperands() == 2 && "NumOperands not initialized?"); in init()
1941 assert(!Idxs.empty() && "InsertValueInst must have at least one index"); in init()
1943 assert(ExtractValueInst::getIndexedType(Agg->getType(), Idxs) == in init()
1966 assert(getNumOperands() == 1 && "NumOperands not initialized?"); in init()
1970 assert(!Idxs.empty() && "ExtractValueInst must have at least one index"); in init()
2055 assert(getType() == LHS->getType() && in AssertOK()
2057 assert(getType()->isFPOrFPVectorTy() && in AssertOK()
2099 assert(LHS->getType() == RHS->getType() && in AssertOK()
2105 assert(getType() == LHS->getType() && in AssertOK()
2107 assert(getType()->isIntOrIntVectorTy() && in AssertOK()
2112 assert(getType() == LHS->getType() && in AssertOK()
2114 assert(getType()->isFPOrFPVectorTy() && in AssertOK()
2120 assert(getType() == LHS->getType() && in AssertOK()
2122 assert(getType()->isIntOrIntVectorTy() && in AssertOK()
2126 assert(getType() == LHS->getType() && in AssertOK()
2128 assert(getType()->isFPOrFPVectorTy() && in AssertOK()
2133 assert(getType() == LHS->getType() && in AssertOK()
2135 assert(getType()->isIntOrIntVectorTy() && in AssertOK()
2139 assert(getType() == LHS->getType() && in AssertOK()
2141 assert(getType()->isFPOrFPVectorTy() && in AssertOK()
2147 assert(getType() == LHS->getType() && in AssertOK()
2149 assert(getType()->isIntOrIntVectorTy() && in AssertOK()
2154 assert(getType() == LHS->getType() && in AssertOK()
2156 assert(getType()->isIntOrIntVectorTy() && in AssertOK()
2167 assert(S1->getType() == S2->getType() && in Create()
2521 assert( in isEliminableCastPair()
2541 assert( in isEliminableCastPair()
2553 assert( in isEliminableCastPair()
2575 assert(castIsValid(op, S, Ty) && "Invalid cast!"); in Create()
2597 assert(castIsValid(op, S, Ty) && "Invalid cast!"); in Create()
2668 assert(S->getType()->isPtrOrPtrVectorTy() && "Invalid cast"); in CreatePointerCast()
2669 assert((Ty->isIntOrIntVectorTy() || Ty->isPtrOrPtrVectorTy()) && in CreatePointerCast()
2671 assert(Ty->isVectorTy() == S->getType()->isVectorTy() && "Invalid cast"); in CreatePointerCast()
2672 assert((!Ty->isVectorTy() || in CreatePointerCast()
2686 assert(S->getType()->isPtrOrPtrVectorTy() && "Invalid cast"); in CreatePointerCast()
2687 assert((Ty->isIntOrIntVectorTy() || Ty->isPtrOrPtrVectorTy()) && in CreatePointerCast()
2689 assert(Ty->isVectorTy() == S->getType()->isVectorTy() && "Invalid cast"); in CreatePointerCast()
2690 assert((!Ty->isVectorTy() || in CreatePointerCast()
2704 assert(S->getType()->isPtrOrPtrVectorTy() && "Invalid cast"); in CreatePointerBitCastOrAddrSpaceCast()
2705 assert(Ty->isPtrOrPtrVectorTy() && "Invalid cast"); in CreatePointerBitCastOrAddrSpaceCast()
2717 assert(S->getType()->isPtrOrPtrVectorTy() && "Invalid cast"); in CreatePointerBitCastOrAddrSpaceCast()
2718 assert(Ty->isPtrOrPtrVectorTy() && "Invalid cast"); in CreatePointerBitCastOrAddrSpaceCast()
2740 assert(C->getType()->isIntOrIntVectorTy() && Ty->isIntOrIntVectorTy() && in CreateIntegerCast()
2754 assert(C->getType()->isIntOrIntVectorTy() && Ty->isIntOrIntVectorTy() && in CreateIntegerCast()
2768 assert(C->getType()->isFPOrFPVectorTy() && Ty->isFPOrFPVectorTy() && in CreateFPCast()
2781 assert(C->getType()->isFPOrFPVectorTy() && Ty->isFPOrFPVectorTy() && in CreateFPCast()
2915 assert(SrcTy->isFirstClassType() && DestTy->isFirstClassType() && in getCastOpcode()
2954 assert(DestBits == SrcBits && in getCastOpcode()
2958 assert(SrcTy->isPointerTy() && in getCastOpcode()
2977 assert(DestBits == SrcBits && in getCastOpcode()
2983 assert(DestBits == SrcBits && in getCastOpcode()
2997 assert(DestBits == SrcBits && "Casting vector of wrong width to X86_MMX"); in getCastOpcode()
3131 assert(castIsValid(getOpcode(), S, Ty) && "Illegal Trunc"); in TruncInst()
3137 assert(castIsValid(getOpcode(), S, Ty) && "Illegal Trunc"); in TruncInst()
3143 assert(castIsValid(getOpcode(), S, Ty) && "Illegal ZExt"); in ZExtInst()
3149 assert(castIsValid(getOpcode(), S, Ty) && "Illegal ZExt"); in ZExtInst()
3154 assert(castIsValid(getOpcode(), S, Ty) && "Illegal SExt"); in SExtInst()
3160 assert(castIsValid(getOpcode(), S, Ty) && "Illegal SExt"); in SExtInst()
3166 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPTrunc"); in FPTruncInst()
3172 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPTrunc"); in FPTruncInst()
3178 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPExt"); in FPExtInst()
3184 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPExt"); in FPExtInst()
3190 assert(castIsValid(getOpcode(), S, Ty) && "Illegal UIToFP"); in UIToFPInst()
3196 assert(castIsValid(getOpcode(), S, Ty) && "Illegal UIToFP"); in UIToFPInst()
3202 assert(castIsValid(getOpcode(), S, Ty) && "Illegal SIToFP"); in SIToFPInst()
3208 assert(castIsValid(getOpcode(), S, Ty) && "Illegal SIToFP"); in SIToFPInst()
3214 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPToUI"); in FPToUIInst()
3220 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPToUI"); in FPToUIInst()
3226 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPToSI"); in FPToSIInst()
3232 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPToSI"); in FPToSIInst()
3238 assert(castIsValid(getOpcode(), S, Ty) && "Illegal PtrToInt"); in PtrToIntInst()
3244 assert(castIsValid(getOpcode(), S, Ty) && "Illegal PtrToInt"); in PtrToIntInst()
3250 assert(castIsValid(getOpcode(), S, Ty) && "Illegal IntToPtr"); in IntToPtrInst()
3256 assert(castIsValid(getOpcode(), S, Ty) && "Illegal IntToPtr"); in IntToPtrInst()
3262 assert(castIsValid(getOpcode(), S, Ty) && "Illegal BitCast"); in BitCastInst()
3268 assert(castIsValid(getOpcode(), S, Ty) && "Illegal BitCast"); in BitCastInst()
3274 assert(castIsValid(getOpcode(), S, Ty) && "Illegal AddrSpaceCast"); in AddrSpaceCastInst()
3280 assert(castIsValid(getOpcode(), S, Ty) && "Illegal AddrSpaceCast"); in AddrSpaceCastInst()
3523 assert(CmpInst::isUnsigned(pred) && "Call only with signed predicates!"); in getSignedPredicate()
3623 assert(Value && Default && NumReserved); in init()
3675 assert(OpNo+1 < ReservedSpace && "Growing didn't work!"); in addCase()
3687 assert(2 + idx*2 < getNumOperands() && "Case index out of range!!!"); in removeCase()
3722 assert(Address && Address->getType()->isPointerTy() && in init()
3775 assert(OpNo < ReservedSpace && "Growing didn't work!"); in addDestination()
3783 assert(idx < getNumOperands()-1 && "Successor index out of range!"); in removeDestination()