[Bug tree-optimization/52005] tree-ssa-combineif does not work with some cfgs

[glisse at gcc dot gnu.org]

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

--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> 2012-08-06 16:38:52 
UTC ---
Author: glisse
Date: Mon Aug  6 16:38:48 2012
New Revision: 190184

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=190184
Log:
2012-08-06 Marc Glisse <marc.gli...@inria.fr>

gcc/
    PR tree-optimization/51938
    PR tree-optimization/52005
    * tree-ssa-ifcombine.c (ifcombine_ifandif): New parameters for
    inverted conditions.
    (ifcombine_iforif): Remove, merge code into ifcombine_ifandif.
    (tree_ssa_ifcombine_bb): Update calls to the above. Detect !a&&b
    and !a||b patterns.

gcc/testsuite/
    PR tree-optimization/51938
    PR tree-optimization/52005
    * gcc.dg/tree-ssa/ssa-ifcombine-8.c: New testcase.
    * gcc.dg/tree-ssa/ssa-ifcombine-9.c: Likewise.
    * gcc.dg/tree-ssa/ssa-ifcombine-10.c: Likewise.
    * gcc.dg/tree-ssa/ssa-ifcombine-11.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-10.c   (with props)
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-11.c   (with props)
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-8.c   (with props)
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-9.c   (with props)
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-ifcombine.c

Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-10.c
            ('svn:eol-style' added)

Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-10.c
            ('svn:keywords' added)

Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-11.c
            ('svn:eol-style' added)

Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-11.c
            ('svn:keywords' added)

Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-8.c
            ('svn:eol-style' added)

Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-8.c
            ('svn:keywords' added)

Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-9.c
            ('svn:eol-style' added)

Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-9.c
            ('svn:keywords' added)