From 45733562ce6c85f6bfd60afa5438f20ef47c2c15 Mon Sep 17 00:00:00 2001
From: Kirill Yukhin <kirill.yukhin@intel.com>
Date: Mon, 28 Mar 2016 07:59:44 +0000
Subject: [PATCH] re PR target/70406 (ICE: in extract_insn, at recog.c:2287
 (unrecognizable insn) with -mtune=pentium2 -mavx512f)

PR target/70406

gcc/
	 * config/i386/i386.md (define_split, andn): Fix modes.

gcc/testsuite/
	 * gcc.target/i386/pr70406.c: New test.

From-SVN: r234500
---
 gcc/ChangeLog                           |  5 +++++
 gcc/config/i386/i386.md                 |  6 +++---
 gcc/testsuite/ChangeLog                 |  5 +++++
 gcc/testsuite/gcc.target/i386/pr70406.c | 13 +++++++++++++
 4 files changed, 26 insertions(+), 3 deletions(-)
 create mode 100644 gcc/testsuite/gcc.target/i386/pr70406.c

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f02e3d87c150..fba5da7ff9bf 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2016-03-28  Kirill Yukhin  <kirill.yukhin@intel.com>
+
+	 PR target/70406
+	 * config/i386/i386.md (define_split, andn): Fix modes.
+
 2016-03-26  Richard Biener  <rguenther@suse.de>
             Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
 
diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md
index 339a13401ddb..f324ea7ea419 100644
--- a/gcc/config/i386/i386.md
+++ b/gcc/config/i386/i386.md
@@ -8315,10 +8315,10 @@
    (clobber (reg:CC FLAGS_REG))]
   "TARGET_AVX512F && !TARGET_BMI && reload_completed"
   [(set (match_dup 0)
-	(not:HI (match_dup 0)))
+	(not:SWI12 (match_dup 0)))
    (parallel [(set (match_dup 0)
-		   (and:HI (match_dup 0)
-			   (match_dup 1)))
+		   (and:SWI12 (match_dup 0)
+			      (match_dup 1)))
 	      (clobber (reg:CC FLAGS_REG))])])
 
 ;; Turn *anddi_1 into *andsi_1_zext if possible.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 44f023f24274..daae1a5d8a25 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-03-28  Kirill Yukhin  <kirill.yukhin@intel.com>
+
+	PR target/70406
+	 * gcc.target/i386/pr70406.c: New test.
+
 2016-03-27  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gnat.dg/specs/double_record_extension3.ads: New test.
diff --git a/gcc/testsuite/gcc.target/i386/pr70406.c b/gcc/testsuite/gcc.target/i386/pr70406.c
new file mode 100644
index 000000000000..b75a5af450ee
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr70406.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-require-effective-target ia32 } */
+/* { dg-options "-O -mtune=pentium2 -mavx512f" } */
+
+typedef int v4si __attribute__ ((vector_size (16)));
+
+unsigned
+foo (unsigned char i, unsigned x, v4si u, v4si v, v4si w)
+{
+  i &= (unsigned)~x;
+  v <<= w[x];
+  return i + u[x] + v[i];
+}