void bn_sqr_words(unsigned long *r, unsigned long *a, int n) {
  ;
  if (n <= 0)
    return;
  for (;;) {
    {
      unsigned long l, h, m;
      h = (a[0]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      m = (l) * (h);
      l *= l;
      h *= h;
      h += (m & (0xffff8000L)) >> (16 - 1);
      m = (m & (0xffff)) << (16 + 1);
      l = (l + m) & (0xffffffffL);
      if (l < m)
        h++;
      (r[0]) = l;
      (r[1]) = h;
    };
    if (--n == 0)
      break;
    {
      unsigned long l, h, m;
      h = (a[1]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      m = (l) * (h);
      l *= l;
      h *= h;
      h += (m & (0xffff8000L)) >> (16 - 1);
      m = (m & (0xffff)) << (16 + 1);
      l = (l + m) & (0xffffffffL);
      if (l < m)
        h++;
      (r[2]) = l;
      (r[3]) = h;
    };
    if (--n == 0)
      break;
    {
      unsigned long l, h, m;
      h = (a[2]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      m = (l) * (h);
      l *= l;
      h *= h;
      h += (m & (0xffff8000L)) >> (16 - 1);
      m = (m & (0xffff)) << (16 + 1);
      l = (l + m) & (0xffffffffL);
      if (l < m)
        h++;
      (r[4]) = l;
      (r[5]) = h;
    };
    if (--n == 0)
      break;
    {
      unsigned long l, h, m;
      h = (a[3]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      m = (l) * (h);
      l *= l;
      h *= h;
      h += (m & (0xffff8000L)) >> (16 - 1);
      m = (m & (0xffff)) << (16 + 1);
      l = (l + m) & (0xffffffffL);
      if (l < m)
        h++;
      (r[6]) = l;
      (r[7]) = h;
    };
    if (--n == 0)
      break;
    a += 4;
    r += 8;
  }
}


x86 assembly (clang, -O0):
<bn_sqr_words>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jg     111e <bn_sqr_words+0x1e>
jmp    14c2 <bn_sqr_words+0x3c2>
jmp    1123 <bn_sqr_words+0x23>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
and    $0xffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
imul   -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
imul   -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
imul   -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
movabs $0xffff8000,%rax
and    -0x30(%rbp),%rax
shr    $0xf,%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
and    $0xffff,%rax
shl    $0x11,%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
add    -0x30(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    11d4 <bn_sqr_words+0xd4>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x28(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
cmp    $0x0,%eax
jne    1202 <bn_sqr_words+0x102>
jmp    14c2 <bn_sqr_words+0x3c2>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
and    $0xffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
imul   -0x40(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x38(%rbp),%rax
imul   -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
imul   -0x40(%rbp),%rax
mov    %rax,-0x40(%rbp)
movabs $0xffff8000,%rax
and    -0x48(%rbp),%rax
shr    $0xf,%rax
add    -0x40(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x48(%rbp),%rax
and    $0xffff,%rax
shl    $0x11,%rax
mov    %rax,-0x48(%rbp)
mov    -0x38(%rbp),%rax
add    -0x48(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x48(%rbp),%rax
jae    12b4 <bn_sqr_words+0x1b4>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x10(%rax)
mov    -0x40(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x18(%rax)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
cmp    $0x0,%eax
jne    12e3 <bn_sqr_words+0x1e3>
jmp    14c2 <bn_sqr_words+0x3c2>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
and    $0xffff,%rax
mov    %rax,-0x50(%rbp)
mov    -0x58(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%rax
mov    %rax,-0x58(%rbp)
mov    -0x50(%rbp),%rax
imul   -0x58(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x50(%rbp),%rax
imul   -0x50(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x58(%rbp),%rax
imul   -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
movabs $0xffff8000,%rax
and    -0x60(%rbp),%rax
shr    $0xf,%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x60(%rbp),%rax
and    $0xffff,%rax
shl    $0x11,%rax
mov    %rax,-0x60(%rbp)
mov    -0x50(%rbp),%rax
add    -0x60(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    -0x60(%rbp),%rax
jae    1395 <bn_sqr_words+0x295>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
mov    -0x50(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x20(%rax)
mov    -0x58(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x28(%rax)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
cmp    $0x0,%eax
jne    13c4 <bn_sqr_words+0x2c4>
jmp    14c2 <bn_sqr_words+0x3c2>
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rax
and    $0xffff,%rax
mov    %rax,-0x68(%rbp)
mov    -0x70(%rbp),%rax
shr    $0x10,%rax
and    $0xffff,%rax
mov    %rax,-0x70(%rbp)
mov    -0x68(%rbp),%rax
imul   -0x70(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x68(%rbp),%rax
imul   -0x68(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x70(%rbp),%rax
imul   -0x70(%rbp),%rax
mov    %rax,-0x70(%rbp)
movabs $0xffff8000,%rax
and    -0x78(%rbp),%rax
shr    $0xf,%rax
add    -0x70(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x78(%rbp),%rax
and    $0xffff,%rax
shl    $0x11,%rax
mov    %rax,-0x78(%rbp)
mov    -0x68(%rbp),%rax
add    -0x78(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x78(%rbp),%rax
jae    1476 <bn_sqr_words+0x376>
mov    -0x70(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x70(%rbp)
mov    -0x68(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x30(%rax)
mov    -0x70(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x38(%rax)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
cmp    $0x0,%eax
jne    14a5 <bn_sqr_words+0x3a5>
jmp    14c2 <bn_sqr_words+0x3c2>
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rax
mov    %rax,-0x8(%rbp)
jmp    1123 <bn_sqr_words+0x23>
pop    %rbp
ret

x86 assembly (clang, -O2):
<bn_sqr_words>:
push   %r15
push   %r14
push   %rbx
test   %edx,%edx
jle    124f <bn_sqr_words+0x14f>
movabs $0x1fffe0000,%r14
mov    %edx,%r11d
lea    -0x3(%r11),%r8
lea    -0x2(%r11),%r9
lea    -0x1(%r11),%r10
add    $0xfffffffffffffffc,%r11
xor    %r15d,%r15d
nopl   (%rax)
mov    (%rsi,%r15,8),%rax
movzwl %ax,%ebx
shr    $0x10,%eax
mov    %rax,%rcx
imul   %rbx,%rcx
imul   %ebx,%ebx
imul   %rax,%rax
mov    %rcx,%rdx
shr    $0xf,%rdx
add    %rax,%rdx
shl    $0x11,%rcx
mov    %rcx,%rax
and    %r14,%rax
add    %ebx,%ecx
cmp    %rax,%rcx
adc    $0x0,%rdx
mov    %rcx,(%rdi)
mov    %rdx,0x8(%rdi)
cmp    %r15d,%r10d
je     124f <bn_sqr_words+0x14f>
mov    0x8(%rsi,%r15,8),%rax
movzwl %ax,%ecx
shr    $0x10,%eax
mov    %rax,%rdx
imul   %rcx,%rdx
imul   %ecx,%ecx
imul   %rax,%rax
mov    %rdx,%rbx
shr    $0xf,%rbx
add    %rax,%rbx
shl    $0x11,%rdx
mov    %rdx,%rax
and    %r14,%rax
add    %ecx,%edx
cmp    %rax,%rdx
adc    $0x0,%rbx
mov    %rdx,0x10(%rdi)
mov    %rbx,0x18(%rdi)
cmp    %r15d,%r9d
je     124f <bn_sqr_words+0x14f>
mov    0x10(%rsi,%r15,8),%rax
movzwl %ax,%ecx
shr    $0x10,%eax
mov    %rax,%rdx
imul   %rcx,%rdx
imul   %ecx,%ecx
imul   %rax,%rax
mov    %rdx,%rbx
shr    $0xf,%rbx
add    %rax,%rbx
shl    $0x11,%rdx
mov    %rdx,%rax
and    %r14,%rax
add    %ecx,%edx
cmp    %rax,%rdx
adc    $0x0,%rbx
mov    %rdx,0x20(%rdi)
mov    %rbx,0x28(%rdi)
cmp    %r15d,%r8d
je     124f <bn_sqr_words+0x14f>
mov    0x18(%rsi,%r15,8),%rax
movzwl %ax,%ecx
shr    $0x10,%eax
mov    %rax,%rdx
imul   %rcx,%rdx
imul   %ecx,%ecx
imul   %rax,%rax
mov    %rdx,%rbx
shr    $0xf,%rbx
add    %rax,%rbx
shl    $0x11,%rdx
mov    %rdx,%rax
and    %r14,%rax
add    %ecx,%edx
cmp    %rax,%rdx
adc    $0x0,%rbx
mov    %rdx,0x30(%rdi)
mov    %rbx,0x38(%rdi)
cmp    %r15d,%r11d
je     124f <bn_sqr_words+0x14f>
add    $0x4,%r15
add    $0x40,%rdi
jmp    1130 <bn_sqr_words+0x30>
pop    %rbx
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
define void @bn_sqr_words(i64* nocapture writeonly %0, i64* nocapture %1, i32 %2) {
%4 = icmp slt i32 %2, 1
br i1 %4, label %94, label %5
5: ; preds = %3, %91
%6 = phi i32 [ %89, %91 ], [ %2, %3 ]
%7 = phi i64* [ %92, %91 ], [ %1, %3 ]
%8 = phi i64* [ %93, %91 ], [ %0, %3 ]
%9 = load i64, i64* %7
%10 = and i64 %9, 65535
%11 = lshr i64 %9, 16
%12 = and i64 %11, 65535
%13 = mul nuw nsw i64 %12, %10
%14 = mul nuw nsw i64 %10, %10
%15 = mul nuw nsw i64 %12, %12
%16 = lshr i64 %13, 15
%17 = add nuw nsw i64 %16, %15
%18 = shl nuw nsw i64 %13, 17
%19 = and i64 %18, 8589803520
%20 = add nuw nsw i64 %18, %14
%21 = and i64 %20, 4294967295
%22 = icmp ult i64 %21, %19
%23 = zext i1 %22 to i64
%24 = add nuw nsw i64 %17, %23
store i64 %21, i64* %8
%25 = getelementptr inbounds i64, i64* %8, i64 1
store i64 %24, i64* %25
%26 = icmp eq i32 %6, 1
br i1 %26, label %94, label %27
27: ; preds = %5
%28 = getelementptr inbounds i64, i64* %7, i64 1
%29 = load i64, i64* %28
%30 = and i64 %29, 65535
%31 = lshr i64 %29, 16
%32 = and i64 %31, 65535
%33 = mul nuw nsw i64 %32, %30
%34 = mul nuw nsw i64 %30, %30
%35 = mul nuw nsw i64 %32, %32
%36 = lshr i64 %33, 15
%37 = add nuw nsw i64 %36, %35
%38 = shl nuw nsw i64 %33, 17
%39 = and i64 %38, 8589803520
%40 = add nuw nsw i64 %38, %34
%41 = and i64 %40, 4294967295
%42 = icmp ult i64 %41, %39
%43 = zext i1 %42 to i64
%44 = add nuw nsw i64 %37, %43
%45 = getelementptr inbounds i64, i64* %8, i64 2
store i64 %41, i64* %45
%46 = getelementptr inbounds i64, i64* %8, i64 3
store i64 %44, i64* %46
%47 = icmp eq i32 %6, 2
br i1 %47, label %94, label %48
48: ; preds = %27
%49 = getelementptr inbounds i64, i64* %7, i64 2
%50 = load i64, i64* %49
%51 = and i64 %50, 65535
%52 = lshr i64 %50, 16
%53 = and i64 %52, 65535
%54 = mul nuw nsw i64 %53, %51
%55 = mul nuw nsw i64 %51, %51
%56 = mul nuw nsw i64 %53, %53
%57 = lshr i64 %54, 15
%58 = add nuw nsw i64 %57, %56
%59 = shl nuw nsw i64 %54, 17
%60 = and i64 %59, 8589803520
%61 = add nuw nsw i64 %59, %55
%62 = and i64 %61, 4294967295
%63 = icmp ult i64 %62, %60
%64 = zext i1 %63 to i64
%65 = add nuw nsw i64 %58, %64
%66 = getelementptr inbounds i64, i64* %8, i64 4
store i64 %62, i64* %66
%67 = getelementptr inbounds i64, i64* %8, i64 5
store i64 %65, i64* %67
%68 = icmp eq i32 %6, 3
br i1 %68, label %94, label %69
69: ; preds = %48
%70 = getelementptr inbounds i64, i64* %7, i64 3
%71 = load i64, i64* %70
%72 = and i64 %71, 65535
%73 = lshr i64 %71, 16
%74 = and i64 %73, 65535
%75 = mul nuw nsw i64 %74, %72
%76 = mul nuw nsw i64 %72, %72
%77 = mul nuw nsw i64 %74, %74
%78 = lshr i64 %75, 15
%79 = add nuw nsw i64 %78, %77
%80 = shl nuw nsw i64 %75, 17
%81 = and i64 %80, 8589803520
%82 = add nuw nsw i64 %80, %76
%83 = and i64 %82, 4294967295
%84 = icmp ult i64 %83, %81
%85 = zext i1 %84 to i64
%86 = add nuw nsw i64 %79, %85
%87 = getelementptr inbounds i64, i64* %8, i64 6
store i64 %83, i64* %87
%88 = getelementptr inbounds i64, i64* %8, i64 7
store i64 %86, i64* %88
%89 = add nsw i32 %6, -4
%90 = icmp eq i32 %89, 0
br i1 %90, label %94, label %91
91: ; preds = %69
%92 = getelementptr inbounds i64, i64* %7, i64 4
%93 = getelementptr inbounds i64, i64* %8, i64 8
br label %5
94: ; preds = %69, %48, %27, %5, %3
ret void
}