projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba3dbcc) | patch
[Instsimplfy] X == Y ? 0 : X - Y --> X - Y
authorJun Zhang <jun@junz.org>
Tue, 16 May 2023 11:11:40 +0000 (19:11 +0800)
committerJun Zhang <jun@junz.org>
Tue, 16 May 2023 11:15:47 +0000 (19:15 +0800)
commita47b56f4ef8355e7c2abf1f10ff2c317d9d6e54a
tree83d5cd54c0b48a433198a976796db887072fa7aetree | snapshot
parentba3dbcc779af271d3dce022af684ecfe7d3e2d78commit | diff
[Instsimplfy] X == Y ? 0 : X - Y --> X - Y

Alive2: https://alive2.llvm.org/ce/z/rPN1GB
Fixes: https://github.com/llvm/llvm-project/issues/62238

Depends on D150377

Signed-off-by: Jun Zhang <jun@junz.org>
Differential Revision: https://reviews.llvm.org/D150378
llvm/lib/Analysis/InstructionSimplify.cpp diff | blob | history
llvm/test/Transforms/InstSimplify/select.ll diff | blob | history
Domain: System / Toolchain;