Searched refs:tracePostEqRewrite (Results 1 – 16 of 16) sorted by relevance
166 context.tracePostEqRewrite(subject); in eqRewrite()188 context.tracePostEqRewrite(subject); in eqRewrite()219 context.tracePostEqRewrite(subject); in eqRewrite()
86 void tracePostEqRewrite(DagNode* replacement);
190 UserLevelRewritingContext::tracePostEqRewrite(DagNode* replacement) in tracePostEqRewrite() function in UserLevelRewritingContext
4736 (tracePostRuleRewrite, tracePreRuleRewrite, tracePostEqRewrite) 4768 (tracePostEqRewrite): use getFlag() rather than traceWholeFlag6741 (tracePostEqRewrite): updated Assert()14665 * userLevelRewritingContext.cc (tracePostEqRewrite): stripped14678 * userLevelRewritingContext.cc (tracePostEqRewrite): first attempt
127 context.tracePostEqRewrite(subject); in applyReplace()216 context.tracePostEqRewrite(subject); in applyReplaceNoOwise()
97 virtual void tracePostEqRewrite(DagNode* replacement);340 tracePostEqRewrite(old); in builtInReplace()
73 context.tracePostEqRewrite(subject); in memoRewrite()
106 RewritingContext::tracePostEqRewrite(DagNode* /* replacement */) in tracePostEqRewrite() function in RewritingContext
5901 (tracePostEqRewrite): added
94 context.tracePostEqRewrite(subject); in eqRewrite()
108 context.tracePostEqRewrite(subject); in rewriteToFloat()
231 context.tracePostEqRewrite(subject); in rewriteToNat()
499 context.tracePostEqRewrite(subject); in rewriteToString()
337 context.tracePostEqRewrite(subject); in slowMatchReplace2()
4152 and tracePostEqRewrite()
3175 (applyReplace): use tracePreEqRewrite() and tracePostEqRewrite()3176 (foreignApplyReplace2): use tracePreEqRewrite() and tracePostEqRewrite()