先回顾你的C代码意图：把无符号64位整数num转换成[0,1]区间的double，本质是计算num / UINT64_MAX（其中UINT64_MAX = 0xFFFFFFFFFFFFFFFF）。GCC在-O2/-O3下针对x86_64生成的汇编做了特殊优化，因为直接用(double)num转换无符号64位整数有局限——x86的cvtsi2sd指令只能处理有符号64位整数（int64_t，范围-2^63 ~ 2^63-1），而uint64_t的范围是0 ~ 2^64-1，当num >= 2^63时，无法直接用cvtsi2sd转成正确的正数double，所以GCC分了两条路径处理：

你的疑问逐个解答 #

1. .L2的跳转逻辑：并不是总会触发！ #

你误解了test rdi, rdi和js指令的行为：

• test rdi, rdi是对rdi（输入参数num）做按位与操作，结果丢弃，但会设置标志位。对于uint64_t来说，最高位是第63位：
  • 如果num < 2^63，第63位是0，test后符号标志位SF=0，js（jump if sign flag set）不会跳转，执行主逻辑；
  • 如果num >= 2^63，第63位是1，此时把rdi当作有符号int64_t来看是负数，test后SF=1，js触发跳转到.L2处理这种特殊情况。

所以这两行是用来区分num是否超过int64_t的正数范围，不是多余的。

2. 为何把1存入edi？ #

在.L2分支中，and edi, 1的作用是取出num的最低位（0或1），存入edi。后续的操作是为了把num转换成一个能被cvtsi2sd正确处理的int64_t值：

mov rax, rdi        ; rax = num
and edi, 1          ; edi = num & 1（最低位）
shr rax             ; rax = num >> 1（无符号右移1位，等价于num/2取整）
or rax, rdi         ; rax = (num>>1) | (num&1)

这个操作的本质是把num拆成num = 2*rax - edi：

• 当num是偶数（edi=0）：rax = num>>1，2*rax = num；
• 当num是奇数（edi=1）：rax = (num>>1)+1，2*rax = num+1。

之所以这么做，是因为rax此时的范围是2^62 ~ 2^63-1，刚好在int64_t的正数范围内，可以被cvtsi2sd正确转成double。后续的addsd xmm0, xmm0就是把double(rax)乘以2，还原出接近num的数值（奇数时会多1，但因为double的精度限制，这个误差会被后续的乘法抵消到可接受范围）。

3. 无第二个操作数的shr指令的作用 #

x86的移位指令中，如果省略第二个操作数，默认移位位数是1。shr rax等价于shr rax, 1，是对rax做逻辑右移1位，也就是把无符号整数除以2并取整，最高位补0（符合uint64_t的移位规则）。

4. rip寻址和魔法数的含义 #

• rip寻址：x86_64下，GCC默认生成位置无关代码（PIC），用rip相对寻址访问常量是标准做法——QWORD PTR .LC0[rip]表示以当前指令指针rip为基准，加上偏移量访问.LC0处的8字节常量。这种方式让代码可以被加载到任意内存地址，不需要修改常量的地址，兼容性更强。
• 魔法数1005584384：这个数是十六进制0x3C7F0000，和后面的.long 0组成8字节的double常量0x3C7F000000000000，它是1/UINT64_MAX（即1/(2^64-1)）的近似double值。因为double的尾数只有52位，无法精确表示1/(2^64-1)这个极小的数，所以用最接近的double值来代替。

内容的提问来源于stack exchange，提问作者asdfldsfdfjjfddjf