diff options
| author | Richard Biener <rguenther@suse.de> | 2022-02-24 14:34:52 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-02-24 15:57:55 +0100 |
| commit | a4066d3a5097333f17c0d7be1630a98f3a5b1c1d (patch) | |
| tree | 80b6af5e2320a248545141ad0fd08447ccc63b28 | |
| parent | 9251b457eb8df912f2e8203d0ee8ab300c041520 (diff) | |
| download | gcc-a4066d3a5097333f17c0d7be1630a98f3a5b1c1d.zip gcc-a4066d3a5097333f17c0d7be1630a98f3a5b1c1d.tar.gz gcc-a4066d3a5097333f17c0d7be1630a98f3a5b1c1d.tar.bz2 | |
tree-optimization/104676 - free nb_iterations after loop distribution
Loop distribution can release SSA names used in nb_iterations, make
sure to release those.
2022-02-24 Richard Biener <rguenther@suse.de>
PR tree-optimization/104676
* tree-loop-distribution.cc (loop_distribution::execute):
Do a full scev_reset.
* gcc.dg/torture/pr104676.c: New testcase.
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr104676.c | 35 | ||||
| -rw-r--r-- | gcc/tree-loop-distribution.cc | 2 |
2 files changed, 36 insertions, 1 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/pr104676.c b/gcc/testsuite/gcc.dg/torture/pr104676.c new file mode 100644 index 0000000..50845bb --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr104676.c @@ -0,0 +1,35 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-ftree-loop-distribution -ftree-parallelize-loops=2" } */ + +struct S { + int f; +}; + +int n; + +int +foo (struct S *s) +{ + int arr[3]; + int v = 0; + + for (n = 0; n < 2; ++n) + { + int i; + + for (i = 0; i < 2; ++i) + { + int j; + + for (j = 0; j < s->f; ++j) + ++v; + } + + if (v) + arr[0] = 0; + + arr[n + 1] = 0; + } + + return arr[0]; +} diff --git a/gcc/tree-loop-distribution.cc b/gcc/tree-loop-distribution.cc index c7b4285..8ee40d8 100644 --- a/gcc/tree-loop-distribution.cc +++ b/gcc/tree-loop-distribution.cc @@ -3853,7 +3853,7 @@ loop_distribution::execute (function *fun) /* Cached scalar evolutions now may refer to wrong or non-existing loops. */ - scev_reset_htab (); + scev_reset (); mark_virtual_operands_for_renaming (fun); rewrite_into_loop_closed_ssa (NULL, TODO_update_ssa); } |