Simplify X /[ex] 8 == 0
commitd040acf9713e6810b1eeb927296f42c497672272
authorglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 20 Nov 2016 15:32:37 +0000 (20 15:32 +0000)
committerglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 20 Nov 2016 15:32:37 +0000 (20 15:32 +0000)
tree24fa579ac055b2df237950de895300575de9cbe4
parent0dabddb200ff420c984f8a15e4f0a6b25c9164c8
Simplify X /[ex] 8 == 0

2016-11-20  Marc Glisse  <marc.glisse@inria.fr>

gcc/
* fold-const.c (fold_comparison): Ignore EXACT_DIV_EXPR.
* match.pd (A /[ex] B CMP C): New simplifications.

gcc/testsuite/
* gcc.dg/tree-ssa/cmpexactdiv.c: New file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@242638 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/fold-const.c
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/cmpexactdiv.c [new file with mode: 0644]