Fixes #1354. Do not merge integer division.
authorAlan Baker <alanbaker@google.com>
Tue, 27 Feb 2018 21:19:09 +0000 (16:19 -0500)
committerDavid Neto <dneto@google.com>
Wed, 28 Feb 2018 18:33:21 +0000 (13:33 -0500)
commit9457cabbcea2c092bdaab9c297e497045d41e81a
tree42fb614152226d4a21bbb7873a61b2e961d77376
parent588f4fcc95b3ef926cd05b3378c8a90d3ba73f66
Fixes #1354. Do not merge integer division.

* Removes merging of div with a div or mul for integers
* Updated tests
source/opt/folding_rules.cpp
test/opt/fold_test.cpp