nikic wrote: I don't really get your question. It should be possible to do *something* here, but I'd expect it to be some generalization of the existing `& Mask != 0` case. https://github.com/llvm/llvm-project/pull/92946