#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_words(unsigned long *rp, const unsigned long *ap, int num,
                           unsigned long w) {
  unsigned long carry = 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 += (carry);
      if ((l & (0xffffffffL)) < (carry))
        h++;
      (carry) = h & (0xffffffffL);
      (rp[0]) = l & (0xffffffffL);
    };
    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 += (carry);
      if ((l & (0xffffffffL)) < (carry))
        h++;
      (carry) = h & (0xffffffffL);
      (rp[1]) = l & (0xffffffffL);
    };
    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 += (carry);
      if ((l & (0xffffffffL)) < (carry))
        h++;
      (carry) = h & (0xffffffffL);
      (rp[2]) = l & (0xffffffffL);
    };
    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 += (carry);
      if ((l & (0xffffffffL)) < (carry))
        h++;
      (carry) = h & (0xffffffffL);
      (rp[3]) = l & (0xffffffffL);
    };
    if (--num == 0)
      break;
    ap += 4;
    rp += 4;
  }
  return (carry);
}


x86 assembly (clang, -O0):
<bn_mul_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_words+0x4a>
movq   $0x0,-0x8(%rbp)
jmp    192c <bn_mul_words+0x81c>
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_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_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    -0x30(%rbp),%rax
add    -0x48(%rbp),%rax
mov    %rax,-0x48(%rbp)
movabs $0xffffffff,%rax
and    -0x48(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    12c0 <bn_mul_words+0x1b0>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
movabs $0xffffffff,%rax
and    -0x50(%rbp),%rax
mov    %rax,-0x30(%rbp)
movabs $0xffffffff,%rcx
and    -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    12fe <bn_mul_words+0x1ee>
jmp    1924 <bn_mul_words+0x814>
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    13d6 <bn_mul_words+0x2c6>
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    145c <bn_mul_words+0x34c>
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    -0x30(%rbp),%rax
add    -0x78(%rbp),%rax
mov    %rax,-0x78(%rbp)
movabs $0xffffffff,%rax
and    -0x78(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    14a2 <bn_mul_words+0x392>
mov    -0x80(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x80(%rbp)
movabs $0xffffffff,%rax
and    -0x80(%rbp),%rax
mov    %rax,-0x30(%rbp)
movabs $0xffffffff,%rcx
and    -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    14e1 <bn_mul_words+0x3d1>
jmp    1924 <bn_mul_words+0x814>
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    15ce <bn_mul_words+0x4be>
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    1654 <bn_mul_words+0x544>
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    -0x30(%rbp),%rax
add    -0xa8(%rbp),%rax
mov    %rax,-0xa8(%rbp)
movabs $0xffffffff,%rax
and    -0xa8(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    16af <bn_mul_words+0x59f>
mov    -0xb0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xb0(%rbp)
movabs $0xffffffff,%rax
and    -0xb0(%rbp),%rax
mov    %rax,-0x30(%rbp)
movabs $0xffffffff,%rcx
and    -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    16f4 <bn_mul_words+0x5e4>
jmp    1924 <bn_mul_words+0x814>
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    17e1 <bn_mul_words+0x6d1>
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    1867 <bn_mul_words+0x757>
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    -0x30(%rbp),%rax
add    -0xd8(%rbp),%rax
mov    %rax,-0xd8(%rbp)
movabs $0xffffffff,%rax
and    -0xd8(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    18c2 <bn_mul_words+0x7b2>
mov    -0xe0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xe0(%rbp)
movabs $0xffffffff,%rax
and    -0xe0(%rbp),%rax
mov    %rax,-0x30(%rbp)
movabs $0xffffffff,%rcx
and    -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    1907 <bn_mul_words+0x7f7>
jmp    1924 <bn_mul_words+0x814>
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_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_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    130f <bn_mul_words+0x1ff>
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
lea    (%rdi,%rax,1),%ecx
cmp    %rdi,%rcx
adc    $0x0,%rbp
mov    %ebp,%eax
mov    %rcx,(%r15,%r9,8)
cmp    %r9d,0x10(%rsp)
je     1316 <bn_mul_words+0x206>
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    %edx,%ebp
cmp    %rax,%rbp
adc    $0x0,%rdi
mov    %edi,%eax
mov    %rbp,0x8(%r15,%r9,8)
cmp    %r9d,0x8(%rsp)
je     1316 <bn_mul_words+0x206>
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    %edx,%edi
cmp    %rax,%rdi
adc    $0x0,%rbp
mov    %ebp,%eax
mov    %rdi,0x10(%r15,%r9,8)
cmp    %r9d,(%rsp)
je     1316 <bn_mul_words+0x206>
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    %edx,%ebp
cmp    %rax,%rbp
adc    $0x0,%edi
mov    %rbp,0x18(%r15,%r9,8)
cmp    %r9d,%r11d
je     1313 <bn_mul_words+0x203>
add    $0x4,%r9
jmp    1170 <bn_mul_words+0x60>
xor    %eax,%eax
jmp    1316 <bn_mul_words+0x206>
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_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 %361
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 = %354, %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* %10
%106 = load i64, i64* %13
%107 = add i64 %106, %105
store i64 %107, i64* %13
%108 = load i64, i64* %13
%109 = and i64 %108, 4294967295
%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* %14
%117 = and i64 %116, 4294967295
store i64 %117, i64* %10
%118 = load i64, i64* %13
%119 = and i64 %118, 4294967295
%120 = load i64*, i64** %6
%121 = getelementptr inbounds i64, i64* %120, i64 0
store i64 %119, i64* %121
%122 = load i32, i32* %8
%123 = add nsw i32 %122, -1
store i32 %123, i32* %8
%124 = icmp eq i32 %123, 0
br i1 %124, label %125, label %126
125: ; preds = %115
br label %359
126: ; preds = %115
%127 = load i64*, i64** %7
%128 = getelementptr inbounds i64, i64* %127, i64 1
%129 = load i64, i64* %128
store i64 %129, i64* %20
%130 = load i64, i64* %20
%131 = and i64 %130, 65535
store i64 %131, i64* %19
%132 = load i64, i64* %20
%133 = lshr i64 %132, 16
%134 = and i64 %133, 65535
store i64 %134, i64* %20
%135 = load i64, i64* %19
store i64 %135, i64* %23
%136 = load i64, i64* %20
store i64 %136, i64* %24
%137 = load i64, i64* %12
%138 = load i64, i64* %23
%139 = mul i64 %137, %138
store i64 %139, i64* %21
%140 = load i64, i64* %11
%141 = load i64, i64* %23
%142 = mul i64 %140, %141
store i64 %142, i64* %23
%143 = load i64, i64* %11
%144 = load i64, i64* %24
%145 = mul i64 %143, %144
store i64 %145, i64* %22
%146 = load i64, i64* %12
%147 = load i64, i64* %24
%148 = mul i64 %146, %147
store i64 %148, i64* %24
%149 = load i64, i64* %21
%150 = load i64, i64* %22
%151 = add i64 %149, %150
%152 = and i64 %151, 4294967295
store i64 %152, i64* %21
%153 = load i64, i64* %21
%154 = load i64, i64* %22
%155 = icmp ult i64 %153, %154
br i1 %155, label %156, label %159
156: ; preds = %126
%157 = load i64, i64* %24
%158 = add i64 %157, 65536
store i64 %158, i64* %24
br label %159
159: ; preds = %156, %126
%160 = load i64, i64* %21
%161 = lshr i64 %160, 16
%162 = and i64 %161, 65535
%163 = load i64, i64* %24
%164 = add i64 %163, %162
store i64 %164, i64* %24
%165 = load i64, i64* %21
%166 = shl i64 %165, 16
%167 = and i64 %166, 4294967295
store i64 %167, i64* %22
%168 = load i64, i64* %23
%169 = load i64, i64* %22
%170 = add i64 %168, %169
%171 = and i64 %170, 4294967295
store i64 %171, i64* %23
%172 = load i64, i64* %23
%173 = load i64, i64* %22
%174 = icmp ult i64 %172, %173
br i1 %174, label %175, label %178
175: ; preds = %159
%176 = load i64, i64* %24
%177 = add i64 %176, 1
store i64 %177, i64* %24
br label %178
178: ; preds = %175, %159
%179 = load i64, i64* %23
store i64 %179, i64* %19
%180 = load i64, i64* %24
store i64 %180, i64* %20
%181 = load i64, i64* %10
%182 = load i64, i64* %19
%183 = add i64 %182, %181
store i64 %183, i64* %19
%184 = load i64, i64* %19
%185 = and i64 %184, 4294967295
%186 = load i64, i64* %10
%187 = icmp ult i64 %185, %186
br i1 %187, label %188, label %191
188: ; preds = %178
%189 = load i64, i64* %20
%190 = add i64 %189, 1
store i64 %190, i64* %20
br label %191
191: ; preds = %188, %178
%192 = load i64, i64* %20
%193 = and i64 %192, 4294967295
store i64 %193, i64* %10
%194 = load i64, i64* %19
%195 = and i64 %194, 4294967295
%196 = load i64*, i64** %6
%197 = getelementptr inbounds i64, i64* %196, i64 1
store i64 %195, i64* %197
%198 = load i32, i32* %8
%199 = add nsw i32 %198, -1
store i32 %199, i32* %8
%200 = icmp eq i32 %199, 0
br i1 %200, label %201, label %202
201: ; preds = %191
br label %359
202: ; preds = %191
%203 = load i64*, i64** %7
%204 = getelementptr inbounds i64, i64* %203, i64 2
%205 = load i64, i64* %204
store i64 %205, i64* %26
%206 = load i64, i64* %26
%207 = and i64 %206, 65535
store i64 %207, i64* %25
%208 = load i64, i64* %26
%209 = lshr i64 %208, 16
%210 = and i64 %209, 65535
store i64 %210, i64* %26
%211 = load i64, i64* %25
store i64 %211, i64* %29
%212 = load i64, i64* %26
store i64 %212, i64* %30
%213 = load i64, i64* %12
%214 = load i64, i64* %29
%215 = mul i64 %213, %214
store i64 %215, i64* %27
%216 = load i64, i64* %11
%217 = load i64, i64* %29
%218 = mul i64 %216, %217
store i64 %218, i64* %29
%219 = load i64, i64* %11
%220 = load i64, i64* %30
%221 = mul i64 %219, %220
store i64 %221, i64* %28
%222 = load i64, i64* %12
%223 = load i64, i64* %30
%224 = mul i64 %222, %223
store i64 %224, i64* %30
%225 = load i64, i64* %27
%226 = load i64, i64* %28
%227 = add i64 %225, %226
%228 = and i64 %227, 4294967295
store i64 %228, i64* %27
%229 = load i64, i64* %27
%230 = load i64, i64* %28
%231 = icmp ult i64 %229, %230
br i1 %231, label %232, label %235
232: ; preds = %202
%233 = load i64, i64* %30
%234 = add i64 %233, 65536
store i64 %234, i64* %30
br label %235
235: ; preds = %232, %202
%236 = load i64, i64* %27
%237 = lshr i64 %236, 16
%238 = and i64 %237, 65535
%239 = load i64, i64* %30
%240 = add i64 %239, %238
store i64 %240, i64* %30
%241 = load i64, i64* %27
%242 = shl i64 %241, 16
%243 = and i64 %242, 4294967295
store i64 %243, i64* %28
%244 = load i64, i64* %29
%245 = load i64, i64* %28
%246 = add i64 %244, %245
%247 = and i64 %246, 4294967295
store i64 %247, i64* %29
%248 = load i64, i64* %29
%249 = load i64, i64* %28
%250 = icmp ult i64 %248, %249
br i1 %250, label %251, label %254
251: ; preds = %235
%252 = load i64, i64* %30
%253 = add i64 %252, 1
store i64 %253, i64* %30
br label %254
254: ; preds = %251, %235
%255 = load i64, i64* %29
store i64 %255, i64* %25
%256 = load i64, i64* %30
store i64 %256, i64* %26
%257 = load i64, i64* %10
%258 = load i64, i64* %25
%259 = add i64 %258, %257
store i64 %259, i64* %25
%260 = load i64, i64* %25
%261 = and i64 %260, 4294967295
%262 = load i64, i64* %10
%263 = icmp ult i64 %261, %262
br i1 %263, label %264, label %267
264: ; preds = %254
%265 = load i64, i64* %26
%266 = add i64 %265, 1
store i64 %266, i64* %26
br label %267
267: ; preds = %264, %254
%268 = load i64, i64* %26
%269 = and i64 %268, 4294967295
store i64 %269, i64* %10
%270 = load i64, i64* %25
%271 = and i64 %270, 4294967295
%272 = load i64*, i64** %6
%273 = getelementptr inbounds i64, i64* %272, i64 2
store i64 %271, i64* %273
%274 = load i32, i32* %8
%275 = add nsw i32 %274, -1
store i32 %275, i32* %8
%276 = icmp eq i32 %275, 0
br i1 %276, label %277, label %278
277: ; preds = %267
br label %359
278: ; preds = %267
%279 = load i64*, i64** %7
%280 = getelementptr inbounds i64, i64* %279, i64 3
%281 = load i64, i64* %280
store i64 %281, i64* %32
%282 = load i64, i64* %32
%283 = and i64 %282, 65535
store i64 %283, i64* %31
%284 = load i64, i64* %32
%285 = lshr i64 %284, 16
%286 = and i64 %285, 65535
store i64 %286, i64* %32
%287 = load i64, i64* %31
store i64 %287, i64* %35
%288 = load i64, i64* %32
store i64 %288, i64* %36
%289 = load i64, i64* %12
%290 = load i64, i64* %35
%291 = mul i64 %289, %290
store i64 %291, i64* %33
%292 = load i64, i64* %11
%293 = load i64, i64* %35
%294 = mul i64 %292, %293
store i64 %294, i64* %35
%295 = load i64, i64* %11
%296 = load i64, i64* %36
%297 = mul i64 %295, %296
store i64 %297, i64* %34
%298 = load i64, i64* %12
%299 = load i64, i64* %36
%300 = mul i64 %298, %299
store i64 %300, i64* %36
%301 = load i64, i64* %33
%302 = load i64, i64* %34
%303 = add i64 %301, %302
%304 = and i64 %303, 4294967295
store i64 %304, i64* %33
%305 = load i64, i64* %33
%306 = load i64, i64* %34
%307 = icmp ult i64 %305, %306
br i1 %307, label %308, label %311
308: ; preds = %278
%309 = load i64, i64* %36
%310 = add i64 %309, 65536
store i64 %310, i64* %36
br label %311
311: ; preds = %308, %278
%312 = load i64, i64* %33
%313 = lshr i64 %312, 16
%314 = and i64 %313, 65535
%315 = load i64, i64* %36
%316 = add i64 %315, %314
store i64 %316, i64* %36
%317 = load i64, i64* %33
%318 = shl i64 %317, 16
%319 = and i64 %318, 4294967295
store i64 %319, i64* %34
%320 = load i64, i64* %35
%321 = load i64, i64* %34
%322 = add i64 %320, %321
%323 = and i64 %322, 4294967295
store i64 %323, i64* %35
%324 = load i64, i64* %35
%325 = load i64, i64* %34
%326 = icmp ult i64 %324, %325
br i1 %326, label %327, label %330
327: ; preds = %311
%328 = load i64, i64* %36
%329 = add i64 %328, 1
store i64 %329, i64* %36
br label %330
330: ; preds = %327, %311
%331 = load i64, i64* %35
store i64 %331, i64* %31
%332 = load i64, i64* %36
store i64 %332, i64* %32
%333 = load i64, i64* %10
%334 = load i64, i64* %31
%335 = add i64 %334, %333
store i64 %335, i64* %31
%336 = load i64, i64* %31
%337 = and i64 %336, 4294967295
%338 = load i64, i64* %10
%339 = icmp ult i64 %337, %338
br i1 %339, label %340, label %343
340: ; preds = %330
%341 = load i64, i64* %32
%342 = add i64 %341, 1
store i64 %342, i64* %32
br label %343
343: ; preds = %340, %330
%344 = load i64, i64* %32
%345 = and i64 %344, 4294967295
store i64 %345, i64* %10
%346 = load i64, i64* %31
%347 = and i64 %346, 4294967295
%348 = load i64*, i64** %6
%349 = getelementptr inbounds i64, i64* %348, i64 3
store i64 %347, i64* %349
%350 = load i32, i32* %8
%351 = add nsw i32 %350, -1
store i32 %351, i32* %8
%352 = icmp eq i32 %351, 0
br i1 %352, label %353, label %354
353: ; preds = %343
br label %359
354: ; preds = %343
%355 = load i64*, i64** %7
%356 = getelementptr inbounds i64, i64* %355, i64 4
store i64* %356, i64** %7
%357 = load i64*, i64** %6
%358 = getelementptr inbounds i64, i64* %357, i64 4
store i64* %358, i64** %6
br label %50
359: ; preds = %353, %277, %201, %125
%360 = load i64, i64* %10
store i64 %360, i64* %5
br label %361
361: ; preds = %359, %43
%362 = load i64, i64* %5
ret i64 %362
}

LLVM IR (-O2):
define i64 @bn_mul_words(i64* nocapture writeonly %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 %151, 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 = %148, %9
%14 = phi i32 [ %2, %9 ], [ %146, %148 ]
%15 = phi i64* [ %1, %9 ], [ %149, %148 ]
%16 = phi i64 [ 0, %9 ], [ %144, %148 ]
%17 = phi i64* [ %0, %9 ], [ %150, %148 ]
%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 = and i64 %45, 4294967295
store i64 %42, i64* %17
%47 = icmp eq i32 %14, 1
br i1 %47, label %151, label %48
48: ; preds = %13
%49 = getelementptr inbounds i64, i64* %15, i64 1
%50 = load i64, i64* %49
%51 = and i64 %50, 65535
%52 = lshr i64 %50, 16
%53 = and i64 %52, 65535
%54 = mul nuw nsw i64 %51, %12
%55 = mul nuw nsw i64 %51, %10
%56 = mul nuw nsw i64 %53, %10
%57 = mul nuw nsw i64 %53, %12
%58 = add nuw nsw i64 %56, %54
%59 = and i64 %58, 4294967295
%60 = icmp ult i64 %59, %56
%61 = add nuw nsw i64 %57, 65536
%62 = select i1 %60, i64 %61, i64 %57
%63 = lshr i64 %58, 16
%64 = and i64 %63, 65535
%65 = add nuw nsw i64 %62, %64
%66 = shl nuw nsw i64 %58, 16
%67 = and i64 %66, 4294901760
%68 = add nuw nsw i64 %66, %55
%69 = and i64 %68, 4294967295
%70 = icmp ult i64 %69, %67
%71 = zext i1 %70 to i64
%72 = add nuw nsw i64 %65, %71
%73 = add i64 %68, %45
%74 = and i64 %73, 4294967295
%75 = icmp ult i64 %74, %46
%76 = zext i1 %75 to i64
%77 = add nuw nsw i64 %72, %76
%78 = and i64 %77, 4294967295
%79 = getelementptr inbounds i64, i64* %17, i64 1
store i64 %74, i64* %79
%80 = icmp eq i32 %14, 2
br i1 %80, label %151, label %81
81: ; preds = %48
%82 = getelementptr inbounds i64, i64* %15, i64 2
%83 = load i64, i64* %82
%84 = and i64 %83, 65535
%85 = lshr i64 %83, 16
%86 = and i64 %85, 65535
%87 = mul nuw nsw i64 %84, %12
%88 = mul nuw nsw i64 %84, %10
%89 = mul nuw nsw i64 %86, %10
%90 = mul nuw nsw i64 %86, %12
%91 = add nuw nsw i64 %89, %87
%92 = and i64 %91, 4294967295
%93 = icmp ult i64 %92, %89
%94 = add nuw nsw i64 %90, 65536
%95 = select i1 %93, i64 %94, i64 %90
%96 = lshr i64 %91, 16
%97 = and i64 %96, 65535
%98 = add nuw nsw i64 %95, %97
%99 = shl nuw nsw i64 %91, 16
%100 = and i64 %99, 4294901760
%101 = add nuw nsw i64 %99, %88
%102 = and i64 %101, 4294967295
%103 = icmp ult i64 %102, %100
%104 = zext i1 %103 to i64
%105 = add nuw nsw i64 %98, %104
%106 = add i64 %101, %77
%107 = and i64 %106, 4294967295
%108 = icmp ult i64 %107, %78
%109 = zext i1 %108 to i64
%110 = add nuw nsw i64 %105, %109
%111 = and i64 %110, 4294967295
%112 = getelementptr inbounds i64, i64* %17, i64 2
store i64 %107, i64* %112
%113 = icmp eq i32 %14, 3
br i1 %113, label %151, label %114
114: ; preds = %81
%115 = getelementptr inbounds i64, i64* %15, i64 3
%116 = load i64, i64* %115
%117 = and i64 %116, 65535
%118 = lshr i64 %116, 16
%119 = and i64 %118, 65535
%120 = mul nuw nsw i64 %117, %12
%121 = mul nuw nsw i64 %117, %10
%122 = mul nuw nsw i64 %119, %10
%123 = mul nuw nsw i64 %119, %12
%124 = add nuw nsw i64 %122, %120
%125 = and i64 %124, 4294967295
%126 = icmp ult i64 %125, %122
%127 = add nuw nsw i64 %123, 65536
%128 = select i1 %126, i64 %127, i64 %123
%129 = lshr i64 %124, 16
%130 = and i64 %129, 65535
%131 = add nuw nsw i64 %128, %130
%132 = shl nuw nsw i64 %124, 16
%133 = and i64 %132, 4294901760
%134 = add nuw nsw i64 %132, %121
%135 = and i64 %134, 4294967295
%136 = icmp ult i64 %135, %133
%137 = zext i1 %136 to i64
%138 = add nuw nsw i64 %131, %137
%139 = add i64 %134, %110
%140 = and i64 %139, 4294967295
%141 = icmp ult i64 %140, %111
%142 = zext i1 %141 to i64
%143 = add nuw nsw i64 %138, %142
%144 = and i64 %143, 4294967295
%145 = getelementptr inbounds i64, i64* %17, i64 3
store i64 %140, i64* %145
%146 = add nsw i32 %14, -4
%147 = icmp eq i32 %146, 0
br i1 %147, label %151, label %148
148: ; preds = %114
%149 = getelementptr inbounds i64, i64* %15, i64 4
%150 = getelementptr inbounds i64, i64* %17, i64 4
br label %13
151: ; preds = %13, %48, %81, %114, %4
%152 = phi i64 [ 0, %4 ], [ %144, %114 ], [ %111, %81 ], [ %78, %48 ], [ %46, %13 ]
ret i64 %152
}