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

[Jeffrey Byrnes via llvm-commits]

jrbyrnes wrote:

@dtcxzyw The simplified example in https://github.com/llvm/llvm-project/pull/133139#issuecomment-2774456179 is solved by https://github.com/llvm/llvm-project/pull/135274 . However, this is very simplified and does not cover all the cases in my real world application. I need to implement 2 or 3 extensions to that PR (including this one) in order to resolve my issue.

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