sse.md (*vec_setv4sf_sse4_1, [...]): Use v constraint instead of x in avx alternatives.

	* config/i386/sse.md (*vec_setv4sf_sse4_1, sse4_1_insertps): Use v
	constraint instead of x in avx alternatives.  Use maybe_evex instead
	of vex prefix.

	* gcc.target/i386/avx512vl-vinsertps-1.c: New test.

From-SVN: r236162

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b053bfd717e5b1050c251be7871db24e1d0fc99e..caae23a5ab593768b1759bb4c2935d32701b996a 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2016-05-12  Jakub Jelinek  <jakub@redhat.com>
 
+       * config/i386/sse.md (*vec_setv4sf_sse4_1, sse4_1_insertps): Use v
+       constraint instead of x in avx alternatives.  Use maybe_evex instead
+       of vex prefix.
+
        * config/i386/constraints.md (Yv): New constraint.
        * config/i386/i386.h (VALID_AVX512VL_128_REG_MODE): Allow
        TFmode and V1TImode in xmm16+ registers for TARGET_AVX512VL.

diff --git a/gcc/config/i386/sse.md b/gcc/config/i386/sse.md
index a8092cb0500fd1ce0b45b8afae6526066d841727..c2c7c8da4e82f9b7c321fa2d78aac5a2f7a09b9b 100644 (file)
--- a/gcc/config/i386/sse.md
+++ b/gcc/config/i386/sse.md
@@ -6657,11 +6657,11 @@
 
 ;; A subset is vec_setv4sf.
 (define_insn "*vec_setv4sf_sse4_1"
-  [(set (match_operand:V4SF 0 "register_operand" "=Yr,*x,x")
+  [(set (match_operand:V4SF 0 "register_operand" "=Yr,*x,v")
        (vec_merge:V4SF
          (vec_duplicate:V4SF
-           (match_operand:SF 2 "nonimmediate_operand" "Yrm,*xm,xm"))
-         (match_operand:V4SF 1 "register_operand" "0,0,x")
+           (match_operand:SF 2 "nonimmediate_operand" "Yrm,*xm,vm"))
+         (match_operand:V4SF 1 "register_operand" "0,0,v")
          (match_operand:SI 3 "const_int_operand")))]
   "TARGET_SSE4_1
    && ((unsigned) exact_log2 (INTVAL (operands[3]))
@@ -6684,13 +6684,13 @@
    (set_attr "prefix_data16" "1,1,*")
    (set_attr "prefix_extra" "1")
    (set_attr "length_immediate" "1")
-   (set_attr "prefix" "orig,orig,vex")
+   (set_attr "prefix" "orig,orig,maybe_evex")
    (set_attr "mode" "V4SF")])
 
 (define_insn "sse4_1_insertps"
-  [(set (match_operand:V4SF 0 "register_operand" "=Yr,*x,x")
-       (unspec:V4SF [(match_operand:V4SF 2 "nonimmediate_operand" "Yrm,*xm,xm")
-                     (match_operand:V4SF 1 "register_operand" "0,0,x")
+  [(set (match_operand:V4SF 0 "register_operand" "=Yr,*x,v")
+       (unspec:V4SF [(match_operand:V4SF 2 "nonimmediate_operand" "Yrm,*xm,vm")
+                     (match_operand:V4SF 1 "register_operand" "0,0,v")
                      (match_operand:SI 3 "const_0_to_255_operand" "n,n,n")]
                     UNSPEC_INSERTPS))]
   "TARGET_SSE4_1"
@@ -6718,7 +6718,7 @@
    (set_attr "prefix_data16" "1,1,*")
    (set_attr "prefix_extra" "1")
    (set_attr "length_immediate" "1")
-   (set_attr "prefix" "orig,orig,vex")
+   (set_attr "prefix" "orig,orig,maybe_evex")
    (set_attr "mode" "V4SF")])
 
 (define_split

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index fa2c1231a7009862b78a138012fca24d2302d4ed..31f7bc200823d13fd96b12f111e80bb72ed8b8e8 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,7 @@
 2016-05-12  Jakub Jelinek  <jakub@redhat.com>
 
+       * gcc.target/i386/avx512vl-vinsertps-1.c: New test.
+
        * gcc.target/i386/avx512dq-abs-copysign-1.c: New test.
        * gcc.target/i386/avx512vl-abs-copysign-1.c: New test.
        * gcc.target/i386/avx512vl-abs-copysign-2.c: New test.

diff --git a/gcc/testsuite/gcc.target/i386/avx512vl-vinsertps-1.c b/gcc/testsuite/gcc.target/i386/avx512vl-vinsertps-1.c
new file mode 100644 (file)
index 0000000..ccadcc7
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/avx512vl-vinsertps-1.c
@@ -0,0 +1,39 @@
+/* { dg-do compile { target { ! ia32 } } } */
+/* { dg-options "-O2 -mavx512vl" } */
+
+#include <x86intrin.h>
+
+__m128
+f1 (__m128 a, __m128 b)
+{
+  register __m128 c __asm ("xmm16") = a;
+  asm volatile ("" : "+v" (c));
+  c = _mm_insert_ps (c, b, 1);
+  asm volatile ("" : "+v" (c));
+  return c;
+}
+
+/* { dg-final { scan-assembler "vinsertps\[^\n\r\]*xmm16" } } */
+
+__v4sf
+f2 (__v4sf a, float b)
+{
+  register __v4sf c __asm ("xmm17") = a;
+  asm volatile ("" : "+v" (c));
+  c[1] = b;
+  asm volatile ("" : "+v" (c));
+  return c;
+}
+
+/* { dg-final { scan-assembler "vinsertps\[^\n\r\]*xmm17" } } */
+
+__v4sf
+f3 (__v4sf a, float b)
+{
+  register float c __asm ("xmm18") = b;
+  asm volatile ("" : "+v" (c));
+  a[1] = c;
+  return a;
+}
+
+/* { dg-final { scan-assembler "vinsertps\[^\n\r\]*xmm18" } } */