stdlib/mpn2dbl.s

   1         .text
   2         .p2align 4,,15
   3         .globl  __mpn_construct_double
   4         .hidden __mpn_construct_double
   5         .type   __mpn_construct_double, @function
   6 __mpn_construct_double:
   7         movq    (%rdi), %rax
   8         addw    $1023, %si
   9         salq    $63, %rdx
  10         andl    $2047, %esi
  11         salq    $52, %rsi
  12         movl    %eax, %ecx
  13         orq     %rsi, %rdx
  14         movabsq $4503595332403200, %rsi
  15         andq    %rsi, %rax
  16         orq     %rcx, %rdx
  17         orq     %rax, %rdx
  18         movq    %rdx, -8(%rsp)
  19         movsd   -8(%rsp), %xmm0
  20         ret
  21         .size   __mpn_construct_double, .-__mpn_construct_double