[llvm] [InstCombine] Canonicalize xor with disjoint ops to or disjoint (PR #133139)

[Jeffrey Byrnes via llvm-commits]

jrbyrnes wrote:

> alive2 proof link

xor_disjoint
https://alive2.llvm.org/ce/z/fQm9-T

xor_disjoint2
https://alive2.llvm.org/ce/z/AMPAib

negatige xor_non_disjoint
https://alive2.llvm.org/ce/z/Vdw5W9


xor_non_disjoint2
https://alive2.llvm.org/ce/z/R-_RWG

https://github.com/llvm/llvm-project/pull/133139