This is an automated email from the ASF dual-hosted git repository.
csullivan pushed a change to branch main
in repository https://gitbox.apache.org/repos/asf/tvm.git
from 7804a9886c [Hexagon] disable cache_write schedule type from sw
pipeline test (#13004)
add fc333f90e8 [TIR][Arith] Prove conditionals by transitively applying
knowns (#12863)
No new revisions were added by this update.
Summary of changes:
include/tvm/arith/analyzer.h | 114 ++-
src/arith/analyzer.cc | 3 +
src/arith/canonical_simplify.cc | 10 +-
src/arith/rewrite_simplify.cc | 79 +-
src/arith/rewrite_simplify.h | 28 +-
src/arith/transitive_comparison_analyzer.cc | 791 +++++++++++++++++++++
src/tir/transforms/simplify.cc | 34 +-
.../python/unittest/test_tir_transform_simplify.py | 141 +++-
8 files changed, 1172 insertions(+), 28 deletions(-)
create mode 100644 src/arith/transitive_comparison_analyzer.cc
