Lines Matching refs:Assert1
160 #define Assert1(C, M, V1) \
186 Assert1(F.hasName() || F.hasLocalLinkage(),
200 Assert1(CS.getCallingConv() == F->getCallingConv(),
207 Assert1(FT->isVarArg() ?
213 Assert1(FT->getReturnType() == I.getType(),
225 Assert1(Formal->getType() == Actual->getType(),
236 Assert1(Result != AliasAnalysis::MustAlias &&
257 Assert1(!isa<AllocaInst>(Obj),
288 Assert1(AA->alias(MCI->getSource(), Size, MCI->getDest(), Size) !=
314 Assert1(I.getParent()->getParent()->isVarArg(),
352 Assert1(!F->doesNotReturn(),
358 Assert1(!isa<AllocaInst>(Obj),
374 Assert1(!isa<ConstantPointerNull>(UnderlyingObject),
376 Assert1(!isa<UndefValue>(UnderlyingObject),
378 Assert1(!isa<ConstantInt>(UnderlyingObject) ||
381 Assert1(!isa<ConstantInt>(UnderlyingObject) ||
387 Assert1(!GV->isConstant(),
389 Assert1(!isa<Function>(UnderlyingObject) &&
394 Assert1(!isa<Function>(UnderlyingObject),
396 Assert1(!isa<BlockAddress>(UnderlyingObject),
400 Assert1(!isa<BlockAddress>(UnderlyingObject),
404 Assert1(!isa<Constant>(UnderlyingObject) ||
417 Assert1(!(KnownOne & APInt::getLowBitsSet(BitWidth, Log2_32(Align))),
437 Assert1(!isa<UndefValue>(I.getOperand(0)) ||
443 Assert1(!isa<UndefValue>(I.getOperand(0)) ||
451 Assert1(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),
458 Assert1(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),
465 Assert1(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),
481 Assert1(!isZero(I.getOperand(1), TD),
486 Assert1(!isZero(I.getOperand(1), TD),
491 Assert1(!isZero(I.getOperand(1), TD),
496 Assert1(!isZero(I.getOperand(1), TD),
503 Assert1(&I.getParent()->getParent()->getEntryBlock() == I.getParent(),
518 Assert1(I.getNumDestinations() != 0,
526 Assert1(CI->getValue().ult(I.getVectorOperandType()->getNumElements()),
534 Assert1(CI->getValue().ult(I.getType()->getNumElements()),
540 Assert1(&I == I.getParent()->begin() ||
