diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fold-const.c | 8 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/fold-complex-1.c | 11 |
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" } } */ |