114   DifferenceEngine &Engine;  member in __anon20320b320111::FunctionDifferenceEngine
160       Engine.logf("successor %l cannot be equivalent to %r; "  in tryUnify()
174     DifferenceEngine::Context C(Engine, L, R);  in unify()
191     DifferenceEngine::Context C(Engine, L, R);  in diff()
228       if (Complain) Engine.log("called functions differ");  in diffCallSites()
232       if (Complain) Engine.log("argument counts differ");  in diffCallSites()
238           Engine.logf("arguments %l and %r differ")  in diffCallSites()
250       if (Complain) Engine.log("different instruction types");  in diff()
257         if (Complain) Engine.log("different predicates");  in diff()
268           if (Complain) Engine.log("different phi types");  in diff()
291         if (Complain) Engine.log("branch conditionality differs");  in diff()
297           if (Complain) Engine.log("branch conditions differ");  in diff()
309         if (Complain) Engine.log("indirectbr # of destinations differ");  in diff()
314         if (Complain) Engine.log("indirectbr addresses differ");  in diff()
329         if (Complain) Engine.log("switch conditions differ");  in diff()
349             Engine.logf("right switch has extra case %r") << CaseValue;  in diff()
357             Engine.logf("left switch has extra case %l") << I->first;  in diff()
366       if (Complain) Engine.log("instructions have different operand counts");  in diff()
373         if (Complain) Engine.logf("operands %l and %r differ") << LO << RO;  in diff()
391       return Engine.equivalentAsOperands(cast<GlobalValue>(L),  in equivalentAsOperands()
486   FunctionDifferenceEngine(DifferenceEngine &Engine) :  in FunctionDifferenceEngine()  argument
487     Engine(Engine), Queue(QueueSorter(*this_())) {}  in FunctionDifferenceEngine()
491       Engine.log("different argument counts");  in diff()
577   DiffLogBuilder Diff(Engine.getConsumer());  in runBlockDiff()