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

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
scalar_t__ bn_add_words(unsigned long *, unsigned long *, unsigned long *, int);
int bn_cmp_words(unsigned long const *, unsigned long const *, int);
int /*<<< orphan*/ bn_sqr_comba4(unsigned long *, unsigned long const *);
int /*<<< orphan*/ bn_sqr_comba8(unsigned long *, unsigned long const *);
int /*<<< orphan*/ bn_sqr_normal(unsigned long *, unsigned long const *, int,
                                 unsigned long *);
scalar_t__ bn_sub_words(unsigned long *, unsigned long const *,
                        unsigned long const *, int);
int /*<<< orphan*/ memset(unsigned long *, int /*<<< orphan*/, int);
void bn_sqr_recursive(unsigned long *r, const unsigned long *a, int n2,
                      unsigned long *t) {
  int n = n2 / 2;
  int zero, c1;
  unsigned long ln, lo, *p;
  if (n2 == 4) {
    bn_sqr_comba4(r, a);
    return;
  } else if (n2 == 8) {
    bn_sqr_comba8(r, a);
    return;
  }
  if (n2 < (16)) {
    bn_sqr_normal(r, a, n2, t);
    return;
  }
  c1 = bn_cmp_words(a, &(a[n]), n);
  zero = 0;
  if (c1 > 0)
    bn_sub_words(t, a, &(a[n]), n);
  else if (c1 < 0)
    bn_sub_words(t, &(a[n]), a, n);
  else
    zero = 1;
  p = &(t[n2 * 2]);
  if (!zero)
    bn_sqr_recursive(&(t[n2]), t, n, p);
  else
    memset(&(t[n2]), 0, n2 * sizeof(unsigned long));
  bn_sqr_recursive(r, a, n, p);
  bn_sqr_recursive(&(r[n2]), &(a[n]), n, p);
  c1 = (int)(bn_add_words(t, r, &(r[n2]), n2));
  c1 -= (int)(bn_sub_words(&(t[n2]), t, &(t[n2]), n2));
  c1 += (int)(bn_add_words(&(r[n]), &(r[n]), &(t[n2]), n2));
  if (c1) {
    p = &(r[n + n2]);
    lo = *p;
    ln = (lo + c1) & (0xffffffffL);
    *p = ln;
    if (ln < (unsigned long)c1) {
      do {
        p++;
        lo = *p;
        ln = (lo + 1) & (0xffffffffL);
        *p = ln;
      } while (ln == 0);
    }
  }
}


x86 assembly (clang, -O0):
<bn_sqr_recursive>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x24(%rbp)
cmpl   $0x4,-0x14(%rbp)
jne    11c1 <bn_sqr_recursive+0x41>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <bn_sqr_comba4@plt>
jmp    1481 <bn_sqr_recursive+0x301>
cmpl   $0x8,-0x14(%rbp)
jne    11dd <bn_sqr_recursive+0x5d>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1040 <bn_sqr_comba8@plt>
jmp    1481 <bn_sqr_recursive+0x301>
jmp    11e2 <bn_sqr_recursive+0x62>
cmpl   $0x10,-0x14(%rbp)
jge    1205 <bn_sqr_recursive+0x85>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
mov    -0x20(%rbp),%rcx
call   1060 <bn_sqr_normal@plt>
jmp    1481 <bn_sqr_recursive+0x301>
mov    -0x10(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x24(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x24(%rbp),%edx
call   1090 <bn_cmp_words@plt>
mov    %eax,-0x2c(%rbp)
movl   $0x0,-0x28(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jle    1258 <bn_sqr_recursive+0xd8>
mov    -0x20(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x10(%rbp),%rdx
movslq -0x24(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x24(%rbp),%ecx
call   1080 <bn_sub_words@plt>
jmp    1292 <bn_sqr_recursive+0x112>
cmpl   $0x0,-0x2c(%rbp)
jge    1286 <bn_sqr_recursive+0x106>
mov    -0x20(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x24(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x10(%rbp),%rdx
mov    -0x24(%rbp),%ecx
call   1080 <bn_sub_words@plt>
jmp    128d <bn_sqr_recursive+0x10d>
movl   $0x1,-0x28(%rbp)
jmp    1292 <bn_sqr_recursive+0x112>
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
cmpl   $0x0,-0x28(%rbp)
jne    12d8 <bn_sqr_recursive+0x158>
mov    -0x20(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x20(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    -0x48(%rbp),%rcx
call   1050 <bn_sqr_recursive@plt>
jmp    12f8 <bn_sqr_recursive+0x178>
mov    -0x20(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
movslq -0x14(%rbp),%rax
shl    $0x3,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1070 <memset@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    -0x48(%rbp),%rcx
call   1050 <bn_sqr_recursive@plt>
mov    -0x8(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x24(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x24(%rbp),%edx
mov    -0x48(%rbp),%rcx
call   1050 <bn_sqr_recursive@plt>
mov    -0x20(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x8(%rbp),%rdx
movslq -0x14(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x14(%rbp),%ecx
call   10a0 <bn_add_words@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x20(%rbp),%rsi
mov    -0x20(%rbp),%rdx
movslq -0x14(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x14(%rbp),%ecx
call   1080 <bn_sub_words@plt>
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0x24(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0x24(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x20(%rbp),%rdx
movslq -0x14(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdx
mov    -0x14(%rbp),%ecx
call   10a0 <bn_add_words@plt>
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     1481 <bn_sqr_recursive+0x301>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x14(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
movslq -0x2c(%rbp),%rcx
add    %rcx,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x48(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x38(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmp    %rcx,%rax
jae    147c <bn_sqr_recursive+0x2fc>
jmp    1431 <bn_sqr_recursive+0x2b1>
mov    -0x48(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x48(%rbp),%rax
mov    %rcx,(%rax)
cmpq   $0x0,-0x38(%rbp)
je     1431 <bn_sqr_recursive+0x2b1>
jmp    147c <bn_sqr_recursive+0x2fc>
jmp    1481 <bn_sqr_recursive+0x301>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bn_sqr_recursive>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%rbp
mov    %rdi,%r14
cmp    $0x8,%edx
je     11b9 <bn_sqr_recursive+0x39>
mov    %edx,%ebx
cmp    $0x4,%edx
jne    11d2 <bn_sqr_recursive+0x52>
mov    %r14,%rdi
mov    %rbp,%rsi
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <bn_sqr_comba4@plt>
mov    %r14,%rdi
mov    %rbp,%rsi
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <bn_sqr_comba8@plt>
mov    %rcx,%r13
cmp    $0xf,%ebx
jg     11f8 <bn_sqr_recursive+0x78>
mov    %r14,%rdi
mov    %rbp,%rsi
mov    %ebx,%edx
mov    %r13,%rcx
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1060 <bn_sqr_normal@plt>
mov    %ebx,%r15d
shr    $0x1f,%r15d
add    %ebx,%r15d
sar    %r15d
movslq %r15d,%rdx
lea    0x0(,%rdx,8),%r12
add    %rbp,%r12
mov    %rbp,%rdi
mov    %r12,%rsi
mov    %rdx,0x10(%rsp)
call   1090 <bn_cmp_words@plt>
test   %eax,%eax
mov    %r12,0x8(%rsp)
jle    1268 <bn_sqr_recursive+0xe8>
mov    %r13,%rdi
mov    %rbp,%rsi
mov    %r12,%rdx
mov    %r15d,%ecx
call   1080 <bn_sub_words@plt>
lea    (%rbx,%rbx,1),%eax
cltq
lea    0x0(,%rax,8),%r12
add    %r13,%r12
mov    %ebx,%eax
mov    %rax,(%rsp)
lea    0x0(%r13,%rax,8),%rdi
mov    %r13,%rsi
mov    %r15d,%edx
mov    %r12,%rcx
call   1050 <bn_sqr_recursive@plt>
jmp    129d <bn_sqr_recursive+0x11d>
js     135f <bn_sqr_recursive+0x1df>
lea    (%rbx,%rbx,1),%eax
cltq
lea    0x0(,%rax,8),%r12
add    %r13,%r12
mov    %ebx,%eax
mov    %rax,(%rsp)
lea    0x0(,%rax,8),%rdi
add    %r13,%rdi
lea    0x0(,%rbx,8),%edx
xor    %esi,%esi
call   1070 <memset@plt>
mov    %r14,%rdi
mov    %rbp,%rsi
mov    %r15d,%edx
mov    %r12,%rcx
call   1050 <bn_sqr_recursive@plt>
mov    (%rsp),%rax
lea    (%r14,%rax,8),%rbp
mov    %rbp,%rdi
mov    0x8(%rsp),%rsi
mov    %r15d,%edx
mov    %r12,%rcx
call   1050 <bn_sqr_recursive@plt>
mov    %r13,%rdi
mov    %r14,%rsi
mov    %rbp,%rdx
mov    %ebx,%ecx
call   10a0 <bn_add_words@plt>
mov    %rax,%r12
mov    (%rsp),%rax
lea    0x0(,%rax,8),%rbp
add    %r13,%rbp
mov    %rbp,%rdi
mov    %r13,%rsi
mov    %rbp,%rdx
mov    %ebx,%ecx
call   1080 <bn_sub_words@plt>
sub    %eax,%r12d
mov    0x10(%rsp),%rax
lea    (%r14,%rax,8),%rdi
mov    %rdi,%rsi
mov    %rbp,%rdx
mov    %ebx,%ecx
call   10a0 <bn_add_words@plt>
add    %r12d,%eax
je     1350 <bn_sqr_recursive+0x1d0>
add    %ebx,%r15d
movslq %r15d,%rcx
cltq
mov    (%r14,%rcx,8),%edx
add    %eax,%edx
mov    %rdx,(%r14,%rcx,8)
cmp    %rax,%rdx
jae    1350 <bn_sqr_recursive+0x1d0>
lea    (%r14,%rcx,8),%rax
add    $0x8,%rax
nopl   0x0(%rax,%rax,1)
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %rcx,(%rax)
add    $0x8,%rax
test   %ecx,%ecx
je     1340 <bn_sqr_recursive+0x1c0>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r13,%rdi
mov    %r12,%rsi
mov    %rbp,%rdx
jmp    1235 <bn_sqr_recursive+0xb5>

LLVM IR (-O0):
define void @bn_sqr_recursive(i64* %0, i64* %1, i32 %2, i64* %3) {
%5 = alloca i64*
%6 = alloca i64*
%7 = alloca i32
%8 = alloca i64*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64*
store i64* %0, i64** %5
store i64* %1, i64** %6
store i32 %2, i32* %7
store i64* %3, i64** %8
%15 = load i32, i32* %7
%16 = sdiv i32 %15, 2
store i32 %16, i32* %9
%17 = load i32, i32* %7
%18 = icmp eq i32 %17, 4
br i1 %18, label %19, label %23
19: ; preds = %4
%20 = load i64*, i64** %5
%21 = load i64*, i64** %6
%22 = call i32 @bn_sqr_comba4(i64* %20, i64* %21)
br label %192
23: ; preds = %4
%24 = load i32, i32* %7
%25 = icmp eq i32 %24, 8
br i1 %25, label %26, label %30
26: ; preds = %23
%27 = load i64*, i64** %5
%28 = load i64*, i64** %6
%29 = call i32 @bn_sqr_comba8(i64* %27, i64* %28)
br label %192
30: ; preds = %23
br label %31
31: ; preds = %30
%32 = load i32, i32* %7
%33 = icmp slt i32 %32, 16
br i1 %33, label %34, label %40
34: ; preds = %31
%35 = load i64*, i64** %5
%36 = load i64*, i64** %6
%37 = load i32, i32* %7
%38 = load i64*, i64** %8
%39 = call i32 @bn_sqr_normal(i64* %35, i64* %36, i32 %37, i64* %38)
br label %192
40: ; preds = %31
%41 = load i64*, i64** %6
%42 = load i64*, i64** %6
%43 = load i32, i32* %9
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i64, i64* %42, i64 %44
%46 = load i32, i32* %9
%47 = call i32 @bn_cmp_words(i64* %41, i64* %45, i32 %46)
store i32 %47, i32* %11
store i32 0, i32* %10
%48 = load i32, i32* %11
%49 = icmp sgt i32 %48, 0
br i1 %49, label %50, label %59
50: ; preds = %40
%51 = load i64*, i64** %8
%52 = load i64*, i64** %6
%53 = load i64*, i64** %6
%54 = load i32, i32* %9
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i64, i64* %53, i64 %55
%57 = load i32, i32* %9
%58 = call i64 @bn_sub_words(i64* %51, i64* %52, i64* %56, i32 %57)
br label %73
59: ; preds = %40
%60 = load i32, i32* %11
%61 = icmp slt i32 %60, 0
br i1 %61, label %62, label %71
62: ; preds = %59
%63 = load i64*, i64** %8
%64 = load i64*, i64** %6
%65 = load i32, i32* %9
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i64, i64* %64, i64 %66
%68 = load i64*, i64** %6
%69 = load i32, i32* %9
%70 = call i64 @bn_sub_words(i64* %63, i64* %67, i64* %68, i32 %69)
br label %72
71: ; preds = %59
store i32 1, i32* %10
br label %72
72: ; preds = %71, %62
br label %73
73: ; preds = %72, %50
%74 = load i64*, i64** %8
%75 = load i32, i32* %7
%76 = mul nsw i32 %75, 2
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i64, i64* %74, i64 %77
store i64* %78, i64** %14
%79 = load i32, i32* %10
%80 = icmp ne i32 %79, 0
br i1 %80, label %89, label %81
81: ; preds = %73
%82 = load i64*, i64** %8
%83 = load i32, i32* %7
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i64, i64* %82, i64 %84
%86 = load i64*, i64** %8
%87 = load i32, i32* %9
%88 = load i64*, i64** %14
br label %99
89: ; preds = %73
%90 = load i64*, i64** %8
%91 = load i32, i32* %7
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i64, i64* %90, i64 %92
%94 = load i32, i32* %7
%95 = sext i32 %94 to i64
%96 = mul i64 %95, 8
%97 = trunc i64 %96 to i32
%98 = call i32 @memset(i64* %93, i32 0, i32 %97)
br label %99
99: ; preds = %89, %81
%100 = load i64*, i64** %5
%101 = load i64*, i64** %6
%102 = load i32, i32* %9
%103 = load i64*, i64** %14
%104 = load i64*, i64** %5
%105 = load i32, i32* %7
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i64, i64* %104, i64 %106
%108 = load i64*, i64** %6
%109 = load i32, i32* %9
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i64, i64* %108, i64 %110
%112 = load i32, i32* %9
%113 = load i64*, i64** %14
%114 = load i64*, i64** %8
%115 = load i64*, i64** %5
%116 = load i64*, i64** %5
%117 = load i32, i32* %7
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i64, i64* %116, i64 %118
%120 = load i32, i32* %7
%121 = call i64 @bn_add_words(i64* %114, i64* %115, i64* %119, i32 %120)
%122 = trunc i64 %121 to i32
store i32 %122, i32* %11
%123 = load i64*, i64** %8
%124 = load i32, i32* %7
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i64, i64* %123, i64 %125
%127 = load i64*, i64** %8
%128 = load i64*, i64** %8
%129 = load i32, i32* %7
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i64, i64* %128, i64 %130
%132 = load i32, i32* %7
%133 = call i64 @bn_sub_words(i64* %126, i64* %127, i64* %131, i32 %132)
%134 = trunc i64 %133 to i32
%135 = load i32, i32* %11
%136 = sub nsw i32 %135, %134
store i32 %136, i32* %11
%137 = load i64*, i64** %5
%138 = load i32, i32* %9
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds i64, i64* %137, i64 %139
%141 = load i64*, i64** %5
%142 = load i32, i32* %9
%143 = sext i32 %142 to i64
%144 = getelementptr inbounds i64, i64* %141, i64 %143
%145 = load i64*, i64** %8
%146 = load i32, i32* %7
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds i64, i64* %145, i64 %147
%149 = load i32, i32* %7
%150 = call i64 @bn_add_words(i64* %140, i64* %144, i64* %148, i32 %149)
%151 = trunc i64 %150 to i32
%152 = load i32, i32* %11
%153 = add nsw i32 %152, %151
store i32 %153, i32* %11
%154 = load i32, i32* %11
%155 = icmp ne i32 %154, 0
br i1 %155, label %156, label %192
156: ; preds = %99
%157 = load i64*, i64** %5
%158 = load i32, i32* %9
%159 = load i32, i32* %7
%160 = add nsw i32 %158, %159
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds i64, i64* %157, i64 %161
store i64* %162, i64** %14
%163 = load i64*, i64** %14
%164 = load i64, i64* %163
store i64 %164, i64* %13
%165 = load i64, i64* %13
%166 = load i32, i32* %11
%167 = sext i32 %166 to i64
%168 = add i64 %165, %167
%169 = and i64 %168, 4294967295
store i64 %169, i64* %12
%170 = load i64, i64* %12
%171 = load i64*, i64** %14
store i64 %170, i64* %171
%172 = load i64, i64* %12
%173 = load i32, i32* %11
%174 = sext i32 %173 to i64
%175 = icmp ult i64 %172, %174
br i1 %175, label %176, label %191
176: ; preds = %156
br label %177
177: ; preds = %187, %176
%178 = load i64*, i64** %14
%179 = getelementptr inbounds i64, i64* %178, i32 1
store i64* %179, i64** %14
%180 = load i64*, i64** %14
%181 = load i64, i64* %180
store i64 %181, i64* %13
%182 = load i64, i64* %13
%183 = add i64 %182, 1
%184 = and i64 %183, 4294967295
store i64 %184, i64* %12
%185 = load i64, i64* %12
%186 = load i64*, i64** %14
store i64 %185, i64* %186
br label %187
187: ; preds = %177
%188 = load i64, i64* %12
%189 = icmp eq i64 %188, 0
br i1 %189, label %177, label %190
190: ; preds = %187
br label %191
191: ; preds = %190, %156
br label %192
192: ; preds = %19, %26, %34, %191, %99
ret void
}

LLVM IR (-O2):
define void @bn_sqr_recursive(i64* %0, i64* %1, i32 %2, i64* %3) {
%5 = sdiv i32 %2, 2
switch i32 %2, label %10 [
i32 4, label %6
i32 8, label %8
]
6: ; preds = %4
%7 = tail call i32 @bn_sqr_comba4(i64* %0, i64* %1)
br label %70
8: ; preds = %4
%9 = tail call i32 @bn_sqr_comba8(i64* %0, i64* %1)
br label %70
10: ; preds = %4
%11 = icmp slt i32 %2, 16
br i1 %11, label %12, label %14
12: ; preds = %10
%13 = tail call i32 @bn_sqr_normal(i64* %0, i64* %1, i32 %2, i64* %3)
br label %70
14: ; preds = %10
%15 = sext i32 %5 to i64
%16 = getelementptr inbounds i64, i64* %1, i64 %15
%17 = tail call i32 @bn_cmp_words(i64* %1, i64* %16, i32 %5)
%18 = icmp sgt i32 %17, 0
br i1 %18, label %19, label %21
19: ; preds = %14
%20 = tail call i64 @bn_sub_words(i64* %3, i64* %1, i64* %16, i32 %5)
br label %25
21: ; preds = %14
%22 = icmp slt i32 %17, 0
br i1 %22, label %23, label %31
23: ; preds = %21
%24 = tail call i64 @bn_sub_words(i64* %3, i64* %16, i64* %1, i32 %5)
br label %25
25: ; preds = %23, %19
%26 = shl nuw nsw i32 %2, 1
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i64, i64* %3, i64 %27
%29 = zext i32 %2 to i64
%30 = getelementptr inbounds i64, i64* %3, i64 %29
tail call void @bn_sqr_recursive(i64* %30, i64* %3, i32 %5, i64* %28)
br label %39
31: ; preds = %21
%32 = shl nuw nsw i32 %2, 1
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i64, i64* %3, i64 %33
%35 = zext i32 %2 to i64
%36 = getelementptr inbounds i64, i64* %3, i64 %35
%37 = shl i32 %2, 3
%38 = tail call i32 @memset(i64* %36, i32 0, i32 %37)
br label %39
39: ; preds = %31, %25
%40 = phi i64 [ %35, %31 ], [ %29, %25 ]
%41 = phi i64* [ %34, %31 ], [ %28, %25 ]
tail call void @bn_sqr_recursive(i64* %0, i64* %1, i32 %5, i64* %41)
%42 = getelementptr inbounds i64, i64* %0, i64 %40
tail call void @bn_sqr_recursive(i64* %42, i64* %16, i32 %5, i64* %41)
%43 = tail call i64 @bn_add_words(i64* %3, i64* %0, i64* %42, i32 %2)
%44 = trunc i64 %43 to i32
%45 = getelementptr inbounds i64, i64* %3, i64 %40
%46 = tail call i64 @bn_sub_words(i64* %45, i64* %3, i64* %45, i32 %2)
%47 = trunc i64 %46 to i32
%48 = sub nsw i32 %44, %47
%49 = getelementptr inbounds i64, i64* %0, i64 %15
%50 = tail call i64 @bn_add_words(i64* %49, i64* %49, i64* %45, i32 %2)
%51 = trunc i64 %50 to i32
%52 = add nsw i32 %48, %51
%53 = icmp eq i32 %52, 0
br i1 %53, label %70, label %54
54: ; preds = %39
%55 = add nsw i32 %5, %2
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i64, i64* %0, i64 %56
%58 = load i64, i64* %57
%59 = sext i32 %52 to i64
%60 = add i64 %58, %59
%61 = and i64 %60, 4294967295
store i64 %61, i64* %57
%62 = icmp ult i64 %61, %59
br i1 %62, label %63, label %70
63: ; preds = %54, %63
%64 = phi i64* [ %65, %63 ], [ %57, %54 ]
%65 = getelementptr inbounds i64, i64* %64, i64 1
%66 = load i64, i64* %65
%67 = add i64 %66, 1
%68 = and i64 %67, 4294967295
store i64 %68, i64* %65
%69 = icmp eq i64 %68, 0
br i1 %69, label %63, label %70
70: ; preds = %63, %39, %54, %12, %8, %6
ret void
}