diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr81203.c | 10 | ||||
| -rw-r--r-- | gcc/tree-tailcall.c | 5 |
4 files changed, 26 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 41d5f57..27ed3f9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-06-26 Richard Biener <rguenther@suse.de> + + PR tree-optimization/81203 + * tree-tailcall.c (find_tail_calls): Do not move stmts into + non-dominating BBs. + 2017-06-26 Marek Polacek <polacek@redhat.com> PR c/80116 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0a5b8a8..9f9c123 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-06-26 Richard Biener <rguenther@suse.de> + + PR tree-optimization/81203 + * gcc.dg/torture/pr81203.c: New testcase. + 2017-06-26 Marek Polacek <polacek@redhat.com> PR c/80116 diff --git a/gcc/testsuite/gcc.dg/torture/pr81203.c b/gcc/testsuite/gcc.dg/torture/pr81203.c new file mode 100644 index 0000000..5c9eaf5 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr81203.c @@ -0,0 +1,10 @@ +/* { dg-do compile } */ + +int a; +int b() +{ + int c, d; + if (a) + d = b(); + return 1 + c + d; +} diff --git a/gcc/tree-tailcall.c b/gcc/tree-tailcall.c index 6aa9a56..e0497e5 100644 --- a/gcc/tree-tailcall.c +++ b/gcc/tree-tailcall.c @@ -573,6 +573,11 @@ find_tail_calls (basic_block bb, struct tailcall **ret) { if (! tail_recursion) return; + /* Do not deal with checking dominance, the real fix is to + do path isolation for the transform phase anyway, removing + the need to compute the accumulators with new stmts. */ + if (abb != bb) + return; for (unsigned opno = 1; opno < gimple_num_ops (stmt); ++opno) { tree op = gimple_op (stmt, opno); |