diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr83581.c | 21 | ||||
| -rw-r--r-- | gcc/tree-loop-distribution.c | 2 |
4 files changed, 29 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a0c9bf8..97c7a10 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2018-01-01 Jakub Jelinek <jakub@redhat.com> + PR tree-optimization/83581 + * tree-loop-distribution.c (pass_loop_distribution::execute): Return + TODO_cleanup_cfg if any changes have been made. + PR middle-end/83608 * expr.c (store_expr_with_bounds): Use simplify_gen_subreg instead of convert_modes if target mode has the right side, but different mode diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a9b2008..416bcd5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2018-01-01 Jakub Jelinek <jakub@redhat.com> + PR tree-optimization/83581 + * gcc.dg/pr83581.c: New test. + PR c/83595 * gcc.dg/pr83595.c: New test. diff --git a/gcc/testsuite/gcc.dg/pr83581.c b/gcc/testsuite/gcc.dg/pr83581.c new file mode 100644 index 0000000..c145eff --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr83581.c @@ -0,0 +1,21 @@ +/* PR tree-optimization/83581 */ +/* { dg-do compile } */ +/* { dg-options "-O3 -fno-tree-copy-prop -fno-tree-loop-im" } */ + +int a, b, c; + +int +foo (int x) +{ + int *d = &x; + while (a < 1) + { + for (b = 0; b < 2; ++b) + { + *d += !!x + 1; + d = &c; + } + ++a; + } + return *d; +} diff --git a/gcc/tree-loop-distribution.c b/gcc/tree-loop-distribution.c index e195a46a..bd780fa 100644 --- a/gcc/tree-loop-distribution.c +++ b/gcc/tree-loop-distribution.c @@ -3103,7 +3103,7 @@ pass_loop_distribution::execute (function *fun) checking_verify_loop_structure (); - return 0; + return changed ? TODO_cleanup_cfg : 0; } } // anon namespace |