projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b76168) | patch
[Instsimplfy] X == Y ? 0 : X ^ Y --> X ^ Y
authorZhongyunde <zhongyunde@huawei.com>
Wed, 17 May 2023 10:36:16 +0000 (18:36 +0800)
committerZhongyunde <zhongyunde@huawei.com>
Wed, 17 May 2023 10:36:39 +0000 (18:36 +0800)
commitcd87fe0c8be3c462f5c0bac745d740d0b5185562
treea098d8af3a6b98118d946b0efb1fc70a9949c7c4tree | snapshot
parent9b7616856cbdd476aaf4553ccc74ab8c38c5f6adcommit | diff
[Instsimplfy] X == Y ? 0 : X ^ Y --> X ^ Y

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

Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D150750
llvm/lib/Analysis/InstructionSimplify.cpp diff | blob | history
llvm/test/Transforms/InstSimplify/select.ll diff | blob | history
Domain: System / Toolchain;