[gcc r11-1621] tree-optimization/95856 fix vect_stmt_dominates_stmt_p at BB region boundary

[Richard Biener]

https://gcc.gnu.org/g:d32708e796504eaeaad7d19990909204d74f9ba3

commit r11-1621-gd32708e796504eaeaad7d19990909204d74f9ba3
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Jun 23 13:59:20 2020 +0200

    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.

Diff:
---
 gcc/testsuite/gcc.dg/vect/pr95856.c | 20 ++++++++++++++++++++
 gcc/tree-vectorizer.c               |  4 ++++
 2 files changed, 24 insertions(+)

diff --git a/gcc/testsuite/gcc.dg/vect/pr95856.c b/gcc/testsuite/gcc.dg/vect/pr95856.c
new file mode 100644
index 00000000000..19a86a62d95
--- /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 e262ba0580e..78d9da689c8 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;