You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by gi...@apache.org on 2022/10/13 23:06:43 UTC

[tvm] branch last-successful updated (f06896f38f -> 29a8f06066)

This is an automated email from the ASF dual-hosted git repository.

github-bot pushed a change to branch last-successful
in repository https://gitbox.apache.org/repos/asf/tvm.git


    from f06896f38f [Relay] Fix simplifying consecutive casts when intermediate type has fewer bits (#13056)
     add 29a8f06066 [Arith] Optional rewriting and simplification into AND of ORs (#12972)

No new revisions were added by this update.

Summary of changes:
 include/tvm/arith/analyzer.h                       |   8 +
 src/arith/conjunctive_normal_form.cc               | 430 +++++++++++++++++++++
 .../conjunctive_normal_form.h}                     |  33 +-
 src/arith/rewrite_simplify.cc                      |  11 +
 src/arith/rewrite_simplify.h                       |   4 +
 src/tir/transforms/simplify.cc                     |   9 +-
 .../python/unittest/test_tir_transform_simplify.py | 130 +++++++
 7 files changed, 613 insertions(+), 12 deletions(-)
 create mode 100644 src/arith/conjunctive_normal_form.cc
 copy src/{relay/backend/param_dict.h => arith/conjunctive_normal_form.h} (60%)