re PR target/66174 (ICE: in extract_insn, at recog.c:2341 (unrecognizable insns)...

	PR target/66174
	* config/i386/i386.c (expand_vec_perm_blend): Enable HImode and
	QImode inner modes for TARGET_AVX512BW.  Force mask operand
	to a register for AVX512F modes.

testsuite/ChangeLog:

	PR target/66174
	* gcc.target/i386/pr66174.c: New test.

From-SVN: r223269

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 87d792d1214446b7a43ff17f89ec1081322261ca..a19c15863c5258edfbbd0ff9b93c8b025c84959e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,9 +1,16 @@
-2015-05-16  Jan HUbicka  <hubicka@ucw.cz>
+2015-05-17  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/66174
+       * config/i386/i386.c (expand_vec_perm_blend): Enable HImode and
+       QImode inner modes for TARGET_AVX512BW.  Force mask operand
+       to a register for AVX512F modes.
+
+2015-05-16  Jan Hubicka  <hubicka@ucw.cz>
 
        * toplev.c (emit_debug_global_declarations): Do not output debug info
        when doing slim LTO objects.
 
-2015-05-16  Jan HUbicka  <hubicka@ucw.cz>
+2015-05-16  Jan Hubicka  <hubicka@ucw.cz>
 
        * ipa-utils.h (warn_types_mismatch, odr_or_derived_type_p,
        odr_types_equivalent_p): Declare.
@@ -21,7 +28,7 @@
        * tree.h (type_in_anonymous_namespace_p): Remove.
        * doc/invoke.texi (-Wlto-type-mismatch): Document
 
-2015-05-16  Jan HUbicka  <hubicka@ucw.cz>
+2015-05-16  Jan Hubicka  <hubicka@ucw.cz>
 
        * tree.c (verify_type_variant): Verify tree_base and type_common flags.
        (verify_type): Verify STRING_FLAG.

diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index de333d88a880cdfb9885e2fc2fe07535c1f7ac8e..8d91861056786c7fa543b68527ef29e90e273519 100644 (file)
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -46777,15 +46777,16 @@ expand_vselect_vconcat (rtx target, rtx op0, rtx op1,
 static bool
 expand_vec_perm_blend (struct expand_vec_perm_d *d)
 {
-  machine_mode vmode = d->vmode;
+  machine_mode mmode, vmode = d->vmode;
   unsigned i, mask, nelt = d->nelt;
-  rtx target, op0, op1, x;
+  rtx target, op0, op1, maskop, x;
   rtx rperm[32], vperm;
 
   if (d->one_operand_p)
     return false;
   if (TARGET_AVX512F && GET_MODE_SIZE (vmode) == 64
-      && GET_MODE_SIZE (GET_MODE_INNER (vmode)) >= 4)
+      && (TARGET_AVX512BW
+         || GET_MODE_SIZE (GET_MODE_INNER (vmode)) >= 4))
     ;
   else if (TARGET_AVX2 && GET_MODE_SIZE (vmode) == 32)
     ;
@@ -46959,8 +46960,33 @@ expand_vec_perm_blend (struct expand_vec_perm_d *d)
       gcc_unreachable ();
     }
 
+  switch (vmode)
+    {
+    case V8DFmode:
+    case V8DImode:
+      mmode = QImode;
+      break;
+    case V16SFmode:
+    case V16SImode:
+      mmode = HImode;
+      break;
+    case V32HImode:
+      mmode = SImode;
+      break;
+    case V64QImode:
+      mmode = DImode;
+      break;
+    default:
+      mmode = VOIDmode;
+    }
+
+  if (mmode != VOIDmode)
+    maskop = force_reg (mmode, gen_int_mode (mask, mmode));
+  else
+    maskop = GEN_INT (mask);
+
   /* This matches five different patterns with the different modes.  */
-  x = gen_rtx_VEC_MERGE (vmode, op1, op0, GEN_INT (mask));
+  x = gen_rtx_VEC_MERGE (vmode, op1, op0, maskop);
   x = gen_rtx_SET (target, x);
   emit_insn (x);
   if (target != d->target)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5a36566b0e49e5df40bc3472c189f183ff0e4726..552076f9c145f4f58fa8b993480b62e9e52e7bbe 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,10 +1,15 @@
+2015-05-17  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/66174
+       * gcc.target/i386/pr66174.c: New test.
+
 2015-05-17  Thomas Koenig  <tkoenig@gcc.gnu.org>
 
        PR fortran/37131
        * gfortran.dg/matmul_bounds_6.f90:  New test.
        * gfortran.dg/matmul_bounds_7.f90:  New test.
 
-2015-05-16  Jan Hubica  <hubicka@ucw.cz>
+2015-05-16  Jan Hubicka  <hubicka@ucw.cz>
 
        * gfortran.dg/lto/20091028-2_1.c: Fix return value.
        * gfortran.dg/lto/pr41576_1.f90: Add interface.