[llvm] [InstCombine] Fold icmp (zext X), (and (trunc Y), Mask) -> icmp X, trunc Y (PR #221189)

[armandeep singh via llvm-commits]

armandeep23947 wrote:

my bad, should've added this from the start. put alive2 proofs in the description now, covers both operand orders for all 4 unsigned predicates

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