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.
This commit is contained in:
Richard Biener 2022-08-25 10:42:30 +02:00
parent 33f24eb587
commit 818073fe9d
2 changed files with 18 additions and 2 deletions

View file

@ -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;
}

View file

@ -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