PR tree-optimize/33172
authorhubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 10 Nov 2010 20:38:15 +0000 (20:38 +0000)
committerhubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 10 Nov 2010 20:38:15 +0000 (20:38 +0000)
PR tree-optimize/43411
* gcc.dg/tree-ssa/pr33172.c: New testcase.
* g++.dg/tree-ssa/pr43411.C: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@166557 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/tree-ssa/pr43411.C [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/pr33172.c [new file with mode: 0644]

index 661e55b..0d71195 100644 (file)
@@ -1,5 +1,12 @@
 2010-11-10  Jan Hubicka  <jh@suse.cz>
 
+       PR tree-optimize/33172
+       PR tree-optimize/43411
+       * gcc.dg/tree-ssa/pr33172.c: New testcase.
+       * g++.dg/tree-ssa/pr43411.C: New testcase.
+
+2010-11-10  Jan Hubicka  <jh@suse.cz>
+
        PR tree-optimize/46228
        * g++.dg/tree-ssa/pr46228.C: New testcase.
 
diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr43411.C b/gcc/testsuite/g++.dg/tree-ssa/pr43411.C
new file mode 100644 (file)
index 0000000..fcf1358
--- /dev/null
@@ -0,0 +1,29 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+class P { public: virtual int val() { return 123; } };
+class Psub : public P { };
+
+extern int sink1, sink2;
+
+void test() {
+    Psub p;
+    P &pRef = p;
+    sink1 = p.val();
+    sink2 = pRef.val();
+}
+
+
+inline int v(P &p) { return p.val(); }
+
+void testInlineP() {
+    P p;
+    sink1 = v(p);
+}
+
+void testInlinePsub() {
+    Psub p;
+    sink1 = v(p);
+}
+
+// { dg-final { scan-tree-dump-not "OBJ_TYPE_REF" "optimized" } }
+// { dg-final { cleanup-tree-dump "optimized" } }
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr33172.c b/gcc/testsuite/gcc.dg/tree-ssa/pr33172.c
new file mode 100644 (file)
index 0000000..17a40d4
--- /dev/null
@@ -0,0 +1,42 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+struct abc {
+    void (*abc_call)(void);
+};
+
+/*
+ * Use only any one of the three definitions below at a time:
+ *
+ * 1. nothing optimized away. Good.
+ * 2. call_func() _not_ optimized away, but struct xyz is. gcc disappoints.
+ * 3. both call_func() and struct xyz optimized away. Nice.
+ */
+
+/* 1 */
+/*extern int do_register(struct abc *xyz);*/
+
+/* 2 */
+static inline int do_register(struct abc *xyz)
+{
+    return 0;
+}
+
+/* 3 */
+/*#define do_register(xyz)    do { (void)(xyz); } while (0)*/
+
+static void call_func(void)
+{
+}
+
+static struct abc xyz = {
+    .abc_call = call_func,
+};
+
+void func(void)
+{
+    do_register(&xyz);
+}
+
+/* { dg-final { scan-tree-dump-not "call_func" "optimized"} } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */