#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 w;
typedef unsigned long h;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
unsigned long bn_mul_add_words(unsigned long *rp, const unsigned long *ap,
                               int num, unsigned long w) {
  unsigned long c = 0;
  unsigned long bl, bh;
  assert(num >= 0);
  if (num <= 0)
    return ((unsigned long)0);
  bl = ((w) & (0xffff));
  bh = (((w) >> 16) & (0xffff));
  for (;;) {
    {
      unsigned long l, h;
      h = (ap[0]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      {
        unsigned long m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffL);
        if (m < m1)
          ht += ((((unsigned long)1) << 16) & (0xffffffffL));
        ht += (((m) >> 16) & (0xffff));
        m1 = (((m) << 16) & (0xffffffffL));
        lt = (lt + m1) & (0xffffffffL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l = (l + (c)) & (0xffffffffL);
      if (l < (c))
        h++;
      (c) = (rp[0]);
      l = (l + (c)) & (0xffffffffL);
      if (l < (c))
        h++;
      (c) = h & (0xffffffffL);
      (rp[0]) = l;
    };
    if (--num == 0)
      break;
    {
      unsigned long l, h;
      h = (ap[1]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      {
        unsigned long m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffL);
        if (m < m1)
          ht += ((((unsigned long)1) << 16) & (0xffffffffL));
        ht += (((m) >> 16) & (0xffff));
        m1 = (((m) << 16) & (0xffffffffL));
        lt = (lt + m1) & (0xffffffffL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l = (l + (c)) & (0xffffffffL);
      if (l < (c))
        h++;
      (c) = (rp[1]);
      l = (l + (c)) & (0xffffffffL);
      if (l < (c))
        h++;
      (c) = h & (0xffffffffL);
      (rp[1]) = l;
    };
    if (--num == 0)
      break;
    {
      unsigned long l, h;
      h = (ap[2]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      {
        unsigned long m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffL);
        if (m < m1)
          ht += ((((unsigned long)1) << 16) & (0xffffffffL));
        ht += (((m) >> 16) & (0xffff));
        m1 = (((m) << 16) & (0xffffffffL));
        lt = (lt + m1) & (0xffffffffL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l = (l + (c)) & (0xffffffffL);
      if (l < (c))
        h++;
      (c) = (rp[2]);
      l = (l + (c)) & (0xffffffffL);
      if (l < (c))
        h++;
      (c) = h & (0xffffffffL);
      (rp[2]) = l;
    };
    if (--num == 0)
      break;
    {
      unsigned long l, h;
      h = (ap[3]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      {
        unsigned long m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffL);
        if (m < m1)
          ht += ((((unsigned long)1) << 16) & (0xffffffffL));
        ht += (((m) >> 16) & (0xffff));
        m1 = (((m) << 16) & (0xffffffffL));
        lt = (lt + m1) & (0xffffffffL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l = (l + (c)) & (0xffffffffL);
      if (l < (c))
        h++;
      (c) = (rp[3]);
      l = (l + (c)) & (0xffffffffL);
      if (l < (c))
        h++;
      (c) = h & (0xffffffffL);
      (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    1a29 <bn_mul_add_words+0x919>
mov    -0x28(%rbp),%rax
and    $0xffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%rax
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
and    $0xffff,%rax
mov    %rax,-0x48(%rbp)
mov    -0x50(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%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
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
cmp    -0x60(%rbp),%rax
jae    121e <bn_mul_add_words+0x10e>
mov    -0x70(%rbp),%rax
add    $0x10000,%rax
mov    %rax,-0x70(%rbp)
mov    -0x58(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%rax
add    -0x70(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x58(%rbp),%rax
shl    $0x10,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x60(%rbp)
mov    -0x68(%rbp),%rax
add    -0x60(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x60(%rbp),%rax
jae    1280 <bn_mul_add_words+0x170>
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
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    12c3 <bn_mul_add_words+0x1b3>
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
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    1301 <bn_mul_add_words+0x1f1>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
movabs $0xffffffff,%rax
and    -0x50(%rbp),%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    1335 <bn_mul_add_words+0x225>
jmp    1a21 <bn_mul_add_words+0x911>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x80(%rbp)
mov    -0x80(%rbp),%rax
and    $0xffff,%rax
mov    %rax,-0x78(%rbp)
mov    -0x80(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%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
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x88(%rbp)
mov    -0x88(%rbp),%rax
cmp    -0x90(%rbp),%rax
jae    140d <bn_mul_add_words+0x2fd>
mov    -0xa0(%rbp),%rax
add    $0x10000,%rax
mov    %rax,-0xa0(%rbp)
mov    -0x88(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%rax
add    -0xa0(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0x88(%rbp),%rax
shl    $0x10,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x90(%rbp)
mov    -0x98(%rbp),%rax
add    -0x90(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rax
cmp    -0x90(%rbp),%rax
jae    1493 <bn_mul_add_words+0x383>
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
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    14dc <bn_mul_add_words+0x3cc>
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
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    151b <bn_mul_add_words+0x40b>
mov    -0x80(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x80(%rbp)
movabs $0xffffffff,%rax
and    -0x80(%rbp),%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    1550 <bn_mul_add_words+0x440>
jmp    1a21 <bn_mul_add_words+0x911>
mov    -0x18(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0xb0(%rbp)
mov    -0xb0(%rbp),%rax
and    $0xffff,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xb0(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%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
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xb8(%rbp)
mov    -0xb8(%rbp),%rax
cmp    -0xc0(%rbp),%rax
jae    163d <bn_mul_add_words+0x52d>
mov    -0xd0(%rbp),%rax
add    $0x10000,%rax
mov    %rax,-0xd0(%rbp)
mov    -0xb8(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%rax
add    -0xd0(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0xb8(%rbp),%rax
shl    $0x10,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xc0(%rbp)
mov    -0xc8(%rbp),%rax
add    -0xc0(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xc8(%rbp)
mov    -0xc8(%rbp),%rax
cmp    -0xc0(%rbp),%rax
jae    16c3 <bn_mul_add_words+0x5b3>
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
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    1721 <bn_mul_add_words+0x611>
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
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    176f <bn_mul_add_words+0x65f>
mov    -0xb0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xb0(%rbp)
movabs $0xffffffff,%rax
and    -0xb0(%rbp),%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    17aa <bn_mul_add_words+0x69a>
jmp    1a21 <bn_mul_add_words+0x911>
mov    -0x18(%rbp),%rax
mov    0x18(%rax),%rax
mov    %rax,-0xe0(%rbp)
mov    -0xe0(%rbp),%rax
and    $0xffff,%rax
mov    %rax,-0xd8(%rbp)
mov    -0xe0(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%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
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xe8(%rbp)
mov    -0xe8(%rbp),%rax
cmp    -0xf0(%rbp),%rax
jae    1897 <bn_mul_add_words+0x787>
mov    -0x100(%rbp),%rax
add    $0x10000,%rax
mov    %rax,-0x100(%rbp)
mov    -0xe8(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%rax
add    -0x100(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0xe8(%rbp),%rax
shl    $0x10,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xf0(%rbp)
mov    -0xf8(%rbp),%rax
add    -0xf0(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xf8(%rbp)
mov    -0xf8(%rbp),%rax
cmp    -0xf0(%rbp),%rax
jae    191d <bn_mul_add_words+0x80d>
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
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xd8(%rbp)
mov    -0xd8(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    197b <bn_mul_add_words+0x86b>
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
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xd8(%rbp)
mov    -0xd8(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    19c9 <bn_mul_add_words+0x8b9>
mov    -0xe0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xe0(%rbp)
movabs $0xffffffff,%rax
and    -0xe0(%rbp),%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    1a04 <bn_mul_add_words+0x8f4>
jmp    1a21 <bn_mul_add_words+0x911>
mov    -0x18(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x10(%rbp)
jmp    117a <bn_mul_add_words+0x6a>
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    1358 <bn_mul_add_words+0x248>
movzwl %r13w,%r12d
shr    $0x10,%r13d
mov    %ebp,%r11d
lea    -0x3(%r11),%rax
mov    %rax,(%rsp)
lea    -0x2(%r11),%rax
mov    %rax,0x8(%rsp)
lea    -0x1(%r11),%rax
mov    %rax,0x10(%rsp)
add    $0xfffffffffffffffc,%r11
xor    %r9d,%r9d
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
mov    (%r14,%r9,8),%rdx
movzwl %dx,%ecx
shr    $0x10,%edx
mov    %rcx,%rax
imul   %r13,%rax
imul   %r12,%rcx
mov    %rdx,%rbp
imul   %r12,%rbp
imul   %r13,%rdx
add    %rbp,%rax
mov    %eax,%ebx
lea    0x10000(%rdx),%r8
cmp    %rbp,%rbx
cmovae %rdx,%r8
mov    %eax,%ebp
shr    $0x10,%ebp
add    %r8,%rbp
shl    $0x10,%rax
mov    %eax,%edx
add    %rcx,%rax
mov    %eax,%ecx
cmp    %rdx,%rcx
adc    $0x0,%rbp
add    %rdi,%rax
mov    %eax,%ecx
cmp    %rdi,%rcx
adc    $0x0,%rbp
mov    (%r15,%r9,8),%rcx
lea    (%rcx,%rax,1),%edx
cmp    %rcx,%rdx
adc    $0x0,%rbp
mov    %ebp,%eax
mov    %rdx,(%r15,%r9,8)
cmp    %r9d,0x10(%rsp)
je     135f <bn_mul_add_words+0x24f>
mov    0x8(%r14,%r9,8),%rdi
movzwl %di,%ecx
shr    $0x10,%edi
mov    %rcx,%rdx
imul   %r13,%rdx
imul   %r12,%rcx
mov    %rdi,%rbx
imul   %r12,%rbx
imul   %r13,%rdi
add    %rbx,%rdx
mov    %edx,%r8d
lea    0x10000(%rdi),%rsi
cmp    %rbx,%r8
cmovae %rdi,%rsi
mov    %edx,%edi
shr    $0x10,%edi
add    %rsi,%rdi
shl    $0x10,%rdx
mov    %edx,%esi
add    %rcx,%rdx
mov    %edx,%ecx
cmp    %rsi,%rcx
adc    $0x0,%rdi
add    %rbp,%rdx
mov    %edx,%ecx
cmp    %rax,%rcx
adc    $0x0,%rdi
mov    0x8(%r15,%r9,8),%rax
lea    (%rax,%rdx,1),%ecx
cmp    %rax,%rcx
adc    $0x0,%rdi
mov    %edi,%eax
mov    %rcx,0x8(%r15,%r9,8)
cmp    %r9d,0x8(%rsp)
je     135f <bn_mul_add_words+0x24f>
mov    0x10(%r14,%r9,8),%rsi
movzwl %si,%ecx
shr    $0x10,%esi
mov    %rcx,%rdx
imul   %r13,%rdx
imul   %r12,%rcx
mov    %rsi,%rbp
imul   %r12,%rbp
imul   %r13,%rsi
add    %rbp,%rdx
mov    %edx,%r8d
lea    0x10000(%rsi),%rbx
cmp    %rbp,%r8
cmovae %rsi,%rbx
mov    %edx,%ebp
shr    $0x10,%ebp
add    %rbx,%rbp
shl    $0x10,%rdx
mov    %edx,%esi
add    %rcx,%rdx
mov    %edx,%ecx
cmp    %rsi,%rcx
adc    $0x0,%rbp
add    %rdi,%rdx
mov    %edx,%ecx
cmp    %rax,%rcx
adc    $0x0,%rbp
mov    0x10(%r15,%r9,8),%rax
lea    (%rax,%rdx,1),%ecx
cmp    %rax,%rcx
adc    $0x0,%rbp
mov    %ebp,%eax
mov    %rcx,0x10(%r15,%r9,8)
cmp    %r9d,(%rsp)
je     135f <bn_mul_add_words+0x24f>
mov    0x18(%r14,%r9,8),%rsi
movzwl %si,%ecx
shr    $0x10,%esi
mov    %rcx,%rdx
imul   %r13,%rdx
imul   %r12,%rcx
mov    %r13d,%ebx
imul   %esi,%ebx
imul   %r12,%rsi
add    %rsi,%rdx
mov    %edx,%r8d
lea    0x10000(%rbx),%edi
mov    %edx,%r10d
shr    $0x10,%r10d
cmp    %rsi,%r8
cmovae %ebx,%edi
add    %r10d,%edi
shl    $0x10,%rdx
mov    %edx,%esi
add    %rcx,%rdx
mov    %edx,%ecx
cmp    %rsi,%rcx
adc    $0x0,%edi
add    %rbp,%rdx
mov    %edx,%ecx
cmp    %rax,%rcx
adc    $0x0,%edi
mov    0x18(%r15,%r9,8),%rax
lea    (%rax,%rdx,1),%ecx
cmp    %rax,%rcx
adc    $0x0,%edi
mov    %rcx,0x18(%r15,%r9,8)
cmp    %r9d,%r11d
je     135c <bn_mul_add_words+0x24c>
add    $0x4,%r9
jmp    1170 <bn_mul_add_words+0x60>
xor    %eax,%eax
jmp    135f <bn_mul_add_words+0x24f>
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, 65535
store i64 %46, i64* %11
%47 = load i64, i64* %9
%48 = lshr i64 %47, 16
%49 = and i64 %48, 65535
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, 65535
store i64 %55, i64* %13
%56 = load i64, i64* %14
%57 = lshr i64 %56, 16
%58 = and i64 %57, 65535
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, 4294967295
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, 65536
store i64 %82, i64* %18
br label %83
83: ; preds = %80, %50
%84 = load i64, i64* %15
%85 = lshr i64 %84, 16
%86 = and i64 %85, 65535
%87 = load i64, i64* %18
%88 = add i64 %87, %86
store i64 %88, i64* %18
%89 = load i64, i64* %15
%90 = shl i64 %89, 16
%91 = and i64 %90, 4294967295
store i64 %91, i64* %16
%92 = load i64, i64* %17
%93 = load i64, i64* %16
%94 = add i64 %92, %93
%95 = and i64 %94, 4294967295
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, 4294967295
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, 4294967295
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, 4294967295
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, 65535
store i64 %144, i64* %19
%145 = load i64, i64* %20
%146 = lshr i64 %145, 16
%147 = and i64 %146, 65535
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, 4294967295
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, 65536
store i64 %171, i64* %24
br label %172
172: ; preds = %169, %139
%173 = load i64, i64* %21
%174 = lshr i64 %173, 16
%175 = and i64 %174, 65535
%176 = load i64, i64* %24
%177 = add i64 %176, %175
store i64 %177, i64* %24
%178 = load i64, i64* %21
%179 = shl i64 %178, 16
%180 = and i64 %179, 4294967295
store i64 %180, i64* %22
%181 = load i64, i64* %23
%182 = load i64, i64* %22
%183 = add i64 %181, %182
%184 = and i64 %183, 4294967295
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, 4294967295
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, 4294967295
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, 4294967295
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, 65535
store i64 %233, i64* %25
%234 = load i64, i64* %26
%235 = lshr i64 %234, 16
%236 = and i64 %235, 65535
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, 4294967295
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, 65536
store i64 %260, i64* %30
br label %261
261: ; preds = %258, %228
%262 = load i64, i64* %27
%263 = lshr i64 %262, 16
%264 = and i64 %263, 65535
%265 = load i64, i64* %30
%266 = add i64 %265, %264
store i64 %266, i64* %30
%267 = load i64, i64* %27
%268 = shl i64 %267, 16
%269 = and i64 %268, 4294967295
store i64 %269, i64* %28
%270 = load i64, i64* %29
%271 = load i64, i64* %28
%272 = add i64 %270, %271
%273 = and i64 %272, 4294967295
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, 4294967295
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, 4294967295
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, 4294967295
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, 65535
store i64 %322, i64* %31
%323 = load i64, i64* %32
%324 = lshr i64 %323, 16
%325 = and i64 %324, 65535
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, 4294967295
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, 65536
store i64 %349, i64* %36
br label %350
350: ; preds = %347, %317
%351 = load i64, i64* %33
%352 = lshr i64 %351, 16
%353 = and i64 %352, 65535
%354 = load i64, i64* %36
%355 = add i64 %354, %353
store i64 %355, i64* %36
%356 = load i64, i64* %33
%357 = shl i64 %356, 16
%358 = and i64 %357, 4294967295
store i64 %358, i64* %34
%359 = load i64, i64* %35
%360 = load i64, i64* %34
%361 = add i64 %359, %360
%362 = and i64 %361, 4294967295
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, 4294967295
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, 4294967295
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, 4294967295
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 %175, label %9
9: ; preds = %4
%10 = and i64 %3, 65535
%11 = lshr i64 %3, 16
%12 = and i64 %11, 65535
br label %13
13: ; preds = %172, %9
%14 = phi i32 [ %2, %9 ], [ %170, %172 ]
%15 = phi i64* [ %1, %9 ], [ %173, %172 ]
%16 = phi i64 [ 0, %9 ], [ %169, %172 ]
%17 = phi i64* [ %0, %9 ], [ %174, %172 ]
%18 = load i64, i64* %15
%19 = and i64 %18, 65535
%20 = lshr i64 %18, 16
%21 = and i64 %20, 65535
%22 = mul nuw nsw i64 %19, %12
%23 = mul nuw nsw i64 %19, %10
%24 = mul nuw nsw i64 %21, %10
%25 = mul nuw nsw i64 %21, %12
%26 = add nuw nsw i64 %24, %22
%27 = and i64 %26, 4294967295
%28 = icmp ult i64 %27, %24
%29 = add nuw nsw i64 %25, 65536
%30 = select i1 %28, i64 %29, i64 %25
%31 = lshr i64 %26, 16
%32 = and i64 %31, 65535
%33 = add nuw nsw i64 %30, %32
%34 = shl nuw nsw i64 %26, 16
%35 = and i64 %34, 4294901760
%36 = add nuw nsw i64 %34, %23
%37 = and i64 %36, 4294967295
%38 = icmp ult i64 %37, %35
%39 = zext i1 %38 to i64
%40 = add nuw nsw i64 %33, %39
%41 = add nuw nsw i64 %36, %16
%42 = and i64 %41, 4294967295
%43 = icmp ult i64 %42, %16
%44 = zext i1 %43 to i64
%45 = add nuw nsw i64 %40, %44
%46 = load i64, i64* %17
%47 = add i64 %41, %46
%48 = and i64 %47, 4294967295
%49 = icmp ult i64 %48, %46
%50 = zext i1 %49 to i64
%51 = add i64 %45, %50
%52 = and i64 %51, 4294967295
store i64 %48, i64* %17
%53 = icmp eq i32 %14, 1
br i1 %53, label %175, label %54
54: ; preds = %13
%55 = getelementptr inbounds i64, i64* %15, i64 1
%56 = load i64, i64* %55
%57 = and i64 %56, 65535
%58 = lshr i64 %56, 16
%59 = and i64 %58, 65535
%60 = mul nuw nsw i64 %57, %12
%61 = mul nuw nsw i64 %57, %10
%62 = mul nuw nsw i64 %59, %10
%63 = mul nuw nsw i64 %59, %12
%64 = add nuw nsw i64 %62, %60
%65 = and i64 %64, 4294967295
%66 = icmp ult i64 %65, %62
%67 = add nuw nsw i64 %63, 65536
%68 = select i1 %66, i64 %67, i64 %63
%69 = lshr i64 %64, 16
%70 = and i64 %69, 65535
%71 = add nuw nsw i64 %68, %70
%72 = shl nuw nsw i64 %64, 16
%73 = and i64 %72, 4294901760
%74 = add nuw nsw i64 %72, %61
%75 = and i64 %74, 4294967295
%76 = icmp ult i64 %75, %73
%77 = zext i1 %76 to i64
%78 = add nuw nsw i64 %71, %77
%79 = add i64 %74, %51
%80 = and i64 %79, 4294967295
%81 = icmp ult i64 %80, %52
%82 = zext i1 %81 to i64
%83 = add nuw nsw i64 %78, %82
%84 = getelementptr inbounds i64, i64* %17, i64 1
%85 = load i64, i64* %84
%86 = add i64 %79, %85
%87 = and i64 %86, 4294967295
%88 = icmp ult i64 %87, %85
%89 = zext i1 %88 to i64
%90 = add i64 %83, %89
%91 = and i64 %90, 4294967295
store i64 %87, i64* %84
%92 = icmp eq i32 %14, 2
br i1 %92, label %175, label %93
93: ; preds = %54
%94 = getelementptr inbounds i64, i64* %15, i64 2
%95 = load i64, i64* %94
%96 = and i64 %95, 65535
%97 = lshr i64 %95, 16
%98 = and i64 %97, 65535
%99 = mul nuw nsw i64 %96, %12
%100 = mul nuw nsw i64 %96, %10
%101 = mul nuw nsw i64 %98, %10
%102 = mul nuw nsw i64 %98, %12
%103 = add nuw nsw i64 %101, %99
%104 = and i64 %103, 4294967295
%105 = icmp ult i64 %104, %101
%106 = add nuw nsw i64 %102, 65536
%107 = select i1 %105, i64 %106, i64 %102
%108 = lshr i64 %103, 16
%109 = and i64 %108, 65535
%110 = add nuw nsw i64 %107, %109
%111 = shl nuw nsw i64 %103, 16
%112 = and i64 %111, 4294901760
%113 = add nuw nsw i64 %111, %100
%114 = and i64 %113, 4294967295
%115 = icmp ult i64 %114, %112
%116 = zext i1 %115 to i64
%117 = add nuw nsw i64 %110, %116
%118 = add i64 %113, %90
%119 = and i64 %118, 4294967295
%120 = icmp ult i64 %119, %91
%121 = zext i1 %120 to i64
%122 = add nuw nsw i64 %117, %121
%123 = getelementptr inbounds i64, i64* %17, i64 2
%124 = load i64, i64* %123
%125 = add i64 %118, %124
%126 = and i64 %125, 4294967295
%127 = icmp ult i64 %126, %124
%128 = zext i1 %127 to i64
%129 = add i64 %122, %128
%130 = and i64 %129, 4294967295
store i64 %126, i64* %123
%131 = icmp eq i32 %14, 3
br i1 %131, label %175, label %132
132: ; preds = %93
%133 = getelementptr inbounds i64, i64* %15, i64 3
%134 = load i64, i64* %133
%135 = and i64 %134, 65535
%136 = lshr i64 %134, 16
%137 = and i64 %136, 65535
%138 = mul nuw nsw i64 %135, %12
%139 = mul nuw nsw i64 %135, %10
%140 = mul nuw nsw i64 %137, %10
%141 = mul nuw nsw i64 %137, %12
%142 = add nuw nsw i64 %140, %138
%143 = and i64 %142, 4294967295
%144 = icmp ult i64 %143, %140
%145 = add nuw nsw i64 %141, 65536
%146 = select i1 %144, i64 %145, i64 %141
%147 = lshr i64 %142, 16
%148 = and i64 %147, 65535
%149 = add nuw nsw i64 %146, %148
%150 = shl nuw nsw i64 %142, 16
%151 = and i64 %150, 4294901760
%152 = add nuw nsw i64 %150, %139
%153 = and i64 %152, 4294967295
%154 = icmp ult i64 %153, %151
%155 = zext i1 %154 to i64
%156 = add nuw nsw i64 %149, %155
%157 = add i64 %152, %129
%158 = and i64 %157, 4294967295
%159 = icmp ult i64 %158, %130
%160 = zext i1 %159 to i64
%161 = add nuw nsw i64 %156, %160
%162 = getelementptr inbounds i64, i64* %17, i64 3
%163 = load i64, i64* %162
%164 = add i64 %157, %163
%165 = and i64 %164, 4294967295
%166 = icmp ult i64 %165, %163
%167 = zext i1 %166 to i64
%168 = add i64 %161, %167
%169 = and i64 %168, 4294967295
store i64 %165, i64* %162
%170 = add nsw i32 %14, -4
%171 = icmp eq i32 %170, 0
br i1 %171, label %175, label %172
172: ; preds = %132
%173 = getelementptr inbounds i64, i64* %15, i64 4
%174 = getelementptr inbounds i64, i64* %17, i64 4
br label %13
175: ; preds = %13, %54, %93, %132, %4
%176 = phi i64 [ 0, %4 ], [ %169, %132 ], [ %130, %93 ], [ %91, %54 ], [ %52, %13 ]
ret i64 %176
}