On 9/3/23 18:21, Andrew Pinski via Gcc-patches wrote:
This adds `~MAX(~X, Y)` and `~MIN(~X, Y)` patterns
that are like the `~(~a & b)` and `~(~a | b)` patterns
and allows to reduce the number of ~ by 1.
OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.
PR tree-optimization/96694
gcc/ChangeLog:
* match.pd (`~MAX(~X, Y)`, `~MIN(~X, Y)`): New patterns.
gcc/testsuite/ChangeLog:
* gcc.dg/tree-ssa/minmax-24.c: New test.
OK. jeff
