Noah Goldstein d840391401 [ValueTracking] Add logic for isKnownNonZero(smin/smax X, Y) ...

For `smin` if either `X` or `Y` is negative, the result is non-zero.
For `smax` if either `X` or `Y` is strictly positive, the result is
non-zero.

For both if `X != 0` and `Y != 0` the result is non-zero.

Alive2 Link:
    https://alive2.llvm.org/ce/z/7yvbgN
    https://alive2.llvm.org/ce/z/zizbvq

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D149417

2023-04-30 10:06:46 -05:00

434 KiB

Raw Blame History

View Raw