https://github.com/nikic requested changes to this pull request. ctpop < 2 is better than ctpop == 1 for the backend, and we will no be able to recover from this transform in the backend if it comes from an assume. https://github.com/llvm/llvm-project/pull/67268