[PATCH] D101764: [InstCombine] cttz(sext(x)) -> cttz(zext(x))

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added a comment.

In D101764#2733616 <https://reviews.llvm.org/D101764#2733616>, @craig.topper wrote:

> That alive proof only proves cttz(sext(x)) -> cttz(zext(x))

I meant this one basically as cttz(sext(x)) -> cttz(zext(x)) and cttz(zext(x)) -> zext(cttz(x)) if the 'ZeroIsUndef' parameter is 'true' gives us what we want: cttz(sext(x))  ->  zext(cttz(x)) if the 'ZeroIsUndef' parameter is 'true'


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

https://reviews.llvm.org/D101764