[llvm] [InstCombine] Reduce range of ctpop for non zero argument (PR #100899)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Mon Oct 28 17:05:59 PDT 2024


dtcxzyw wrote:

> this pass of simplifycfg https://godbolt.org/z/PhqdMcWG3 looks strange to me starts to call ctpop for zero but do not drop the range attribute

It is correct. Even if `ctpop` returns a poison value due to range violation, `%6 = select i1 %3, i1 %5, i1 false` still returns false.


https://github.com/llvm/llvm-project/pull/100899


More information about the llvm-commits mailing list