This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r176442 - in /trunk/gcc: ChangeLog gimplify.c t...
- From: rguenth at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 19 Jul 2011 10:57:16 -0000
- Subject: r176442 - in /trunk/gcc: ChangeLog gimplify.c t...
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