From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1666) id 63AA438930F5; Tue, 6 Apr 2021 12:20:37 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 63AA438930F5 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 r11-8005] tree-optimization/99880 - avoid vectorizing irrelevant PHI backedge defs X-Act-Checkin: gcc X-Git-Author: Richard Biener X-Git-Refname: refs/heads/master X-Git-Oldrev: 671f9f5c0f04d859265f1f2da117baf5a75511ac X-Git-Newrev: e5c170e080399fb3d24a38bbfcd66bd4675abe53 Message-Id: <20210406122037.63AA438930F5@sourceware.org> Date: Tue, 6 Apr 2021 12:20:37 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 06 Apr 2021 12:20:37 -0000 https://gcc.gnu.org/g:e5c170e080399fb3d24a38bbfcd66bd4675abe53 commit r11-8005-ge5c170e080399fb3d24a38bbfcd66bd4675abe53 Author: Richard Biener Date: Tue Apr 6 13:20:44 2021 +0200 tree-optimization/99880 - avoid vectorizing irrelevant PHI backedge defs This adds a relevancy check before trying to set the vector def of a backedge in an unvectorized PHI. 2021-04-06 Richard Biener PR tree-optimization/99880 * tree-vect-loop.c (maybe_set_vectorized_backedge_value): Only set vectorized defs of relevant PHIs. * gcc.dg/torture/pr99880.c: New testcase. Diff: --- gcc/testsuite/gcc.dg/torture/pr99880.c | 22 ++++++++++++++++++++++ gcc/tree-vect-loop.c | 1 + 2 files changed, 23 insertions(+) diff --git a/gcc/testsuite/gcc.dg/torture/pr99880.c b/gcc/testsuite/gcc.dg/torture/pr99880.c new file mode 100644 index 00000000000..7e0989987d7 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr99880.c @@ -0,0 +1,22 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-ftree-vectorize" } */ + +unsigned a; +int b, c, d, e; +void f() { + b = 5; + for (; b <= 51; b++) + ; + unsigned int g = -8; + while (g) { + g += 5; + int h = 10; + do { + h -= a = 1; + for (; a; a++) + ; + c *= c >= d >= b; + } while (h); + c -= e; + } +} diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c index 38d96fc1634..4e928c65b31 100644 --- a/gcc/tree-vect-loop.c +++ b/gcc/tree-vect-loop.c @@ -9148,6 +9148,7 @@ maybe_set_vectorized_backedge_value (loop_vec_info loop_vinfo, if (gphi *phi = dyn_cast (USE_STMT (use_p))) if (gimple_bb (phi)->loop_father->header == gimple_bb (phi) && (phi_info = loop_vinfo->lookup_stmt (phi)) + && STMT_VINFO_RELEVANT_P (phi_info) && VECTORIZABLE_CYCLE_DEF (STMT_VINFO_DEF_TYPE (phi_info)) && STMT_VINFO_REDUC_TYPE (phi_info) != FOLD_LEFT_REDUCTION && STMT_VINFO_REDUC_TYPE (phi_info) != EXTRACT_LAST_REDUCTION)