projects / platform / upstream / tvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5fdb00) | patch
[ARITH] Improve div/mod in rewrite simplifier (#3149)
authorSergei Grechanik <grechanik.sergey@huawei.com>
Mon, 27 May 2019 16:33:13 +0000 (19:33 +0300)
committerTianqi Chen <tqchen@users.noreply.github.com>
Mon, 27 May 2019 16:33:13 +0000 (09:33 -0700)
commit8814adab8ab082c8bc232635dd591c6bcdc9ea84
tree54839167ceeb56d9ca0cd5a6b8165feffb6f95abtree | snapshot
parentc5fdb0003b36d53761ab453f82843465d3d37f8ccommit | diff
[ARITH] Improve div/mod in rewrite simplifier (#3149)

* [ARITH] Improve div/mod in rewrite simplifier

* Fix lint error

* Fuller file name in src/arithmetic/modular_set.h

Co-Authored-By: Wei Chen <ipondering.weic@gmail.com>
* Generalize some rules

* Replace gcd factoring with specialized rules

* Mark rules that don't work for non-truncated division

* More tests
src/arithmetic/modular_set.cc diff | blob | history
src/arithmetic/rewrite_simplify.cc diff | blob | history
tests/python/unittest/test_arith_rewrite_simplify.py diff | blob | history
Domain: Machine Learning / ML Framework;