201     BasicBlock::const_iterator RI = R->begin();  in diff()  local
204       assert(LI != LE && RI != R->end());  in diff()
205       const Instruction *LeftI = &*LI, *RightI = &*RI;  in diff()
219       ++RI;  in diff()
225     for (LI = L->begin(), RI = R->begin(); LI != LE; ++LI, ++RI)  in diff()
226       unify(&*LI, &*RI);  in diff()
231                     BasicBlock::const_iterator RI);
286       const InvokeInst &RI = cast<InvokeInst>(*R);  in diff()  local
287       if (diffCallSites(LI, RI, Complain))  in diff()
291         tryUnify(LI.getNormalDest(), RI.getNormalDest());  in diff()
292         tryUnify(LI.getUnwindDest(), RI.getUnwindDest());  in diff()
298       const CallBrInst &RI = cast<CallBrInst>(*R);  in diff()  local
299       if (LI.getNumIndirectDests() != RI.getNumIndirectDests()) {  in diff()
308         tryUnify(LI.getIndirectDest(I), RI.getIndirectDest(I));  in diff()
310       if (diffCallSites(LI, RI, Complain))  in diff()
314         tryUnify(LI.getDefaultDest(), RI.getDefaultDest());  in diff()
319       const BranchInst *RI = cast<BranchInst>(R);  in diff()  local
320       if (LI->isConditional() != RI->isConditional()) {  in diff()
326         if (!equivalentAsOperands(LI->getCondition(), RI->getCondition())) {  in diff()
330         if (TryUnify) tryUnify(LI->getSuccessor(1), RI->getSuccessor(1));  in diff()
332       if (TryUnify) tryUnify(LI->getSuccessor(0), RI->getSuccessor(0));  in diff()
337       const IndirectBrInst *RI = cast<IndirectBrInst>(R);  in diff()  local
338       if (LI->getNumDestinations() != RI->getNumDestinations()) {  in diff()
343       if (!equivalentAsOperands(LI->getAddress(), RI->getAddress())) {  in diff()
350           tryUnify(LI->getDestination(i), RI->getDestination(i));  in diff()
357       const SwitchInst *RI = cast<SwitchInst>(R);  in diff()  local
358       if (!equivalentAsOperands(LI->getCondition(), RI->getCondition())) {  in diff()
362       if (TryUnify) tryUnify(LI->getDefaultDest(), RI->getDefaultDest());  in diff()
370       for (auto Case : RI->cases()) {  in diff()
601                                       RI = R->arg_begin(), RE = R->arg_end();  in diff()  local
602          LI != LE && RI != RE; ++LI, ++RI)  in diff()
603       Values[&*LI] = &*RI;  in diff()
648   for (BasicBlock::const_iterator RI = RStart; RI != RE; ++RI) {  in runBlockDiff()  local
656       if (matchForBlockDiff(&*LI, &*RI)) {  in runBlockDiff()
660         TentativeValues.insert(std::make_pair(&*LI, &*RI));  in runBlockDiff()
680   BasicBlock::const_iterator LI = LStart, RI = RStart;  in runBlockDiff()  local
692     unify(&*LI, &*RI);  in runBlockDiff()
695     ++RI;  in runBlockDiff()
701       assert(LI != LE && RI != RE);  in runBlockDiff()
703         const Instruction *L = &*LI, *R = &*RI;  in runBlockDiff()
707       ++LI; ++RI;  in runBlockDiff()
717       assert(RI != RE);  in runBlockDiff()
718       Diff.addRight(&*RI);  in runBlockDiff()
719       ++RI;  in runBlockDiff()
727     assert(RI != RE);  in runBlockDiff()
728     unify(&*LI, &*RI);  in runBlockDiff()
730     ++RI;  in runBlockDiff()