From f0eddb90199eac4df644329c8cd0089b110062f1 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Wed, 16 Mar 2011 11:36:30 +0000 Subject: gimple-fold.c (maybe_fold_reference): Open-code relevant constant folding. 2011-03-16 Richard Guenther * gimple-fold.c (maybe_fold_reference): Open-code relevant constant folding. Move MEM_REF canonicalization first. Rely on fold_const_aggregate_ref for initializer folding. * tree-ssa-ccp.c (ccp_fold): Handle constant vector extracts. * gcc.dg/tree-ssa/pr14814.c: Adjust. * gcc.dg/tree-ssa/ssa-ccp-19.c: Likewise. From-SVN: r171043 --- gcc/tree-ssa-ccp.c | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'gcc/tree-ssa-ccp.c') diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index 8b8d996..4fc4316 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -1182,6 +1182,17 @@ ccp_fold (gimple stmt) TREE_CODE (rhs), TREE_TYPE (rhs), val); } + else if (TREE_CODE (rhs) == BIT_FIELD_REF + && TREE_CODE (TREE_OPERAND (rhs, 0)) == SSA_NAME) + { + tree val = get_constant_value (TREE_OPERAND (rhs, 0)); + if (val) + return fold_ternary_loc (EXPR_LOCATION (rhs), + TREE_CODE (rhs), + TREE_TYPE (rhs), val, + TREE_OPERAND (rhs, 1), + TREE_OPERAND (rhs, 2)); + } else if (TREE_CODE (rhs) == MEM_REF && TREE_CODE (TREE_OPERAND (rhs, 0)) == SSA_NAME) { -- cgit v1.1