arsenm wrote: Do we really need to generate source for this? It's harder to reason about. It looks like the sign bit of the input isn't preserved on underflow to 0 https://github.com/llvm/llvm-project/pull/126905