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


x86 assembly (clang, -O0):
<da_renorm10>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x48(%rbp),%rax
mov    0x40(%rbp),%rax
mov    0x38(%rbp),%rax
mov    0x30(%rbp),%rax
mov    0x28(%rbp),%rax
movsd  0x20(%rbp),%xmm8
movsd  0x18(%rbp),%xmm8
movsd  0x10(%rbp),%xmm8
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
movsd  %xmm4,-0x28(%rbp)
movsd  %xmm5,-0x30(%rbp)
movsd  %xmm6,-0x38(%rbp)
movsd  %xmm7,-0x40(%rbp)
mov    %rdi,-0x48(%rbp)
mov    %rsi,-0x50(%rbp)
mov    %rdx,-0x58(%rbp)
mov    %rcx,-0x60(%rbp)
mov    %r8,-0x68(%rbp)
mov    %r9,-0x70(%rbp)
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    11d6 <da_renorm10+0xc6>
jp     11d6 <da_renorm10+0xc6>
movsd  -0x8(%rbp),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
movl   $0x0,-0x74(%rbp)
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x18(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x50(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    121b <da_renorm10+0x10b>
movsd  -0x8(%rbp),%xmm0
mov    -0x50(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x10(%rbp),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
movl   $0x1,-0x74(%rbp)
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x18(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x58(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    126a <da_renorm10+0x15a>
jp     126a <da_renorm10+0x15a>
cmpl   $0x0,-0x74(%rbp)
jne    1255 <da_renorm10+0x145>
mov    -0x50(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1265 <da_renorm10+0x155>
mov    -0x58(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1273 <da_renorm10+0x163>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
cmpl   $0x0,-0x74(%rbp)
jne    12a6 <da_renorm10+0x196>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x50(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1311 <da_renorm10+0x201>
cmpl   $0x1,-0x74(%rbp)
jne    12d9 <da_renorm10+0x1c9>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x58(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    130c <da_renorm10+0x1fc>
cmpl   $0x2,-0x74(%rbp)
jne    1307 <da_renorm10+0x1f7>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x60(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    130c <da_renorm10+0x1fc>
jmp    1311 <da_renorm10+0x201>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1393 <da_renorm10+0x283>
jp     1393 <da_renorm10+0x283>
cmpl   $0x0,-0x74(%rbp)
jne    134b <da_renorm10+0x23b>
mov    -0x50(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    138e <da_renorm10+0x27e>
cmpl   $0x1,-0x74(%rbp)
jne    136a <da_renorm10+0x25a>
mov    -0x58(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1389 <da_renorm10+0x279>
cmpl   $0x2,-0x74(%rbp)
jne    1384 <da_renorm10+0x274>
mov    -0x60(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1389 <da_renorm10+0x279>
jmp    138e <da_renorm10+0x27e>
jmp    139c <da_renorm10+0x28c>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
cmpl   $0x0,-0x74(%rbp)
jne    13cf <da_renorm10+0x2bf>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x28(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x50(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1472 <da_renorm10+0x362>
cmpl   $0x1,-0x74(%rbp)
jne    1402 <da_renorm10+0x2f2>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x28(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x58(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    146d <da_renorm10+0x35d>
cmpl   $0x2,-0x74(%rbp)
jne    1435 <da_renorm10+0x325>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x28(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x60(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1468 <da_renorm10+0x358>
cmpl   $0x3,-0x74(%rbp)
jne    1463 <da_renorm10+0x353>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x28(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x68(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1468 <da_renorm10+0x358>
jmp    146d <da_renorm10+0x35d>
jmp    1472 <da_renorm10+0x362>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1518 <da_renorm10+0x408>
jp     1518 <da_renorm10+0x408>
cmpl   $0x0,-0x74(%rbp)
jne    14ac <da_renorm10+0x39c>
mov    -0x50(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1513 <da_renorm10+0x403>
cmpl   $0x1,-0x74(%rbp)
jne    14cb <da_renorm10+0x3bb>
mov    -0x58(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    150e <da_renorm10+0x3fe>
cmpl   $0x2,-0x74(%rbp)
jne    14ea <da_renorm10+0x3da>
mov    -0x60(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1509 <da_renorm10+0x3f9>
cmpl   $0x3,-0x74(%rbp)
jne    1504 <da_renorm10+0x3f4>
mov    -0x68(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1509 <da_renorm10+0x3f9>
jmp    150e <da_renorm10+0x3fe>
jmp    1513 <da_renorm10+0x403>
jmp    1521 <da_renorm10+0x411>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
cmpl   $0x0,-0x74(%rbp)
jne    1554 <da_renorm10+0x444>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x30(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x50(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    162f <da_renorm10+0x51f>
cmpl   $0x1,-0x74(%rbp)
jne    1587 <da_renorm10+0x477>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x30(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x58(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    162a <da_renorm10+0x51a>
cmpl   $0x2,-0x74(%rbp)
jne    15ba <da_renorm10+0x4aa>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x30(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x60(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1625 <da_renorm10+0x515>
cmpl   $0x3,-0x74(%rbp)
jne    15ed <da_renorm10+0x4dd>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x30(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x68(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1620 <da_renorm10+0x510>
cmpl   $0x4,-0x74(%rbp)
jne    161b <da_renorm10+0x50b>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x30(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x70(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1620 <da_renorm10+0x510>
jmp    1625 <da_renorm10+0x515>
jmp    162a <da_renorm10+0x51a>
jmp    162f <da_renorm10+0x51f>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    16f9 <da_renorm10+0x5e9>
jp     16f9 <da_renorm10+0x5e9>
cmpl   $0x0,-0x74(%rbp)
jne    1669 <da_renorm10+0x559>
mov    -0x50(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    16f4 <da_renorm10+0x5e4>
cmpl   $0x1,-0x74(%rbp)
jne    1688 <da_renorm10+0x578>
mov    -0x58(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    16ef <da_renorm10+0x5df>
cmpl   $0x2,-0x74(%rbp)
jne    16a7 <da_renorm10+0x597>
mov    -0x60(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    16ea <da_renorm10+0x5da>
cmpl   $0x3,-0x74(%rbp)
jne    16c6 <da_renorm10+0x5b6>
mov    -0x68(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    16e5 <da_renorm10+0x5d5>
cmpl   $0x4,-0x74(%rbp)
jne    16e0 <da_renorm10+0x5d0>
mov    -0x70(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    16e5 <da_renorm10+0x5d5>
jmp    16ea <da_renorm10+0x5da>
jmp    16ef <da_renorm10+0x5df>
jmp    16f4 <da_renorm10+0x5e4>
jmp    1702 <da_renorm10+0x5f2>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
cmpl   $0x0,-0x74(%rbp)
jne    1735 <da_renorm10+0x625>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x38(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x50(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1848 <da_renorm10+0x738>
cmpl   $0x1,-0x74(%rbp)
jne    1768 <da_renorm10+0x658>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x38(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x58(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1843 <da_renorm10+0x733>
cmpl   $0x2,-0x74(%rbp)
jne    179b <da_renorm10+0x68b>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x38(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x60(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    183e <da_renorm10+0x72e>
cmpl   $0x3,-0x74(%rbp)
jne    17ce <da_renorm10+0x6be>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x38(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x68(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1839 <da_renorm10+0x729>
cmpl   $0x4,-0x74(%rbp)
jne    1801 <da_renorm10+0x6f1>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x38(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x70(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1834 <da_renorm10+0x724>
cmpl   $0x5,-0x74(%rbp)
jne    182f <da_renorm10+0x71f>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x38(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x28(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1834 <da_renorm10+0x724>
jmp    1839 <da_renorm10+0x729>
jmp    183e <da_renorm10+0x72e>
jmp    1843 <da_renorm10+0x733>
jmp    1848 <da_renorm10+0x738>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1936 <da_renorm10+0x826>
jp     1936 <da_renorm10+0x826>
cmpl   $0x0,-0x74(%rbp)
jne    1882 <da_renorm10+0x772>
mov    -0x50(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1931 <da_renorm10+0x821>
cmpl   $0x1,-0x74(%rbp)
jne    18a1 <da_renorm10+0x791>
mov    -0x58(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    192c <da_renorm10+0x81c>
cmpl   $0x2,-0x74(%rbp)
jne    18c0 <da_renorm10+0x7b0>
mov    -0x60(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1927 <da_renorm10+0x817>
cmpl   $0x3,-0x74(%rbp)
jne    18df <da_renorm10+0x7cf>
mov    -0x68(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1922 <da_renorm10+0x812>
cmpl   $0x4,-0x74(%rbp)
jne    18fe <da_renorm10+0x7ee>
mov    -0x70(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    191d <da_renorm10+0x80d>
cmpl   $0x5,-0x74(%rbp)
jne    1918 <da_renorm10+0x808>
mov    0x28(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    191d <da_renorm10+0x80d>
jmp    1922 <da_renorm10+0x812>
jmp    1927 <da_renorm10+0x817>
jmp    192c <da_renorm10+0x81c>
jmp    1931 <da_renorm10+0x821>
jmp    193f <da_renorm10+0x82f>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
cmpl   $0x0,-0x74(%rbp)
jne    1972 <da_renorm10+0x862>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x40(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x50(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1abd <da_renorm10+0x9ad>
cmpl   $0x1,-0x74(%rbp)
jne    19a5 <da_renorm10+0x895>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x40(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x58(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1ab8 <da_renorm10+0x9a8>
cmpl   $0x2,-0x74(%rbp)
jne    19d8 <da_renorm10+0x8c8>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x40(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x60(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1ab3 <da_renorm10+0x9a3>
cmpl   $0x3,-0x74(%rbp)
jne    1a0b <da_renorm10+0x8fb>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x40(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x68(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1aae <da_renorm10+0x99e>
cmpl   $0x4,-0x74(%rbp)
jne    1a3e <da_renorm10+0x92e>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x40(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x70(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1aa9 <da_renorm10+0x999>
cmpl   $0x5,-0x74(%rbp)
jne    1a71 <da_renorm10+0x961>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x40(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x28(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1aa4 <da_renorm10+0x994>
cmpl   $0x6,-0x74(%rbp)
jne    1a9f <da_renorm10+0x98f>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x40(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x30(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1aa4 <da_renorm10+0x994>
jmp    1aa9 <da_renorm10+0x999>
jmp    1aae <da_renorm10+0x99e>
jmp    1ab3 <da_renorm10+0x9a3>
jmp    1ab8 <da_renorm10+0x9a8>
jmp    1abd <da_renorm10+0x9ad>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1bcf <da_renorm10+0xabf>
jp     1bcf <da_renorm10+0xabf>
cmpl   $0x0,-0x74(%rbp)
jne    1af7 <da_renorm10+0x9e7>
mov    -0x50(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1bca <da_renorm10+0xaba>
cmpl   $0x1,-0x74(%rbp)
jne    1b16 <da_renorm10+0xa06>
mov    -0x58(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1bc5 <da_renorm10+0xab5>
cmpl   $0x2,-0x74(%rbp)
jne    1b35 <da_renorm10+0xa25>
mov    -0x60(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1bc0 <da_renorm10+0xab0>
cmpl   $0x3,-0x74(%rbp)
jne    1b54 <da_renorm10+0xa44>
mov    -0x68(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1bbb <da_renorm10+0xaab>
cmpl   $0x4,-0x74(%rbp)
jne    1b73 <da_renorm10+0xa63>
mov    -0x70(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1bb6 <da_renorm10+0xaa6>
cmpl   $0x5,-0x74(%rbp)
jne    1b92 <da_renorm10+0xa82>
mov    0x28(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1bb1 <da_renorm10+0xaa1>
cmpl   $0x6,-0x74(%rbp)
jne    1bac <da_renorm10+0xa9c>
mov    0x30(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1bb1 <da_renorm10+0xaa1>
jmp    1bb6 <da_renorm10+0xaa6>
jmp    1bbb <da_renorm10+0xaab>
jmp    1bc0 <da_renorm10+0xab0>
jmp    1bc5 <da_renorm10+0xab5>
jmp    1bca <da_renorm10+0xaba>
jmp    1bd8 <da_renorm10+0xac8>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
cmpl   $0x0,-0x74(%rbp)
jne    1c0b <da_renorm10+0xafb>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x10(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x50(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1d8e <da_renorm10+0xc7e>
cmpl   $0x1,-0x74(%rbp)
jne    1c3e <da_renorm10+0xb2e>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x10(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x58(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1d89 <da_renorm10+0xc79>
cmpl   $0x2,-0x74(%rbp)
jne    1c71 <da_renorm10+0xb61>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x10(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x60(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1d84 <da_renorm10+0xc74>
cmpl   $0x3,-0x74(%rbp)
jne    1ca4 <da_renorm10+0xb94>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x10(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x68(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1d7f <da_renorm10+0xc6f>
cmpl   $0x4,-0x74(%rbp)
jne    1cd7 <da_renorm10+0xbc7>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x10(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x70(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1d7a <da_renorm10+0xc6a>
cmpl   $0x5,-0x74(%rbp)
jne    1d0a <da_renorm10+0xbfa>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x10(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x28(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1d75 <da_renorm10+0xc65>
cmpl   $0x6,-0x74(%rbp)
jne    1d3d <da_renorm10+0xc2d>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x10(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x30(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1d70 <da_renorm10+0xc60>
cmpl   $0x7,-0x74(%rbp)
jne    1d6b <da_renorm10+0xc5b>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x10(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x38(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1d70 <da_renorm10+0xc60>
jmp    1d75 <da_renorm10+0xc65>
jmp    1d7a <da_renorm10+0xc6a>
jmp    1d7f <da_renorm10+0xc6f>
jmp    1d84 <da_renorm10+0xc74>
jmp    1d89 <da_renorm10+0xc79>
jmp    1d8e <da_renorm10+0xc7e>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1ec4 <da_renorm10+0xdb4>
jp     1ec4 <da_renorm10+0xdb4>
cmpl   $0x0,-0x74(%rbp)
jne    1dc8 <da_renorm10+0xcb8>
mov    -0x50(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1ebf <da_renorm10+0xdaf>
cmpl   $0x1,-0x74(%rbp)
jne    1de7 <da_renorm10+0xcd7>
mov    -0x58(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1eba <da_renorm10+0xdaa>
cmpl   $0x2,-0x74(%rbp)
jne    1e06 <da_renorm10+0xcf6>
mov    -0x60(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1eb5 <da_renorm10+0xda5>
cmpl   $0x3,-0x74(%rbp)
jne    1e25 <da_renorm10+0xd15>
mov    -0x68(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1eb0 <da_renorm10+0xda0>
cmpl   $0x4,-0x74(%rbp)
jne    1e44 <da_renorm10+0xd34>
mov    -0x70(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1eab <da_renorm10+0xd9b>
cmpl   $0x5,-0x74(%rbp)
jne    1e63 <da_renorm10+0xd53>
mov    0x28(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1ea6 <da_renorm10+0xd96>
cmpl   $0x6,-0x74(%rbp)
jne    1e82 <da_renorm10+0xd72>
mov    0x30(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1ea1 <da_renorm10+0xd91>
cmpl   $0x7,-0x74(%rbp)
jne    1e9c <da_renorm10+0xd8c>
mov    0x38(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1ea1 <da_renorm10+0xd91>
jmp    1ea6 <da_renorm10+0xd96>
jmp    1eab <da_renorm10+0xd9b>
jmp    1eb0 <da_renorm10+0xda0>
jmp    1eb5 <da_renorm10+0xda5>
jmp    1eba <da_renorm10+0xdaa>
jmp    1ebf <da_renorm10+0xdaf>
jmp    1ecd <da_renorm10+0xdbd>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
cmpl   $0x0,-0x74(%rbp)
jne    1f00 <da_renorm10+0xdf0>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x18(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x50(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    20bb <da_renorm10+0xfab>
cmpl   $0x1,-0x74(%rbp)
jne    1f33 <da_renorm10+0xe23>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x18(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x58(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    20b6 <da_renorm10+0xfa6>
cmpl   $0x2,-0x74(%rbp)
jne    1f66 <da_renorm10+0xe56>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x18(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x60(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    20b1 <da_renorm10+0xfa1>
cmpl   $0x3,-0x74(%rbp)
jne    1f99 <da_renorm10+0xe89>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x18(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x68(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    20ac <da_renorm10+0xf9c>
cmpl   $0x4,-0x74(%rbp)
jne    1fcc <da_renorm10+0xebc>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x18(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x70(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    20a7 <da_renorm10+0xf97>
cmpl   $0x5,-0x74(%rbp)
jne    1fff <da_renorm10+0xeef>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x18(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x28(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    20a2 <da_renorm10+0xf92>
cmpl   $0x6,-0x74(%rbp)
jne    2032 <da_renorm10+0xf22>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x18(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x30(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    209d <da_renorm10+0xf8d>
cmpl   $0x7,-0x74(%rbp)
jne    2065 <da_renorm10+0xf55>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x18(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x38(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2098 <da_renorm10+0xf88>
cmpl   $0x8,-0x74(%rbp)
jne    2093 <da_renorm10+0xf83>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x18(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x40(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2098 <da_renorm10+0xf88>
jmp    209d <da_renorm10+0xf8d>
jmp    20a2 <da_renorm10+0xf92>
jmp    20a7 <da_renorm10+0xf97>
jmp    20ac <da_renorm10+0xf9c>
jmp    20b1 <da_renorm10+0xfa1>
jmp    20b6 <da_renorm10+0xfa6>
jmp    20bb <da_renorm10+0xfab>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    2215 <da_renorm10+0x1105>
jp     2215 <da_renorm10+0x1105>
cmpl   $0x0,-0x74(%rbp)
jne    20f5 <da_renorm10+0xfe5>
mov    -0x50(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2210 <da_renorm10+0x1100>
cmpl   $0x1,-0x74(%rbp)
jne    2114 <da_renorm10+0x1004>
mov    -0x58(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    220b <da_renorm10+0x10fb>
cmpl   $0x2,-0x74(%rbp)
jne    2133 <da_renorm10+0x1023>
mov    -0x60(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2206 <da_renorm10+0x10f6>
cmpl   $0x3,-0x74(%rbp)
jne    2152 <da_renorm10+0x1042>
mov    -0x68(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2201 <da_renorm10+0x10f1>
cmpl   $0x4,-0x74(%rbp)
jne    2171 <da_renorm10+0x1061>
mov    -0x70(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    21fc <da_renorm10+0x10ec>
cmpl   $0x5,-0x74(%rbp)
jne    2190 <da_renorm10+0x1080>
mov    0x28(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    21f7 <da_renorm10+0x10e7>
cmpl   $0x6,-0x74(%rbp)
jne    21af <da_renorm10+0x109f>
mov    0x30(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    21f2 <da_renorm10+0x10e2>
cmpl   $0x7,-0x74(%rbp)
jne    21ce <da_renorm10+0x10be>
mov    0x38(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    21ed <da_renorm10+0x10dd>
cmpl   $0x8,-0x74(%rbp)
jne    21e8 <da_renorm10+0x10d8>
mov    0x40(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    21ed <da_renorm10+0x10dd>
jmp    21f2 <da_renorm10+0x10e2>
jmp    21f7 <da_renorm10+0x10e7>
jmp    21fc <da_renorm10+0x10ec>
jmp    2201 <da_renorm10+0x10f1>
jmp    2206 <da_renorm10+0x10f6>
jmp    220b <da_renorm10+0x10fb>
jmp    2210 <da_renorm10+0x1100>
jmp    221e <da_renorm10+0x110e>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
cmpl   $0x0,-0x74(%rbp)
jne    2251 <da_renorm10+0x1141>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x50(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2444 <da_renorm10+0x1334>
cmpl   $0x1,-0x74(%rbp)
jne    2284 <da_renorm10+0x1174>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x58(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    243f <da_renorm10+0x132f>
cmpl   $0x2,-0x74(%rbp)
jne    22b7 <da_renorm10+0x11a7>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x60(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    243a <da_renorm10+0x132a>
cmpl   $0x3,-0x74(%rbp)
jne    22ea <da_renorm10+0x11da>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x68(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2435 <da_renorm10+0x1325>
cmpl   $0x4,-0x74(%rbp)
jne    231d <da_renorm10+0x120d>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    -0x70(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2430 <da_renorm10+0x1320>
cmpl   $0x5,-0x74(%rbp)
jne    2350 <da_renorm10+0x1240>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x28(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    242b <da_renorm10+0x131b>
cmpl   $0x6,-0x74(%rbp)
jne    2383 <da_renorm10+0x1273>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x30(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2426 <da_renorm10+0x1316>
cmpl   $0x7,-0x74(%rbp)
jne    23b6 <da_renorm10+0x12a6>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x38(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2421 <da_renorm10+0x1311>
cmpl   $0x8,-0x74(%rbp)
jne    23e9 <da_renorm10+0x12d9>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x40(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    241c <da_renorm10+0x130c>
cmpl   $0x9,-0x74(%rbp)
jne    2417 <da_renorm10+0x1307>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0x20(%rbp),%xmm1
mov    -0x48(%rbp),%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
cvtsi2sd %eax,%xmm0
mov    0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    241c <da_renorm10+0x130c>
jmp    2421 <da_renorm10+0x1311>
jmp    2426 <da_renorm10+0x1316>
jmp    242b <da_renorm10+0x131b>
jmp    2430 <da_renorm10+0x1320>
jmp    2435 <da_renorm10+0x1325>
jmp    243a <da_renorm10+0x132a>
jmp    243f <da_renorm10+0x132f>
jmp    2444 <da_renorm10+0x1334>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    25c2 <da_renorm10+0x14b2>
jp     25c2 <da_renorm10+0x14b2>
cmpl   $0x0,-0x74(%rbp)
jne    247e <da_renorm10+0x136e>
mov    -0x50(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    25bd <da_renorm10+0x14ad>
cmpl   $0x1,-0x74(%rbp)
jne    249d <da_renorm10+0x138d>
mov    -0x58(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    25b8 <da_renorm10+0x14a8>
cmpl   $0x2,-0x74(%rbp)
jne    24bc <da_renorm10+0x13ac>
mov    -0x60(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    25b3 <da_renorm10+0x14a3>
cmpl   $0x3,-0x74(%rbp)
jne    24db <da_renorm10+0x13cb>
mov    -0x68(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    25ae <da_renorm10+0x149e>
cmpl   $0x4,-0x74(%rbp)
jne    24fa <da_renorm10+0x13ea>
mov    -0x70(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    25a9 <da_renorm10+0x1499>
cmpl   $0x5,-0x74(%rbp)
jne    2519 <da_renorm10+0x1409>
mov    0x28(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    25a4 <da_renorm10+0x1494>
cmpl   $0x6,-0x74(%rbp)
jne    2538 <da_renorm10+0x1428>
mov    0x30(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    259f <da_renorm10+0x148f>
cmpl   $0x7,-0x74(%rbp)
jne    2557 <da_renorm10+0x1447>
mov    0x38(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    259a <da_renorm10+0x148a>
cmpl   $0x8,-0x74(%rbp)
jne    2576 <da_renorm10+0x1466>
mov    0x40(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2595 <da_renorm10+0x1485>
cmpl   $0x9,-0x74(%rbp)
jne    2590 <da_renorm10+0x1480>
mov    0x48(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2595 <da_renorm10+0x1485>
jmp    259a <da_renorm10+0x148a>
jmp    259f <da_renorm10+0x148f>
jmp    25a4 <da_renorm10+0x1494>
jmp    25a9 <da_renorm10+0x1499>
jmp    25ae <da_renorm10+0x149e>
jmp    25b3 <da_renorm10+0x14a3>
jmp    25b8 <da_renorm10+0x14a8>
jmp    25bd <da_renorm10+0x14ad>
jmp    25cb <da_renorm10+0x14bb>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
cmpl   $0xa,-0x74(%rbp)
jge    275c <da_renorm10+0x164c>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    25f5 <da_renorm10+0x14e5>
jp     25f5 <da_renorm10+0x14e5>
jmp    275c <da_renorm10+0x164c>
cmpl   $0x0,-0x74(%rbp)
jne    2614 <da_renorm10+0x1504>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x50(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2753 <da_renorm10+0x1643>
cmpl   $0x1,-0x74(%rbp)
jne    2633 <da_renorm10+0x1523>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x58(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    274e <da_renorm10+0x163e>
cmpl   $0x2,-0x74(%rbp)
jne    2652 <da_renorm10+0x1542>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x60(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2749 <da_renorm10+0x1639>
cmpl   $0x3,-0x74(%rbp)
jne    2671 <da_renorm10+0x1561>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x68(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2744 <da_renorm10+0x1634>
cmpl   $0x4,-0x74(%rbp)
jne    2690 <da_renorm10+0x1580>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x70(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    273f <da_renorm10+0x162f>
cmpl   $0x5,-0x74(%rbp)
jne    26af <da_renorm10+0x159f>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
mov    0x28(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    273a <da_renorm10+0x162a>
cmpl   $0x6,-0x74(%rbp)
jne    26ce <da_renorm10+0x15be>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
mov    0x30(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2735 <da_renorm10+0x1625>
cmpl   $0x7,-0x74(%rbp)
jne    26ed <da_renorm10+0x15dd>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
mov    0x38(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    2730 <da_renorm10+0x1620>
cmpl   $0x8,-0x74(%rbp)
jne    270c <da_renorm10+0x15fc>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
mov    0x40(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    272b <da_renorm10+0x161b>
cmpl   $0x9,-0x74(%rbp)
jne    2726 <da_renorm10+0x1616>
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
mov    0x48(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    272b <da_renorm10+0x161b>
jmp    2730 <da_renorm10+0x1620>
jmp    2735 <da_renorm10+0x1625>
jmp    273a <da_renorm10+0x162a>
jmp    273f <da_renorm10+0x162f>
jmp    2744 <da_renorm10+0x1634>
jmp    2749 <da_renorm10+0x1639>
jmp    274e <da_renorm10+0x163e>
jmp    2753 <da_renorm10+0x1643>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
cmpl   $0x1,-0x74(%rbp)
jge    27d9 <da_renorm10+0x16c9>
mov    0x48(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x40(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x38(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x30(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x28(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x70(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x68(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x60(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x58(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x50(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
jmp    2a77 <da_renorm10+0x1967>
cmpl   $0x2,-0x74(%rbp)
jge    284b <da_renorm10+0x173b>
mov    0x48(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x40(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x38(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x30(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x28(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x70(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x68(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x60(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x58(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
jmp    2a72 <da_renorm10+0x1962>
cmpl   $0x3,-0x74(%rbp)
jge    28b2 <da_renorm10+0x17a2>
mov    0x48(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x40(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x38(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x30(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x28(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x70(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x68(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x60(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
jmp    2a6d <da_renorm10+0x195d>
cmpl   $0x4,-0x74(%rbp)
jge    290e <da_renorm10+0x17fe>
mov    0x48(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x40(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x38(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x30(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x28(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x70(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x68(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
jmp    2a68 <da_renorm10+0x1958>
cmpl   $0x5,-0x74(%rbp)
jge    295f <da_renorm10+0x184f>
mov    0x48(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x40(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x38(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x30(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x28(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x70(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
jmp    2a63 <da_renorm10+0x1953>
cmpl   $0x6,-0x74(%rbp)
jge    29a5 <da_renorm10+0x1895>
mov    0x48(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x40(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x38(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x30(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x28(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
jmp    2a5e <da_renorm10+0x194e>
cmpl   $0x7,-0x74(%rbp)
jge    29e0 <da_renorm10+0x18d0>
mov    0x48(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x40(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x38(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x30(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
jmp    2a59 <da_renorm10+0x1949>
cmpl   $0x8,-0x74(%rbp)
jge    2a10 <da_renorm10+0x1900>
mov    0x48(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x40(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x38(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
jmp    2a54 <da_renorm10+0x1944>
cmpl   $0x9,-0x74(%rbp)
jge    2a35 <da_renorm10+0x1925>
mov    0x48(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    0x40(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
jmp    2a4f <da_renorm10+0x193f>
cmpl   $0xa,-0x74(%rbp)
jge    2a4a <da_renorm10+0x193a>
mov    0x48(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
jmp    2a4f <da_renorm10+0x193f>
jmp    2a54 <da_renorm10+0x1944>
jmp    2a59 <da_renorm10+0x1949>
jmp    2a5e <da_renorm10+0x194e>
jmp    2a63 <da_renorm10+0x1953>
jmp    2a68 <da_renorm10+0x1958>
jmp    2a6d <da_renorm10+0x195d>
jmp    2a72 <da_renorm10+0x1962>
jmp    2a77 <da_renorm10+0x1967>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<da_renorm10>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %r9,0x10(%rsp)
mov    %r8,(%rsp)
mov    %rcx,0x8(%rsp)
mov    %rsi,%rbp
mov    %rdi,%r15
mov    0xb8(%rsp),%rbx
mov    0xb0(%rsp),%r12
mov    0xa0(%rsp),%r13
xorpd  %xmm8,%xmm8
ucomisd %xmm8,%xmm1
mov    %rdx,0x18(%rsp)
movsd  %xmm7,0x38(%rsp)
movsd  %xmm6,0x30(%rsp)
movsd  %xmm5,0x20(%rsp)
movsd  %xmm4,0x28(%rsp)
movsd  %xmm3,0x40(%rsp)
jne    13d9 <da_renorm10+0x2c9>
jp     13d9 <da_renorm10+0x2c9>
movsd  %xmm0,(%r15)
movaps %xmm2,%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
movsd  0x40(%rsp),%xmm1
xorps  %xmm2,%xmm2
cvtsi2sd %eax,%xmm2
movsd  %xmm2,0x0(%rbp)
movsd  (%r15),%xmm0
ucomisd 0xe4c(%rip),%xmm0
mov    %r13,%r14
jne    1423 <da_renorm10+0x313>
jp     1423 <da_renorm10+0x313>
movsd  %xmm2,(%r15)
movapd %xmm2,%xmm0
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
movsd  %xmm1,0x0(%rbp)
movsd  (%r15),%xmm0
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jne    1460 <da_renorm10+0x350>
jp     1460 <da_renorm10+0x350>
movsd  %xmm1,(%r15)
movapd %xmm1,%xmm0
movsd  0x28(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
movsd  %xmm1,0x0(%rbp)
movsd  (%r15),%xmm0
ucomisd 0xdd3(%rip),%xmm0
jne    1574 <da_renorm10+0x464>
jp     1574 <da_renorm10+0x464>
movsd  %xmm1,(%r15)
movapd %xmm1,%xmm0
movsd  0x20(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
movsd  %xmm1,0x0(%rbp)
movsd  (%r15),%xmm0
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jne    1665 <da_renorm10+0x555>
jp     1665 <da_renorm10+0x555>
movsd  %xmm1,(%r15)
movapd %xmm1,%xmm0
movsd  0x30(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
movsd  %xmm1,0x0(%rbp)
movsd  (%r15),%xmm0
ucomisd 0xd57(%rip),%xmm0
mov    0xa8(%rsp),%r13
jne    1783 <da_renorm10+0x673>
jp     1783 <da_renorm10+0x673>
movsd  %xmm1,(%r15)
movapd %xmm1,%xmm0
movsd  0x38(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
movsd  %xmm1,0x0(%rbp)
movsd  (%r15),%xmm0
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jne    18c5 <da_renorm10+0x7b5>
jp     18c5 <da_renorm10+0x7b5>
movsd  %xmm1,(%r15)
movapd %xmm1,%xmm0
movsd  0x80(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
movsd  %xmm1,0x0(%rbp)
movsd  (%r15),%xmm0
ucomisd 0xcd0(%rip),%xmm0
jne    1a18 <da_renorm10+0x908>
jp     1a18 <da_renorm10+0x908>
movsd  %xmm1,(%r15)
movapd %xmm1,%xmm0
movsd  0x88(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
movsd  %xmm1,0x0(%rbp)
movsd  (%r15),%xmm0
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jne    1f41 <da_renorm10+0xe31>
jp     1f41 <da_renorm10+0xe31>
movsd  %xmm1,(%r15)
movapd %xmm1,%xmm0
movsd  0x90(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
movsd  %xmm1,0x0(%rbp)
movsd  (%r15),%xmm0
ucomisd 0xc4e(%rip),%xmm0
jne    1f59 <da_renorm10+0xe49>
jp     1f59 <da_renorm10+0xe49>
movsd  %xmm1,(%r15)
test   %eax,%eax
mov    (%rsp),%rdx
je     1f63 <da_renorm10+0xe53>
movsd  %xmm1,0x0(%rbp)
jmp    1ca8 <da_renorm10+0xb98>
mov    %rdx,%r14
movsd  %xmm0,0x0(%rbp)
movsd  %xmm1,(%r15)
movapd %xmm1,%xmm0
movapd %xmm2,%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,(%r14)
movsd  (%r15),%xmm1
ucomisd 0xbef(%rip),%xmm1
jne    146c <da_renorm10+0x35c>
jp     146c <da_renorm10+0x35c>
movsd  %xmm0,(%r15)
mov    %r13,%r14
movsd  0x40(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
mov    0x18(%rsp),%rbp
movsd  %xmm1,0x0(%rbp)
movsd  (%r15),%xmm0
mov    $0x1,%ebx
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jne    1454 <da_renorm10+0x344>
jnp    14b2 <da_renorm10+0x3a2>
mov    $0x2,%ebx
mov    0x8(%rsp),%rbp
jmp    14bb <da_renorm10+0x3ab>
mov    $0x1,%ebx
mov    0x18(%rsp),%rbp
jmp    14bb <da_renorm10+0x3ab>
movapd %xmm1,%xmm0
movsd  0x40(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
mov    0x8(%rsp),%rbp
movsd  %xmm1,0x0(%rbp)
movsd  (%r15),%xmm0
mov    $0x2,%ebx
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm0
mov    %r13,%r14
jne    1775 <da_renorm10+0x665>
jp     1775 <da_renorm10+0x665>
movsd  %xmm1,(%r15)
movapd %xmm1,%xmm0
mov    0xa8(%rsp),%r13
movsd  0x28(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x0(%rbp)
movsd  (%r15),%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1516 <da_renorm10+0x406>
jp     1516 <da_renorm10+0x406>
cmp    $0x2,%ebx
je     1531 <da_renorm10+0x421>
cmp    $0x1,%ebx
movsd  0x20(%rsp),%xmm1
jne    1547 <da_renorm10+0x437>
mov    0x18(%rsp),%rbp
movsd  0x0(%rbp),%xmm0
movsd  %xmm0,(%r15)
mov    $0x1,%ebx
jmp    158c <da_renorm10+0x47c>
cmp    $0x1,%ebx
je     155c <da_renorm10+0x44c>
cmp    $0x2,%ebx
jne    1568 <da_renorm10+0x458>
mov    (%rsp),%rbp
movsd  0x20(%rsp),%xmm1
mov    $0x3,%ebx
jmp    158c <da_renorm10+0x47c>
mov    0x8(%rsp),%rbp
movsd  0x0(%rbp),%xmm0
movsd  %xmm0,(%r15)
mov    $0x2,%ebx
jmp    1586 <da_renorm10+0x476>
mov    (%rsp),%rbp
movsd  0x0(%rbp),%xmm0
movsd  %xmm0,(%r15)
mov    $0x3,%ebx
jmp    158c <da_renorm10+0x47c>
mov    $0x2,%ebx
mov    0x8(%rsp),%rbp
jmp    1586 <da_renorm10+0x476>
mov    $0x4,%ebx
mov    0x10(%rsp),%rbp
jmp    1586 <da_renorm10+0x476>
mov    $0x1,%ebx
mov    0x18(%rsp),%rbp
mov    0xa8(%rsp),%r13
movsd  0x20(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x0(%rbp)
movsd  (%r15),%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    15e0 <da_renorm10+0x4d0>
jp     15e0 <da_renorm10+0x4d0>
cmp    $0x3,%ebx
movsd  0x30(%rsp),%xmm1
je     1600 <da_renorm10+0x4f0>
cmp    $0x2,%ebx
je     1614 <da_renorm10+0x504>
cmp    $0x1,%ebx
jne    1629 <da_renorm10+0x519>
mov    0x18(%rsp),%rbx
movsd  (%rbx),%xmm0
movsd  %xmm0,(%r15)
mov    $0x1,%ebp
jmp    167d <da_renorm10+0x56d>
cmp    $0x1,%ebx
movsd  0x30(%rsp),%xmm1
je     163e <da_renorm10+0x52e>
cmp    $0x3,%ebx
je     164a <da_renorm10+0x53a>
cmp    $0x2,%ebx
jne    1656 <da_renorm10+0x546>
mov    (%rsp),%rbx
mov    $0x3,%ebp
jmp    167d <da_renorm10+0x56d>
mov    (%rsp),%rbx
movsd  (%rbx),%xmm0
movsd  %xmm0,(%r15)
mov    $0x3,%ebp
jmp    167d <da_renorm10+0x56d>
mov    0x8(%rsp),%rbx
movsd  (%rbx),%xmm0
movsd  %xmm0,(%r15)
mov    $0x2,%ebp
jmp    167d <da_renorm10+0x56d>
mov    0x10(%rsp),%rbx
movsd  (%rbx),%xmm0
movsd  %xmm0,(%r15)
mov    $0x4,%ebp
jmp    167d <da_renorm10+0x56d>
mov    $0x2,%ebp
mov    0x8(%rsp),%rbx
jmp    167d <da_renorm10+0x56d>
mov    0x10(%rsp),%rbx
mov    $0x4,%ebp
jmp    167d <da_renorm10+0x56d>
mov    $0x5,%ebp
mov    0x98(%rsp),%rbx
jmp    167d <da_renorm10+0x56d>
mov    $0x1,%ebp
mov    0x18(%rsp),%rbx
mov    0xa8(%rsp),%r13
movsd  0x30(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,(%rbx)
movsd  (%r15),%xmm0
xorpd  %xmm1,%xmm1
add    $0xffffffff,%ebp
ucomisd %xmm1,%xmm0
jne    16da <da_renorm10+0x5ca>
jp     16da <da_renorm10+0x5ca>
cmp    $0x3,%ebp
movsd  0x38(%rsp),%xmm1
ja     1703 <da_renorm10+0x5f3>
lea    0x960(%rip),%rax
movslq (%rax,%rbp,4),%rcx
add    %rax,%rcx
jmp    *%rcx
mov    0x18(%rsp),%rbp
movsd  0x0(%rbp),%xmm0
movsd  %xmm0,(%r15)
mov    $0x1,%ebx
jmp    1793 <da_renorm10+0x683>
cmp    $0x3,%ebp
movsd  0x38(%rsp),%xmm1
ja     176b <da_renorm10+0x65b>
mov    $0x2,%ebx
lea    0x913(%rip),%rax
movslq (%rax,%rbp,4),%rcx
add    %rax,%rcx
mov    0x8(%rsp),%rbp
jmp    *%rcx
mov    0x98(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    $0x5,%ebx
mov    0x98(%rsp),%rbp
jmp    1793 <da_renorm10+0x683>
mov    0x8(%rsp),%rbp
movsd  0x0(%rbp),%xmm0
movsd  %xmm0,(%r15)
mov    $0x2,%ebx
jmp    1793 <da_renorm10+0x683>
mov    (%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    $0x3,%ebx
mov    (%rsp),%rbp
jmp    1793 <da_renorm10+0x683>
mov    0x10(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    $0x4,%ebx
mov    0x10(%rsp),%rbp
jmp    1793 <da_renorm10+0x683>
mov    $0x6,%ebx
mov    %r14,%rbp
jmp    1793 <da_renorm10+0x683>
mov    $0x3,%ebx
mov    (%rsp),%rbp
jmp    14bb <da_renorm10+0x3ab>
mov    $0x1,%ebx
mov    0x18(%rsp),%rbp
movsd  0x38(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x0(%rbp)
movsd  (%r15),%xmm0
xorpd  %xmm1,%xmm1
add    $0xffffffff,%ebx
ucomisd %xmm1,%xmm0
jne    17ea <da_renorm10+0x6da>
jp     17ea <da_renorm10+0x6da>
cmp    $0x4,%ebx
ja     1816 <da_renorm10+0x706>
lea    0x873(%rip),%rax
movslq (%rax,%rbx,4),%rcx
add    %rax,%rcx
jmp    *%rcx
mov    0x18(%rsp),%rbx
movsd  (%rbx),%xmm0
movsd  %xmm0,(%r15)
mov    $0x1,%ebp
jmp    18cf <da_renorm10+0x7bf>
cmp    $0x4,%ebx
ja     18bb <da_renorm10+0x7ab>
mov    $0x2,%ebp
lea    0x829(%rip),%rax
movslq (%rax,%rbx,4),%rcx
add    %rax,%rcx
mov    0x8(%rsp),%rbx
movsd  0x80(%rsp),%xmm1
jmp    *%rcx
movsd  (%r14),%xmm0
movsd  %xmm0,(%r15)
movsd  0x80(%rsp),%xmm1
mov    $0x6,%ebp
mov    %r14,%rbx
jmp    18d8 <da_renorm10+0x7c8>
mov    0x8(%rsp),%rbx
movsd  (%rbx),%xmm0
movsd  %xmm0,(%r15)
mov    $0x2,%ebp
jmp    18cf <da_renorm10+0x7bf>
mov    (%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
movsd  0x80(%rsp),%xmm1
mov    $0x3,%ebp
mov    (%rsp),%rbx
jmp    18d8 <da_renorm10+0x7c8>
mov    0x10(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
movsd  0x80(%rsp),%xmm1
mov    $0x4,%ebp
mov    0x10(%rsp),%rbx
jmp    18d8 <da_renorm10+0x7c8>
mov    0x98(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
movsd  0x80(%rsp),%xmm1
mov    $0x5,%ebp
mov    0x98(%rsp),%rbx
jmp    18d8 <da_renorm10+0x7c8>
mov    $0x7,%ebp
mov    %r13,%rbx
jmp    18cf <da_renorm10+0x7bf>
mov    $0x1,%ebp
mov    0x18(%rsp),%rbx
movsd  0x80(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,(%rbx)
movsd  (%r15),%xmm0
xorpd  %xmm1,%xmm1
add    $0xffffffff,%ebp
ucomisd %xmm1,%xmm0
jne    193b <da_renorm10+0x82b>
jp     193b <da_renorm10+0x82b>
cmp    $0x5,%ebp
movsd  0x88(%rsp),%xmm1
ja     196b <da_renorm10+0x85b>
mov    %r13,%r12
lea    0x74f(%rip),%rax
movslq (%rax,%rbp,4),%rcx
add    %rax,%rcx
jmp    *%rcx
mov    0x18(%rsp),%rbx
movsd  (%rbx),%xmm0
movsd  %xmm0,(%r15)
mov    $0x1,%r13d
jmp    1a2f <da_renorm10+0x91f>
cmp    $0x5,%ebp
movsd  0x88(%rsp),%xmm1
ja     1a0a <da_renorm10+0x8fa>
mov    %r13,%r12
mov    $0x2,%r13d
lea    0x6f3(%rip),%rax
movslq (%rax,%rbp,4),%rcx
add    %rax,%rcx
mov    0x8(%rsp),%rbx
jmp    *%rcx
mov    %r13,%r12
movsd  0x0(%r13),%xmm0
movsd  %xmm0,(%r15)
mov    $0x7,%r13d
mov    %r12,%rbx
jmp    1a2f <da_renorm10+0x91f>
mov    0x8(%rsp),%rbx
movsd  (%rbx),%xmm0
movsd  %xmm0,(%r15)
mov    $0x2,%r13d
jmp    1a2f <da_renorm10+0x91f>
mov    (%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    $0x3,%r13d
mov    (%rsp),%rbx
jmp    1a2f <da_renorm10+0x91f>
mov    0x10(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    $0x4,%r13d
mov    0x10(%rsp),%rbx
jmp    1a2f <da_renorm10+0x91f>
mov    0x98(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    $0x5,%r13d
mov    0x98(%rsp),%rbx
jmp    1a2f <da_renorm10+0x91f>
movsd  (%r14),%xmm0
movsd  %xmm0,(%r15)
mov    $0x6,%r13d
mov    %r14,%rbx
jmp    1a2f <da_renorm10+0x91f>
mov    %r12,%rbx
mov    %r13,%r12
mov    $0x8,%r13d
jmp    1a2f <da_renorm10+0x91f>
mov    %r13,%r12
mov    $0x1,%r13d
mov    0x18(%rsp),%rbx
movsd  0x88(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,(%rbx)
movsd  (%r15),%xmm0
xorpd  %xmm1,%xmm1
add    $0xffffffff,%r13d
ucomisd %xmm1,%xmm0
jne    1a84 <da_renorm10+0x974>
jp     1a84 <da_renorm10+0x974>
cmp    $0x6,%r13d
ja     1abc <da_renorm10+0x9ac>
lea    0x636(%rip),%rax
movslq (%rax,%r13,4),%rcx
add    %rax,%rcx
jmp    *%rcx
mov    0x18(%rsp),%rbx
movsd  (%rbx),%xmm0
movsd  %xmm0,(%r15)
mov    $0x1,%ebp
jmp    1afc <da_renorm10+0x9ec>
cmp    $0x6,%r13d
ja     1ee8 <da_renorm10+0xdd8>
mov    $0x2,%ebp
lea    0x5e6(%rip),%rax
movslq (%rax,%r13,4),%rcx
add    %rax,%rcx
mov    0x8(%rsp),%rbx
mov    %r12,%r13
mov    0xb0(%rsp),%r12
movsd  0x90(%rsp),%xmm1
jmp    *%rcx
mov    0xb0(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    %r12,%r13
mov    %rax,%r12
movsd  0x90(%rsp),%xmm1
mov    $0x8,%ebp
mov    %r12,%rbx
jmp    1bf8 <da_renorm10+0xae8>
mov    0x8(%rsp),%rbx
movsd  (%rbx),%xmm0
movsd  %xmm0,(%r15)
mov    $0x2,%ebp
mov    %r12,%r13
mov    0xb0(%rsp),%r12
movsd  0x90(%rsp),%xmm1
jmp    1bf8 <da_renorm10+0xae8>
mov    (%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    %r12,%r13
mov    0xb0(%rsp),%r12
movsd  0x90(%rsp),%xmm1
mov    $0x3,%ebp
mov    (%rsp),%rbx
jmp    1bf8 <da_renorm10+0xae8>
mov    0x10(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    %r12,%r13
mov    0xb0(%rsp),%r12
movsd  0x90(%rsp),%xmm1
mov    $0x4,%ebp
mov    0x10(%rsp),%rbx
jmp    1bf8 <da_renorm10+0xae8>
mov    0x98(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    %r12,%r13
mov    0xb0(%rsp),%r12
movsd  0x90(%rsp),%xmm1
mov    $0x5,%ebp
mov    0x98(%rsp),%rbx
jmp    1bf8 <da_renorm10+0xae8>
movsd  (%r14),%xmm0
movsd  %xmm0,(%r15)
mov    %r12,%r13
mov    0xb0(%rsp),%r12
movsd  0x90(%rsp),%xmm1
mov    $0x6,%ebp
mov    %r14,%rbx
jmp    1bf8 <da_renorm10+0xae8>
mov    %r12,%r13
movsd  (%r12),%xmm0
movsd  %xmm0,(%r15)
mov    0xb0(%rsp),%r12
movsd  0x90(%rsp),%xmm1
mov    $0x7,%ebp
mov    %r13,%rbx
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,(%rbx)
movsd  (%r15),%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1c4f <da_renorm10+0xb3f>
jp     1c4f <da_renorm10+0xb3f>
add    $0xffffffff,%ebp
cmp    $0x7,%ebp
ja     1e2f <da_renorm10+0xd1f>
lea    0x487(%rip),%rax
movslq (%rax,%rbp,4),%rcx
add    %rax,%rcx
jmp    *%rcx
mov    0x18(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    $0x1,%ebp
jmp    1c52 <da_renorm10+0xb42>
add    $0x1,%ebp
mov    0xb8(%rsp),%rbx
mov    (%rsp),%rdx
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1c6a <da_renorm10+0xb5a>
jnp    1ca3 <da_renorm10+0xb93>
add    $0xffffffff,%ebp
cmp    $0x7,%ebp
ja     1db1 <da_renorm10+0xca1>
lea    0x45b(%rip),%rax
movslq (%rax,%rbp,4),%rcx
add    %rax,%rcx
jmp    *%rcx
mov    0x18(%rsp),%rax
movsd  %xmm0,(%rax)
mov    0x98(%rsp),%rax
mov    0x10(%rsp),%rcx
mov    0x8(%rsp),%rsi
jmp    1cfb <da_renorm10+0xbeb>
cmp    $0x1,%ebp
jne    1ce0 <da_renorm10+0xbd0>
mov    0x98(%rsp),%rax
mov    0x10(%rsp),%rcx
mov    0x8(%rsp),%rsi
mov    0x18(%rsp),%rbp
movq   $0x0,(%rbx)
mov    %r12,%rbx
mov    %r13,%r12
mov    %r14,%r13
mov    %rax,%r14
mov    %rcx,%rax
mov    %rdx,%rcx
mov    %rsi,%rdx
mov    %rbp,%rsi
jmp    1cfb <da_renorm10+0xbeb>
cmp    $0x3,%ebp
mov    0x98(%rsp),%rax
mov    0x10(%rsp),%rcx
mov    0x8(%rsp),%rsi
jae    1d96 <da_renorm10+0xc86>
movq   $0x0,(%rbx)
mov    %r12,%rbx
mov    %r13,%r12
mov    %r14,%r13
mov    %rax,%r14
mov    %rcx,%rax
mov    %rdx,%rcx
mov    %rsi,%rdx
movq   $0x0,(%rbx)
mov    %r12,%rbx
mov    %r13,%r12
mov    %r14,%r13
mov    %rax,%r14
mov    %rcx,%rax
mov    %rdx,%rcx
movq   $0x0,(%rbx)
mov    %r12,%rbx
mov    %r13,%r12
mov    %r14,%r13
mov    %rax,%r14
mov    %rcx,%rax
movq   $0x0,(%rbx)
mov    %r12,%rbx
mov    %r13,%r12
mov    %r14,%r13
mov    %rax,%r14
movq   $0x0,(%rbx)
mov    %r12,%rbx
mov    %r13,%r12
mov    %r14,%r13
movq   $0x0,(%rbx)
mov    %r12,%rbx
mov    %r13,%r12
movq   $0x0,(%rbx)
mov    %r12,%rbx
movq   $0x0,(%rbx)
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
je     1d17 <da_renorm10+0xc07>
cmp    $0x5,%ebp
jb     1d30 <da_renorm10+0xc20>
je     1d46 <da_renorm10+0xc36>
cmp    $0x7,%ebp
jb     1d59 <da_renorm10+0xc49>
je     1d69 <da_renorm10+0xc59>
cmp    $0x9,%ebp
jb     1d76 <da_renorm10+0xc66>
jmp    1d80 <da_renorm10+0xc70>
movsd  %xmm0,(%rbx)
jmp    1d87 <da_renorm10+0xc77>
mov    0x8(%rsp),%rax
movsd  %xmm0,(%rax)
mov    0x98(%rsp),%rax
mov    0x10(%rsp),%rcx
jmp    1d17 <da_renorm10+0xc07>
movsd  %xmm0,(%rdx)
mov    0x98(%rsp),%rax
mov    0x10(%rsp),%rcx
jmp    1d30 <da_renorm10+0xc20>
mov    0x10(%rsp),%rax
movsd  %xmm0,(%rax)
mov    0x98(%rsp),%rax
jmp    1d46 <da_renorm10+0xc36>
mov    0x98(%rsp),%rax
movsd  %xmm0,(%rax)
jmp    1d59 <da_renorm10+0xc49>
movsd  %xmm0,(%r14)
jmp    1d69 <da_renorm10+0xc59>
movsd  %xmm0,0x0(%r13)
jmp    1d76 <da_renorm10+0xc66>
movsd  %xmm0,(%r12)
jmp    1d80 <da_renorm10+0xc70>
mov    0xb8(%rsp),%rbx
movsd  (%rbx),%xmm0
jmp    1f32 <da_renorm10+0xe22>
mov    0x8(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    $0x2,%ebp
jmp    1c52 <da_renorm10+0xb42>
mov    (%rsp),%rdx
movsd  (%rdx),%xmm0
movsd  %xmm0,(%r15)
mov    $0x3,%ebp
mov    0xb8(%rsp),%rbx
jmp    1c5e <da_renorm10+0xb4e>
mov    0x10(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    $0x4,%ebp
jmp    1c52 <da_renorm10+0xb42>
mov    0x98(%rsp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%r15)
mov    $0x5,%ebp
jmp    1c52 <da_renorm10+0xb42>
movsd  (%r14),%xmm0
movsd  %xmm0,(%r15)
mov    $0x6,%ebp
jmp    1c52 <da_renorm10+0xb42>
movsd  0x0(%r13),%xmm0
movsd  %xmm0,(%r15)
mov    $0x7,%ebp
jmp    1c52 <da_renorm10+0xb42>
movsd  (%r12),%xmm0
movsd  %xmm0,(%r15)
mov    $0x8,%ebp
jmp    1c52 <da_renorm10+0xb42>
movsd  0x90(%rsp),%xmm1
mov    %r15,%rdi
mov    $0x2,%al
call   1030 <dd_quick_two_sum@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mov    0xb8(%rsp),%rbx
movsd  %xmm0,(%rbx)
movsd  (%r15),%xmm1
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm1
mov    %r12,%r13
mov    0xb0(%rsp),%r12
jne    1d87 <da_renorm10+0xc77>
jp     1d87 <da_renorm10+0xc77>
movsd  %xmm0,(%r15)
mov    $0x9,%ebp
jmp    1c5a <da_renorm10+0xb4a>
mov    $0x1,%ebp
mov    0x18(%rsp),%rbx
movsd  0x90(%rsp),%xmm1
jmp    1bf8 <da_renorm10+0xae8>
mov    $0x1,%ebp
jmp    1c5a <da_renorm10+0xb4a>
movq   $0x0,(%rbx)
mov    %r12,%rbx
mov    %r13,%r12
mov    %r14,%r13
mov    0x98(%rsp),%r14
mov    0x10(%rsp),%rax
mov    %rdx,%rcx
mov    0x8(%rsp),%rdx
mov    0x18(%rsp),%rsi
jmp    1cbf <da_renorm10+0xbaf>

LLVM IR (-O0):
define void @da_renorm10(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9, double %10, double* %11, double* %12, double* %13, double* %14, double* %15, double* %16, double* %17, double* %18, double* %19, double* %20, double* %21) {
%23 = alloca double
%24 = alloca double
%25 = alloca double
%26 = alloca double
%27 = alloca double
%28 = alloca double
%29 = alloca double
%30 = alloca double
%31 = alloca double
%32 = alloca double
%33 = alloca double
%34 = alloca double*
%35 = alloca double*
%36 = alloca double*
%37 = alloca double*
%38 = alloca double*
%39 = alloca double*
%40 = alloca double*
%41 = alloca double*
%42 = alloca double*
%43 = alloca double*
%44 = alloca double*
%45 = alloca i32
store double %0, double* %23
store double %1, double* %24
store double %2, double* %25
store double %3, double* %26
store double %4, double* %27
store double %5, double* %28
store double %6, double* %29
store double %7, double* %30
store double %8, double* %31
store double %9, double* %32
store double %10, double* %33
store double* %11, double** %34
store double* %12, double** %35
store double* %13, double** %36
store double* %14, double** %37
store double* %15, double** %38
store double* %16, double** %39
store double* %17, double** %40
store double* %18, double** %41
store double* %19, double** %42
store double* %20, double** %43
store double* %21, double** %44
%46 = load double, double* %24
%47 = fcmp oeq double %46, 0.000000e+00
br i1 %47, label %48, label %58
48: ; preds = %22
%49 = load double, double* %23
%50 = load double*, double** %34
store double %49, double* %50
store i32 0, i32* %45
%51 = load double*, double** %34
%52 = load double, double* %51
%53 = load double, double* %25
%54 = load double*, double** %34
%55 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %52, double %53, double* %54)
%56 = sitofp i32 %55 to double
%57 = load double*, double** %35
store double %56, double* %57
br label %70
58: ; preds = %22
%59 = load double, double* %23
%60 = load double*, double** %35
store double %59, double* %60
%61 = load double, double* %24
%62 = load double*, double** %34
store double %61, double* %62
store i32 1, i32* %45
%63 = load double*, double** %34
%64 = load double, double* %63
%65 = load double, double* %25
%66 = load double*, double** %34
%67 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %64, double %65, double* %66)
%68 = sitofp i32 %67 to double
%69 = load double*, double** %36
store double %68, double* %69
br label %70
70: ; preds = %58, %48
%71 = load double*, double** %34
%72 = load double, double* %71
%73 = fcmp oeq double %72, 0.000000e+00
br i1 %73, label %74, label %86
74: ; preds = %70
%75 = load i32, i32* %45
%76 = icmp eq i32 %75, 0
br i1 %76, label %77, label %81
77: ; preds = %74
%78 = load double*, double** %35
%79 = load double, double* %78
%80 = load double*, double** %34
store double %79, double* %80
br label %85
81: ; preds = %74
%82 = load double*, double** %36
%83 = load double, double* %82
%84 = load double*, double** %34
store double %83, double* %84
br label %85
85: ; preds = %81, %77
br label %89
86: ; preds = %70
%87 = load i32, i32* %45
%88 = add nsw i32 %87, 1
store i32 %88, i32* %45
br label %89
89: ; preds = %86, %85
%90 = load i32, i32* %45
%91 = icmp eq i32 %90, 0
br i1 %91, label %92, label %100
92: ; preds = %89
%93 = load double*, double** %34
%94 = load double, double* %93
%95 = load double, double* %26
%96 = load double*, double** %34
%97 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %94, double %95, double* %96)
%98 = sitofp i32 %97 to double
%99 = load double*, double** %35
store double %98, double* %99
br label %124
100: ; preds = %89
%101 = load i32, i32* %45
%102 = icmp eq i32 %101, 1
br i1 %102, label %103, label %111
103: ; preds = %100
%104 = load double*, double** %34
%105 = load double, double* %104
%106 = load double, double* %26
%107 = load double*, double** %34
%108 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %105, double %106, double* %107)
%109 = sitofp i32 %108 to double
%110 = load double*, double** %36
store double %109, double* %110
br label %123
111: ; preds = %100
%112 = load i32, i32* %45
%113 = icmp eq i32 %112, 2
br i1 %113, label %114, label %122
114: ; preds = %111
%115 = load double*, double** %34
%116 = load double, double* %115
%117 = load double, double* %26
%118 = load double*, double** %34
%119 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %116, double %117, double* %118)
%120 = sitofp i32 %119 to double
%121 = load double*, double** %37
store double %120, double* %121
br label %122
122: ; preds = %114, %111
br label %123
123: ; preds = %122, %103
br label %124
124: ; preds = %123, %92
%125 = load double*, double** %34
%126 = load double, double* %125
%127 = fcmp oeq double %126, 0.000000e+00
br i1 %127, label %128, label %152
128: ; preds = %124
%129 = load i32, i32* %45
%130 = icmp eq i32 %129, 0
br i1 %130, label %131, label %135
131: ; preds = %128
%132 = load double*, double** %35
%133 = load double, double* %132
%134 = load double*, double** %34
store double %133, double* %134
br label %151
135: ; preds = %128
%136 = load i32, i32* %45
%137 = icmp eq i32 %136, 1
br i1 %137, label %138, label %142
138: ; preds = %135
%139 = load double*, double** %36
%140 = load double, double* %139
%141 = load double*, double** %34
store double %140, double* %141
br label %150
142: ; preds = %135
%143 = load i32, i32* %45
%144 = icmp eq i32 %143, 2
br i1 %144, label %145, label %149
145: ; preds = %142
%146 = load double*, double** %37
%147 = load double, double* %146
%148 = load double*, double** %34
store double %147, double* %148
br label %149
149: ; preds = %145, %142
br label %150
150: ; preds = %149, %138
br label %151
151: ; preds = %150, %131
br label %155
152: ; preds = %124
%153 = load i32, i32* %45
%154 = add nsw i32 %153, 1
store i32 %154, i32* %45
br label %155
155: ; preds = %152, %151
%156 = load i32, i32* %45
%157 = icmp eq i32 %156, 0
br i1 %157, label %158, label %166
158: ; preds = %155
%159 = load double*, double** %34
%160 = load double, double* %159
%161 = load double, double* %27
%162 = load double*, double** %34
%163 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %160, double %161, double* %162)
%164 = sitofp i32 %163 to double
%165 = load double*, double** %35
store double %164, double* %165
br label %202
166: ; preds = %155
%167 = load i32, i32* %45
%168 = icmp eq i32 %167, 1
br i1 %168, label %169, label %177
169: ; preds = %166
%170 = load double*, double** %34
%171 = load double, double* %170
%172 = load double, double* %27
%173 = load double*, double** %34
%174 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %171, double %172, double* %173)
%175 = sitofp i32 %174 to double
%176 = load double*, double** %36
store double %175, double* %176
br label %201
177: ; preds = %166
%178 = load i32, i32* %45
%179 = icmp eq i32 %178, 2
br i1 %179, label %180, label %188
180: ; preds = %177
%181 = load double*, double** %34
%182 = load double, double* %181
%183 = load double, double* %27
%184 = load double*, double** %34
%185 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %182, double %183, double* %184)
%186 = sitofp i32 %185 to double
%187 = load double*, double** %37
store double %186, double* %187
br label %200
188: ; preds = %177
%189 = load i32, i32* %45
%190 = icmp eq i32 %189, 3
br i1 %190, label %191, label %199
191: ; preds = %188
%192 = load double*, double** %34
%193 = load double, double* %192
%194 = load double, double* %27
%195 = load double*, double** %34
%196 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %193, double %194, double* %195)
%197 = sitofp i32 %196 to double
%198 = load double*, double** %38
store double %197, double* %198
br label %199
199: ; preds = %191, %188
br label %200
200: ; preds = %199, %180
br label %201
201: ; preds = %200, %169
br label %202
202: ; preds = %201, %158
%203 = load double*, double** %34
%204 = load double, double* %203
%205 = fcmp oeq double %204, 0.000000e+00
br i1 %205, label %206, label %238
206: ; preds = %202
%207 = load i32, i32* %45
%208 = icmp eq i32 %207, 0
br i1 %208, label %209, label %213
209: ; preds = %206
%210 = load double*, double** %35
%211 = load double, double* %210
%212 = load double*, double** %34
store double %211, double* %212
br label %237
213: ; preds = %206
%214 = load i32, i32* %45
%215 = icmp eq i32 %214, 1
br i1 %215, label %216, label %220
216: ; preds = %213
%217 = load double*, double** %36
%218 = load double, double* %217
%219 = load double*, double** %34
store double %218, double* %219
br label %236
220: ; preds = %213
%221 = load i32, i32* %45
%222 = icmp eq i32 %221, 2
br i1 %222, label %223, label %227
223: ; preds = %220
%224 = load double*, double** %37
%225 = load double, double* %224
%226 = load double*, double** %34
store double %225, double* %226
br label %235
227: ; preds = %220
%228 = load i32, i32* %45
%229 = icmp eq i32 %228, 3
br i1 %229, label %230, label %234
230: ; preds = %227
%231 = load double*, double** %38
%232 = load double, double* %231
%233 = load double*, double** %34
store double %232, double* %233
br label %234
234: ; preds = %230, %227
br label %235
235: ; preds = %234, %223
br label %236
236: ; preds = %235, %216
br label %237
237: ; preds = %236, %209
br label %241
238: ; preds = %202
%239 = load i32, i32* %45
%240 = add nsw i32 %239, 1
store i32 %240, i32* %45
br label %241
241: ; preds = %238, %237
%242 = load i32, i32* %45
%243 = icmp eq i32 %242, 0
br i1 %243, label %244, label %252
244: ; preds = %241
%245 = load double*, double** %34
%246 = load double, double* %245
%247 = load double, double* %28
%248 = load double*, double** %34
%249 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %246, double %247, double* %248)
%250 = sitofp i32 %249 to double
%251 = load double*, double** %35
store double %250, double* %251
br label %300
252: ; preds = %241
%253 = load i32, i32* %45
%254 = icmp eq i32 %253, 1
br i1 %254, label %255, label %263
255: ; preds = %252
%256 = load double*, double** %34
%257 = load double, double* %256
%258 = load double, double* %28
%259 = load double*, double** %34
%260 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %257, double %258, double* %259)
%261 = sitofp i32 %260 to double
%262 = load double*, double** %36
store double %261, double* %262
br label %299
263: ; preds = %252
%264 = load i32, i32* %45
%265 = icmp eq i32 %264, 2
br i1 %265, label %266, label %274
266: ; preds = %263
%267 = load double*, double** %34
%268 = load double, double* %267
%269 = load double, double* %28
%270 = load double*, double** %34
%271 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %268, double %269, double* %270)
%272 = sitofp i32 %271 to double
%273 = load double*, double** %37
store double %272, double* %273
br label %298
274: ; preds = %263
%275 = load i32, i32* %45
%276 = icmp eq i32 %275, 3
br i1 %276, label %277, label %285
277: ; preds = %274
%278 = load double*, double** %34
%279 = load double, double* %278
%280 = load double, double* %28
%281 = load double*, double** %34
%282 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %279, double %280, double* %281)
%283 = sitofp i32 %282 to double
%284 = load double*, double** %38
store double %283, double* %284
br label %297
285: ; preds = %274
%286 = load i32, i32* %45
%287 = icmp eq i32 %286, 4
br i1 %287, label %288, label %296
288: ; preds = %285
%289 = load double*, double** %34
%290 = load double, double* %289
%291 = load double, double* %28
%292 = load double*, double** %34
%293 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %290, double %291, double* %292)
%294 = sitofp i32 %293 to double
%295 = load double*, double** %39
store double %294, double* %295
br label %296
296: ; preds = %288, %285
br label %297
297: ; preds = %296, %277
br label %298
298: ; preds = %297, %266
br label %299
299: ; preds = %298, %255
br label %300
300: ; preds = %299, %244
%301 = load double*, double** %34
%302 = load double, double* %301
%303 = fcmp oeq double %302, 0.000000e+00
br i1 %303, label %304, label %344
304: ; preds = %300
%305 = load i32, i32* %45
%306 = icmp eq i32 %305, 0
br i1 %306, label %307, label %311
307: ; preds = %304
%308 = load double*, double** %35
%309 = load double, double* %308
%310 = load double*, double** %34
store double %309, double* %310
br label %343
311: ; preds = %304
%312 = load i32, i32* %45
%313 = icmp eq i32 %312, 1
br i1 %313, label %314, label %318
314: ; preds = %311
%315 = load double*, double** %36
%316 = load double, double* %315
%317 = load double*, double** %34
store double %316, double* %317
br label %342
318: ; preds = %311
%319 = load i32, i32* %45
%320 = icmp eq i32 %319, 2
br i1 %320, label %321, label %325
321: ; preds = %318
%322 = load double*, double** %37
%323 = load double, double* %322
%324 = load double*, double** %34
store double %323, double* %324
br label %341
325: ; preds = %318
%326 = load i32, i32* %45
%327 = icmp eq i32 %326, 3
br i1 %327, label %328, label %332
328: ; preds = %325
%329 = load double*, double** %38
%330 = load double, double* %329
%331 = load double*, double** %34
store double %330, double* %331
br label %340
332: ; preds = %325
%333 = load i32, i32* %45
%334 = icmp eq i32 %333, 4
br i1 %334, label %335, label %339
335: ; preds = %332
%336 = load double*, double** %39
%337 = load double, double* %336
%338 = load double*, double** %34
store double %337, double* %338
br label %339
339: ; preds = %335, %332
br label %340
340: ; preds = %339, %328
br label %341
341: ; preds = %340, %321
br label %342
342: ; preds = %341, %314
br label %343
343: ; preds = %342, %307
br label %347
344: ; preds = %300
%345 = load i32, i32* %45
%346 = add nsw i32 %345, 1
store i32 %346, i32* %45
br label %347
347: ; preds = %344, %343
%348 = load i32, i32* %45
%349 = icmp eq i32 %348, 0
br i1 %349, label %350, label %358
350: ; preds = %347
%351 = load double*, double** %34
%352 = load double, double* %351
%353 = load double, double* %29
%354 = load double*, double** %34
%355 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %352, double %353, double* %354)
%356 = sitofp i32 %355 to double
%357 = load double*, double** %35
store double %356, double* %357
br label %418
358: ; preds = %347
%359 = load i32, i32* %45
%360 = icmp eq i32 %359, 1
br i1 %360, label %361, label %369
361: ; preds = %358
%362 = load double*, double** %34
%363 = load double, double* %362
%364 = load double, double* %29
%365 = load double*, double** %34
%366 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %363, double %364, double* %365)
%367 = sitofp i32 %366 to double
%368 = load double*, double** %36
store double %367, double* %368
br label %417
369: ; preds = %358
%370 = load i32, i32* %45
%371 = icmp eq i32 %370, 2
br i1 %371, label %372, label %380
372: ; preds = %369
%373 = load double*, double** %34
%374 = load double, double* %373
%375 = load double, double* %29
%376 = load double*, double** %34
%377 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %374, double %375, double* %376)
%378 = sitofp i32 %377 to double
%379 = load double*, double** %37
store double %378, double* %379
br label %416
380: ; preds = %369
%381 = load i32, i32* %45
%382 = icmp eq i32 %381, 3
br i1 %382, label %383, label %391
383: ; preds = %380
%384 = load double*, double** %34
%385 = load double, double* %384
%386 = load double, double* %29
%387 = load double*, double** %34
%388 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %385, double %386, double* %387)
%389 = sitofp i32 %388 to double
%390 = load double*, double** %38
store double %389, double* %390
br label %415
391: ; preds = %380
%392 = load i32, i32* %45
%393 = icmp eq i32 %392, 4
br i1 %393, label %394, label %402
394: ; preds = %391
%395 = load double*, double** %34
%396 = load double, double* %395
%397 = load double, double* %29
%398 = load double*, double** %34
%399 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %396, double %397, double* %398)
%400 = sitofp i32 %399 to double
%401 = load double*, double** %39
store double %400, double* %401
br label %414
402: ; preds = %391
%403 = load i32, i32* %45
%404 = icmp eq i32 %403, 5
br i1 %404, label %405, label %413
405: ; preds = %402
%406 = load double*, double** %34
%407 = load double, double* %406
%408 = load double, double* %29
%409 = load double*, double** %34
%410 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %407, double %408, double* %409)
%411 = sitofp i32 %410 to double
%412 = load double*, double** %40
store double %411, double* %412
br label %413
413: ; preds = %405, %402
br label %414
414: ; preds = %413, %394
br label %415
415: ; preds = %414, %383
br label %416
416: ; preds = %415, %372
br label %417
417: ; preds = %416, %361
br label %418
418: ; preds = %417, %350
%419 = load double*, double** %34
%420 = load double, double* %419
%421 = fcmp oeq double %420, 0.000000e+00
br i1 %421, label %422, label %470
422: ; preds = %418
%423 = load i32, i32* %45
%424 = icmp eq i32 %423, 0
br i1 %424, label %425, label %429
425: ; preds = %422
%426 = load double*, double** %35
%427 = load double, double* %426
%428 = load double*, double** %34
store double %427, double* %428
br label %469
429: ; preds = %422
%430 = load i32, i32* %45
%431 = icmp eq i32 %430, 1
br i1 %431, label %432, label %436
432: ; preds = %429
%433 = load double*, double** %36
%434 = load double, double* %433
%435 = load double*, double** %34
store double %434, double* %435
br label %468
436: ; preds = %429
%437 = load i32, i32* %45
%438 = icmp eq i32 %437, 2
br i1 %438, label %439, label %443
439: ; preds = %436
%440 = load double*, double** %37
%441 = load double, double* %440
%442 = load double*, double** %34
store double %441, double* %442
br label %467
443: ; preds = %436
%444 = load i32, i32* %45
%445 = icmp eq i32 %444, 3
br i1 %445, label %446, label %450
446: ; preds = %443
%447 = load double*, double** %38
%448 = load double, double* %447
%449 = load double*, double** %34
store double %448, double* %449
br label %466
450: ; preds = %443
%451 = load i32, i32* %45
%452 = icmp eq i32 %451, 4
br i1 %452, label %453, label %457
453: ; preds = %450
%454 = load double*, double** %39
%455 = load double, double* %454
%456 = load double*, double** %34
store double %455, double* %456
br label %465
457: ; preds = %450
%458 = load i32, i32* %45
%459 = icmp eq i32 %458, 5
br i1 %459, label %460, label %464
460: ; preds = %457
%461 = load double*, double** %40
%462 = load double, double* %461
%463 = load double*, double** %34
store double %462, double* %463
br label %464
464: ; preds = %460, %457
br label %465
465: ; preds = %464, %453
br label %466
466: ; preds = %465, %446
br label %467
467: ; preds = %466, %439
br label %468
468: ; preds = %467, %432
br label %469
469: ; preds = %468, %425
br label %473
470: ; preds = %418
%471 = load i32, i32* %45
%472 = add nsw i32 %471, 1
store i32 %472, i32* %45
br label %473
473: ; preds = %470, %469
%474 = load i32, i32* %45
%475 = icmp eq i32 %474, 0
br i1 %475, label %476, label %484
476: ; preds = %473
%477 = load double*, double** %34
%478 = load double, double* %477
%479 = load double, double* %30
%480 = load double*, double** %34
%481 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %478, double %479, double* %480)
%482 = sitofp i32 %481 to double
%483 = load double*, double** %35
store double %482, double* %483
br label %556
484: ; preds = %473
%485 = load i32, i32* %45
%486 = icmp eq i32 %485, 1
br i1 %486, label %487, label %495
487: ; preds = %484
%488 = load double*, double** %34
%489 = load double, double* %488
%490 = load double, double* %30
%491 = load double*, double** %34
%492 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %489, double %490, double* %491)
%493 = sitofp i32 %492 to double
%494 = load double*, double** %36
store double %493, double* %494
br label %555
495: ; preds = %484
%496 = load i32, i32* %45
%497 = icmp eq i32 %496, 2
br i1 %497, label %498, label %506
498: ; preds = %495
%499 = load double*, double** %34
%500 = load double, double* %499
%501 = load double, double* %30
%502 = load double*, double** %34
%503 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %500, double %501, double* %502)
%504 = sitofp i32 %503 to double
%505 = load double*, double** %37
store double %504, double* %505
br label %554
506: ; preds = %495
%507 = load i32, i32* %45
%508 = icmp eq i32 %507, 3
br i1 %508, label %509, label %517
509: ; preds = %506
%510 = load double*, double** %34
%511 = load double, double* %510
%512 = load double, double* %30
%513 = load double*, double** %34
%514 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %511, double %512, double* %513)
%515 = sitofp i32 %514 to double
%516 = load double*, double** %38
store double %515, double* %516
br label %553
517: ; preds = %506
%518 = load i32, i32* %45
%519 = icmp eq i32 %518, 4
br i1 %519, label %520, label %528
520: ; preds = %517
%521 = load double*, double** %34
%522 = load double, double* %521
%523 = load double, double* %30
%524 = load double*, double** %34
%525 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %522, double %523, double* %524)
%526 = sitofp i32 %525 to double
%527 = load double*, double** %39
store double %526, double* %527
br label %552
528: ; preds = %517
%529 = load i32, i32* %45
%530 = icmp eq i32 %529, 5
br i1 %530, label %531, label %539
531: ; preds = %528
%532 = load double*, double** %34
%533 = load double, double* %532
%534 = load double, double* %30
%535 = load double*, double** %34
%536 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %533, double %534, double* %535)
%537 = sitofp i32 %536 to double
%538 = load double*, double** %40
store double %537, double* %538
br label %551
539: ; preds = %528
%540 = load i32, i32* %45
%541 = icmp eq i32 %540, 6
br i1 %541, label %542, label %550
542: ; preds = %539
%543 = load double*, double** %34
%544 = load double, double* %543
%545 = load double, double* %30
%546 = load double*, double** %34
%547 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %544, double %545, double* %546)
%548 = sitofp i32 %547 to double
%549 = load double*, double** %41
store double %548, double* %549
br label %550
550: ; preds = %542, %539
br label %551
551: ; preds = %550, %531
br label %552
552: ; preds = %551, %520
br label %553
553: ; preds = %552, %509
br label %554
554: ; preds = %553, %498
br label %555
555: ; preds = %554, %487
br label %556
556: ; preds = %555, %476
%557 = load double*, double** %34
%558 = load double, double* %557
%559 = fcmp oeq double %558, 0.000000e+00
br i1 %559, label %560, label %616
560: ; preds = %556
%561 = load i32, i32* %45
%562 = icmp eq i32 %561, 0
br i1 %562, label %563, label %567
563: ; preds = %560
%564 = load double*, double** %35
%565 = load double, double* %564
%566 = load double*, double** %34
store double %565, double* %566
br label %615
567: ; preds = %560
%568 = load i32, i32* %45
%569 = icmp eq i32 %568, 1
br i1 %569, label %570, label %574
570: ; preds = %567
%571 = load double*, double** %36
%572 = load double, double* %571
%573 = load double*, double** %34
store double %572, double* %573
br label %614
574: ; preds = %567
%575 = load i32, i32* %45
%576 = icmp eq i32 %575, 2
br i1 %576, label %577, label %581
577: ; preds = %574
%578 = load double*, double** %37
%579 = load double, double* %578
%580 = load double*, double** %34
store double %579, double* %580
br label %613
581: ; preds = %574
%582 = load i32, i32* %45
%583 = icmp eq i32 %582, 3
br i1 %583, label %584, label %588
584: ; preds = %581
%585 = load double*, double** %38
%586 = load double, double* %585
%587 = load double*, double** %34
store double %586, double* %587
br label %612
588: ; preds = %581
%589 = load i32, i32* %45
%590 = icmp eq i32 %589, 4
br i1 %590, label %591, label %595
591: ; preds = %588
%592 = load double*, double** %39
%593 = load double, double* %592
%594 = load double*, double** %34
store double %593, double* %594
br label %611
595: ; preds = %588
%596 = load i32, i32* %45
%597 = icmp eq i32 %596, 5
br i1 %597, label %598, label %602
598: ; preds = %595
%599 = load double*, double** %40
%600 = load double, double* %599
%601 = load double*, double** %34
store double %600, double* %601
br label %610
602: ; preds = %595
%603 = load i32, i32* %45
%604 = icmp eq i32 %603, 6
br i1 %604, label %605, label %609
605: ; preds = %602
%606 = load double*, double** %41
%607 = load double, double* %606
%608 = load double*, double** %34
store double %607, double* %608
br label %609
609: ; preds = %605, %602
br label %610
610: ; preds = %609, %598
br label %611
611: ; preds = %610, %591
br label %612
612: ; preds = %611, %584
br label %613
613: ; preds = %612, %577
br label %614
614: ; preds = %613, %570
br label %615
615: ; preds = %614, %563
br label %619
616: ; preds = %556
%617 = load i32, i32* %45
%618 = add nsw i32 %617, 1
store i32 %618, i32* %45
br label %619
619: ; preds = %616, %615
%620 = load i32, i32* %45
%621 = icmp eq i32 %620, 0
br i1 %621, label %622, label %630
622: ; preds = %619
%623 = load double*, double** %34
%624 = load double, double* %623
%625 = load double, double* %31
%626 = load double*, double** %34
%627 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %624, double %625, double* %626)
%628 = sitofp i32 %627 to double
%629 = load double*, double** %35
store double %628, double* %629
br label %714
630: ; preds = %619
%631 = load i32, i32* %45
%632 = icmp eq i32 %631, 1
br i1 %632, label %633, label %641
633: ; preds = %630
%634 = load double*, double** %34
%635 = load double, double* %634
%636 = load double, double* %31
%637 = load double*, double** %34
%638 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %635, double %636, double* %637)
%639 = sitofp i32 %638 to double
%640 = load double*, double** %36
store double %639, double* %640
br label %713
641: ; preds = %630
%642 = load i32, i32* %45
%643 = icmp eq i32 %642, 2
br i1 %643, label %644, label %652
644: ; preds = %641
%645 = load double*, double** %34
%646 = load double, double* %645
%647 = load double, double* %31
%648 = load double*, double** %34
%649 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %646, double %647, double* %648)
%650 = sitofp i32 %649 to double
%651 = load double*, double** %37
store double %650, double* %651
br label %712
652: ; preds = %641
%653 = load i32, i32* %45
%654 = icmp eq i32 %653, 3
br i1 %654, label %655, label %663
655: ; preds = %652
%656 = load double*, double** %34
%657 = load double, double* %656
%658 = load double, double* %31
%659 = load double*, double** %34
%660 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %657, double %658, double* %659)
%661 = sitofp i32 %660 to double
%662 = load double*, double** %38
store double %661, double* %662
br label %711
663: ; preds = %652
%664 = load i32, i32* %45
%665 = icmp eq i32 %664, 4
br i1 %665, label %666, label %674
666: ; preds = %663
%667 = load double*, double** %34
%668 = load double, double* %667
%669 = load double, double* %31
%670 = load double*, double** %34
%671 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %668, double %669, double* %670)
%672 = sitofp i32 %671 to double
%673 = load double*, double** %39
store double %672, double* %673
br label %710
674: ; preds = %663
%675 = load i32, i32* %45
%676 = icmp eq i32 %675, 5
br i1 %676, label %677, label %685
677: ; preds = %674
%678 = load double*, double** %34
%679 = load double, double* %678
%680 = load double, double* %31
%681 = load double*, double** %34
%682 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %679, double %680, double* %681)
%683 = sitofp i32 %682 to double
%684 = load double*, double** %40
store double %683, double* %684
br label %709
685: ; preds = %674
%686 = load i32, i32* %45
%687 = icmp eq i32 %686, 6
br i1 %687, label %688, label %696
688: ; preds = %685
%689 = load double*, double** %34
%690 = load double, double* %689
%691 = load double, double* %31
%692 = load double*, double** %34
%693 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %690, double %691, double* %692)
%694 = sitofp i32 %693 to double
%695 = load double*, double** %41
store double %694, double* %695
br label %708
696: ; preds = %685
%697 = load i32, i32* %45
%698 = icmp eq i32 %697, 7
br i1 %698, label %699, label %707
699: ; preds = %696
%700 = load double*, double** %34
%701 = load double, double* %700
%702 = load double, double* %31
%703 = load double*, double** %34
%704 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %701, double %702, double* %703)
%705 = sitofp i32 %704 to double
%706 = load double*, double** %42
store double %705, double* %706
br label %707
707: ; preds = %699, %696
br label %708
708: ; preds = %707, %688
br label %709
709: ; preds = %708, %677
br label %710
710: ; preds = %709, %666
br label %711
711: ; preds = %710, %655
br label %712
712: ; preds = %711, %644
br label %713
713: ; preds = %712, %633
br label %714
714: ; preds = %713, %622
%715 = load double*, double** %34
%716 = load double, double* %715
%717 = fcmp oeq double %716, 0.000000e+00
br i1 %717, label %718, label %782
718: ; preds = %714
%719 = load i32, i32* %45
%720 = icmp eq i32 %719, 0
br i1 %720, label %721, label %725
721: ; preds = %718
%722 = load double*, double** %35
%723 = load double, double* %722
%724 = load double*, double** %34
store double %723, double* %724
br label %781
725: ; preds = %718
%726 = load i32, i32* %45
%727 = icmp eq i32 %726, 1
br i1 %727, label %728, label %732
728: ; preds = %725
%729 = load double*, double** %36
%730 = load double, double* %729
%731 = load double*, double** %34
store double %730, double* %731
br label %780
732: ; preds = %725
%733 = load i32, i32* %45
%734 = icmp eq i32 %733, 2
br i1 %734, label %735, label %739
735: ; preds = %732
%736 = load double*, double** %37
%737 = load double, double* %736
%738 = load double*, double** %34
store double %737, double* %738
br label %779
739: ; preds = %732
%740 = load i32, i32* %45
%741 = icmp eq i32 %740, 3
br i1 %741, label %742, label %746
742: ; preds = %739
%743 = load double*, double** %38
%744 = load double, double* %743
%745 = load double*, double** %34
store double %744, double* %745
br label %778
746: ; preds = %739
%747 = load i32, i32* %45
%748 = icmp eq i32 %747, 4
br i1 %748, label %749, label %753
749: ; preds = %746
%750 = load double*, double** %39
%751 = load double, double* %750
%752 = load double*, double** %34
store double %751, double* %752
br label %777
753: ; preds = %746
%754 = load i32, i32* %45
%755 = icmp eq i32 %754, 5
br i1 %755, label %756, label %760
756: ; preds = %753
%757 = load double*, double** %40
%758 = load double, double* %757
%759 = load double*, double** %34
store double %758, double* %759
br label %776
760: ; preds = %753
%761 = load i32, i32* %45
%762 = icmp eq i32 %761, 6
br i1 %762, label %763, label %767
763: ; preds = %760
%764 = load double*, double** %41
%765 = load double, double* %764
%766 = load double*, double** %34
store double %765, double* %766
br label %775
767: ; preds = %760
%768 = load i32, i32* %45
%769 = icmp eq i32 %768, 7
br i1 %769, label %770, label %774
770: ; preds = %767
%771 = load double*, double** %42
%772 = load double, double* %771
%773 = load double*, double** %34
store double %772, double* %773
br label %774
774: ; preds = %770, %767
br label %775
775: ; preds = %774, %763
br label %776
776: ; preds = %775, %756
br label %777
777: ; preds = %776, %749
br label %778
778: ; preds = %777, %742
br label %779
779: ; preds = %778, %735
br label %780
780: ; preds = %779, %728
br label %781
781: ; preds = %780, %721
br label %785
782: ; preds = %714
%783 = load i32, i32* %45
%784 = add nsw i32 %783, 1
store i32 %784, i32* %45
br label %785
785: ; preds = %782, %781
%786 = load i32, i32* %45
%787 = icmp eq i32 %786, 0
br i1 %787, label %788, label %796
788: ; preds = %785
%789 = load double*, double** %34
%790 = load double, double* %789
%791 = load double, double* %32
%792 = load double*, double** %34
%793 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %790, double %791, double* %792)
%794 = sitofp i32 %793 to double
%795 = load double*, double** %35
store double %794, double* %795
br label %892
796: ; preds = %785
%797 = load i32, i32* %45
%798 = icmp eq i32 %797, 1
br i1 %798, label %799, label %807
799: ; preds = %796
%800 = load double*, double** %34
%801 = load double, double* %800
%802 = load double, double* %32
%803 = load double*, double** %34
%804 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %801, double %802, double* %803)
%805 = sitofp i32 %804 to double
%806 = load double*, double** %36
store double %805, double* %806
br label %891
807: ; preds = %796
%808 = load i32, i32* %45
%809 = icmp eq i32 %808, 2
br i1 %809, label %810, label %818
810: ; preds = %807
%811 = load double*, double** %34
%812 = load double, double* %811
%813 = load double, double* %32
%814 = load double*, double** %34
%815 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %812, double %813, double* %814)
%816 = sitofp i32 %815 to double
%817 = load double*, double** %37
store double %816, double* %817
br label %890
818: ; preds = %807
%819 = load i32, i32* %45
%820 = icmp eq i32 %819, 3
br i1 %820, label %821, label %829
821: ; preds = %818
%822 = load double*, double** %34
%823 = load double, double* %822
%824 = load double, double* %32
%825 = load double*, double** %34
%826 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %823, double %824, double* %825)
%827 = sitofp i32 %826 to double
%828 = load double*, double** %38
store double %827, double* %828
br label %889
829: ; preds = %818
%830 = load i32, i32* %45
%831 = icmp eq i32 %830, 4
br i1 %831, label %832, label %840
832: ; preds = %829
%833 = load double*, double** %34
%834 = load double, double* %833
%835 = load double, double* %32
%836 = load double*, double** %34
%837 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %834, double %835, double* %836)
%838 = sitofp i32 %837 to double
%839 = load double*, double** %39
store double %838, double* %839
br label %888
840: ; preds = %829
%841 = load i32, i32* %45
%842 = icmp eq i32 %841, 5
br i1 %842, label %843, label %851
843: ; preds = %840
%844 = load double*, double** %34
%845 = load double, double* %844
%846 = load double, double* %32
%847 = load double*, double** %34
%848 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %845, double %846, double* %847)
%849 = sitofp i32 %848 to double
%850 = load double*, double** %40
store double %849, double* %850
br label %887
851: ; preds = %840
%852 = load i32, i32* %45
%853 = icmp eq i32 %852, 6
br i1 %853, label %854, label %862
854: ; preds = %851
%855 = load double*, double** %34
%856 = load double, double* %855
%857 = load double, double* %32
%858 = load double*, double** %34
%859 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %856, double %857, double* %858)
%860 = sitofp i32 %859 to double
%861 = load double*, double** %41
store double %860, double* %861
br label %886
862: ; preds = %851
%863 = load i32, i32* %45
%864 = icmp eq i32 %863, 7
br i1 %864, label %865, label %873
865: ; preds = %862
%866 = load double*, double** %34
%867 = load double, double* %866
%868 = load double, double* %32
%869 = load double*, double** %34
%870 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %867, double %868, double* %869)
%871 = sitofp i32 %870 to double
%872 = load double*, double** %42
store double %871, double* %872
br label %885
873: ; preds = %862
%874 = load i32, i32* %45
%875 = icmp eq i32 %874, 8
br i1 %875, label %876, label %884
876: ; preds = %873
%877 = load double*, double** %34
%878 = load double, double* %877
%879 = load double, double* %32
%880 = load double*, double** %34
%881 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %878, double %879, double* %880)
%882 = sitofp i32 %881 to double
%883 = load double*, double** %43
store double %882, double* %883
br label %884
884: ; preds = %876, %873
br label %885
885: ; preds = %884, %865
br label %886
886: ; preds = %885, %854
br label %887
887: ; preds = %886, %843
br label %888
888: ; preds = %887, %832
br label %889
889: ; preds = %888, %821
br label %890
890: ; preds = %889, %810
br label %891
891: ; preds = %890, %799
br label %892
892: ; preds = %891, %788
%893 = load double*, double** %34
%894 = load double, double* %893
%895 = fcmp oeq double %894, 0.000000e+00
br i1 %895, label %896, label %968
896: ; preds = %892
%897 = load i32, i32* %45
%898 = icmp eq i32 %897, 0
br i1 %898, label %899, label %903
899: ; preds = %896
%900 = load double*, double** %35
%901 = load double, double* %900
%902 = load double*, double** %34
store double %901, double* %902
br label %967
903: ; preds = %896
%904 = load i32, i32* %45
%905 = icmp eq i32 %904, 1
br i1 %905, label %906, label %910
906: ; preds = %903
%907 = load double*, double** %36
%908 = load double, double* %907
%909 = load double*, double** %34
store double %908, double* %909
br label %966
910: ; preds = %903
%911 = load i32, i32* %45
%912 = icmp eq i32 %911, 2
br i1 %912, label %913, label %917
913: ; preds = %910
%914 = load double*, double** %37
%915 = load double, double* %914
%916 = load double*, double** %34
store double %915, double* %916
br label %965
917: ; preds = %910
%918 = load i32, i32* %45
%919 = icmp eq i32 %918, 3
br i1 %919, label %920, label %924
920: ; preds = %917
%921 = load double*, double** %38
%922 = load double, double* %921
%923 = load double*, double** %34
store double %922, double* %923
br label %964
924: ; preds = %917
%925 = load i32, i32* %45
%926 = icmp eq i32 %925, 4
br i1 %926, label %927, label %931
927: ; preds = %924
%928 = load double*, double** %39
%929 = load double, double* %928
%930 = load double*, double** %34
store double %929, double* %930
br label %963
931: ; preds = %924
%932 = load i32, i32* %45
%933 = icmp eq i32 %932, 5
br i1 %933, label %934, label %938
934: ; preds = %931
%935 = load double*, double** %40
%936 = load double, double* %935
%937 = load double*, double** %34
store double %936, double* %937
br label %962
938: ; preds = %931
%939 = load i32, i32* %45
%940 = icmp eq i32 %939, 6
br i1 %940, label %941, label %945
941: ; preds = %938
%942 = load double*, double** %41
%943 = load double, double* %942
%944 = load double*, double** %34
store double %943, double* %944
br label %961
945: ; preds = %938
%946 = load i32, i32* %45
%947 = icmp eq i32 %946, 7
br i1 %947, label %948, label %952
948: ; preds = %945
%949 = load double*, double** %42
%950 = load double, double* %949
%951 = load double*, double** %34
store double %950, double* %951
br label %960
952: ; preds = %945
%953 = load i32, i32* %45
%954 = icmp eq i32 %953, 8
br i1 %954, label %955, label %959
955: ; preds = %952
%956 = load double*, double** %43
%957 = load double, double* %956
%958 = load double*, double** %34
store double %957, double* %958
br label %959
959: ; preds = %955, %952
br label %960
960: ; preds = %959, %948
br label %961
961: ; preds = %960, %941
br label %962
962: ; preds = %961, %934
br label %963
963: ; preds = %962, %927
br label %964
964: ; preds = %963, %920
br label %965
965: ; preds = %964, %913
br label %966
966: ; preds = %965, %906
br label %967
967: ; preds = %966, %899
br label %971
968: ; preds = %892
%969 = load i32, i32* %45
%970 = add nsw i32 %969, 1
store i32 %970, i32* %45
br label %971
971: ; preds = %968, %967
%972 = load i32, i32* %45
%973 = icmp eq i32 %972, 0
br i1 %973, label %974, label %982
974: ; preds = %971
%975 = load double*, double** %34
%976 = load double, double* %975
%977 = load double, double* %33
%978 = load double*, double** %34
%979 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %976, double %977, double* %978)
%980 = sitofp i32 %979 to double
%981 = load double*, double** %35
store double %980, double* %981
br label %1090
982: ; preds = %971
%983 = load i32, i32* %45
%984 = icmp eq i32 %983, 1
br i1 %984, label %985, label %993
985: ; preds = %982
%986 = load double*, double** %34
%987 = load double, double* %986
%988 = load double, double* %33
%989 = load double*, double** %34
%990 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %987, double %988, double* %989)
%991 = sitofp i32 %990 to double
%992 = load double*, double** %36
store double %991, double* %992
br label %1089
993: ; preds = %982
%994 = load i32, i32* %45
%995 = icmp eq i32 %994, 2
br i1 %995, label %996, label %1004
996: ; preds = %993
%997 = load double*, double** %34
%998 = load double, double* %997
%999 = load double, double* %33
%1000 = load double*, double** %34
%1001 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %998, double %999, double* %1000)
%1002 = sitofp i32 %1001 to double
%1003 = load double*, double** %37
store double %1002, double* %1003
br label %1088
1004: ; preds = %993
%1005 = load i32, i32* %45
%1006 = icmp eq i32 %1005, 3
br i1 %1006, label %1007, label %1015
1007: ; preds = %1004
%1008 = load double*, double** %34
%1009 = load double, double* %1008
%1010 = load double, double* %33
%1011 = load double*, double** %34
%1012 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %1009, double %1010, double* %1011)
%1013 = sitofp i32 %1012 to double
%1014 = load double*, double** %38
store double %1013, double* %1014
br label %1087
1015: ; preds = %1004
%1016 = load i32, i32* %45
%1017 = icmp eq i32 %1016, 4
br i1 %1017, label %1018, label %1026
1018: ; preds = %1015
%1019 = load double*, double** %34
%1020 = load double, double* %1019
%1021 = load double, double* %33
%1022 = load double*, double** %34
%1023 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %1020, double %1021, double* %1022)
%1024 = sitofp i32 %1023 to double
%1025 = load double*, double** %39
store double %1024, double* %1025
br label %1086
1026: ; preds = %1015
%1027 = load i32, i32* %45
%1028 = icmp eq i32 %1027, 5
br i1 %1028, label %1029, label %1037
1029: ; preds = %1026
%1030 = load double*, double** %34
%1031 = load double, double* %1030
%1032 = load double, double* %33
%1033 = load double*, double** %34
%1034 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %1031, double %1032, double* %1033)
%1035 = sitofp i32 %1034 to double
%1036 = load double*, double** %40
store double %1035, double* %1036
br label %1085
1037: ; preds = %1026
%1038 = load i32, i32* %45
%1039 = icmp eq i32 %1038, 6
br i1 %1039, label %1040, label %1048
1040: ; preds = %1037
%1041 = load double*, double** %34
%1042 = load double, double* %1041
%1043 = load double, double* %33
%1044 = load double*, double** %34
%1045 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %1042, double %1043, double* %1044)
%1046 = sitofp i32 %1045 to double
%1047 = load double*, double** %41
store double %1046, double* %1047
br label %1084
1048: ; preds = %1037
%1049 = load i32, i32* %45
%1050 = icmp eq i32 %1049, 7
br i1 %1050, label %1051, label %1059
1051: ; preds = %1048
%1052 = load double*, double** %34
%1053 = load double, double* %1052
%1054 = load double, double* %33
%1055 = load double*, double** %34
%1056 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %1053, double %1054, double* %1055)
%1057 = sitofp i32 %1056 to double
%1058 = load double*, double** %42
store double %1057, double* %1058
br label %1083
1059: ; preds = %1048
%1060 = load i32, i32* %45
%1061 = icmp eq i32 %1060, 8
br i1 %1061, label %1062, label %1070
1062: ; preds = %1059
%1063 = load double*, double** %34
%1064 = load double, double* %1063
%1065 = load double, double* %33
%1066 = load double*, double** %34
%1067 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %1064, double %1065, double* %1066)
%1068 = sitofp i32 %1067 to double
%1069 = load double*, double** %43
store double %1068, double* %1069
br label %1082
1070: ; preds = %1059
%1071 = load i32, i32* %45
%1072 = icmp eq i32 %1071, 9
br i1 %1072, label %1073, label %1081
1073: ; preds = %1070
%1074 = load double*, double** %34
%1075 = load double, double* %1074
%1076 = load double, double* %33
%1077 = load double*, double** %34
%1078 = call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %1075, double %1076, double* %1077)
%1079 = sitofp i32 %1078 to double
%1080 = load double*, double** %44
store double %1079, double* %1080
br label %1081
1081: ; preds = %1073, %1070
br label %1082
1082: ; preds = %1081, %1062
br label %1083
1083: ; preds = %1082, %1051
br label %1084
1084: ; preds = %1083, %1040
br label %1085
1085: ; preds = %1084, %1029
br label %1086
1086: ; preds = %1085, %1018
br label %1087
1087: ; preds = %1086, %1007
br label %1088
1088: ; preds = %1087, %996
br label %1089
1089: ; preds = %1088, %985
br label %1090
1090: ; preds = %1089, %974
%1091 = load double*, double** %34
%1092 = load double, double* %1091
%1093 = fcmp oeq double %1092, 0.000000e+00
br i1 %1093, label %1094, label %1174
1094: ; preds = %1090
%1095 = load i32, i32* %45
%1096 = icmp eq i32 %1095, 0
br i1 %1096, label %1097, label %1101
1097: ; preds = %1094
%1098 = load double*, double** %35
%1099 = load double, double* %1098
%1100 = load double*, double** %34
store double %1099, double* %1100
br label %1173
1101: ; preds = %1094
%1102 = load i32, i32* %45
%1103 = icmp eq i32 %1102, 1
br i1 %1103, label %1104, label %1108
1104: ; preds = %1101
%1105 = load double*, double** %36
%1106 = load double, double* %1105
%1107 = load double*, double** %34
store double %1106, double* %1107
br label %1172
1108: ; preds = %1101
%1109 = load i32, i32* %45
%1110 = icmp eq i32 %1109, 2
br i1 %1110, label %1111, label %1115
1111: ; preds = %1108
%1112 = load double*, double** %37
%1113 = load double, double* %1112
%1114 = load double*, double** %34
store double %1113, double* %1114
br label %1171
1115: ; preds = %1108
%1116 = load i32, i32* %45
%1117 = icmp eq i32 %1116, 3
br i1 %1117, label %1118, label %1122
1118: ; preds = %1115
%1119 = load double*, double** %38
%1120 = load double, double* %1119
%1121 = load double*, double** %34
store double %1120, double* %1121
br label %1170
1122: ; preds = %1115
%1123 = load i32, i32* %45
%1124 = icmp eq i32 %1123, 4
br i1 %1124, label %1125, label %1129
1125: ; preds = %1122
%1126 = load double*, double** %39
%1127 = load double, double* %1126
%1128 = load double*, double** %34
store double %1127, double* %1128
br label %1169
1129: ; preds = %1122
%1130 = load i32, i32* %45
%1131 = icmp eq i32 %1130, 5
br i1 %1131, label %1132, label %1136
1132: ; preds = %1129
%1133 = load double*, double** %40
%1134 = load double, double* %1133
%1135 = load double*, double** %34
store double %1134, double* %1135
br label %1168
1136: ; preds = %1129
%1137 = load i32, i32* %45
%1138 = icmp eq i32 %1137, 6
br i1 %1138, label %1139, label %1143
1139: ; preds = %1136
%1140 = load double*, double** %41
%1141 = load double, double* %1140
%1142 = load double*, double** %34
store double %1141, double* %1142
br label %1167
1143: ; preds = %1136
%1144 = load i32, i32* %45
%1145 = icmp eq i32 %1144, 7
br i1 %1145, label %1146, label %1150
1146: ; preds = %1143
%1147 = load double*, double** %42
%1148 = load double, double* %1147
%1149 = load double*, double** %34
store double %1148, double* %1149
br label %1166
1150: ; preds = %1143
%1151 = load i32, i32* %45
%1152 = icmp eq i32 %1151, 8
br i1 %1152, label %1153, label %1157
1153: ; preds = %1150
%1154 = load double*, double** %43
%1155 = load double, double* %1154
%1156 = load double*, double** %34
store double %1155, double* %1156
br label %1165
1157: ; preds = %1150
%1158 = load i32, i32* %45
%1159 = icmp eq i32 %1158, 9
br i1 %1159, label %1160, label %1164
1160: ; preds = %1157
%1161 = load double*, double** %44
%1162 = load double, double* %1161
%1163 = load double*, double** %34
store double %1162, double* %1163
br label %1164
1164: ; preds = %1160, %1157
br label %1165
1165: ; preds = %1164, %1153
br label %1166
1166: ; preds = %1165, %1146
br label %1167
1167: ; preds = %1166, %1139
br label %1168
1168: ; preds = %1167, %1132
br label %1169
1169: ; preds = %1168, %1125
br label %1170
1170: ; preds = %1169, %1118
br label %1171
1171: ; preds = %1170, %1111
br label %1172
1172: ; preds = %1171, %1104
br label %1173
1173: ; preds = %1172, %1097
br label %1177
1174: ; preds = %1090
%1175 = load i32, i32* %45
%1176 = add nsw i32 %1175, 1
store i32 %1176, i32* %45
br label %1177
1177: ; preds = %1174, %1173
%1178 = load i32, i32* %45
%1179 = icmp slt i32 %1178, 10
br i1 %1179, label %1180, label %1266
1180: ; preds = %1177
%1181 = load double*, double** %34
%1182 = load double, double* %1181
%1183 = fcmp une double %1182, 0.000000e+00
br i1 %1183, label %1184, label %1266
1184: ; preds = %1180
%1185 = load i32, i32* %45
%1186 = icmp eq i32 %1185, 0
br i1 %1186, label %1187, label %1191
1187: ; preds = %1184
%1188 = load double*, double** %34
%1189 = load double, double* %1188
%1190 = load double*, double** %35
store double %1189, double* %1190
br label %1263
1191: ; preds = %1184
%1192 = load i32, i32* %45
%1193 = icmp eq i32 %1192, 1
br i1 %1193, label %1194, label %1198
1194: ; preds = %1191
%1195 = load double*, double** %34
%1196 = load double, double* %1195
%1197 = load double*, double** %36
store double %1196, double* %1197
br label %1262
1198: ; preds = %1191
%1199 = load i32, i32* %45
%1200 = icmp eq i32 %1199, 2
br i1 %1200, label %1201, label %1205
1201: ; preds = %1198
%1202 = load double*, double** %34
%1203 = load double, double* %1202
%1204 = load double*, double** %37
store double %1203, double* %1204
br label %1261
1205: ; preds = %1198
%1206 = load i32, i32* %45
%1207 = icmp eq i32 %1206, 3
br i1 %1207, label %1208, label %1212
1208: ; preds = %1205
%1209 = load double*, double** %34
%1210 = load double, double* %1209
%1211 = load double*, double** %38
store double %1210, double* %1211
br label %1260
1212: ; preds = %1205
%1213 = load i32, i32* %45
%1214 = icmp eq i32 %1213, 4
br i1 %1214, label %1215, label %1219
1215: ; preds = %1212
%1216 = load double*, double** %34
%1217 = load double, double* %1216
%1218 = load double*, double** %39
store double %1217, double* %1218
br label %1259
1219: ; preds = %1212
%1220 = load i32, i32* %45
%1221 = icmp eq i32 %1220, 5
br i1 %1221, label %1222, label %1226
1222: ; preds = %1219
%1223 = load double*, double** %34
%1224 = load double, double* %1223
%1225 = load double*, double** %40
store double %1224, double* %1225
br label %1258
1226: ; preds = %1219
%1227 = load i32, i32* %45
%1228 = icmp eq i32 %1227, 6
br i1 %1228, label %1229, label %1233
1229: ; preds = %1226
%1230 = load double*, double** %34
%1231 = load double, double* %1230
%1232 = load double*, double** %41
store double %1231, double* %1232
br label %1257
1233: ; preds = %1226
%1234 = load i32, i32* %45
%1235 = icmp eq i32 %1234, 7
br i1 %1235, label %1236, label %1240
1236: ; preds = %1233
%1237 = load double*, double** %34
%1238 = load double, double* %1237
%1239 = load double*, double** %42
store double %1238, double* %1239
br label %1256
1240: ; preds = %1233
%1241 = load i32, i32* %45
%1242 = icmp eq i32 %1241, 8
br i1 %1242, label %1243, label %1247
1243: ; preds = %1240
%1244 = load double*, double** %34
%1245 = load double, double* %1244
%1246 = load double*, double** %43
store double %1245, double* %1246
br label %1255
1247: ; preds = %1240
%1248 = load i32, i32* %45
%1249 = icmp eq i32 %1248, 9
br i1 %1249, label %1250, label %1254
1250: ; preds = %1247
%1251 = load double*, double** %34
%1252 = load double, double* %1251
%1253 = load double*, double** %44
store double %1252, double* %1253
br label %1254
1254: ; preds = %1250, %1247
br label %1255
1255: ; preds = %1254, %1243
br label %1256
1256: ; preds = %1255, %1236
br label %1257
1257: ; preds = %1256, %1229
br label %1258
1258: ; preds = %1257, %1222
br label %1259
1259: ; preds = %1258, %1215
br label %1260
1260: ; preds = %1259, %1208
br label %1261
1261: ; preds = %1260, %1201
br label %1262
1262: ; preds = %1261, %1194
br label %1263
1263: ; preds = %1262, %1187
%1264 = load i32, i32* %45
%1265 = add nsw i32 %1264, 1
store i32 %1265, i32* %45
br label %1266
1266: ; preds = %1263, %1180, %1177
%1267 = load i32, i32* %45
%1268 = icmp slt i32 %1267, 1
br i1 %1268, label %1269, label %1280
1269: ; preds = %1266
%1270 = load double*, double** %44
store double 0.000000e+00, double* %1270
%1271 = load double*, double** %43
store double 0.000000e+00, double* %1271
%1272 = load double*, double** %42
store double 0.000000e+00, double* %1272
%1273 = load double*, double** %41
store double 0.000000e+00, double* %1273
%1274 = load double*, double** %40
store double 0.000000e+00, double* %1274
%1275 = load double*, double** %39
store double 0.000000e+00, double* %1275
%1276 = load double*, double** %38
store double 0.000000e+00, double* %1276
%1277 = load double*, double** %37
store double 0.000000e+00, double* %1277
%1278 = load double*, double** %36
store double 0.000000e+00, double* %1278
%1279 = load double*, double** %35
store double 0.000000e+00, double* %1279
br label %1370
1280: ; preds = %1266
%1281 = load i32, i32* %45
%1282 = icmp slt i32 %1281, 2
br i1 %1282, label %1283, label %1293
1283: ; preds = %1280
%1284 = load double*, double** %44
store double 0.000000e+00, double* %1284
%1285 = load double*, double** %43
store double 0.000000e+00, double* %1285
%1286 = load double*, double** %42
store double 0.000000e+00, double* %1286
%1287 = load double*, double** %41
store double 0.000000e+00, double* %1287
%1288 = load double*, double** %40
store double 0.000000e+00, double* %1288
%1289 = load double*, double** %39
store double 0.000000e+00, double* %1289
%1290 = load double*, double** %38
store double 0.000000e+00, double* %1290
%1291 = load double*, double** %37
store double 0.000000e+00, double* %1291
%1292 = load double*, double** %36
store double 0.000000e+00, double* %1292
br label %1369
1293: ; preds = %1280
%1294 = load i32, i32* %45
%1295 = icmp slt i32 %1294, 3
br i1 %1295, label %1296, label %1305
1296: ; preds = %1293
%1297 = load double*, double** %44
store double 0.000000e+00, double* %1297
%1298 = load double*, double** %43
store double 0.000000e+00, double* %1298
%1299 = load double*, double** %42
store double 0.000000e+00, double* %1299
%1300 = load double*, double** %41
store double 0.000000e+00, double* %1300
%1301 = load double*, double** %40
store double 0.000000e+00, double* %1301
%1302 = load double*, double** %39
store double 0.000000e+00, double* %1302
%1303 = load double*, double** %38
store double 0.000000e+00, double* %1303
%1304 = load double*, double** %37
store double 0.000000e+00, double* %1304
br label %1368
1305: ; preds = %1293
%1306 = load i32, i32* %45
%1307 = icmp slt i32 %1306, 4
br i1 %1307, label %1308, label %1316
1308: ; preds = %1305
%1309 = load double*, double** %44
store double 0.000000e+00, double* %1309
%1310 = load double*, double** %43
store double 0.000000e+00, double* %1310
%1311 = load double*, double** %42
store double 0.000000e+00, double* %1311
%1312 = load double*, double** %41
store double 0.000000e+00, double* %1312
%1313 = load double*, double** %40
store double 0.000000e+00, double* %1313
%1314 = load double*, double** %39
store double 0.000000e+00, double* %1314
%1315 = load double*, double** %38
store double 0.000000e+00, double* %1315
br label %1367
1316: ; preds = %1305
%1317 = load i32, i32* %45
%1318 = icmp slt i32 %1317, 5
br i1 %1318, label %1319, label %1326
1319: ; preds = %1316
%1320 = load double*, double** %44
store double 0.000000e+00, double* %1320
%1321 = load double*, double** %43
store double 0.000000e+00, double* %1321
%1322 = load double*, double** %42
store double 0.000000e+00, double* %1322
%1323 = load double*, double** %41
store double 0.000000e+00, double* %1323
%1324 = load double*, double** %40
store double 0.000000e+00, double* %1324
%1325 = load double*, double** %39
store double 0.000000e+00, double* %1325
br label %1366
1326: ; preds = %1316
%1327 = load i32, i32* %45
%1328 = icmp slt i32 %1327, 6
br i1 %1328, label %1329, label %1335
1329: ; preds = %1326
%1330 = load double*, double** %44
store double 0.000000e+00, double* %1330
%1331 = load double*, double** %43
store double 0.000000e+00, double* %1331
%1332 = load double*, double** %42
store double 0.000000e+00, double* %1332
%1333 = load double*, double** %41
store double 0.000000e+00, double* %1333
%1334 = load double*, double** %40
store double 0.000000e+00, double* %1334
br label %1365
1335: ; preds = %1326
%1336 = load i32, i32* %45
%1337 = icmp slt i32 %1336, 7
br i1 %1337, label %1338, label %1343
1338: ; preds = %1335
%1339 = load double*, double** %44
store double 0.000000e+00, double* %1339
%1340 = load double*, double** %43
store double 0.000000e+00, double* %1340
%1341 = load double*, double** %42
store double 0.000000e+00, double* %1341
%1342 = load double*, double** %41
store double 0.000000e+00, double* %1342
br label %1364
1343: ; preds = %1335
%1344 = load i32, i32* %45
%1345 = icmp slt i32 %1344, 8
br i1 %1345, label %1346, label %1350
1346: ; preds = %1343
%1347 = load double*, double** %44
store double 0.000000e+00, double* %1347
%1348 = load double*, double** %43
store double 0.000000e+00, double* %1348
%1349 = load double*, double** %42
store double 0.000000e+00, double* %1349
br label %1363
1350: ; preds = %1343
%1351 = load i32, i32* %45
%1352 = icmp slt i32 %1351, 9
br i1 %1352, label %1353, label %1356
1353: ; preds = %1350
%1354 = load double*, double** %44
store double 0.000000e+00, double* %1354
%1355 = load double*, double** %43
store double 0.000000e+00, double* %1355
br label %1362
1356: ; preds = %1350
%1357 = load i32, i32* %45
%1358 = icmp slt i32 %1357, 10
br i1 %1358, label %1359, label %1361
1359: ; preds = %1356
%1360 = load double*, double** %44
store double 0.000000e+00, double* %1360
br label %1361
1361: ; preds = %1359, %1356
br label %1362
1362: ; preds = %1361, %1353
br label %1363
1363: ; preds = %1362, %1346
br label %1364
1364: ; preds = %1363, %1338
br label %1365
1365: ; preds = %1364, %1329
br label %1366
1366: ; preds = %1365, %1319
br label %1367
1367: ; preds = %1366, %1308
br label %1368
1368: ; preds = %1367, %1296
br label %1369
1369: ; preds = %1368, %1283
br label %1370
1370: ; preds = %1369, %1269
ret void
}

LLVM IR (-O2):
define void @da_renorm10(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9, double %10, double* %11, double* nocapture writeonly %12, double* %13, double* nocapture %14, double* nocapture %15, double* nocapture %16, double* nocapture %17, double* nocapture %18, double* nocapture %19, double* nocapture %20, double* nocapture %21) {
%23 = fcmp oeq double %1, 0.000000e+00
br i1 %23, label %24, label %29
24: ; preds = %22
store double %0, double* %11
%25 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %0, double %2, double* %11)
%26 = sitofp i32 %25 to double
store double %26, double* %12
%27 = load double, double* %11
%28 = fcmp oeq double %27, 0.000000e+00
br i1 %28, label %46, label %35
29: ; preds = %22
store double %0, double* %12
store double %1, double* %11
%30 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %1, double %2, double* %11)
%31 = sitofp i32 %30 to double
store double %31, double* %13
%32 = load double, double* %11
%33 = fcmp oeq double %32, 0.000000e+00
br i1 %33, label %34, label %41
34: ; preds = %29
store double %31, double* %11
br label %35
35: ; preds = %34, %24
%36 = phi double [ %27, %24 ], [ %31, %34 ]
%37 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %36, double %3, double* %11)
%38 = sitofp i32 %37 to double
store double %38, double* %13
%39 = load double, double* %11
%40 = fcmp oeq double %39, 0.000000e+00
br i1 %40, label %51, label %55
41: ; preds = %29
%42 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %32, double %3, double* %11)
%43 = sitofp i32 %42 to double
store double %43, double* %14
%44 = load double, double* %11
%45 = fcmp oeq double %44, 0.000000e+00
br i1 %45, label %51, label %55
46: ; preds = %24
store double %26, double* %11
%47 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %26, double %3, double* %11)
%48 = sitofp i32 %47 to double
store double %48, double* %12
%49 = load double, double* %11
%50 = fcmp oeq double %49, 0.000000e+00
br i1 %50, label %63, label %55
51: ; preds = %41, %35
%52 = phi double [ %38, %35 ], [ %43, %41 ]
%53 = phi double* [ %13, %35 ], [ %14, %41 ]
%54 = phi i32 [ 1, %35 ], [ 2, %41 ]
store double %52, double* %11
br label %55
55: ; preds = %51, %41, %35, %46
%56 = phi double [ %49, %46 ], [ %39, %35 ], [ %44, %41 ], [ %52, %51 ]
%57 = phi double* [ %13, %46 ], [ %14, %35 ], [ %15, %41 ], [ %53, %51 ]
%58 = phi i32 [ 1, %46 ], [ 2, %35 ], [ 3, %41 ], [ %54, %51 ]
%59 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %56, double %4, double* %11)
%60 = sitofp i32 %59 to double
store double %60, double* %57
%61 = load double, double* %11
%62 = fcmp oeq double %61, 0.000000e+00
br i1 %62, label %68, label %75
63: ; preds = %46
store double %48, double* %11
%64 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %48, double %4, double* %11)
%65 = sitofp i32 %64 to double
store double %65, double* %12
%66 = load double, double* %11
%67 = fcmp oeq double %66, 0.000000e+00
br i1 %67, label %87, label %79
68: ; preds = %55
switch i32 %58, label %73 [
i32 1, label %69
i32 2, label %71
]
69: ; preds = %68
%70 = load double, double* %13
store double %70, double* %11
br label %79
71: ; preds = %68
%72 = load double, double* %14
store double %72, double* %11
br label %79
73: ; preds = %68
%74 = load double, double* %15
store double %74, double* %11
br label %76
75: ; preds = %55
switch i32 %58, label %78 [
i32 2, label %76
i32 1, label %79
]
76: ; preds = %75, %73
%77 = phi double [ %61, %75 ], [ %74, %73 ]
br label %79
78: ; preds = %75
br label %79
79: ; preds = %75, %71, %69, %63, %76, %78
%80 = phi double [ %77, %76 ], [ %61, %78 ], [ %66, %63 ], [ %70, %69 ], [ %72, %71 ], [ %61, %75 ]
%81 = phi double* [ %15, %76 ], [ %16, %78 ], [ %13, %63 ], [ %13, %69 ], [ %14, %71 ], [ %14, %75 ]
%82 = phi i32 [ 3, %76 ], [ 4, %78 ], [ 1, %63 ], [ 1, %69 ], [ 2, %71 ], [ 2, %75 ]
%83 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %80, double %5, double* %11)
%84 = sitofp i32 %83 to double
store double %84, double* %81
%85 = load double, double* %11
%86 = fcmp oeq double %85, 0.000000e+00
br i1 %86, label %92, label %101
87: ; preds = %63
store double %65, double* %11
%88 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %65, double %5, double* %11)
%89 = sitofp i32 %88 to double
store double %89, double* %12
%90 = load double, double* %11
%91 = fcmp oeq double %90, 0.000000e+00
br i1 %91, label %115, label %107
92: ; preds = %79
switch i32 %82, label %99 [
i32 1, label %93
i32 2, label %95
i32 3, label %97
]
93: ; preds = %92
%94 = load double, double* %13
store double %94, double* %11
br label %107
95: ; preds = %92
%96 = load double, double* %14
store double %96, double* %11
br label %107
97: ; preds = %92
%98 = load double, double* %15
store double %98, double* %11
br label %102
99: ; preds = %92
%100 = load double, double* %16
store double %100, double* %11
br label %104
101: ; preds = %79
switch i32 %82, label %106 [
i32 3, label %104
i32 1, label %107
i32 2, label %102
]
102: ; preds = %97, %101
%103 = phi double [ %98, %97 ], [ %85, %101 ]
br label %107
104: ; preds = %101, %99
%105 = phi double [ %85, %101 ], [ %100, %99 ]
br label %107
106: ; preds = %101
br label %107
107: ; preds = %101, %95, %93, %87, %102, %106, %104
%108 = phi double [ %103, %102 ], [ %85, %106 ], [ %105, %104 ], [ %90, %87 ], [ %94, %93 ], [ %96, %95 ], [ %85, %101 ]
%109 = phi double* [ %15, %102 ], [ %17, %106 ], [ %16, %104 ], [ %13, %87 ], [ %13, %93 ], [ %14, %95 ], [ %14, %101 ]
%110 = phi i32 [ 3, %102 ], [ 5, %106 ], [ 4, %104 ], [ 1, %87 ], [ 1, %93 ], [ 2, %95 ], [ 2, %101 ]
%111 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %108, double %6, double* %11)
%112 = sitofp i32 %111 to double
store double %112, double* %109
%113 = load double, double* %11
%114 = fcmp oeq double %113, 0.000000e+00
br i1 %114, label %120, label %131
115: ; preds = %87
store double %89, double* %11
%116 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %89, double %6, double* %11)
%117 = sitofp i32 %116 to double
store double %117, double* %12
%118 = load double, double* %11
%119 = fcmp oeq double %118, 0.000000e+00
br i1 %119, label %147, label %139
120: ; preds = %107
switch i32 %110, label %129 [
i32 1, label %121
i32 2, label %123
i32 3, label %125
i32 4, label %127
]
121: ; preds = %120
%122 = load double, double* %13
store double %122, double* %11
br label %139
123: ; preds = %120
%124 = load double, double* %14
store double %124, double* %11
br label %139
125: ; preds = %120
%126 = load double, double* %15
store double %126, double* %11
br label %132
127: ; preds = %120
%128 = load double, double* %16
store double %128, double* %11
br label %134
129: ; preds = %120
%130 = load double, double* %17
store double %130, double* %11
br label %136
131: ; preds = %107
switch i32 %110, label %138 [
i32 4, label %136
i32 1, label %139
i32 2, label %132
i32 3, label %134
]
132: ; preds = %125, %131
%133 = phi double [ %126, %125 ], [ %113, %131 ]
br label %139
134: ; preds = %127, %131
%135 = phi double [ %128, %127 ], [ %113, %131 ]
br label %139
136: ; preds = %131, %129
%137 = phi double [ %113, %131 ], [ %130, %129 ]
br label %139
138: ; preds = %131
br label %139
139: ; preds = %131, %123, %121, %115, %132, %136, %138, %134
%140 = phi double [ %133, %132 ], [ %137, %136 ], [ %113, %138 ], [ %135, %134 ], [ %118, %115 ], [ %122, %121 ], [ %124, %123 ], [ %113, %131 ]
%141 = phi double* [ %15, %132 ], [ %17, %136 ], [ %18, %138 ], [ %16, %134 ], [ %13, %115 ], [ %13, %121 ], [ %14, %123 ], [ %14, %131 ]
%142 = phi i32 [ 3, %132 ], [ 5, %136 ], [ 6, %138 ], [ 4, %134 ], [ 1, %115 ], [ 1, %121 ], [ 2, %123 ], [ 2, %131 ]
%143 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %140, double %7, double* %11)
%144 = sitofp i32 %143 to double
store double %144, double* %141
%145 = load double, double* %11
%146 = fcmp oeq double %145, 0.000000e+00
br i1 %146, label %152, label %165
147: ; preds = %115
store double %117, double* %11
%148 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %117, double %7, double* %11)
%149 = sitofp i32 %148 to double
store double %149, double* %12
%150 = load double, double* %11
%151 = fcmp oeq double %150, 0.000000e+00
br i1 %151, label %183, label %175
152: ; preds = %139
switch i32 %142, label %163 [
i32 1, label %153
i32 2, label %155
i32 3, label %157
i32 4, label %159
i32 5, label %161
]
153: ; preds = %152
%154 = load double, double* %13
store double %154, double* %11
br label %175
155: ; preds = %152
%156 = load double, double* %14
store double %156, double* %11
br label %175
157: ; preds = %152
%158 = load double, double* %15
store double %158, double* %11
br label %166
159: ; preds = %152
%160 = load double, double* %16
store double %160, double* %11
br label %168
161: ; preds = %152
%162 = load double, double* %17
store double %162, double* %11
br label %170
163: ; preds = %152
%164 = load double, double* %18
store double %164, double* %11
br label %172
165: ; preds = %139
switch i32 %142, label %174 [
i32 5, label %172
i32 1, label %175
i32 2, label %166
i32 3, label %168
i32 4, label %170
]
166: ; preds = %157, %165
%167 = phi double [ %158, %157 ], [ %145, %165 ]
br label %175
168: ; preds = %159, %165
%169 = phi double [ %160, %159 ], [ %145, %165 ]
br label %175
170: ; preds = %161, %165
%171 = phi double [ %162, %161 ], [ %145, %165 ]
br label %175
172: ; preds = %165, %163
%173 = phi double [ %145, %165 ], [ %164, %163 ]
br label %175
174: ; preds = %165
br label %175
175: ; preds = %165, %155, %153, %147, %166, %170, %174, %172, %168
%176 = phi double [ %167, %166 ], [ %171, %170 ], [ %145, %174 ], [ %173, %172 ], [ %169, %168 ], [ %150, %147 ], [ %154, %153 ], [ %156, %155 ], [ %145, %165 ]
%177 = phi double* [ %15, %166 ], [ %17, %170 ], [ %19, %174 ], [ %18, %172 ], [ %16, %168 ], [ %13, %147 ], [ %13, %153 ], [ %14, %155 ], [ %14, %165 ]
%178 = phi i32 [ 3, %166 ], [ 5, %170 ], [ 7, %174 ], [ 6, %172 ], [ 4, %168 ], [ 1, %147 ], [ 1, %153 ], [ 2, %155 ], [ 2, %165 ]
%179 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %176, double %8, double* %11)
%180 = sitofp i32 %179 to double
store double %180, double* %177
%181 = load double, double* %11
%182 = fcmp oeq double %181, 0.000000e+00
br i1 %182, label %188, label %203
183: ; preds = %147
store double %149, double* %11
%184 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %149, double %8, double* %11)
%185 = sitofp i32 %184 to double
store double %185, double* %12
%186 = load double, double* %11
%187 = fcmp oeq double %186, 0.000000e+00
br i1 %187, label %223, label %215
188: ; preds = %175
switch i32 %178, label %201 [
i32 1, label %189
i32 2, label %191
i32 3, label %193
i32 4, label %195
i32 5, label %197
i32 6, label %199
]
189: ; preds = %188
%190 = load double, double* %13
store double %190, double* %11
br label %215
191: ; preds = %188
%192 = load double, double* %14
store double %192, double* %11
br label %215
193: ; preds = %188
%194 = load double, double* %15
store double %194, double* %11
br label %204
195: ; preds = %188
%196 = load double, double* %16
store double %196, double* %11
br label %206
197: ; preds = %188
%198 = load double, double* %17
store double %198, double* %11
br label %208
199: ; preds = %188
%200 = load double, double* %18
store double %200, double* %11
br label %210
201: ; preds = %188
%202 = load double, double* %19
store double %202, double* %11
br label %212
203: ; preds = %175
switch i32 %178, label %214 [
i32 6, label %212
i32 1, label %215
i32 2, label %204
i32 3, label %206
i32 4, label %208
i32 5, label %210
]
204: ; preds = %193, %203
%205 = phi double [ %194, %193 ], [ %181, %203 ]
br label %215
206: ; preds = %195, %203
%207 = phi double [ %196, %195 ], [ %181, %203 ]
br label %215
208: ; preds = %197, %203
%209 = phi double [ %198, %197 ], [ %181, %203 ]
br label %215
210: ; preds = %199, %203
%211 = phi double [ %200, %199 ], [ %181, %203 ]
br label %215
212: ; preds = %203, %201
%213 = phi double [ %181, %203 ], [ %202, %201 ]
br label %215
214: ; preds = %203
br label %215
215: ; preds = %203, %191, %189, %183, %204, %208, %212, %214, %210, %206
%216 = phi double [ %205, %204 ], [ %209, %208 ], [ %213, %212 ], [ %181, %214 ], [ %211, %210 ], [ %207, %206 ], [ %186, %183 ], [ %190, %189 ], [ %192, %191 ], [ %181, %203 ]
%217 = phi double* [ %15, %204 ], [ %17, %208 ], [ %19, %212 ], [ %20, %214 ], [ %18, %210 ], [ %16, %206 ], [ %13, %183 ], [ %13, %189 ], [ %14, %191 ], [ %14, %203 ]
%218 = phi i32 [ 3, %204 ], [ 5, %208 ], [ 7, %212 ], [ 8, %214 ], [ 6, %210 ], [ 4, %206 ], [ 1, %183 ], [ 1, %189 ], [ 2, %191 ], [ 2, %203 ]
%219 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %216, double %9, double* %11)
%220 = sitofp i32 %219 to double
store double %220, double* %217
%221 = load double, double* %11
%222 = fcmp oeq double %221, 0.000000e+00
br i1 %222, label %228, label %245
223: ; preds = %183
store double %185, double* %11
%224 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %185, double %9, double* %11)
%225 = sitofp i32 %224 to double
store double %225, double* %12
%226 = load double, double* %11
%227 = fcmp oeq double %226, 0.000000e+00
br i1 %227, label %271, label %258
228: ; preds = %215
switch i32 %218, label %243 [
i32 1, label %229
i32 2, label %231
i32 3, label %233
i32 4, label %235
i32 5, label %237
i32 6, label %239
i32 7, label %241
]
229: ; preds = %228
%230 = load double, double* %13
store double %230, double* %11
br label %258
231: ; preds = %228
%232 = load double, double* %14
store double %232, double* %11
br label %258
233: ; preds = %228
%234 = load double, double* %15
store double %234, double* %11
br label %246
235: ; preds = %228
%236 = load double, double* %16
store double %236, double* %11
br label %248
237: ; preds = %228
%238 = load double, double* %17
store double %238, double* %11
br label %250
239: ; preds = %228
%240 = load double, double* %18
store double %240, double* %11
br label %252
241: ; preds = %228
%242 = load double, double* %19
store double %242, double* %11
br label %254
243: ; preds = %228
%244 = load double, double* %20
store double %244, double* %11
br label %256
245: ; preds = %215
switch i32 %218, label %266 [
i32 7, label %256
i32 1, label %258
i32 2, label %246
i32 3, label %248
i32 4, label %250
i32 5, label %252
i32 6, label %254
]
246: ; preds = %233, %245
%247 = phi double [ %234, %233 ], [ %221, %245 ]
br label %258
248: ; preds = %235, %245
%249 = phi double [ %236, %235 ], [ %221, %245 ]
br label %258
250: ; preds = %237, %245
%251 = phi double [ %238, %237 ], [ %221, %245 ]
br label %258
252: ; preds = %239, %245
%253 = phi double [ %240, %239 ], [ %221, %245 ]
br label %258
254: ; preds = %241, %245
%255 = phi double [ %242, %241 ], [ %221, %245 ]
br label %258
256: ; preds = %245, %243
%257 = phi double [ %221, %245 ], [ %244, %243 ]
br label %258
258: ; preds = %245, %231, %229, %223, %246, %250, %254, %256, %252, %248
%259 = phi double [ %247, %246 ], [ %251, %250 ], [ %255, %254 ], [ %257, %256 ], [ %253, %252 ], [ %249, %248 ], [ %226, %223 ], [ %230, %229 ], [ %232, %231 ], [ %221, %245 ]
%260 = phi double* [ %15, %246 ], [ %17, %250 ], [ %19, %254 ], [ %20, %256 ], [ %18, %252 ], [ %16, %248 ], [ %13, %223 ], [ %13, %229 ], [ %14, %231 ], [ %14, %245 ]
%261 = phi i32 [ 3, %246 ], [ 5, %250 ], [ 7, %254 ], [ 8, %256 ], [ 6, %252 ], [ 4, %248 ], [ 1, %223 ], [ 1, %229 ], [ 2, %231 ], [ 2, %245 ]
%262 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %259, double %10, double* %11)
%263 = sitofp i32 %262 to double
store double %263, double* %260
%264 = load double, double* %11
%265 = fcmp oeq double %264, 0.000000e+00
br i1 %265, label %276, label %297
266: ; preds = %245
%267 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %221, double %10, double* %11)
%268 = sitofp i32 %267 to double
store double %268, double* %21
%269 = load double, double* %11
%270 = fcmp oeq double %269, 0.000000e+00
br i1 %270, label %295, label %387
271: ; preds = %223
store double %225, double* %11
%272 = tail call i32 (double, double, double*, ...) bitcast (i32 (...)* @dd_quick_two_sum to i32 (double, double, double*, ...)*)(double %225, double %10, double* %11)
%273 = sitofp i32 %272 to double
store double %273, double* %12
%274 = load double, double* %11
%275 = fcmp oeq double %274, 0.000000e+00
br i1 %275, label %303, label %299
276: ; preds = %258
switch i32 %261, label %277 [
i32 1, label %279
i32 2, label %281
i32 3, label %283
i32 4, label %285
i32 5, label %287
i32 6, label %289
i32 7, label %291
i32 8, label %293
]
277: ; preds = %276
%278 = load double, double* %21
br label %295
279: ; preds = %276
%280 = load double, double* %13
store double %280, double* %11
br label %299
281: ; preds = %276
%282 = load double, double* %14
store double %282, double* %11
br label %299
283: ; preds = %276
%284 = load double, double* %15
store double %284, double* %11
br label %299
285: ; preds = %276
%286 = load double, double* %16
store double %286, double* %11
br label %299
287: ; preds = %276
%288 = load double, double* %17
store double %288, double* %11
br label %299
289: ; preds = %276
%290 = load double, double* %18
store double %290, double* %11
br label %299
291: ; preds = %276
%292 = load double, double* %19
store double %292, double* %11
br label %299
293: ; preds = %276
%294 = load double, double* %20
store double %294, double* %11
br label %299
295: ; preds = %277, %266
%296 = phi double [ %278, %277 ], [ %268, %266 ]
store double %296, double* %11
br label %299
297: ; preds = %258
%298 = add nuw nsw i32 %261, 1
br label %299
299: ; preds = %279, %281, %283, %285, %287, %289, %291, %293, %295, %297, %271
%300 = phi double [ %274, %271 ], [ %264, %297 ], [ %296, %295 ], [ %294, %293 ], [ %292, %291 ], [ %290, %289 ], [ %288, %287 ], [ %286, %285 ], [ %284, %283 ], [ %282, %281 ], [ %280, %279 ]
%301 = phi i32 [ 1, %271 ], [ %298, %297 ], [ 9, %295 ], [ 8, %293 ], [ 7, %291 ], [ 6, %289 ], [ 5, %287 ], [ 4, %285 ], [ 3, %283 ], [ 2, %281 ], [ 1, %279 ]
%302 = fcmp une double %300, 0.000000e+00
br i1 %302, label %305, label %317
303: ; preds = %271
store double %273, double* %11
%304 = icmp eq i32 %272, 0
br i1 %304, label %316, label %306
305: ; preds = %299
switch i32 %301, label %315 [
i32 8, label %314
i32 1, label %307
i32 2, label %308
i32 3, label %309
i32 4, label %310
i32 5, label %311
i32 6, label %312
i32 7, label %313
]
306: ; preds = %303
store double %273, double* %12
br label %333
307: ; preds = %305
store double %300, double* %13
br label %343
308: ; preds = %305
store double %300, double* %14
br label %352
309: ; preds = %305
store double %300, double* %15
br label %360
310: ; preds = %305
store double %300, double* %16
br label %367
311: ; preds = %305
store double %300, double* %17
br label %373
312: ; preds = %305
store double %300, double* %18
br label %378
313: ; preds = %305
store double %300, double* %19
br label %382
314: ; preds = %305
store double %300, double* %20
br label %385
315: ; preds = %305
store double %300, double* %21
br label %387
316: ; preds = %303
store double 0.000000e+00, double* %21
br label %333
317: ; preds = %299
%318 = icmp eq i32 %301, 1
br i1 %318, label %333, label %319
319: ; preds = %317
%320 = icmp ult i32 %301, 3
br i1 %320, label %343, label %321
321: ; preds = %319
%322 = icmp eq i32 %301, 3
br i1 %322, label %352, label %323
323: ; preds = %321
%324 = icmp ult i32 %301, 5
br i1 %324, label %360, label %325
325: ; preds = %323
%326 = icmp eq i32 %301, 5
br i1 %326, label %367, label %327
327: ; preds = %325
%328 = icmp ult i32 %301, 7
br i1 %328, label %373, label %329
329: ; preds = %327
%330 = icmp eq i32 %301, 7
br i1 %330, label %378, label %331
331: ; preds = %329
%332 = icmp ult i32 %301, 9
br i1 %332, label %382, label %385
333: ; preds = %306, %317, %316
%334 = phi double* [ %20, %316 ], [ %21, %317 ], [ %21, %306 ]
%335 = phi double* [ %19, %316 ], [ %20, %317 ], [ %20, %306 ]
%336 = phi double* [ %18, %316 ], [ %19, %317 ], [ %19, %306 ]
%337 = phi double* [ %17, %316 ], [ %18, %317 ], [ %18, %306 ]
%338 = phi double* [ %16, %316 ], [ %17, %317 ], [ %17, %306 ]
%339 = phi double* [ %15, %316 ], [ %16, %317 ], [ %16, %306 ]
%340 = phi double* [ %14, %316 ], [ %15, %317 ], [ %15, %306 ]
%341 = phi double* [ %13, %316 ], [ %14, %317 ], [ %14, %306 ]
%342 = phi double* [ %12, %316 ], [ %13, %317 ], [ %13, %306 ]
store double 0.000000e+00, double* %334
br label %343
343: ; preds = %307, %333, %319
%344 = phi double* [ %21, %319 ], [ %335, %333 ], [ %21, %307 ]
%345 = phi double* [ %20, %319 ], [ %336, %333 ], [ %20, %307 ]
%346 = phi double* [ %19, %319 ], [ %337, %333 ], [ %19, %307 ]
%347 = phi double* [ %18, %319 ], [ %338, %333 ], [ %18, %307 ]
%348 = phi double* [ %17, %319 ], [ %339, %333 ], [ %17, %307 ]
%349 = phi double* [ %16, %319 ], [ %340, %333 ], [ %16, %307 ]
%350 = phi double* [ %15, %319 ], [ %341, %333 ], [ %15, %307 ]
%351 = phi double* [ %14, %319 ], [ %342, %333 ], [ %14, %307 ]
store double 0.000000e+00, double* %344
br label %352
352: ; preds = %308, %343, %321
%353 = phi double* [ %21, %321 ], [ %345, %343 ], [ %21, %308 ]
%354 = phi double* [ %20, %321 ], [ %346, %343 ], [ %20, %308 ]
%355 = phi double* [ %19, %321 ], [ %347, %343 ], [ %19, %308 ]
%356 = phi double* [ %18, %321 ], [ %348, %343 ], [ %18, %308 ]
%357 = phi double* [ %17, %321 ], [ %349, %343 ], [ %17, %308 ]
%358 = phi double* [ %16, %321 ], [ %350, %343 ], [ %16, %308 ]
%359 = phi double* [ %15, %321 ], [ %351, %343 ], [ %15, %308 ]
store double 0.000000e+00, double* %353
br label %360
360: ; preds = %309, %352, %323
%361 = phi double* [ %21, %323 ], [ %354, %352 ], [ %21, %309 ]
%362 = phi double* [ %20, %323 ], [ %355, %352 ], [ %20, %309 ]
%363 = phi double* [ %19, %323 ], [ %356, %352 ], [ %19, %309 ]
%364 = phi double* [ %18, %323 ], [ %357, %352 ], [ %18, %309 ]
%365 = phi double* [ %17, %323 ], [ %358, %352 ], [ %17, %309 ]
%366 = phi double* [ %16, %323 ], [ %359, %352 ], [ %16, %309 ]
store double 0.000000e+00, double* %361
br label %367
367: ; preds = %310, %360, %325
%368 = phi double* [ %21, %325 ], [ %362, %360 ], [ %21, %310 ]
%369 = phi double* [ %20, %325 ], [ %363, %360 ], [ %20, %310 ]
%370 = phi double* [ %19, %325 ], [ %364, %360 ], [ %19, %310 ]
%371 = phi double* [ %18, %325 ], [ %365, %360 ], [ %18, %310 ]
%372 = phi double* [ %17, %325 ], [ %366, %360 ], [ %17, %310 ]
store double 0.000000e+00, double* %368
br label %373
373: ; preds = %311, %367, %327
%374 = phi double* [ %21, %327 ], [ %369, %367 ], [ %21, %311 ]
%375 = phi double* [ %20, %327 ], [ %370, %367 ], [ %20, %311 ]
%376 = phi double* [ %19, %327 ], [ %371, %367 ], [ %19, %311 ]
%377 = phi double* [ %18, %327 ], [ %372, %367 ], [ %18, %311 ]
store double 0.000000e+00, double* %374
br label %378
378: ; preds = %312, %373, %329
%379 = phi double* [ %21, %329 ], [ %375, %373 ], [ %21, %312 ]
%380 = phi double* [ %20, %329 ], [ %376, %373 ], [ %20, %312 ]
%381 = phi double* [ %19, %329 ], [ %377, %373 ], [ %19, %312 ]
store double 0.000000e+00, double* %379
br label %382
382: ; preds = %313, %378, %331
%383 = phi double* [ %21, %331 ], [ %380, %378 ], [ %21, %313 ]
%384 = phi double* [ %20, %331 ], [ %381, %378 ], [ %20, %313 ]
store double 0.000000e+00, double* %383
br label %385
385: ; preds = %331, %314, %382
%386 = phi double* [ %384, %382 ], [ %21, %314 ], [ %21, %331 ]
store double 0.000000e+00, double* %386
br label %387
387: ; preds = %315, %385, %266
ret void
}