diff options
| author | Eric Gullufsen <ericgullufsen@gmail.com> | 2022-08-26 15:37:38 -0400 |
|---|---|---|
| committer | Eric Gullufsen <ericgullufsen@gmail.com> | 2022-08-26 17:23:29 -0400 |
| commit | eb1e2b39978c4ea901198d78d57ff70bf9a85b60 (patch) | |
| tree | f6848b32d4ecbce519c53fabd39f26c50d753831 /lldb/source/Plugins/ScriptInterpreter/Python | |
| parent | a310637132e16ecb081528496b81ddfdcf3c6d7c (diff) | |
| download | llvm-eb1e2b39978c4ea901198d78d57ff70bf9a85b60.zip llvm-eb1e2b39978c4ea901198d78d57ff70bf9a85b60.tar.gz llvm-eb1e2b39978c4ea901198d78d57ff70bf9a85b60.tar.bz2 | |
[InstCombine] Canonicalize "and, add", "or, add", "xor, add"
Canonicalize
```
((x + C1) & C2) --> ((x & C2) + C1)
((x + C1) ^ C2) --> ((x ^ C2) + C1)
((x + C1) | C2) --> ((x | C2) + C1)
```
for suitable constants `C1` and `C2`.
Alive2 proofs: [[ https://alive2.llvm.org/ce/z/BqMDVZ | add, or --> or, add ]]
[[ https://alive2.llvm.org/ce/z/BhAeCl | add, xor --> xor, add ]]
[[ https://alive2.llvm.org/ce/z/jYRHEt | add, and --> and, add ]]
Reviewed By: spatel
Differential Revision: https://reviews.llvm.org/D131142
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python')
0 files changed, 0 insertions, 0 deletions