From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1666) id 74E4D385356C; Thu, 25 Aug 2022 08:45:05 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 74E4D385356C DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1661417105; bh=CCRp0f0dz4zyx/agJfU2D3eYmvj/NtYj9oU1Tx1Z6v0=; h=From:To:Subject:Date:From; b=N2dqQ6ITs5eiKcjBMGE/Zbbn+t1GLE+LxlhjYapHpAhjOx+HZlkisU7Z9dsLQDyKp OQk/qZwHg77W3HIhKeLTAnRyZQctqj5wHh+y/xBYKRCeM2RzX5BQAOjqiqVlFnHEU2 TCMUGv2RwpK/4eFWYXimkUNmDyOhnuBh6tIaKyw4= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Richard Biener To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-2197] tree-optimization/106737 - remove intermediate SSA verification in autopar X-Act-Checkin: gcc X-Git-Author: Richard Biener X-Git-Refname: refs/heads/master X-Git-Oldrev: 33f24eb58748e9db7c827662753757c5c2217eb4 X-Git-Newrev: 818073fe9ddc384f0cf702306c672b935fa42325 Message-Id: <20220825084505.74E4D385356C@sourceware.org> Date: Thu, 25 Aug 2022 08:45:05 +0000 (GMT) List-Id: https://gcc.gnu.org/g:818073fe9ddc384f0cf702306c672b935fa42325 commit r13-2197-g818073fe9ddc384f0cf702306c672b935fa42325 Author: Richard Biener 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