From 64a3d6470e5eb75c87719ba4593a356f67a51c98 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Wed, 16 Mar 2011 13:53:09 +0000 Subject: [PATCH] re PR middle-end/26134 (fold *(float*)(&complex_float_var) into REALPART_EXPR) 2011-03-16 Richard Guenther 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 --- gcc/ChangeLog | 9 ++++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/tree-ssa/complex-6.c | 25 +++++++++++++++++++++++ gcc/tree-ssa.c | 14 ++++++++++++- 4 files changed, 52 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/complex-6.c 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 + + 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 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 + + PR tree-optimization/26134 + * gcc.dg/tree-ssa/complex-6.c: New testcase. + 2011-03-16 Richard Guenther 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; -- 2.30.2