aboutsummaryrefslogtreecommitdiff
path: root/gcc/gimple-fold.c
diff options
context:
space:
mode:
authorJan Hubicka <jh@suse.cz>2010-09-03 12:15:54 +0200
committerJan Hubicka <hubicka@gcc.gnu.org>2010-09-03 10:15:54 +0000
commit155c92a7a0a4ce7738d1d8851e572ea790f34ffb (patch)
tree557b00c4e086e7d798393273321f3907a7d16cb4 /gcc/gimple-fold.c
parentcb1b497ec14f9e4c5ef5e15a8a0b2f454f5a1dfc (diff)
downloadgcc-155c92a7a0a4ce7738d1d8851e572ea790f34ffb.zip
gcc-155c92a7a0a4ce7738d1d8851e572ea790f34ffb.tar.gz
gcc-155c92a7a0a4ce7738d1d8851e572ea790f34ffb.tar.bz2
cgraph.h (struct varpool_node): Add const_value_known.
* cgraph.h (struct varpool_node): Add const_value_known. (varpool_decide_const_value_known): Declare. * tree-ssa-ccp.c (fold_const_aggregate_ref): Update initializer folding. * lto-cgraph.c (lto_output_varpool_node): Store const_value_known. (input_varpool_node): Restore const_value_known. * tree-ssa-loop-ivcanon (constant_after_peeling): Check varpool for initializer folding. * ipa.c (ipa_discover_readonly_nonaddressable_var, function_and_variable_visibility): Compute const_value_known. * gimple-fold.c (get_symbol_constant_value): Use varpool for initializer folding. * varpool.c (varpool_decide_const_value_known): New function. From-SVN: r163808
Diffstat (limited to 'gcc/gimple-fold.c')
-rw-r--r--gcc/gimple-fold.c8
1 files changed, 3 insertions, 5 deletions
diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c
index 8a48316..033023a 100644
--- a/gcc/gimple-fold.c
+++ b/gcc/gimple-fold.c
@@ -38,9 +38,9 @@ along with GCC; see the file COPYING3. If not see
tree
get_symbol_constant_value (tree sym)
{
- if (TREE_STATIC (sym)
- && (TREE_READONLY (sym)
- || TREE_CODE (sym) == CONST_DECL))
+ if ((TREE_STATIC (sym) || DECL_EXTERNAL (sym))
+ && (TREE_CODE (sym) == CONST_DECL
+ || varpool_get_node (sym)->const_value_known))
{
tree val = DECL_INITIAL (sym);
if (val)
@@ -65,8 +65,6 @@ get_symbol_constant_value (tree sym)
have zero as the initializer if they may not be
overridden at link or run time. */
if (!val
- && !DECL_EXTERNAL (sym)
- && targetm.binds_local_p (sym)
&& (INTEGRAL_TYPE_P (TREE_TYPE (sym))
|| SCALAR_FLOAT_TYPE_P (TREE_TYPE (sym))))
return fold_convert (TREE_TYPE (sym), integer_zero_node);