20030731-2.c: Scan dce1 dump.

2008-03-26  Richard Guenther  <rguenther@suse.de>

	* gcc.dg/tree-ssa/20030731-2.c: Scan dce1 dump.
	* gcc.dg/tree-ssa/20030917-1.c: Scan optimized dump.
	* gcc.dg/tree-ssa/20030917-3.c: Scan ccp1 dump.
	* gcc.dg/tree-ssa/20040721-1.c: Test linking, do not disable DOM.
	* gcc.dg/tree-ssa/pr21574.c: Scan the fre dump.
	* gcc.dg/tree-ssa/ssa-ccp-1.c: Scan ccp1 dump.
	* gcc.dg/tree-ssa/ssa-ccp-3.c: Scan ccp2 dump.

From-SVN: r133596

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e3499ad5ea9f53e2585987b3da7e1e9f3ad90d9c..6c8c1902efdf28a6d2d340f956d38dba6b5c6b72 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,13 @@
+2008-03-26  Richard Guenther  <rguenther@suse.de>
+
+       * gcc.dg/tree-ssa/20030731-2.c: Scan dce1 dump.
+       * gcc.dg/tree-ssa/20030917-1.c: Scan optimized dump.
+       * gcc.dg/tree-ssa/20030917-3.c: Scan ccp1 dump.
+       * gcc.dg/tree-ssa/20040721-1.c: Test linking, do not disable DOM.
+       * gcc.dg/tree-ssa/pr21574.c: Scan the fre dump.
+       * gcc.dg/tree-ssa/ssa-ccp-1.c: Scan ccp1 dump.
+       * gcc.dg/tree-ssa/ssa-ccp-3.c: Scan ccp2 dump.
+
 2008-03-26  Douglas Gregor  <doug.gregor@gmail.com>
 
        * g++.dg/cpp0x/variadic84.C: Update to reflect the change in

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/20030731-2.c b/gcc/testsuite/gcc.dg/tree-ssa/20030731-2.c
index 5de797a5297173fb248c443f09de7ea619ef2106..8300320c8cf36132247bce5fe514755fc78ee1dd 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/20030731-2.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/20030731-2.c
@@ -1,7 +1,7 @@
 /* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-store_ccp" } */
-  
+/* { dg-options "-O2 -fdump-tree-dce1" } */
 
+void
 bar (int i, int partial, int args_addr)
 {
   int offset = 0;
@@ -13,5 +13,5 @@ bar (int i, int partial, int args_addr)
 
 /* There should be only one IF conditional since the first does nothing
    useful.  */
-/* { dg-final { scan-tree-dump-times "if " 1 "store_ccp"} } */
-/* { dg-final { cleanup-tree-dump "store_ccp" } } */
+/* { dg-final { scan-tree-dump-times "if " 1 "dce1"} } */
+/* { dg-final { cleanup-tree-dump "dce1" } } */

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/20030917-1.c b/gcc/testsuite/gcc.dg/tree-ssa/20030917-1.c
index de3b5c122e01b76792fe62b11ddb360cd5186269..eb1f5ec7d68a8c65edcc3bb5ea8b56cbe6cf94ff 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/20030917-1.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/20030917-1.c
@@ -1,5 +1,5 @@
 /* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-store_ccp" } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
   
 
 extern int board[];
@@ -15,5 +15,5 @@ findbestextension (int blah, int blah2)
 }
 
 /* The argument to "foo" should be a variable, not a constant.  */
-/* { dg-final { scan-tree-dump-times "foo .defval" 1 "store_ccp"} } */
-/* { dg-final { cleanup-tree-dump "store_ccp" } } */
+/* { dg-final { scan-tree-dump-times "foo .defval" 1 "optimized"} } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/20030917-3.c b/gcc/testsuite/gcc.dg/tree-ssa/20030917-3.c
index 6e6bfe95b9be09407e52a567b714e529d3e66abb..e74bd08da90578d67848cf64dd32d0e84b94ded0 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/20030917-3.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/20030917-3.c
@@ -1,5 +1,5 @@
 /* { dg-do compile } */
-/* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-store_ccp" } */
+/* { dg-options "-O -fdump-tree-ccp1" } */
 
 extern int printf (const char *, ...); 
 
@@ -20,5 +20,5 @@ main ()
 
 
 /* The argument to "printf" should be a constant, not a variable.  */
-/* { dg-final { scan-tree-dump-times "printf.*, 0" 1 "store_ccp"} } */
-/* { dg-final { cleanup-tree-dump "store_ccp" } } */
+/* { dg-final { scan-tree-dump-times "printf.*, 0" 1 "ccp1"} } */
+/* { dg-final { cleanup-tree-dump "ccp1" } } */

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/20040721-1.c b/gcc/testsuite/gcc.dg/tree-ssa/20040721-1.c
index 66fcae5a97ac68eac9e3133155891d4a0903e8f3..1a6e36df8f10d24bf46ac9b2cfaa8d8cf547984b 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/20040721-1.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/20040721-1.c
@@ -1,11 +1,14 @@
-/* { dg-do compile } */
-/* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-store_ccp-vops" } */
+/* { dg-do link } */
+/* { dg-options "-O2" } */
 
 /* Test to check whether global variables are being
    constant propagated. */
 
+extern void link_error (void);
+
 int G;
 
+void
 foo (int i)
 {
    if (i > 0)
@@ -17,12 +20,10 @@ foo (int i)
      link_error ();
 }
 
+int
 main ()
 {
    foo (0);
    return 0;
 }
 
-/* There should be no G on the RHS of an assignment. */
-/* { dg-final { scan-tree-dump-times "= G;" 0 "store_ccp"} } */
-/* { dg-final { cleanup-tree-dump "store_ccp" } } */

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr21574.c b/gcc/testsuite/gcc.dg/tree-ssa/pr21574.c
index 6e3a5fb2ec44ee87a0177f29f495b2ee341c09e6..fc33d74e9ffeaf4a44592e4cc7aae374347ecf11 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/pr21574.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr21574.c
@@ -1,5 +1,5 @@
 /* { dg-do compile } */
-/* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-store_ccp" } */
+/* { dg-options "-O -fdump-tree-fre-details" } */
 
 int
 foo (int *p)
@@ -8,6 +8,6 @@ foo (int *p)
   return *p;
 }
 
-/* The store to *p should be propagated to the return statement.  */
-/* { dg-final { scan-tree-dump-times "return 0" 1 "store_ccp" } } */
-/* { dg-final { cleanup-tree-dump "store_ccp" } } */
+/* The store to *p should be propagated to the load statement.  */
+/* { dg-final { scan-tree-dump "Replaced \\\*p_.\\\(D\\\) with 0" "fre" } } */
+/* { dg-final { cleanup-tree-dump "fre" } } */

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-1.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-1.c
index d662ef6e35b9c351a2fa1b3d28d4765070c319e1..82f37abc875f1f1e58a5ecdc74790e7748a4efc1 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-1.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-1.c
@@ -1,5 +1,5 @@
 /* { dg-do compile } */ 
-/* { dg-options "-O2 -fdump-tree-store_ccp" } */
+/* { dg-options "-O -fdump-tree-ccp1" } */
 
 extern void link_error (void);
 
@@ -71,5 +71,5 @@ void test11111 (int p, int q, int r)
 
 /* There should be not link_error calls, if there is any the
    optimization has failed */
-/* { dg-final { scan-tree-dump-times "link_error" 0 "store_ccp"} } */
-/* { dg-final { cleanup-tree-dump "store_ccp" } } */
+/* { dg-final { scan-tree-dump-times "link_error" 0 "ccp1"} } */
+/* { dg-final { cleanup-tree-dump "ccp1" } } */

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-3.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-3.c
index fe152b7e01e499d47e4f3ba9f8ef55c6bf0e5b03..86a706b80ef709684f483574ec91f0ba085538bc 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-3.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-3.c
@@ -1,10 +1,12 @@
 /* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-store_ccp" } */
+/* { dg-options "-O -fdump-tree-ccp2" } */
 
 extern void link_error (void);
 
-/* some addresses clearly cannot be equal, check that some address
-    expressions can be evaluated as constants */
+/* Some addresses clearly cannot be equal, check that some address
+   expressions can be evaluated as constants.
+   Most of the tests are folding tests, but at least some require
+   points-to analysis, so we scan the first CCP dump after PTA.  */
 
 char g1, g2;
 void test6 (char p1, char p2)
@@ -131,5 +133,5 @@ int* test666 (int * __restrict__ rp1, int * __restrict__ rp2, int *p1)
    optimization has failed */
 /* ??? While we indeed don't handle some of these, a couple of the
    restrict tests are incorrect.  */
-/* { dg-final { scan-tree-dump-times "link_error" 0 "store_ccp" { xfail *-*-* } } } */
-/* { dg-final { cleanup-tree-dump "store_ccp" } } */
+/* { dg-final { scan-tree-dump-times "link_error" 0 "ccp2" { xfail *-*-* } } } */
+/* { dg-final { cleanup-tree-dump "ccp2" } } */