#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 int w;
typedef scalar_t__ m;
typedef unsigned int h;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
unsigned int bn_mul_add_words(unsigned int *rp, const unsigned int *ap, int num,
                              unsigned int w) {
  unsigned int c = 0;
  unsigned int bl, bh;
  assert(num >= 0);
  if (num <= 0)
    return (unsigned int)0;
  bl = ((w) & (0xffff));
  bh = (((w) >> 16) & (0xffff));
  for (;;) {
    {
      unsigned int l, h;
      h = (ap[0]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      {
        unsigned int 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 int)((1L) & (0xffff)) << 16);
        }
        ht += (((m) >> 16) & (0xffff));
        m1 = ((unsigned int)((m) & (0xffff)) << 16);
        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 int l, h;
      h = (ap[1]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      {
        unsigned int 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 int)((1L) & (0xffff)) << 16);
        }
        ht += (((m) >> 16) & (0xffff));
        m1 = ((unsigned int)((m) & (0xffff)) << 16);
        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 int l, h;
      h = (ap[2]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      {
        unsigned int 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 int)((1L) & (0xffff)) << 16);
        }
        ht += (((m) >> 16) & (0xffff));
        m1 = ((unsigned int)((m) & (0xffff)) << 16);
        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 int l, h;
      h = (ap[3]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      {
        unsigned int 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 int)((1L) & (0xffff)) << 16);
        }
        ht += (((m) >> 16) & (0xffff));
        m1 = ((unsigned int)((m) & (0xffff)) << 16);
        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    $0x90,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %ecx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x0,-0x1c(%rbp)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpl   $0x0,-0x1c(%rbp)
jg     1157 <bn_mul_add_words+0x47>
movl   $0x0,-0x4(%rbp)
jmp    17b3 <bn_mul_add_words+0x6a3>
mov    -0x20(%rbp),%eax
and    $0xffff,%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
shr    $0x10,%eax
and    $0xffff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
and    $0xffff,%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
shr    $0x10,%eax
and    $0xffff,%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x34(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x40(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%eax
imul   -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%eax
imul   -0x44(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jae    11f5 <bn_mul_add_words+0xe5>
mov    -0x44(%rbp),%eax
add    $0x10000,%eax
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%eax
shr    $0x10,%eax
and    $0xffff,%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%eax
and    $0xffff,%eax
shl    $0x10,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x40(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jae    1241 <bn_mul_add_words+0x131>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    127a <bn_mul_add_words+0x16a>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x30(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    12b0 <bn_mul_add_words+0x1a0>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x24(%rbp)
mov    -0x30(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    12e3 <bn_mul_add_words+0x1d3>
jmp    17ad <bn_mul_add_words+0x69d>
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
and    $0xffff,%eax
mov    %eax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
shr    $0x10,%eax
and    $0xffff,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x48(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x58(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x28(%rbp),%eax
imul   -0x58(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x28(%rbp),%eax
imul   -0x5c(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x50(%rbp),%eax
add    -0x54(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x54(%rbp),%eax
jae    1369 <bn_mul_add_words+0x259>
mov    -0x5c(%rbp),%eax
add    $0x10000,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x50(%rbp),%eax
shr    $0x10,%eax
and    $0xffff,%eax
add    -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x50(%rbp),%eax
and    $0xffff,%eax
shl    $0x10,%eax
mov    %eax,-0x54(%rbp)
mov    -0x58(%rbp),%eax
add    -0x54(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
cmp    -0x54(%rbp),%eax
jae    13b5 <bn_mul_add_words+0x2a5>
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x58(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x48(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    13ee <bn_mul_add_words+0x2de>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x48(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    1425 <bn_mul_add_words+0x315>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x24(%rbp)
mov    -0x48(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    1459 <bn_mul_add_words+0x349>
jmp    17ad <bn_mul_add_words+0x69d>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x64(%rbp)
mov    -0x64(%rbp),%eax
and    $0xffff,%eax
mov    %eax,-0x60(%rbp)
mov    -0x64(%rbp),%eax
shr    $0x10,%eax
and    $0xffff,%eax
mov    %eax,-0x64(%rbp)
mov    -0x60(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x64(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x70(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x28(%rbp),%eax
imul   -0x70(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x28(%rbp),%eax
imul   -0x74(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x74(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x68(%rbp),%eax
add    -0x6c(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x68(%rbp)
mov    -0x68(%rbp),%eax
cmp    -0x6c(%rbp),%eax
jae    14df <bn_mul_add_words+0x3cf>
mov    -0x74(%rbp),%eax
add    $0x10000,%eax
mov    %eax,-0x74(%rbp)
mov    -0x68(%rbp),%eax
shr    $0x10,%eax
and    $0xffff,%eax
add    -0x74(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x68(%rbp),%eax
and    $0xffff,%eax
shl    $0x10,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x70(%rbp),%eax
add    -0x6c(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x70(%rbp)
mov    -0x70(%rbp),%eax
cmp    -0x6c(%rbp),%eax
jae    152b <bn_mul_add_words+0x41b>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
mov    -0x70(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x74(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x60(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x60(%rbp)
mov    -0x60(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    1564 <bn_mul_add_words+0x454>
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x60(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x60(%rbp)
mov    -0x60(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    159b <bn_mul_add_words+0x48b>
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
mov    -0x64(%rbp),%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x24(%rbp)
mov    -0x60(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x8(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    15cf <bn_mul_add_words+0x4bf>
jmp    17ad <bn_mul_add_words+0x69d>
mov    -0x18(%rbp),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x7c(%rbp)
mov    -0x7c(%rbp),%eax
and    $0xffff,%eax
mov    %eax,-0x78(%rbp)
mov    -0x7c(%rbp),%eax
shr    $0x10,%eax
and    $0xffff,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x78(%rbp),%eax
mov    %eax,-0x88(%rbp)
mov    -0x7c(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x88(%rbp),%eax
mov    %eax,-0x80(%rbp)
mov    -0x28(%rbp),%eax
imul   -0x88(%rbp),%eax
mov    %eax,-0x88(%rbp)
mov    -0x28(%rbp),%eax
imul   -0x8c(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x8c(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x80(%rbp),%eax
add    -0x84(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x80(%rbp)
mov    -0x80(%rbp),%eax
cmp    -0x84(%rbp),%eax
jae    167c <bn_mul_add_words+0x56c>
mov    -0x8c(%rbp),%eax
add    $0x10000,%eax
mov    %eax,-0x8c(%rbp)
mov    -0x80(%rbp),%eax
shr    $0x10,%eax
and    $0xffff,%eax
add    -0x8c(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x80(%rbp),%eax
and    $0xffff,%eax
shl    $0x10,%eax
mov    %eax,-0x84(%rbp)
mov    -0x88(%rbp),%eax
add    -0x84(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x88(%rbp)
mov    -0x88(%rbp),%eax
cmp    -0x84(%rbp),%eax
jae    16e6 <bn_mul_add_words+0x5d6>
mov    -0x8c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8c(%rbp)
mov    -0x88(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x8c(%rbp),%eax
mov    %eax,-0x7c(%rbp)
mov    -0x78(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x78(%rbp)
mov    -0x78(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    1725 <bn_mul_add_words+0x615>
mov    -0x7c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x10(%rbp),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x78(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x78(%rbp)
mov    -0x78(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    175c <bn_mul_add_words+0x64c>
mov    -0x7c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x7c(%rbp),%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x24(%rbp)
mov    -0x78(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0xc(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    1790 <bn_mul_add_words+0x680>
jmp    17ad <bn_mul_add_words+0x69d>
mov    -0x18(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x10(%rbp)
jmp    1170 <bn_mul_add_words+0x60>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bn_mul_add_words>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %ecx,%r12d
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    1295 <bn_mul_add_words+0x185>
movzwl %r12w,%r13d
shr    $0x10,%r12d
mov    %ebp,%r11d
lea    -0x3(%r11),%r8
lea    -0x2(%r11),%r9
lea    -0x1(%r11),%r10
add    $0xfffffffffffffffc,%r11
xor    %esi,%esi
xor    %edi,%edi
nopl   0x0(%rax)
mov    (%r14,%rsi,4),%eax
movzwl %ax,%edx
shr    $0x10,%eax
mov    %edx,%ebp
imul   %r12d,%ebp
imul   %r13d,%edx
mov    %eax,%ebx
imul   %r13d,%ebx
imul   %r12d,%eax
lea    0x10000(%rax),%ecx
add    %ebp,%ebx
cmovae %eax,%ecx
mov    %ebx,%ebp
shr    $0x10,%ebp
shl    $0x10,%ebx
add    %edx,%ebx
adc    %ecx,%ebp
xor    %eax,%eax
add    %edi,%ebx
setb   %al
add    %ebx,(%r15,%rsi,4)
adc    %ebp,%eax
cmp    %esi,%r10d
je     129b <bn_mul_add_words+0x18b>
mov    0x4(%r14,%rsi,4),%ecx
movzwl %cx,%edx
shr    $0x10,%ecx
mov    %edx,%edi
imul   %r12d,%edi
imul   %r13d,%edx
mov    %ecx,%ebx
imul   %r13d,%ebx
imul   %r12d,%ecx
lea    0x10000(%rcx),%ebp
add    %edi,%ebx
cmovae %ecx,%ebp
mov    %ebx,%ecx
shr    $0x10,%ecx
shl    $0x10,%ebx
add    %edx,%ebx
adc    %ebp,%ecx
xor    %edi,%edi
add    %eax,%ebx
setb   %dil
add    %ebx,0x4(%r15,%rsi,4)
adc    %ecx,%edi
cmp    %esi,%r9d
je     1299 <bn_mul_add_words+0x189>
mov    0x8(%r14,%rsi,4),%eax
movzwl %ax,%ecx
shr    $0x10,%eax
mov    %ecx,%edx
imul   %r12d,%edx
imul   %r13d,%ecx
mov    %eax,%ebx
imul   %r13d,%ebx
imul   %r12d,%eax
lea    0x10000(%rax),%ebp
add    %edx,%ebx
cmovae %eax,%ebp
mov    %ebx,%edx
shr    $0x10,%edx
shl    $0x10,%ebx
add    %ecx,%ebx
adc    %ebp,%edx
xor    %eax,%eax
add    %edi,%ebx
setb   %al
add    %ebx,0x8(%r15,%rsi,4)
adc    %edx,%eax
cmp    %esi,%r8d
je     129b <bn_mul_add_words+0x18b>
mov    0xc(%r14,%rsi,4),%ecx
movzwl %cx,%edx
shr    $0x10,%ecx
mov    %edx,%edi
imul   %r12d,%edi
imul   %r13d,%edx
mov    %ecx,%ebx
imul   %r13d,%ebx
imul   %r12d,%ecx
lea    0x10000(%rcx),%ebp
add    %edi,%ebx
cmovae %ecx,%ebp
mov    %ebx,%ecx
shr    $0x10,%ecx
shl    $0x10,%ebx
add    %edx,%ebx
adc    %ebp,%ecx
xor    %edi,%edi
add    %eax,%ebx
setb   %dil
add    %ebx,0xc(%r15,%rsi,4)
adc    %ecx,%edi
cmp    %esi,%r11d
je     1299 <bn_mul_add_words+0x189>
add    $0x4,%rsi
jmp    1160 <bn_mul_add_words+0x50>
xor    %eax,%eax
jmp    129b <bn_mul_add_words+0x18b>
mov    %edi,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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