From: Jakub Jelinek <jakub@redhat.com>
Date: Tue, 17 Jan 2017 15:50:24 +0000 (+0100)
Subject: re PR tree-optimization/71854 (ICE at -O3 in both 32-bit and 64-bit modes on x86_64... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c549996eed68bbe0da8bebc900503e99a2fb7b52;p=gcc.git

re PR tree-optimization/71854 (ICE at -O3 in both 32-bit and 64-bit modes on x86_64-linux-gnu (verify_gimple failed))

	PR tree-optimization/71854
	* gcc.dg/vect/pr71854.c: New test.

From-SVN: r244534
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f7d4fa27832..e211eb8c319 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-01-17  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/71854
+	* gcc.dg/vect/pr71854.c: New test.
+
 2017-01-17  Martin Liska  <mliska@suse.cz>
 
 	PR ipa/71207
diff --git a/gcc/testsuite/gcc.dg/vect/pr71854.c b/gcc/testsuite/gcc.dg/vect/pr71854.c
new file mode 100644
index 00000000000..6dc2c53a8bc
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/pr71854.c
@@ -0,0 +1,25 @@
+/* PR tree-optimization/71854 */
+/* { dg-do compile } */
+/* { dg-additional-options "-O3 -ftree-loop-if-convert" } */
+
+char a, f = 1;
+int b, c, e[8];
+short d;
+
+short
+foo (short x)
+{
+  return x >= 2 || x >> c ? x : x << c;
+}
+
+int
+main ()
+{
+  while (f)
+    for (d = 0; d <= 7; d++)
+      {
+	f = 7 >> b ? a : a << b;
+	e[d] = foo (f);
+      }
+  return 0;
+}