Re: [PATCH] match.pd: Fix parity (X) ^ parity (Y) simplification [PR112719]

2023-11-28 Thread Richard Biener
> Am 28.11.2023 um 09:36 schrieb Jakub Jelinek : > > Hi! > > When looking around, I've noticed we have a similar simplification > for parity (with ^ rather than +). Note, unlike the popcount one, > this one doesn't check for INTEGRAL_TYPE_P (type) (which rules out > vector simplification), s

[PATCH] match.pd: Fix parity (X) ^ parity (Y) simplification [PR112719]

2023-11-28 Thread Jakub Jelinek
Hi! When looking around, I've noticed we have a similar simplification for parity (with ^ rather than +). Note, unlike the popcount one, this one doesn't check for INTEGRAL_TYPE_P (type) (which rules out vector simplification), so I've used the old handling for types_match and otherwise do it onl