re PR tree-optimization/37541 (VRP fails to optimize single-bit ranges)

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

	PR tree-optimization/37541
	* gcc.dg/tree-ssa/pr37508.c: Adjust and un-XFAIL.

From-SVN: r189075

gcc/testsuite/ChangeLog

 2012-06-29  Richard Guenther  <rguenther@suse.de>
 
+	PR tree-optimization/37541
+	* gcc.dg/tree-ssa/pr37508.c: Adjust and un-XFAIL.
+
+2012-06-29  Richard Guenther  <rguenther@suse.de>
+
 	PR tree-optimization/52589
 	* gcc.dg/tree-ssa/vrp70.c: New testcase.
 

gcc/testsuite/gcc.dg/tree-ssa/pr37508.c

@@ -30,7 +30,7 @@ int test3 (struct foo1 *x)
 {
   if (x->i == 0)
     return 1;
-  else if (x->i == 1)
+  else if (x->i == 1) /* This test is already folded to false by fold.  */
     return 1;
   return 0;
 }
@@ -44,5 +44,5 @@ int test4 (struct foo2 *x)
   return 0;
 }
 
-/* { dg-final { scan-tree-dump-times "Folding" 4 "vrp1" { xfail *-*-* } } } */
+/* { dg-final { scan-tree-dump-times "Folding" 3 "vrp1" } } */
 /* { dg-final { cleanup-tree-dump "vrp1" } } */