From: Richard Guenther Date: Wed, 26 Mar 2008 11:05:54 +0000 (+0000) Subject: 20030731-2.c: Scan dce1 dump. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=49e013b373db31b854984a3b71f1764a0d80ed7e;p=gcc.git 20030731-2.c: Scan dce1 dump. 2008-03-26 Richard Guenther * 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 e3499ad5ea9..6c8c1902efd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,13 @@ +2008-03-26 Richard Guenther + + * 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 * 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 5de797a5297..8300320c8cf 100644 --- 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 de3b5c122e0..eb1f5ec7d68 100644 --- 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 6e6bfe95b9b..e74bd08da90 100644 --- 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 66fcae5a97a..1a6e36df8f1 100644 --- 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 6e3a5fb2ec4..fc33d74e9ff 100644 --- 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 d662ef6e35b..82f37abc875 100644 --- 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 fe152b7e01e..86a706b80ef 100644 --- 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" } } */