[ARITH][BACKPORT-0.6] fix a min/max simplify bug (#5749)
authorxqdan <danxiaoqiang@126.com>
Tue, 9 Jun 2020 15:34:27 +0000 (23:34 +0800)
committerGitHub <noreply@github.com>
Tue, 9 Jun 2020 15:34:27 +0000 (08:34 -0700)
commit0ea99698f4379eedba26b06a9f426e613bf5b25e
tree6f866b199f95323f92874187d22ef2ce75994058
parent2e1ef8e4b7e39bcd0ce68192c38800e2364e0984
[ARITH][BACKPORT-0.6] fix a min/max simplify bug (#5749)

* fix a min/max simplify bug

* fix cpplint

* turn into oposite when c1val<0 and add more case

* fix c1=0

Co-authored-by: xqdan <danxiaoqiang@huawei.com>
src/arith/rewrite_simplify.cc
tests/python/unittest/test_arith_rewrite_simplify.py