#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 long *, unsigned long long *,
                        unsigned long long *, int);
int bn_cmp_words(unsigned long long *, unsigned long long *, int);
int /*<<< orphan*/ bn_mul_comba4(unsigned long long *, unsigned long long *,
                                 unsigned long long *);
int /*<<< orphan*/ bn_mul_comba8(unsigned long long *, unsigned long long *,
                                 unsigned long long *);
int /*<<< orphan*/ bn_mul_normal(unsigned long long *, unsigned long long *,
                                 int, unsigned long long *, int);
scalar_t__ bn_sub_words(unsigned long long *, unsigned long long *,
                        unsigned long long *, int);
int /*<<< orphan*/ memset(unsigned long long *, int /*<<< orphan*/, int);
void bn_mul_recursive(unsigned long long *r, unsigned long long *a,
                      unsigned long long *b, int n2, unsigned long long *t) {
  int n = n2 / 2, c1, c2;
  unsigned int neg, zero;
  unsigned long long ln, lo, *p;
  if (n2 == 8) {
    bn_mul_comba8(r, a, b);
    return;
  }
  if (n2 < (16)) {
    bn_mul_normal(r, a, n2, b, n2);
    return;
  }
  c1 = bn_cmp_words(a, &(a[n]), n);
  c2 = bn_cmp_words(&(b[n]), b, n);
  zero = neg = 0;
  switch (c1 * 3 + c2) {
  case -4:
    bn_sub_words(t, &(a[n]), a, n);
    bn_sub_words(&(t[n]), b, &(b[n]), n);
    break;
  case -3:
    zero = 1;
    break;
  case -2:
    bn_sub_words(t, &(a[n]), a, n);
    bn_sub_words(&(t[n]), &(b[n]), b, n);
    neg = 1;
    break;
  case -1:
  case 0:
  case 1:
    zero = 1;
    break;
  case 2:
    bn_sub_words(t, a, &(a[n]), n);
    bn_sub_words(&(t[n]), b, &(b[n]), n);
    neg = 1;
    break;
  case 3:
    zero = 1;
    break;
  case 4:
    bn_sub_words(t, a, &(a[n]), n);
    bn_sub_words(&(t[n]), &(b[n]), b, n);
    break;
  }
  if (n == 4) {
    if (!zero)
      bn_mul_comba4(&(t[n2]), t, &(t[n]));
    else
      memset(&(t[n2]), 0, 8 * sizeof(unsigned long long));
    bn_mul_comba4(r, a, b);
    bn_mul_comba4(&(r[n2]), &(a[n]), &(b[n]));
  } else if (n == 8) {
    if (!zero)
      bn_mul_comba8(&(t[n2]), t, &(t[n]));
    else
      memset(&(t[n2]), 0, 16 * sizeof(unsigned long long));
    bn_mul_comba8(r, a, b);
    bn_mul_comba8(&(r[n2]), &(a[n]), &(b[n]));
  } else {
    p = &(t[n2 * 2]);
    if (!zero)
      bn_mul_recursive(&(t[n2]), t, &(t[n]), n, p);
    else
      memset(&(t[n2]), 0, n2 * sizeof(unsigned long long));
    bn_mul_recursive(r, a, b, n, p);
    bn_mul_recursive(&(r[n2]), &(a[n]), &(b[n]), n, p);
  }
  c1 = (int)(bn_add_words(t, r, &(r[n2]), n2));
  if (neg) {
    c1 -= (int)(bn_sub_words(&(t[n2]), t, &(t[n2]), n2));
  } else {
    c1 += (int)(bn_add_words(&(t[n2]), &(t[n2]), t, n2));
  }
  c1 += (int)(bn_add_words(&(r[n]), &(r[n]), &(t[n2]), n2));
  if (c1) {
    p = &(r[n + n2]);
    lo = *p;
    ln = (lo + c1) & (0xffffffffffffffffLL);
    *p = ln;
    if (ln < (unsigned long long)c1) {
      do {
        p++;
        lo = *p;
        ln = (lo + 1) & (0xffffffffffffffffLL);
        *p = ln;
      } while (ln == 0);
    }
  }
}


x86 assembly (clang, -O0):
<bn_mul_recursive>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
cmpl   $0x8,-0x1c(%rbp)
jne    11c9 <bn_mul_recursive+0x49>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1080 <bn_mul_comba8@plt>
jmp    174e <bn_mul_recursive+0x5ce>
cmpl   $0x10,-0x1c(%rbp)
jge    11f0 <bn_mul_recursive+0x70>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x1c(%rbp),%edx
mov    -0x18(%rbp),%rcx
mov    -0x1c(%rbp),%r8d
call   1040 <bn_mul_normal@plt>
jmp    174e <bn_mul_recursive+0x5ce>
mov    -0x10(%rbp),%rdi
movslq -0x2c(%rbp),%rax
mov    %eax,%edx
lea    (%rdi,%rax,8),%rsi
call   1070 <bn_cmp_words@plt>
mov    %eax,-0x30(%rbp)
mov    -0x18(%rbp),%rsi
movslq -0x2c(%rbp),%rax
mov    %eax,%edx
lea    (%rsi,%rax,8),%rdi
call   1070 <bn_cmp_words@plt>
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x30(%rbp),%ecx
mov    %ecx,%eax
lea    (%rax,%rax,2),%edx
mov    -0x34(%rbp),%ecx
mov    %ecx,%eax
mov    %edx,%ecx
lea    0x4(%rax,%rcx,1),%eax
mov    %eax,%ecx
mov    %rcx,-0x60(%rbp)
sub    $0x8,%eax
ja     13c5 <bn_mul_recursive+0x245>
mov    -0x60(%rbp),%rax
lea    0xda9(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x10(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
call   1060 <bn_sub_words@plt>
mov    -0x28(%rbp),%rdi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
mov    -0x18(%rbp),%rdx
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x2c(%rbp),%ecx
call   1060 <bn_sub_words@plt>
jmp    13c5 <bn_mul_recursive+0x245>
movl   $0x1,-0x3c(%rbp)
jmp    13c5 <bn_mul_recursive+0x245>
mov    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x10(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
call   1060 <bn_sub_words@plt>
mov    -0x28(%rbp),%rdi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
call   1060 <bn_sub_words@plt>
movl   $0x1,-0x38(%rbp)
jmp    13c5 <bn_mul_recursive+0x245>
movl   $0x1,-0x3c(%rbp)
jmp    13c5 <bn_mul_recursive+0x245>
mov    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x10(%rbp),%rdx
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x2c(%rbp),%ecx
call   1060 <bn_sub_words@plt>
mov    -0x28(%rbp),%rdi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
mov    -0x18(%rbp),%rdx
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x2c(%rbp),%ecx
call   1060 <bn_sub_words@plt>
movl   $0x1,-0x38(%rbp)
jmp    13c5 <bn_mul_recursive+0x245>
movl   $0x1,-0x3c(%rbp)
jmp    13c5 <bn_mul_recursive+0x245>
mov    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x10(%rbp),%rdx
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x2c(%rbp),%ecx
call   1060 <bn_sub_words@plt>
mov    -0x28(%rbp),%rdi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
call   1060 <bn_sub_words@plt>
cmpl   $0x4,-0x2c(%rbp)
jne    1468 <bn_mul_recursive+0x2e8>
cmpl   $0x0,-0x3c(%rbp)
jne    1405 <bn_mul_recursive+0x285>
mov    -0x28(%rbp),%rdi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rsi
mov    -0x28(%rbp),%rdx
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
call   1090 <bn_mul_comba4@plt>
jmp    1420 <bn_mul_recursive+0x2a0>
mov    -0x28(%rbp),%rdi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1030 <memset@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1090 <bn_mul_comba4@plt>
mov    -0x8(%rbp),%rdi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
call   1090 <bn_mul_comba4@plt>
jmp    15d6 <bn_mul_recursive+0x456>
cmpl   $0x8,-0x2c(%rbp)
jne    150b <bn_mul_recursive+0x38b>
cmpl   $0x0,-0x3c(%rbp)
jne    14a8 <bn_mul_recursive+0x328>
mov    -0x28(%rbp),%rdi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rsi
mov    -0x28(%rbp),%rdx
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
call   1080 <bn_mul_comba8@plt>
jmp    14c3 <bn_mul_recursive+0x343>
mov    -0x28(%rbp),%rdi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
xor    %esi,%esi
mov    $0x80,%edx
call   1030 <memset@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1080 <bn_mul_comba8@plt>
mov    -0x8(%rbp),%rdi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
call   1080 <bn_mul_comba8@plt>
jmp    15d1 <bn_mul_recursive+0x451>
mov    -0x28(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jne    1560 <bn_mul_recursive+0x3e0>
mov    -0x28(%rbp),%rdi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rsi
mov    -0x28(%rbp),%rdx
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x2c(%rbp),%ecx
mov    -0x58(%rbp),%r8
call   1050 <bn_mul_recursive@plt>
jmp    1580 <bn_mul_recursive+0x400>
mov    -0x28(%rbp),%rdi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1030 <memset@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
mov    -0x58(%rbp),%r8
call   1050 <bn_mul_recursive@plt>
mov    -0x8(%rbp),%rdi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x2c(%rbp),%ecx
mov    -0x58(%rbp),%r8
call   1050 <bn_mul_recursive@plt>
jmp    15d6 <bn_mul_recursive+0x456>
mov    -0x28(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x8(%rbp),%rdx
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x1c(%rbp),%ecx
call   10a0 <bn_add_words@plt>
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x38(%rbp)
je     163b <bn_mul_recursive+0x4bb>
mov    -0x28(%rbp),%rdi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rsi
mov    -0x28(%rbp),%rdx
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x1c(%rbp),%ecx
call   1060 <bn_sub_words@plt>
mov    %eax,%ecx
mov    -0x30(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x30(%rbp)
jmp    166b <bn_mul_recursive+0x4eb>
mov    -0x28(%rbp),%rdi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rsi
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x28(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
call   10a0 <bn_add_words@plt>
add    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0x2c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x28(%rbp),%rdx
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x1c(%rbp),%ecx
call   10a0 <bn_add_words@plt>
add    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
je     174e <bn_mul_recursive+0x5ce>
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
movslq -0x30(%rbp),%rcx
add    %rcx,%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rcx
mov    -0x58(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x48(%rbp),%rax
movslq -0x30(%rbp),%rcx
cmp    %rcx,%rax
jae    1749 <bn_mul_recursive+0x5c9>
jmp    1707 <bn_mul_recursive+0x587>
mov    -0x58(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rcx
mov    -0x58(%rbp),%rax
mov    %rcx,(%rax)
cmpq   $0x0,-0x48(%rbp)
je     1707 <bn_mul_recursive+0x587>
jmp    1749 <bn_mul_recursive+0x5c9>
jmp    174e <bn_mul_recursive+0x5ce>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bn_mul_recursive>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdx,%rbp
mov    %rsi,%r15
mov    %rdi,%r14
cmp    $0x8,%ecx
jne    11b8 <bn_mul_recursive+0x38>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %rbp,%rdx
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1080 <bn_mul_comba8@plt>
mov    %ecx,%r12d
cmp    $0xf,%ecx
jg     11e2 <bn_mul_recursive+0x62>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %r12d,%edx
mov    %rbp,%rcx
mov    %r12d,%r8d
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <bn_mul_normal@plt>
mov    %r8,0x28(%rsp)
mov    %r12d,%eax
shr    $0x1f,%eax
add    %r12d,%eax
sar    %eax
mov    %eax,0x24(%rsp)
movslq %eax,%r13
lea    (%r15,%r13,8),%rsi
mov    %r15,%rdi
mov    %rsi,0x18(%rsp)
mov    %r13d,%edx
call   1070 <bn_cmp_words@plt>
mov    %eax,%ebx
lea    0x0(,%r13,8),%rdi
add    %rbp,%rdi
mov    %rdi,0x10(%rsp)
mov    %rbp,%rsi
mov    %r13,0x8(%rsp)
mov    %r13d,%edx
call   1070 <bn_cmp_words@plt>
lea    (%rbx,%rbx,2),%ecx
mov    $0x1,%dl
add    %ecx,%eax
add    $0x4,%eax
cmp    $0x8,%eax
ja     125a <bn_mul_recursive+0xda>
lea    0xdbb(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
mov    0x28(%rsp),%r13
jmp    *%rax
xor    %edx,%edx
jmp    132b <bn_mul_recursive+0x1ab>
mov    $0x1,%cl
mov    0x28(%rsp),%r13
jmp    132d <bn_mul_recursive+0x1ad>
mov    %r13,%rdi
mov    0x18(%rsp),%rsi
mov    %r15,%rdx
mov    0x8(%rsp),%rbx
mov    %ebx,%ecx
call   1060 <bn_sub_words@plt>
lea    0x0(,%rbx,8),%rdi
add    %r13,%rdi
mov    %rbp,%rsi
mov    0x10(%rsp),%rdx
jmp    1322 <bn_mul_recursive+0x1a2>
mov    %r13,%rdi
mov    0x18(%rsp),%rsi
mov    %r15,%rdx
mov    0x8(%rsp),%rbx
mov    %ebx,%ecx
call   1060 <bn_sub_words@plt>
lea    0x0(,%rbx,8),%rdi
add    %r13,%rdi
mov    0x10(%rsp),%rsi
mov    %rbp,%rdx
jmp    12eb <bn_mul_recursive+0x16b>
mov    %r13,%rdi
mov    %r15,%rsi
mov    0x18(%rsp),%rdx
mov    0x8(%rsp),%rbx
mov    %ebx,%ecx
call   1060 <bn_sub_words@plt>
lea    0x0(,%rbx,8),%rdi
add    %r13,%rdi
mov    %rbp,%rsi
mov    0x10(%rsp),%rdx
mov    %ebx,%ecx
call   1060 <bn_sub_words@plt>
mov    $0x1,%dl
xor    %ecx,%ecx
jmp    132d <bn_mul_recursive+0x1ad>
mov    %r13,%rdi
mov    %r15,%rsi
mov    0x18(%rsp),%rdx
mov    0x8(%rsp),%rbx
mov    %ebx,%ecx
call   1060 <bn_sub_words@plt>
lea    0x0(,%rbx,8),%rdi
add    %r13,%rdi
mov    0x10(%rsp),%rsi
mov    %rbp,%rdx
mov    %ebx,%ecx
call   1060 <bn_sub_words@plt>
mov    $0x1,%dl
mov    $0x1,%cl
mov    %r12d,%eax
and    $0xfffffffe,%eax
cmp    $0x10,%eax
mov    %ecx,0x34(%rsp)
je     136d <bn_mul_recursive+0x1ed>
cmp    $0x8,%eax
jne    1399 <bn_mul_recursive+0x219>
mov    %r12d,%ebx
lea    0x0(,%rbx,8),%rdi
add    %r13,%rdi
test   %dl,%dl
je     13c5 <bn_mul_recursive+0x245>
mov    0x8(%rsp),%rax
lea    0x0(,%rax,8),%rdx
add    %r13,%rdx
mov    %r13,%rsi
call   1090 <bn_mul_comba4@plt>
jmp    13d1 <bn_mul_recursive+0x251>
mov    %r12d,%ebx
lea    0x0(,%rbx,8),%rdi
add    %r13,%rdi
test   %dl,%dl
je     13f4 <bn_mul_recursive+0x274>
mov    0x8(%rsp),%rax
lea    0x0(,%rax,8),%rdx
add    %r13,%rdx
mov    %r13,%rsi
call   1080 <bn_mul_comba8@plt>
jmp    1400 <bn_mul_recursive+0x280>
lea    (%r12,%r12,1),%eax
cltq
mov    %r13,%rsi
lea    0x0(%r13,%rax,8),%r13
mov    %r12d,%ebx
lea    (%rsi,%rbx,8),%rdi
test   %dl,%dl
je     1423 <bn_mul_recursive+0x2a3>
mov    0x8(%rsp),%rcx
lea    (%rsi,%rcx,8),%rdx
mov    %r13,%r8
call   1050 <bn_mul_recursive@plt>
jmp    1432 <bn_mul_recursive+0x2b2>
xor    %esi,%esi
mov    $0x40,%edx
call   1030 <memset@plt>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %rbp,%rdx
call   1090 <bn_mul_comba4@plt>
lea    (%r14,%rbx,8),%rdi
mov    0x18(%rsp),%rsi
mov    0x10(%rsp),%rdx
call   1090 <bn_mul_comba4@plt>
jmp    1466 <bn_mul_recursive+0x2e6>
xor    %esi,%esi
mov    $0x80,%edx
call   1030 <memset@plt>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %rbp,%rdx
call   1080 <bn_mul_comba8@plt>
lea    (%r14,%rbx,8),%rdi
mov    0x18(%rsp),%rsi
mov    0x10(%rsp),%rdx
call   1080 <bn_mul_comba8@plt>
jmp    1466 <bn_mul_recursive+0x2e6>
lea    0x0(,%r12,8),%edx
xor    %esi,%esi
call   1030 <memset@plt>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %rbp,%rdx
mov    0x24(%rsp),%ebp
mov    %ebp,%ecx
mov    %r13,%r8
call   1050 <bn_mul_recursive@plt>
lea    (%r14,%rbx,8),%rdi
mov    0x18(%rsp),%rsi
mov    0x10(%rsp),%rdx
mov    %ebp,%ecx
mov    %r13,%r8
call   1050 <bn_mul_recursive@plt>
mov    0x28(%rsp),%r13
lea    (%r14,%rbx,8),%rdx
mov    %r13,%rdi
mov    %r14,%rsi
mov    %r12d,%ecx
call   10a0 <bn_add_words@plt>
mov    %rax,%rbp
lea    0x0(,%rbx,8),%rbx
add    %r13,%rbx
cmpb   $0x0,0x34(%rsp)
je     14a4 <bn_mul_recursive+0x324>
mov    %rbx,%rdi
mov    %rbx,%rsi
mov    %r13,%rdx
mov    %r12d,%ecx
call   10a0 <bn_add_words@plt>
add    %ebp,%eax
mov    %eax,%ebp
jmp    14b7 <bn_mul_recursive+0x337>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
mov    %r12d,%ecx
call   1060 <bn_sub_words@plt>
sub    %eax,%ebp
mov    0x8(%rsp),%rax
lea    (%r14,%rax,8),%rdi
mov    %rdi,%rsi
mov    %rbx,%rdx
mov    %r12d,%ecx
call   10a0 <bn_add_words@plt>
add    %ebp,%eax
je     14fa <bn_mul_recursive+0x37a>
mov    0x24(%rsp),%ecx
add    %r12d,%ecx
movslq %ecx,%rcx
cltq
add    %rax,(%r14,%rcx,8)
jae    14fa <bn_mul_recursive+0x37a>
lea    (%r14,%rcx,8),%rax
add    $0x8,%rax
nopl   0x0(%rax)
addq   $0x1,(%rax)
lea    0x8(%rax),%rax
je     14f0 <bn_mul_recursive+0x370>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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