[InstCombine] fold add-carry of bools to logic
((zext BoolX) + (zext BoolY)) >> 1 --> zext (BoolX && BoolY) https://alive2.llvm.org/ce/z/LvZFKj This was noted as a missing fold in D138814.
Loading
Please sign in to comment
((zext BoolX) + (zext BoolY)) >> 1 --> zext (BoolX && BoolY) https://alive2.llvm.org/ce/z/LvZFKj This was noted as a missing fold in D138814.