This is an automated email from the ASF dual-hosted git repository.
wuwei pushed a change to branch main
in repository https://gitbox.apache.org/repos/asf/tvm.git
from 03eefe0b41 [ci] Add @tvm-bot rerun (#11480)
add c78539cc59 [TIR][Arith] Additional Simplifications Inside Conditionals
(#11524)
No new revisions were added by this update.
Summary of changes:
src/arith/const_int_bound.cc | 3 +
.../skip_assert.cc => arith/constraint_extract.cc} | 56 ++---
src/arith/constraint_extract.h | 58 +++++
src/arith/modular_set.cc | 4 +
src/arith/rewrite_simplify.cc | 50 ++++-
src/arith/rewrite_simplify.h | 9 +
.../python/unittest/test_tir_transform_simplify.py | 233 ++++++++++++++++++++-
7 files changed, 371 insertions(+), 42 deletions(-)
copy src/{tir/transforms/skip_assert.cc => arith/constraint_extract.cc} (50%)
create mode 100644 src/arith/constraint_extract.h
