Lines Matching refs:Assert1
164 #define Assert1(C, M, V1) \
191 Assert1(F.hasName() || F.hasLocalLinkage(),
205 Assert1(CS.getCallingConv() == F->getCallingConv(),
212 Assert1(FT->isVarArg() ?
218 Assert1(FT->getReturnType() == I.getType(),
230 Assert1(Formal->getType() == Actual->getType(),
241 Assert1(Result != AliasAnalysis::MustAlias &&
262 Assert1(!isa<AllocaInst>(Obj),
293 Assert1(AA->alias(MCI->getSource(), Size, MCI->getDest(), Size) !=
319 Assert1(I.getParent()->getParent()->isVarArg(),
357 Assert1(!F->doesNotReturn(),
363 Assert1(!isa<AllocaInst>(Obj),
379 Assert1(!isa<ConstantPointerNull>(UnderlyingObject),
381 Assert1(!isa<UndefValue>(UnderlyingObject),
383 Assert1(!isa<ConstantInt>(UnderlyingObject) ||
386 Assert1(!isa<ConstantInt>(UnderlyingObject) ||
392 Assert1(!GV->isConstant(),
394 Assert1(!isa<Function>(UnderlyingObject) &&
399 Assert1(!isa<Function>(UnderlyingObject),
401 Assert1(!isa<BlockAddress>(UnderlyingObject),
405 Assert1(!isa<BlockAddress>(UnderlyingObject),
409 Assert1(!isa<Constant>(UnderlyingObject) ||
447 Assert1(Size == AliasAnalysis::UnknownSize ||
456 Assert1(!BaseAlign || Align <= MinAlign(BaseAlign, Offset),
475 Assert1(!isa<UndefValue>(I.getOperand(0)) ||
481 Assert1(!isa<UndefValue>(I.getOperand(0)) ||
489 Assert1(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),
496 Assert1(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),
503 Assert1(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),
518 Assert1(!isZero(I.getOperand(1), TD),
523 Assert1(!isZero(I.getOperand(1), TD),
528 Assert1(!isZero(I.getOperand(1), TD),
533 Assert1(!isZero(I.getOperand(1), TD),
540 Assert1(&I.getParent()->getParent()->getEntryBlock() == I.getParent(),
555 Assert1(I.getNumDestinations() != 0,
563 Assert1(CI->getValue().ult(I.getVectorOperandType()->getNumElements()),
571 Assert1(CI->getValue().ult(I.getType()->getNumElements()),
577 Assert1(&I == I.getParent()->begin() ||
