diff options
| author | Richard Biener <rguenther@suse.de> | 2021-04-06 13:20:44 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-04-06 14:20:28 +0200 |
| commit | e5c170e080399fb3d24a38bbfcd66bd4675abe53 (patch) | |
| tree | 877e3b0d3f265e1dd39d76e9804221341c64fc35 /gcc | |
| parent | 671f9f5c0f04d859265f1f2da117baf5a75511ac (diff) | |
| download | gcc-e5c170e080399fb3d24a38bbfcd66bd4675abe53.zip gcc-e5c170e080399fb3d24a38bbfcd66bd4675abe53.tar.gz gcc-e5c170e080399fb3d24a38bbfcd66bd4675abe53.tar.bz2 | |
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 <rguenther@suse.de>
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr99880.c | 22 | ||||
| -rw-r--r-- | gcc/tree-vect-loop.c | 1 |
2 files changed, 23 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/pr99880.c b/gcc/testsuite/gcc.dg/torture/pr99880.c new file mode 100644 index 0000000..7e09899 --- /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 38d96fc..4e928c6 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 <gphi *> (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) |