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