#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef unsigned long long w;
typedef scalar_t__ m;
typedef unsigned long long h;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
unsigned long long bn_mul_add_words(unsigned long long *rp,
                                    unsigned long long *ap, int num,
                                    unsigned long long w) {
  unsigned long long c = 0;
  unsigned long long bl, bh;
  assert(num >= 0);
  if (num <= 0)
    return ((unsigned long long)0);
  bl = ((w) & (0xffffffffL));
  bh = (((w) >> 32) & (0xffffffffL));
  for (;;) {
    {
      unsigned long long l, h;
      h = (ap[0]);
      l = ((h) & (0xffffffffL));
      h = (((h) >> 32) & (0xffffffffL));
      {
        unsigned long long m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffffffffffLL);
        if (m < m1)
          ht += ((unsigned long long)((1L) & (0xffffffffL)) << 32);
        ht += (((m) >> 32) & (0xffffffffL));
        m1 = ((unsigned long long)((m) & (0xffffffffL)) << 32);
        lt = (lt + m1) & (0xffffffffffffffffLL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l = (l + (c)) & (0xffffffffffffffffLL);
      if (l < (c))
        h++;
      (c) = (rp[0]);
      l = (l + (c)) & (0xffffffffffffffffLL);
      if (l < (c))
        h++;
      (c) = h & (0xffffffffffffffffLL);
      (rp[0]) = l;
    };
    if (--num == 0)
      break;
    {
      unsigned long long l, h;
      h = (ap[1]);
      l = ((h) & (0xffffffffL));
      h = (((h) >> 32) & (0xffffffffL));
      {
        unsigned long long m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffffffffffLL);
        if (m < m1)
          ht += ((unsigned long long)((1L) & (0xffffffffL)) << 32);
        ht += (((m) >> 32) & (0xffffffffL));
        m1 = ((unsigned long long)((m) & (0xffffffffL)) << 32);
        lt = (lt + m1) & (0xffffffffffffffffLL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l = (l + (c)) & (0xffffffffffffffffLL);
      if (l < (c))
        h++;
      (c) = (rp[1]);
      l = (l + (c)) & (0xffffffffffffffffLL);
      if (l < (c))
        h++;
      (c) = h & (0xffffffffffffffffLL);
      (rp[1]) = l;
    };
    if (--num == 0)
      break;
    {
      unsigned long long l, h;
      h = (ap[2]);
      l = ((h) & (0xffffffffL));
      h = (((h) >> 32) & (0xffffffffL));
      {
        unsigned long long m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffffffffffLL);
        if (m < m1)
          ht += ((unsigned long long)((1L) & (0xffffffffL)) << 32);
        ht += (((m) >> 32) & (0xffffffffL));
        m1 = ((unsigned long long)((m) & (0xffffffffL)) << 32);
        lt = (lt + m1) & (0xffffffffffffffffLL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l = (l + (c)) & (0xffffffffffffffffLL);
      if (l < (c))
        h++;
      (c) = (rp[2]);
      l = (l + (c)) & (0xffffffffffffffffLL);
      if (l < (c))
        h++;
      (c) = h & (0xffffffffffffffffLL);
      (rp[2]) = l;
    };
    if (--num == 0)
      break;
    {
      unsigned long long l, h;
      h = (ap[3]);
      l = ((h) & (0xffffffffL));
      h = (((h) >> 32) & (0xffffffffL));
      {
        unsigned long long m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffffffffffLL);
        if (m < m1)
          ht += ((unsigned long long)((1L) & (0xffffffffL)) << 32);
        ht += (((m) >> 32) & (0xffffffffL));
        m1 = ((unsigned long long)((m) & (0xffffffffL)) << 32);
        lt = (lt + m1) & (0xffffffffffffffffLL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l = (l + (c)) & (0xffffffffffffffffLL);
      if (l < (c))
        h++;
      (c) = (rp[3]);
      l = (l + (c)) & (0xffffffffffffffffLL);
      if (l < (c))
        h++;
      (c) = h & (0xffffffffffffffffLL);
      (rp[3]) = l;
    };
    if (--num == 0)
      break;
    ap += 4;
    rp += 4;
  }
  return (c);
}


x86 assembly (clang, -O0):
<bn_mul_add_words>:
push   %rbp
mov    %rsp,%rbp
sub    $0x100,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %rcx,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
cmpl   $0x0,-0x1c(%rbp)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpl   $0x0,-0x1c(%rbp)
jg     115a <bn_mul_add_words+0x4a>
movq   $0x0,-0x8(%rbp)
jmp    19d8 <bn_mul_add_words+0x8c8>
movabs $0xffffffff,%rax
and    -0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x50(%rbp)
movabs $0xffffffff,%rax
and    -0x50(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x50(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x40(%rbp),%rax
imul   -0x68(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x38(%rbp),%rax
imul   -0x68(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x38(%rbp),%rax
imul   -0x70(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x40(%rbp),%rax
imul   -0x70(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x58(%rbp),%rax
add    -0x60(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
cmp    -0x60(%rbp),%rax
jae    122f <bn_mul_add_words+0x11f>
movabs $0x100000000,%rax
add    -0x70(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x58(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
add    -0x70(%rbp),%rax
mov    %rax,-0x70(%rbp)
movabs $0xffffffff,%rax
and    -0x58(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0x60(%rbp)
mov    -0x68(%rbp),%rax
add    -0x60(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x60(%rbp),%rax
jae    128c <bn_mul_add_words+0x17c>
mov    -0x70(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x70(%rbp)
mov    -0x68(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x70(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x48(%rbp),%rax
add    -0x30(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    12c6 <bn_mul_add_words+0x1b6>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0x48(%rbp),%rax
add    -0x30(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    12fb <bn_mul_add_words+0x1eb>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0x48(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    1329 <bn_mul_add_words+0x219>
jmp    19d0 <bn_mul_add_words+0x8c0>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x80(%rbp)
movabs $0xffffffff,%rax
and    -0x80(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x80(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x80(%rbp)
mov    -0x78(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x80(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0x40(%rbp),%rax
imul   -0x98(%rbp),%rax
ff
mov    %rax,-0x88(%rbp)
mov    -0x38(%rbp),%rax
imul   -0x98(%rbp),%rax
ff
mov    %rax,-0x98(%rbp)
mov    -0x38(%rbp),%rax
imul   -0xa0(%rbp),%rax
ff
mov    %rax,-0x90(%rbp)
mov    -0x40(%rbp),%rax
imul   -0xa0(%rbp),%rax
ff
mov    %rax,-0xa0(%rbp)
mov    -0x88(%rbp),%rax
add    -0x90(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x88(%rbp)
mov    -0x88(%rbp),%rax
cmp    -0x90(%rbp),%rax
jae    1407 <bn_mul_add_words+0x2f7>
movabs $0x100000000,%rax
add    -0xa0(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0x88(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
add    -0xa0(%rbp),%rax
mov    %rax,-0xa0(%rbp)
movabs $0xffffffff,%rax
and    -0x88(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0x90(%rbp)
mov    -0x98(%rbp),%rax
add    -0x90(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rax
cmp    -0x90(%rbp),%rax
jae    1488 <bn_mul_add_words+0x378>
mov    -0xa0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xa0(%rbp)
mov    -0x98(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0xa0(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    -0x78(%rbp),%rax
add    -0x30(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    14c8 <bn_mul_add_words+0x3b8>
mov    -0x80(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x80(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0x78(%rbp),%rax
add    -0x30(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    14fe <bn_mul_add_words+0x3ee>
mov    -0x80(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x80(%rbp)
mov    -0x80(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0x78(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    152d <bn_mul_add_words+0x41d>
jmp    19d0 <bn_mul_add_words+0x8c0>
mov    -0x18(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0xb0(%rbp)
movabs $0xffffffff,%rax
and    -0xb0(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    -0xb0(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xb0(%rbp)
mov    -0xa8(%rbp),%rax
mov    %rax,-0xc8(%rbp)
mov    -0xb0(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0x40(%rbp),%rax
imul   -0xc8(%rbp),%rax
ff
mov    %rax,-0xb8(%rbp)
mov    -0x38(%rbp),%rax
imul   -0xc8(%rbp),%rax
ff
mov    %rax,-0xc8(%rbp)
mov    -0x38(%rbp),%rax
imul   -0xd0(%rbp),%rax
ff
mov    %rax,-0xc0(%rbp)
mov    -0x40(%rbp),%rax
imul   -0xd0(%rbp),%rax
ff
mov    %rax,-0xd0(%rbp)
mov    -0xb8(%rbp),%rax
add    -0xc0(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0xb8(%rbp)
mov    -0xb8(%rbp),%rax
cmp    -0xc0(%rbp),%rax
jae    1620 <bn_mul_add_words+0x510>
movabs $0x100000000,%rax
add    -0xd0(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0xb8(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
add    -0xd0(%rbp),%rax
mov    %rax,-0xd0(%rbp)
movabs $0xffffffff,%rax
and    -0xb8(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0xc0(%rbp)
mov    -0xc8(%rbp),%rax
add    -0xc0(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0xc8(%rbp)
mov    -0xc8(%rbp),%rax
cmp    -0xc0(%rbp),%rax
jae    16a1 <bn_mul_add_words+0x591>
mov    -0xd0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xd0(%rbp)
mov    -0xc8(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    -0xd0(%rbp),%rax
mov    %rax,-0xb0(%rbp)
mov    -0xa8(%rbp),%rax
add    -0x30(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    16f6 <bn_mul_add_words+0x5e6>
mov    -0xb0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xb0(%rbp)
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0xa8(%rbp),%rax
add    -0x30(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    173b <bn_mul_add_words+0x62b>
mov    -0xb0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xb0(%rbp)
mov    -0xb0(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0xa8(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x10(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    1770 <bn_mul_add_words+0x660>
jmp    19d0 <bn_mul_add_words+0x8c0>
mov    -0x18(%rbp),%rax
mov    0x18(%rax),%rax
mov    %rax,-0xe0(%rbp)
movabs $0xffffffff,%rax
and    -0xe0(%rbp),%rax
mov    %rax,-0xd8(%rbp)
mov    -0xe0(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xe0(%rbp)
mov    -0xd8(%rbp),%rax
mov    %rax,-0xf8(%rbp)
mov    -0xe0(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0x40(%rbp),%rax
imul   -0xf8(%rbp),%rax
ff
mov    %rax,-0xe8(%rbp)
mov    -0x38(%rbp),%rax
imul   -0xf8(%rbp),%rax
ff
mov    %rax,-0xf8(%rbp)
mov    -0x38(%rbp),%rax
imul   -0x100(%rbp),%rax
ff
mov    %rax,-0xf0(%rbp)
mov    -0x40(%rbp),%rax
imul   -0x100(%rbp),%rax
ff
mov    %rax,-0x100(%rbp)
mov    -0xe8(%rbp),%rax
add    -0xf0(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0xe8(%rbp)
mov    -0xe8(%rbp),%rax
cmp    -0xf0(%rbp),%rax
jae    1863 <bn_mul_add_words+0x753>
movabs $0x100000000,%rax
add    -0x100(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0xe8(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
add    -0x100(%rbp),%rax
mov    %rax,-0x100(%rbp)
movabs $0xffffffff,%rax
and    -0xe8(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0xf0(%rbp)
mov    -0xf8(%rbp),%rax
add    -0xf0(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0xf8(%rbp)
mov    -0xf8(%rbp),%rax
cmp    -0xf0(%rbp),%rax
jae    18e4 <bn_mul_add_words+0x7d4>
mov    -0x100(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x100(%rbp)
mov    -0xf8(%rbp),%rax
mov    %rax,-0xd8(%rbp)
mov    -0x100(%rbp),%rax
mov    %rax,-0xe0(%rbp)
mov    -0xd8(%rbp),%rax
add    -0x30(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0xd8(%rbp)
mov    -0xd8(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    1939 <bn_mul_add_words+0x829>
mov    -0xe0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xe0(%rbp)
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0xd8(%rbp),%rax
add    -0x30(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0xd8(%rbp)
mov    -0xd8(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    197e <bn_mul_add_words+0x86e>
mov    -0xe0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xe0(%rbp)
mov    -0xe0(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0xd8(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x18(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    19b3 <bn_mul_add_words+0x8a3>
jmp    19d0 <bn_mul_add_words+0x8c0>
mov    -0x18(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x10(%rbp)
jmp    1185 <bn_mul_add_words+0x75>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x100,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bn_mul_add_words>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rcx,%r13
mov    %edx,%ebp
mov    %rsi,%r14
mov    %rdi,%r15
mov    %edx,%edi
not    %edi
shr    $0x1f,%edi
call   1030 <assert@plt>
test   %ebp,%ebp
jle    12cb <bn_mul_add_words+0x1bb>
movabs $0x100000000,%r12
mov    %r13d,%r9d
shr    $0x20,%r13
mov    %ebp,%r11d
lea    -0x3(%r11),%rax
mov    %rax,0x8(%rsp)
lea    -0x2(%r11),%rax
mov    %rax,0x10(%rsp)
lea    -0x1(%r11),%r10
add    $0xfffffffffffffffc,%r11
xor    %ebp,%ebp
xor    %edi,%edi
nop
mov    (%r14,%rbp,8),%rax
mov    %eax,%ecx
shr    $0x20,%rax
mov    %rcx,%rsi
imul   %r13,%rsi
imul   %r9,%rcx
mov    %rax,%rbx
imul   %r9,%rbx
imul   %r13,%rax
lea    (%rax,%r12,1),%r8
add    %rsi,%rbx
cmovae %rax,%r8
mov    %rbx,%rsi
shr    $0x20,%rsi
shl    $0x20,%rbx
add    %rcx,%rbx
adc    %r8,%rsi
xor    %eax,%eax
add    %rdi,%rbx
setb   %al
add    %rbx,(%r15,%rbp,8)
adc    %rsi,%rax
cmp    %ebp,%r10d
je     12d2 <bn_mul_add_words+0x1c2>
mov    0x8(%r14,%rbp,8),%rbx
mov    %ebx,%esi
shr    $0x20,%rbx
mov    %rsi,%rdi
imul   %r13,%rdi
imul   %r9,%rsi
mov    %rbx,%rcx
imul   %r9,%rcx
imul   %r13,%rbx
lea    (%rbx,%r12,1),%rdx
add    %rdi,%rcx
cmovae %rbx,%rdx
mov    %rcx,%rbx
shr    $0x20,%rbx
shl    $0x20,%rcx
add    %rsi,%rcx
adc    %rdx,%rbx
xor    %edi,%edi
add    %rax,%rcx
setb   %dil
add    %rcx,0x8(%r15,%rbp,8)
adc    %rbx,%rdi
cmp    %ebp,0x10(%rsp)
je     12cf <bn_mul_add_words+0x1bf>
mov    0x10(%r14,%rbp,8),%rax
mov    %eax,%ecx
shr    $0x20,%rax
mov    %rcx,%rdx
imul   %r13,%rdx
imul   %r9,%rcx
mov    %rax,%rsi
imul   %r9,%rsi
imul   %r13,%rax
lea    (%rax,%r12,1),%rbx
add    %rdx,%rsi
cmovae %rax,%rbx
mov    %rsi,%rdx
shr    $0x20,%rdx
shl    $0x20,%rsi
add    %rcx,%rsi
adc    %rbx,%rdx
xor    %eax,%eax
add    %rdi,%rsi
setb   %al
add    %rsi,0x10(%r15,%rbp,8)
adc    %rdx,%rax
cmp    %ebp,0x8(%rsp)
je     12d2 <bn_mul_add_words+0x1c2>
mov    0x18(%r14,%rbp,8),%rdi
mov    %edi,%edx
shr    $0x20,%rdi
mov    %rdx,%rsi
imul   %r13,%rsi
imul   %r9,%rdx
mov    %rdi,%rcx
imul   %r9,%rcx
imul   %r13,%rdi
lea    (%rdi,%r12,1),%rbx
add    %rsi,%rcx
cmovae %rdi,%rbx
mov    %rcx,%rsi
shr    $0x20,%rsi
shl    $0x20,%rcx
add    %rdx,%rcx
adc    %rbx,%rsi
xor    %edi,%edi
add    %rax,%rcx
setb   %dil
add    %rcx,0x18(%r15,%rbp,8)
adc    %rsi,%rdi
cmp    %ebp,%r11d
je     12cf <bn_mul_add_words+0x1bf>
add    $0x4,%rbp
jmp    1170 <bn_mul_add_words+0x60>
xor    %eax,%eax
jmp    12d2 <bn_mul_add_words+0x1c2>
mov    %rdi,%rax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i64 @bn_mul_add_words(i64* nocapture %0, i64* nocapture %1, i32 %2, i64 %3) {
%5 = xor i32 %2, -1
%6 = lshr i32 %5, 31
%7 = tail call i32 @assert(i32 %6)
%8 = icmp slt i32 %2, 1
br i1 %8, label %142, label %9
9: ; preds = %4
%10 = and i64 %3, 4294967295
%11 = lshr i64 %3, 32
br label %12
12: ; preds = %139, %9
%13 = phi i32 [ %2, %9 ], [ %137, %139 ]
%14 = phi i64* [ %1, %9 ], [ %140, %139 ]
%15 = phi i64 [ 0, %9 ], [ %136, %139 ]
%16 = phi i64* [ %0, %9 ], [ %141, %139 ]
%17 = load i64, i64* %14
%18 = and i64 %17, 4294967295
%19 = lshr i64 %17, 32
%20 = mul nuw i64 %18, %11
%21 = mul nuw i64 %18, %10
%22 = mul nuw i64 %19, %10
%23 = mul nuw i64 %19, %11
%24 = add i64 %20, %22
%25 = icmp ult i64 %24, %22
%26 = add i64 %23, 4294967296
%27 = select i1 %25, i64 %26, i64 %23
%28 = lshr i64 %24, 32
%29 = add i64 %27, %28
%30 = shl i64 %24, 32
%31 = add i64 %30, %21
%32 = icmp ult i64 %31, %30
%33 = zext i1 %32 to i64
%34 = add i64 %29, %33
%35 = add i64 %31, %15
%36 = icmp ult i64 %35, %15
%37 = zext i1 %36 to i64
%38 = add i64 %34, %37
%39 = load i64, i64* %16
%40 = add i64 %35, %39
%41 = icmp ult i64 %40, %39
%42 = zext i1 %41 to i64
%43 = add i64 %38, %42
store i64 %40, i64* %16
%44 = icmp eq i32 %13, 1
br i1 %44, label %142, label %45
45: ; preds = %12
%46 = getelementptr inbounds i64, i64* %14, i64 1
%47 = load i64, i64* %46
%48 = and i64 %47, 4294967295
%49 = lshr i64 %47, 32
%50 = mul nuw i64 %48, %11
%51 = mul nuw i64 %48, %10
%52 = mul nuw i64 %49, %10
%53 = mul nuw i64 %49, %11
%54 = add i64 %50, %52
%55 = icmp ult i64 %54, %52
%56 = add i64 %53, 4294967296
%57 = select i1 %55, i64 %56, i64 %53
%58 = lshr i64 %54, 32
%59 = add i64 %57, %58
%60 = shl i64 %54, 32
%61 = add i64 %60, %51
%62 = icmp ult i64 %61, %60
%63 = zext i1 %62 to i64
%64 = add i64 %59, %63
%65 = add i64 %61, %43
%66 = icmp ult i64 %65, %43
%67 = zext i1 %66 to i64
%68 = add i64 %64, %67
%69 = getelementptr inbounds i64, i64* %16, i64 1
%70 = load i64, i64* %69
%71 = add i64 %65, %70
%72 = icmp ult i64 %71, %70
%73 = zext i1 %72 to i64
%74 = add i64 %68, %73
store i64 %71, i64* %69
%75 = icmp eq i32 %13, 2
br i1 %75, label %142, label %76
76: ; preds = %45
%77 = getelementptr inbounds i64, i64* %14, i64 2
%78 = load i64, i64* %77
%79 = and i64 %78, 4294967295
%80 = lshr i64 %78, 32
%81 = mul nuw i64 %79, %11
%82 = mul nuw i64 %79, %10
%83 = mul nuw i64 %80, %10
%84 = mul nuw i64 %80, %11
%85 = add i64 %81, %83
%86 = icmp ult i64 %85, %83
%87 = add i64 %84, 4294967296
%88 = select i1 %86, i64 %87, i64 %84
%89 = lshr i64 %85, 32
%90 = add i64 %88, %89
%91 = shl i64 %85, 32
%92 = add i64 %91, %82
%93 = icmp ult i64 %92, %91
%94 = zext i1 %93 to i64
%95 = add i64 %90, %94
%96 = add i64 %92, %74
%97 = icmp ult i64 %96, %74
%98 = zext i1 %97 to i64
%99 = add i64 %95, %98
%100 = getelementptr inbounds i64, i64* %16, i64 2
%101 = load i64, i64* %100
%102 = add i64 %96, %101
%103 = icmp ult i64 %102, %101
%104 = zext i1 %103 to i64
%105 = add i64 %99, %104
store i64 %102, i64* %100
%106 = icmp eq i32 %13, 3
br i1 %106, label %142, label %107
107: ; preds = %76
%108 = getelementptr inbounds i64, i64* %14, i64 3
%109 = load i64, i64* %108
%110 = and i64 %109, 4294967295
%111 = lshr i64 %109, 32
%112 = mul nuw i64 %110, %11
%113 = mul nuw i64 %110, %10
%114 = mul nuw i64 %111, %10
%115 = mul nuw i64 %111, %11
%116 = add i64 %112, %114
%117 = icmp ult i64 %116, %114
%118 = add i64 %115, 4294967296
%119 = select i1 %117, i64 %118, i64 %115
%120 = lshr i64 %116, 32
%121 = add i64 %119, %120
%122 = shl i64 %116, 32
%123 = add i64 %122, %113
%124 = icmp ult i64 %123, %122
%125 = zext i1 %124 to i64
%126 = add i64 %121, %125
%127 = add i64 %123, %105
%128 = icmp ult i64 %127, %105
%129 = zext i1 %128 to i64
%130 = add i64 %126, %129
%131 = getelementptr inbounds i64, i64* %16, i64 3
%132 = load i64, i64* %131
%133 = add i64 %127, %132
%134 = icmp ult i64 %133, %132
%135 = zext i1 %134 to i64
%136 = add i64 %130, %135
store i64 %133, i64* %131
%137 = add nsw i32 %13, -4
%138 = icmp eq i32 %137, 0
br i1 %138, label %142, label %139
139: ; preds = %107
%140 = getelementptr inbounds i64, i64* %14, i64 4
%141 = getelementptr inbounds i64, i64* %16, i64 4
br label %12
142: ; preds = %12, %45, %76, %107, %4
%143 = phi i64 [ 0, %4 ], [ %136, %107 ], [ %105, %76 ], [ %74, %45 ], [ %43, %12 ]
ret i64 %143
}