diff options
| author | Richard Biener <rguenther@suse.de> | 2020-06-23 13:59:20 +0200 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:14:40 -0300 |
| commit | 1b891e1aeba5f1b034934f908225d00b4364311e (patch) | |
| tree | ac533f43d38a36ba31d09c0959a45e17f65fcabc /gcc | |
| parent | 22e7511d4d2979c70fb700f6a8d87dc316413068 (diff) | |
| download | gcc-1b891e1aeba5f1b034934f908225d00b4364311e.zip gcc-1b891e1aeba5f1b034934f908225d00b4364311e.tar.gz gcc-1b891e1aeba5f1b034934f908225d00b4364311e.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; |