diff options
author | Jan Hubicka <jh@suse.cz> | 2010-09-04 18:02:38 +0200 |
---|---|---|
committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2010-09-04 16:02:38 +0000 |
commit | 5f7ae6b656d4468b1f2ebf3f773e494c7d147624 (patch) | |
tree | 34c358bbc15941d02b800987838c29b526be48e7 /gcc | |
parent | 8b2b54f9d6dc34cafebf59ecb154ac52a354ecc1 (diff) | |
download | gcc-5f7ae6b656d4468b1f2ebf3f773e494c7d147624.zip gcc-5f7ae6b656d4468b1f2ebf3f773e494c7d147624.tar.gz gcc-5f7ae6b656d4468b1f2ebf3f773e494c7d147624.tar.bz2 |
foldconst-1.c: New testcase.
* gcc.dg/tree-ssa/foldconst-1.c: New testcase.
* tree-switch-conversion.c (build_one_array): Set constructor to be
static.
* varpool.c (varpool_finalize_decl): Compute const_value_known.
From-SVN: r163860
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/foldconst-1.c | 26 | ||||
-rw-r--r-- | gcc/tree-switch-conversion.c | 1 | ||||
-rw-r--r-- | gcc/varpool.c | 1 |
5 files changed, 38 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d0ac706..feece9e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-09-04 Jan Hubicka <jh@suse.cz> + + * tree-switch-conversion.c (build_one_array): Set constructor to be + static. + * varpool.c (varpool_finalize_decl): Compute const_value_known. + 2010-09-04 Richard Guenther <rguenther@suse.de> PR bootstrap/45519 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 52dd4e8..9e3da03 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2010-09-04 Jan Hubicka <jh@suse.cz> + + * gcc.dg/tree-ssa/foldconst-1.c: New testcase. + 2010-09-04 Janus Weil <janus@gcc.gnu.org> PR fortran/45507 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/foldconst-1.c b/gcc/testsuite/gcc.dg/tree-ssa/foldconst-1.c new file mode 100644 index 0000000..10414a2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/foldconst-1.c @@ -0,0 +1,26 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-optimized" } */ +void bar (unsigned int); + +void +foo (void) +{ + char buf[1] = { 3 }; + const char *p = buf; + const char **q = &p; + unsigned int ch; + switch (**q) + { + case 1: ch = 5; break; + case 2: ch = 4; break; + case 3: ch = 3; break; + case 4: ch = 2; break; + case 5: ch = 1; break; + default: ch = 0; break; + } + bar (ch); +} +/* The switch should be switch converted and later constant propagated. */ +/* { dg-final { scan-tree-dump-not "CSWTCH" "optimized"} } */ +/* { dg-final { scan-tree-dump-not "switch" "optimized"} } */ +/* { dg-final { cleanup-tree-dump "optimized" } } */ diff --git a/gcc/tree-switch-conversion.c b/gcc/tree-switch-conversion.c index 7072af8..05c0a65 100644 --- a/gcc/tree-switch-conversion.c +++ b/gcc/tree-switch-conversion.c @@ -518,6 +518,7 @@ build_one_array (gimple swtch, int num, tree arr_index_type, gimple phi, array_type = build_array_type (value_type, arr_index_type); ctor = build_constructor (array_type, info.constructors[num]); TREE_CONSTANT (ctor) = true; + TREE_STATIC (ctor) = true; decl = build_decl (loc, VAR_DECL, NULL_TREE, array_type); TREE_STATIC (decl) = 1; diff --git a/gcc/varpool.c b/gcc/varpool.c index eac488f..2b08094 100644 --- a/gcc/varpool.c +++ b/gcc/varpool.c @@ -423,6 +423,7 @@ varpool_finalize_decl (tree decl) there. */ else if (TREE_PUBLIC (decl) && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl)) varpool_mark_needed_node (node); + node->const_value_known |= varpool_decide_const_value_known (node); if (cgraph_global_info_ready) varpool_assemble_pending_decls (); } |