[PATCH] tree-optimization/104676 - free nb_iterations after loop distribution

[Richard Biener via Gcc-patches]

Loop distribution can release SSA names used in nb_iterations, make
sure to release those.

Bootstrapped on x86_64-unknown-linux-gnu, testing in progress.

2022-02-24  Richard Biener  <rguent...@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.
---
 gcc/testsuite/gcc.dg/torture/pr104676.c | 35 +++++++++++++++++++++++++
 gcc/tree-loop-distribution.cc           |  2 +-
 2 files changed, 36 insertions(+), 1 deletion(-)
 create mode 100644 gcc/testsuite/gcc.dg/torture/pr104676.c

diff --git a/gcc/testsuite/gcc.dg/torture/pr104676.c 
b/gcc/testsuite/gcc.dg/torture/pr104676.c
new file mode 100644
index 00000000000..50845bb9e15
--- /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 c7b42857263..8ee40d88816 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);
     }
-- 
2.34.1