[Bug tree-optimization/94884] Failure to recognize that result of or is always superior to operands

[gabravier at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94884

--- Comment #1 from Gabriel Ravier <gabravier at gmail dot com> ---
`f` can also be translated to `return true;` when it's this :

bool f(unsigned x, unsigned y)
{
    return (x & y) <= getXOrY(x, y);
}