[COMMITTED] PR tree-optimization/107523 - Don't add dependencies in update_stmt.

[COMMITTED] PR tree-optimization/107523 - Don't add dependencies in update_stmt.

[Andrew MacLeod]

[-- Attachment #1: Type: text/plain, Size: 719 bytes --]

This adjusts gimple-ranger::update_stmt (which inform the range engine 
that a statement has changed under the covers.  I was calculating the 
statement using a fur_depend class instead of a fur_stmt. (FUR is Fold 
Using Range)

The difference between the 2 is that a fur_depend will reigster any 
relations or dependencies it sees with the oracle and GORI. The problem 
is, update_stmt has no context of where this is being done.  The path 
ranger was performing a simplification, and a relation was being set 
globally even though it should not have been.

THe fix is simple, we're only trying to recalculate the result.. limit 
it to that.

Bootstraps on x86_64-pc-linux-gnu with no regressions.  Pushed.

Andrew

[-- Attachment #2: 523.patch --]
[-- Type: text/x-patch, Size: 1799 bytes --]

commit 0a7b437ca71e2721e9bcf070762fc54ef7991aeb
Author: Andrew MacLeod <amacleod@redhat.com>
Date:   Fri Nov 11 12:22:33 2022 -0500

    Don't add dependencies in update_stmt.
    
    gimple_ranger::update_stmt has no idea what the context of an update
    is, and should not be adding relations when it re-evaluates a stmt.
    
            PR tree-optimization/107523
            gcc/
            * gimple-range.cc (gimple_ranger::update_stmt): Use fur_stmt
            rather than fur_depend.
    
            gcc/testsuite/
            * gcc.dg/pr107523.c: New.

diff --git a/gcc/gimple-range.cc b/gcc/gimple-range.cc
index 2885d0fa21e..ecd6039e0fd 100644
--- a/gcc/gimple-range.cc
+++ b/gcc/gimple-range.cc
@@ -546,7 +546,7 @@ gimple_ranger::update_stmt (gimple *s)
       // Re-calculate a new value using just cache values.
       Value_Range tmp (TREE_TYPE (lhs));
       fold_using_range f;
-      fur_depend src (s, &(gori ()), &m_cache);
+      fur_stmt src (s, &m_cache);
       f.fold_stmt (tmp, s, src, lhs);
 
       // Combine the new value with the old value to check for a change.
diff --git a/gcc/testsuite/gcc.dg/pr107523.c b/gcc/testsuite/gcc.dg/pr107523.c
new file mode 100644
index 00000000000..1e5ed46c636
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr107523.c
@@ -0,0 +1,32 @@
+/* { dg-do run } */
+/* { dg-options "-O2 " } */
+
+int a, b = 1;
+unsigned int c = 1;
+int main() {
+  int d = 1, f;
+  if (b)
+    d = 0;
+  a = -1;
+  b = ~d ^ 465984011;
+ L1:;
+  if (b < 2)
+    f = b;
+  b = f;
+  if (f <= a) {
+    int g = -(a && 1), h = g - f && a, i = ~(c / f) && 1 % (a | h);
+    if (c) {
+      g = f;
+      if (i || (g && (g > -465984012)))
+        goto L2;
+    }
+    c = g | f / c;
+  }
+  if (0)
+  L2:
+    a = 0;
+  if (a <= c)
+    goto L1;
+  return 0;
+}
+