173 #define Assert(C, ...)                                                         \  macro
184   Assert(F.hasName() || F.hasLocalLinkage(),  in visitFunction()
198     Assert(I.getCallingConv() == F->getCallingConv(),  in visitCallBase()
205     Assert(FT->isVarArg() ? FT->getNumParams() <= NumActualArgs  in visitCallBase()
211     Assert(FT->getReturnType() == I.getType(),  in visitCallBase()
224         Assert(Formal->getType() == Actual->getType(),  in visitCallBase()
245               Assert(Result != AliasResult::MustAlias &&  in visitCallBase()
274         Assert(!isa<AllocaInst>(Obj),  in visitCallBase()
305       Assert(AA->alias(MCI->getSource(), Size, MCI->getDest(), Size) !=  in visitCallBase()
322       Assert(AA->alias(MCII->getSource(), LS, MCII->getDest(), LS) !=  in visitCallBase()
343       Assert(I.getParent()->getParent()->isVarArg(),  in visitCallBase()
370         Assert(!TripCount->isZero(), "get_active_lane_mask: operand #2 "  in visitCallBase()
378   Assert(!F->doesNotReturn(),  in visitReturnInst()
383     Assert(!isa<AllocaInst>(Obj), "Unusual: Returning alloca value", &I);  in visitReturnInst()
398   Assert(!isa<ConstantPointerNull>(UnderlyingObject),  in visitMemoryReference()
400   Assert(!isa<UndefValue>(UnderlyingObject),  in visitMemoryReference()
402   Assert(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
405   Assert(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
411       Assert(!GV->isConstant(), "Undefined behavior: Write to read-only memory",  in visitMemoryReference()
413     Assert(!isa<Function>(UnderlyingObject) &&  in visitMemoryReference()
418     Assert(!isa<Function>(UnderlyingObject), "Unusual: Load from function body",  in visitMemoryReference()
420     Assert(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
424     Assert(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
428     Assert(!isa<Constant>(UnderlyingObject) ||  in visitMemoryReference()
464     Assert(!Loc.Size.hasValue() || BaseSize == MemoryLocation::UnknownSize ||  in visitMemoryReference()
473       Assert(*Align <= commonAlignment(*BaseAlign, Offset),  in visitMemoryReference()
489   Assert(!isa<UndefValue>(I.getOperand(0)) || !isa<UndefValue>(I.getOperand(1)),  in visitXor()
494   Assert(!isa<UndefValue>(I.getOperand(0)) || !isa<UndefValue>(I.getOperand(1)),  in visitSub()
501     Assert(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),  in visitLShr()
508     Assert(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),  in visitAShr()
515     Assert(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),  in visitShl()
557   Assert(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),  in visitSDiv()
562   Assert(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),  in visitUDiv()
567   Assert(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),  in visitSRem()
572   Assert(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),  in visitURem()
579     Assert(&I.getParent()->getParent()->getEntryBlock() == I.getParent(),  in visitAllocaInst()
594   Assert(I.getNumDestinations() != 0,  in visitIndirectBrInst()
601     Assert(  in visitExtractElementInst()
610     Assert(CI->getValue().ult(  in visitInsertElementInst()
617   Assert(&I == &I.getParent()->front() ||  in visitUnreachableInst()