diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-06-19 15:28:50 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-06-19 15:28:50 +0000 |
| commit | bbe10a06e013c577005a6cae646095947bfdd277 (patch) | |
| tree | 20cf735dd262241f11ae1b3fa32b089cd1ee1e70 /gcc/testsuite/gcc.dg | |
| parent | b54e19c27aa71e608743d3c5892bfc53800fe7f3 (diff) | |
| download | gcc-bbe10a06e013c577005a6cae646095947bfdd277.zip gcc-bbe10a06e013c577005a6cae646095947bfdd277.tar.gz gcc-bbe10a06e013c577005a6cae646095947bfdd277.tar.bz2 | |
vrp68.c: Adjust testcase.
2012-06-19 Richard Guenther <rguenther@suse.de>
* gcc.dg/tree-ssa/vrp68.c: Adjust testcase.
From-SVN: r188781
Diffstat (limited to 'gcc/testsuite/gcc.dg')
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/vrp68.c | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp68.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp68.c index 97f1e4b..4f977f4 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/vrp68.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp68.c @@ -8,17 +8,11 @@ void test1 (int i, int j, int b) RANGE(i, 2, 6); ANTI_RANGE(j, 1, 7); MERGE(b, i, j); - CHECK_ANTI_RANGE(i, 7, 7); CHECK_ANTI_RANGE(i, 1, 1); - /* If we swap the anti-range tests the ~[6, 6] test is never eliminated. */ } int main() { } -/* While subsequent VRP/DOM passes manage to even recognize the ~[6, 6] - test as redundant a single VRP run will arbitrarily choose ~[0, 0] when - merging [1, 5] with ~[0, 6] so the first VRP pass can only eliminate - the ~[0, 0] check as redundant. */ +/* VRP will arbitrarily choose ~[1, 1] when merging [2, 6] with ~[1, 7]. */ -/* { dg-final { scan-tree-dump-times "link_error" 0 "vrp1" { xfail *-*-* } } } */ -/* { dg-final { scan-tree-dump-times "link_error" 1 "vrp1" } } */ +/* { dg-final { scan-tree-dump-times "link_error" 0 "vrp1" } } */ /* { dg-final { cleanup-tree-dump "vrp1" } } */ |