370 #define Assert2(C, M, V1, V2) \  macro
506       Assert2(MD.isFunctionLocal() || !N->isFunctionLocal(),  in visitMDNode()
511     Assert2(MD.isFunctionLocal(), "Invalid operand for global metadata!", &MD, Op);  in visitMDNode()
524     Assert2(ActualF == F, "function-local metadata used in wrong function",  in visitMDNode()
829   Assert2(FT->getNumParams() == NumArgs,  in visitFunction()
873     Assert2(I->getType() == FT->getParamType(i),  in visitFunction()
879       Assert2(!I->getType()->isMetadataTy(),  in visitFunction()
977     Assert2(BI.getCondition()->getType()->isIntegerTy(1),  in visitBranchInst()
987     Assert2(N == 0,  in visitReturnInst()
991     Assert2(N == 1 && F->getReturnType() == RI.getOperand(0)->getType(),  in visitReturnInst()
1024     Assert2(false, "Duplicate integer as switch case", &SI, i.getCaseValueEx());  in visitSwitchInst()
1311   Assert2(&PN == &PN.getParent()->front() ||   in visitPHINode()
1536   Assert2(GEP.getType()->getScalarType()->isPointerTy() &&  in visitGetElementPtrInst()
1564   Assert2(ElTy == LI.getType(),  in visitLoadInst()
1572       Assert2(ElTy->isIntegerTy(),  in visitLoadInst()
1576       Assert2(Size >= 8 && !(Size & (Size - 1)),  in visitLoadInst()
1638   Assert2(ElTy == SI.getOperand(0)->getType(),  in visitStoreInst()
1647       Assert2(ElTy->isIntegerTy(),  in visitStoreInst()
1651       Assert2(Size >= 8 && !(Size & (Size - 1)),  in visitStoreInst()
1682   Assert2(ElTy->isIntegerTy(),  in visitAtomicCmpXchgInst()
1686   Assert2(Size >= 8 && !(Size & (Size - 1)),  in visitAtomicCmpXchgInst()
1689   Assert2(ElTy == CXI.getOperand(1)->getType(),  in visitAtomicCmpXchgInst()
1692   Assert2(ElTy == CXI.getOperand(2)->getType(),  in visitAtomicCmpXchgInst()
1706   Assert2(ElTy->isIntegerTy(),  in visitAtomicRMWInst()
1710   Assert2(Size >= 8 && !(Size & (Size - 1)),  in visitAtomicRMWInst()
1713   Assert2(ElTy == RMWI.getOperand(1)->getType(),  in visitAtomicRMWInst()
1809   Assert2(InstsInThisBlock.count(Op) || DT->dominates(Op, U),  in verifyDominatesUse()
1848       Assert2(Used->getParent() != 0, "Instruction referencing instruction not"  in visitInstruction()