Lunderberg opened a new pull request, #12942: URL: https://github.com/apache/tvm/pull/12942
Previously, rewrites of boolean expressions were handled directly within `RewriteSimplifier` visitors. This commit extracts the handling of `And`, `Or`, and `Not` nodes into an independent internal utility. The `RewriteBooleanOperators` utility can simplifies these nodes, assuming that the arguments to these expressions are already simplified. (e.g. Finding the negation of `(a < b)` without needing to recurse into `a` or `b`.) This will be used as part of additional simplifications required by [buffer layout padding](https://github.com/apache/tvm/issues/12261). Because no external functionality should be added or changed by this refactor, this commit does not introduce any additional unit tests. -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
