Lunderberg commented on code in PR #12863:
URL: https://github.com/apache/tvm/pull/12863#discussion_r989376748
##########
include/tvm/arith/analyzer.h:
##########
@@ -275,6 +275,36 @@ class RewriteSimplifier {
*/
std::function<void()> EnterConstraint(const PrimExpr& constraint);
+ /*! \brief Flags to enable more computationally-intensive simplifications
+ *
+ * These simplifications may be required for specific schedules, but
+ * would impose too high a compile-time cost to enable by default.
+ * They can be enabled on an as-needed basis by calling
+ * `RewriteSimplifier::SetEnabledFeatures` prior to using
+ * `RewriteSimplifier::operator()`.
+ */
+ enum Feature {
+ // No features enabled
+ kNone = 0,
+
+ /* When simplifying an inequality, attempt to use scope-based knowns.
+ *
+ * Example:
+ * if_then_else(i<j && j<k, i<k, false) => if_then_else(i<j && j<k, true,
false)
+ */
+ kTransitivelyProveInequalities = (1 << 0),
Review Comment:
That's correct, additional entries are expected. (e.g.
https://github.com/apache/tvm/pull/12972) Good call on the documentation, and
I've added a comment about it.
--
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]
