diff options
| author | Paul Walker <paul.walker@arm.com> | 2023-03-02 14:10:11 +0000 |
|---|---|---|
| committer | Paul Walker <paul.walker@arm.com> | 2023-03-06 13:53:41 +0000 |
| commit | 15915fa10aa6f25f4d44f0b4744f1c65782790c0 (patch) | |
| tree | 66c0db3d040a18299ef0429aa8a8d6c69514a093 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptedPythonInterface.h | |
| parent | 12a7aea6b02288000ba6f5c477284b26df8dca01 (diff) | |
| download | llvm-15915fa10aa6f25f4d44f0b4744f1c65782790c0.zip llvm-15915fa10aa6f25f4d44f0b4744f1c65782790c0.tar.gz llvm-15915fa10aa6f25f4d44f0b4744f1c65782790c0.tar.bz2 | |
[InstCombine] Implement "A & (~A | B) --> A & B" like transforms for boolean based selects.
Alive2 links for "A & (~A | B) --> A & B":
https://alive2.llvm.org/ce/z/oKiodu (scalar)
https://alive2.llvm.org/ce/z/8yn8GL (vector)
Alive2 links for "A | (~A & B) --> A | B"
https://alive2.llvm.org/ce/z/v5GEKu (scalar)
https://alive2.llvm.org/ce/z/wvtJsj (vector)
NOTE: The commutative variants of these transforms, for example:
"(~A | B) & A --> A & B"
are already handled by simplifying the underlying selects to
normal logical operations due to that combination having simpler
poison semantics.
Differential Revision: https://reviews.llvm.org/D145157
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptedPythonInterface.h')
0 files changed, 0 insertions, 0 deletions