[PATCH] D101582: [InstCombine] cttz(z/sext(x)) -> zext(cttz(x)) if the 'ZeroIsUndef' parameter is 'true' (PR50172)

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

Feel free to add tests as preliminary steps - no pre-commit review needed for that.

It would be more flexible to make a "sext -> zext" transform as an independent fold - it doesn't require that zero is undef?
https://alive2.llvm.org/ce/z/kZ7BR6


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

https://reviews.llvm.org/D101582