projects / platform / upstream / tvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e5c65a) | patch
Enhanced simplification rules for Div by a positive constant (#2346)
authorSalem Derisavi <derisavi@users.noreply.github.com>
Fri, 4 Jan 2019 18:02:44 +0000 (13:02 -0500)
committerYizhi Liu <liuyizhi@apache.org>
Fri, 4 Jan 2019 18:02:44 +0000 (10:02 -0800)
commita5eb4451b50703e28f6d77de2615b41b6f82fba2
tree0ed2aeafa5181a9b90ed9887f40023bb168ddf04tree | snapshot
parent6e5c65ac87d1eb6c8705ceda14ac4730a3595c43commit | diff
Enhanced simplification rules for Div by a positive constant (#2346)

* Enhanced simplification rules for Div by a positive constant

* Fixed my last commit to correctly interpret TVM's division as truncated division

* Fixed implemenation of IntSet::can_prove_non_positive()

* addressed comments by @yzhliu

* addressed comments by @sgrechanik-h

* addressed more comments by @yzhliu
include/tvm/arithmetic.h diff | blob | history
src/arithmetic/canonical.cc diff | blob | history
src/arithmetic/int_set.cc diff | blob | history
tests/python/unittest/test_arith_simplify.py diff | blob | history
Domain: Machine Learning / ML Framework;