re PR tree-optimization/53986 (missing vrp on bit-mask test, LSHIFT_EXPR not handled)

2012-09-07  Tom de Vries  <tom@codesourcery.com>

	PR tree-optimization/53986
	* gcc.dg/tree-ssa/vrp80.c: New test.
	* gcc.dg/tree-ssa/vrp80-2.c: Same.

From-SVN: r191058

gcc/testsuite/ChangeLog

+2012-09-07  Tom de Vries  <tom@codesourcery.com>
+
+	PR tree-optimization/53986
+	* gcc.dg/tree-ssa/vrp80.c: New test.
+	* gcc.dg/tree-ssa/vrp80-2.c: Same.
+
 2012-09-06  Jason Merrill  <jason@redhat.com>
 
 	PR c++/54341

gcc/testsuite/gcc.dg/tree-ssa/vrp80-2.c

+/* { dg-do compile } */
+/* { dg-options "-O2 -fno-tree-switch-conversion -fdump-tree-vrp1" } */
+
+extern void vrp_keep (void);
+
+/* Test <<.  */
+
+void
+f3 (int s, int b)
+{
+  if (s >> 3 == -2)
+    /* s in range [-16, -9].  */
+    {
+      s += 17;
+      /* s in range [1, 8].  */
+      b = (b & 1) + 1;
+      /* b in range [1, 2].  */
+      b =  b << s;
+      /* b in range [bmin << smin, bmax << smax],
+                    == [1 << 1, 2 << 8]
+                    == [2, 512].  */
+      if (b == 2)
+	vrp_keep ();
+      if (b == 512)
+	vrp_keep ();
+    }
+}
+
+int
+main ()
+{
+  return 0;
+}
+
+/* { dg-final { scan-tree-dump-times "vrp_keep \\(" 2 "vrp1"} } */
+/* { dg-final { cleanup-tree-dump "vrp1" } } */
+
+

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

+/* { dg-do link } */
+/* { dg-options "-O2 -fno-tree-switch-conversion" } */
+
+extern void link_error (void);
+
+/* Test <<.  */
+
+void
+f3 (int s, int b)
+{
+  if (s >> 3 == -2)
+    /* s in range [-16, -9].  */
+    {
+      s += 17;
+      /* s in range [1, 8].  */
+      b = (b & 1) + 1;
+      /* b in range [1, 2].  */
+      b =  b << s;
+      /* b in range [bmin << smin, bmax << smax],
+                    == [1 << 1, 2 << 8]
+                    == [2, 512].  */
+      if (b == 1 || b == 513)
+	link_error ();
+    }
+}
+
+int
+main ()
+{
+  return 0;
+}
+
+