Lines Matching full:ri
305 BasicBlock::const_iterator RI = R->begin(); in diff() local
308 assert(LI != LE && RI != R->end()); in diff()
309 const Instruction *LeftI = &*LI, *RightI = &*RI; in diff()
328 ++RI; in diff()
334 for (LI = L->begin(), RI = R->begin(); LI != LE; ++LI, ++RI) in diff()
335 unify(&*LI, &*RI); in diff()
340 BasicBlock::const_iterator RI);
390 const PHINode &RI = cast<PHINode>(*R); in diff() local
393 if (LI.getType() != RI.getType()) { in diff()
394 if (!LI.getType()->isPointerTy() || !RI.getType()->isPointerTy()) { in diff()
400 if (LI.getNumIncomingValues() != RI.getNumIncomingValues()) { in diff()
408 tryUnify(LI.getIncomingBlock(I), RI.getIncomingBlock(I)); in diff()
411 RI.getIncomingValue(I), AC)) { in diff()
423 const InvokeInst &RI = cast<InvokeInst>(*R); in diff() local
424 if (diffCallSites(LI, RI, Complain)) in diff()
428 tryUnify(LI.getNormalDest(), RI.getNormalDest()); in diff()
429 tryUnify(LI.getUnwindDest(), RI.getUnwindDest()); in diff()
435 const CallBrInst &RI = cast<CallBrInst>(*R); in diff() local
436 if (LI.getNumIndirectDests() != RI.getNumIndirectDests()) { in diff()
445 tryUnify(LI.getIndirectDest(I), RI.getIndirectDest(I)); in diff()
447 if (diffCallSites(LI, RI, Complain)) in diff()
451 tryUnify(LI.getDefaultDest(), RI.getDefaultDest()); in diff()
456 const BranchInst *RI = cast<BranchInst>(R); in diff() local
457 if (LI->isConditional() != RI->isConditional()) { in diff()
463 if (!equivalentAsOperands(LI->getCondition(), RI->getCondition(), AC)) { in diff()
467 if (TryUnify) tryUnify(LI->getSuccessor(1), RI->getSuccessor(1)); in diff()
469 if (TryUnify) tryUnify(LI->getSuccessor(0), RI->getSuccessor(0)); in diff()
474 const IndirectBrInst *RI = cast<IndirectBrInst>(R); in diff() local
475 if (LI->getNumDestinations() != RI->getNumDestinations()) { in diff()
480 if (!equivalentAsOperands(LI->getAddress(), RI->getAddress(), AC)) { in diff()
487 tryUnify(LI->getDestination(i), RI->getDestination(i)); in diff()
494 const SwitchInst *RI = cast<SwitchInst>(R); in diff() local
495 if (!equivalentAsOperands(LI->getCondition(), RI->getCondition(), AC)) { in diff()
499 if (TryUnify) tryUnify(LI->getDefaultDest(), RI->getDefaultDest()); in diff()
507 for (auto Case : RI->cases()) { in diff()
775 RI = R->arg_begin(), RE = R->arg_end(); in diff() local
776 LI != LE && RI != RE; ++LI, ++RI) in diff()
777 Values[&*LI] = &*RI; in diff()
823 for (BasicBlock::const_iterator RI = RStart; RI != RE; ++RI) { in runBlockDiff() local
831 if (matchForBlockDiff(&*LI, &*RI)) { in runBlockDiff()
835 TentativeValues.insert(std::make_pair(&*LI, &*RI)); in runBlockDiff()
855 BasicBlock::const_iterator LI = LStart, RI = RStart; in runBlockDiff() local
867 unify(&*LI, &*RI); in runBlockDiff()
870 ++RI; in runBlockDiff()
876 assert(LI != LE && RI != RE); in runBlockDiff()
878 const Instruction *L = &*LI, *R = &*RI; in runBlockDiff()
882 ++LI; ++RI; in runBlockDiff()
892 assert(RI != RE); in runBlockDiff()
893 Diff.addRight(&*RI); in runBlockDiff()
894 ++RI; in runBlockDiff()
902 assert(RI != RE); in runBlockDiff()
903 unify(&*LI, &*RI); in runBlockDiff()
905 ++RI; in runBlockDiff()