[gcc r13-5727] cgraph: Handle simd clones in cgraph_node::set_{const, pure}_flag [PR106433]

[Jakub Jelinek <jakub@gcc.gnu.org>]

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

commit r13-5727-gcad2412cc84518195fceb2db31e82e6df7e5a2c2
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Tue Feb 7 10:33:54 2023 +0100

    cgraph: Handle simd clones in cgraph_node::set_{const,pure}_flag [PR106433]
    
    The following testcase ICEs, because we determine only in late pure const
    pass that bar is const (the content of the function loses a store to a
    global var during dse3 and read from it during cddce2) and local-pure-const2
    makes it const.  The cgraph ordering is that post IPA (in late IPA simd
    clones are created) bar is processed first, then foo as its caller, then
    foo.simdclone* and finally bar.simdclone*.  Conceptually I think that is the
    right ordering which allows for static simd clones to be removed.
    
    The reason for the ICE is that because bar was marked const, the call to
    it lost vops before vectorization, and when we in foo.simdclone* try to
    vectorize the call to bar, we replace it with bar.simdclone* which hasn't
    been marked const and so needs vops, which we don't add.
    
    Now, because the simd clones are created from the same IL, just in a loop
    with different argument/return value passing, I think generally if the base
    function is determined to be const or pure, the simd clones should be too,
    unless e.g. the vectorization causes different optimization decisions, but
    then still the global memory reads if any shouldn't affect what the function
    does and global memory stores shouldn't be reachable at runtime.
    
    So, the following patch changes set_{const,pure}_flag to mark also simd
    clones.
    
    2023-02-07  Jakub Jelinek  <jakub@redhat.com>
    
            PR tree-optimization/106433
            * cgraph.cc (set_const_flag_1): Recurse on simd clones too.
            (cgraph_node::set_pure_flag): Call set_pure_flag_1 on simd clones too.
    
            * gcc.c-torture/compile/pr106433.c: New test.

Diff:
---
 gcc/cgraph.cc                                  |  6 ++++++
 gcc/testsuite/gcc.c-torture/compile/pr106433.c | 24 ++++++++++++++++++++++++
 2 files changed, 30 insertions(+)

diff --git a/gcc/cgraph.cc b/gcc/cgraph.cc
index f0d06bfe36b..f352212e463 100644
--- a/gcc/cgraph.cc
+++ b/gcc/cgraph.cc
@@ -2764,6 +2764,9 @@ set_const_flag_1 (cgraph_node *node, bool set_const, bool looping,
       if (!set_const || alias->get_availability () > AVAIL_INTERPOSABLE)
 	set_const_flag_1 (alias, set_const, looping, changed);
     }
+  for (struct cgraph_node *n = node->simd_clones; n != NULL;
+       n = n->simdclone->next_clone)
+    set_const_flag_1 (n, set_const, looping, changed);
   for (cgraph_edge *e = node->callers; e; e = e->next_caller)
     if (e->caller->thunk
 	&& (!set_const || e->caller->get_availability () > AVAIL_INTERPOSABLE))
@@ -2876,6 +2879,9 @@ cgraph_node::set_pure_flag (bool pure, bool looping)
 {
   struct set_pure_flag_info info = {pure, looping, false};
   call_for_symbol_thunks_and_aliases (set_pure_flag_1, &info, !pure, true);
+  for (struct cgraph_node *n = simd_clones; n != NULL;
+       n = n->simdclone->next_clone)
+    set_pure_flag_1 (n, &info);
   return info.changed;
 }
 
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr106433.c b/gcc/testsuite/gcc.c-torture/compile/pr106433.c
new file mode 100644
index 00000000000..b840e5ecd93
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr106433.c
@@ -0,0 +1,24 @@
+/* PR tree-optimization/106433 */
+
+int m, *p;
+
+__attribute__ ((simd)) int
+bar (int x)
+{
+  if (x)
+    {
+      if (m < 1)
+        for (m = 0; m < 1; ++m)
+          ++x;
+      p = &x;
+      for (;;)
+        ++m;
+    }
+  return 0;
+}
+
+__attribute__ ((simd)) int
+foo (int x)
+{
+  return bar (x);
+}