[ARITH] Improve min/max/div cases in RewriteSimplify (#3463)
authorTianqi Chen <tqchen@users.noreply.github.com>
Sat, 29 Jun 2019 23:12:43 +0000 (16:12 -0700)
committerGitHub <noreply@github.com>
Sat, 29 Jun 2019 23:12:43 +0000 (16:12 -0700)
commit75c29c6a1e16683c2660e362c769c311d54a22d6
treeacb1914efaba706cebb05f27b2675eb45b18d159
parent5d06835757dca1bbc2e4e2dbe4206990fb7ff0dc
[ARITH] Improve min/max/div cases in RewriteSimplify (#3463)

[PASS] Use new infra for lower warp memory
[ARITH] EvalSet recursively evaluates set in case dom_map contains set that need to be relaxed.
src/arithmetic/int_set.cc
src/arithmetic/rewrite_simplify.cc
src/pass/lower_warp_memory.cc
tests/python/unittest/test_arith_rewrite_simplify.py
tests/python/unittest/test_arith_stmt_simplify.py [moved from tests/python/unittest/test_pass_simplify.py with 100% similarity]
tests/python/unittest/test_pass_inject_copy_intrin.py