[v2,17/36] arm: [MVE intrinsics] factorize vddup vidup

  Factorize vddup and vidup so that they use the same parameterized
names.

This patch updates only the (define_insn
"@mve_<mve_insn>q_u<mode>_insn") patterns and does not bother with the
(define_expand "mve_vidupq_n_u<mode>") ones, because a subsequent
patch avoids using them.

2024-08-21  Christophe Lyon  <christophe.lyon@linaro.org>

	gcc/
	* config/arm/iterators.md (mve_insn): Add VIDUPQ, VDDUPQ,
	VIDUPQ_M, VDDUPQ_M.
	(viddupq_op): New.
	(viddupq_m_op): New.
	(VIDDUPQ): New.
	(VIDDUPQ_M): New.
	* config/arm/mve.md (mve_vddupq_u<mode>_insn)
	(mve_vidupq_u<mode>_insn): Merge into ...
	(mve_<mve_insn>q_u<mode>_insn): ... this.
	(mve_vddupq_m_wb_u<mode>_insn, mve_vidupq_m_wb_u<mode>_insn):
	Merge into ...
	(mve_<mve_insn>q_m_wb_u<mode>_insn): ... this.
---
 gcc/config/arm/iterators.md |  7 +++++
 gcc/config/arm/mve.md       | 58 +++++++++----------------------------
 2 files changed, 20 insertions(+), 45 deletions(-)
  

On 04/09/2024 14:26, Christophe Lyon wrote:
> Factorize vddup and vidup so that they use the same parameterized
> names.
> 
> This patch updates only the (define_insn
> "@mve_<mve_insn>q_u<mode>_insn") patterns and does not bother with the
> (define_expand "mve_vidupq_n_u<mode>") ones, because a subsequent
> patch avoids using them.
> 
> 2024-08-21  Christophe Lyon  <christophe.lyon@linaro.org>
> 
> 	gcc/
> 	* config/arm/iterators.md (mve_insn): Add VIDUPQ, VDDUPQ,
> 	VIDUPQ_M, VDDUPQ_M.
> 	(viddupq_op): New.
> 	(viddupq_m_op): New.
> 	(VIDDUPQ): New.
> 	(VIDDUPQ_M): New.
> 	* config/arm/mve.md (mve_vddupq_u<mode>_insn)
> 	(mve_vidupq_u<mode>_insn): Merge into ...
> 	(mve_<mve_insn>q_u<mode>_insn): ... this.
> 	(mve_vddupq_m_wb_u<mode>_insn, mve_vidupq_m_wb_u<mode>_insn):
> 	Merge into ...
> 	(mve_<mve_insn>q_m_wb_u<mode>_insn): ... this.

OK.

R.

> ---
>  gcc/config/arm/iterators.md |  7 +++++
>  gcc/config/arm/mve.md       | 58 +++++++++----------------------------
>  2 files changed, 20 insertions(+), 45 deletions(-)
> 
> diff --git a/gcc/config/arm/iterators.md b/gcc/config/arm/iterators.md
> index 3a1825ebab2..c0299117f26 100644
> --- a/gcc/config/arm/iterators.md
> +++ b/gcc/config/arm/iterators.md
> @@ -1007,6 +1007,8 @@ (define_int_attr mve_insn [
>  		 (VHSUBQ_M_S "vhsub") (VHSUBQ_M_U "vhsub")
>  		 (VHSUBQ_N_S "vhsub") (VHSUBQ_N_U "vhsub")
>  		 (VHSUBQ_S "vhsub") (VHSUBQ_U "vhsub")
> +		 (VIDUPQ "vidup") (VDDUPQ "vddup")
> +		 (VIDUPQ_M "vidup") (VDDUPQ_M "vddup")
>  		 (VMAXAQ_M_S "vmaxa")
>  		 (VMAXAQ_S "vmaxa")
>  		 (VMAXAVQ_P_S "vmaxav")
> @@ -1340,6 +1342,9 @@ (define_int_attr mve_mnemo [
>  		 (VRNDXQ_F "vrintx") (VRNDXQ_M_F "vrintx")
>  		 ])
>  
> +(define_int_attr viddupq_op [ (VIDUPQ "plus") (VDDUPQ "minus")])
> +(define_int_attr viddupq_m_op [ (VIDUPQ_M "plus") (VDDUPQ_M "minus")])
> +
>  ;; plus and minus are the only SHIFTABLE_OPS for which Thumb2 allows
>  ;; a stack pointer operand.  The minus operation is a candidate for an rsub
>  ;; and hence only plus is supported.
> @@ -2961,6 +2966,8 @@ (define_int_iterator VCVTxQ_M_F16_F32 [VCVTBQ_M_F16_F32 VCVTTQ_M_F16_F32])
>  (define_int_iterator VCVTxQ_M_F32_F16 [VCVTBQ_M_F32_F16 VCVTTQ_M_F32_F16])
>  (define_int_iterator VCVTxQ [VCVTAQ_S VCVTAQ_U VCVTMQ_S VCVTMQ_U VCVTNQ_S VCVTNQ_U VCVTPQ_S VCVTPQ_U])
>  (define_int_iterator VCVTxQ_M [VCVTAQ_M_S VCVTAQ_M_U VCVTMQ_M_S VCVTMQ_M_U VCVTNQ_M_S VCVTNQ_M_U VCVTPQ_M_S VCVTPQ_M_U])
> +(define_int_iterator VIDDUPQ [VIDUPQ VDDUPQ])
> +(define_int_iterator VIDDUPQ_M [VIDUPQ_M VDDUPQ_M])
>  (define_int_iterator DLSTP [DLSTP8 DLSTP16 DLSTP32
>  				   DLSTP64])
>  (define_int_iterator LETP [LETP8 LETP16 LETP32
> diff --git a/gcc/config/arm/mve.md b/gcc/config/arm/mve.md
> index 62cffebd6ed..36117303fd6 100644
> --- a/gcc/config/arm/mve.md
> +++ b/gcc/config/arm/mve.md
> @@ -5105,18 +5105,18 @@ (define_expand "mve_vidupq_n_u<mode>"
>  })
>  
>  ;;
> -;; [vidupq_u_insn])
> +;; [vddupq_u_insn, vidupq_u_insn]
>  ;;
> -(define_insn "mve_vidupq_u<mode>_insn"
> +(define_insn "@mve_<mve_insn>q_u<mode>_insn"
>   [(set (match_operand:MVE_2 0 "s_register_operand" "=w")
>         (unspec:MVE_2 [(match_operand:SI 2 "s_register_operand" "1")
>  		      (match_operand:SI 3 "mve_imm_selective_upto_8" "Rg")]
> -	 VIDUPQ))
> +	VIDDUPQ))
>    (set (match_operand:SI 1 "s_register_operand" "=Te")
> -       (plus:SI (match_dup 2)
> -		(match_operand:SI 4 "immediate_operand" "i")))]
> +       (<viddupq_op>:SI (match_dup 2)
> +			(match_operand:SI 4 "immediate_operand" "i")))]
>   "TARGET_HAVE_MVE"
> - "vidup.u%#<V_sz_elem>\t%q0, %1, %3")
> + "<mve_insn>.u%#<V_sz_elem>\t%q0, %1, %3")
>  
>  ;;
>  ;; [vidupq_m_n_u])
> @@ -5139,21 +5139,21 @@ (define_expand "mve_vidupq_m_n_u<mode>"
>  })
>  
>  ;;
> -;; [vidupq_m_wb_u_insn])
> +;; [vddupq_m_wb_u_insn, vidupq_m_wb_u_insn]
>  ;;
> -(define_insn "mve_vidupq_m_wb_u<mode>_insn"
> +(define_insn "@mve_<mve_insn>q_m_wb_u<mode>_insn"
>   [(set (match_operand:MVE_2 0 "s_register_operand" "=w")
>         (unspec:MVE_2 [(match_operand:MVE_2 1 "s_register_operand" "0")
>  		      (match_operand:SI 3 "s_register_operand" "2")
>  		      (match_operand:SI 4 "mve_imm_selective_upto_8" "Rg")
>  		      (match_operand:<MVE_VPRED> 5 "vpr_register_operand" "Up")]
> -	VIDUPQ_M))
> +	VIDDUPQ_M))
>    (set (match_operand:SI 2 "s_register_operand" "=Te")
> -       (plus:SI (match_dup 3)
> -		(match_operand:SI 6 "immediate_operand" "i")))]
> +       (<viddupq_m_op>:SI (match_dup 3)
> +			  (match_operand:SI 6 "immediate_operand" "i")))]
>   "TARGET_HAVE_MVE"
> - "vpst\;\tvidupt.u%#<V_sz_elem>\t%q0, %2, %4"
> - [(set (attr "mve_unpredicated_insn") (symbol_ref "CODE_FOR_mve_vidupq_u<mode>_insn"))
> + "vpst\;<mve_insn>t.u%#<V_sz_elem>\t%q0, %2, %4"
> + [(set (attr "mve_unpredicated_insn") (symbol_ref "CODE_FOR_mve_<mve_insn>q_u<mode>_insn"))
>    (set_attr "length""8")])
>  
>  ;;
> @@ -5173,20 +5173,6 @@ (define_expand "mve_vddupq_n_u<mode>"
>    DONE;
>  })
>  
> -;;
> -;; [vddupq_u_insn])
> -;;
> -(define_insn "mve_vddupq_u<mode>_insn"
> - [(set (match_operand:MVE_2 0 "s_register_operand" "=w")
> -       (unspec:MVE_2 [(match_operand:SI 2 "s_register_operand" "1")
> -		      (match_operand:SI 3 "immediate_operand" "i")]
> -	VDDUPQ))
> -  (set (match_operand:SI 1 "s_register_operand" "=Te")
> -       (minus:SI (match_dup 2)
> -		 (match_operand:SI 4 "immediate_operand" "i")))]
> - "TARGET_HAVE_MVE"
> - "vddup.u%#<V_sz_elem>\t%q0, %1, %3")
> -
>  ;;
>  ;; [vddupq_m_n_u])
>  ;;
> @@ -5207,24 +5193,6 @@ (define_expand "mve_vddupq_m_n_u<mode>"
>    DONE;
>  })
>  
> -;;
> -;; [vddupq_m_wb_u_insn])
> -;;
> -(define_insn "mve_vddupq_m_wb_u<mode>_insn"
> - [(set (match_operand:MVE_2 0 "s_register_operand" "=w")
> -       (unspec:MVE_2 [(match_operand:MVE_2 1 "s_register_operand" "0")
> -		      (match_operand:SI 3 "s_register_operand" "2")
> -		      (match_operand:SI 4 "mve_imm_selective_upto_8" "Rg")
> -		      (match_operand:<MVE_VPRED> 5 "vpr_register_operand" "Up")]
> -	VDDUPQ_M))
> -  (set (match_operand:SI 2 "s_register_operand" "=Te")
> -       (minus:SI (match_dup 3)
> -		 (match_operand:SI 6 "immediate_operand" "i")))]
> - "TARGET_HAVE_MVE"
> - "vpst\;vddupt.u%#<V_sz_elem>\t%q0, %2, %4"
> - [(set (attr "mve_unpredicated_insn") (symbol_ref "CODE_FOR_mve_vddupq_u<mode>_insn"))
> -  (set_attr "length""8")])
> -
>  ;;
>  ;; [vdwdupq_n_u])
>  ;;