diff options
| author | Andrew Pinski <pinskia@physics.uc.edu> | 2006-02-18 21:09:35 +0000 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2006-02-18 13:09:35 -0800 |
| commit | add9e6d3bd21e14543ab014f938ba227ad2857bf (patch) | |
| tree | 685297e000b9ec35689a0cf68b160a3e8c08680c /gcc | |
| parent | c8ca29f104d4e1294ecd13288d2e02b5f5e29e42 (diff) | |
| download | gcc-add9e6d3bd21e14543ab014f938ba227ad2857bf.zip gcc-add9e6d3bd21e14543ab014f938ba227ad2857bf.tar.gz gcc-add9e6d3bd21e14543ab014f938ba227ad2857bf.tar.bz2 | |
re PR tree-optimization/25680 (Store CCP does not understand REALPART_EXPR < COMPLEX_CST >)
2006-02-18 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/25680
* tree-ssa-ccp.c (ccp_fold): Handle store CCP of REALPART_EXPR and
IMAGPART_EXPR.
2006-02-18 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/25680
* testsuite/gcc.dg/tree-ssa/complex-3.c: New test.
From-SVN: r111251
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/complex-3.c | 15 | ||||
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 18 |
4 files changed, 39 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f2ccbca..8519362 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2006-02-18 Andrew Pinski <pinskia@physics.uc.edu> + + PR tree-opt/25680 + * tree-ssa-ccp.c (ccp_fold): Handle store CCP of REALPART_EXPR and + IMAGPART_EXPR. + 2006-02-18 Diego Novillo <dnovillo@redhat.com> * tree-flow.h (struct var_ann_d): Rename field is_alias_tag to diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index df5cb4c..f705bdd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2006-02-18 Andrew Pinski <pinskia@physics.uc.edu> + PR tree-opt/25680 + * testsuite/gcc.dg/tree-ssa/complex-3.c: New test. + +2006-02-18 Andrew Pinski <pinskia@physics.uc.edu> + * gcc.dg/tree-ssa/20031106-1.c: Fix the final scan of the variable to take into account the variable name in the function header. diff --git a/gcc/testsuite/gcc.dg/tree-ssa/complex-3.c b/gcc/testsuite/gcc.dg/tree-ssa/complex-3.c index 5f4b110..a354495 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/complex-3.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/complex-3.c @@ -1,4 +1,19 @@ /* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-optimized" } */ +int g(_Complex int*); +int f(void) +{ + _Complex int t = 0; + int i, j; + __real__ t += 2; + __imag__ t += 2; + return g(&t); +} + +/* { dg-final { scan-tree-dump-times "__complex__" 0 "optimized" } } */ +/* { dg-final { cleanup-tree-dump "optimized" } } */ + +/* { dg-do compile } */ /* { dg-options "-O -fdump-tree-optimized" } */ typedef _Complex float COMPLEX_FLOAT; diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index 4513f97..ec70c36 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -855,11 +855,19 @@ ccp_fold (tree stmt) /* If the RHS is a memory load, see if the VUSEs associated with it are a valid constant for that memory load. */ prop_value_t *val = get_value_loaded_by (stmt, const_val); - if (val && val->mem_ref - && operand_equal_p (val->mem_ref, rhs, 0)) - return val->value; - else - return NULL_TREE; + if (val && val->mem_ref) + { + if (operand_equal_p (val->mem_ref, rhs, 0)) + return val->value; + + /* If RHS is extracting REALPART_EXPR or IMAGPART_EXPR of a + complex type with a known constant value, return it. */ + if ((TREE_CODE (rhs) == REALPART_EXPR + || TREE_CODE (rhs) == IMAGPART_EXPR) + && operand_equal_p (val->mem_ref, TREE_OPERAND (rhs, 0), 0)) + return fold_build1 (TREE_CODE (rhs), TREE_TYPE (rhs), val->value); + } + return NULL_TREE; } /* Unary operators. Note that we know the single operand must |