#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 int *, unsigned int *, unsigned int *, int);
int bn_cmp_words(unsigned int *, unsigned int *, int);
int /*<<< orphan*/ bn_mul_comba8(unsigned int *, unsigned int *,
                                 unsigned int *);
int /*<<< orphan*/ bn_mul_recursive(unsigned int *, unsigned int *,
                                    unsigned int *, int, int /*<<< orphan*/,
                                    int /*<<< orphan*/, unsigned int *);
scalar_t__ bn_sub_words(unsigned int *, unsigned int *, unsigned int *, int);
void bn_mul_high(unsigned int *r, unsigned int *a, unsigned int *b,
                 unsigned int *l, int n2, unsigned int *t) {
  int i, n;
  int c1, c2;
  int neg, oneg, zero;
  unsigned int ll, lc, *lp, *mp;
  n = n2 / 2;
  neg = zero = 0;
  c1 = bn_cmp_words(&(a[0]), &(a[n]), n);
  c2 = bn_cmp_words(&(b[n]), &(b[0]), n);
  switch (c1 * 3 + c2) {
  case -4:
    bn_sub_words(&(r[0]), &(a[n]), &(a[0]), n);
    bn_sub_words(&(r[n]), &(b[0]), &(b[n]), n);
    break;
  case -3:
    zero = 1;
    break;
  case -2:
    bn_sub_words(&(r[0]), &(a[n]), &(a[0]), n);
    bn_sub_words(&(r[n]), &(b[n]), &(b[0]), n);
    neg = 1;
    break;
  case -1:
  case 0:
  case 1:
    zero = 1;
    break;
  case 2:
    bn_sub_words(&(r[0]), &(a[0]), &(a[n]), n);
    bn_sub_words(&(r[n]), &(b[0]), &(b[n]), n);
    neg = 1;
    break;
  case 3:
    zero = 1;
    break;
  case 4:
    bn_sub_words(&(r[0]), &(a[0]), &(a[n]), n);
    bn_sub_words(&(r[n]), &(b[n]), &(b[0]), n);
    break;
  }
  oneg = neg;
  if (n == 8) {
    bn_mul_comba8(&(t[0]), &(r[0]), &(r[n]));
    bn_mul_comba8(r, &(a[n]), &(b[n]));
  } else {
    bn_mul_recursive(&(t[0]), &(r[0]), &(r[n]), n, 0, 0, &(t[n2]));
    bn_mul_recursive(r, &(a[n]), &(b[n]), n, 0, 0, &(t[n2]));
  }
  if (l != NULL) {
    lp = &(t[n2 + n]);
    c1 = (int)(bn_add_words(lp, &(r[0]), &(l[0]), n));
  } else {
    c1 = 0;
    lp = &(r[0]);
  }
  if (neg)
    neg = (int)(bn_sub_words(&(t[n2]), lp, &(t[0]), n));
  else {
    bn_add_words(&(t[n2]), lp, &(t[0]), n);
    neg = 0;
  }
  if (l != NULL)
    bn_sub_words(&(t[n2 + n]), &(l[n]), &(t[n2]), n);
  else {
    lp = &(t[n2 + n]);
    mp = &(t[n2]);
    for (i = 0; i < n; i++)
      lp[i] = ((~mp[i]) + 1) & (0xffffffffL);
  }
  if (l != NULL) {
    lp = &(t[n2]);
    c1 = (int)(bn_add_words(lp, &(t[n2 + n]), &(l[0]), n));
  } else {
    lp = &(t[n2 + n]);
    c1 = 0;
  }
  c1 += (int)(bn_add_words(&(t[n2]), lp, &(r[0]), n));
  if (oneg)
    c1 -= (int)(bn_sub_words(&(t[n2]), &(t[n2]), &(t[0]), n));
  else
    c1 += (int)(bn_add_words(&(t[n2]), &(t[n2]), &(t[0]), n));
  c2 = (int)(bn_add_words(&(r[0]), &(r[0]), &(t[n2 + n]), n));
  c2 += (int)(bn_add_words(&(r[0]), &(r[0]), &(r[n]), n));
  if (oneg)
    c2 -= (int)(bn_sub_words(&(r[0]), &(r[0]), &(t[n]), n));
  else
    c2 += (int)(bn_add_words(&(r[0]), &(r[0]), &(t[n]), n));
  if (c1 != 0) {
    i = 0;
    if (c1 > 0) {
      lc = c1;
      do {
        ll = (r[i] + lc) & (0xffffffffL);
        r[i++] = ll;
        lc = (lc > ll);
      } while (lc);
    } else {
      lc = -c1;
      do {
        ll = r[i];
        r[i++] = (ll - lc) & (0xffffffffL);
        lc = (lc > ll);
      } while (lc);
    }
  }
  if (c2 != 0) {
    i = n;
    if (c2 > 0) {
      lc = c2;
      do {
        ll = (r[i] + lc) & (0xffffffffL);
        r[i++] = ll;
        lc = (lc > ll);
      } while (lc);
    } else {
      lc = -c2;
      do {
        ll = r[i];
        r[i++] = (ll - lc) & (0xffffffffL);
        lc = (lc > ll);
      } while (lc);
    }
  }
}


x86 assembly (clang, -O0):
<bn_mul_high>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
sar    %eax
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x4c(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x10(%rbp),%rdi
movslq -0x38(%rbp),%rax
mov    %eax,%edx
lea    (%rdi,%rax,4),%rsi
call   1050 <bn_cmp_words@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x18(%rbp),%rsi
movslq -0x38(%rbp),%rax
mov    %eax,%edx
lea    (%rsi,%rax,4),%rdi
call   1050 <bn_cmp_words@plt>
mov    %eax,-0x40(%rbp)
mov    -0x3c(%rbp),%ecx
mov    %ecx,%eax
lea    (%rax,%rax,2),%edx
mov    -0x40(%rbp),%ecx
mov    %ecx,%eax
mov    %edx,%ecx
lea    0x4(%rax,%rcx,1),%eax
mov    %eax,%ecx
mov    %rcx,-0x70(%rbp)
sub    $0x8,%eax
ja     1357 <bn_mul_high+0x207>
mov    -0x70(%rbp),%rax
lea    0xe17(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x10(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   1040 <bn_sub_words@plt>
mov    -0x8(%rbp),%rdi
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
mov    -0x18(%rbp),%rdx
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x38(%rbp),%ecx
call   1040 <bn_sub_words@plt>
jmp    1357 <bn_mul_high+0x207>
movl   $0x1,-0x4c(%rbp)
jmp    1357 <bn_mul_high+0x207>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x10(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   1040 <bn_sub_words@plt>
mov    -0x8(%rbp),%rdi
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   1040 <bn_sub_words@plt>
movl   $0x1,-0x44(%rbp)
jmp    1357 <bn_mul_high+0x207>
movl   $0x1,-0x4c(%rbp)
jmp    1357 <bn_mul_high+0x207>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x10(%rbp),%rdx
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x38(%rbp),%ecx
call   1040 <bn_sub_words@plt>
mov    -0x8(%rbp),%rdi
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
mov    -0x18(%rbp),%rdx
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x38(%rbp),%ecx
call   1040 <bn_sub_words@plt>
movl   $0x1,-0x44(%rbp)
jmp    1357 <bn_mul_high+0x207>
movl   $0x1,-0x4c(%rbp)
jmp    1357 <bn_mul_high+0x207>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x10(%rbp),%rdx
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x38(%rbp),%ecx
call   1040 <bn_sub_words@plt>
mov    -0x8(%rbp),%rdi
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   1040 <bn_sub_words@plt>
mov    -0x44(%rbp),%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x8,-0x38(%rbp)
jne    13af <bn_mul_high+0x25f>
mov    -0x30(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x8(%rbp),%rdx
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
call   1060 <bn_mul_comba8@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
call   1060 <bn_mul_comba8@plt>
jmp    142a <bn_mul_high+0x2da>
mov    -0x30(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x8(%rbp),%rdx
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x38(%rbp),%ecx
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%r8
shl    $0x2,%r8
add    %r8,%rax
xor    %r9d,%r9d
mov    %r9d,%r8d
mov    %rax,(%rsp)
call   1030 <bn_mul_recursive@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x38(%rbp),%ecx
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%r8
shl    $0x2,%r8
add    %r8,%rax
xor    %r9d,%r9d
mov    %r9d,%r8d
mov    %rax,(%rsp)
call   1030 <bn_mul_recursive@plt>
cmpq   $0x0,-0x20(%rbp)
je     1469 <bn_mul_high+0x319>
mov    -0x30(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   1070 <bn_add_words@plt>
mov    %eax,-0x3c(%rbp)
jmp    1478 <bn_mul_high+0x328>
movl   $0x0,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x60(%rbp)
cmpl   $0x0,-0x44(%rbp)
je     14a9 <bn_mul_high+0x359>
mov    -0x30(%rbp),%rdi
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x60(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   1040 <bn_sub_words@plt>
mov    %eax,-0x44(%rbp)
jmp    14cf <bn_mul_high+0x37f>
mov    -0x30(%rbp),%rdi
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x60(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   1070 <bn_add_words@plt>
movl   $0x0,-0x44(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     1518 <bn_mul_high+0x3c8>
mov    -0x30(%rbp),%rdi
mov    -0x24(%rbp),%eax
add    -0x38(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x20(%rbp),%rsi
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x30(%rbp),%rdx
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x38(%rbp),%ecx
call   1040 <bn_sub_words@plt>
jmp    1596 <bn_mul_high+0x446>
mov    -0x30(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x68(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    1591 <bn_mul_high+0x441>
mov    -0x68(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
xor    $0xffffffff,%eax
add    $0x1,%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,%edx
mov    -0x60(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    154a <bn_mul_high+0x3fa>
jmp    1596 <bn_mul_high+0x446>
cmpq   $0x0,-0x20(%rbp)
je     15df <bn_mul_high+0x48f>
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x24(%rbp),%eax
add    -0x38(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x20(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   1070 <bn_add_words@plt>
mov    %eax,-0x3c(%rbp)
jmp    15fe <bn_mul_high+0x4ae>
mov    -0x30(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x30(%rbp),%rdi
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x60(%rbp),%rsi
mov    -0x8(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   1070 <bn_add_words@plt>
add    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x48(%rbp)
je     1666 <bn_mul_high+0x516>
mov    -0x30(%rbp),%rdi
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x30(%rbp),%rsi
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x30(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   1040 <bn_sub_words@plt>
mov    %eax,%ecx
mov    -0x3c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x3c(%rbp)
jmp    1696 <bn_mul_high+0x546>
mov    -0x30(%rbp),%rdi
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x30(%rbp),%rsi
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x30(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   1070 <bn_add_words@plt>
add    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    -0x24(%rbp),%eax
add    -0x38(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x38(%rbp),%ecx
call   1070 <bn_add_words@plt>
mov    %eax,-0x40(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x8(%rbp),%rdx
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x38(%rbp),%ecx
call   1070 <bn_add_words@plt>
add    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
cmpl   $0x0,-0x48(%rbp)
je     1719 <bn_mul_high+0x5c9>
mov    -0x8(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x30(%rbp),%rdx
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x38(%rbp),%ecx
call   1040 <bn_sub_words@plt>
mov    %eax,%ecx
mov    -0x40(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x40(%rbp)
jmp    173e <bn_mul_high+0x5ee>
mov    -0x8(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x30(%rbp),%rdx
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x38(%rbp),%ecx
call   1070 <bn_add_words@plt>
add    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
cmpl   $0x0,-0x3c(%rbp)
je     181e <bn_mul_high+0x6ce>
movl   $0x0,-0x34(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jle    17b7 <bn_mul_high+0x667>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x54(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x54(%rbp),%eax
cmp    -0x50(%rbp),%eax
seta   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x54(%rbp)
cmpl   $0x0,-0x54(%rbp)
jne    175f <bn_mul_high+0x60f>
jmp    1819 <bn_mul_high+0x6c9>
xor    %eax,%eax
sub    -0x3c(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
sub    -0x54(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,%edx
mov    -0x8(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x54(%rbp),%eax
cmp    -0x50(%rbp),%eax
seta   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x54(%rbp)
cmpl   $0x0,-0x54(%rbp)
jne    17bf <bn_mul_high+0x66f>
jmp    1819 <bn_mul_high+0x6c9>
jmp    181e <bn_mul_high+0x6ce>
cmpl   $0x0,-0x40(%rbp)
je     18fd <bn_mul_high+0x7ad>
mov    -0x38(%rbp),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x40(%rbp)
jle    1896 <bn_mul_high+0x746>
mov    -0x40(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x54(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x54(%rbp),%eax
cmp    -0x50(%rbp),%eax
seta   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x54(%rbp)
cmpl   $0x0,-0x54(%rbp)
jne    183e <bn_mul_high+0x6ee>
jmp    18f8 <bn_mul_high+0x7a8>
xor    %eax,%eax
sub    -0x40(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
sub    -0x54(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,%edx
mov    -0x8(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x54(%rbp),%eax
cmp    -0x50(%rbp),%eax
seta   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x54(%rbp)
cmpl   $0x0,-0x54(%rbp)
jne    189e <bn_mul_high+0x74e>
jmp    18f8 <bn_mul_high+0x7a8>
jmp    18fd <bn_mul_high+0x7ad>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bn_mul_high>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %r9,0x30(%rsp)
mov    %r8d,%r15d
mov    %rcx,0x28(%rsp)
mov    %rdx,%r12
mov    %rsi,%r14
mov    %rdi,0x50(%rsp)
mov    %r8d,%r13d
shr    $0x1f,%r13d
add    %r8d,%r13d
sar    %r13d
movslq %r13d,%rbp
lea    (%rsi,%rbp,4),%rsi
mov    %r14,%rdi
mov    %rsi,0x20(%rsp)
mov    %ebp,%edx
call   1050 <bn_cmp_words@plt>
mov    %eax,%ebx
lea    (%r12,%rbp,4),%rdi
mov    %rdi,0x18(%rsp)
mov    %r12,%rsi
mov    %ebp,%edx
call   1050 <bn_cmp_words@plt>
lea    (%rbx,%rbx,2),%ecx
mov    $0x1,%dl
mov    %edx,0x14(%rsp)
add    %ecx,%eax
add    $0x4,%eax
cmp    $0x8,%eax
ja     1438 <bn_mul_high+0x2e8>
lea    0xe34(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
mov    0x50(%rsp),%rbx
jmp    *%rax
mov    %rbx,%rdi
mov    0x20(%rsp),%rsi
mov    %r14,%rdx
mov    %ebp,%ecx
call   1040 <bn_sub_words@plt>
lea    (%rbx,%rbp,4),%rdi
mov    %r12,%rsi
mov    0x18(%rsp),%rdx
jmp    1267 <bn_mul_high+0x117>
mov    %rbx,%rdi
mov    0x20(%rsp),%rsi
mov    %r14,%rdx
mov    %ebp,%ecx
call   1040 <bn_sub_words@plt>
lea    (%rbx,%rbp,4),%rdi
mov    0x18(%rsp),%rsi
mov    %r12,%rdx
jmp    1238 <bn_mul_high+0xe8>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    0x20(%rsp),%rdx
mov    %ebp,%ecx
call   1040 <bn_sub_words@plt>
lea    (%rbx,%rbp,4),%rdi
mov    %r12,%rsi
mov    0x18(%rsp),%rdx
mov    %ebp,%ecx
call   1040 <bn_sub_words@plt>
movl   $0x0,0x14(%rsp)
jmp    126e <bn_mul_high+0x11e>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    0x20(%rsp),%rdx
mov    %ebp,%ecx
call   1040 <bn_sub_words@plt>
lea    (%rbx,%rbp,4),%rdi
mov    0x18(%rsp),%rsi
mov    %r12,%rdx
mov    %ebp,%ecx
call   1040 <bn_sub_words@plt>
mov    %r15d,%eax
and    $0xfffffffe,%eax
mov    %rbp,0x48(%rsp)
lea    (%rbx,%rbp,4),%rdx
movslq %r15d,%r12
cmp    $0x10,%eax
mov    %rbx,%r14
mov    %rdx,0x40(%rsp)
jne    12ae <bn_mul_high+0x15e>
mov    0x30(%rsp),%rdi
mov    %r14,%rsi
call   1060 <bn_mul_comba8@plt>
mov    %r14,%rdi
mov    0x20(%rsp),%rsi
mov    0x18(%rsp),%rdx
call   1060 <bn_mul_comba8@plt>
jmp    12eb <bn_mul_high+0x19b>
mov    0x30(%rsp),%rdi
lea    (%rdi,%r12,4),%rbx
mov    %rbx,(%rsp)
mov    %r14,%rsi
mov    %r13d,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
call   1030 <bn_mul_recursive@plt>
mov    %rbx,(%rsp)
mov    %r14,%rdi
mov    0x20(%rsp),%rsi
mov    0x18(%rsp),%rdx
mov    %r13d,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
call   1030 <bn_mul_recursive@plt>
mov    %r14,%rbx
mov    0x28(%rsp),%rdx
test   %rdx,%rdx
mov    0x30(%rsp),%rbp
je     131c <bn_mul_high+0x1cc>
lea    (%r15,%r13,1),%eax
cltq
lea    0x0(,%rax,4),%rbx
add    %rbp,%rbx
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r13d,%ecx
call   1070 <bn_add_words@plt>
lea    0x0(,%r12,4),%r14
add    %rbp,%r14
cmpb   $0x0,0x14(%rsp)
mov    %r12,0x38(%rsp)
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %rbp,%rdx
mov    %r13d,%ecx
je     1346 <bn_mul_high+0x1f6>
call   1070 <bn_add_words@plt>
jmp    134b <bn_mul_high+0x1fb>
call   1040 <bn_sub_words@plt>
mov    0x48(%rsp),%rcx
mov    0x28(%rsp),%rbx
lea    (%r15,%r13,1),%eax
movslq %eax,%r9
lea    0x0(,%r9,4),%r12
add    %rbp,%r12
test   %rbx,%rbx
mov    %r9,0x28(%rsp)
je     139c <bn_mul_high+0x24c>
lea    (%rbx,%rcx,4),%rsi
mov    %r12,%rdi
mov    %r14,%rdx
mov    %r13d,%ecx
call   1040 <bn_sub_words@plt>
mov    %r14,%rdi
mov    %r12,%rsi
mov    %rbx,%rdx
mov    %r13d,%ecx
call   1070 <bn_add_words@plt>
mov    %rax,%rbx
jmp    157e <bn_mul_high+0x42e>
movslq %r15d,%rcx
xor    %ebx,%ebx
cmp    $0x2,%r15d
mov    %rcx,0x38(%rsp)
jl     157b <bn_mul_high+0x42b>
lea    0x0(,%rcx,4),%rdx
add    %rbp,%rdx
mov    %r13d,%eax
cmp    $0x8,%r13d
jb     13f3 <bn_mul_high+0x2a3>
add    %rax,%rcx
lea    0x0(,%rcx,4),%rcx
add    %rbp,%rcx
cmp    %rcx,%r12
jae    14a6 <bn_mul_high+0x356>
lea    (%r9,%rax,1),%rcx
lea    0x0(,%rcx,4),%rcx
add    %rbp,%rcx
cmp    %rcx,%rdx
jae    14a6 <bn_mul_high+0x356>
xor    %ecx,%ecx
mov    %rcx,%rsi
not    %rsi
add    %rax,%rsi
mov    %rax,%rdi
and    $0x3,%rdi
je     1423 <bn_mul_high+0x2d3>
nopw   0x0(%rax,%rax,1)
xor    %ebp,%ebp
sub    (%rdx,%rcx,4),%ebp
mov    %ebp,(%r12,%rcx,4)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rdi
jne    1410 <bn_mul_high+0x2c0>
xor    %ebx,%ebx
cmp    $0x3,%rsi
jae    1442 <bn_mul_high+0x2f2>
mov    %r12,%r14
mov    0x30(%rsp),%rbp
jmp    157e <bn_mul_high+0x42e>
mov    0x50(%rsp),%rbx
jmp    126e <bn_mul_high+0x11e>
mov    0x30(%rsp),%rbp
lea    0xc(,%r9,4),%rdx
add    %rbp,%rdx
mov    0x38(%rsp),%rsi
lea    0xc(,%rsi,4),%rsi
add    %rbp,%rsi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
xor    %edi,%edi
sub    -0xc(%rsi,%rcx,4),%edi
mov    %edi,-0xc(%rdx,%rcx,4)
xor    %edi,%edi
sub    -0x8(%rsi,%rcx,4),%edi
mov    %edi,-0x8(%rdx,%rcx,4)
xor    %edi,%edi
sub    -0x4(%rsi,%rcx,4),%edi
mov    %edi,-0x4(%rdx,%rcx,4)
xor    %edi,%edi
sub    (%rsi,%rcx,4),%edi
xor    %ebx,%ebx
mov    %edi,(%rdx,%rcx,4)
add    $0x4,%rcx
cmp    %rcx,%rax
jne    1470 <bn_mul_high+0x320>
jmp    157b <bn_mul_high+0x42b>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rsi
mov    %rsi,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rsi,%rsi
je     153b <bn_mul_high+0x3eb>
mov    %r8,%rsi
and    $0xfffffffffffffffe,%rsi
mov    0x38(%rsp),%rdi
lea    0x30(,%rdi,4),%rbx
add    %rbp,%rbx
lea    0x30(%rbp,%r9,4),%rbp
xor    %edi,%edi
nopl   (%rax)
movdqu -0x30(%rbx,%rdi,4),%xmm0
movdqu -0x20(%rbx,%rdi,4),%xmm1
pxor   %xmm2,%xmm2
psubd  %xmm0,%xmm2
pxor   %xmm0,%xmm0
psubd  %xmm1,%xmm0
movdqu %xmm2,-0x30(%rbp,%rdi,4)
movdqu %xmm0,-0x20(%rbp,%rdi,4)
movdqu -0x10(%rbx,%rdi,4),%xmm0
movdqu (%rbx,%rdi,4),%xmm1
pxor   %xmm2,%xmm2
psubd  %xmm0,%xmm2
pxor   %xmm0,%xmm0
psubd  %xmm1,%xmm0
movdqu %xmm2,-0x10(%rbp,%rdi,4)
movdqu %xmm0,0x0(%rbp,%rdi,4)
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rsi
jne    14e0 <bn_mul_high+0x390>
jmp    153d <bn_mul_high+0x3ed>
xor    %edi,%edi
test   $0x1,%r8b
je     156b <bn_mul_high+0x41b>
movdqu (%rdx,%rdi,4),%xmm0
movdqu 0x10(%rdx,%rdi,4),%xmm1
pxor   %xmm2,%xmm2
pxor   %xmm3,%xmm3
psubd  %xmm0,%xmm3
psubd  %xmm1,%xmm2
movdqu %xmm3,(%r12,%rdi,4)
movdqu %xmm2,0x10(%r12,%rdi,4)
xor    %ebx,%ebx
cmp    %rax,%rcx
mov    0x30(%rsp),%rbp
jne    13f5 <bn_mul_high+0x2a5>
mov    %r12,%r14
mov    %r13,%r12
mov    %rbp,%r13
mov    0x38(%rsp),%rax
lea    0x0(%rbp,%rax,4),%rbp
mov    %rbp,%rdi
mov    %r14,%rsi
mov    0x50(%rsp),%r15
mov    %r15,%rdx
mov    %r12d,%ecx
call   1070 <bn_add_words@plt>
mov    %rax,%r14
add    %ebx,%r14d
cmpb   $0x0,0x14(%rsp)
je     15c7 <bn_mul_high+0x477>
mov    %rbp,%rdi
mov    %rbp,%rsi
mov    %r13,%rdx
mov    %r12d,%ecx
call   1070 <bn_add_words@plt>
add    %eax,%r14d
jmp    15db <bn_mul_high+0x48b>
mov    %rbp,%rdi
mov    %rbp,%rsi
mov    %r13,%rdx
mov    %r12d,%ecx
call   1040 <bn_sub_words@plt>
sub    %eax,%r14d
mov    0x28(%rsp),%rax
lea    0x0(,%rax,4),%rdx
add    %r13,%rdx
mov    %r15,%rdi
mov    %r15,%rsi
mov    %r12d,%ecx
call   1070 <bn_add_words@plt>
mov    %rax,%rbp
mov    %r15,%rdi
mov    %r15,%rsi
mov    0x40(%rsp),%rdx
mov    %r12d,%ecx
call   1070 <bn_add_words@plt>
mov    %rax,%rbx
add    %ebp,%ebx
mov    0x48(%rsp),%rbp
lea    0x0(,%rbp,4),%rdx
add    %r13,%rdx
cmpb   $0x0,0x14(%rsp)
je     1642 <bn_mul_high+0x4f2>
mov    %r15,%rdi
mov    %r15,%rsi
mov    %r12d,%ecx
call   1070 <bn_add_words@plt>
add    %eax,%ebx
test   %r14d,%r14d
jne    1657 <bn_mul_high+0x507>
jmp    16a9 <bn_mul_high+0x559>
mov    %r15,%rdi
mov    %r15,%rsi
mov    %r12d,%ecx
call   1040 <bn_sub_words@plt>
sub    %eax,%ebx
test   %r14d,%r14d
je     16a9 <bn_mul_high+0x559>
jle    167b <bn_mul_high+0x52b>
add    %r14d,(%r15)
jae    16a9 <bn_mul_high+0x559>
lea    0x4(%r15),%rax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
addl   $0x1,(%rax)
lea    0x4(%rax),%rax
je     1670 <bn_mul_high+0x520>
jmp    16a9 <bn_mul_high+0x559>
mov    (%r15),%eax
lea    (%rax,%r14,1),%ecx
neg    %r14d
mov    %ecx,(%r15)
cmp    %r14d,%eax
jae    16a9 <bn_mul_high+0x559>
lea    0x4(%r15),%rax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
subl   $0x1,(%rax)
lea    0x4(%rax),%rax
jb     16a0 <bn_mul_high+0x550>
test   %ebx,%ebx
je     16f9 <bn_mul_high+0x5a9>
jle    16cb <bn_mul_high+0x57b>
mov    0x40(%rsp),%rax
add    %ebx,(%rax)
jae    16f9 <bn_mul_high+0x5a9>
lea    (%r15,%rbp,4),%rax
add    $0x4,%rax
addl   $0x1,(%rax)
lea    0x4(%rax),%rax
je     16c0 <bn_mul_high+0x570>
jmp    16f9 <bn_mul_high+0x5a9>
mov    0x40(%rsp),%rdx
mov    (%rdx),%eax
lea    (%rax,%rbx,1),%ecx
neg    %ebx
mov    %ecx,(%rdx)
cmp    %ebx,%eax
jae    16f9 <bn_mul_high+0x5a9>
lea    (%r15,%rbp,4),%rax
add    $0x4,%rax
cs nopw 0x0(%rax,%rax,1)
nop
subl   $0x1,(%rax)
lea    0x4(%rax),%rax
jb     16f0 <bn_mul_high+0x5a0>
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @bn_mul_high(i32* %0, i32* %1, i32* %2, i32* %3, i32 %4, i32* %5) {
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32
%12 = alloca i32*
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32*
%23 = alloca i32*
store i32* %0, i32** %7
store i32* %1, i32** %8
store i32* %2, i32** %9
store i32* %3, i32** %10
store i32 %4, i32* %11
store i32* %5, i32** %12
%24 = load i32, i32* %11
%25 = sdiv i32 %24, 2
store i32 %25, i32* %14
store i32 0, i32* %19
store i32 0, i32* %17
%26 = load i32*, i32** %8
%27 = getelementptr inbounds i32, i32* %26, i64 0
%28 = load i32*, i32** %8
%29 = load i32, i32* %14
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %28, i64 %30
%32 = load i32, i32* %14
%33 = call i32 @bn_cmp_words(i32* %27, i32* %31, i32 %32)
store i32 %33, i32* %15
%34 = load i32*, i32** %9
%35 = load i32, i32* %14
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i32, i32* %34, i64 %36
%38 = load i32*, i32** %9
%39 = getelementptr inbounds i32, i32* %38, i64 0
%40 = load i32, i32* %14
%41 = call i32 @bn_cmp_words(i32* %37, i32* %39, i32 %40)
store i32 %41, i32* %16
%42 = load i32, i32* %15
%43 = mul nsw i32 %42, 3
%44 = load i32, i32* %16
%45 = add nsw i32 %43, %44
switch i32 %45, label %141 [
i32 -4, label %46
i32 -3, label %69
i32 -2, label %70
i32 -1, label %93
i32 0, label %93
i32 1, label %93
i32 2, label %94
i32 3, label %117
i32 4, label %118
]
46: ; preds = %6
%47 = load i32*, i32** %7
%48 = getelementptr inbounds i32, i32* %47, i64 0
%49 = load i32*, i32** %8
%50 = load i32, i32* %14
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %49, i64 %51
%53 = load i32*, i32** %8
%54 = getelementptr inbounds i32, i32* %53, i64 0
%55 = load i32, i32* %14
%56 = call i64 @bn_sub_words(i32* %48, i32* %52, i32* %54, i32 %55)
%57 = load i32*, i32** %7
%58 = load i32, i32* %14
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i32, i32* %57, i64 %59
%61 = load i32*, i32** %9
%62 = getelementptr inbounds i32, i32* %61, i64 0
%63 = load i32*, i32** %9
%64 = load i32, i32* %14
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i32, i32* %63, i64 %65
%67 = load i32, i32* %14
%68 = call i64 @bn_sub_words(i32* %60, i32* %62, i32* %66, i32 %67)
br label %141
69: ; preds = %6
store i32 1, i32* %19
br label %141
70: ; preds = %6
%71 = load i32*, i32** %7
%72 = getelementptr inbounds i32, i32* %71, i64 0
%73 = load i32*, i32** %8
%74 = load i32, i32* %14
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i32, i32* %73, i64 %75
%77 = load i32*, i32** %8
%78 = getelementptr inbounds i32, i32* %77, i64 0
%79 = load i32, i32* %14
%80 = call i64 @bn_sub_words(i32* %72, i32* %76, i32* %78, i32 %79)
%81 = load i32*, i32** %7
%82 = load i32, i32* %14
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i32, i32* %81, i64 %83
%85 = load i32*, i32** %9
%86 = load i32, i32* %14
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds i32, i32* %85, i64 %87
%89 = load i32*, i32** %9
%90 = getelementptr inbounds i32, i32* %89, i64 0
%91 = load i32, i32* %14
%92 = call i64 @bn_sub_words(i32* %84, i32* %88, i32* %90, i32 %91)
store i32 1, i32* %17
br label %141
93: ; preds = %6, %6, %6
store i32 1, i32* %19
br label %141
94: ; preds = %6
%95 = load i32*, i32** %7
%96 = getelementptr inbounds i32, i32* %95, i64 0
%97 = load i32*, i32** %8
%98 = getelementptr inbounds i32, i32* %97, i64 0
%99 = load i32*, i32** %8
%100 = load i32, i32* %14
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %99, i64 %101
%103 = load i32, i32* %14
%104 = call i64 @bn_sub_words(i32* %96, i32* %98, i32* %102, i32 %103)
%105 = load i32*, i32** %7
%106 = load i32, i32* %14
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds i32, i32* %105, i64 %107
%109 = load i32*, i32** %9
%110 = getelementptr inbounds i32, i32* %109, i64 0
%111 = load i32*, i32** %9
%112 = load i32, i32* %14
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds i32, i32* %111, i64 %113
%115 = load i32, i32* %14
%116 = call i64 @bn_sub_words(i32* %108, i32* %110, i32* %114, i32 %115)
store i32 1, i32* %17
br label %141
117: ; preds = %6
store i32 1, i32* %19
br label %141
118: ; preds = %6
%119 = load i32*, i32** %7
%120 = getelementptr inbounds i32, i32* %119, i64 0
%121 = load i32*, i32** %8
%122 = getelementptr inbounds i32, i32* %121, i64 0
%123 = load i32*, i32** %8
%124 = load i32, i32* %14
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i32, i32* %123, i64 %125
%127 = load i32, i32* %14
%128 = call i64 @bn_sub_words(i32* %120, i32* %122, i32* %126, i32 %127)
%129 = load i32*, i32** %7
%130 = load i32, i32* %14
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds i32, i32* %129, i64 %131
%133 = load i32*, i32** %9
%134 = load i32, i32* %14
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds i32, i32* %133, i64 %135
%137 = load i32*, i32** %9
%138 = getelementptr inbounds i32, i32* %137, i64 0
%139 = load i32, i32* %14
%140 = call i64 @bn_sub_words(i32* %132, i32* %136, i32* %138, i32 %139)
br label %141
141: ; preds = %6, %118, %117, %94, %93, %70, %69, %46
%142 = load i32, i32* %17
store i32 %142, i32* %18
%143 = load i32, i32* %14
%144 = icmp eq i32 %143, 8
br i1 %144, label %145, label %165
145: ; preds = %141
%146 = load i32*, i32** %12
%147 = getelementptr inbounds i32, i32* %146, i64 0
%148 = load i32*, i32** %7
%149 = getelementptr inbounds i32, i32* %148, i64 0
%150 = load i32*, i32** %7
%151 = load i32, i32* %14
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i32, i32* %150, i64 %152
%154 = call i32 @bn_mul_comba8(i32* %147, i32* %149, i32* %153)
%155 = load i32*, i32** %7
%156 = load i32*, i32** %8
%157 = load i32, i32* %14
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds i32, i32* %156, i64 %158
%160 = load i32*, i32** %9
%161 = load i32, i32* %14
%162 = sext i32 %161 to i64
%163 = getelementptr inbounds i32, i32* %160, i64 %162
%164 = call i32 @bn_mul_comba8(i32* %155, i32* %159, i32* %163)
br label %195
165: ; preds = %141
%166 = load i32*, i32** %12
%167 = getelementptr inbounds i32, i32* %166, i64 0
%168 = load i32*, i32** %7
%169 = getelementptr inbounds i32, i32* %168, i64 0
%170 = load i32*, i32** %7
%171 = load i32, i32* %14
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds i32, i32* %170, i64 %172
%174 = load i32, i32* %14
%175 = load i32*, i32** %12
%176 = load i32, i32* %11
%177 = sext i32 %176 to i64
%178 = getelementptr inbounds i32, i32* %175, i64 %177
%179 = call i32 @bn_mul_recursive(i32* %167, i32* %169, i32* %173, i32 %174, i32 0, i32 0, i32* %178)
%180 = load i32*, i32** %7
%181 = load i32*, i32** %8
%182 = load i32, i32* %14
%183 = sext i32 %182 to i64
%184 = getelementptr inbounds i32, i32* %181, i64 %183
%185 = load i32*, i32** %9
%186 = load i32, i32* %14
%187 = sext i32 %186 to i64
%188 = getelementptr inbounds i32, i32* %185, i64 %187
%189 = load i32, i32* %14
%190 = load i32*, i32** %12
%191 = load i32, i32* %11
%192 = sext i32 %191 to i64
%193 = getelementptr inbounds i32, i32* %190, i64 %192
%194 = call i32 @bn_mul_recursive(i32* %180, i32* %184, i32* %188, i32 %189, i32 0, i32 0, i32* %193)
br label %195
195: ; preds = %165, %145
%196 = load i32*, i32** %10
%197 = icmp ne i32* %196, null
br i1 %197, label %198, label %213
198: ; preds = %195
%199 = load i32*, i32** %12
%200 = load i32, i32* %11
%201 = load i32, i32* %14
%202 = add nsw i32 %200, %201
%203 = sext i32 %202 to i64
%204 = getelementptr inbounds i32, i32* %199, i64 %203
store i32* %204, i32** %22
%205 = load i32*, i32** %22
%206 = load i32*, i32** %7
%207 = getelementptr inbounds i32, i32* %206, i64 0
%208 = load i32*, i32** %10
%209 = getelementptr inbounds i32, i32* %208, i64 0
%210 = load i32, i32* %14
%211 = call i64 @bn_add_words(i32* %205, i32* %207, i32* %209, i32 %210)
%212 = trunc i64 %211 to i32
store i32 %212, i32* %15
br label %216
213: ; preds = %195
store i32 0, i32* %15
%214 = load i32*, i32** %7
%215 = getelementptr inbounds i32, i32* %214, i64 0
store i32* %215, i32** %22
br label %216
216: ; preds = %213, %198
%217 = load i32, i32* %17
%218 = icmp ne i32 %217, 0
br i1 %218, label %219, label %230
219: ; preds = %216
%220 = load i32*, i32** %12
%221 = load i32, i32* %11
%222 = sext i32 %221 to i64
%223 = getelementptr inbounds i32, i32* %220, i64 %222
%224 = load i32*, i32** %22
%225 = load i32*, i32** %12
%226 = getelementptr inbounds i32, i32* %225, i64 0
%227 = load i32, i32* %14
%228 = call i64 @bn_sub_words(i32* %223, i32* %224, i32* %226, i32 %227)
%229 = trunc i64 %228 to i32
store i32 %229, i32* %17
br label %240
230: ; preds = %216
%231 = load i32*, i32** %12
%232 = load i32, i32* %11
%233 = sext i32 %232 to i64
%234 = getelementptr inbounds i32, i32* %231, i64 %233
%235 = load i32*, i32** %22
%236 = load i32*, i32** %12
%237 = getelementptr inbounds i32, i32* %236, i64 0
%238 = load i32, i32* %14
%239 = call i64 @bn_add_words(i32* %234, i32* %235, i32* %237, i32 %238)
store i32 0, i32* %17
br label %240
240: ; preds = %230, %219
%241 = load i32*, i32** %10
%242 = icmp ne i32* %241, null
br i1 %242, label %243, label %260
243: ; preds = %240
%244 = load i32*, i32** %12
%245 = load i32, i32* %11
%246 = load i32, i32* %14
%247 = add nsw i32 %245, %246
%248 = sext i32 %247 to i64
%249 = getelementptr inbounds i32, i32* %244, i64 %248
%250 = load i32*, i32** %10
%251 = load i32, i32* %14
%252 = sext i32 %251 to i64
%253 = getelementptr inbounds i32, i32* %250, i64 %252
%254 = load i32*, i32** %12
%255 = load i32, i32* %11
%256 = sext i32 %255 to i64
%257 = getelementptr inbounds i32, i32* %254, i64 %256
%258 = load i32, i32* %14
%259 = call i64 @bn_sub_words(i32* %249, i32* %253, i32* %257, i32 %258)
br label %294
260: ; preds = %240
%261 = load i32*, i32** %12
%262 = load i32, i32* %11
%263 = load i32, i32* %14
%264 = add nsw i32 %262, %263
%265 = sext i32 %264 to i64
%266 = getelementptr inbounds i32, i32* %261, i64 %265
store i32* %266, i32** %22
%267 = load i32*, i32** %12
%268 = load i32, i32* %11
%269 = sext i32 %268 to i64
%270 = getelementptr inbounds i32, i32* %267, i64 %269
store i32* %270, i32** %23
store i32 0, i32* %13
br label %271
271: ; preds = %290, %260
%272 = load i32, i32* %13
%273 = load i32, i32* %14
%274 = icmp slt i32 %272, %273
br i1 %274, label %275, label %293
275: ; preds = %271
%276 = load i32*, i32** %23
%277 = load i32, i32* %13
%278 = sext i32 %277 to i64
%279 = getelementptr inbounds i32, i32* %276, i64 %278
%280 = load i32, i32* %279
%281 = xor i32 %280, -1
%282 = add i32 %281, 1
%283 = zext i32 %282 to i64
%284 = and i64 %283, 4294967295
%285 = trunc i64 %284 to i32
%286 = load i32*, i32** %22
%287 = load i32, i32* %13
%288 = sext i32 %287 to i64
%289 = getelementptr inbounds i32, i32* %286, i64 %288
store i32 %285, i32* %289
br label %290
290: ; preds = %275
%291 = load i32, i32* %13
%292 = add nsw i32 %291, 1
store i32 %292, i32* %13
br label %271
293: ; preds = %271
br label %294
294: ; preds = %293, %243
%295 = load i32*, i32** %10
%296 = icmp ne i32* %295, null
br i1 %296, label %297, label %314
297: ; preds = %294
%298 = load i32*, i32** %12
%299 = load i32, i32* %11
%300 = sext i32 %299 to i64
%301 = getelementptr inbounds i32, i32* %298, i64 %300
store i32* %301, i32** %22
%302 = load i32*, i32** %22
%303 = load i32*, i32** %12
%304 = load i32, i32* %11
%305 = load i32, i32* %14
%306 = add nsw i32 %304, %305
%307 = sext i32 %306 to i64
%308 = getelementptr inbounds i32, i32* %303, i64 %307
%309 = load i32*, i32** %10
%310 = getelementptr inbounds i32, i32* %309, i64 0
%311 = load i32, i32* %14
%312 = call i64 @bn_add_words(i32* %302, i32* %308, i32* %310, i32 %311)
%313 = trunc i64 %312 to i32
store i32 %313, i32* %15
br label %321
314: ; preds = %294
%315 = load i32*, i32** %12
%316 = load i32, i32* %11
%317 = load i32, i32* %14
%318 = add nsw i32 %316, %317
%319 = sext i32 %318 to i64
%320 = getelementptr inbounds i32, i32* %315, i64 %319
store i32* %320, i32** %22
store i32 0, i32* %15
br label %321
321: ; preds = %314, %297
%322 = load i32*, i32** %12
%323 = load i32, i32* %11
%324 = sext i32 %323 to i64
%325 = getelementptr inbounds i32, i32* %322, i64 %324
%326 = load i32*, i32** %22
%327 = load i32*, i32** %7
%328 = getelementptr inbounds i32, i32* %327, i64 0
%329 = load i32, i32* %14
%330 = call i64 @bn_add_words(i32* %325, i32* %326, i32* %328, i32 %329)
%331 = trunc i64 %330 to i32
%332 = load i32, i32* %15
%333 = add nsw i32 %332, %331
store i32 %333, i32* %15
%334 = load i32, i32* %18
%335 = icmp ne i32 %334, 0
br i1 %335, label %336, label %352
336: ; preds = %321
%337 = load i32*, i32** %12
%338 = load i32, i32* %11
%339 = sext i32 %338 to i64
%340 = getelementptr inbounds i32, i32* %337, i64 %339
%341 = load i32*, i32** %12
%342 = load i32, i32* %11
%343 = sext i32 %342 to i64
%344 = getelementptr inbounds i32, i32* %341, i64 %343
%345 = load i32*, i32** %12
%346 = getelementptr inbounds i32, i32* %345, i64 0
%347 = load i32, i32* %14
%348 = call i64 @bn_sub_words(i32* %340, i32* %344, i32* %346, i32 %347)
%349 = trunc i64 %348 to i32
%350 = load i32, i32* %15
%351 = sub nsw i32 %350, %349
store i32 %351, i32* %15
br label %368
352: ; preds = %321
%353 = load i32*, i32** %12
%354 = load i32, i32* %11
%355 = sext i32 %354 to i64
%356 = getelementptr inbounds i32, i32* %353, i64 %355
%357 = load i32*, i32** %12
%358 = load i32, i32* %11
%359 = sext i32 %358 to i64
%360 = getelementptr inbounds i32, i32* %357, i64 %359
%361 = load i32*, i32** %12
%362 = getelementptr inbounds i32, i32* %361, i64 0
%363 = load i32, i32* %14
%364 = call i64 @bn_add_words(i32* %356, i32* %360, i32* %362, i32 %363)
%365 = trunc i64 %364 to i32
%366 = load i32, i32* %15
%367 = add nsw i32 %366, %365
store i32 %367, i32* %15
br label %368
368: ; preds = %352, %336
%369 = load i32*, i32** %7
%370 = getelementptr inbounds i32, i32* %369, i64 0
%371 = load i32*, i32** %7
%372 = getelementptr inbounds i32, i32* %371, i64 0
%373 = load i32*, i32** %12
%374 = load i32, i32* %11
%375 = load i32, i32* %14
%376 = add nsw i32 %374, %375
%377 = sext i32 %376 to i64
%378 = getelementptr inbounds i32, i32* %373, i64 %377
%379 = load i32, i32* %14
%380 = call i64 @bn_add_words(i32* %370, i32* %372, i32* %378, i32 %379)
%381 = trunc i64 %380 to i32
store i32 %381, i32* %16
%382 = load i32*, i32** %7
%383 = getelementptr inbounds i32, i32* %382, i64 0
%384 = load i32*, i32** %7
%385 = getelementptr inbounds i32, i32* %384, i64 0
%386 = load i32*, i32** %7
%387 = load i32, i32* %14
%388 = sext i32 %387 to i64
%389 = getelementptr inbounds i32, i32* %386, i64 %388
%390 = load i32, i32* %14
%391 = call i64 @bn_add_words(i32* %383, i32* %385, i32* %389, i32 %390)
%392 = trunc i64 %391 to i32
%393 = load i32, i32* %16
%394 = add nsw i32 %393, %392
store i32 %394, i32* %16
%395 = load i32, i32* %18
%396 = icmp ne i32 %395, 0
br i1 %396, label %397, label %411
397: ; preds = %368
%398 = load i32*, i32** %7
%399 = getelementptr inbounds i32, i32* %398, i64 0
%400 = load i32*, i32** %7
%401 = getelementptr inbounds i32, i32* %400, i64 0
%402 = load i32*, i32** %12
%403 = load i32, i32* %14
%404 = sext i32 %403 to i64
%405 = getelementptr inbounds i32, i32* %402, i64 %404
%406 = load i32, i32* %14
%407 = call i64 @bn_sub_words(i32* %399, i32* %401, i32* %405, i32 %406)
%408 = trunc i64 %407 to i32
%409 = load i32, i32* %16
%410 = sub nsw i32 %409, %408
store i32 %410, i32* %16
br label %425
411: ; preds = %368
%412 = load i32*, i32** %7
%413 = getelementptr inbounds i32, i32* %412, i64 0
%414 = load i32*, i32** %7
%415 = getelementptr inbounds i32, i32* %414, i64 0
%416 = load i32*, i32** %12
%417 = load i32, i32* %14
%418 = sext i32 %417 to i64
%419 = getelementptr inbounds i32, i32* %416, i64 %418
%420 = load i32, i32* %14
%421 = call i64 @bn_add_words(i32* %413, i32* %415, i32* %419, i32 %420)
%422 = trunc i64 %421 to i32
%423 = load i32, i32* %16
%424 = add nsw i32 %423, %422
store i32 %424, i32* %16
br label %425
425: ; preds = %411, %397
%426 = load i32, i32* %15
%427 = icmp ne i32 %426, 0
br i1 %427, label %428, label %487
428: ; preds = %425
store i32 0, i32* %13
%429 = load i32, i32* %15
%430 = icmp sgt i32 %429, 0
br i1 %430, label %431, label %458
431: ; preds = %428
%432 = load i32, i32* %15
store i32 %432, i32* %21
br label %433
433: ; preds = %454, %431
%434 = load i32*, i32** %7
%435 = load i32, i32* %13
%436 = sext i32 %435 to i64
%437 = getelementptr inbounds i32, i32* %434, i64 %436
%438 = load i32, i32* %437
%439 = load i32, i32* %21
%440 = add i32 %438, %439
%441 = zext i32 %440 to i64
%442 = and i64 %441, 4294967295
%443 = trunc i64 %442 to i32
store i32 %443, i32* %20
%444 = load i32, i32* %20
%445 = load i32*, i32** %7
%446 = load i32, i32* %13
%447 = add nsw i32 %446, 1
store i32 %447, i32* %13
%448 = sext i32 %446 to i64
%449 = getelementptr inbounds i32, i32* %445, i64 %448
store i32 %444, i32* %449
%450 = load i32, i32* %21
%451 = load i32, i32* %20
%452 = icmp ugt i32 %450, %451
%453 = zext i1 %452 to i32
store i32 %453, i32* %21
br label %454
454: ; preds = %433
%455 = load i32, i32* %21
%456 = icmp ne i32 %455, 0
br i1 %456, label %433, label %457
457: ; preds = %454
br label %486
458: ; preds = %428
%459 = load i32, i32* %15
%460 = sub nsw i32 0, %459
store i32 %460, i32* %21
br label %461
461: ; preds = %482, %458
%462 = load i32*, i32** %7
%463 = load i32, i32* %13
%464 = sext i32 %463 to i64
%465 = getelementptr inbounds i32, i32* %462, i64 %464
%466 = load i32, i32* %465
store i32 %466, i32* %20
%467 = load i32, i32* %20
%468 = load i32, i32* %21
%469 = sub i32 %467, %468
%470 = zext i32 %469 to i64
%471 = and i64 %470, 4294967295
%472 = trunc i64 %471 to i32
%473 = load i32*, i32** %7
%474 = load i32, i32* %13
%475 = add nsw i32 %474, 1
store i32 %475, i32* %13
%476 = sext i32 %474 to i64
%477 = getelementptr inbounds i32, i32* %473, i64 %476
store i32 %472, i32* %477
%478 = load i32, i32* %21
%479 = load i32, i32* %20
%480 = icmp ugt i32 %478, %479
%481 = zext i1 %480 to i32
store i32 %481, i32* %21
br label %482
482: ; preds = %461
%483 = load i32, i32* %21
%484 = icmp ne i32 %483, 0
br i1 %484, label %461, label %485
485: ; preds = %482
br label %486
486: ; preds = %485, %457
br label %487
487: ; preds = %486, %425
%488 = load i32, i32* %16
%489 = icmp ne i32 %488, 0
br i1 %489, label %490, label %550
490: ; preds = %487
%491 = load i32, i32* %14
store i32 %491, i32* %13
%492 = load i32, i32* %16
%493 = icmp sgt i32 %492, 0
br i1 %493, label %494, label %521
494: ; preds = %490
%495 = load i32, i32* %16
store i32 %495, i32* %21
br label %496
496: ; preds = %517, %494
%497 = load i32*, i32** %7
%498 = load i32, i32* %13
%499 = sext i32 %498 to i64
%500 = getelementptr inbounds i32, i32* %497, i64 %499
%501 = load i32, i32* %500
%502 = load i32, i32* %21
%503 = add i32 %501, %502
%504 = zext i32 %503 to i64
%505 = and i64 %504, 4294967295
%506 = trunc i64 %505 to i32
store i32 %506, i32* %20
%507 = load i32, i32* %20
%508 = load i32*, i32** %7
%509 = load i32, i32* %13
%510 = add nsw i32 %509, 1
store i32 %510, i32* %13
%511 = sext i32 %509 to i64
%512 = getelementptr inbounds i32, i32* %508, i64 %511
store i32 %507, i32* %512
%513 = load i32, i32* %21
%514 = load i32, i32* %20
%515 = icmp ugt i32 %513, %514
%516 = zext i1 %515 to i32
store i32 %516, i32* %21
br label %517
517: ; preds = %496
%518 = load i32, i32* %21
%519 = icmp ne i32 %518, 0
br i1 %519, label %496, label %520
520: ; preds = %517
br label %549
521: ; preds = %490
%522 = load i32, i32* %16
%523 = sub nsw i32 0, %522
store i32 %523, i32* %21
br label %524
524: ; preds = %545, %521
%525 = load i32*, i32** %7
%526 = load i32, i32* %13
%527 = sext i32 %526 to i64
%528 = getelementptr inbounds i32, i32* %525, i64 %527
%529 = load i32, i32* %528
store i32 %529, i32* %20
%530 = load i32, i32* %20
%531 = load i32, i32* %21
%532 = sub i32 %530, %531
%533 = zext i32 %532 to i64
%534 = and i64 %533, 4294967295
%535 = trunc i64 %534 to i32
%536 = load i32*, i32** %7
%537 = load i32, i32* %13
%538 = add nsw i32 %537, 1
store i32 %538, i32* %13
%539 = sext i32 %537 to i64
%540 = getelementptr inbounds i32, i32* %536, i64 %539
store i32 %535, i32* %540
%541 = load i32, i32* %21
%542 = load i32, i32* %20
%543 = icmp ugt i32 %541, %542
%544 = zext i1 %543 to i32
store i32 %544, i32* %21
br label %545
545: ; preds = %524
%546 = load i32, i32* %21
%547 = icmp ne i32 %546, 0
br i1 %547, label %524, label %548
548: ; preds = %545
br label %549
549: ; preds = %548, %520
br label %550
550: ; preds = %549, %487
ret void
}

LLVM IR (-O2):
define void @bn_mul_high(i32* %0, i32* %1, i32* %2, i32* %3, i32 %4, i32* %5) {
%7 = sdiv i32 %4, 2
%8 = sext i32 %7 to i64
%9 = getelementptr inbounds i32, i32* %1, i64 %8
%10 = tail call i32 @bn_cmp_words(i32* %1, i32* %9, i32 %7)
%11 = getelementptr inbounds i32, i32* %2, i64 %8
%12 = tail call i32 @bn_cmp_words(i32* %11, i32* %2, i32 %7)
%13 = mul nsw i32 %10, 3
%14 = add nsw i32 %13, %12
switch i32 %14, label %31 [
i32 -4, label %15
i32 4, label %27
i32 -2, label %19
i32 2, label %23
]
15: ; preds = %6
%16 = tail call i64 @bn_sub_words(i32* %0, i32* %9, i32* %1, i32 %7)
%17 = getelementptr inbounds i32, i32* %0, i64 %8
%18 = tail call i64 @bn_sub_words(i32* %17, i32* %2, i32* %11, i32 %7)
br label %31
19: ; preds = %6
%20 = tail call i64 @bn_sub_words(i32* %0, i32* %9, i32* %1, i32 %7)
%21 = getelementptr inbounds i32, i32* %0, i64 %8
%22 = tail call i64 @bn_sub_words(i32* %21, i32* %11, i32* %2, i32 %7)
br label %31
23: ; preds = %6
%24 = tail call i64 @bn_sub_words(i32* %0, i32* %1, i32* %9, i32 %7)
%25 = getelementptr inbounds i32, i32* %0, i64 %8
%26 = tail call i64 @bn_sub_words(i32* %25, i32* %2, i32* %11, i32 %7)
br label %31
27: ; preds = %6
%28 = tail call i64 @bn_sub_words(i32* %0, i32* %1, i32* %9, i32 %7)
%29 = getelementptr inbounds i32, i32* %0, i64 %8
%30 = tail call i64 @bn_sub_words(i32* %29, i32* %11, i32* %2, i32 %7)
br label %31
31: ; preds = %6, %27, %23, %19, %15
%32 = phi i1 [ true, %27 ], [ false, %23 ], [ false, %19 ], [ true, %15 ], [ true, %6 ]
%33 = and i32 %4, -2
%34 = icmp eq i32 %33, 16
%35 = getelementptr inbounds i32, i32* %0, i64 %8
br i1 %34, label %36, label %39
36: ; preds = %31
%37 = tail call i32 @bn_mul_comba8(i32* %5, i32* %0, i32* %35)
%38 = tail call i32 @bn_mul_comba8(i32* %0, i32* %9, i32* %11)
br label %44
39: ; preds = %31
%40 = sext i32 %4 to i64
%41 = getelementptr inbounds i32, i32* %5, i64 %40
%42 = tail call i32 @bn_mul_recursive(i32* %5, i32* %0, i32* %35, i32 %7, i32 0, i32 0, i32* %41)
%43 = tail call i32 @bn_mul_recursive(i32* %0, i32* %9, i32* %11, i32 %7, i32 0, i32 0, i32* %41)
br label %44
44: ; preds = %39, %36
%45 = icmp eq i32* %3, null
br i1 %45, label %51, label %46
46: ; preds = %44
%47 = add nsw i32 %7, %4
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %5, i64 %48
%50 = tail call i64 @bn_add_words(i32* %49, i32* %0, i32* %3, i32 %7)
br label %51
51: ; preds = %44, %46
%52 = phi i32* [ %49, %46 ], [ %0, %44 ]
%53 = sext i32 %4 to i64
%54 = getelementptr inbounds i32, i32* %5, i64 %53
br i1 %32, label %57, label %55
55: ; preds = %51
%56 = tail call i64 @bn_sub_words(i32* %54, i32* %52, i32* %5, i32 %7)
br label %59
57: ; preds = %51
%58 = tail call i64 @bn_add_words(i32* %54, i32* %52, i32* %5, i32 %7)
br label %59
59: ; preds = %57, %55
%60 = add nsw i32 %7, %4
%61 = sext i32 %60 to i64
%62 = getelementptr i32, i32* %5, i64 %61
br i1 %45, label %63, label %178
63: ; preds = %59
%64 = sext i32 %4 to i64
%65 = getelementptr i32, i32* %5, i64 %64
%66 = icmp sgt i32 %4, 1
br i1 %66, label %67, label %187
67: ; preds = %63
%68 = zext i32 %7 to i64
%69 = icmp ult i32 %7, 8
br i1 %69, label %136, label %70
70: ; preds = %67
%71 = add nsw i64 %61, %68
%72 = getelementptr i32, i32* %5, i64 %71
%73 = add nsw i64 %64, %68
%74 = getelementptr i32, i32* %5, i64 %73
%75 = icmp ult i32* %62, %74
%76 = icmp ult i32* %65, %72
%77 = and i1 %75, %76
br i1 %77, label %136, label %78
78: ; preds = %70
%79 = and i64 %68, 4294967288
%80 = add nsw i64 %79, -8
%81 = lshr exact i64 %80, 3
%82 = add nuw nsw i64 %81, 1
%83 = and i64 %82, 1
%84 = icmp eq i64 %80, 0
br i1 %84, label %118, label %85
85: ; preds = %78
%86 = and i64 %82, 4611686018427387902
br label %87
87: ; preds = %87, %85
%88 = phi i64 [ 0, %85 ], [ %115, %87 ]
%89 = phi i64 [ 0, %85 ], [ %116, %87 ]
%90 = getelementptr inbounds i32, i32* %65, i64 %88
%91 = bitcast i32* %90 to <4 x i32>*
%92 = load <4 x i32>, <4 x i32>* %91
%93 = getelementptr inbounds i32, i32* %90, i64 4
%94 = bitcast i32* %93 to <4 x i32>*
%95 = load <4 x i32>, <4 x i32>* %94
%96 = sub <4 x i32> zeroinitializer, %92
%97 = sub <4 x i32> zeroinitializer, %95
%98 = getelementptr inbounds i32, i32* %62, i64 %88
%99 = bitcast i32* %98 to <4 x i32>*
store <4 x i32> %96, <4 x i32>* %99
%100 = getelementptr inbounds i32, i32* %98, i64 4
%101 = bitcast i32* %100 to <4 x i32>*
store <4 x i32> %97, <4 x i32>* %101
%102 = or i64 %88, 8
%103 = getelementptr inbounds i32, i32* %65, i64 %102
%104 = bitcast i32* %103 to <4 x i32>*
%105 = load <4 x i32>, <4 x i32>* %104
%106 = getelementptr inbounds i32, i32* %103, i64 4
%107 = bitcast i32* %106 to <4 x i32>*
%108 = load <4 x i32>, <4 x i32>* %107
%109 = sub <4 x i32> zeroinitializer, %105
%110 = sub <4 x i32> zeroinitializer, %108
%111 = getelementptr inbounds i32, i32* %62, i64 %102
%112 = bitcast i32* %111 to <4 x i32>*
store <4 x i32> %109, <4 x i32>* %112
%113 = getelementptr inbounds i32, i32* %111, i64 4
%114 = bitcast i32* %113 to <4 x i32>*
store <4 x i32> %110, <4 x i32>* %114
%115 = add nuw i64 %88, 16
%116 = add i64 %89, 2
%117 = icmp eq i64 %116, %86
br i1 %117, label %118, label %87
118: ; preds = %87, %78
%119 = phi i64 [ 0, %78 ], [ %115, %87 ]
%120 = icmp eq i64 %83, 0
br i1 %120, label %134, label %121
121: ; preds = %118
%122 = getelementptr inbounds i32, i32* %65, i64 %119
%123 = bitcast i32* %122 to <4 x i32>*
%124 = load <4 x i32>, <4 x i32>* %123
%125 = getelementptr inbounds i32, i32* %122, i64 4
%126 = bitcast i32* %125 to <4 x i32>*
%127 = load <4 x i32>, <4 x i32>* %126
%128 = sub <4 x i32> zeroinitializer, %124
%129 = sub <4 x i32> zeroinitializer, %127
%130 = getelementptr inbounds i32, i32* %62, i64 %119
%131 = bitcast i32* %130 to <4 x i32>*
store <4 x i32> %128, <4 x i32>* %131
%132 = getelementptr inbounds i32, i32* %130, i64 4
%133 = bitcast i32* %132 to <4 x i32>*
store <4 x i32> %129, <4 x i32>* %133
br label %134
134: ; preds = %118, %121
%135 = icmp eq i64 %79, %68
br i1 %135, label %187, label %136
136: ; preds = %70, %67, %134
%137 = phi i64 [ 0, %70 ], [ 0, %67 ], [ %79, %134 ]
%138 = xor i64 %137, -1
%139 = add nsw i64 %138, %68
%140 = and i64 %68, 3
%141 = icmp eq i64 %140, 0
br i1 %141, label %152, label %142
142: ; preds = %136, %142
%143 = phi i64 [ %149, %142 ], [ %137, %136 ]
%144 = phi i64 [ %150, %142 ], [ 0, %136 ]
%145 = getelementptr inbounds i32, i32* %65, i64 %143
%146 = load i32, i32* %145
%147 = sub i32 0, %146
%148 = getelementptr inbounds i32, i32* %62, i64 %143
store i32 %147, i32* %148
%149 = add nuw nsw i64 %143, 1
%150 = add i64 %144, 1
%151 = icmp eq i64 %150, %140
br i1 %151, label %152, label %142
152: ; preds = %142, %136
%153 = phi i64 [ %137, %136 ], [ %149, %142 ]
%154 = icmp ult i64 %139, 3
br i1 %154, label %187, label %155
155: ; preds = %152, %155
%156 = phi i64 [ %176, %155 ], [ %153, %152 ]
%157 = getelementptr inbounds i32, i32* %65, i64 %156
%158 = load i32, i32* %157
%159 = sub i32 0, %158
%160 = getelementptr inbounds i32, i32* %62, i64 %156
store i32 %159, i32* %160
%161 = add nuw nsw i64 %156, 1
%162 = getelementptr inbounds i32, i32* %65, i64 %161
%163 = load i32, i32* %162
%164 = sub i32 0, %163
%165 = getelementptr inbounds i32, i32* %62, i64 %161
store i32 %164, i32* %165
%166 = add nuw nsw i64 %156, 2
%167 = getelementptr inbounds i32, i32* %65, i64 %166
%168 = load i32, i32* %167
%169 = sub i32 0, %168
%170 = getelementptr inbounds i32, i32* %62, i64 %166
store i32 %169, i32* %170
%171 = add nuw nsw i64 %156, 3
%172 = getelementptr inbounds i32, i32* %65, i64 %171
%173 = load i32, i32* %172
%174 = sub i32 0, %173
%175 = getelementptr inbounds i32, i32* %62, i64 %171
store i32 %174, i32* %175
%176 = add nuw nsw i64 %156, 4
%177 = icmp eq i64 %176, %68
br i1 %177, label %187, label %155
178: ; preds = %59
%179 = getelementptr inbounds i32, i32* %3, i64 %8
%180 = sext i32 %4 to i64
%181 = getelementptr inbounds i32, i32* %5, i64 %180
%182 = tail call i64 @bn_sub_words(i32* %62, i32* %179, i32* %181, i32 %7)
%183 = getelementptr inbounds i32, i32* %5, i64 %180
%184 = getelementptr inbounds i32, i32* %5, i64 %61
%185 = tail call i64 @bn_add_words(i32* %183, i32* %184, i32* %3, i32 %7)
%186 = trunc i64 %185 to i32
br label %187
187: ; preds = %152, %155, %134, %63, %178
%188 = phi i64 [ %180, %178 ], [ %64, %63 ], [ %64, %134 ], [ %64, %155 ], [ %64, %152 ]
%189 = phi i32 [ %186, %178 ], [ 0, %63 ], [ 0, %134 ], [ 0, %155 ], [ 0, %152 ]
%190 = phi i32* [ %183, %178 ], [ %62, %63 ], [ %62, %134 ], [ %62, %155 ], [ %62, %152 ]
%191 = getelementptr inbounds i32, i32* %5, i64 %188
%192 = tail call i64 @bn_add_words(i32* %191, i32* %190, i32* %0, i32 %7)
%193 = trunc i64 %192 to i32
%194 = add nsw i32 %189, %193
br i1 %32, label %199, label %195
195: ; preds = %187
%196 = tail call i64 @bn_sub_words(i32* %191, i32* %191, i32* %5, i32 %7)
%197 = trunc i64 %196 to i32
%198 = sub nsw i32 %194, %197
br label %203
199: ; preds = %187
%200 = tail call i64 @bn_add_words(i32* %191, i32* %191, i32* %5, i32 %7)
%201 = trunc i64 %200 to i32
%202 = add nsw i32 %194, %201
br label %203
203: ; preds = %199, %195
%204 = phi i32 [ %198, %195 ], [ %202, %199 ]
%205 = add nsw i32 %7, %4
%206 = sext i32 %205 to i64
%207 = getelementptr inbounds i32, i32* %5, i64 %206
%208 = tail call i64 @bn_add_words(i32* %0, i32* %0, i32* %207, i32 %7)
%209 = trunc i64 %208 to i32
%210 = getelementptr inbounds i32, i32* %0, i64 %8
%211 = tail call i64 @bn_add_words(i32* %0, i32* %0, i32* %210, i32 %7)
%212 = trunc i64 %211 to i32
%213 = add nsw i32 %212, %209
%214 = getelementptr inbounds i32, i32* %5, i64 %8
br i1 %32, label %219, label %215
215: ; preds = %203
%216 = tail call i64 @bn_sub_words(i32* %0, i32* %0, i32* %214, i32 %7)
%217 = trunc i64 %216 to i32
%218 = sub nsw i32 %213, %217
br label %223
219: ; preds = %203
%220 = tail call i64 @bn_add_words(i32* %0, i32* %0, i32* %214, i32 %7)
%221 = trunc i64 %220 to i32
%222 = add nsw i32 %213, %221
br label %223
223: ; preds = %219, %215
%224 = phi i32 [ %218, %215 ], [ %222, %219 ]
%225 = icmp eq i32 %204, 0
br i1 %225, label %251, label %226
226: ; preds = %223
%227 = icmp sgt i32 %204, 0
br i1 %227, label %228, label %239
228: ; preds = %226
%229 = load i32, i32* %0
%230 = add i32 %229, %204
store i32 %230, i32* %0
%231 = icmp ugt i32 %204, %230
br i1 %231, label %232, label %251
232: ; preds = %228, %232
%233 = phi i64 [ %237, %232 ], [ 1, %228 ]
%234 = getelementptr inbounds i32, i32* %0, i64 %233
%235 = load i32, i32* %234
%236 = add i32 %235, 1
%237 = add nuw i64 %233, 1
store i32 %236, i32* %234
%238 = icmp eq i32 %236, 0
br i1 %238, label %232, label %251
239: ; preds = %226
%240 = sub nsw i32 0, %204
%241 = load i32, i32* %0
%242 = add i32 %241, %204
store i32 %242, i32* %0
%243 = icmp ult i32 %241, %240
br i1 %243, label %244, label %251
244: ; preds = %239, %244
%245 = phi i64 [ %249, %244 ], [ 1, %239 ]
%246 = getelementptr inbounds i32, i32* %0, i64 %245
%247 = load i32, i32* %246
%248 = add i32 %247, -1
%249 = add nuw i64 %245, 1
store i32 %248, i32* %246
%250 = icmp eq i32 %247, 0
br i1 %250, label %244, label %251
251: ; preds = %244, %232, %239, %228, %223
%252 = icmp eq i32 %224, 0
br i1 %252, label %278, label %253
253: ; preds = %251
%254 = icmp sgt i32 %224, 0
br i1 %254, label %255, label %266
255: ; preds = %253
%256 = load i32, i32* %210
%257 = add i32 %256, %224
store i32 %257, i32* %210
%258 = icmp ugt i32 %224, %257
br i1 %258, label %259, label %278
259: ; preds = %255, %259
%260 = phi i64 [ %261, %259 ], [ %8, %255 ]
%261 = add i64 %260, 1
%262 = getelementptr inbounds i32, i32* %0, i64 %261
%263 = load i32, i32* %262
%264 = add i32 %263, 1
store i32 %264, i32* %262
%265 = icmp eq i32 %264, 0
br i1 %265, label %259, label %278
266: ; preds = %253
%267 = sub nsw i32 0, %224
%268 = load i32, i32* %210
%269 = add i32 %268, %224
store i32 %269, i32* %210
%270 = icmp ult i32 %268, %267
br i1 %270, label %271, label %278
271: ; preds = %266, %271
%272 = phi i64 [ %273, %271 ], [ %8, %266 ]
%273 = add i64 %272, 1
%274 = getelementptr inbounds i32, i32* %0, i64 %273
%275 = load i32, i32* %274
%276 = add i32 %275, -1
store i32 %276, i32* %274
%277 = icmp eq i32 %275, 0
br i1 %277, label %271, label %278
278: ; preds = %271, %259, %266, %255, %251
ret void
}