user: 提供的汇编代码用C语言表示会是什么样子:

```asm
<da_renorm10>:
  endbr64
  push   %r15
  movapd %xmm0,%xmm8
  movapd %xmm1,%xmm0
  mov    %rdi,%r15
  push   %r14
  movapd %xmm2,%xmm1
  mov    %r9,%r14
  push   %r13
  mov    %r8,%r13
  push   %r12
  mov    %rcx,%r12
  push   %rbp
  mov    %rdx,%rbp
  push   %rbx
  mov    %rsi,%rbx
  sub    $0x38,%rsp
  movsd  %xmm4,0x8(%rsp)
  pxor   %xmm4,%xmm4
  ucomisd %xmm4,%xmm0
  movsd  %xmm5,0x10(%rsp)
  movsd  %xmm6,0x18(%rsp)
  movsd  %xmm7,0x20(%rsp)
  movsd  %xmm3,0x28(%rsp)
  jp     L1174
  jne    L1174
  movapd %xmm8,%xmm0
  movsd  %xmm8,(%rdi)
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm5,%xmm5
  movsd  0x28(%rsp),%xmm3
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,(%rbx)
  movsd  (%r15),%xmm0
  ucomisd %xmm5,%xmm0
  jp     L636
  je     L1017
L636:
  mov    %r15,%rdi
  movapd %xmm3,%xmm1
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm4,%xmm4
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x0(%rbp)
  movsd  (%r15),%xmm0
  ucomisd %xmm4,%xmm0
  jp     L715
  je     L1266
L715:
  movsd  0x8(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm3,%xmm3
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm3
  movsd  %xmm3,(%r12)
  movsd  (%r15),%xmm0
  ucomisd %xmm7,%xmm0
  jp     L486
  je     L261
L486:
  movsd  0x10(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x0(%r13)
  movsd  (%r15),%xmm0
  ucomisd %xmm5,%xmm0
  jp     L501
  je     L521
L501:
  movsd  0x18(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,(%r14)
  movsd  (%r15),%xmm0
  ucomisd %xmm6,%xmm0
  jp     L780
  jne    L780
  movsd  %xmm2,(%r15)
L353:
  movsd  0x20(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%r14)
  movsd  (%r15),%xmm2
  ucomisd %xmm6,%xmm2
  jp     L631
  jne    L631
  movsd  %xmm0,(%r15)
L1396:
  movsd  0x70(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,(%r14)
  movsd  (%r15),%xmm0
  ucomisd %xmm6,%xmm0
  jp     L348
  jne    L348
  movsd  %xmm2,(%r15)
L401:
  movsd  0x78(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%r14)
  movsd  (%r15),%xmm2
  ucomisd %xmm5,%xmm2
  jp     L540
  jne    L540
  movsd  %xmm0,(%r15)
L71:
  movsd  0x80(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%r14)
  movsd  (%r15),%xmm1
  ucomisd %xmm5,%xmm1
  jp     L514
  jne    L514
  movsd  %xmm0,(%r15)
  test   %eax,%eax
  je     L162
L1086:
  movsd  %xmm0,(%r14)
L994:
  mov    0xa8(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0xa0(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x98(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x90(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x88(%rsp),%rax
  movq   $0x0,(%rax)
  jmp    L745
  nopl   0x0(%rax,%rax,1)
L1174:
  movsd  %xmm8,(%rbx)
  mov    %r15,%rdi
  mov    $0x2,%eax
  movsd  %xmm0,(%r15)
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm6,%xmm6
  movsd  0x28(%rsp),%xmm3
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,0x0(%rbp)
  movsd  (%r15),%xmm2
  ucomisd %xmm6,%xmm2
  jp     L548
  jne    L548
  movsd  %xmm0,(%r15)
  jmp    L636
  nopl   (%rax)
L548:
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  movapd %xmm3,%xmm1
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%r12)
  movsd  (%r15),%xmm2
  ucomisd %xmm7,%xmm2
  jp     L115
  je     L332
L115:
  movsd  0x8(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,0x0(%r13)
  movsd  (%r15),%xmm2
  ucomisd %xmm7,%xmm2
  jp     L154
  je     L628
L154:
  movsd  0x10(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%r14)
  movsd  (%r15),%xmm2
  ucomisd %xmm6,%xmm2
  jp     L1255
  je     L1301
L1255:
  movsd  0x18(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm0
  mov    0x88(%rsp),%rax
  movsd  %xmm0,(%rax)
  movsd  (%r15),%xmm2
  ucomisd %xmm6,%xmm2
  jp     L1388
  je     L29
L1388:
  movsd  0x20(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm0
  mov    0x90(%rsp),%rax
  movsd  %xmm0,(%rax)
  movsd  (%r15),%xmm2
  ucomisd %xmm5,%xmm2
  jp     L717
  jne    L717
  movsd  %xmm0,(%r15)
L269:
  movsd  0x70(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm2
  mov    0x90(%rsp),%rax
  movsd  %xmm2,(%rax)
  movsd  (%r15),%xmm0
  ucomisd %xmm7,%xmm0
  jp     L825
  jne    L825
  movsd  %xmm2,(%r15)
L662:
  movsd  0x78(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm0
  mov    0x90(%rsp),%rax
  movsd  %xmm0,(%rax)
  movsd  (%r15),%xmm2
  ucomisd %xmm7,%xmm2
  jp     L203
  jne    L203
  movsd  %xmm0,(%r15)
L237:
  movsd  0x80(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm7,%xmm7
  mov    0x90(%rsp),%rsi
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%rsi)
  movsd  (%r15),%xmm1
  ucomisd %xmm7,%xmm1
  jp     L1042
  jne    L1042
  movsd  %xmm0,(%r15)
  test   %eax,%eax
  je     L1106
L1138:
  mov    0x90(%rsp),%rax
  movsd  %xmm0,(%rax)
L196:
  mov    0xa8(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0xa0(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x98(%rsp),%rax
  movq   $0x0,(%rax)
  jmp    L745
  nopl   0x0(%rax,%rax,1)
L1017:
  movapd %xmm2,%xmm0
  movsd  %xmm2,(%r15)
  mov    %r15,%rdi
  movapd %xmm3,%xmm1
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%rbx)
  movsd  (%r15),%xmm2
  ucomisd %xmm5,%xmm2
  jp     L1248
  jne    L1248
  movsd  0x8(%rsp),%xmm1
  movsd  %xmm0,(%r15)
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%rbx)
  movsd  (%r15),%xmm2
  ucomisd %xmm6,%xmm2
  jp     L265
  jne    L265
  movsd  0x10(%rsp),%xmm1
  movsd  %xmm0,(%r15)
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%rbx)
  movsd  (%r15),%xmm2
  ucomisd %xmm7,%xmm2
  jp     L845
  jne    L845
  movsd  0x18(%rsp),%xmm1
  movsd  %xmm0,(%r15)
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%rbx)
  movsd  (%r15),%xmm2
  ucomisd %xmm5,%xmm2
  jp     L378
  je     L1304
L378:
  movsd  0x20(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm4,%xmm4
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x0(%rbp)
  movsd  (%r15),%xmm0
  ucomisd %xmm4,%xmm0
  jp     L334
  jne    L334
  movsd  %xmm2,(%r15)
  jmp    L723
  nopw   0x0(%rax,%rax,1)
L1304:
  movsd  0x20(%rsp),%xmm1
  movsd  %xmm0,(%r15)
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%rbx)
  movsd  (%r15),%xmm2
  ucomisd %xmm6,%xmm2
  jp     L723
  je     L342
L723:
  movsd  0x70(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm4,%xmm4
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x0(%rbp)
  movsd  (%r15),%xmm3
  ucomisd %xmm4,%xmm3
  jp     L1229
  jne    L1229
  movsd  %xmm2,(%r15)
  jmp    L923
  nopl   0x0(%rax)
L342:
  movsd  0x70(%rsp),%xmm1
  movsd  %xmm0,(%r15)
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm4,%xmm4
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%rbx)
  movsd  (%r15),%xmm2
  ucomisd %xmm4,%xmm2
  jp     L923
  je     L734
L923:
  movsd  0x78(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm4,%xmm4
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x0(%rbp)
  movsd  (%r15),%xmm0
  ucomisd %xmm4,%xmm0
  jp     L859
  jne    L859
  movsd  %xmm2,(%r15)
L286:
  movsd  0x80(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm4,%xmm4
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,0x0(%rbp)
  movsd  (%r15),%xmm2
  ucomisd %xmm4,%xmm2
  jp     L182
  jne    L182
  movsd  %xmm0,(%r15)
  test   %eax,%eax
  je     L1153
L582:
  movsd  %xmm0,0x0(%rbp)
L925:
  mov    0xa8(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0xa0(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x98(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x90(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x88(%rsp),%rax
  movq   $0x0,(%rax)
  movq   $0x0,(%r14)
  movq   $0x0,0x0(%r13)
  movq   $0x0,(%r12)
  jmp    L745
  nopl   0x0(%rax)
L734:
  movsd  0x78(%rsp),%xmm1
  movsd  %xmm0,(%r15)
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%rbx)
  movsd  (%r15),%xmm2
  ucomisd %xmm7,%xmm2
  jp     L286
  jne    L286
  movsd  %xmm0,(%r15)
  mov    %r15,%rdi
  mov    $0x2,%eax
  movsd  0x80(%rsp),%xmm1
  call   <dd_quick_two_sum@plt>
  pxor   %xmm1,%xmm1
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm1
  movsd  %xmm1,(%rbx)
  movsd  (%r15),%xmm0
  ucomisd %xmm5,%xmm0
  jp     L582
  jne    L582
  movsd  %xmm1,(%r15)
  test   %eax,%eax
  jne    L1153
  mov    0xa8(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0xa0(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x98(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x90(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x88(%rsp),%rax
  movq   $0x0,(%rax)
  movq   $0x0,(%r14)
  movq   $0x0,0x0(%r13)
  movq   $0x0,(%r12)
  movq   $0x0,0x0(%rbp)
  movq   $0x0,(%rbx)
L745:
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
L1153:
  mov    0xa8(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0xa0(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x98(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x90(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x88(%rsp),%rax
  movq   $0x0,(%rax)
  movq   $0x0,(%r14)
  movq   $0x0,0x0(%r13)
  movq   $0x0,(%r12)
  movq   $0x0,0x0(%rbp)
  jmp    L745
  nop
L1301:
  movsd  %xmm0,(%r15)
  jmp    L501
  nopw   0x0(%rax,%rax,1)
L1266:
  movsd  %xmm2,(%r15)
L1248:
  movsd  0x8(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm4,%xmm4
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x0(%rbp)
  movsd  (%r15),%xmm3
  ucomisd %xmm4,%xmm3
  jp     L648
  je     L136
L648:
  movsd  0x10(%rsp),%xmm1
  movapd %xmm3,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%r12)
  movsd  (%r15),%xmm2
  ucomisd %xmm7,%xmm2
  jp     L811
  je     L718
L811:
  movsd  0x18(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm3,%xmm3
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm3
  movsd  %xmm3,0x0(%r13)
  movsd  (%r15),%xmm2
  ucomisd %xmm6,%xmm2
  jp     L353
  jne    L353
  movsd  %xmm3,(%r15)
L181:
  movsd  0x20(%rsp),%xmm1
  movapd %xmm3,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x0(%r13)
  movsd  (%r15),%xmm0
  ucomisd %xmm7,%xmm0
  jp     L1396
  jne    L1396
  movsd  %xmm2,(%r15)
L466:
  movsd  0x70(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,0x0(%r13)
  movsd  (%r15),%xmm2
  ucomisd %xmm5,%xmm2
  jp     L401
  jne    L401
  movsd  %xmm0,(%r15)
L417:
  movsd  0x78(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x0(%r13)
  movsd  (%r15),%xmm0
  ucomisd %xmm6,%xmm0
  jp     L71
  jne    L71
  movsd  %xmm2,(%r15)
L399:
  movsd  0x80(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm1,%xmm1
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm1
  movsd  %xmm1,0x0(%r13)
  movsd  (%r15),%xmm0
  ucomisd %xmm6,%xmm0
  jp     L1086
  jne    L1086
  movsd  %xmm1,(%r15)
  test   %eax,%eax
  je     L406
L1188:
  movsd  %xmm1,0x0(%r13)
L162:
  mov    0xa8(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0xa0(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x98(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x90(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x88(%rsp),%rax
  movq   $0x0,(%rax)
  movq   $0x0,(%r14)
  jmp    L745
  nopl   0x0(%rax,%rax,1)
L29:
  movsd  %xmm0,(%r15)
L780:
  movsd  0x20(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm4,%xmm4
  cvtsi2sd %eax,%xmm2
  mov    0x88(%rsp),%rax
  movsd  %xmm2,(%rax)
  movsd  (%r15),%xmm0
  ucomisd %xmm4,%xmm0
  jp     L269
  jne    L269
  movsd  %xmm2,(%r15)
L631:
  movsd  0x70(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm4,%xmm4
  cvtsi2sd %eax,%xmm0
  mov    0x88(%rsp),%rax
  movsd  %xmm0,(%rax)
  movsd  (%r15),%xmm2
  ucomisd %xmm4,%xmm2
  jp     L662
  jne    L662
  movsd  %xmm0,(%r15)
L348:
  movsd  0x78(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm4,%xmm4
  cvtsi2sd %eax,%xmm2
  mov    0x88(%rsp),%rax
  movsd  %xmm2,(%rax)
  movsd  (%r15),%xmm0
  ucomisd %xmm4,%xmm0
  jp     L237
  jne    L237
  movsd  %xmm2,(%r15)
L540:
  movsd  0x80(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm1,%xmm1
  pxor   %xmm4,%xmm4
  mov    0x88(%rsp),%rcx
  cvtsi2sd %eax,%xmm1
  movsd  %xmm1,(%rcx)
  movsd  (%r15),%xmm0
  ucomisd %xmm4,%xmm0
  jp     L1138
  jne    L1138
  movsd  %xmm1,(%r15)
  test   %eax,%eax
  je     L994
L514:
  mov    0x88(%rsp),%rax
  movsd  %xmm1,(%rax)
L1106:
  mov    0xa8(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0xa0(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x98(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x90(%rsp),%rax
  movq   $0x0,(%rax)
  jmp    L745
  nopl   0x0(%rax)
L136:
  movsd  %xmm2,(%r15)
L265:
  movsd  0x10(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x0(%rbp)
  movsd  (%r15),%xmm0
  ucomisd %xmm5,%xmm0
  jp     L936
  je     L113
L936:
  movsd  0x18(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%r12)
  movsd  (%r15),%xmm3
  ucomisd %xmm6,%xmm3
  jp     L181
  jne    L181
  movsd  %xmm0,(%r15)
L968:
  movsd  0x20(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%r12)
  movsd  (%r15),%xmm2
  ucomisd %xmm5,%xmm2
  jp     L466
  jne    L466
  movsd  %xmm0,(%r15)
L334:
  movsd  0x70(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm3,%xmm3
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm3
  movsd  %xmm3,(%r12)
  movsd  (%r15),%xmm0
  ucomisd %xmm7,%xmm0
  jp     L417
  jne    L417
  movsd  %xmm3,(%r15)
L1229:
  movsd  0x78(%rsp),%xmm1
  movapd %xmm3,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%r12)
  movsd  (%r15),%xmm2
  ucomisd %xmm7,%xmm2
  jp     L399
  jne    L399
  movsd  %xmm0,(%r15)
L859:
  movsd  0x80(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,(%r12)
  movsd  (%r15),%xmm1
  ucomisd %xmm7,%xmm1
  jp     L1188
  jne    L1188
  movsd  %xmm2,(%r15)
  test   %eax,%eax
  je     L925
L182:
  movsd  %xmm2,(%r12)
L406:
  mov    0xa8(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0xa0(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x98(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x90(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0x88(%rsp),%rax
  movq   $0x0,(%rax)
  movq   $0x0,(%r14)
  movq   $0x0,0x0(%r13)
  jmp    L745
  nopl   (%rax)
L332:
  movsd  %xmm0,(%r15)
  jmp    L715
  nopw   0x0(%rax,%rax,1)
L113:
  movsd  %xmm2,(%r15)
L845:
  movsd  0x18(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x0(%rbp)
  movsd  (%r15),%xmm0
  ucomisd %xmm7,%xmm0
  jp     L968
  jne    L968
  movsd  %xmm2,(%r15)
  jmp    L378
  nopl   0x0(%rax)
L628:
  movsd  %xmm0,(%r15)
  jmp    L486
  nopw   0x0(%rax,%rax,1)
L717:
  movsd  0x70(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm0
  mov    0x98(%rsp),%rax
  movsd  %xmm0,(%rax)
  movsd  (%r15),%xmm2
  ucomisd %xmm5,%xmm2
  jp     L1134
  jne    L1134
  movsd  %xmm0,(%r15)
L825:
  movsd  0x78(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm2
  mov    0x98(%rsp),%rax
  movsd  %xmm2,(%rax)
  movsd  (%r15),%xmm0
  ucomisd %xmm6,%xmm0
  jp     L436
  jne    L436
  movsd  %xmm2,(%r15)
L203:
  movsd  0x80(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm1,%xmm1
  pxor   %xmm6,%xmm6
  mov    0x98(%rsp),%rdx
  cvtsi2sd %eax,%xmm1
  movsd  %xmm1,(%rdx)
  movsd  (%r15),%xmm0
  ucomisd %xmm6,%xmm0
  jp     L954
  jne    L954
  movsd  %xmm1,(%r15)
  test   %eax,%eax
  je     L196
L1042:
  mov    0x98(%rsp),%rax
  movsd  %xmm1,(%rax)
L1105:
  mov    0xa8(%rsp),%rax
  movq   $0x0,(%rax)
  mov    0xa0(%rsp),%rax
  movq   $0x0,(%rax)
  jmp    L745
  nopl   0x0(%rax)
L1134:
  movsd  0x78(%rsp),%xmm1
  movapd %xmm2,%xmm0
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm0
  mov    0xa0(%rsp),%rax
  movsd  %xmm0,(%rax)
  movsd  (%r15),%xmm2
  ucomisd %xmm5,%xmm2
  jp     L1038
  jne    L1038
  movsd  %xmm0,(%r15)
L436:
  movsd  0x80(%rsp),%xmm1
  mov    %r15,%rdi
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm5,%xmm5
  mov    0xa0(%rsp),%rcx
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%rcx)
  movsd  (%r15),%xmm1
  ucomisd %xmm5,%xmm1
  jp     L1104
  jne    L1104
  movsd  %xmm0,(%r15)
  test   %eax,%eax
  je     L1105
L954:
  mov    0xa0(%rsp),%rax
  movsd  %xmm0,(%rax)
L1377:
  mov    0xa8(%rsp),%rax
  movq   $0x0,(%rax)
  jmp    L745
  nopl   (%rax)
L1038:
  movsd  0x80(%rsp),%xmm1
  mov    %r15,%rdi
  movapd %xmm2,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm1,%xmm1
  pxor   %xmm4,%xmm4
  mov    0xa8(%rsp),%rdx
  cvtsi2sd %eax,%xmm1
  movsd  %xmm1,(%rdx)
  ucomisd (%r15),%xmm4
  jp     L745
  jne    L745
  movsd  %xmm1,(%r15)
  test   %eax,%eax
  je     L1377
L1104:
  mov    0xa8(%rsp),%rax
  movsd  %xmm1,(%rax)
  jmp    L745
  nopl   (%rax)
L718:
  movsd  %xmm0,(%r15)
  jmp    L936
  nopw   0x0(%rax,%rax,1)
L261:
  movsd  %xmm3,(%r15)
  jmp    L648
  nopw   0x0(%rax,%rax,1)
L521:
  movsd  %xmm2,(%r15)
  jmp    L811
```

assistant: ```c
void da_renorm10(double f0, double f1, double f2, double f3, double f4, double f5, double f6, double f7, double f8, double f9, double f10, double *pr, double *r0, double *r1, double *r2, double *r3, double *r4, double *r5, double *r6, double *r7, double *r8, double *r9) {
  int ptr;
  if (f1 == 0.0) {
    *pr = f0;
    ptr = 0;
    *r0 = dd_quick_two_sum(*pr, f2, pr);
  } else {
    *r0 = f0;
    *pr = f1;
    ptr = 1;
    *r1 = dd_quick_two_sum(*pr, f2, pr);
  }
  if (*pr == 0.0) {
    if (ptr == 0)
      *pr = *r0;
    else
      *pr = *r1;
  } else {
    ptr = ptr + 1;
  }
  if (ptr == 0) {
    *r0 = dd_quick_two_sum(*pr, f3, pr);
  } else if (ptr == 1) {
    *r1 = dd_quick_two_sum(*pr, f3, pr);
  } else if (ptr == 2) {
    *r2 = dd_quick_two_sum(*pr, f3, pr);
  }
  if (*pr == 0.0) {
    if (ptr == 0) {
      *pr = *r0;
    } else if (ptr == 1) {
      *pr = *r1;
    } else if (ptr == 2) {
      *pr = *r2;
    }
  } else {
    ptr = ptr + 1;
  }
  if (ptr == 0) {
    *r0 = dd_quick_two_sum(*pr, f4, pr);
  } else if (ptr == 1) {
    *r1 = dd_quick_two_sum(*pr, f4, pr);
  } else if (ptr == 2) {
    *r2 = dd_quick_two_sum(*pr, f4, pr);
  } else if (ptr == 3) {
    *r3 = dd_quick_two_sum(*pr, f4, pr);
  }
  if (*pr == 0.0) {
    if (ptr == 0) {
      *pr = *r0;
    } else if (ptr == 1) {
      *pr = *r1;
    } else if (ptr == 2) {
      *pr = *r2;
    } else if (ptr == 3) {
      *pr = *r3;
    }
  } else {
    ptr = ptr + 1;
  }
  if (ptr == 0) {
    *r0 = dd_quick_two_sum(*pr, f5, pr);
  } else if (ptr == 1) {
    *r1 = dd_quick_two_sum(*pr, f5, pr);
  } else if (ptr == 2) {
    *r2 = dd_quick_two_sum(*pr, f5, pr);
  } else if (ptr == 3) {
    *r3 = dd_quick_two_sum(*pr, f5, pr);
  } else if (ptr == 4) {
    *r4 = dd_quick_two_sum(*pr, f5, pr);
  }
  if (*pr == 0.0) {
    if (ptr == 0) {
      *pr = *r0;
    } else if (ptr == 1) {
      *pr = *r1;
    } else if (ptr == 2) {
      *pr = *r2;
    } else if (ptr == 3) {
      *pr = *r3;
    } else if (ptr == 4) {
      *pr = *r4;
    }
  } else {
    ptr = ptr + 1;
  }
  if (ptr == 0) {
    *r0 = dd_quick_two_sum(*pr, f6, pr);
  } else if (ptr == 1) {
    *r1 = dd_quick_two_sum(*pr, f6, pr);
  } else if (ptr == 2) {
    *r2 = dd_quick_two_sum(*pr, f6, pr);
  } else if (ptr == 3) {
    *r3 = dd_quick_two_sum(*pr, f6, pr);
  } else if (ptr == 4) {
    *r4 = dd_quick_two_sum(*pr, f6, pr);
  } else if (ptr == 5) {
    *r5 = dd_quick_two_sum(*pr, f6, pr);
  }
  if (*pr == 0.0) {
    if (ptr == 0) {
      *pr = *r0;
    } else if (ptr == 1) {
      *pr = *r1;
    } else if (ptr == 2) {
      *pr = *r2;
    } else if (ptr == 3) {
      *pr = *r3;
    } else if (ptr == 4) {
      *pr = *r4;
    } else if (ptr == 5) {
      *pr = *r5;
    }
  } else {
    ptr = ptr + 1;
  }
  if (ptr == 0) {
    *r0 = dd_quick_two_sum(*pr, f7, pr);
  } else if (ptr == 1) {
    *r1 = dd_quick_two_sum(*pr, f7, pr);
  } else if (ptr == 2) {
    *r2 = dd_quick_two_sum(*pr, f7, pr);
  } else if (ptr == 3) {
    *r3 = dd_quick_two_sum(*pr, f7, pr);
  } else if (ptr == 4) {
    *r4 = dd_quick_two_sum(*pr, f7, pr);
  } else if (ptr == 5) {
    *r5 = dd_quick_two_sum(*pr, f7, pr);
  } else if (ptr == 6) {
    *r6 = dd_quick_two_sum(*pr, f7, pr);
  }
  if (*pr == 0.0) {
    if (ptr == 0) {
      *pr = *r0;
    } else if (ptr == 1) {
      *pr = *r1;
    } else if (ptr == 2) {
      *pr = *r2;
    } else if (ptr == 3) {
      *pr = *r3;
    } else if (ptr == 4) {
      *pr = *r4;
    } else if (ptr == 5) {
      *pr = *r5;
    } else if (ptr == 6) {
      *pr = *r6;
    }
  } else {
    ptr = ptr + 1;
  }
  if (ptr == 0) {
    *r0 = dd_quick_two_sum(*pr, f8, pr);
  } else if (ptr == 1) {
    *r1 = dd_quick_two_sum(*pr, f8, pr);
  } else if (ptr == 2) {
    *r2 = dd_quick_two_sum(*pr, f8, pr);
  } else if (ptr == 3) {
    *r3 = dd_quick_two_sum(*pr, f8, pr);
  } else if (ptr == 4) {
    *r4 = dd_quick_two_sum(*pr, f8, pr);
  } else if (ptr == 5) {
    *r5 = dd_quick_two_sum(*pr, f8, pr);
  } else if (ptr == 6) {
    *r6 = dd_quick_two_sum(*pr, f8, pr);
  } else if (ptr == 7) {
    *r7 = dd_quick_two_sum(*pr, f8, pr);
  }
  if (*pr == 0.0) {
    if (ptr == 0) {
      *pr = *r0;
    } else if (ptr == 1) {
      *pr = *r1;
    } else if (ptr == 2) {
      *pr = *r2;
    } else if (ptr == 3) {
      *pr = *r3;
    } else if (ptr == 4) {
      *pr = *r4;
    } else if (ptr == 5) {
      *pr = *r5;
    } else if (ptr == 6) {
      *pr = *r6;
    } else if (ptr == 7) {
      *pr = *r7;
    }
  } else {
    ptr = ptr + 1;
  }
  if (ptr == 0) {
    *r0 = dd_quick_two_sum(*pr, f9, pr);
  } else if (ptr == 1) {
    *r1 = dd_quick_two_sum(*pr, f9, pr);
  } else if (ptr == 2) {
    *r2 = dd_quick_two_sum(*pr, f9, pr);
  } else if (ptr == 3) {
    *r3 = dd_quick_two_sum(*pr, f9, pr);
  } else if (ptr == 4) {
    *r4 = dd_quick_two_sum(*pr, f9, pr);
  } else if (ptr == 5) {
    *r5 = dd_quick_two_sum(*pr, f9, pr);
  } else if (ptr == 6) {
    *r6 = dd_quick_two_sum(*pr, f9, pr);
  } else if (ptr == 7) {
    *r7 = dd_quick_two_sum(*pr, f9, pr);
  } else if (ptr == 8) {
    *r8 = dd_quick_two_sum(*pr, f9, pr);
  }
  if (*pr == 0.0) {
    if (ptr == 0) {
      *pr = *r0;
    } else if (ptr == 1) {
      *pr = *r1;
    } else if (ptr == 2) {
      *pr = *r2;
    } else if (ptr == 3) {
      *pr = *r3;
    } else if (ptr == 4) {
      *pr = *r4;
    } else if (ptr == 5) {
      *pr = *r5;
    } else if (ptr == 6) {
      *pr = *r6;
    } else if (ptr == 7) {
      *pr = *r7;
    } else if (ptr == 8) {
      *pr = *r8;
    }
  } else {
    ptr = ptr + 1;
  }
  if (ptr == 0) {
    *r0 = dd_quick_two_sum(*pr, f10, pr);
  } else if (ptr == 1) {
    *r1 = dd_quick_two_sum(*pr, f10, pr);
  } else if (ptr == 2) {
    *r2 = dd_quick_two_sum(*pr, f10, pr);
  } else if (ptr == 3) {
    *r3 = dd_quick_two_sum(*pr, f10, pr);
  } else if (ptr == 4) {
    *r4 = dd_quick_two_sum(*pr, f10, pr);
  } else if (ptr == 5) {
    *r5 = dd_quick_two_sum(*pr, f10, pr);
  } else if (ptr == 6) {
    *r6 = dd_quick_two_sum(*pr, f10, pr);
  } else if (ptr == 7) {
    *r7 = dd_quick_two_sum(*pr, f10, pr);
  } else if (ptr == 8) {
    *r8 = dd_quick_two_sum(*pr, f10, pr);
  } else if (ptr == 9) {
    *r9 = dd_quick_two_sum(*pr, f10, pr);
  }
  if (*pr == 0.0) {
    if (ptr == 0) {
      *pr = *r0;
    } else if (ptr == 1) {
      *pr = *r1;
    } else if (ptr == 2) {
      *pr = *r2;
    } else if (ptr == 3) {
      *pr = *r3;
    } else if (ptr == 4) {
      *pr = *r4;
    } else if (ptr == 5) {
      *pr = *r5;
    } else if (ptr == 6) {
      *pr = *r6;
    } else if (ptr == 7) {
      *pr = *r7;
    } else if (ptr == 8) {
      *pr = *r8;
    } else if (ptr == 9) {
      *pr = *r9;
    }
  } else {
    ptr = ptr + 1;
  }
  if ((ptr < 10) && (*pr != 0.0)) {
    if (ptr == 0) {
      *r0 = *pr;
    } else if (ptr == 1) {
      *r1 = *pr;
    } else if (ptr == 2) {
      *r2 = *pr;
    } else if (ptr == 3) {
      *r3 = *pr;
    } else if (ptr == 4) {
      *r4 = *pr;
    } else if (ptr == 5) {
      *r5 = *pr;
    } else if (ptr == 6) {
      *r6 = *pr;
    } else if (ptr == 7) {
      *r7 = *pr;
    } else if (ptr == 8) {
      *r8 = *pr;
    } else if (ptr == 9) {
      *r9 = *pr;
    }
    ptr = ptr + 1;
  }
  if (ptr < 1) {
    *r9 = 0.0;
    *r8 = 0.0;
    *r7 = 0.0;
    *r6 = 0.0;
    *r5 = 0.0;
    *r4 = 0.0;
    *r3 = 0.0;
    *r2 = 0.0;
    *r1 = 0.0;
    *r0 = 0.0;
  } else if (ptr < 2) {
    *r9 = 0.0;
    *r8 = 0.0;
    *r7 = 0.0;
    *r6 = 0.0;
    *r5 = 0.0;
    *r4 = 0.0;
    *r3 = 0.0;
    *r2 = 0.0;
    *r1 = 0.0;
  } else if (ptr < 3) {
    *r9 = 0.0;
    *r8 = 0.0;
    *r7 = 0.0;
    *r6 = 0.0;
    *r5 = 0.0;
    *r4 = 0.0;
    *r3 = 0.0;
    *r2 = 0.0;
  } else if (ptr < 4) {
    *r9 = 0.0;
    *r8 = 0.0;
    *r7 = 0.0;
    *r6 = 0.0;
    *r5 = 0.0;
    *r4 = 0.0;
    *r3 = 0.0;
  } else if (ptr < 5) {
    *r9 = 0.0;
    *r8 = 0.0;
    *r7 = 0.0;
    *r6 = 0.0;
    *r5 = 0.0;
    *r4 = 0.0;
  } else if (ptr < 6) {
    *r9 = 0.0;
    *r8 = 0.0;
    *r7 = 0.0;
    *r6 = 0.0;
    *r5 = 0.0;
  } else if (ptr < 7) {
    *r9 = 0.0;
    *r8 = 0.0;
    *r7 = 0.0;
    *r6 = 0.0;
  } else if (ptr < 8) {
    *r9 = 0.0;
    *r8 = 0.0;
    *r7 = 0.0;
  } else if (ptr < 9) {
    *r9 = 0.0;
    *r8 = 0.0;
  } else if (ptr < 10) {
    *r9 = 0.0;
  }
}
```