r177170 - in /trunk/gcc: ChangeLog gimple-fold....

[ktietz@gcc.gnu.org]

Author: ktietz
Date: Tue Aug  2 14:55:47 2011
New Revision: 177170

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177170
Log:
	* gimple.c (canonicalize_cond_expr_cond): Handle cast from
	boolean-type.
	(ssa_forward_propagate_and_combine): Interprete result of
	forward_propagate_comparison.
	* gcc/gimple-fold.c (fold_gimple_assign): Add canonicalization for
	boolean-typed operands for comparisons.

	* gcc.dg/tree-ssa/forwprop-15.c: New testcase.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/forwprop-15.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-fold.c
    trunk/gcc/gimple.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-forwprop.c