re PR target/70406 (ICE: in extract_insn, at recog.c:2287 (unrecognizable insn) with...
authorKirill Yukhin <kirill.yukhin@intel.com>
Mon, 28 Mar 2016 07:59:44 +0000 (07:59 +0000)
committerKirill Yukhin <kyukhin@gcc.gnu.org>
Mon, 28 Mar 2016 07:59:44 +0000 (07:59 +0000)
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
gcc/config/i386/i386.md
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.target/i386/pr70406.c [new file with mode: 0644]

index f02e3d87c15012058bcdf093c666c4a91f7efbb6..fba5da7ff9bfcc0f9fd3b81d8be71f2aa96bf904 100644 (file)
@@ -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>
 
index 339a13401ddb8529ab2c3892c6090e15f30b89fc..f324ea7ea4198b0d1765a60b54305a4fb95e3272 100644 (file)
    (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.
index 44f023f24274834c446dcfb3a79d0e3f77107fc1..daae1a5d8a25b53a797fb4aadcdc975f11aba962 100644 (file)
@@ -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 (file)
index 0000000..b75a5af
--- /dev/null
@@ -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];
+}