[GitHub] [tvm] csullivan commented on a diff in pull request #12863: [TIR][Arith] Prove conditionals by transitively applying knowns

csullivan commented on code in PR #12863: URL: https://github.com/apache/tvm/pull/12863#discussion_r989642453 ## src/arith/transitive_comparison_analyzer.cc: ## @@ -0,0 +1,683 @@ +/* + * Licensed to the Apache Software Foundation (ASF) under one + * or more contributor license

[GitHub] [tvm] csullivan commented on a diff in pull request #12863: [TIR][Arith] Prove conditionals by transitively applying knowns

csullivan commented on code in PR #12863: URL: https://github.com/apache/tvm/pull/12863#discussion_r988193162 ## include/tvm/arith/analyzer.h: ## @@ -275,6 +275,36 @@ class RewriteSimplifier { */ std::function EnterConstraint(const PrimExpr& constraint); + /*! \brief