[PATCH] D139076: [InstCombine] fold icmp + select pattern by distributive laws

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

Nice!

But we can handle any pair of matching predicates (in follow-up patches is fine)? We just need to make sure the common operand is in the right position for non-commutative predicates:
https://alive2.llvm.org/ce/z/xgx4eh


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

https://reviews.llvm.org/D139076