Move some comparison simplifications to match.pd
commit06e4870e3d20bb71848afa16d4e9fac4224fa7ba
authorglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 31 Aug 2015 14:02:00 +0000 (31 14:02 +0000)
committerglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 31 Aug 2015 14:02:00 +0000 (31 14:02 +0000)
treea33c135ce9d2d8750a86956b05a1741e6d13de2e
parent5a7d537d7b3b9c218e8579d9dc6d57a45fc0d2ea
Move some comparison simplifications to match.pd

2015-08-31  Marc Glisse  <marc.glisse@inria.fr>

gcc/
* tree.h (zerop): New function.
* tree.c (zerop): Likewise.
(element_precision): Handle expressions.
* match.pd (define_predicates): Add zerop.
(x <= +Inf): Fix comment.
(abs (x) == 0, A & C == C, A & C != 0): Converted from ...
* fold-const.c (fold_binary_loc): ... here. Remove.

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

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