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/07/25 09:37:28 UTC

[tvm] branch last-successful updated (dc1324635a -> 4d84620d07)

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 dc1324635a tanh float16 (#12165)
     add 4d84620d07 [TIR] Well-Formed Verifier (#12166)

No new revisions were added by this update.

Summary of changes:
 include/tvm/tir/analysis.h                         |  11 +-
 python/tvm/tir/analysis/analysis.py                |  20 +++
 src/tir/analysis/verify_well_formed.cc             | 137 +++++++++++++++++++++
 src/tir/schedule/state.cc                          |   1 +
 .../test_tir_analysis_verify_well_formed.py        |  57 +++++++++
 .../test_tir_schedule_set_axis_separator.py        |   9 +-
 .../python/unittest/test_tir_schedule_set_scope.py |  15 +--
 7 files changed, 235 insertions(+), 15 deletions(-)
 create mode 100644 src/tir/analysis/verify_well_formed.cc
 create mode 100644 tests/python/unittest/test_tir_analysis_verify_well_formed.py