llvm-project
fad63754 - [InstCombine] Fold xor of bittests into bittest of xor'd value (#125676)

Commit
240 days ago
[InstCombine] Fold xor of bittests into bittest of xor'd value (#125676) Motivating case: https://github.com/llvm/llvm-project/blob/64927af52a3bedf2b20d6cdd98bb47d9bba630f9/llvm/lib/Analysis/ValueTracking.cpp#L8600-L8602 It is translated into `xor (X & 2) != 0, (Y & 2) != 0`. Alive2: https://alive2.llvm.org/ce/z/dJehZ8
Author
Parents
Loading