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

/* Forward declarations */

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

/* Variables and functions */
int /*<<< orphan*/ assert(int);
unsigned long long bn_mul_words(unsigned long long *rp, unsigned long long *ap,
                                int num, unsigned long long w) {
  unsigned long long carry = 0;
  unsigned long long bl, bh;
  assert(num >= 0);
  if (num <= 0)
    return ((unsigned long long)0);
  bl = ((w) & (0xffffffffL));
  bh = (((w) >> 32) & (0xffffffffL));
  for (;;) {
    {
      unsigned long long l, h;
      h = (ap[0]);
      l = ((h) & (0xffffffffL));
      h = (((h) >> 32) & (0xffffffffL));
      {
        unsigned long long m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffffffffffLL);
        if (m < m1)
          ht += ((unsigned long long)((1L) & (0xffffffffL)) << 32);
        ht += (((m) >> 32) & (0xffffffffL));
        m1 = ((unsigned long long)((m) & (0xffffffffL)) << 32);
        lt = (lt + m1) & (0xffffffffffffffffLL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l += (carry);
      if ((l & (0xffffffffffffffffLL)) < (carry))
        h++;
      (carry) = h & (0xffffffffffffffffLL);
      (rp[0]) = l & (0xffffffffffffffffLL);
    };
    if (--num == 0)
      break;
    {
      unsigned long long l, h;
      h = (ap[1]);
      l = ((h) & (0xffffffffL));
      h = (((h) >> 32) & (0xffffffffL));
      {
        unsigned long long m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffffffffffLL);
        if (m < m1)
          ht += ((unsigned long long)((1L) & (0xffffffffL)) << 32);
        ht += (((m) >> 32) & (0xffffffffL));
        m1 = ((unsigned long long)((m) & (0xffffffffL)) << 32);
        lt = (lt + m1) & (0xffffffffffffffffLL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l += (carry);
      if ((l & (0xffffffffffffffffLL)) < (carry))
        h++;
      (carry) = h & (0xffffffffffffffffLL);
      (rp[1]) = l & (0xffffffffffffffffLL);
    };
    if (--num == 0)
      break;
    {
      unsigned long long l, h;
      h = (ap[2]);
      l = ((h) & (0xffffffffL));
      h = (((h) >> 32) & (0xffffffffL));
      {
        unsigned long long m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffffffffffLL);
        if (m < m1)
          ht += ((unsigned long long)((1L) & (0xffffffffL)) << 32);
        ht += (((m) >> 32) & (0xffffffffL));
        m1 = ((unsigned long long)((m) & (0xffffffffL)) << 32);
        lt = (lt + m1) & (0xffffffffffffffffLL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l += (carry);
      if ((l & (0xffffffffffffffffLL)) < (carry))
        h++;
      (carry) = h & (0xffffffffffffffffLL);
      (rp[2]) = l & (0xffffffffffffffffLL);
    };
    if (--num == 0)
      break;
    {
      unsigned long long l, h;
      h = (ap[3]);
      l = ((h) & (0xffffffffL));
      h = (((h) >> 32) & (0xffffffffL));
      {
        unsigned long long m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffffffffffLL);
        if (m < m1)
          ht += ((unsigned long long)((1L) & (0xffffffffL)) << 32);
        ht += (((m) >> 32) & (0xffffffffL));
        m1 = ((unsigned long long)((m) & (0xffffffffL)) << 32);
        lt = (lt + m1) & (0xffffffffffffffffLL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l += (carry);
      if ((l & (0xffffffffffffffffLL)) < (carry))
        h++;
      (carry) = h & (0xffffffffffffffffLL);
      (rp[3]) = l & (0xffffffffffffffffLL);
    };
    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    18f3 <bn_mul_words+0x7e3>
movabs $0xffffffff,%rax
and    -0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x50(%rbp)
movabs $0xffffffff,%rax
and    -0x50(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x50(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x40(%rbp),%rax
imul   -0x68(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x38(%rbp),%rax
imul   -0x68(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x38(%rbp),%rax
imul   -0x70(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x40(%rbp),%rax
imul   -0x70(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x58(%rbp),%rax
add    -0x60(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
cmp    -0x60(%rbp),%rax
jae    122f <bn_mul_words+0x11f>
movabs $0x100000000,%rax
add    -0x70(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x58(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
add    -0x70(%rbp),%rax
mov    %rax,-0x70(%rbp)
movabs $0xffffffff,%rax
and    -0x58(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0x60(%rbp)
mov    -0x68(%rbp),%rax
add    -0x60(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x60(%rbp),%rax
jae    128c <bn_mul_words+0x17c>
mov    -0x70(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x70(%rbp)
mov    -0x68(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x70(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x30(%rbp),%rax
add    -0x48(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
and    $0xffffffffffffffff,%rax
cmp    -0x30(%rbp),%rax
jae    12c6 <bn_mul_words+0x1b6>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0x48(%rbp),%rcx
and    $0xffffffffffffffff,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    12f8 <bn_mul_words+0x1e8>
jmp    18eb <bn_mul_words+0x7db>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x80(%rbp)
movabs $0xffffffff,%rax
and    -0x80(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x80(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x80(%rbp)
mov    -0x78(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x80(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0x40(%rbp),%rax
imul   -0x98(%rbp),%rax
ff
mov    %rax,-0x88(%rbp)
mov    -0x38(%rbp),%rax
imul   -0x98(%rbp),%rax
ff
mov    %rax,-0x98(%rbp)
mov    -0x38(%rbp),%rax
imul   -0xa0(%rbp),%rax
ff
mov    %rax,-0x90(%rbp)
mov    -0x40(%rbp),%rax
imul   -0xa0(%rbp),%rax
ff
mov    %rax,-0xa0(%rbp)
mov    -0x88(%rbp),%rax
add    -0x90(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x88(%rbp)
mov    -0x88(%rbp),%rax
cmp    -0x90(%rbp),%rax
jae    13d6 <bn_mul_words+0x2c6>
movabs $0x100000000,%rax
add    -0xa0(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0x88(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
add    -0xa0(%rbp),%rax
mov    %rax,-0xa0(%rbp)
movabs $0xffffffff,%rax
and    -0x88(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0x90(%rbp)
mov    -0x98(%rbp),%rax
add    -0x90(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rax
cmp    -0x90(%rbp),%rax
jae    1457 <bn_mul_words+0x347>
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)
mov    -0x78(%rbp),%rax
and    $0xffffffffffffffff,%rax
cmp    -0x30(%rbp),%rax
jae    1497 <bn_mul_words+0x387>
mov    -0x80(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x80(%rbp)
mov    -0x80(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0x78(%rbp),%rcx
and    $0xffffffffffffffff,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    14ca <bn_mul_words+0x3ba>
jmp    18eb <bn_mul_words+0x7db>
mov    -0x18(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0xb0(%rbp)
movabs $0xffffffff,%rax
and    -0xb0(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    -0xb0(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xb0(%rbp)
mov    -0xa8(%rbp),%rax
mov    %rax,-0xc8(%rbp)
mov    -0xb0(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0x40(%rbp),%rax
imul   -0xc8(%rbp),%rax
ff
mov    %rax,-0xb8(%rbp)
mov    -0x38(%rbp),%rax
imul   -0xc8(%rbp),%rax
ff
mov    %rax,-0xc8(%rbp)
mov    -0x38(%rbp),%rax
imul   -0xd0(%rbp),%rax
ff
mov    %rax,-0xc0(%rbp)
mov    -0x40(%rbp),%rax
imul   -0xd0(%rbp),%rax
ff
mov    %rax,-0xd0(%rbp)
mov    -0xb8(%rbp),%rax
add    -0xc0(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0xb8(%rbp)
mov    -0xb8(%rbp),%rax
cmp    -0xc0(%rbp),%rax
jae    15bd <bn_mul_words+0x4ad>
movabs $0x100000000,%rax
add    -0xd0(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0xb8(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
add    -0xd0(%rbp),%rax
mov    %rax,-0xd0(%rbp)
movabs $0xffffffff,%rax
and    -0xb8(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0xc0(%rbp)
mov    -0xc8(%rbp),%rax
add    -0xc0(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0xc8(%rbp)
mov    -0xc8(%rbp),%rax
cmp    -0xc0(%rbp),%rax
jae    163e <bn_mul_words+0x52e>
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)
mov    -0xa8(%rbp),%rax
and    $0xffffffffffffffff,%rax
cmp    -0x30(%rbp),%rax
jae    1693 <bn_mul_words+0x583>
mov    -0xb0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xb0(%rbp)
mov    -0xb0(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0xa8(%rbp),%rcx
and    $0xffffffffffffffff,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x10(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    16cc <bn_mul_words+0x5bc>
jmp    18eb <bn_mul_words+0x7db>
mov    -0x18(%rbp),%rax
mov    0x18(%rax),%rax
mov    %rax,-0xe0(%rbp)
movabs $0xffffffff,%rax
and    -0xe0(%rbp),%rax
mov    %rax,-0xd8(%rbp)
mov    -0xe0(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0xe0(%rbp)
mov    -0xd8(%rbp),%rax
mov    %rax,-0xf8(%rbp)
mov    -0xe0(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0x40(%rbp),%rax
imul   -0xf8(%rbp),%rax
ff
mov    %rax,-0xe8(%rbp)
mov    -0x38(%rbp),%rax
imul   -0xf8(%rbp),%rax
ff
mov    %rax,-0xf8(%rbp)
mov    -0x38(%rbp),%rax
imul   -0x100(%rbp),%rax
ff
mov    %rax,-0xf0(%rbp)
mov    -0x40(%rbp),%rax
imul   -0x100(%rbp),%rax
ff
mov    %rax,-0x100(%rbp)
mov    -0xe8(%rbp),%rax
add    -0xf0(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0xe8(%rbp)
mov    -0xe8(%rbp),%rax
cmp    -0xf0(%rbp),%rax
jae    17bf <bn_mul_words+0x6af>
movabs $0x100000000,%rax
add    -0x100(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0xe8(%rbp),%rax
shr    $0x20,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
add    -0x100(%rbp),%rax
mov    %rax,-0x100(%rbp)
movabs $0xffffffff,%rax
and    -0xe8(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0xf0(%rbp)
mov    -0xf8(%rbp),%rax
add    -0xf0(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0xf8(%rbp)
mov    -0xf8(%rbp),%rax
cmp    -0xf0(%rbp),%rax
jae    1840 <bn_mul_words+0x730>
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)
mov    -0xd8(%rbp),%rax
and    $0xffffffffffffffff,%rax
cmp    -0x30(%rbp),%rax
jae    1895 <bn_mul_words+0x785>
mov    -0xe0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xe0(%rbp)
mov    -0xe0(%rbp),%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0xd8(%rbp),%rcx
and    $0xffffffffffffffff,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x18(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    18ce <bn_mul_words+0x7be>
jmp    18eb <bn_mul_words+0x7db>
mov    -0x18(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x10(%rbp)
jmp    1185 <bn_mul_words+0x75>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x100,%rsp
pop    %rbp
ret

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

LLVM IR (-O0):
define i64 @bn_mul_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, 4294967295
store i64 %46, i64* %11
%47 = load i64, i64* %9
%48 = lshr i64 %47, 32
%49 = and i64 %48, 4294967295
store i64 %49, i64* %12
br label %50
50: ; preds = %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, 4294967295
store i64 %55, i64* %13
%56 = load i64, i64* %14
%57 = lshr i64 %56, 32
%58 = and i64 %57, 4294967295
store i64 %58, i64* %14
%59 = load i64, i64* %13
store i64 %59, i64* %17
%60 = load i64, i64* %14
store i64 %60, i64* %18
%61 = load i64, i64* %12
%62 = load i64, i64* %17
%63 = mul i64 %61, %62
store i64 %63, i64* %15
%64 = load i64, i64* %11
%65 = load i64, i64* %17
%66 = mul i64 %64, %65
store i64 %66, i64* %17
%67 = load i64, i64* %11
%68 = load i64, i64* %18
%69 = mul i64 %67, %68
store i64 %69, i64* %16
%70 = load i64, i64* %12
%71 = load i64, i64* %18
%72 = mul i64 %70, %71
store i64 %72, i64* %18
%73 = load i64, i64* %15
%74 = load i64, i64* %16
%75 = add i64 %73, %74
%76 = and i64 %75, -1
store i64 %76, i64* %15
%77 = load i64, i64* %15
%78 = load i64, i64* %16
%79 = icmp ult i64 %77, %78
br i1 %79, label %80, label %83
80: ; preds = %50
%81 = load i64, i64* %18
%82 = add i64 %81, 4294967296
store i64 %82, i64* %18
br label %83
83: ; preds = %80, %50
%84 = load i64, i64* %15
%85 = lshr i64 %84, 32
%86 = and i64 %85, 4294967295
%87 = load i64, i64* %18
%88 = add i64 %87, %86
store i64 %88, i64* %18
%89 = load i64, i64* %15
%90 = and i64 %89, 4294967295
%91 = shl i64 %90, 32
store i64 %91, i64* %16
%92 = load i64, i64* %17
%93 = load i64, i64* %16
%94 = add i64 %92, %93
%95 = and i64 %94, -1
store i64 %95, i64* %17
%96 = load i64, i64* %17
%97 = load i64, i64* %16
%98 = icmp ult i64 %96, %97
br i1 %98, label %99, label %102
99: ; preds = %83
%100 = load i64, i64* %18
%101 = add i64 %100, 1
store i64 %101, i64* %18
br label %102
102: ; preds = %99, %83
%103 = load i64, i64* %17
store i64 %103, i64* %13
%104 = load i64, i64* %18
store i64 %104, i64* %14
%105 = load i64, i64* %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, -1
%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, -1
store i64 %117, i64* %10
%118 = load i64, i64* %13
%119 = and i64 %118, -1
%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, 4294967295
store i64 %131, i64* %19
%132 = load i64, i64* %20
%133 = lshr i64 %132, 32
%134 = and i64 %133, 4294967295
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, -1
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, 4294967296
store i64 %158, i64* %24
br label %159
159: ; preds = %156, %126
%160 = load i64, i64* %21
%161 = lshr i64 %160, 32
%162 = and i64 %161, 4294967295
%163 = load i64, i64* %24
%164 = add i64 %163, %162
store i64 %164, i64* %24
%165 = load i64, i64* %21
%166 = and i64 %165, 4294967295
%167 = shl i64 %166, 32
store i64 %167, i64* %22
%168 = load i64, i64* %23
%169 = load i64, i64* %22
%170 = add i64 %168, %169
%171 = and i64 %170, -1
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, -1
%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, -1
store i64 %193, i64* %10
%194 = load i64, i64* %19
%195 = and i64 %194, -1
%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, 4294967295
store i64 %207, i64* %25
%208 = load i64, i64* %26
%209 = lshr i64 %208, 32
%210 = and i64 %209, 4294967295
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, -1
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, 4294967296
store i64 %234, i64* %30
br label %235
235: ; preds = %232, %202
%236 = load i64, i64* %27
%237 = lshr i64 %236, 32
%238 = and i64 %237, 4294967295
%239 = load i64, i64* %30
%240 = add i64 %239, %238
store i64 %240, i64* %30
%241 = load i64, i64* %27
%242 = and i64 %241, 4294967295
%243 = shl i64 %242, 32
store i64 %243, i64* %28
%244 = load i64, i64* %29
%245 = load i64, i64* %28
%246 = add i64 %244, %245
%247 = and i64 %246, -1
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, -1
%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, -1
store i64 %269, i64* %10
%270 = load i64, i64* %25
%271 = and i64 %270, -1
%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, 4294967295
store i64 %283, i64* %31
%284 = load i64, i64* %32
%285 = lshr i64 %284, 32
%286 = and i64 %285, 4294967295
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, -1
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, 4294967296
store i64 %310, i64* %36
br label %311
311: ; preds = %308, %278
%312 = load i64, i64* %33
%313 = lshr i64 %312, 32
%314 = and i64 %313, 4294967295
%315 = load i64, i64* %36
%316 = add i64 %315, %314
store i64 %316, i64* %36
%317 = load i64, i64* %33
%318 = and i64 %317, 4294967295
%319 = shl i64 %318, 32
store i64 %319, i64* %34
%320 = load i64, i64* %35
%321 = load i64, i64* %34
%322 = add i64 %320, %321
%323 = and i64 %322, -1
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, -1
%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, -1
store i64 %345, i64* %10
%346 = load i64, i64* %31
%347 = and i64 %346, -1
%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 %122, label %9
9: ; preds = %4
%10 = and i64 %3, 4294967295
%11 = lshr i64 %3, 32
br label %12
12: ; preds = %119, %9
%13 = phi i32 [ %2, %9 ], [ %117, %119 ]
%14 = phi i64* [ %1, %9 ], [ %120, %119 ]
%15 = phi i64 [ 0, %9 ], [ %115, %119 ]
%16 = phi i64* [ %0, %9 ], [ %121, %119 ]
%17 = load i64, i64* %14
%18 = and i64 %17, 4294967295
%19 = lshr i64 %17, 32
%20 = mul nuw i64 %18, %11
%21 = mul nuw i64 %18, %10
%22 = mul nuw i64 %19, %10
%23 = mul nuw i64 %19, %11
%24 = add i64 %20, %22
%25 = icmp ult i64 %24, %22
%26 = add i64 %23, 4294967296
%27 = select i1 %25, i64 %26, i64 %23
%28 = lshr i64 %24, 32
%29 = add i64 %27, %28
%30 = shl i64 %24, 32
%31 = add i64 %30, %21
%32 = icmp ult i64 %31, %30
%33 = zext i1 %32 to i64
%34 = add i64 %29, %33
%35 = add i64 %31, %15
%36 = icmp ult i64 %35, %15
%37 = zext i1 %36 to i64
%38 = add i64 %34, %37
store i64 %35, i64* %16
%39 = icmp eq i32 %13, 1
br i1 %39, label %122, label %40
40: ; preds = %12
%41 = getelementptr inbounds i64, i64* %14, i64 1
%42 = load i64, i64* %41
%43 = and i64 %42, 4294967295
%44 = lshr i64 %42, 32
%45 = mul nuw i64 %43, %11
%46 = mul nuw i64 %43, %10
%47 = mul nuw i64 %44, %10
%48 = mul nuw i64 %44, %11
%49 = add i64 %45, %47
%50 = icmp ult i64 %49, %47
%51 = add i64 %48, 4294967296
%52 = select i1 %50, i64 %51, i64 %48
%53 = lshr i64 %49, 32
%54 = add i64 %52, %53
%55 = shl i64 %49, 32
%56 = add i64 %55, %46
%57 = icmp ult i64 %56, %55
%58 = zext i1 %57 to i64
%59 = add i64 %54, %58
%60 = add i64 %56, %38
%61 = icmp ult i64 %60, %38
%62 = zext i1 %61 to i64
%63 = add i64 %59, %62
%64 = getelementptr inbounds i64, i64* %16, i64 1
store i64 %60, i64* %64
%65 = icmp eq i32 %13, 2
br i1 %65, label %122, label %66
66: ; preds = %40
%67 = getelementptr inbounds i64, i64* %14, i64 2
%68 = load i64, i64* %67
%69 = and i64 %68, 4294967295
%70 = lshr i64 %68, 32
%71 = mul nuw i64 %69, %11
%72 = mul nuw i64 %69, %10
%73 = mul nuw i64 %70, %10
%74 = mul nuw i64 %70, %11
%75 = add i64 %71, %73
%76 = icmp ult i64 %75, %73
%77 = add i64 %74, 4294967296
%78 = select i1 %76, i64 %77, i64 %74
%79 = lshr i64 %75, 32
%80 = add i64 %78, %79
%81 = shl i64 %75, 32
%82 = add i64 %81, %72
%83 = icmp ult i64 %82, %81
%84 = zext i1 %83 to i64
%85 = add i64 %80, %84
%86 = add i64 %82, %63
%87 = icmp ult i64 %86, %63
%88 = zext i1 %87 to i64
%89 = add i64 %85, %88
%90 = getelementptr inbounds i64, i64* %16, i64 2
store i64 %86, i64* %90
%91 = icmp eq i32 %13, 3
br i1 %91, label %122, label %92
92: ; preds = %66
%93 = getelementptr inbounds i64, i64* %14, i64 3
%94 = load i64, i64* %93
%95 = and i64 %94, 4294967295
%96 = lshr i64 %94, 32
%97 = mul nuw i64 %95, %11
%98 = mul nuw i64 %95, %10
%99 = mul nuw i64 %96, %10
%100 = mul nuw i64 %96, %11
%101 = add i64 %97, %99
%102 = icmp ult i64 %101, %99
%103 = add i64 %100, 4294967296
%104 = select i1 %102, i64 %103, i64 %100
%105 = lshr i64 %101, 32
%106 = add i64 %104, %105
%107 = shl i64 %101, 32
%108 = add i64 %107, %98
%109 = icmp ult i64 %108, %107
%110 = zext i1 %109 to i64
%111 = add i64 %106, %110
%112 = add i64 %108, %89
%113 = icmp ult i64 %112, %89
%114 = zext i1 %113 to i64
%115 = add i64 %111, %114
%116 = getelementptr inbounds i64, i64* %16, i64 3
store i64 %112, i64* %116
%117 = add nsw i32 %13, -4
%118 = icmp eq i32 %117, 0
br i1 %118, label %122, label %119
119: ; preds = %92
%120 = getelementptr inbounds i64, i64* %14, i64 4
%121 = getelementptr inbounds i64, i64* %16, i64 4
br label %12
122: ; preds = %12, %40, %66, %92, %4
%123 = phi i64 [ 0, %4 ], [ %115, %92 ], [ %89, %66 ], [ %63, %40 ], [ %38, %12 ]
ret i64 %123
}