在UINT64到双转换上：为什么右移动后的代码更简单1？

Question

为什么asdouble1比asdouble0要简单得多？

// AsDouble0(unsigned long):                          # @AsDouble0(unsigned long)
//         movq    xmm1, rdi
//         punpckldq       xmm1, xmmword ptr [rip + .LCPI0_0] # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
//         subpd   xmm1, xmmword ptr [rip + .LCPI0_1]
//         movapd  xmm0, xmm1
//         unpckhpd        xmm0, xmm1                      # xmm0 = xmm0[1],xmm1[1]
//         addsd   xmm0, xmm1
//         addsd   xmm0, xmm0
//         ret
double AsDouble0(uint64_t x) { return x * 2.0; }

// AsDouble1(unsigned long):                          # @AsDouble1(unsigned long)
//         shr     rdi
//         cvtsi2sd        xmm0, rdi
//         addsd   xmm0, xmm0
//         ret
double AsDouble1(uint64_t x) { return (x >> 1) * 2.0; }

代码可在：

Answer 1

X86具有在签名的整数和浮子之间转换的指令。未签名的整数转换是AVX512支持的（我认为），大多数编译器默认情况下不假定。如果您向右移动uint64_t一次，则符号位消失，因此您可以将其解释为签名的整数并具有相同的结果。

Answer 2

cvtsi2sd指令作为其源操作数A 签名 Integer（32-或64位宽）。但是，您的功能采用 unsigned 参数。

因此，在第一种情况下，编译器不能直接使用cvtsi2sd指令，因为给定参数中的值可能无法表示为同一尺寸的签名整数 - 因此它会生成执行转换的代码到double“漫长的路”（但安全）。

但是，在您的第二个功能中，最初的右移动保证符号将是清楚的；因此，无论是将其解释为签名还是未签名，结果值将是相同的……因此，编译器可以安全地将其（修改）值作为cvtsi2sd操作的源。