2014-04-17 Martin Jambor <mjambor@suse.cz>
commit1605ba4b430d4327259804993a2c18529037afe9
authorjamborm <jamborm@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 17 Apr 2014 13:53:59 +0000 (17 13:53 +0000)
committerjamborm <jamborm@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 17 Apr 2014 13:53:59 +0000 (17 13:53 +0000)
treeb255138251190ed1adfba46943629741890a091d
parentbd5e1815d956634ba4558438914b33382f1fe47f
2014-04-17  Martin Jambor  <mjambor@suse.cz>

* gimple-iterator.c (gsi_start_edge): New function.
* gimple-iterator.h (gsi_start_edge): Declare.
* tree-sra.c (single_non_eh_succ): New function.
(disqualify_ops_if_throwing_stmt): Renamed to
disqualify_if_bad_bb_terminating_stmt.  Allow throwing statements
having one non-EH successor BB.
(sra_modify_expr): If stmt ends bb, use single non-EH successor to
generate loads into replacements.
(sra_modify_assign): Likewise and and also use the simple path for
such statements.
(sra_modify_function_body): Commit statements on edges.

testsuite/
* gnat.dg/opt34.adb: New.
* gnat.dg/opt34_pkg.ads: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@209487 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/gimple-iterator.c
gcc/gimple-iterator.h
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/opt34.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/opt34_pkg.ads [new file with mode: 0644]
gcc/tree-sra.c