diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-03-16 13:53:09 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-03-16 13:53:09 +0000 |
| commit | 8ba0d70dfdcd03def648c59974d5746fdcc0862e (patch) | |
| tree | 32a1004eb827fcb9616372fced22401fe1a5db3d | |
| parent | 63eb2430e848fdcbfe820908ca5de8680359861e (diff) | |
| download | gcc-8ba0d70dfdcd03def648c59974d5746fdcc0862e.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@171046 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 9 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/complex-6.c | 25 | ||||
| -rw-r--r-- | gcc/tree-ssa.c | 14 |
4 files changed, 52 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7e81a550dfb..a535ac1e10e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,14 @@ 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 * tree-ssa-sink.c (sink_code_in_bb): Manually update virtual operands avoiding the need for renaming. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2e6963b0460..7b68766d717 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 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 * gcc.dg/torture/pr48146.c: New testcase. 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; |