arsenm wrote: > It is a valid output, isn't it? No. It's permitted to return either operand if they have mixed signs, but it does not permit returning a value that isn't either of the original inputs https://github.com/llvm/llvm-project/pull/137567