r176442 - in /trunk/gcc: ChangeLog gimplify.c t...

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Tue Jul 19 10:57:15 2011
New Revision: 176442

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176442
Log:
2011-07-19  Richard Guenther  <rguenther@suse.de>

	* gimplify.c (gimplify_expr): Gimplify TRUTH_NOT_EXPR as
	BIT_XOR_EXPR, same as the RTL expander does.
	* tree-cfg.c (verify_expr): Disallow TRUTH_NOT_EXPR in the gimple IL.
	(verify_gimple_assign_unary): Likewise.
	* tree-ssa-propagate.c (valid_gimple_rhs_p): Disallow TRUTH_*_EXPR.
	* tree-ssa-forwprop.c (forward_propagate_comparison): Handle
	BIT_NOT_EXPR and BIT_XOR_EXPR instead of TRUTH_NOT_EXPR.

	* gcc.dg/tree-ssa/bool-10.c: Adjust expected pattern.
	* gcc.dg/tree-ssa/bool-11.c: Likewise.
	* gcc.dg/torture/20110719-1.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/20110719-1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimplify.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/bool-10.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/bool-11.c
    trunk/gcc/tree-cfg.c
    trunk/gcc/tree-ssa-forwprop.c
    trunk/gcc/tree-ssa-propagate.c