Alex Coplan writes:
> Hi Christophe,
>
> On 08/09/2020 10:14, Christophe Lyon wrote:
>> On Mon, 17 Aug 2020 at 11:00, Alex Coplan wrote:
>> >
>> > gcc/ChangeLog:
>> >
>> > * config/aarch64/aarch64.md
>> > (*adds__): Ensure extended operand
>> > agrees with width of extensi
Hi Christophe,
On 08/09/2020 10:14, Christophe Lyon wrote:
> On Mon, 17 Aug 2020 at 11:00, Alex Coplan wrote:
> >
> > gcc/ChangeLog:
> >
> > * config/aarch64/aarch64.md
> > (*adds__): Ensure extended operand
> > agrees with width of extension specifier.
> > (*subs_
Hi Christophe,
> -Original Message-
> From: Christophe Lyon
> Sent: 08 September 2020 09:15
> To: Alex Coplan
> Cc: gcc Patches ; Richard Earnshaw
> ; Marcus Shawcroft
> Subject: Re: [PATCH] aarch64: Don't generate invalid zero/sign-extend
>
On Mon, 17 Aug 2020 at 11:00, Alex Coplan wrote:
>
> Hello,
>
> Given the following C function:
>
> double *f(double *p, unsigned x)
> {
> return p + x;
> }
>
> prior to this patch, GCC at -O2 would generate:
>
> f:
> add x0, x0, x1, uxtw 3
> ret
>
> but this add instructio
Alex Coplan writes:
> Hi Richard,
>
>> -Original Message-
>> From: Richard Sandiford
>> Sent: 18 August 2020 09:35
>> To: Alex Coplan
>> Cc: gcc-patches@gcc.gnu.org; Richard Earnshaw ;
>> Marcus Shawcroft ; Kyrylo Tkachov
>>
>> Sub
Hi Richard,
> -Original Message-
> From: Richard Sandiford
> Sent: 18 August 2020 09:35
> To: Alex Coplan
> Cc: gcc-patches@gcc.gnu.org; Richard Earnshaw ;
> Marcus Shawcroft ; Kyrylo Tkachov
>
> Subject: Re: [PATCH] aarch64: Don't generate invalid zero/s
Richard Sandiford wrote:
Alex Coplan writes:
Note that an obvious omission here is that this patch does not touch the
mult patterns such as *add__mult_. I found
that I couldn't hit these patterns with C code since multiplications by
powers of two always get turned into shifts by earlier RTL p
Alex Coplan writes:
> Note that an obvious omission here is that this patch does not touch the
> mult patterns such as *add__mult_. I found
> that I couldn't hit these patterns with C code since multiplications by
> powers of two always get turned into shifts by earlier RTL passes. If
> there's a
