From 818073fe9ddc384f0cf702306c672b935fa42325 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Thu, 25 Aug 2022 10:42:30 +0200 Subject: [PATCH] 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. --- gcc/testsuite/gcc.dg/autopar/pr106737.c | 18 ++++++++++++++++++ gcc/tree-parloops.cc | 2 -- 2 files changed, 18 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/autopar/pr106737.c diff --git a/gcc/testsuite/gcc.dg/autopar/pr106737.c b/gcc/testsuite/gcc.dg/autopar/pr106737.c new file mode 100644 index 000000000000..3ec8f5dc9e84 --- /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 b070527ee6ea..76483fcaaa2d 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 -- 2.47.2