diff options
author | Vladimir Makarov <vmakarov@gcc.gnu.org> | 2011-05-24 16:28:38 +0000 |
---|---|---|
committer | Vladimir Makarov <vmakarov@gcc.gnu.org> | 2011-05-24 16:28:38 +0000 |
commit | 8c5fdaaefc5b028fed17e9cfca25f30867b1cf3b (patch) | |
tree | 4fb4b54df96d20c8e00030ffa6393278042fcecf | |
parent | 113a5be6a925073c43ccc1bbe2df98d5dade330a (diff) | |
download | gcc-8c5fdaaefc5b028fed17e9cfca25f30867b1cf3b.zip gcc-8c5fdaaefc5b028fed17e9cfca25f30867b1cf3b.tar.gz gcc-8c5fdaaefc5b028fed17e9cfca25f30867b1cf3b.tar.bz2 |
[multiple changes]
2011-05-24 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/48633
* ira-build.c (loop_with_eh_edge_p): New function.
(mark_loops_for_removal): Use it.
2011-05-24 Michael Matz <matz@gcc.gnu.org>
PR rtl-optimization/48633
* g++.dg/pr48633.C: New test.
From-SVN: r174124
-rw-r--r-- | gcc/ChangeLog | 8 | ||||
-rw-r--r-- | gcc/ira-build.c | 32 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/pr48633.C | 28 |
4 files changed, 68 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ee5f9f5..91e550a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,4 +1,10 @@ -2011-05-13 Vladimir Makarov <vmakarov@redhat.com> +2011-05-24 Vladimir Makarov <vmakarov@redhat.com> + + PR rtl-optimization/48633 + * ira-build.c (loop_with_eh_edge_p): New function. + (mark_loops_for_removal): Use it. + +2011-05-24 Vladimir Makarov <vmakarov@redhat.com> PR rtl-optimization/48971 * ira.c (setup_pressure_classes): Don't check register move cost diff --git a/gcc/ira-build.c b/gcc/ira-build.c index 09897d9..31d0199 100644 --- a/gcc/ira-build.c +++ b/gcc/ira-build.c @@ -1806,6 +1806,25 @@ low_pressure_loop_node_p (ira_loop_tree_node_t node) return true; } +/* Return TRUE if LOOP has a EH enter or exit edge. */ +static bool +loop_with_eh_edge_p (struct loop *loop) +{ + int i; + edge_iterator ei; + edge e; + VEC (edge, heap) *edges; + + FOR_EACH_EDGE (e, ei, loop->header->preds) + if (e->flags & EDGE_EH) + return true; + edges = get_loop_exit_edges (loop); + FOR_EACH_VEC_ELT (edge, edges, i, e) + if (e->flags & EDGE_EH) + return true; + return false; +} + /* Sort loops for marking them for removal. We put already marked loops first, then less frequent loops next, and then outer loops next. */ @@ -1829,14 +1848,18 @@ loop_compare_func (const void *v1p, const void *v2p) return l1->loop->num - l2->loop->num; } - /* Mark loops which should be removed from regional allocation. We remove a loop with low register pressure inside another loop with register pressure. In this case a separate allocation of the loop hardly helps (for irregular register file architecture it could help by choosing a better hard register in the loop but we prefer faster allocation even in this case). We also remove cheap loops - if there are more than IRA_MAX_LOOPS_NUM of them. */ + if there are more than IRA_MAX_LOOPS_NUM of them. Loop with EH + exit or enter edges are removed too because the allocation might + require put pseudo moves on the EH edges (we could still do this + for pseudos with caller saved hard registers in some cases but it + is impossible to say here or during top-down allocation pass what + hard register the pseudos get finally). */ static void mark_loops_for_removal (void) { @@ -1859,8 +1882,9 @@ mark_loops_for_removal (void) } sorted_loops[n++] = &ira_loop_nodes[i]; ira_loop_nodes[i].to_remove_p - = (low_pressure_loop_node_p (ira_loop_nodes[i].parent) - && low_pressure_loop_node_p (&ira_loop_nodes[i])); + = ((low_pressure_loop_node_p (ira_loop_nodes[i].parent) + && low_pressure_loop_node_p (&ira_loop_nodes[i])) + || loop_with_eh_edge_p (ira_loop_nodes[i].loop)); } qsort (sorted_loops, n, sizeof (ira_loop_tree_node_t), loop_compare_func); for (i = 0; n - i + 1 > IRA_MAX_LOOPS_NUM; i++) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index bdc0f3e..beee8a6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-05-24 Michael Matz <matz@gcc.gnu.org> + + PR rtl-optimization/48633 + * g++.dg/pr48633.C: New test. + 2011-05-24 Uros Bizjak <ubizjak@gmail.com> PR target/49133 diff --git a/gcc/testsuite/g++.dg/pr48633.C b/gcc/testsuite/g++.dg/pr48633.C new file mode 100644 index 0000000..90f053a --- /dev/null +++ b/gcc/testsuite/g++.dg/pr48633.C @@ -0,0 +1,28 @@ +/* { dg-do compile} */ +/* { dg-options "-O2 -fira-region=all -fnon-call-exceptions" } */ +extern long double getme (void); +extern void useme (long double); +struct Frame { + long double tmp; +}; +void bugme (int n, long double ld1, long double ld2, long double ld3, + long double ld4, long double ld5) +{ + Frame f; + int i; + f.tmp = getme(); + try { + for (i = 0; i < n; i++) + { + f.tmp += 1.0; + } + } catch (...) { + f.tmp += 1.0; + } + ld1++; + ld2++; + ld3++; + ld4++; + ld5++; + useme (f.tmp); +} |