On 04/12/2024 20:56, Christophe Lyon wrote:
> On Wed, 4 Dec 2024 at 12:39, Richard Earnshaw (lists)
> <richard.earns...@arm.com> wrote:
>>
>> On 25/11/2024 20:08, Christophe Lyon wrote:
>>> In this PR, we have to handle a case where MVE predicates are supplied
>>> as a const_int, where individual predicates have illegal boolean
>>> values (such as 0xc for a 4-bit boolean predicate).  To avoid the ICE,
>>> fix the constant (any non-zero value is converted to all 1s) and emit
>>> a warning.
>>>
>>> On MVE, V8BI and V4BI multi-bit masks are interpreted byte-by-byte at
>>> instruction level, but end-users should describe lanes rather than
>>> bytes (so all bytes of a true-predicated lane should be '1'), see
>>> https://developer.arm.com/documentation/101028/0012/14--M-profile-Vector-Extension--MVE--intrinsics.
>>>
>>> Since gen_lowpart can ICE on a subreg, we force predicates in a subreg
>>> into a reg, after removing subreg of the same size as the target
>>> (HImode) which would be made redundant by gen_lowpart and confuse the
>>> DLSTP optimization.
>>>
>>> 2024-11-20  Christophe Lyon  <christophe.l...@linaro.org>
>>>           Jakub Jelinek  <ja...@redhat.com>
>>>
>>>       PR target/114801
>>>       gcc/
>>>       * config/arm/arm-mve-builtins.cc
>>>       (function_expander::add_input_operand): Handle CONST_INT
>>>       predicates.
>>>
>>>       gcc/testsuite/
>>>       * gcc.target/arm/mve/pr108443.c: Update predicate constant.
>>>       * gcc.target/arm/mve/pr114801.c: New test.
>>> ---
>>>  gcc/config/arm/arm-mve-builtins.cc          | 37 ++++++++++++++++++-
>>>  gcc/testsuite/gcc.target/arm/mve/pr108443.c |  4 +--
>>>  gcc/testsuite/gcc.target/arm/mve/pr114801.c | 39 +++++++++++++++++++++
>>>  3 files changed, 77 insertions(+), 3 deletions(-)
>>>  create mode 100644 gcc/testsuite/gcc.target/arm/mve/pr114801.c
>>>
>>> diff --git a/gcc/config/arm/arm-mve-builtins.cc 
>>> b/gcc/config/arm/arm-mve-builtins.cc
>>> index 255aed25600..5ff32ce06b7 100644
>>> --- a/gcc/config/arm/arm-mve-builtins.cc
>>> +++ b/gcc/config/arm/arm-mve-builtins.cc
>>> @@ -2352,7 +2352,42 @@ function_expander::add_input_operand (insn_code 
>>> icode, rtx x)
>>>        mode = GET_MODE (x);
>>>      }
>>>    else if (VALID_MVE_PRED_MODE (mode))
>>> -    x = gen_lowpart (mode, x);
>>> +    {
>>> +      if (CONST_INT_P (x) && (mode == V8BImode || mode == V4BImode))
>>> +     {
>>> +       /* In V8BI or V4BI each element has 2 or 4 bits, if those bits 
>>> aren't
>>> +          all the same, gen_lowpart might ICE.  Canonicalize all the 2 or 4
>>> +          bits to all ones if any of them is non-zero.  V8BI and V4BI
>>> +          multi-bit masks are interpreted byte-by-byte at instruction 
>>> level,
>>> +          but such constants should describe lanes, rather than bytes.  See
>>> +          
>>> https://developer.arm.com/documentation/101028/0012/14--M-profile-Vector-Extension--MVE--intrinsics.
>>>   */
>>
>> Apart from being an overly long line, deep links like this are generally not 
>> very stable.  I suggest we just say something like "See the section on MVE 
>> intrinsics in the Arm ACLE specification".
> 
> Right, I was wondering what was the best practice, I think I've seen
> such links recently, not sure where.
> I'll update the comment, and the commit message.
> 
>>
>>> +       unsigned HOST_WIDE_INT xi = UINTVAL (x);
>>> +       xi |= ((xi & 0x5555) << 1) | ((xi & 0xaaaa) >> 1);
>>> +       if (mode == V4BImode)
>>> +         xi |= ((xi & 0x3333) << 2) | ((xi & 0xcccc) >> 2);
>>> +       if (xi != UINTVAL (x))
>>> +         inform (location, "constant predicate argument %d (%wx) does"
>>> +                 " not map to %d lane numbers, converted to %wx",
>>> +                 opno, UINTVAL (x) & 0xffff, mode == V8BImode ? 8 : 4,
>>> +                 xi & 0xffff);
>>
>> I think this should be a warning (so that werror can work with it).  
>> Otherwise such messages can't be faulted.
> OK, I will change this.
> 
>>
>>> +
>>> +       x = gen_int_mode (xi, HImode);
>>> +     }
>>> +      else if (SUBREG_P (x))
>>> +     {
>>> +       /* Already of the right size, drop the subreg which will be made
>>> +          redundant by gen_lowpart below.  */
>>> +       if (GET_MODE_SIZE (GET_MODE (x)) == GET_MODE_SIZE (HImode)
>>> +           || SUBREG_BYTE (x) == 0)
>>> +         x = SUBREG_REG (x);
>>> +
>>> +       /* gen_lowpart on a SUBREG can ICE.  */
>>> +       if (gen_lowpart_common (mode, x) == 0)
>>> +         x = force_reg (GET_MODE (x), x);
>>> +     }
>>> +
>>> +      x = gen_lowpart (mode, x);
>>
>> I wonder if this is overly complex.  Wouldn't it be better to just write 
>> here:
>>
>>   else if (!REG_P (x))
>>     x = force_reg (GET_MODE (x), x);
>>
>> and then let the optimizers clean things up?
>>
> The !REG_P(x) condition is not right, because force_reg crashes if x
> == (const_int 1) for instance (we have mode=VOID in
> int_mode_for_mode).
> 
> The first 'if' which looks at the mode sizes it to avoid regressions
> in DLSTP transform, despite recent improvements there.
> Without this, dlstp-compile-asm-2.c has regressions in test6 and test9.
> For some reason we have:
>  (set (reg:HI 137 [ p1 ]
>        (subreg/s/v:HI (reg/v:SI 129 [ p1 ]) 0)) (nil))
> (set (reg:V4BI 138 [ p1 ])
>       (subreg:V4BI (reg:HI 137 [ p1 ]) 0)) (nil))
> which not hoisted, while with the check above we hoist this:
> (set (reg:V4BI 136 [ p1 ])
>       (subreg:V4BI (reg/v:SI 129 [ p1 ]) 0)) (nil))
> 
> I was thinking this could be OK for gcc-15, and I would look at
> removing this hack for gcc-16.
> 
> The gen_lowpart_common (mode, x) == 0 part is to call force_reg only
> if gen_lowpart might have trouble with the current x, but avoid
> unnecessary force_reg that could confuse DLSTP transform too.
> In practice this is not exercised by the testsuite, but Jakub raised
> concerns after gen_lowpart possibly ICEing.
> 

So how about using force_subreg_lowpart at the end, rather than gen_lowpart?

R.
> Thanks,
> 
> Christophe
> 
>> R.
>>

Reply via email to