From: Richard Guenther <rguenther@suse.de>
Date: Wed, 16 Mar 2011 13:53:09 +0000 (+0000)
Subject: re PR middle-end/26134 (fold *(float*)(&complex_float_var) into REALPART_EXPR<complex... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=64a3d6470e5eb75c87719ba4593a356f67a51c98;p=gcc.git

re PR middle-end/26134 (fold *(float*)(&complex_float_var) into REALPART_EXPR<complex_float_var>)

2011-03-16  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/26134
	* tree-ssa.c (maybe_rewrite_mem_ref_base): Handle rewriting
	complex part accesses to REALPART_EXPR and IMAGPART_EXPR.
	(non_rewritable_mem_ref_base): Handle complex type component
	accesses, constrain offsets for vector and complex extracts
	more properly.

	* gcc.dg/tree-ssa/complex-6.c: New testcase.

From-SVN: r171046
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7e81a550dfb..a535ac1e10e 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,12 @@
+2011-03-16  Richard Guenther  <rguenther@suse.de>
+
+	PR tree-optimization/26134
+	* tree-ssa.c (maybe_rewrite_mem_ref_base): Handle rewriting
+	complex part accesses to REALPART_EXPR and IMAGPART_EXPR.
+	(non_rewritable_mem_ref_base): Handle complex type component
+	accesses, constrain offsets for vector and complex extracts
+	more properly.
+
 2011-03-16  Richard Guenther  <rguenther@suse.de>
 
 	PR tree-optimization/48146
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 2e6963b0460..7b68766d717 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-03-16  Richard Guenther  <rguenther@suse.de>
+
+	PR tree-optimization/26134
+	* gcc.dg/tree-ssa/complex-6.c: New testcase.
+
 2011-03-16  Richard Guenther  <rguenther@suse.de>
 
 	PR tree-optimization/48146
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/complex-6.c b/gcc/testsuite/gcc.dg/tree-ssa/complex-6.c
new file mode 100644
index 00000000000..01d1fd1195d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/complex-6.c
@@ -0,0 +1,25 @@
+/* { dg-do compile } */
+/* { dg-options "-O -fdump-tree-optimized" } */
+
+float
+quantum_real(float _Complex a)
+{
+  float *p = (float *) &a;
+  return p[0];
+}
+float
+quantum_imag(float _Complex a)
+{
+  float *p = (float *) &a;
+  return p[1];
+}
+float
+quantum_foo(float _Complex a)
+{
+  float *p = (float *) &a;
+  return p[2];
+}
+
+/* { dg-final { scan-tree-dump-times "REALPART_EXPR" 1 "optimized" } } */
+/* { dg-final { scan-tree-dump-times "IMAGPART_EXPR" 1 "optimized" } } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index f28e5d15c72..e7e3edcf6f1 100644
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -1855,6 +1855,14 @@ maybe_rewrite_mem_ref_base (tree *tp)
 					 bitsize_int (BITS_PER_UNIT),
 					 TREE_OPERAND (*tp, 1), 0));
 	}
+      else if (TREE_CODE (TREE_TYPE (sym)) == COMPLEX_TYPE
+	       && useless_type_conversion_p (TREE_TYPE (*tp),
+					     TREE_TYPE (TREE_TYPE (sym))))
+	{
+	  *tp = build1 (integer_zerop (TREE_OPERAND (*tp, 1))
+			? REALPART_EXPR : IMAGPART_EXPR,
+			TREE_TYPE (*tp), sym);
+	}
       else if (integer_zerop (TREE_OPERAND (*tp, 1)))
 	{
 	  if (!useless_type_conversion_p (TREE_TYPE (*tp),
@@ -1888,10 +1896,14 @@ non_rewritable_mem_ref_base (tree ref)
       && TREE_CODE (TREE_OPERAND (base, 0)) == ADDR_EXPR)
     {
       tree decl = TREE_OPERAND (TREE_OPERAND (base, 0), 0);
-      if (TREE_CODE (TREE_TYPE (decl)) == VECTOR_TYPE
+      if ((TREE_CODE (TREE_TYPE (decl)) == VECTOR_TYPE
+	   || TREE_CODE (TREE_TYPE (decl)) == COMPLEX_TYPE)
 	  && useless_type_conversion_p (TREE_TYPE (base),
 					TREE_TYPE (TREE_TYPE (decl)))
 	  && double_int_fits_in_uhwi_p (mem_ref_offset (base))
+	  && double_int_ucmp
+	       (tree_to_double_int (TYPE_SIZE_UNIT (TREE_TYPE (decl))),
+		mem_ref_offset (base)) == 1
 	  && multiple_of_p (sizetype, TREE_OPERAND (base, 1),
 			    TYPE_SIZE_UNIT (TREE_TYPE (base))))
 	return NULL_TREE;