loop-25.c: Verify the result in the profile pass.

* gcc.dg/tree-ssa/loop-25.c: Verify the result in the profile pass.

From-SVN: r121793
This commit is contained in:
Zdenek Dvorak 2007-02-10 11:57:44 +01:00 committed by Zdenek Dvorak
parent 4c9034c5e5
commit 79ba962c8f
2 changed files with 12 additions and 8 deletions

View File

@ -1,3 +1,7 @@
2007-02-10 Zdenek Dvorak <dvorakz@suse.cz>
* gcc.dg/tree-ssa/loop-25.c: Verify the result in the profile pass.
2006-02-09 Brooks Moses <brooks.moses@codesourcery.com>
* gfortran.dg/secnds.f: Replace time tolerance with a

View File

@ -1,5 +1,5 @@
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-vrp1" } */
/* { dg-options "-O2 -fdump-tree-profile" } */
int foo(void);
void bla(void);
@ -118,11 +118,11 @@ void test5 (void)
}
}
/* { dg-final { scan-tree-dump-times "Disambiguating loop" 5 "vrp1" } } */
/* { dg-final { scan-tree-dump-times "Found latch edge" 5 "vrp1" } } */
/* { dg-final { scan-tree-dump-times "Merged latch edges" 2 "vrp1" } } */
/* { dg-final { scan-tree-dump-times "4 loops found" 2 "vrp1" } } */
/* { dg-final { scan-tree-dump-times "3 loops found" 2 "vrp1" } } */
/* { dg-final { scan-tree-dump-times "2 loops found" 1 "vrp1" } } */
/* { dg-final { scan-tree-dump-times "Disambiguating loop" 5 "profile" } } */
/* { dg-final { scan-tree-dump-times "Found latch edge" 5 "profile" } } */
/* { dg-final { scan-tree-dump-times "Merged latch edges" 2 "profile" } } */
/* { dg-final { scan-tree-dump-times "4 loops found" 2 "profile" } } */
/* { dg-final { scan-tree-dump-times "3 loops found" 2 "profile" } } */
/* { dg-final { scan-tree-dump-times "2 loops found" 1 "profile" } } */
/* { dg-final { cleanup-tree-dump "vrp1" } } */
/* { dg-final { cleanup-tree-dump "profile" } } */