114   DifferenceEngine &Engine;  member in __anon246d63510111::FunctionDifferenceEngine
167       Engine.logf("successor %l cannot be equivalent to %r; "  in tryUnify()
181     DifferenceEngine::Context C(Engine, L, R);  in unify()
198     DifferenceEngine::Context C(Engine, L, R);  in diff()
236       if (Complain) Engine.log("called functions differ");  in diffCallSites()
240       if (Complain) Engine.log("argument counts differ");  in diffCallSites()
246           Engine.logf("arguments %l and %r differ")  in diffCallSites()
259       if (Complain) Engine.log("different instruction types");  in diff()
266         if (Complain) Engine.log("different predicates");  in diff()
278           if (Complain) Engine.log("different phi types");  in diff()
285           Engine.log("PHI node # of incoming values differ");  in diff()
296             Engine.log("PHI node incoming values differ");  in diff()
321           Engine.log("callbr # of indirect destinations differ");  in diff()
341         if (Complain) Engine.log("branch conditionality differs");  in diff()
347           if (Complain) Engine.log("branch conditions differ");  in diff()
359         if (Complain) Engine.log("indirectbr # of destinations differ");  in diff()
364         if (Complain) Engine.log("indirectbr addresses differ");  in diff()
379         if (Complain) Engine.log("switch conditions differ");  in diff()
399             Engine.logf("right switch has extra case %r") << CaseValue;  in diff()
409             Engine.logf("left switch has extra case %l") << I->first;  in diff()
418       if (Complain) Engine.log("instructions have different operand counts");  in diff()
425         if (Complain) Engine.logf("operands %l and %r differ") << LO << RO;  in diff()
444       return Engine.equivalentAsOperands(cast<GlobalValue>(L),  in equivalentAsOperands()
609   FunctionDifferenceEngine(DifferenceEngine &Engine,  in FunctionDifferenceEngine()  argument
612       : Engine(Engine), SavedLHS(SavedLHS), SavedRHS(SavedRHS),  in FunctionDifferenceEngine()
617       Engine.log("different argument counts");  in diff()
702   DiffLogBuilder Diff(Engine.getConsumer());  in runBlockDiff()