diff options
| author | Martin Jambor <mjambor@suse.cz> | 2014-04-17 15:53:59 +0200 |
|---|---|---|
| committer | Martin Jambor <jamborm@gcc.gnu.org> | 2014-04-17 15:53:59 +0200 |
| commit | 104cb50bd13ccb8ed1934ef3a8f90ec9e4e1c1de (patch) | |
| tree | b255138251190ed1adfba46943629741890a091d /gcc/gimple-iterator.c | |
| parent | b94970bc41f7b2c6ab28d52493f95efcf2fa97de (diff) | |
| download | gcc-104cb50bd13ccb8ed1934ef3a8f90ec9e4e1c1de.zip gcc-104cb50bd13ccb8ed1934ef3a8f90ec9e4e1c1de.tar.gz gcc-104cb50bd13ccb8ed1934ef3a8f90ec9e4e1c1de.tar.bz2 | |
gimple-iterator.c (gsi_start_edge): New function.
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.
From-SVN: r209487
Diffstat (limited to 'gcc/gimple-iterator.c')
| -rw-r--r-- | gcc/gimple-iterator.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/gimple-iterator.c b/gcc/gimple-iterator.c index 1cfeb73..8a1ec53 100644 --- a/gcc/gimple-iterator.c +++ b/gcc/gimple-iterator.c @@ -689,6 +689,15 @@ gsi_insert_seq_on_edge (edge e, gimple_seq seq) gimple_seq_add_seq (&PENDING_STMT (e), seq); } +/* Return a new iterator pointing to the first statement in sequence of + statements on edge E. Such statements need to be subsequently moved into a + basic block by calling gsi_commit_edge_inserts. */ + +gimple_stmt_iterator +gsi_start_edge (edge e) +{ + return gsi_start (PENDING_STMT (e)); +} /* Insert the statement pointed-to by GSI into edge E. Every attempt is made to place the statement in an existing basic block, but |