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

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7709ae57bff2961bd7ac9f1bc1e8b76212eab839..7fd300e3eeeb83cfa2c79fa96713f8035099da28 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr37508.c b/gcc/testsuite/gcc.dg/tree-ssa/pr37508.c
index f31c5940bd16411386c748e1d48d3b49c574768b..aea35cc04ed43f100349fbfbafdf6b7e350961f2 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/pr37508.c
+++ b/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" } } */