#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 */

/* Variables and functions */
scalar_t__ bn_add_words(unsigned long *, unsigned long *, unsigned long *, int);
int /*<<< orphan*/ bn_mul_comba8(unsigned long *, unsigned long *,
                                 unsigned long *);
int /*<<< orphan*/ bn_mul_normal(unsigned long *, unsigned long *, int,
                                 unsigned long *, int);
int /*<<< orphan*/ bn_mul_recursive(unsigned long *, unsigned long *,
                                    unsigned long *, int, unsigned long *);
scalar_t__ bn_sub_words(unsigned long *, unsigned long *, unsigned long *, int);
int /*<<< orphan*/ memset(unsigned long *, int /*<<< orphan*/, int);
void bn_mul_part_recursive(unsigned long *r, unsigned long *a, unsigned long *b,
                           int tn, int n, unsigned long *t) {
  int i, j, n2 = n * 2;
  unsigned int c1;
  unsigned long ln, lo, *p;
  if (n < 8) {
    i = tn + n;
    bn_mul_normal(r, a, i, b, i);
    return;
  }
  bn_sub_words(t, a, &(a[n]), n);
  bn_sub_words(&(t[n]), b, &(b[n]), n);
  if (n == 8) {
    bn_mul_comba8(&(t[n2]), t, &(t[n]));
    bn_mul_comba8(r, a, b);
    bn_mul_normal(&(r[n2]), &(a[n]), tn, &(b[n]), tn);
    memset(&(r[n2 + tn * 2]), 0, sizeof(unsigned long) * (n2 - tn * 2));
  } else {
    p = &(t[n2 * 2]);
    bn_mul_recursive(&(t[n2]), t, &(t[n]), n, p);
    bn_mul_recursive(r, a, b, n, p);
    i = n / 2;
    j = tn - i;
    if (j == 0) {
      bn_mul_recursive(&(r[n2]), &(a[n]), &(b[n]), i, p);
      memset(&(r[n2 + i * 2]), 0, sizeof(unsigned long) * (n2 - i * 2));
    } else if (j > 0) {
      bn_mul_part_recursive(&(r[n2]), &(a[n]), &(b[n]), j, i, p);
      memset(&(r[n2 + tn * 2]), 0, sizeof(unsigned long) * (n2 - tn * 2));
    } else {
      memset(&(r[n2]), 0, sizeof(unsigned long) * n2);
      if (tn < (16)) {
        bn_mul_normal(&(r[n2]), &(a[n]), tn, &(b[n]), tn);
      } else {
        for (;;) {
          i /= 2;
          if (i < tn) {
            bn_mul_part_recursive(&(r[n2]), &(a[n]), &(b[n]), tn - i, i, p);
            break;
          } else if (i == tn) {
            bn_mul_recursive(&(r[n2]), &(a[n]), &(b[n]), i, p);
            break;
          }
        }
      }
    }
  }
  c1 = (int)(bn_add_words(t, r, &(r[n2]), n2));
  c1 -= (int)(bn_sub_words(&(t[n2]), t, &(t[n2]), n2));
  c1 += (int)(bn_add_words(&(r[n]), &(r[n]), &(t[n2]), n2));
  if (c1) {
    p = &(r[n + n2]);
    lo = *p;
    ln = (lo + c1) & (0xffffffffL);
    *p = ln;
    if (ln < c1) {
      do {
        p++;
        lo = *p;
        ln = (lo + 1) & (0xffffffffL);
        *p = ln;
      } while (ln == 0);
    }
  }
}


x86 assembly (clang, -O0):
<bn_mul_part_recursive>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
mov    -0x20(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x8,-0x20(%rbp)
jge    11c8 <bn_mul_part_recursive+0x58>
mov    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x2c(%rbp),%edx
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%r8d
call   1050 <bn_mul_normal@plt>
jmp    16ad <bn_mul_part_recursive+0x53d>
mov    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x10(%rbp),%rdx
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x20(%rbp),%ecx
call   1070 <bn_sub_words@plt>
mov    -0x28(%rbp),%rdi
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
mov    -0x18(%rbp),%rdx
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x20(%rbp),%ecx
call   1070 <bn_sub_words@plt>
cmpl   $0x8,-0x20(%rbp)
jne    12c3 <bn_mul_part_recursive+0x153>
mov    -0x28(%rbp),%rdi
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rsi
mov    -0x28(%rbp),%rdx
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
call   1080 <bn_mul_comba8@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1080 <bn_mul_comba8@plt>
mov    -0x8(%rbp),%rdi
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x1c(%rbp),%edx
mov    -0x18(%rbp),%rcx
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rcx
mov    -0x1c(%rbp),%r8d
call   1050 <bn_mul_normal@plt>
mov    -0x8(%rbp),%rdi
mov    -0x34(%rbp),%eax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
cltq
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x34(%rbp),%eax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
sub    %ecx,%eax
cltq
shl    $0x3,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1040 <memset@plt>
jmp    1564 <bn_mul_part_recursive+0x3f4>
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x28(%rbp),%rdi
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rsi
mov    -0x28(%rbp),%rdx
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x20(%rbp),%ecx
mov    -0x50(%rbp),%r8
call   1060 <bn_mul_recursive@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%ecx
mov    -0x50(%rbp),%r8
call   1060 <bn_mul_recursive@plt>
mov    -0x20(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
mov    -0x1c(%rbp),%eax
sub    -0x2c(%rbp),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jne    13b2 <bn_mul_part_recursive+0x242>
mov    -0x8(%rbp),%rdi
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x2c(%rbp),%ecx
mov    -0x50(%rbp),%r8
call   1060 <bn_mul_recursive@plt>
mov    -0x8(%rbp),%rdi
mov    -0x34(%rbp),%eax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
cltq
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x34(%rbp),%eax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
sub    %ecx,%eax
cltq
shl    $0x3,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1040 <memset@plt>
jmp    155f <bn_mul_part_recursive+0x3ef>
cmpl   $0x0,-0x30(%rbp)
jle    1430 <bn_mul_part_recursive+0x2c0>
mov    -0x8(%rbp),%rdi
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x30(%rbp),%ecx
mov    -0x2c(%rbp),%r8d
mov    -0x50(%rbp),%r9
call   1030 <bn_mul_part_recursive@plt>
mov    -0x8(%rbp),%rdi
mov    -0x34(%rbp),%eax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
cltq
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x34(%rbp),%eax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
sub    %ecx,%eax
cltq
shl    $0x3,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1040 <memset@plt>
jmp    155a <bn_mul_part_recursive+0x3ea>
mov    -0x8(%rbp),%rdi
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1040 <memset@plt>
cmpl   $0x10,-0x1c(%rbp)
jge    1498 <bn_mul_part_recursive+0x328>
mov    -0x8(%rbp),%rdi
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x1c(%rbp),%edx
mov    -0x18(%rbp),%rcx
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rcx
mov    -0x1c(%rbp),%r8d
call   1050 <bn_mul_normal@plt>
jmp    1555 <bn_mul_part_recursive+0x3e5>
jmp    149d <bn_mul_part_recursive+0x32d>
mov    -0x2c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    14fc <bn_mul_part_recursive+0x38c>
mov    -0x8(%rbp),%rdi
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x1c(%rbp),%ecx
sub    -0x2c(%rbp),%ecx
mov    -0x2c(%rbp),%r8d
mov    -0x50(%rbp),%r9
call   1030 <bn_mul_part_recursive@plt>
jmp    1550 <bn_mul_part_recursive+0x3e0>
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    1546 <bn_mul_part_recursive+0x3d6>
mov    -0x8(%rbp),%rdi
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x2c(%rbp),%ecx
mov    -0x50(%rbp),%r8
call   1060 <bn_mul_recursive@plt>
jmp    1550 <bn_mul_part_recursive+0x3e0>
jmp    154b <bn_mul_part_recursive+0x3db>
jmp    149d <bn_mul_part_recursive+0x32d>
jmp    1555 <bn_mul_part_recursive+0x3e5>
jmp    155a <bn_mul_part_recursive+0x3ea>
jmp    155f <bn_mul_part_recursive+0x3ef>
jmp    1564 <bn_mul_part_recursive+0x3f4>
mov    -0x28(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x8(%rbp),%rdx
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x34(%rbp),%ecx
call   1090 <bn_add_words@plt>
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rdi
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rsi
mov    -0x28(%rbp),%rdx
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x34(%rbp),%ecx
call   1070 <bn_sub_words@plt>
mov    %eax,%ecx
mov    -0x38(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0x20(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x28(%rbp),%rdx
movslq -0x34(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x34(%rbp),%ecx
call   1090 <bn_add_words@plt>
add    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
je     16ad <bn_mul_part_recursive+0x53d>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x34(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    %rcx,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rcx
mov    -0x50(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x40(%rbp),%rax
mov    -0x38(%rbp),%ecx
cmp    %rcx,%rax
jae    16a8 <bn_mul_part_recursive+0x538>
jmp    165d <bn_mul_part_recursive+0x4ed>
mov    -0x50(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
add    $0x1,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rcx
mov    -0x50(%rbp),%rax
mov    %rcx,(%rax)
cmpq   $0x0,-0x40(%rbp)
je     165d <bn_mul_part_recursive+0x4ed>
jmp    16a8 <bn_mul_part_recursive+0x538>
jmp    16ad <bn_mul_part_recursive+0x53d>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bn_mul_part_recursive>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %r8d,%r13d
mov    %rdx,%rbp
mov    %rsi,%r15
cmp    $0x7,%r8d
jg     11af <bn_mul_part_recursive+0x3f>
add    %ecx,%r13d
mov    %r15,%rsi
mov    %r13d,%edx
mov    %rbp,%rcx
mov    %r13d,%r8d
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <bn_mul_normal@plt>
mov    %r9,%r12
mov    %rcx,0x28(%rsp)
mov    %rdi,0x38(%rsp)
lea    0x0(%r13,%r13,1),%eax
mov    %rax,0x30(%rsp)
mov    %r13d,%ebx
lea    (%r15,%rbx,8),%rdx
mov    %r9,%rdi
mov    %r15,%rsi
mov    %rdx,0x20(%rsp)
mov    %r13d,%ecx
call   1070 <bn_sub_words@plt>
lea    (%r12,%rbx,8),%r14
mov    %rbx,0x40(%rsp)
lea    0x0(,%rbx,8),%rbx
add    %rbp,%rbx
mov    %r14,%rdi
mov    %rbp,%rsi
mov    %rbx,%rdx
mov    %r13d,%ecx
call   1070 <bn_sub_words@plt>
cmp    $0x8,%r13d
mov    %rbx,0x10(%rsp)
jne    128a <bn_mul_part_recursive+0x11a>
mov    0x30(%rsp),%rbx
mov    %ebx,%eax
mov    %rax,0x8(%rsp)
lea    (%r12,%rax,8),%rdi
mov    %r12,%rsi
mov    %r14,%rdx
call   1080 <bn_mul_comba8@plt>
mov    0x38(%rsp),%r14
mov    %r14,%rdi
mov    %r15,%rsi
mov    %rbp,%rdx
mov    %rbx,%rbp
call   1080 <bn_mul_comba8@plt>
mov    0x8(%rsp),%rax
lea    (%r14,%rax,8),%rdi
mov    0x20(%rsp),%rsi
mov    0x28(%rsp),%rbx
mov    %ebx,%edx
mov    0x10(%rsp),%rcx
mov    %ebx,%r8d
call   1050 <bn_mul_normal@plt>
mov    %ebx,%eax
add    %ebx,%eax
lea    0x0(%rbp,%rbx,2),%ecx
movslq %ecx,%rcx
lea    (%r14,%rcx,8),%rdi
mov    %ebp,%edx
sub    %eax,%edx
shl    $0x3,%edx
xor    %esi,%esi
call   1040 <memset@plt>
mov    $0x10,%ebx
jmp    13c8 <bn_mul_part_recursive+0x258>
lea    0x0(,%r13,4),%eax
cltq
lea    (%r12,%rax,8),%rbx
movslq 0x30(%rsp),%rax
mov    %rax,0x8(%rsp)
lea    (%r12,%rax,8),%rdi
mov    %r12,0x18(%rsp)
mov    %r12,%rsi
mov    %r14,%rdx
mov    %r13d,%ecx
mov    %rbx,%r8
call   1060 <bn_mul_recursive@plt>
mov    0x38(%rsp),%r14
mov    %r14,%rdi
mov    %r15,%rsi
mov    %rbp,%rdx
mov    %r13d,%ecx
mov    %rbx,%r8
call   1060 <bn_mul_recursive@plt>
mov    %r13d,%ebp
shr    %ebp
mov    0x28(%rsp),%rax
mov    %eax,%ecx
sub    %ebp,%ecx
je     133d <bn_mul_part_recursive+0x1cd>
mov    0x30(%rsp),%r12
mov    0x8(%rsp),%rax
lea    (%r14,%rax,8),%r15
test   %ecx,%ecx
jle    1387 <bn_mul_part_recursive+0x217>
mov    %r15,%rdi
mov    0x20(%rsp),%rsi
mov    0x10(%rsp),%rdx
mov    %ebp,%r8d
mov    %rbx,%r9
call   1030 <bn_mul_part_recursive@plt>
mov    0x28(%rsp),%rcx
mov    %ecx,%eax
add    %ecx,%eax
mov    %r12,%rbp
lea    (%r12,%rcx,2),%ecx
movslq %ecx,%rcx
lea    (%r14,%rcx,8),%rdi
mov    %ebp,%edx
sub    %eax,%edx
shl    $0x3,%edx
xor    %esi,%esi
call   1040 <memset@plt>
jmp    13be <bn_mul_part_recursive+0x24e>
mov    0x8(%rsp),%r15
lea    (%r14,%r15,8),%rdi
mov    0x20(%rsp),%rsi
mov    0x10(%rsp),%rdx
mov    %ebp,%ecx
mov    %rbx,%r8
call   1060 <bn_mul_recursive@plt>
mov    %r13d,%eax
and    $0xfffffffe,%eax
mov    0x30(%rsp),%rbp
lea    (%rax,%rbp,1),%ecx
movslq %ecx,%rcx
lea    (%r14,%rcx,8),%rdi
mov    %ebp,%edx
sub    %eax,%edx
shl    $0x3,%edx
xor    %esi,%esi
call   1040 <memset@plt>
mov    0x18(%rsp),%r12
mov    %r15,%rbx
jmp    13c8 <bn_mul_part_recursive+0x258>
mov    %r13d,%edx
shl    $0x4,%edx
mov    %r15,%rdi
xor    %esi,%esi
call   1040 <memset@plt>
mov    0x28(%rsp),%r8
cmp    $0x10,%r8d
jge    145f <bn_mul_part_recursive+0x2ef>
mov    %r15,%rdi
mov    0x20(%rsp),%rsi
mov    %r8d,%edx
mov    0x10(%rsp),%rcx
call   1050 <bn_mul_normal@plt>
mov    %r12,%rbp
mov    0x18(%rsp),%r12
mov    0x8(%rsp),%rbx
lea    (%r14,%rbx,8),%rdx
mov    %r12,%rdi
mov    %r14,%rsi
mov    %ebp,%ecx
call   1090 <bn_add_words@plt>
mov    %r14,%r15
mov    %rbp,%r14
mov    %rax,%rbp
lea    (%r12,%rbx,8),%rbx
mov    %rbx,%rdi
mov    %r12,%rsi
mov    %rbx,%rdx
mov    %r14d,%ecx
call   1070 <bn_sub_words@plt>
sub    %eax,%ebp
mov    0x40(%rsp),%rax
lea    (%r15,%rax,8),%rdi
mov    %rdi,%rsi
mov    %rbx,%rdx
mov    %r14d,%ecx
call   1090 <bn_add_words@plt>
add    %ebp,%eax
je     1450 <bn_mul_part_recursive+0x2e0>
lea    0x0(%r13,%r13,2),%ecx
movslq %ecx,%rcx
mov    %eax,%edx
add    (%r15,%rcx,8),%eax
mov    %rax,(%r15,%rcx,8)
cmp    %rdx,%rax
jae    1450 <bn_mul_part_recursive+0x2e0>
lea    (%r15,%rcx,8),%rax
add    $0x8,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %rcx,(%rax)
add    $0x8,%rax
test   %ecx,%ecx
je     1440 <bn_mul_part_recursive+0x2d0>
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x20(%rsp),%rsi
mov    %rbx,%r9
mov    0x8(%rsp),%rbx
nopl   0x0(%rax)
mov    %ebp,%eax
shr    $0x1f,%eax
add    %eax,%ebp
sar    %ebp
cmp    %r8d,%ebp
jl     1495 <bn_mul_part_recursive+0x325>
jne    1470 <bn_mul_part_recursive+0x300>
mov    %r15,%rdi
mov    0x10(%rsp),%rdx
mov    %r8d,%ecx
mov    %r9,%r8
call   1060 <bn_mul_recursive@plt>
jmp    14ab <bn_mul_part_recursive+0x33b>
sub    %ebp,%r8d
mov    %r15,%rdi
mov    0x10(%rsp),%rdx
mov    %r8d,%ecx
mov    %ebp,%r8d
call   1030 <bn_mul_part_recursive@plt>
mov    %r12,%rbp
mov    0x18(%rsp),%r12
jmp    13c8 <bn_mul_part_recursive+0x258>

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

LLVM IR (-O2):
define void @bn_mul_part_recursive(i64* %0, i64* %1, i64* %2, i32 %3, i32 %4, i64* %5) {
%7 = shl nsw i32 %4, 1
%8 = icmp slt i32 %4, 8
br i1 %8, label %9, label %12
9: ; preds = %6
%10 = add nsw i32 %4, %3
%11 = tail call i32 @bn_mul_normal(i64* %0, i64* %1, i32 %10, i64* %2, i32 %10)
br label %112
12: ; preds = %6
%13 = zext i32 %4 to i64
%14 = getelementptr inbounds i64, i64* %1, i64 %13
%15 = tail call i64 @bn_sub_words(i64* %5, i64* %1, i64* %14, i32 %4)
%16 = getelementptr inbounds i64, i64* %5, i64 %13
%17 = getelementptr inbounds i64, i64* %2, i64 %13
%18 = tail call i64 @bn_sub_words(i64* %16, i64* %2, i64* %17, i32 %4)
%19 = icmp eq i32 %4, 8
br i1 %19, label %20, label %34
20: ; preds = %12
%21 = zext i32 %7 to i64
%22 = getelementptr inbounds i64, i64* %5, i64 %21
%23 = tail call i32 @bn_mul_comba8(i64* %22, i64* %5, i64* %16)
%24 = tail call i32 @bn_mul_comba8(i64* %0, i64* %1, i64* %2)
%25 = getelementptr inbounds i64, i64* %0, i64 %21
%26 = tail call i32 @bn_mul_normal(i64* %25, i64* %14, i32 %3, i64* %17, i32 %3)
%27 = shl nsw i32 %3, 1
%28 = add nsw i32 %7, %27
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i64, i64* %0, i64 %29
%31 = sub nsw i32 %7, %27
%32 = shl i32 %31, 3
%33 = tail call i32 @memset(i64* %30, i32 0, i32 %32)
br label %82
34: ; preds = %12
%35 = shl nsw i32 %4, 2
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i64, i64* %5, i64 %36
%38 = sext i32 %7 to i64
%39 = getelementptr inbounds i64, i64* %5, i64 %38
%40 = tail call i32 @bn_mul_recursive(i64* %39, i64* %5, i64* %16, i32 %4, i64* %37)
%41 = tail call i32 @bn_mul_recursive(i64* %0, i64* %1, i64* %2, i32 %4, i64* %37)
%42 = lshr i32 %4, 1
%43 = sub nsw i32 %3, %42
%44 = icmp eq i32 %43, 0
br i1 %44, label %45, label %55
45: ; preds = %34
%46 = getelementptr inbounds i64, i64* %0, i64 %38
%47 = tail call i32 @bn_mul_recursive(i64* %46, i64* %14, i64* %17, i32 %42, i64* %37)
%48 = and i32 %4, -2
%49 = add nsw i32 %7, %48
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i64, i64* %0, i64 %50
%52 = sub nsw i32 %7, %48
%53 = shl i32 %52, 3
%54 = tail call i32 @memset(i64* %51, i32 0, i32 %53)
br label %82
55: ; preds = %34
%56 = icmp sgt i32 %43, 0
%57 = getelementptr inbounds i64, i64* %0, i64 %38
br i1 %56, label %58, label %66
58: ; preds = %55
tail call void @bn_mul_part_recursive(i64* %57, i64* %14, i64* %17, i32 %43, i32 %42, i64* %37)
%59 = shl nsw i32 %3, 1
%60 = add nsw i32 %7, %59
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i64, i64* %0, i64 %61
%63 = sub nsw i32 %7, %59
%64 = shl i32 %63, 3
%65 = tail call i32 @memset(i64* %62, i32 0, i32 %64)
br label %82
66: ; preds = %55
%67 = shl i32 %4, 4
%68 = tail call i32 @memset(i64* %57, i32 0, i32 %67)
%69 = icmp slt i32 %3, 16
br i1 %69, label %70, label %72
70: ; preds = %66
%71 = tail call i32 @bn_mul_normal(i64* %57, i64* %14, i32 %3, i64* %17, i32 %3)
br label %82
72: ; preds = %66, %78
%73 = phi i32 [ %74, %78 ], [ %42, %66 ]
%74 = sdiv i32 %73, 2
%75 = icmp slt i32 %74, %3
br i1 %75, label %76, label %78
76: ; preds = %72
%77 = sub nsw i32 %3, %74
tail call void @bn_mul_part_recursive(i64* %57, i64* %14, i64* %17, i32 %77, i32 %74, i64* %37)
br label %82
78: ; preds = %72
%79 = icmp eq i32 %74, %3
br i1 %79, label %80, label %72
80: ; preds = %78
%81 = tail call i32 @bn_mul_recursive(i64* %57, i64* %14, i64* %17, i32 %3, i64* %37)
br label %82
82: ; preds = %45, %70, %80, %76, %58, %20
%83 = phi i64 [ %38, %45 ], [ %38, %70 ], [ %38, %80 ], [ %38, %76 ], [ %38, %58 ], [ 16, %20 ]
%84 = getelementptr inbounds i64, i64* %0, i64 %83
%85 = tail call i64 @bn_add_words(i64* %5, i64* %0, i64* %84, i32 %7)
%86 = trunc i64 %85 to i32
%87 = getelementptr inbounds i64, i64* %5, i64 %83
%88 = tail call i64 @bn_sub_words(i64* %87, i64* %5, i64* %87, i32 %7)
%89 = trunc i64 %88 to i32
%90 = sub i32 %86, %89
%91 = getelementptr inbounds i64, i64* %0, i64 %13
%92 = tail call i64 @bn_add_words(i64* %91, i64* %91, i64* %87, i32 %7)
%93 = trunc i64 %92 to i32
%94 = add i32 %90, %93
%95 = icmp eq i32 %94, 0
br i1 %95, label %112, label %96
96: ; preds = %82
%97 = mul nsw i32 %4, 3
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds i64, i64* %0, i64 %98
%100 = load i64, i64* %99
%101 = zext i32 %94 to i64
%102 = add i64 %100, %101
%103 = and i64 %102, 4294967295
store i64 %103, i64* %99
%104 = icmp ult i64 %103, %101
br i1 %104, label %105, label %112
105: ; preds = %96, %105
%106 = phi i64* [ %107, %105 ], [ %99, %96 ]
%107 = getelementptr inbounds i64, i64* %106, i64 1
%108 = load i64, i64* %107
%109 = add i64 %108, 1
%110 = and i64 %109, 4294967295
store i64 %110, i64* %107
%111 = icmp eq i64 %110, 0
br i1 %111, label %105, label %112
112: ; preds = %105, %82, %96, %9
ret void
}