Re: [RFC] New optab for `a&~b` (and future expand improvements)

2024-05-15 Thread Segher Boessenkool
Hi! On Wed, May 15, 2024 at 02:39:12PM +, Andrew Pinski via Gcc wrote: > * Add an optab for andnot (`a & ~b`) RTL can just as easily recognise (AND (NOT (...))), if Gimple has problems with that that is just a deficiency in Gimple. RTL only cares about what an expression *means*, ans

Re: [RFC] New optab for `a&~b` (and future expand improvements)

2024-05-15 Thread Richard Biener via Gcc
On Wed, May 15, 2024 at 4:40 PM Andrew Pinski via Gcc wrote: > > Hi all, > This is an RFC more than anything and I will be implementing the ideas > here. So thinking about how to improve code generation in general and depend > less on RTL passes (like combine) to do some instruction

[RFC] New optab for `a&~b` (and future expand improvements)

2024-05-15 Thread Andrew Pinski via Gcc
Hi all, This is an RFC more than anything and I will be implementing the ideas here. So thinking about how to improve code generation in general and depend less on RTL passes (like combine) to do some instruction selection. So there are 2 ways of implementing this but both involve adding