#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 const *, unsigned int const *, int);
int /*<<< orphan*/ bn_sqr_comba4(unsigned int *, unsigned int const *);
int /*<<< orphan*/ bn_sqr_comba8(unsigned int *, unsigned int const *);
int /*<<< orphan*/ bn_sqr_normal(unsigned int *, unsigned int const *, int,
                                 unsigned int *);
scalar_t__ bn_sub_words(unsigned int *, unsigned int const *,
                        unsigned int const *, int);
int /*<<< orphan*/ memset(unsigned int *, int /*<<< orphan*/, int);
void bn_sqr_recursive(unsigned int *r, const unsigned int *a, int n2,
                      unsigned int *t) {
  int n = n2 / 2;
  int zero, c1;
  unsigned int 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 int));
  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 int)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    $0x40,%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    146e <bn_sqr_recursive+0x2ee>
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    146e <bn_sqr_recursive+0x2ee>
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    146e <bn_sqr_recursive+0x2ee>
mov    -0x10(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x24(%rbp),%rax
shl    $0x2,%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    $0x2,%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    $0x2,%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    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
cmpl   $0x0,-0x28(%rbp)
jne    12d8 <bn_sqr_recursive+0x158>
mov    -0x20(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x20(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    -0x40(%rbp),%rcx
call   1050 <bn_sqr_recursive@plt>
jmp    12f8 <bn_sqr_recursive+0x178>
mov    -0x20(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1070 <memset@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    -0x40(%rbp),%rcx
call   1050 <bn_sqr_recursive@plt>
mov    -0x8(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x24(%rbp),%edx
mov    -0x40(%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    $0x2,%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    $0x2,%rax
add    %rax,%rdi
mov    -0x20(%rbp),%rsi
mov    -0x20(%rbp),%rdx
movslq -0x14(%rbp),%rax
shl    $0x2,%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    $0x2,%rax
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x20(%rbp),%rdx
movslq -0x14(%rbp),%rax
shl    $0x2,%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     146e <bn_sqr_recursive+0x2ee>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x14(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x30(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jae    1469 <bn_sqr_recursive+0x2e9>
jmp    1424 <bn_sqr_recursive+0x2a4>
mov    -0x40(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,%eax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,(%rax)
cmpl   $0x0,-0x30(%rbp)
je     1424 <bn_sqr_recursive+0x2a4>
jmp    1469 <bn_sqr_recursive+0x2e9>
jmp    146e <bn_sqr_recursive+0x2ee>
add    $0x40,%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,4),%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,4),%r12
add    %r13,%r12
mov    %ebx,%eax
mov    %rax,(%rsp)
lea    0x0(%r13,%rax,4),%rdi
mov    %r13,%rsi
mov    %r15d,%edx
mov    %r12,%rcx
call   1050 <bn_sqr_recursive@plt>
jmp    129d <bn_sqr_recursive+0x11d>
js     1348 <bn_sqr_recursive+0x1c8>
lea    (%rbx,%rbx,1),%eax
cltq
lea    0x0(,%rax,4),%r12
add    %r13,%r12
mov    %ebx,%eax
mov    %rax,(%rsp)
lea    0x0(,%rax,4),%rdi
add    %r13,%rdi
lea    0x0(,%rbx,4),%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,4),%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,4),%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,4),%rdi
mov    %rdi,%rsi
mov    %rbp,%rdx
mov    %ebx,%ecx
call   10a0 <bn_add_words@plt>
add    %r12d,%eax
je     1339 <bn_sqr_recursive+0x1b9>
add    %ebx,%r15d
movslq %r15d,%rcx
add    %eax,(%r14,%rcx,4)
jae    1339 <bn_sqr_recursive+0x1b9>
lea    (%r14,%rcx,4),%rax
add    $0x4,%rax
nopl   (%rax)
addl   $0x1,(%rax)
lea    0x4(%rax),%rax
je     1330 <bn_sqr_recursive+0x1b0>
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(i32* %0, i32* %1, i32 %2, i32* %3) {
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32*
store i32* %0, i32** %5
store i32* %1, i32** %6
store i32 %2, i32* %7
store i32* %3, i32** %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 i32*, i32** %5
%21 = load i32*, i32** %6
%22 = call i32 @bn_sqr_comba4(i32* %20, i32* %21)
br label %194
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 i32*, i32** %5
%28 = load i32*, i32** %6
%29 = call i32 @bn_sqr_comba8(i32* %27, i32* %28)
br label %194
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 i32*, i32** %5
%36 = load i32*, i32** %6
%37 = load i32, i32* %7
%38 = load i32*, i32** %8
%39 = call i32 @bn_sqr_normal(i32* %35, i32* %36, i32 %37, i32* %38)
br label %194
40: ; preds = %31
%41 = load i32*, i32** %6
%42 = load i32*, i32** %6
%43 = load i32, i32* %9
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i32, i32* %42, i64 %44
%46 = load i32, i32* %9
%47 = call i32 @bn_cmp_words(i32* %41, i32* %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 i32*, i32** %8
%52 = load i32*, i32** %6
%53 = load i32*, i32** %6
%54 = load i32, i32* %9
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i32, i32* %53, i64 %55
%57 = load i32, i32* %9
%58 = call i64 @bn_sub_words(i32* %51, i32* %52, i32* %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 i32*, i32** %8
%64 = load i32*, i32** %6
%65 = load i32, i32* %9
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i32, i32* %64, i64 %66
%68 = load i32*, i32** %6
%69 = load i32, i32* %9
%70 = call i64 @bn_sub_words(i32* %63, i32* %67, i32* %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 i32*, i32** %8
%75 = load i32, i32* %7
%76 = mul nsw i32 %75, 2
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %74, i64 %77
store i32* %78, i32** %14
%79 = load i32, i32* %10
%80 = icmp ne i32 %79, 0
br i1 %80, label %89, label %81
81: ; preds = %73
%82 = load i32*, i32** %8
%83 = load i32, i32* %7
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i32, i32* %82, i64 %84
%86 = load i32*, i32** %8
%87 = load i32, i32* %9
%88 = load i32*, i32** %14
br label %99
89: ; preds = %73
%90 = load i32*, i32** %8
%91 = load i32, i32* %7
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i32, i32* %90, i64 %92
%94 = load i32, i32* %7
%95 = sext i32 %94 to i64
%96 = mul i64 %95, 4
%97 = trunc i64 %96 to i32
%98 = call i32 @memset(i32* %93, i32 0, i32 %97)
br label %99
99: ; preds = %89, %81
%100 = load i32*, i32** %5
%101 = load i32*, i32** %6
%102 = load i32, i32* %9
%103 = load i32*, i32** %14
%104 = load i32*, i32** %5
%105 = load i32, i32* %7
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i32, i32* %104, i64 %106
%108 = load i32*, i32** %6
%109 = load i32, i32* %9
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i32, i32* %108, i64 %110
%112 = load i32, i32* %9
%113 = load i32*, i32** %14
%114 = load i32*, i32** %8
%115 = load i32*, i32** %5
%116 = load i32*, i32** %5
%117 = load i32, i32* %7
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i32, i32* %116, i64 %118
%120 = load i32, i32* %7
%121 = call i64 @bn_add_words(i32* %114, i32* %115, i32* %119, i32 %120)
%122 = trunc i64 %121 to i32
store i32 %122, i32* %11
%123 = load i32*, i32** %8
%124 = load i32, i32* %7
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i32, i32* %123, i64 %125
%127 = load i32*, i32** %8
%128 = load i32*, i32** %8
%129 = load i32, i32* %7
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i32, i32* %128, i64 %130
%132 = load i32, i32* %7
%133 = call i64 @bn_sub_words(i32* %126, i32* %127, i32* %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 i32*, i32** %5
%138 = load i32, i32* %9
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds i32, i32* %137, i64 %139
%141 = load i32*, i32** %5
%142 = load i32, i32* %9
%143 = sext i32 %142 to i64
%144 = getelementptr inbounds i32, i32* %141, i64 %143
%145 = load i32*, i32** %8
%146 = load i32, i32* %7
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds i32, i32* %145, i64 %147
%149 = load i32, i32* %7
%150 = call i64 @bn_add_words(i32* %140, i32* %144, i32* %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 %194
156: ; preds = %99
%157 = load i32*, i32** %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 i32, i32* %157, i64 %161
store i32* %162, i32** %14
%163 = load i32*, i32** %14
%164 = load i32, i32* %163
store i32 %164, i32* %13
%165 = load i32, i32* %13
%166 = load i32, i32* %11
%167 = add i32 %165, %166
%168 = zext i32 %167 to i64
%169 = and i64 %168, 4294967295
%170 = trunc i64 %169 to i32
store i32 %170, i32* %12
%171 = load i32, i32* %12
%172 = load i32*, i32** %14
store i32 %171, i32* %172
%173 = load i32, i32* %12
%174 = load i32, i32* %11
%175 = icmp ult i32 %173, %174
br i1 %175, label %176, label %193
176: ; preds = %156
br label %177
177: ; preds = %189, %176
%178 = load i32*, i32** %14
%179 = getelementptr inbounds i32, i32* %178, i32 1
store i32* %179, i32** %14
%180 = load i32*, i32** %14
%181 = load i32, i32* %180
store i32 %181, i32* %13
%182 = load i32, i32* %13
%183 = add i32 %182, 1
%184 = zext i32 %183 to i64
%185 = and i64 %184, 4294967295
%186 = trunc i64 %185 to i32
store i32 %186, i32* %12
%187 = load i32, i32* %12
%188 = load i32*, i32** %14
store i32 %187, i32* %188
br label %189
189: ; preds = %177
%190 = load i32, i32* %12
%191 = icmp eq i32 %190, 0
br i1 %191, label %177, label %192
192: ; preds = %189
br label %193
193: ; preds = %192, %156
br label %194
194: ; preds = %19, %26, %34, %193, %99
ret void
}

LLVM IR (-O2):
define void @bn_sqr_recursive(i32* %0, i32* %1, i32 %2, i32* %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(i32* %0, i32* %1)
br label %67
8: ; preds = %4
%9 = tail call i32 @bn_sqr_comba8(i32* %0, i32* %1)
br label %67
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(i32* %0, i32* %1, i32 %2, i32* %3)
br label %67
14: ; preds = %10
%15 = sext i32 %5 to i64
%16 = getelementptr inbounds i32, i32* %1, i64 %15
%17 = tail call i32 @bn_cmp_words(i32* %1, i32* %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(i32* %3, i32* %1, i32* %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(i32* %3, i32* %16, i32* %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 i32, i32* %3, i64 %27
%29 = zext i32 %2 to i64
%30 = getelementptr inbounds i32, i32* %3, i64 %29
tail call void @bn_sqr_recursive(i32* %30, i32* %3, i32 %5, i32* %28)
br label %39
31: ; preds = %21
%32 = shl nuw nsw i32 %2, 1
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %3, i64 %33
%35 = zext i32 %2 to i64
%36 = getelementptr inbounds i32, i32* %3, i64 %35
%37 = shl i32 %2, 2
%38 = tail call i32 @memset(i32* %36, i32 0, i32 %37)
br label %39
39: ; preds = %31, %25
%40 = phi i64 [ %35, %31 ], [ %29, %25 ]
%41 = phi i32* [ %34, %31 ], [ %28, %25 ]
tail call void @bn_sqr_recursive(i32* %0, i32* %1, i32 %5, i32* %41)
%42 = getelementptr inbounds i32, i32* %0, i64 %40
tail call void @bn_sqr_recursive(i32* %42, i32* %16, i32 %5, i32* %41)
%43 = tail call i64 @bn_add_words(i32* %3, i32* %0, i32* %42, i32 %2)
%44 = trunc i64 %43 to i32
%45 = getelementptr inbounds i32, i32* %3, i64 %40
%46 = tail call i64 @bn_sub_words(i32* %45, i32* %3, i32* %45, i32 %2)
%47 = trunc i64 %46 to i32
%48 = sub nsw i32 %44, %47
%49 = getelementptr inbounds i32, i32* %0, i64 %15
%50 = tail call i64 @bn_add_words(i32* %49, i32* %49, i32* %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 %67, label %54
54: ; preds = %39
%55 = add nsw i32 %5, %2
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %0, i64 %56
%58 = load i32, i32* %57
%59 = add i32 %58, %52
store i32 %59, i32* %57
%60 = icmp ult i32 %59, %52
br i1 %60, label %61, label %67
61: ; preds = %54, %61
%62 = phi i32* [ %63, %61 ], [ %57, %54 ]
%63 = getelementptr inbounds i32, i32* %62, i64 1
%64 = load i32, i32* %63
%65 = add i32 %64, 1
store i32 %65, i32* %63
%66 = icmp eq i32 %65, 0
br i1 %66, label %61, label %67
67: ; preds = %61, %39, %54, %12, %8, %6
ret void
}