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

[Craig Topper via Phabricator via llvm-commits]

craig.topper added a comment.

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


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D101764