[llvm] [InstCombine] Combine or-disjoint (and->mul), (and->mul) to and->mul (PR #136013)

[Nikita Popov via llvm-commits]

https://github.com/nikic approved this pull request.

LGTM, with the note that I find it odd that this transform is rooted at `or disjoint` in particular. It seems like really the more functional pattern here is the one with `add`, and `or disjoint` is only relevant insofar as it is equivalent to an `add`. So I'd expect this handling to be part of foldAddLike(), which is shared by both. (This can be a followup though.)

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