projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b9a6b4e) | patch
[InstSimplify] (X || Y) && Y --> Y (for poison-safe logical ops)
authorSanjay Patel <spatel@rotateright.com>
Sun, 22 Jan 2023 14:43:35 +0000 (09:43 -0500)
committerSanjay Patel <spatel@rotateright.com>
Sun, 22 Jan 2023 15:44:45 +0000 (10:44 -0500)
commitd178c15caccda8537c6440ea6ba76bd25cbd8d8c
tree336e61435d69a7dc61b9fb27323fa4c60a35eeb8tree | snapshot
parentb9a6b4e3eb61365d59b331cda5c5c58542a3668dcommit | diff
[InstSimplify] (X || Y) && Y --> Y (for poison-safe logical ops)

https://alive2.llvm.org/ce/z/oT_tEh

This is the conjugate/sibling pattern suggested in post-commit
feedback for:
9444252a674df5952bb5af2b76348ae4b45

issue #60167
llvm/lib/Analysis/InstructionSimplify.cpp diff | blob | history
llvm/test/Transforms/InstCombine/select-safe-bool-transforms.ll diff | blob | history
llvm/test/Transforms/InstSimplify/select-logical.ll diff | blob | history
Domain: System / Toolchain;