projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73f5f1a) | patch
[ValueTracking] Add logic for `(sub x, y) != 0` if we know `KnownX != KnownY`
authorNoah Goldstein <goldstein.w.n@gmail.com>
Tue, 25 Apr 2023 18:47:49 +0000 (13:47 -0500)
committerNoah Goldstein <goldstein.w.n@gmail.com>
Thu, 27 Apr 2023 04:48:17 +0000 (23:48 -0500)
commit9b3c865d32d84f13a19fe3b45cc66fcef910a368
tree7bee8c6ebafe57c3d5928cd327accbd1a7617558tree | snapshot
parent73f5f1a8fa1325a2f29724e29dc331aa8e8b01d1commit | diff
[ValueTracking] Add logic for `(sub x, y) != 0` if we know `KnownX != KnownY`

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

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