tree-optimization/106379 - add missing ~(a ^ b) folding for _Bool
authorRichard Biener <rguenther@suse.de>
Thu, 21 Jul 2022 11:20:47 +0000 (13:20 +0200)
committerRichard Biener <rguenther@suse.de>
Thu, 21 Jul 2022 11:20:47 +0000 (13:20 +0200)
commit375668e0508fbe173af1ed519d8ae2b79f388d94
treef477d9a9880b00e974211c7beb58ff3fd1e73935
parentdc477ffb4aba21e9cf47de22a4df6f2b23849505
tree-optimization/106379 - add missing ~(a ^ b) folding for _Bool

The following makes sure to fold ~(a ^ b) to a == b for truth
values (but not vectors, we'd have to check for vector support of
equality).  That turns the PR106379 testcase into a ranger one.

Note that while we arrive at ~(a ^ b) in a convoluted way from
original !a == !b one can eventually write the expression this
way directly as well.

PR tree-optimization/106379
* match.pd (~(a ^ b) -> a == b): New pattern.

* gcc.dg/pr106379-1.c: New testcase.
gcc/match.pd
gcc/testsuite/gcc.dg/pr106379-1.c [new file with mode: 0644]