From: Tom de Vries <tom@codesourcery.com>
Date: Sat, 15 Sep 2012 18:48:12 +0000 (+0000)
Subject: vrp80-2.c: Rename to ...
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e857cbce23bff10b6bbcf700d3c370f2e086e883;p=gcc.git

vrp80-2.c: Rename to ...

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

	* gcc.dg/tree-ssa/vrp80-2.c: Rename to ...
	* gcc.dg/tree-ssa/vrp81.c: ... this.

From-SVN: r191347
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 89b65e035b2..2cc9263ca01 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-09-15  Tom de Vries  <tom@codesourcery.com>
+
+	* gcc.dg/tree-ssa/vrp80-2.c: Rename to ...
+	* gcc.dg/tree-ssa/vrp81.c: ... this.
+
 2012-09-15  Georg-Johann Lay  <avr@gjlay.de>
 
 	PR target/54222
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp80-2.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp80-2.c
deleted file mode 100644
index bb38f27c0d7..00000000000
--- a/gcc/testsuite/gcc.dg/tree-ssa/vrp80-2.c
+++ /dev/null
@@ -1,38 +0,0 @@
-/* { 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" } } */
-
-
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp81.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp81.c
new file mode 100644
index 00000000000..bb38f27c0d7
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp81.c
@@ -0,0 +1,38 @@
+/* { 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" } } */
+
+