public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
From: Christophe Lyon <christophe.lyon@arm.com>
To: gcc-patches@gcc.gnu.org, Kyrylo Tkachov <Kyrylo.Tkachov@arm.com>
Subject: Re: [PATCH][GCC 12] arm: Fix constant immediates predicates and constraints for some MVE builtins
Date: Mon, 10 Oct 2022 17:29:40 +0200	[thread overview]
Message-ID: <ac8eca92-e3ea-dfad-2751-f212990c4c81@arm.com> (raw)
In-Reply-To: <8f8f6e91-9653-b802-e01f-e8c5337d20e5@arm.com>

ping^2 ?


On 10/5/22 16:55, Christophe Lyon via Gcc-patches wrote:
> ping?
> 
> 
> On 9/12/22 10:13, Christophe Lyon via Gcc-patches wrote:
>> Hi!
>>
>> On 9/9/22 11:33, Christophe Lyon wrote:
>>> This is a backport from trunk to gcc-12.
>>>
>>> Several MVE builtins incorrectly use the same predicate/constraint
>>> pair for several modes, which does not match the specification.
>>> This patch uses the appropriate iterator instead.
>>>
>>> 2022-09-06  Christophe Lyon  <christophe.lyon@arm.com>
>>>
>>>     gcc/
>>>     * config/arm/mve.md (mve_vqshluq_n_s<mode>): Use
>>>     MVE_pred/MVE_constraint instead of mve_imm_7/Ra.
>>>     (mve_vqshluq_m_n_s<mode>): Likewise.
>>>     (mve_vqrshrnbq_n_<supf><mode>): Use MVE_pred3/MVE_constraint3
>>>     instead of mve_imm_8/Rb.
>>>     (mve_vqrshrunbq_n_s<mode>): Likewise.
>>>     (mve_vqrshrntq_n_<supf><mode>): Likewise.
>>>     (mve_vqrshruntq_n_s<mode>): Likewise.
>>>     (mve_vrshrnbq_n_<supf><mode>): Likewise.
>>>     (mve_vrshrntq_n_<supf><mode>): Likewise.
>>>     (mve_vqrshrnbq_m_n_<supf><mode>): Likewise.
>>>     (mve_vqrshrntq_m_n_<supf><mode>): Likewise.
>>>     (mve_vrshrnbq_m_n_<supf><mode>): Likewise.
>>>     (mve_vrshrntq_m_n_<supf><mode>): Likewise.
>>>     (mve_vqrshrunbq_m_n_s<mode>): Likewise.
>>>     (mve_vsriq_n_<supf><mode): Use MVE_pred2/MVE_constraint2 instead
>>>     of mve_imm_selective_upto_8/Rg.
>>>     (mve_vsriq_m_n_<supf><mode>): Likewise.
>>>
>>> (cheerry-picked from c3fb6658c7670e446f2fd00984404d971e416b3c)
>>
>>
>> Is this backport OK for gcc-12? (with the "cheerry" typo above fixed)
>>
>> Thanks,
>>
>> Christophe
>>
>>
>>> ---
>>>   gcc/config/arm/mve.md | 30 +++++++++++++++---------------
>>>   1 file changed, 15 insertions(+), 15 deletions(-)
>>>
>>> diff --git a/gcc/config/arm/mve.md b/gcc/config/arm/mve.md
>>> index f16991c0a34..469e7e7f8dc 100644
>>> --- a/gcc/config/arm/mve.md
>>> +++ b/gcc/config/arm/mve.md
>>> @@ -1617,7 +1617,7 @@ (define_insn "mve_vqshluq_n_s<mode>"
>>>     [
>>>      (set (match_operand:MVE_2 0 "s_register_operand" "=w")
>>>       (unspec:MVE_2 [(match_operand:MVE_2 1 "s_register_operand" "w")
>>> -               (match_operand:SI 2 "mve_imm_7" "Ra")]
>>> +               (match_operand:SI 2 "<MVE_pred>" "<MVE_constraint>")]
>>>        VQSHLUQ_N_S))
>>>     ]
>>>     "TARGET_HAVE_MVE"
>>> @@ -2608,7 +2608,7 @@ (define_insn "mve_vqrshrnbq_n_<supf><mode>"
>>>      (set (match_operand:<V_narrow_pack> 0 "s_register_operand" "=w")
>>>       (unspec:<V_narrow_pack> [(match_operand:<V_narrow_pack> 1 
>>> "s_register_operand" "0")
>>>                    (match_operand:MVE_5 2 "s_register_operand" "w")
>>> -                 (match_operand:SI 3 "mve_imm_8" "Rb")]
>>> +                 (match_operand:SI 3 "<MVE_pred3>" 
>>> "<MVE_constraint3>")]
>>>        VQRSHRNBQ_N))
>>>     ]
>>>     "TARGET_HAVE_MVE"
>>> @@ -2623,7 +2623,7 @@ (define_insn "mve_vqrshrunbq_n_s<mode>"
>>>      (set (match_operand:<V_narrow_pack> 0 "s_register_operand" "=w")
>>>       (unspec:<V_narrow_pack> [(match_operand:<V_narrow_pack> 1 
>>> "s_register_operand" "0")
>>>                    (match_operand:MVE_5 2 "s_register_operand" "w")
>>> -                 (match_operand:SI 3 "mve_imm_8" "Rb")]
>>> +                 (match_operand:SI 3 "<MVE_pred3>" 
>>> "<MVE_constraint3>")]
>>>        VQRSHRUNBQ_N_S))
>>>     ]
>>>     "TARGET_HAVE_MVE"
>>> @@ -3563,7 +3563,7 @@ (define_insn "mve_vsriq_n_<supf><mode>"
>>>      (set (match_operand:MVE_2 0 "s_register_operand" "=w")
>>>       (unspec:MVE_2 [(match_operand:MVE_2 1 "s_register_operand" "0")
>>>                  (match_operand:MVE_2 2 "s_register_operand" "w")
>>> -               (match_operand:SI 3 "mve_imm_selective_upto_8" "Rg")]
>>> +               (match_operand:SI 3 "<MVE_pred2>" "<MVE_constraint2>")]
>>>        VSRIQ_N))
>>>     ]
>>>     "TARGET_HAVE_MVE"
>>> @@ -4466,7 +4466,7 @@ (define_insn "mve_vqrshrntq_n_<supf><mode>"
>>>      (set (match_operand:<V_narrow_pack> 0 "s_register_operand" "=w")
>>>       (unspec:<V_narrow_pack> [(match_operand:<V_narrow_pack> 1 
>>> "s_register_operand" "0")
>>>                  (match_operand:MVE_5 2 "s_register_operand" "w")
>>> -               (match_operand:SI 3 "mve_imm_8" "Rb")]
>>> +               (match_operand:SI 3 "<MVE_pred3>" "<MVE_constraint3>")]
>>>        VQRSHRNTQ_N))
>>>     ]
>>>     "TARGET_HAVE_MVE"
>>> @@ -4482,7 +4482,7 @@ (define_insn "mve_vqrshruntq_n_s<mode>"
>>>      (set (match_operand:<V_narrow_pack> 0 "s_register_operand" "=w")
>>>       (unspec:<V_narrow_pack> [(match_operand:<V_narrow_pack> 1 
>>> "s_register_operand" "0")
>>>                  (match_operand:MVE_5 2 "s_register_operand" "w")
>>> -               (match_operand:SI 3 "mve_imm_8" "Rb")]
>>> +               (match_operand:SI 3 "<MVE_pred3>" "<MVE_constraint3>")]
>>>        VQRSHRUNTQ_N_S))
>>>     ]
>>>     "TARGET_HAVE_MVE"
>>> @@ -4770,7 +4770,7 @@ (define_insn "mve_vrshrnbq_n_<supf><mode>"
>>>      (set (match_operand:<V_narrow_pack> 0 "s_register_operand" "=w")
>>>       (unspec:<V_narrow_pack> [(match_operand:<V_narrow_pack> 1 
>>> "s_register_operand" "0")
>>>                  (match_operand:MVE_5 2 "s_register_operand" "w")
>>> -               (match_operand:SI 3 "mve_imm_8" "Rb")]
>>> +               (match_operand:SI 3 "<MVE_pred3>" "<MVE_constraint3>")]
>>>        VRSHRNBQ_N))
>>>     ]
>>>     "TARGET_HAVE_MVE"
>>> @@ -4786,7 +4786,7 @@ (define_insn "mve_vrshrntq_n_<supf><mode>"
>>>      (set (match_operand:<V_narrow_pack> 0 "s_register_operand" "=w")
>>>       (unspec:<V_narrow_pack> [(match_operand:<V_narrow_pack> 1 
>>> "s_register_operand" "0")
>>>                  (match_operand:MVE_5 2 "s_register_operand" "w")
>>> -               (match_operand:SI 3 "mve_imm_8" "Rb")]
>>> +               (match_operand:SI 3 "<MVE_pred3>" "<MVE_constraint3>")]
>>>        VRSHRNTQ_N))
>>>     ]
>>>     "TARGET_HAVE_MVE"
>>> @@ -4980,7 +4980,7 @@ (define_insn "mve_vqshluq_m_n_s<mode>"
>>>      (set (match_operand:MVE_2 0 "s_register_operand" "=w")
>>>       (unspec:MVE_2 [(match_operand:MVE_2 1 "s_register_operand" "0")
>>>                  (match_operand:MVE_2 2 "s_register_operand" "w")
>>> -               (match_operand:SI 3 "mve_imm_7" "Ra")
>>> +               (match_operand:SI 3 "<MVE_pred>" "<MVE_constraint>")
>>>                  (match_operand:<MVE_VPRED> 4 "vpr_register_operand" 
>>> "Up")]
>>>        VQSHLUQ_M_N_S))
>>>     ]
>>> @@ -5012,7 +5012,7 @@ (define_insn "mve_vsriq_m_n_<supf><mode>"
>>>      (set (match_operand:MVE_2 0 "s_register_operand" "=w")
>>>       (unspec:MVE_2 [(match_operand:MVE_2 1 "s_register_operand" "0")
>>>                  (match_operand:MVE_2 2 "s_register_operand" "w")
>>> -               (match_operand:SI 3 "mve_imm_selective_upto_8" "Rg")
>>> +               (match_operand:SI 3 "<MVE_pred2>" "<MVE_constraint2>")
>>>                  (match_operand:<MVE_VPRED> 4 "vpr_register_operand" 
>>> "Up")]
>>>        VSRIQ_M_N))
>>>     ]
>>> @@ -6131,7 +6131,7 @@ (define_insn "mve_vqrshrnbq_m_n_<supf><mode>"
>>>      (set (match_operand:<V_narrow_pack> 0 "s_register_operand" "=w")
>>>       (unspec:<V_narrow_pack> [(match_operand:<V_narrow_pack> 1 
>>> "s_register_operand" "0")
>>>                  (match_operand:MVE_5 2 "s_register_operand" "w")
>>> -               (match_operand:SI 3 "mve_imm_8" "Rb")
>>> +               (match_operand:SI 3 "<MVE_pred3>" "<MVE_constraint3>")
>>>                  (match_operand:<MVE_VPRED> 4 "vpr_register_operand" 
>>> "Up")]
>>>        VQRSHRNBQ_M_N))
>>>     ]
>>> @@ -6148,7 +6148,7 @@ (define_insn "mve_vqrshrntq_m_n_<supf><mode>"
>>>      (set (match_operand:<V_narrow_pack> 0 "s_register_operand" "=w")
>>>       (unspec:<V_narrow_pack> [(match_operand:<V_narrow_pack> 1 
>>> "s_register_operand" "0")
>>>                  (match_operand:MVE_5 2 "s_register_operand" "w")
>>> -               (match_operand:SI 3 "mve_imm_8" "Rb")
>>> +               (match_operand:SI 3 "<MVE_pred3>" "<MVE_constraint3>")
>>>                  (match_operand:<MVE_VPRED> 4 "vpr_register_operand" 
>>> "Up")]
>>>        VQRSHRNTQ_M_N))
>>>     ]
>>> @@ -6216,7 +6216,7 @@ (define_insn "mve_vrshrnbq_m_n_<supf><mode>"
>>>      (set (match_operand:<V_narrow_pack> 0 "s_register_operand" "=w")
>>>       (unspec:<V_narrow_pack> [(match_operand:<V_narrow_pack> 1 
>>> "s_register_operand" "0")
>>>                  (match_operand:MVE_5 2 "s_register_operand" "w")
>>> -               (match_operand:SI 3 "mve_imm_8" "Rb")
>>> +               (match_operand:SI 3 "<MVE_pred3>" "<MVE_constraint3>")
>>>                  (match_operand:<MVE_VPRED> 4 "vpr_register_operand" 
>>> "Up")]
>>>        VRSHRNBQ_M_N))
>>>     ]
>>> @@ -6233,7 +6233,7 @@ (define_insn "mve_vrshrntq_m_n_<supf><mode>"
>>>      (set (match_operand:<V_narrow_pack> 0 "s_register_operand" "=w")
>>>       (unspec:<V_narrow_pack> [(match_operand:<V_narrow_pack> 1 
>>> "s_register_operand" "0")
>>>                  (match_operand:MVE_5 2 "s_register_operand" "w")
>>> -               (match_operand:SI 3 "mve_imm_8" "Rb")
>>> +               (match_operand:SI 3 "<MVE_pred3>" "<MVE_constraint3>")
>>>                  (match_operand:<MVE_VPRED> 4 "vpr_register_operand" 
>>> "Up")]
>>>        VRSHRNTQ_M_N))
>>>     ]
>>> @@ -6454,7 +6454,7 @@ (define_insn "mve_vqrshrunbq_m_n_s<mode>"
>>>      (set (match_operand:<V_narrow_pack> 0 "s_register_operand" "=w")
>>>       (unspec:<V_narrow_pack> [(match_operand:<V_narrow_pack> 1 
>>> "s_register_operand" "0")
>>>                  (match_operand:MVE_5 2 "s_register_operand" "w")
>>> -               (match_operand:SI 3 "mve_imm_8" "Rb")
>>> +               (match_operand:SI 3 "<MVE_pred3>" "<MVE_constraint3>")
>>>                  (match_operand:<MVE_VPRED> 4 "vpr_register_operand" 
>>> "Up")]
>>>        VQRSHRUNBQ_M_N_S))
>>>     ]

  reply	other threads:[~2022-10-10 15:30 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-09-09  9:33 Christophe Lyon
2022-09-12  8:13 ` Christophe Lyon
2022-10-05 14:55   ` Christophe Lyon
2022-10-10 15:29     ` Christophe Lyon [this message]
2022-10-11 10:19       ` Kyrylo Tkachov

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=ac8eca92-e3ea-dfad-2751-f212990c4c81@arm.com \
    --to=christophe.lyon@arm.com \
    --cc=Kyrylo.Tkachov@arm.com \
    --cc=gcc-patches@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).