jayfoad wrote: The motivation for this has gone away. I wanted it for Vulkan/SPIR-V but it turns out that SPIR-V does not specify the sign of a zero result from OpFRem. https://github.com/llvm/llvm-project/pull/70448