kuhar wrote: > I was asking myself the same question. I guess if an `arith.select` has `nnan` and one of the inputs is NaN we could turn it into poison... This could be supported by a dedicated unary op. https://github.com/llvm/llvm-project/pull/125620