projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 461ded4) | patch
[ValueTracking] Add logic for `isKnownNonZero(sadd.sat X, Y)`
authorNoah Goldstein <goldstein.w.n@gmail.com>
Sun, 30 Apr 2023 14:33:10 +0000 (09:33 -0500)
committerNoah Goldstein <goldstein.w.n@gmail.com>
Sun, 30 Apr 2023 15:06:46 +0000 (10:06 -0500)
commit167ecdaa2cc34e942b99c567c0b076923ea220c3
treeae243ee94b54f17f38a38c52314d4b3289edd2e9tree | snapshot
parent461ded4631074c7636edd5985ce15b3748f6a9e2commit | diff
[ValueTracking] Add logic for `isKnownNonZero(sadd.sat X, Y)`

The logic here is the same for `add` so reuse the existing helper
`isNonZeroAdd`

Alive2 Link:
    https://alive2.llvm.org/ce/z/mhKvC5

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D149414
llvm/lib/Analysis/ValueTracking.cpp diff | blob | history
llvm/test/Analysis/ValueTracking/known-non-zero.ll diff | blob | history
Domain: System / Toolchain;