Hi! On Wed, May 15, 2024 at 02:39:12PM +0000, 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 perhaps sometimes about canonical forms. Never about silly naming things. In RTL you never have redundant expressions things like "andnot". Such things can at best get in the way always, and more likely be immediately detrimental. Segher