FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vrp68.c: Adjust testcase.

Browse source 
2012-06-19  Richard Guenther  <rguenther@suse.de>

	* gcc.dg/tree-ssa/vrp68.c: Adjust testcase.

From-SVN: r188781
This commit is contained in:
Richard Guenther 2012-06-19 15:28:50 +00:00 • committed by Richard Biener
parent b54e19c27a
commit bbe10a06e0
2 changed files with 6 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,7 @@
2012-06-19 Richard Guenther <rguenther@suse.de>
* gcc.dg/tree-ssa/vrp68.c: Adjust testcase.
2012-06-18 Uros Bizjak <ubizjak@gmail.com>
PR target/53712

10
gcc/testsuite/gcc.dg/tree-ssa/vrp68.c
View file

@ -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" } } */