[Bug tree-optimization/41490] tree-ssa-sink does not really work

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-03-15 
11:09:14 UTC ---
Author: rguenth
Date: Tue Mar 15 11:09:09 2011
New Revision: 170984

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170984
Log:
2011-03-15  Richard Guenther  <rguent...@suse.de>

    PR tree-optimization/41490
    * tree-ssa-dce.c (propagate_necessity): Handle returns without
    value but with VUSE.
    * tree-ssa-operands.c (parse_ssa_operands): Add a VUSE on all
    return statements.
    * tree-ssa-sink.c (statement_sink_location): Fix store sinking.
    * tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Handle virtual PHIs.
    * tree-tailcall.c (find_tail_calls): Ignore returns.

    * gcc.dg/tree-ssa/ssa-sink-6.c: New testcase.
    * gcc.dg/tree-ssa/ssa-sink-7.c: Likewise.
    * gcc.dg/tree-ssa/ssa-sink-8.c: Likewise.
    * gcc.dg/tree-ssa/ssa-sink-9.c: Likewise.
    * g++.dg/tree-ssa/pr33604.C: Adjust.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-sink-6.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-sink-7.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-sink-8.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-sink-9.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr33604.C
    trunk/gcc/tree-ssa-dce.c
    trunk/gcc/tree-ssa-operands.c
    trunk/gcc/tree-ssa-phiopt.c
    trunk/gcc/tree-ssa-sink.c
    trunk/gcc/tree-tailcall.c