[Bug tree-optimization/64084] [5 Regression] match-and-simplify prefers complex matches

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64084

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Nov 28 08:57:43 2014
New Revision: 218141

URL: https://gcc.gnu.org/viewcvs?rev=218141&root=gcc&view=rev
Log:
2014-11-28  Richard Biener  <rguent...@suse.de>

    PR middle-end/64084
    * genmatch.c (dt_node::gen_kids_1): New function, split out
    from dt_node::gen_kids.
    (decision_tree::cmp_node): DT_TRUE are generally not equal.
    (decision_tree::find_node): Treat DT_TRUE as barrier for
    node CSE on the same level.
    (dt_node::append_node): Do not keep DT_TRUE last.
    (dt_node::gen_kids): Emit code after each DT_TRUE node seen.

    * gcc.dg/tree-ssa/ssa-ccp-34.c: New testcase.
    * gcc.dg/tree-ssa/forwprop-31.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/forwprop-31.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-34.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/genmatch.c
    trunk/gcc/testsuite/ChangeLog