[ValueTracking] Add tests for additional `isKnownNonZero` cases; NFC
authorNoah Goldstein <goldstein.w.n@gmail.com>
Sat, 18 Feb 2023 19:36:24 +0000 (13:36 -0600)
committerNoah Goldstein <goldstein.w.n@gmail.com>
Sat, 18 Feb 2023 19:44:55 +0000 (13:44 -0600)
commite0ce87509b18957fc82dd5b1aa5ad50e81412294
treeaafa8ed3070fde75aab89bc2dc8e43cfd7f6c5f6
parent9a8f517f5750050e9df4bca332e90d38d075f6a7
[ValueTracking] Add tests for additional `isKnownNonZero` cases; NFC

Add cases for the following ops:
    - 0-X
    - bitreverse(X)
    - bswap(X)
    - ctpop(X)
    - abs(X)
    - uadd_sat(X, Y)

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D142827
llvm/test/Analysis/ValueTracking/known-non-zero.ll [new file with mode: 0644]