user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<da_renorm10>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  add    $0xffffffffffffff80,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  %xmm2,-0x28(%rbp)
  movsd  %xmm3,-0x30(%rbp)
  movsd  %xmm4,-0x38(%rbp)
  movsd  %xmm5,-0x40(%rbp)
  movsd  %xmm6,-0x48(%rbp)
  movsd  %xmm7,-0x50(%rbp)
  mov    %rdi,-0x58(%rbp)
  mov    %rsi,-0x60(%rbp)
  mov    %rdx,-0x68(%rbp)
  mov    %rcx,-0x70(%rbp)
  mov    %r8,-0x78(%rbp)
  mov    %r9,-0x80(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x20(%rbp),%xmm0
  jp     L601
  pxor   %xmm0,%xmm0
  ucomisd -0x20(%rbp),%xmm0
  jne    L601
  mov    -0x58(%rbp),%rax
  movsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x0,-0x4(%rbp)
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x28(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2134
L601:
  mov    -0x60(%rbp),%rax
  movsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  movsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x1,-0x4(%rbp)
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x28(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x68(%rbp),%rax
  movsd  %xmm0,(%rax)
L2134:
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1130
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1130
  cmpl   $0x0,-0x4(%rbp)
  jne    L2055
  mov    -0x60(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2047
L2055:
  mov    -0x68(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2047
L1130:
  addl   $0x1,-0x4(%rbp)
L2047:
  cmpl   $0x0,-0x4(%rbp)
  jne    L2514
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x30(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L425
L2514:
  cmpl   $0x1,-0x4(%rbp)
  jne    L964
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x30(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x68(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L425
L964:
  cmpl   $0x2,-0x4(%rbp)
  jne    L425
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x30(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x70(%rbp),%rax
  movsd  %xmm0,(%rax)
L425:
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2592
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2592
  cmpl   $0x0,-0x4(%rbp)
  jne    L405
  mov    -0x60(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L970
L405:
  cmpl   $0x1,-0x4(%rbp)
  jne    L349
  mov    -0x68(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L970
L349:
  cmpl   $0x2,-0x4(%rbp)
  jne    L970
  mov    -0x70(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L970
L2592:
  addl   $0x1,-0x4(%rbp)
L970:
  cmpl   $0x0,-0x4(%rbp)
  jne    L1304
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x38(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2493
L1304:
  cmpl   $0x1,-0x4(%rbp)
  jne    L740
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x38(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x68(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2493
L740:
  cmpl   $0x2,-0x4(%rbp)
  jne    L636
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x38(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x70(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2493
L636:
  cmpl   $0x3,-0x4(%rbp)
  jne    L2493
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x38(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x78(%rbp),%rax
  movsd  %xmm0,(%rax)
L2493:
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jp     L737
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jne    L737
  cmpl   $0x0,-0x4(%rbp)
  jne    L908
  mov    -0x60(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2348
L908:
  cmpl   $0x1,-0x4(%rbp)
  jne    L473
  mov    -0x68(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2348
L473:
  cmpl   $0x2,-0x4(%rbp)
  jne    L1943
  mov    -0x70(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2348
L1943:
  cmpl   $0x3,-0x4(%rbp)
  jne    L2348
  mov    -0x78(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2348
L737:
  addl   $0x1,-0x4(%rbp)
L2348:
  cmpl   $0x0,-0x4(%rbp)
  jne    L1843
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x40(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1760
L1843:
  cmpl   $0x1,-0x4(%rbp)
  jne    L1685
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x40(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x68(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1760
L1685:
  cmpl   $0x2,-0x4(%rbp)
  jne    L285
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x40(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x70(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1760
L285:
  cmpl   $0x3,-0x4(%rbp)
  jne    L1363
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x40(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x78(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1760
L1363:
  cmpl   $0x4,-0x4(%rbp)
  jne    L1760
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x40(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
L1760:
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jp     L86
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jne    L86
  cmpl   $0x0,-0x4(%rbp)
  jne    L266
  mov    -0x60(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1778
L266:
  cmpl   $0x1,-0x4(%rbp)
  jne    L1567
  mov    -0x68(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1778
L1567:
  cmpl   $0x2,-0x4(%rbp)
  jne    L562
  mov    -0x70(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1778
L562:
  cmpl   $0x3,-0x4(%rbp)
  jne    L1349
  mov    -0x78(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1778
L1349:
  cmpl   $0x4,-0x4(%rbp)
  jne    L1778
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1778
L86:
  addl   $0x1,-0x4(%rbp)
L1778:
  cmpl   $0x0,-0x4(%rbp)
  jne    L2496
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x48(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L71
L2496:
  cmpl   $0x1,-0x4(%rbp)
  jne    L2311
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x48(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x68(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L71
L2311:
  cmpl   $0x2,-0x4(%rbp)
  jne    L346
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x48(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x70(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L71
L346:
  cmpl   $0x3,-0x4(%rbp)
  jne    L534
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x48(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x78(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L71
L534:
  cmpl   $0x4,-0x4(%rbp)
  jne    L2473
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x48(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L71
L2473:
  cmpl   $0x5,-0x4(%rbp)
  jne    L71
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x48(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
L71:
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1499
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1499
  cmpl   $0x0,-0x4(%rbp)
  jne    L2557
  mov    -0x60(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L319
L2557:
  cmpl   $0x1,-0x4(%rbp)
  jne    L2243
  mov    -0x68(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L319
L2243:
  cmpl   $0x2,-0x4(%rbp)
  jne    L933
  mov    -0x70(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L319
L933:
  cmpl   $0x3,-0x4(%rbp)
  jne    L2002
  mov    -0x78(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L319
L2002:
  cmpl   $0x4,-0x4(%rbp)
  jne    L2374
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L319
L2374:
  cmpl   $0x5,-0x4(%rbp)
  jne    L319
  mov    0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L319
L1499:
  addl   $0x1,-0x4(%rbp)
L319:
  cmpl   $0x0,-0x4(%rbp)
  jne    L1972
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x50(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1240
L1972:
  cmpl   $0x1,-0x4(%rbp)
  jne    L2038
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x50(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x68(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1240
L2038:
  cmpl   $0x2,-0x4(%rbp)
  jne    L2170
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x50(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x70(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1240
L2170:
  cmpl   $0x3,-0x4(%rbp)
  jne    L1053
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x50(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x78(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1240
L1053:
  cmpl   $0x4,-0x4(%rbp)
  jne    L2361
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x50(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1240
L2361:
  cmpl   $0x5,-0x4(%rbp)
  jne    L2396
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x50(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1240
L2396:
  cmpl   $0x6,-0x4(%rbp)
  jne    L1240
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  -0x50(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x30(%rbp),%rax
  movsd  %xmm0,(%rax)
L1240:
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1542
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1542
  cmpl   $0x0,-0x4(%rbp)
  jne    L783
  mov    -0x60(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2339
L783:
  cmpl   $0x1,-0x4(%rbp)
  jne    L997
  mov    -0x68(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2339
L997:
  cmpl   $0x2,-0x4(%rbp)
  jne    L1963
  mov    -0x70(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2339
L1963:
  cmpl   $0x3,-0x4(%rbp)
  jne    L2477
  mov    -0x78(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2339
L2477:
  cmpl   $0x4,-0x4(%rbp)
  jne    L1985
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2339
L1985:
  cmpl   $0x5,-0x4(%rbp)
  jne    L1820
  mov    0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2339
L1820:
  cmpl   $0x6,-0x4(%rbp)
  jne    L2339
  mov    0x30(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2339
L1542:
  addl   $0x1,-0x4(%rbp)
L2339:
  cmpl   $0x0,-0x4(%rbp)
  jne    L210
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  mov    %rdx,%rdi
  movsd  0x10(%rbp),%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L413
L210:
  cmpl   $0x1,-0x4(%rbp)
  jne    L2412
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  mov    %rdx,%rdi
  movsd  0x10(%rbp),%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x68(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L413
L2412:
  cmpl   $0x2,-0x4(%rbp)
  jne    L1638
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  mov    %rdx,%rdi
  movsd  0x10(%rbp),%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x70(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L413
L1638:
  cmpl   $0x3,-0x4(%rbp)
  jne    L837
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  mov    %rdx,%rdi
  movsd  0x10(%rbp),%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x78(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L413
L837:
  cmpl   $0x4,-0x4(%rbp)
  jne    L1766
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  mov    %rdx,%rdi
  movsd  0x10(%rbp),%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L413
L1766:
  cmpl   $0x5,-0x4(%rbp)
  jne    L2005
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  mov    %rdx,%rdi
  movsd  0x10(%rbp),%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L413
L2005:
  cmpl   $0x6,-0x4(%rbp)
  jne    L2242
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  mov    %rdx,%rdi
  movsd  0x10(%rbp),%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x30(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L413
L2242:
  cmpl   $0x7,-0x4(%rbp)
  jne    L413
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  mov    %rdx,%rdi
  movsd  0x10(%rbp),%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x38(%rbp),%rax
  movsd  %xmm0,(%rax)
L413:
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jp     L924
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jne    L924
  cmpl   $0x0,-0x4(%rbp)
  jne    L512
  mov    -0x60(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1682
L512:
  cmpl   $0x1,-0x4(%rbp)
  jne    L424
  mov    -0x68(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1682
L424:
  cmpl   $0x2,-0x4(%rbp)
  jne    L2420
  mov    -0x70(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1682
L2420:
  cmpl   $0x3,-0x4(%rbp)
  jne    L1510
  mov    -0x78(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1682
L1510:
  cmpl   $0x4,-0x4(%rbp)
  jne    L1333
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1682
L1333:
  cmpl   $0x5,-0x4(%rbp)
  jne    L871
  mov    0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1682
L871:
  cmpl   $0x6,-0x4(%rbp)
  jne    L1642
  mov    0x30(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1682
L1642:
  cmpl   $0x7,-0x4(%rbp)
  jne    L1682
  mov    0x38(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1682
L924:
  addl   $0x1,-0x4(%rbp)
L1682:
  cmpl   $0x0,-0x4(%rbp)
  jne    L466
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x18(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1166
L466:
  cmpl   $0x1,-0x4(%rbp)
  jne    L226
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x18(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x68(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1166
L226:
  cmpl   $0x2,-0x4(%rbp)
  jne    L2382
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x18(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x70(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1166
L2382:
  cmpl   $0x3,-0x4(%rbp)
  jne    L901
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x18(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x78(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1166
L901:
  cmpl   $0x4,-0x4(%rbp)
  jne    L1105
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x18(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1166
L1105:
  cmpl   $0x5,-0x4(%rbp)
  jne    L2434
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x18(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1166
L2434:
  cmpl   $0x6,-0x4(%rbp)
  jne    L5
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x18(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x30(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1166
L5:
  cmpl   $0x7,-0x4(%rbp)
  jne    L2610
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x18(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x38(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L1166
L2610:
  cmpl   $0x8,-0x4(%rbp)
  jne    L1166
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x18(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x40(%rbp),%rax
  movsd  %xmm0,(%rax)
L1166:
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jp     L609
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jne    L609
  cmpl   $0x0,-0x4(%rbp)
  jne    L2306
  mov    -0x60(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L891
L2306:
  cmpl   $0x1,-0x4(%rbp)
  jne    L264
  mov    -0x68(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L891
L264:
  cmpl   $0x2,-0x4(%rbp)
  jne    L205
  mov    -0x70(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L891
L205:
  cmpl   $0x3,-0x4(%rbp)
  jne    L2567
  mov    -0x78(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L891
L2567:
  cmpl   $0x4,-0x4(%rbp)
  jne    L872
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L891
L872:
  cmpl   $0x5,-0x4(%rbp)
  jne    L416
  mov    0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L891
L416:
  cmpl   $0x6,-0x4(%rbp)
  jne    L993
  mov    0x30(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L891
L993:
  cmpl   $0x7,-0x4(%rbp)
  jne    L1390
  mov    0x38(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L891
L1390:
  cmpl   $0x8,-0x4(%rbp)
  jne    L891
  mov    0x40(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L891
L609:
  addl   $0x1,-0x4(%rbp)
L891:
  cmpl   $0x0,-0x4(%rbp)
  jne    L2072
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x20(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2393
L2072:
  cmpl   $0x1,-0x4(%rbp)
  jne    L2112
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x20(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x68(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2393
L2112:
  cmpl   $0x2,-0x4(%rbp)
  jne    L61
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x20(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x70(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2393
L61:
  cmpl   $0x3,-0x4(%rbp)
  jne    L1659
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x20(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x78(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2393
L1659:
  cmpl   $0x4,-0x4(%rbp)
  jne    L1802
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x20(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2393
L1802:
  cmpl   $0x5,-0x4(%rbp)
  jne    L1792
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x20(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2393
L1792:
  cmpl   $0x6,-0x4(%rbp)
  jne    L2084
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x20(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x30(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2393
L2084:
  cmpl   $0x7,-0x4(%rbp)
  jne    L2185
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x20(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x38(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2393
L2185:
  cmpl   $0x8,-0x4(%rbp)
  jne    L355
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x20(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x40(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L2393
L355:
  cmpl   $0x9,-0x4(%rbp)
  jne    L2393
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x58(%rbp),%rdx
  movsd  0x20(%rbp),%xmm0
  mov    %rdx,%rdi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <dd_quick_two_sum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    0x48(%rbp),%rax
  movsd  %xmm0,(%rax)
L2393:
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1228
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1228
  cmpl   $0x0,-0x4(%rbp)
  jne    L1580
  mov    -0x60(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L953
L1580:
  cmpl   $0x1,-0x4(%rbp)
  jne    L2286
  mov    -0x68(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L953
L2286:
  cmpl   $0x2,-0x4(%rbp)
  jne    L2317
  mov    -0x70(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L953
L2317:
  cmpl   $0x3,-0x4(%rbp)
  jne    L1508
  mov    -0x78(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L953
L1508:
  cmpl   $0x4,-0x4(%rbp)
  jne    L799
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L953
L799:
  cmpl   $0x5,-0x4(%rbp)
  jne    L2268
  mov    0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L953
L2268:
  cmpl   $0x6,-0x4(%rbp)
  jne    L1966
  mov    0x30(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L953
L1966:
  cmpl   $0x7,-0x4(%rbp)
  jne    L67
  mov    0x38(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L953
L67:
  cmpl   $0x8,-0x4(%rbp)
  jne    L775
  mov    0x40(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L953
L775:
  cmpl   $0x9,-0x4(%rbp)
  jne    L953
  mov    0x48(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x58(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L953
L1228:
  addl   $0x1,-0x4(%rbp)
L953:
  cmpl   $0x9,-0x4(%rbp)
  jg     L1461
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  jp     L387
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  je     L1461
L387:
  cmpl   $0x0,-0x4(%rbp)
  jne    L975
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L306
L975:
  cmpl   $0x1,-0x4(%rbp)
  jne    L1025
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x68(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L306
L1025:
  cmpl   $0x2,-0x4(%rbp)
  jne    L1118
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x70(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L306
L1118:
  cmpl   $0x3,-0x4(%rbp)
  jne    L2336
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x78(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L306
L2336:
  cmpl   $0x4,-0x4(%rbp)
  jne    L979
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L306
L979:
  cmpl   $0x5,-0x4(%rbp)
  jne    L98
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L306
L98:
  cmpl   $0x6,-0x4(%rbp)
  jne    L793
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    0x30(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L306
L793:
  cmpl   $0x7,-0x4(%rbp)
  jne    L1522
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    0x38(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L306
L1522:
  cmpl   $0x8,-0x4(%rbp)
  jne    L2534
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    0x40(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L306
L2534:
  cmpl   $0x9,-0x4(%rbp)
  jne    L306
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    0x48(%rbp),%rax
  movsd  %xmm0,(%rax)
L306:
  addl   $0x1,-0x4(%rbp)
L1461:
  cmpl   $0x0,-0x4(%rbp)
  jg     L1589
  mov    0x48(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x40(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x38(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x30(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x28(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x78(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x70(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x68(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x60(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L1251
L1589:
  cmpl   $0x1,-0x4(%rbp)
  jg     L1953
  mov    0x48(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x40(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x38(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x30(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x28(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x78(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x70(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x68(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L1251
L1953:
  cmpl   $0x2,-0x4(%rbp)
  jg     L2216
  mov    0x48(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x40(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x38(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x30(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x28(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x78(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x70(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L1251
L2216:
  cmpl   $0x3,-0x4(%rbp)
  jg     L197
  mov    0x48(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x40(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x38(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x30(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x28(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x78(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L1251
L197:
  cmpl   $0x4,-0x4(%rbp)
  jg     L434
  mov    0x48(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x40(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x38(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x30(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x28(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L1251
L434:
  cmpl   $0x5,-0x4(%rbp)
  jg     L1586
  mov    0x48(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x40(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x38(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x30(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x28(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L1251
L1586:
  cmpl   $0x6,-0x4(%rbp)
  jg     L1298
  mov    0x48(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x40(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x38(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x30(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L1251
L1298:
  cmpl   $0x7,-0x4(%rbp)
  jg     L155
  mov    0x48(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x40(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x38(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L1251
L155:
  cmpl   $0x8,-0x4(%rbp)
  jg     L165
  mov    0x48(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    0x40(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L1251
L165:
  cmpl   $0x9,-0x4(%rbp)
  jg     L1251
  mov    0x48(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
L1251:
  nop
  leave
  ret
```

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;
  }
}
```