> Can eqne pattern removal patches be committed firstly?
Please first make sure you test with corner cases, NaNs in
particular. I'm pretty sure we don't have any test cases for
those.
Regards
Robin
/
Regards,
Demin
From: 钟居哲
Sent: 2024年5月16日 10:02
To: Robin Dapp ; Demin Han ;
gcc-patches
Cc: rdapp.gcc ; kito.cheng ; Li,
Pan2 ; jeffreyalaw
Subject: Re: [PATCH 1/5] RISC-V: Remove float vector eqne pattern
Would you minding sending this patch again?
I can not find the patch now
Would you minding sending this patch again??
I can not find the patch now.
--Reply to Message--
On Thu, May 16, 2024 03:48 AM Robin Dapp
ct: Re: [PATCH 1/5] RISC-V: Remove float vector eqne pattern
>
> Hi Demin,
>
> are you still going to continue with this?
>
> Regards
> Robin
Hi Demin,
are you still going to continue with this?
Regards
Robin
> 2. When I write if (a == 2) and if (2 == a), the results are
> same
>
> 3. The vec_duplicate operand is the 5th operand in both cmp and
> eqne patterns. I think they are equal.
A comparison with a constant is always canonicalized to have the
constant second, that's why you won't see
patterns. I think they are equal.
From: 钟居哲
Sent: 2024年3月1日 15:24
To: Demin Han ; gcc-patches
Cc: kito.cheng ; Li, Pan2 ;
jeffreyalaw ; Robin Dapp
Subject: Re:[PATCH 1/5] RISC-V: Remove float vector eqne pattern
Hello, han. Thanks for trying to optimize the codes.
But I believe those vector
Hello, han. Thanks for trying to optimize the codes.
But I believe those vector-scalar patterns (eq/ne) you remove in this patch are
necessary.
This is the story:
1. For commutative RTL code in GCC like plus, eq, ne, ... etc,
we known in semantic Both (eq: (reg) (vec_duplicate ... ) and