projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b3c865) | patch
[ValueTracking] Add logic for `add nuw x,y != 0` -> `x != 0 || y != 0`
authorNoah Goldstein <goldstein.w.n@gmail.com>
Thu, 27 Apr 2023 03:00:32 +0000 (22:00 -0500)
committerNoah Goldstein <goldstein.w.n@gmail.com>
Thu, 27 Apr 2023 04:48:20 +0000 (23:48 -0500)
commit75b48b40771ae8124f8624fff8f1fb422a5d1fc7
treef40b1c88f31d32767d5e4250678719f078db9f71tree | snapshot
parent9b3c865d32d84f13a19fe3b45cc66fcef910a368commit | diff
[ValueTracking] Add logic for `add nuw x,y != 0` -> `x != 0 || y != 0`

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

Reviewed By: nikic

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