[PATCH] D128790: [InstCombine] improve fold for icmp_eq_and to icmp_ult

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

This seems like it should be a known bits transform instead. Any value with high zeros should allow the transform, not just a 'lshr'. 
For example, we might have a udiv of a constant:
https://alive2.llvm.org/ce/z/A5ZTf2


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D128790