[PATCH] D143368: [InstCombine] Look through truncate to fold icmp with intrinsics

[chenglin.bi via Phabricator via llvm-commits]

bcl5980 added a comment.

In D143368#4113564 <https://reviews.llvm.org/D143368#4113564>, @spatel wrote:

> General proofs with Alive2 are probably not possible for a bitwidth constrained transform like this, but you can include proofs for the specific changes here. 
> How can we test `ctpop`?

It looks current code already optimized ctpop. So I just remove the ctpop here.

> What happens if the trunc has an extra use?

Line 4920 already limit the code to one-use. And I also add tests for it now.


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

https://reviews.llvm.org/D143368