198     BasicBlock::iterator RI = R->begin();  in diff()  local
203       assert(LI != LE && RI != R->end());  in diff()
204       Instruction *LeftI = &*LI, *RightI = &*RI;  in diff()
217       ++LI, ++RI;  in diff()
223     for (LI = L->begin(), RI = R->begin(); LI != LE; ++LI, ++RI)  in diff()
224       unify(&*LI, &*RI);  in diff()
228   void runBlockDiff(BasicBlock::iterator LI, BasicBlock::iterator RI);
282       InvokeInst *RI = cast<InvokeInst>(R);  in diff()  local
283       if (diffCallSites(CallSite(LI), CallSite(RI), Complain))  in diff()
287         tryUnify(LI->getNormalDest(), RI->getNormalDest());  in diff()
288         tryUnify(LI->getUnwindDest(), RI->getUnwindDest());  in diff()
294       BranchInst *RI = cast<BranchInst>(R);  in diff()  local
295       if (LI->isConditional() != RI->isConditional()) {  in diff()
301         if (!equivalentAsOperands(LI->getCondition(), RI->getCondition())) {  in diff()
305         if (TryUnify) tryUnify(LI->getSuccessor(1), RI->getSuccessor(1));  in diff()
307       if (TryUnify) tryUnify(LI->getSuccessor(0), RI->getSuccessor(0));  in diff()
312       SwitchInst *RI = cast<SwitchInst>(R);  in diff()  local
313       if (!equivalentAsOperands(LI->getCondition(), RI->getCondition())) {  in diff()
317       if (TryUnify) tryUnify(LI->getDefaultDest(), RI->getDefaultDest());  in diff()
324       for (unsigned I = 1, E = RI->getNumCases(); I != E; ++I) {  in diff()
325         ConstantInt *CaseValue = RI->getCaseValue(I);  in diff()
328           if (TryUnify) tryUnify(LCase, RI->getSuccessor(I));  in diff()
466            RI = R->arg_begin(), RE = R->arg_end();  in diff()  local
467          LI != LE && RI != RE; ++LI, ++RI)  in diff()
468       Values[&*LI] = &*RI;  in diff()
513   for (BasicBlock::iterator RI = RStart; RI != RE; ++RI) {  in runBlockDiff()  local
521       if (matchForBlockDiff(&*LI, &*RI)) {  in runBlockDiff()
525         TentativeValues.insert(std::make_pair(&*LI, &*RI));  in runBlockDiff()
545   BasicBlock::iterator LI = LStart, RI = RStart;  in runBlockDiff()  local
557     unify(&*LI, &*RI);  in runBlockDiff()
558     ++PI, ++LI, ++RI;  in runBlockDiff()
564       assert(LI != LE && RI != RE);  in runBlockDiff()
566         Instruction *L = &*LI, *R = &*RI;  in runBlockDiff()
570       ++LI; ++RI;  in runBlockDiff()
580       assert(RI != RE);  in runBlockDiff()
581       Diff.addRight(&*RI);  in runBlockDiff()
582       ++RI;  in runBlockDiff()
590     assert(RI != RE);  in runBlockDiff()
591     unify(&*LI, &*RI);  in runBlockDiff()
592     ++LI, ++RI;  in runBlockDiff()