diff options
| author | Richard Biener <rguenther@suse.de> | 2022-08-25 10:42:30 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-08-25 10:44:43 +0200 |
| commit | 818073fe9ddc384f0cf702306c672b935fa42325 (patch) | |
| tree | c92762e49544f87ca4de9646002f2519e359ecc1 | |
| parent | 33f24eb58748e9db7c827662753757c5c2217eb4 (diff) | |
| download | gcc-818073fe9ddc384f0cf702306c672b935fa42325.zip gcc-818073fe9ddc384f0cf702306c672b935fa42325.tar.gz gcc-818073fe9ddc384f0cf702306c672b935fa42325.tar.bz2 | |
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.
| -rw-r--r-- | gcc/testsuite/gcc.dg/autopar/pr106737.c | 18 | ||||
| -rw-r--r-- | 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 0000000..3ec8f5d --- /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 b070527..76483fc 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 |