[PATCH] D133855: [InstCombine] Baseline tests for folding ((x?1:4)&(y?1:4))==0 to x^y

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

Based on the description, we want a generalized proof like this:
https://alive2.llvm.org/ce/z/RrVEyX

And given that this pattern was found in real code, it seems plausible that we'd want to handle this variant too (likely as a small follow-up patch):
https://alive2.llvm.org/ce/z/ZobB7p


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D133855/new/

https://reviews.llvm.org/D133855