aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorJan Hubicka <jh@suse.cz>2010-09-04 18:02:38 +0200
committerJan Hubicka <hubicka@gcc.gnu.org>2010-09-04 16:02:38 +0000
commit5f7ae6b656d4468b1f2ebf3f773e494c7d147624 (patch)
tree34c358bbc15941d02b800987838c29b526be48e7 /gcc
parent8b2b54f9d6dc34cafebf59ecb154ac52a354ecc1 (diff)
downloadgcc-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/ChangeLog6
-rw-r--r--gcc/testsuite/ChangeLog4
-rw-r--r--gcc/testsuite/gcc.dg/tree-ssa/foldconst-1.c26
-rw-r--r--gcc/tree-switch-conversion.c1
-rw-r--r--gcc/varpool.c1
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 ();
}