From c76a1f1838c73fdf4caa61e776bfcdc9afabb408 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Thu, 21 Aug 2008 16:15:08 +0000 Subject: [PATCH] tree-ssa-ccp.c (ccp_fold): Fold VIEW_CONVERT_EXPRs of constants. 2008-08-21 Richard Guenther * tree-ssa-ccp.c (ccp_fold): Fold VIEW_CONVERT_EXPRs of constants. * gcc.dg/vect/vect-fold-1.c: Scan ccp1 dump instead of dom1. From-SVN: r139398 --- gcc/ChangeLog | 4 ++++ gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/vect/vect-fold-1.c | 6 +++--- gcc/tree-ssa-ccp.c | 12 +++++++++++- 4 files changed, 22 insertions(+), 4 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d63db92b9ac..d29b385e39a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2008-08-21 Richard Guenther + + * tree-ssa-ccp.c (ccp_fold): Fold VIEW_CONVERT_EXPRs of constants. + 2008-08-21 Jan Hubicka * cgraph.c (first_cgraph_function_insertion_hook): New variable. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4cade5a92a0..74ed9f9a2bb 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-08-21 Richard Guenther + + * gcc.dg/vect/vect-fold-1.c: Scan ccp1 dump instead of dom1. + 2008-08-21 Richard Guenther PR middle-end/36817 diff --git a/gcc/testsuite/gcc.dg/vect/vect-fold-1.c b/gcc/testsuite/gcc.dg/vect/vect-fold-1.c index 88b68b7cf4a..8aca1e42063 100644 --- a/gcc/testsuite/gcc.dg/vect/vect-fold-1.c +++ b/gcc/testsuite/gcc.dg/vect/vect-fold-1.c @@ -1,5 +1,5 @@ /* { dg-do compile } */ -/* { dg-options "-O2 -fdump-tree-dom1" } */ +/* { dg-options "-O2 -fdump-tree-ccp1" } */ typedef unsigned char v4qi __attribute__ ((vector_size (4))); @@ -12,5 +12,5 @@ void foo() c = a + b; } -/* { dg-final { scan-tree-dump-times "c = { 6, 8, 10, 12 }" 1 "dom1" } } */ -/* { dg-final { cleanup-tree-dump "dom1" } } */ +/* { dg-final { scan-tree-dump-times "c =.* { 6, 8, 10, 12 }" 1 "ccp1" } } */ +/* { dg-final { cleanup-tree-dump "ccp1" } } */ diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index cd50ad45941..57aa473481c 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -961,7 +961,17 @@ ccp_fold (gimple stmt) } if (kind == tcc_reference) - return fold_const_aggregate_ref (rhs); + { + if (TREE_CODE (rhs) == VIEW_CONVERT_EXPR + && TREE_CODE (TREE_OPERAND (rhs, 0)) == SSA_NAME) + { + prop_value_t *val = get_value (TREE_OPERAND (rhs, 0)); + if (val->lattice_val == CONSTANT) + return fold_unary (VIEW_CONVERT_EXPR, + TREE_TYPE (rhs), val->value); + } + return fold_const_aggregate_ref (rhs); + } else if (kind == tcc_declaration) return get_symbol_constant_value (rhs); return rhs;