projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a56a02b) | patch
[InstSimplify] X && !(X || Y) --> false
authorSanjay Patel <spatel@rotateright.com>
Thu, 26 Jan 2023 18:03:46 +0000 (13:03 -0500)
committerSanjay Patel <spatel@rotateright.com>
Thu, 26 Jan 2023 18:38:43 +0000 (13:38 -0500)
commit7dbeb127eaf6639aa7d0839ade964cf6f1528597
tree5a50f50cbe7163621000527e1f2745346b68ce71tree | snapshot
parenta56a02bc7eda421bb43db4936e70ba7f3362ccbccommit | diff
[InstSimplify] X && !(X || Y) --> false

https://alive2.llvm.org/ce/z/7J8Exr

This is a commuted variant that was not included in:
D138853 / f2973327496fc966c4e89597
llvm/lib/Analysis/InstructionSimplify.cpp diff | blob | history
llvm/test/Transforms/InstSimplify/select-logical.ll diff | blob | history
Domain: System / Toolchain;