115   DifferenceEngine &Engine;  member in __anonaa9132c40111::FunctionDifferenceEngine
161       Engine.logf("successor %l cannot be equivalent to %r; "  in tryUnify()
175     DifferenceEngine::Context C(Engine, L, R);  in unify()
192     DifferenceEngine::Context C(Engine, L, R);  in diff()
229       if (Complain) Engine.log("called functions differ");  in diffCallSites()
233       if (Complain) Engine.log("argument counts differ");  in diffCallSites()
239           Engine.logf("arguments %l and %r differ")  in diffCallSites()
251       if (Complain) Engine.log("different instruction types");  in diff()
258         if (Complain) Engine.log("different predicates");  in diff()
269           if (Complain) Engine.log("different phi types");  in diff()
292         if (Complain) Engine.log("branch conditionality differs");  in diff()
298           if (Complain) Engine.log("branch conditions differ");  in diff()
310         if (Complain) Engine.log("switch conditions differ");  in diff()
332             Engine.logf("right switch has extra case %r") << CaseValue;  in diff()
340             Engine.logf("left switch has extra case %l") << I->first;  in diff()
349       if (Complain) Engine.log("instructions have different operand counts");  in diff()
356         if (Complain) Engine.logf("operands %l and %r differ") << LO << RO;  in diff()
374       return Engine.equivalentAsOperands(cast<GlobalValue>(L),  in equivalentAsOperands()
456   FunctionDifferenceEngine(DifferenceEngine &Engine) :  in FunctionDifferenceEngine()  argument
457     Engine(Engine), Queue(QueueSorter(*this_())) {}  in FunctionDifferenceEngine()
461       Engine.log("different argument counts");  in diff()
547   DiffLogBuilder Diff(Engine.getConsumer());  in runBlockDiff()