[PATCH] D130433: [InstCombine] Add fold for redundant sign bits count comparison

[Alexander Shaposhnikov via Phabricator via llvm-commits]

alexander-shaposhnikov planned changes to this revision.
alexander-shaposhnikov added a comment.

@spatel - thanks for the comments, I think the pre-conditions are correct in the sense that they guarantee that the transform is valid (see also the alive proofs above), 
but you are right - the pattern is more general and the pre-conditions can be relaxed


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D130433