gimple.c (canonicalize_cond_expr_cond): Handle cast from boolean-type.
authorKai Tietz <ktietz@redhat.com>
Tue, 2 Aug 2011 14:55:47 +0000 (16:55 +0200)
committerKai Tietz <ktietz@gcc.gnu.org>
Tue, 2 Aug 2011 14:55:47 +0000 (16:55 +0200)
commit9b80d091af4760e4c8869917790bd01465b7a59e
tree9ab01933186298e3c020529082506e008ea0077a
parent7b9db92637e1e8229f3ab026d4b9c5ef3072b7a5
gimple.c (canonicalize_cond_expr_cond): Handle cast from boolean-type.

* 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.

From-SVN: r177170
gcc/ChangeLog
gcc/gimple-fold.c
gcc/gimple.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/forwprop-15.c [new file with mode: 0644]
gcc/tree-ssa-forwprop.c