194     BasicBlock::iterator RI = R->begin();  in diff()  local
197       assert(LI != LE && RI != R->end());  in diff()
198       Instruction *LeftI = &*LI, *RightI = &*RI;  in diff()
212       ++RI;  in diff()
218     for (LI = L->begin(), RI = R->begin(); LI != LE; ++LI, ++RI)  in diff()
219       unify(&*LI, &*RI);  in diff()
223   void runBlockDiff(BasicBlock::iterator LI, BasicBlock::iterator RI);
277       InvokeInst &RI = cast<InvokeInst>(*R);  in diff()  local
278       if (diffCallSites(LI, RI, Complain))  in diff()
282         tryUnify(LI.getNormalDest(), RI.getNormalDest());  in diff()
283         tryUnify(LI.getUnwindDest(), RI.getUnwindDest());  in diff()
289       BranchInst *RI = cast<BranchInst>(R);  in diff()  local
290       if (LI->isConditional() != RI->isConditional()) {  in diff()
296         if (!equivalentAsOperands(LI->getCondition(), RI->getCondition())) {  in diff()
300         if (TryUnify) tryUnify(LI->getSuccessor(1), RI->getSuccessor(1));  in diff()
302       if (TryUnify) tryUnify(LI->getSuccessor(0), RI->getSuccessor(0));  in diff()
307       IndirectBrInst *RI = cast<IndirectBrInst>(R);  in diff()  local
308       if (LI->getNumDestinations() != RI->getNumDestinations()) {  in diff()
313       if (!equivalentAsOperands(LI->getAddress(), RI->getAddress())) {  in diff()
320           tryUnify(LI->getDestination(i), RI->getDestination(i));  in diff()
327       SwitchInst *RI = cast<SwitchInst>(R);  in diff()  local
328       if (!equivalentAsOperands(LI->getCondition(), RI->getCondition())) {  in diff()
332       if (TryUnify) tryUnify(LI->getDefaultDest(), RI->getDefaultDest());  in diff()
340       for (auto Case : RI->cases()) {  in diff()
496            RI = R->arg_begin(), RE = R->arg_end();  in diff()  local
497          LI != LE && RI != RE; ++LI, ++RI)  in diff()
498       Values[&*LI] = &*RI;  in diff()
543   for (BasicBlock::iterator RI = RStart; RI != RE; ++RI) {  in runBlockDiff()  local
551       if (matchForBlockDiff(&*LI, &*RI)) {  in runBlockDiff()
555         TentativeValues.insert(std::make_pair(&*LI, &*RI));  in runBlockDiff()
575   BasicBlock::iterator LI = LStart, RI = RStart;  in runBlockDiff()  local
587     unify(&*LI, &*RI);  in runBlockDiff()
590     ++RI;  in runBlockDiff()
596       assert(LI != LE && RI != RE);  in runBlockDiff()
598         Instruction *L = &*LI, *R = &*RI;  in runBlockDiff()
602       ++LI; ++RI;  in runBlockDiff()
612       assert(RI != RE);  in runBlockDiff()
613       Diff.addRight(&*RI);  in runBlockDiff()
614       ++RI;  in runBlockDiff()
622     assert(RI != RE);  in runBlockDiff()
623     unify(&*LI, &*RI);  in runBlockDiff()
625     ++RI;  in runBlockDiff()