[Bug tree-optimization/47271] [4.6 Regression] if-conversion removes a test (if), the function generates invalid outputs

[dnovillo at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47271

--- Comment #18 from Diego Novillo <dnovillo at gcc dot gnu.org> 2011-02-02 17:46:36 UTC ---
Author: dnovillo
Date: Wed Feb  2 17:46:33 2011
New Revision: 169581

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=169581
Log:
Fix PR47271: only if-convert full writes.

2011-01-25  Sebastian Pop  <sebastian.pop@amd.com>
        Jakub Jelinek  <jakub@redhat.com>

    PR tree-optimization/47271
    * tree-if-conv.c (bb_postdominates_preds): New.
    (if_convertible_bb_p): Call bb_postdominates_preds.
    (if_convertible_loop_p_1): Compute CDI_POST_DOMINATORS.
    (predicate_scalar_phi): Call bb_postdominates_preds.

    * gcc.dg/tree-ssa/ifc-pr47271.c: New.

Added:
    branches/google/integration/gcc/testsuite/gcc.dg/tree-ssa/ifc-pr47271.c
Modified:
    branches/google/integration/gcc/ChangeLog
    branches/google/integration/gcc/testsuite/ChangeLog
    branches/google/integration/gcc/tree-if-conv.c