[gcc r13-2197] tree-optimization/106737 - remove intermediate SSA verification in autopar

[Richard Biener]

https://gcc.gnu.org/g:818073fe9ddc384f0cf702306c672b935fa42325

commit r13-2197-g818073fe9ddc384f0cf702306c672b935fa42325
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Aug 25 10:42:30 2022 +0200

    tree-optimization/106737 - remove intermediate SSA verification in autopar
    
    The following removes intermediate SSA verification in autopar which
    isn't expected to succeed after previous changes delaying (virtual)
    SSA update to the end of the pass.
    
            PR tree-optimization/106737
            * tree-parloops.cc (transform_to_exit_first_loop_alt): Do not
            verify SSA form.
    
            * gcc.dg/autopar/pr106737.c: New testcase.

Diff:
---
 gcc/testsuite/gcc.dg/autopar/pr106737.c | 18 ++++++++++++++++++
 gcc/tree-parloops.cc                    |  2 --
 2 files changed, 18 insertions(+), 2 deletions(-)

diff --git a/gcc/testsuite/gcc.dg/autopar/pr106737.c b/gcc/testsuite/gcc.dg/autopar/pr106737.c
new file mode 100644
index 00000000000..3ec8f5dc9e8
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/autopar/pr106737.c
@@ -0,0 +1,18 @@
+/* { dg-do compile } */
+/* { dg-options "-O -floop-parallelize-all -ftree-parallelize-loops=2 -fno-tree-dce" } */
+
+void
+foo (int x)
+{
+  int a[2];
+  int b, c = 0;
+
+  for (b = 0; b < 2; ++b)
+    a[b] = 0;
+  for (b = 0; b < 2; ++b)
+    a[b] = 0;
+
+  while (c < 1)
+    while (x < 1)
+      ++x;
+}
diff --git a/gcc/tree-parloops.cc b/gcc/tree-parloops.cc
index b070527ee6e..76483fcaaa2 100644
--- a/gcc/tree-parloops.cc
+++ b/gcc/tree-parloops.cc
@@ -2484,8 +2484,6 @@ transform_to_exit_first_loop_alt (class loop *loop,
   /* Recalculate dominance info.  */
   free_dominance_info (CDI_DOMINATORS);
   calculate_dominance_info (CDI_DOMINATORS);
-
-  checking_verify_ssa (true, true);
 }
 
 /* Tries to moves the exit condition of LOOP to the beginning of its header