diff options
| author | Richard Biener <rguenther@suse.de> | 2020-06-10 15:16:23 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2020-06-10 18:06:41 +0200 |
| commit | 36e95a9e539a08275a0a6ef542a7fae5baa5710f (patch) | |
| tree | bcfc4f2b6ffc42f962ede37d394e89bb3a1e3e09 /gcc | |
| parent | b5cebc9ab7f6ab47067dc04cae17bf9921a62a18 (diff) | |
| download | gcc-36e95a9e539a08275a0a6ef542a7fae5baa5710f.zip gcc-36e95a9e539a08275a0a6ef542a7fae5baa5710f.tar.gz gcc-36e95a9e539a08275a0a6ef542a7fae5baa5710f.tar.bz2 | |
tree-optimization/95576 - fix compare-debug issue with SLP vectorization
The following avoids leading debug stmts in BB vectorizer regions.
2020-06-10 Richard Biener <rguenther@suse.de>
PR tree-optimization/95576
* tree-vect-slp.c (vect_slp_bb): Skip leading debug stmts.
* g++.dg/vect/pr95576.cc: New testcase.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/g++.dg/vect/pr95576.cc | 23 | ||||
| -rw-r--r-- | gcc/tree-vect-slp.c | 9 |
2 files changed, 31 insertions, 1 deletions
diff --git a/gcc/testsuite/g++.dg/vect/pr95576.cc b/gcc/testsuite/g++.dg/vect/pr95576.cc new file mode 100644 index 0000000..64e0e2d --- /dev/null +++ b/gcc/testsuite/g++.dg/vect/pr95576.cc @@ -0,0 +1,23 @@ +// { dg-do compile } +// { dg-additional-options "-O3 -fno-tree-forwprop -fcompare-debug" } + +struct S { + virtual ~S(); + struct S *s; + virtual void m(); + int f; + void *d; +}; + +struct T : S { + void m(); +}; + +S::~S() { + if (s) { + s->f = 0; + s->d = __null; + } +} + +void T::m() {} diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c index 0217a52..866ce8d 100644 --- a/gcc/tree-vect-slp.c +++ b/gcc/tree-vect-slp.c @@ -3316,7 +3316,12 @@ vect_slp_bb (basic_block bb) { gimple *stmt = gsi_stmt (gsi); if (is_gimple_debug (stmt)) - continue; + { + /* Skip leading debug stmts. */ + if (gsi_stmt (region_begin) == stmt) + gsi_next (®ion_begin); + continue; + } insns++; if (gimple_location (stmt) != UNKNOWN_LOCATION) @@ -3325,6 +3330,8 @@ vect_slp_bb (basic_block bb) if (!vect_find_stmt_data_reference (NULL, stmt, &datarefs)) break; } + if (gsi_end_p (region_begin)) + break; /* Skip leading unhandled stmts. */ if (gsi_stmt (region_begin) == gsi_stmt (gsi)) |