[InstCombine] fold (Binop phi(a, b) phi(b, a)) -> (Binop a, b) while Binop is commutative. (#75765)
Alive2 proof: https://alive2.llvm.org/ce/z/2P8gq- This patch closes #73905
parent
791200b3
Please register or sign in to comment
Alive2 proof: https://alive2.llvm.org/ce/z/2P8gq- This patch closes #73905