diff options
| author | Richard Biener <rguenther@suse.de> | 2020-06-23 13:59:20 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2020-06-24 12:58:45 +0200 |
| commit | d32708e796504eaeaad7d19990909204d74f9ba3 (patch) | |
| tree | 7916c0559660b045db65dbd70014484a6a79f2ef /gcc/tree-vectorizer.c | |
| parent | 01e10b0ee77e82cb331414c569e02dc7a2c4999e (diff) | |
| download | gcc-d32708e796504eaeaad7d19990909204d74f9ba3.zip gcc-d32708e796504eaeaad7d19990909204d74f9ba3.tar.gz gcc-d32708e796504eaeaad7d19990909204d74f9ba3.tar.bz2 | |
tree-optimization/95856 fix vect_stmt_dominates_stmt_p at BB region boundary
The following adjusts vect_stmt_dominates_stmt_p to honor out-of-region
stmts we run into which have UID -1u.
2020-06-24 Richard Biener <rguenther@suse.de>
PR tree-optimization/95856
* tree-vectorizer.c (vect_stmt_dominates_stmt_p): Honor
region marker -1u.
* gcc.dg/vect/pr95856.c: New testcase.
Diffstat (limited to 'gcc/tree-vectorizer.c')
| -rw-r--r-- | gcc/tree-vectorizer.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/tree-vectorizer.c b/gcc/tree-vectorizer.c index e262ba0..78d9da6 100644 --- a/gcc/tree-vectorizer.c +++ b/gcc/tree-vectorizer.c @@ -752,6 +752,8 @@ vect_stmt_dominates_stmt_p (gimple *s1, gimple *s2) if (gsi_stmt (gsi1) == s2) return true; } + if (gimple_uid (gsi_stmt (gsi1)) == -1u) + return false; gimple_stmt_iterator gsi2 = gsi_for_stmt (s2); while (gimple_uid (gsi_stmt (gsi2)) == 0) @@ -762,6 +764,8 @@ vect_stmt_dominates_stmt_p (gimple *s1, gimple *s2) if (gsi_stmt (gsi2) == s1) return true; } + if (gimple_uid (gsi_stmt (gsi2)) == -1u) + return false; if (gimple_uid (gsi_stmt (gsi1)) <= gimple_uid (gsi_stmt (gsi2))) return true; |