> On 7 May 2025, at 12:27, Karl Meakin <karl.mea...@arm.com> wrote:
> 
> Make the formatting of the RTL templates in the rules for branch
> instructions more consistent with each other.
> 
> gcc/ChangeLog:
> 
> * config/aarch64/aarch64.md (cbranch<mode>4): reformat.
> (cbranchcc4): likewise.
> (condjump): likewise.
> (*compare_condjump<GPI:mode>): likewise.
> (aarch64_cb<optab><mode>1): likewise.
> (*cb<optab><mode>1): likewise.
> (tbranch_<code><mode>3): likewise.
> (@aarch64_tb<optab><ALLI:mode><GPI:mode>): likewise.

Ok with similar comments on Changelog entries as in 1/8.

Thanks,
Kyrill

> ---
> gcc/config/aarch64/aarch64.md | 82 ++++++++++++++++++-----------------
> 1 file changed, 42 insertions(+), 40 deletions(-)
> 
> diff --git a/gcc/config/aarch64/aarch64.md b/gcc/config/aarch64/aarch64.md
> index 4d556d886bc..45b2283c5c0 100644
> --- a/gcc/config/aarch64/aarch64.md
> +++ b/gcc/config/aarch64/aarch64.md
> @@ -706,7 +706,7 @@ (define_expand "cbranch<mode>4"
>   [(set (pc) (if_then_else (match_operator 0 "aarch64_comparison_operator"
>    [(match_operand:GPI 1 "register_operand")
>     (match_operand:GPI 2 "aarch64_plus_operand")])
> -   (label_ref (match_operand 3 "" ""))
> +   (label_ref (match_operand 3))
>   (pc)))]
>   ""
>   "
> @@ -717,34 +717,34 @@ (define_expand "cbranch<mode>4"
> )
> 
> (define_expand "cbranch<mode>4"
> -  [(set (pc) (if_then_else
> - (match_operator 0 "aarch64_comparison_operator"
> - [(match_operand:GPF_F16 1 "register_operand")
> -  (match_operand:GPF_F16 2 "aarch64_fp_compare_operand")])
> - (label_ref (match_operand 3 "" ""))
> - (pc)))]
> +  [(set (pc) (if_then_else (match_operator 0 "aarch64_comparison_operator"
> +    [(match_operand:GPF_F16 1 "register_operand")
> +     (match_operand:GPF_F16 2 "aarch64_fp_compare_operand")])
> +   (label_ref (match_operand 3))
> +   (pc)))]
>   ""
> -  "
> +  {
>   operands[1] = aarch64_gen_compare_reg (GET_CODE (operands[0]), operands[1],
> operands[2]);
>   operands[2] = const0_rtx;
> -  "
> +  }
> )
> 
> (define_expand "cbranchcc4"
> -  [(set (pc) (if_then_else
> -      (match_operator 0 "aarch64_comparison_operator"
> -       [(match_operand 1 "cc_register")
> -        (match_operand 2 "const0_operand")])
> -      (label_ref (match_operand 3 "" ""))
> -      (pc)))]
> +  [(set (pc) (if_then_else (match_operator 0 "aarch64_comparison_operator"
> +    [(match_operand 1 "cc_register")
> +     (match_operand 2 "const0_operand")])
> +   (label_ref (match_operand 3))
> +   (pc)))]
>   ""
> -  "")
> +  ""
> +)
> 
> (define_insn "condjump"
>   [(set (pc) (if_then_else (match_operator 0 "aarch64_comparison_operator"
> -    [(match_operand 1 "cc_register" "") (const_int 0)])
> -   (label_ref (match_operand 2 "" ""))
> +    [(match_operand 1 "cc_register")
> +     (const_int 0)])
> +   (label_ref (match_operand 2))
>   (pc)))]
>   ""
>   {
> @@ -782,9 +782,9 @@ (define_insn "condjump"
> ;; b<ne,eq> .Label
> (define_insn_and_split "*compare_condjump<GPI:mode>"
>   [(set (pc) (if_then_else (EQL
> -      (match_operand:GPI 0 "register_operand" "r")
> -      (match_operand:GPI 1 "aarch64_imm24" "n"))
> -   (label_ref:P (match_operand 2 "" ""))
> +     (match_operand:GPI 0 "register_operand" "r")
> +     (match_operand:GPI 1 "aarch64_imm24" "n"))
> +   (label_ref:P (match_operand 2))
>   (pc)))]
>   "!aarch64_move_imm (INTVAL (operands[1]), <GPI:MODE>mode)
>    && !aarch64_plus_operand (operands[1], <GPI:MODE>mode)
> @@ -807,9 +807,10 @@ (define_insn_and_split "*compare_condjump<GPI:mode>"
> )
> 
> (define_insn "aarch64_cb<optab><mode>1"
> -  [(set (pc) (if_then_else (EQL (match_operand:GPI 0 "register_operand" "r")
> - (const_int 0))
> -   (label_ref (match_operand 1 "" ""))
> +  [(set (pc) (if_then_else (EQL
> +     (match_operand:GPI 0 "register_operand" "r")
> +     (const_int 0))
> +   (label_ref (match_operand 1))
>   (pc)))]
>   "!aarch64_track_speculation"
>   {
> @@ -832,9 +833,10 @@ (define_insn "aarch64_cb<optab><mode>1"
> )
> 
> (define_insn "*cb<optab><mode>1"
> -  [(set (pc) (if_then_else (LTGE (match_operand:ALLI 0 "register_operand" 
> "r")
> - (const_int 0))
> -   (label_ref (match_operand 1 "" ""))
> +  [(set (pc) (if_then_else (LTGE
> +     (match_operand:ALLI 0 "register_operand" "r")
> +     (const_int 0))
> +   (label_ref (match_operand 1))
>   (pc)))
>    (clobber (reg:CC CC_REGNUM))]
>   "!aarch64_track_speculation"
> @@ -875,11 +877,11 @@ (define_insn "*cb<optab><mode>1"
> ;; -------------------------------------------------------------------
> 
> (define_expand "tbranch_<code><mode>3"
> -  [(set (pc) (if_then_else
> -      (EQL (match_operand:SHORT 0 "register_operand")
> -   (match_operand 1 "const0_operand"))
> -      (label_ref (match_operand 2 ""))
> -      (pc)))]
> +  [(set (pc) (if_then_else (EQL
> +     (match_operand:SHORT 0 "register_operand")
> +     (match_operand 1 "const0_operand"))
> +   (label_ref (match_operand 2 ""))
> +   (pc)))]
>   ""
> {
>   rtx bitvalue = gen_reg_rtx (<ZEROM>mode);
> @@ -893,14 +895,14 @@ (define_expand "tbranch_<code><mode>3"
> })
> 
> (define_insn "@aarch64_tb<optab><ALLI:mode><GPI:mode>"
> -  [(set (pc) (if_then_else
> -      (EQL (zero_extract:GPI (match_operand:ALLI 0 "register_operand" "r")
> -     (const_int 1)
> -     (match_operand 1
> -       "aarch64_simd_shift_imm_<ALLI:mode>" "n"))
> -   (const_int 0))
> -     (label_ref (match_operand 2 "" ""))
> -     (pc)))
> +  [(set (pc) (if_then_else (EQL
> +     (zero_extract:GPI
> +       (match_operand:ALLI 0 "register_operand" "r")
> +       (const_int 1)
> +       (match_operand 1 "aarch64_simd_shift_imm_<ALLI:mode>" "n"))
> +     (const_int 0))
> +   (label_ref (match_operand 2))
> +   (pc)))
>    (clobber (reg:CC CC_REGNUM))]
>   "!aarch64_track_speculation"
>   {
> -- 
> 2.45.2
> 

Reply via email to