Lines Matching refs:BI
282 void visitBranchInst(BranchInst &BI);
285 void visitIndirectBrInst(IndirectBrInst &BI);
1006 void Verifier::visitBranchInst(BranchInst &BI) {
1007 if (BI.isConditional()) {
1008 Assert2(BI.getCondition()->getType()->isIntegerTy(1),
1009 "Branch condition is not 'i1' type!", &BI, BI.getCondition());
1011 visitTerminatorInst(BI);
1061 void Verifier::visitIndirectBrInst(IndirectBrInst &BI) {
1062 Assert1(BI.getAddress()->getType()->isPointerTy(),
1063 "Indirectbr operand must have pointer type!", &BI);
1064 for (unsigned i = 0, e = BI.getNumDestinations(); i != e; ++i)
1065 Assert1(BI.getDestination(i)->getType()->isLabelTy(),
1066 "Indirectbr destinations must all have pointer type!", &BI);
1068 visitTerminatorInst(BI);