r227346 - in /trunk/gcc: ChangeLog fold-const.c...

[glisse@gcc.gnu.org]

Author: glisse
Date: Mon Aug 31 14:02:00 2015
New Revision: 227346

URL: https://gcc.gnu.org/viewcvs?rev=227346&root=gcc&view=rev
Log:
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.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/cmp-1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree.c
    trunk/gcc/tree.h