diff mbox

Improve sse_mov{hl,lh}ps

Message ID 20160504193710.GL26501@tucnak.zalov.cz
State New
Headers show

Commit Message

Jakub Jelinek May 4, 2016, 7:37 p.m. UTC 
Hi!

Another pair of define_insns where all the VEX insns have EVEX variant
in AVX512VL.

Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?

2016-05-04  Jakub Jelinek  <jakub@redhat.com>

	* config/i386/sse.md (sse_movhlps, sse_movlhps): Use
	v instead of x in vex or maybe_vex alternatives, use
	maybe_evex instead of vex in prefix.


	Jakub

Comments

Kirill Yukhin May 6, 2016, 11:45 a.m. UTC | #1 
On 04 May 21:37, Jakub Jelinek wrote:
> Hi!
> 
> Another pair of define_insns where all the VEX insns have EVEX variant
> in AVX512VL.
> 
> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
OK for trunk.

--
Thanks, K
> 
> 2016-05-04  Jakub Jelinek  <jakub@redhat.com>
> 
> 	* config/i386/sse.md (sse_movhlps, sse_movlhps): Use
> 	v instead of x in vex or maybe_vex alternatives, use
> 	maybe_evex instead of vex in prefix.
> 
> --- gcc/config/i386/sse.md.jj	2016-05-04 14:36:08.000000000 +0200
> +++ gcc/config/i386/sse.md	2016-05-04 15:16:44.180894303 +0200
> @@ -5744,11 +5744,11 @@ (define_expand "sse_movhlps_exp"
>  })
>  
>  (define_insn "sse_movhlps"
> -  [(set (match_operand:V4SF 0 "nonimmediate_operand"     "=x,x,x,x,m")
> +  [(set (match_operand:V4SF 0 "nonimmediate_operand"     "=x,v,x,v,m")
>  	(vec_select:V4SF
>  	  (vec_concat:V8SF
> -	    (match_operand:V4SF 1 "nonimmediate_operand" " 0,x,0,x,0")
> -	    (match_operand:V4SF 2 "nonimmediate_operand" " x,x,o,o,x"))
> +	    (match_operand:V4SF 1 "nonimmediate_operand" " 0,v,0,v,0")
> +	    (match_operand:V4SF 2 "nonimmediate_operand" " x,v,o,o,v"))
>  	  (parallel [(const_int 6)
>  		     (const_int 7)
>  		     (const_int 2)
> @@ -5762,7 +5762,7 @@ (define_insn "sse_movhlps"
>     %vmovhps\t{%2, %0|%q0, %2}"
>    [(set_attr "isa" "noavx,avx,noavx,avx,*")
>     (set_attr "type" "ssemov")
> -   (set_attr "prefix" "orig,vex,orig,vex,maybe_vex")
> +   (set_attr "prefix" "orig,maybe_evex,orig,maybe_evex,maybe_vex")
>     (set_attr "mode" "V4SF,V4SF,V2SF,V2SF,V2SF")])
>  
>  (define_expand "sse_movlhps_exp"
> @@ -5789,11 +5789,11 @@ (define_expand "sse_movlhps_exp"
>  })
>  
>  (define_insn "sse_movlhps"
> -  [(set (match_operand:V4SF 0 "nonimmediate_operand"     "=x,x,x,x,o")
> +  [(set (match_operand:V4SF 0 "nonimmediate_operand"     "=x,v,x,v,o")
>  	(vec_select:V4SF
>  	  (vec_concat:V8SF
> -	    (match_operand:V4SF 1 "nonimmediate_operand" " 0,x,0,x,0")
> -	    (match_operand:V4SF 2 "nonimmediate_operand" " x,x,m,m,x"))
> +	    (match_operand:V4SF 1 "nonimmediate_operand" " 0,v,0,v,0")
> +	    (match_operand:V4SF 2 "nonimmediate_operand" " x,v,m,v,v"))
>  	  (parallel [(const_int 0)
>  		     (const_int 1)
>  		     (const_int 4)
> @@ -5807,7 +5807,7 @@ (define_insn "sse_movlhps"
>     %vmovlps\t{%2, %H0|%H0, %2}"
>    [(set_attr "isa" "noavx,avx,noavx,avx,*")
>     (set_attr "type" "ssemov")
> -   (set_attr "prefix" "orig,vex,orig,vex,maybe_vex")
> +   (set_attr "prefix" "orig,maybe_evex,orig,maybe_evex,maybe_vex")
>     (set_attr "mode" "V4SF,V4SF,V2SF,V2SF,V2SF")])
>  
>  (define_insn "<mask_codefor>avx512f_unpckhps512<mask_name>"
> 
> 	Jakub
diff mbox

Patch

--- gcc/config/i386/sse.md.jj	2016-05-04 14:36:08.000000000 +0200
+++ gcc/config/i386/sse.md	2016-05-04 15:16:44.180894303 +0200
@@ -5744,11 +5744,11 @@  (define_expand "sse_movhlps_exp"
 })
 
 (define_insn "sse_movhlps"
-  [(set (match_operand:V4SF 0 "nonimmediate_operand"     "=x,x,x,x,m")
+  [(set (match_operand:V4SF 0 "nonimmediate_operand"     "=x,v,x,v,m")
 	(vec_select:V4SF
 	  (vec_concat:V8SF
-	    (match_operand:V4SF 1 "nonimmediate_operand" " 0,x,0,x,0")
-	    (match_operand:V4SF 2 "nonimmediate_operand" " x,x,o,o,x"))
+	    (match_operand:V4SF 1 "nonimmediate_operand" " 0,v,0,v,0")
+	    (match_operand:V4SF 2 "nonimmediate_operand" " x,v,o,o,v"))
 	  (parallel [(const_int 6)
 		     (const_int 7)
 		     (const_int 2)
@@ -5762,7 +5762,7 @@  (define_insn "sse_movhlps"
    %vmovhps\t{%2, %0|%q0, %2}"
   [(set_attr "isa" "noavx,avx,noavx,avx,*")
    (set_attr "type" "ssemov")
-   (set_attr "prefix" "orig,vex,orig,vex,maybe_vex")
+   (set_attr "prefix" "orig,maybe_evex,orig,maybe_evex,maybe_vex")
    (set_attr "mode" "V4SF,V4SF,V2SF,V2SF,V2SF")])
 
 (define_expand "sse_movlhps_exp"
@@ -5789,11 +5789,11 @@  (define_expand "sse_movlhps_exp"
 })
 
 (define_insn "sse_movlhps"
-  [(set (match_operand:V4SF 0 "nonimmediate_operand"     "=x,x,x,x,o")
+  [(set (match_operand:V4SF 0 "nonimmediate_operand"     "=x,v,x,v,o")
 	(vec_select:V4SF
 	  (vec_concat:V8SF
-	    (match_operand:V4SF 1 "nonimmediate_operand" " 0,x,0,x,0")
-	    (match_operand:V4SF 2 "nonimmediate_operand" " x,x,m,m,x"))
+	    (match_operand:V4SF 1 "nonimmediate_operand" " 0,v,0,v,0")
+	    (match_operand:V4SF 2 "nonimmediate_operand" " x,v,m,v,v"))
 	  (parallel [(const_int 0)
 		     (const_int 1)
 		     (const_int 4)
@@ -5807,7 +5807,7 @@  (define_insn "sse_movlhps"
    %vmovlps\t{%2, %H0|%H0, %2}"
   [(set_attr "isa" "noavx,avx,noavx,avx,*")
    (set_attr "type" "ssemov")
-   (set_attr "prefix" "orig,vex,orig,vex,maybe_vex")
+   (set_attr "prefix" "orig,maybe_evex,orig,maybe_evex,maybe_vex")
    (set_attr "mode" "V4SF,V4SF,V2SF,V2SF,V2SF")])
 
 (define_insn "<mask_codefor>avx512f_unpckhps512<mask_name>"