195     BasicBlock::iterator LI = L->begin(), LE = L->end();  in diff()  local
201       assert(LI != LE && RI != R->end());  in diff()
202       Instruction *LeftI = &*LI, *RightI = &*RI;  in diff()
215       ++LI, ++RI;  in diff()
216     } while (LI != LE); // This is sufficient: we can't get equality of  in diff()
221     for (LI = L->begin(), RI = R->begin(); LI != LE; ++LI, ++RI)  in diff()
222       unify(&*LI, &*RI);  in diff()
226   void runBlockDiff(BasicBlock::iterator LI, BasicBlock::iterator RI);
279       InvokeInst *LI = cast<InvokeInst>(L);  in diff()  local
281       if (diffCallSites(CallSite(LI), CallSite(RI), Complain))  in diff()
285         tryUnify(LI->getNormalDest(), RI->getNormalDest());  in diff()
286         tryUnify(LI->getUnwindDest(), RI->getUnwindDest());  in diff()
291       BranchInst *LI = cast<BranchInst>(L);  in diff()  local
293       if (LI->isConditional() != RI->isConditional()) {  in diff()
298       if (LI->isConditional()) {  in diff()
299         if (!equivalentAsOperands(LI->getCondition(), RI->getCondition())) {  in diff()
303         if (TryUnify) tryUnify(LI->getSuccessor(1), RI->getSuccessor(1));  in diff()
305       if (TryUnify) tryUnify(LI->getSuccessor(0), RI->getSuccessor(0));  in diff()
309       SwitchInst *LI = cast<SwitchInst>(L);  in diff()  local
311       if (!equivalentAsOperands(LI->getCondition(), RI->getCondition())) {  in diff()
315       if (TryUnify) tryUnify(LI->getDefaultDest(), RI->getDefaultDest());  in diff()
321       for (SwitchInst::CaseIt I = LI->case_begin(), E = LI->case_end();  in diff()
467            LI = L->arg_begin(), LE = L->arg_end(),  in diff()  local
469          LI != LE && RI != RE; ++LI, ++RI)  in diff()
470       Values[&*LI] = &*RI;  in diff()
522     for (BasicBlock::iterator LI = LStart; LI != LE; ++LI, ++Index) {  in runBlockDiff()  local
523       if (matchForBlockDiff(&*LI, &*RI)) {  in runBlockDiff()
527         TentativeValues.insert(std::make_pair(&*LI, &*RI));  in runBlockDiff()
547   BasicBlock::iterator LI = LStart, RI = RStart;  in runBlockDiff()  local
559     unify(&*LI, &*RI);  in runBlockDiff()
560     ++PI, ++LI, ++RI;  in runBlockDiff()
566       assert(LI != LE && RI != RE);  in runBlockDiff()
568         Instruction *L = &*LI, *R = &*RI;  in runBlockDiff()
572       ++LI; ++RI;  in runBlockDiff()
576       assert(LI != LE);  in runBlockDiff()
577       Diff.addLeft(&*LI);  in runBlockDiff()
578       ++LI;  in runBlockDiff()
591   while (LI != LE) {  in runBlockDiff()
593     unify(&*LI, &*RI);  in runBlockDiff()
594     ++LI, ++RI;  in runBlockDiff()