Simplify X /[ex] 8 == 0
authorMarc Glisse <marc.glisse@inria.fr>
Sun, 20 Nov 2016 15:32:37 +0000 (16:32 +0100)
committerMarc Glisse <glisse@gcc.gnu.org>
Sun, 20 Nov 2016 15:32:37 +0000 (15:32 +0000)
commit40fd269ab128d1f5fa7688d7d5e7298744c08cdd
tree24fa579ac055b2df237950de895300575de9cbe4
parent8294f55513cd9f15b6ac729265c45a7a6837898f
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.

From-SVN: r242638
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]