vrp68.c: Adjust testcase.

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

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

From-SVN: r188781

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1deb816228ece92caaf1660389454ca08f5a36d3..38ae75a9916c348474520db0b66a29a08af652ee 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -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

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp68.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp68.c
index 97f1e4b83caf48279fbb21c1f5efbe0cd3910ef8..4f977f4010b67fbaf59c35e3fb0d6f999a6b3d85 100644 (file)
--- 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" } } */