re PR tree-optimization/22103 (Statement makes a memory store .., complex)

        PR tree-opt/22103
        * tree-sra.c (generate_copy_inout): Handle SSA_NAME complex
        destinations.

From-SVN: r101150

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f35e4ff..dd22a3f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2005-06-18  Richard Henderson  <rth@redhat.com>
+
+       PR tree-opt/22103
+       * tree-sra.c (generate_copy_inout): Handle SSA_NAME complex
+       destinations.
+
 2005-06-17  Richard Henderson  <rth@redhat.com>
 
         * tree-vect-transform.c (vect_do_peeling_for_loop_bound): Use

diff --git a/gcc/testsuite/gcc.c-torture/compile/complex-2.c b/gcc/testsuite/gcc.c-torture/compile/complex-2.c
new file mode 100644 (file)
index 0000000..4462eee
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/complex-2.c
@@ -0,0 +1,16 @@
+/* PR 22103 */
+
+_Complex float f(void);
+void *a;
+
+_Complex float g(void)
+{
+  _Complex float x = f();
+  __imag__ x = 1.0;
+  if (__imag__ x != 1.0)
+    {
+      a = &x;
+    }
+  return x;
+}
+

diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c
index 7abdd3d..e54598a 100644 (file)
--- a/gcc/tree-sra.c
+++ b/gcc/tree-sra.c
@@ -1526,7 +1526,22 @@ generate_copy_inout (struct sra_elt *elt, bool copy_out, tree expr,
   struct sra_elt *c;
   tree t;
 
-  if (elt->replacement)
+  if (!copy_out && TREE_CODE (expr) == SSA_NAME
+      && TREE_CODE (TREE_TYPE (expr)) == COMPLEX_TYPE)
+    {
+      tree r, i;
+
+      c = lookup_element (elt, integer_zero_node, NULL, NO_INSERT);
+      r = c->replacement;
+      c = lookup_element (elt, integer_one_node, NULL, NO_INSERT);
+      i = c->replacement;
+
+      t = build (COMPLEX_EXPR, elt->type, r, i);
+      t = build (MODIFY_EXPR, void_type_node, expr, t);
+      SSA_NAME_DEF_STMT (expr) = t;
+      append_to_statement_list (t, list_p);
+    }
+  else if (elt->replacement)
     {
       if (copy_out)
        t = build (MODIFY_EXPR, void_type_node, elt->replacement, expr);