> Am 26.11.2022 um 17:42 schrieb apinski--- via Gcc-patches
> :
>
> From: Andrew Pinski
>
> The following makes sure to fold (~a) == b to a ^ b for truth
> values.
>
> OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.
Ok.
Richard
> Thanks,
> Andrew Pinski
>
>PR
From: Andrew Pinski
The following makes sure to fold (~a) == b to a ^ b for truth
values.
OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.
Thanks,
Andrew Pinski
PR 103356
gcc/ChangeLog:
* match.pd: ((~a) == b -> a ^ b): New pattern.
gcc/testsuite/ChangeL