diff options
| author | Eric Gullufsen <ericgullufsen@gmail.com> | 2022-08-24 11:58:47 -0400 |
|---|---|---|
| committer | Eric Gullufsen <ericgullufsen@gmail.com> | 2022-08-26 14:07:43 -0400 |
| commit | d2f110c693c88d1bb7caee4f72ebb14766f85239 (patch) | |
| tree | 9072e37cff75a32bc1220f32f7228fe35dbe153a /lldb/source/Plugins/ScriptInterpreter/Python/PythonReadline.h | |
| parent | 2f525cfb76974b7c23aeda1199dfe9d78b012d2c (diff) | |
| download | llvm-d2f110c693c88d1bb7caee4f72ebb14766f85239.zip llvm-d2f110c693c88d1bb7caee4f72ebb14766f85239.tar.gz llvm-d2f110c693c88d1bb7caee4f72ebb14766f85239.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/PythonReadline.h')
0 files changed, 0 insertions, 0 deletions