[GitHub] [tvm] Lunderberg commented on a diff in pull request #14532: [Arith] Implement statistics counters for RewriteSimplifier

["Lunderberg (via GitHub)" <gi...@apache.org>]

Lunderberg commented on code in PR #14532:
URL: https://github.com/apache/tvm/pull/14532#discussion_r1161728591


##########
src/arith/rewrite_simplify.h:
##########
@@ -39,6 +40,36 @@ namespace arith {
 
 using namespace tir;
 
+struct RewriteSimplifierStatsNode : Object {
+  int nodes_visited{0};
+  int constraints_entered{0};
+  int rewrites_attempted{0};

Review Comment:
   Thank you, updated here and in the `SetMaximumRewriteSteps` method.



-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org