re PR target/70406 (ICE: in extract_insn, at recog.c:2287 (unrecognizable insn)…

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

+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>
 

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.

gcc/testsuite/ChangeLog

+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.

gcc/testsuite/gcc.target/i386/pr70406.c

+/* { 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];
+}