Post #4174659

TIL there's no unsigned 64-bit -> floating-point 64-bit conversion in x86_64, so you have to build it up from other instructions. Here's the codegen by gcc-15.2 with -O3, it uses different code paths based on the highest bit of the input: