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 | |
| 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')
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/pr95856.c | 20 | ||||
| -rw-r--r-- | gcc/tree-vectorizer.c | 4 |
2 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/vect/pr95856.c b/gcc/testsuite/gcc.dg/vect/pr95856.c new file mode 100644 index 0000000..19a86a6 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/pr95856.c @@ -0,0 +1,20 @@ +/* { dg-do compile } */ + +typedef struct { + float xmin, xmax; +} rctf; + +typedef struct { + rctf tot; +} View2D; + +View2D graph_main_area_draw_v2d; + +void get_graph_keyframe_extents(); + +void +graph_main_area_draw() { + get_graph_keyframe_extents(); + graph_main_area_draw_v2d.tot.xmin -= 10.0f; + graph_main_area_draw_v2d.tot.xmax += 10.0f; +} 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; |