aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Guenther <rguenther@suse.de>2011-03-16 15:55:48 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2011-03-16 15:55:48 +0000
commit0b0081eca46587e27c16abc633fd199832616243 (patch)
treec5cd6c801e4c789da378446f25991564e80ee541
parent9977914ea5f6a5c6073891e770191e98beedad04 (diff)
downloadgcc-0b0081eca46587e27c16abc633fd199832616243.zip
gcc-0b0081eca46587e27c16abc633fd199832616243.tar.gz
gcc-0b0081eca46587e27c16abc633fd199832616243.tar.bz2
re PR tree-optimization/48149 (Piecewise complex pass-through not optimized)
2011-03-16 Richard Guenther <rguenther@suse.de> PR tree-optimization/48149 * fold-const.c (fold_binary_loc): Fold COMPLEX_EXPR <REALPART_EXPR <x>, IMAGPART_EXPR <x>>. * gcc.dg/fold-complex-1.c: New testcase. From-SVN: r171048
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/fold-const.c8
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.dg/fold-complex-1.c11
4 files changed, 30 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a535ac1..c19efcb 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
2011-03-16 Richard Guenther <rguenther@suse.de>
+ PR tree-optimization/48149
+ * fold-const.c (fold_binary_loc): Fold
+ COMPLEX_EXPR <REALPART_EXPR <x>, IMAGPART_EXPR <x>>.
+
+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.
diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index f8630a2..9baa9eb 100644
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -13176,6 +13176,14 @@ fold_binary_loc (location_t loc,
|| (TREE_CODE (arg0) == INTEGER_CST
&& TREE_CODE (arg1) == INTEGER_CST))
return build_complex (type, arg0, arg1);
+ if (TREE_CODE (arg0) == REALPART_EXPR
+ && TREE_CODE (arg1) == IMAGPART_EXPR
+ && (TYPE_MAIN_VARIANT (TREE_TYPE (TREE_OPERAND (arg0, 0)))
+ == TYPE_MAIN_VARIANT (type))
+ && operand_equal_p (TREE_OPERAND (arg0, 0),
+ TREE_OPERAND (arg1, 0), 0))
+ return omit_one_operand_loc (loc, type, TREE_OPERAND (arg0, 0),
+ TREE_OPERAND (arg1, 0));
return NULL_TREE;
case ASSERT_EXPR:
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index efb6140..a9db0b7 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
2011-03-16 Richard Guenther <rguenther@suse.de>
+ PR tree-optimization/48149
+ * gcc.dg/fold-complex-1.c: New testcase.
+
+2011-03-16 Richard Guenther <rguenther@suse.de>
+
PR testsuite/48147
* gcc.dg/guality/pr45882.c: Really make sure no inlining
or cloning happens.
diff --git a/gcc/testsuite/gcc.dg/fold-complex-1.c b/gcc/testsuite/gcc.dg/fold-complex-1.c
new file mode 100644
index 0000000..a9ba0fd
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fold-complex-1.c
@@ -0,0 +1,11 @@
+/* { dg-do compile } */
+/* { dg-options "-O -ffast-math -fdump-tree-original" } */
+
+_Complex float
+foo (_Complex float x)
+{
+ return __real x + 1.0iF * __imag x;
+}
+
+/* { dg-final { scan-tree-dump-times "COMPLEX_EXPR" 0 "original" } } */
+/* { dg-final { cleanup-tree-dump "original" } } */