#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 */
int gmult(int, int);
void mult_polys(int dst[], int p1[], int p2[]) {
  int i, j;
  int tmp1[(10 * 2) * 2];
  for (i = 0; i < ((10 * 2) * 2); i++)
    dst[i] = 0;
  for (i = 0; i < (10 * 2); i++) {
    for (j = (10 * 2); j < ((10 * 2) * 2); j++)
      tmp1[j] = 0;
    for (j = 0; j < (10 * 2); j++)
      tmp1[j] = gmult(p2[j], p1[i]);
    for (j = ((10 * 2) * 2) - 1; j >= i; j--)
      tmp1[j] = tmp1[j - i];
    for (j = 0; j < i; j++)
      tmp1[j] = 0;
    for (j = 0; j < ((10 * 2) * 2); j++)
      dst[j] ^= tmp1[j];
  }
}


x86 assembly (clang, -O0):
<mult_polys>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x28,-0x1c(%rbp)
jge    1155 <mult_polys+0x45>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    112e <mult_polys+0x1e>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x14,-0x1c(%rbp)
jge    1291 <mult_polys+0x181>
movl   $0x14,-0x20(%rbp)
cmpl   $0x28,-0x20(%rbp)
jge    1194 <mult_polys+0x84>
movslq -0x20(%rbp),%rax
movl   $0x0,-0xc0(%rbp,%rax,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    116d <mult_polys+0x5d>
movl   $0x0,-0x20(%rbp)
cmpl   $0x14,-0x20(%rbp)
jge    11db <mult_polys+0xcb>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
call   1030 <gmult@plt>
mov    %eax,%ecx
movslq -0x20(%rbp),%rax
mov    %ecx,-0xc0(%rbp,%rax,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    119b <mult_polys+0x8b>
movl   $0x27,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     1216 <mult_polys+0x106>
mov    -0x20(%rbp),%eax
sub    -0x1c(%rbp),%eax
cltq
mov    -0xc0(%rbp,%rax,4),%ecx
movslq -0x20(%rbp),%rax
mov    %ecx,-0xc0(%rbp,%rax,4)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    11e2 <mult_polys+0xd2>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1246 <mult_polys+0x136>
movslq -0x20(%rbp),%rax
movl   $0x0,-0xc0(%rbp,%rax,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    121d <mult_polys+0x10d>
movl   $0x0,-0x20(%rbp)
cmpl   $0x28,-0x20(%rbp)
jge    127e <mult_polys+0x16e>
movslq -0x20(%rbp),%rax
mov    -0xc0(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    124d <mult_polys+0x13d>
jmp    1283 <mult_polys+0x173>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    115c <mult_polys+0x4c>
add    $0xc0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mult_polys>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x108,%rsp
mov    %rdx,%r14
mov    %rsi,%rbx
xorps  %xmm0,%xmm0
movups %xmm0,0x90(%rdi)
movups %xmm0,0x80(%rdi)
movups %xmm0,0x70(%rdi)
movups %xmm0,0x60(%rdi)
movups %xmm0,0x50(%rdi)
movups %xmm0,0x40(%rdi)
movups %xmm0,0x30(%rdi)
movups %xmm0,0x20(%rdi)
movups %xmm0,0x10(%rdi)
mov    %rdi,0x10(%rsp)
movups %xmm0,(%rdi)
lea    0xf0(%rsp),%rbp
mov    $0x24,%ecx
xor    %r12d,%r12d
xor    %r13d,%r13d
jmp    1258 <mult_polys+0x138>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x10(%rsp),%rax
movups (%rax),%xmm0
movups 0x10(%rax),%xmm1
movups 0x20(%rax),%xmm2
xorps  0x60(%rsp),%xmm0
movups 0x30(%rax),%xmm3
movups %xmm0,(%rax)
xorps  0x70(%rsp),%xmm1
movups %xmm1,0x10(%rax)
xorps  0x80(%rsp),%xmm2
movups %xmm2,0x20(%rax)
xorps  0x90(%rsp),%xmm3
movups %xmm3,0x30(%rax)
movups 0x40(%rax),%xmm0
xorps  0xa0(%rsp),%xmm0
movups %xmm0,0x40(%rax)
movups 0x50(%rax),%xmm0
xorps  0xb0(%rsp),%xmm0
movups %xmm0,0x50(%rax)
movups 0x60(%rax),%xmm0
xorps  0xc0(%rsp),%xmm0
movups %xmm0,0x60(%rax)
movups 0x70(%rax),%xmm0
xorps  0xd0(%rsp),%xmm0
movups %xmm0,0x70(%rax)
movups 0x80(%rax),%xmm0
xorps  0xe0(%rsp),%xmm0
movups %xmm0,0x80(%rax)
movups 0x90(%rax),%xmm0
xorps  0xf0(%rsp),%xmm0
movups %xmm0,0x90(%rax)
add    $0x1,%r13
add    $0xfffffffffffffffc,%rbp
mov    0x58(%rsp),%rcx
add    $0xffffffffffffffff,%rcx
add    $0xfffffffffffffffc,%r12
cmp    $0x14,%r13
je     1498 <mult_polys+0x378>
mov    %rbp,(%rsp)
mov    %r12,0x8(%rsp)
mov    %rcx,0x58(%rsp)
mov    %rcx,%rax
shr    $0x2,%rax
lea    0x1(%rax),%ecx
movzbl %cl,%r15d
and    $0x3,%r15d
lea    0x4(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
mov    %rax,0x18(%rsp)
mov    $0x24,%eax
sub    %r13,%rax
mov    %rax,0x20(%rsp)
shr    $0x2,%rax
add    $0x1,%rax
mov    %rax,0x28(%rsp)
mov    $0x28,%eax
sub    %r13,%rax
mov    %rax,0x50(%rsp)
lea    (%rsp,%r13,4),%rax
add    $0x60,%rax
mov    %rax,0x38(%rsp)
lea    0x0(,%r13,4),%rcx
lea    0x60(%rsp),%rax
mov    %rcx,0x48(%rsp)
sub    %rcx,%rax
add    $0xa0,%rax
mov    %rax,0x30(%rsp)
mov    $0x27,%ebp
sub    %r13,%rbp
lea    (%rsp,%rbp,4),%rax
add    $0x60,%rax
mov    %rax,0x40(%rsp)
xorps  %xmm0,%xmm0
lea    0xb0(%rsp),%rax
movaps %xmm0,0x40(%rax)
movaps %xmm0,0x30(%rax)
movaps %xmm0,0x20(%rax)
movaps %xmm0,0x10(%rax)
movaps %xmm0,(%rax)
xor    %r12d,%r12d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%r14,%r12,4),%edi
mov    (%rbx,%r13,4),%esi
call   1040 <gmult@plt>
mov    %eax,0x60(%rsp,%r12,4)
add    $0x1,%r12
cmp    $0x14,%r12
jne    1320 <mult_polys+0x200>
mov    $0x27,%ecx
mov    0x50(%rsp),%r8
cmp    $0x4,%r8
jae    13a0 <mult_polys+0x280>
mov    0x8(%rsp),%r12
mov    (%rsp),%rbp
add    $0x1,%rcx
lea    (%rsp,%r12,1),%rax
add    $0x60,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    -0x4(%rax,%rcx,4),%edx
mov    %edx,0x5c(%rsp,%rcx,4)
add    $0xffffffffffffffff,%rcx
cmp    %r13,%rcx
ja     1370 <mult_polys+0x250>
test   %r13,%r13
je     1190 <mult_polys+0x70>
lea    0x60(%rsp),%rdi
xor    %esi,%esi
mov    0x48(%rsp),%rdx
call   1030 <memset@plt>
jmp    1190 <mult_polys+0x70>
mov    %rbp,%rax
mov    $0x4,%edx
mul    %rdx
seto   %dl
lea    0xfc(%rsp),%rdi
mov    %rdi,%rsi
sub    %rax,%rsi
cmp    %rdi,%rsi
mov    0x8(%rsp),%r12
mov    (%rsp),%rbp
ja     1355 <mult_polys+0x235>
test   %dl,%dl
jne    1355 <mult_polys+0x235>
mov    0x40(%rsp),%rdi
mov    %rdi,%rsi
sub    %rax,%rsi
cmp    %rdi,%rsi
ja     1355 <mult_polys+0x235>
test   %dl,%dl
jne    1355 <mult_polys+0x235>
mov    0x30(%rsp),%rax
cmp    %rax,0x38(%rsp)
jb     1355 <mult_polys+0x235>
cmpq   $0xc,0x20(%rsp)
jae    1406 <mult_polys+0x2e6>
xor    %eax,%eax
jmp    1453 <mult_polys+0x333>
xor    %eax,%eax
mov    0x18(%rsp),%rdx
nopl   (%rax)
movups 0x0(%rbp,%rax,4),%xmm0
movaps %xmm0,0xf0(%rsp,%rax,4)
movups -0x10(%rbp,%rax,4),%xmm0
movaps %xmm0,0xe0(%rsp,%rax,4)
movups -0x20(%rbp,%rax,4),%xmm0
movaps %xmm0,0xd0(%rsp,%rax,4)
movups -0x30(%rbp,%rax,4),%xmm0
movaps %xmm0,0xc0(%rsp,%rax,4)
add    $0xfffffffffffffff0,%rax
mov    %rdx,%rcx
add    %rax,%rcx
jne    1410 <mult_polys+0x2f0>
neg    %rax
mov    %r8,%rdx
and    $0xfffffffffffffffc,%rdx
testb  $0x3,0x28(%rsp)
je     1482 <mult_polys+0x362>
shl    $0x2,%rax
lea    0xf0(%rsp),%rcx
sub    %rax,%rcx
movups (%rcx,%r12,1),%xmm0
movaps %xmm0,(%rcx)
add    $0xfffffffffffffff0,%rcx
add    $0xffffffffffffffff,%r15
jne    1470 <mult_polys+0x350>
cmp    %rdx,%r8
je     1381 <mult_polys+0x261>
mov    $0x27,%ecx
sub    %rdx,%rcx
jmp    1355 <mult_polys+0x235>
add    $0x108,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @mult_polys(i32* %0, i32* %1, i32* %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca [40 x i32]
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32* %2, i32** %6
store i32 0, i32* %7
br label %10
10: ; preds = %18, %3
%11 = load i32, i32* %7
%12 = icmp slt i32 %11, 40
br i1 %12, label %13, label %21
13: ; preds = %10
%14 = load i32*, i32** %4
%15 = load i32, i32* %7
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i32, i32* %14, i64 %16
store i32 0, i32* %17
br label %18
18: ; preds = %13
%19 = load i32, i32* %7
%20 = add nsw i32 %19, 1
store i32 %20, i32* %7
br label %10
21: ; preds = %10
store i32 0, i32* %7
br label %22
22: ; preds = %107, %21
%23 = load i32, i32* %7
%24 = icmp slt i32 %23, 20
br i1 %24, label %25, label %110
25: ; preds = %22
store i32 20, i32* %8
br label %26
26: ; preds = %33, %25
%27 = load i32, i32* %8
%28 = icmp slt i32 %27, 40
br i1 %28, label %29, label %36
29: ; preds = %26
%30 = load i32, i32* %8
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 %31
store i32 0, i32* %32
br label %33
33: ; preds = %29
%34 = load i32, i32* %8
%35 = add nsw i32 %34, 1
store i32 %35, i32* %8
br label %26
36: ; preds = %26
store i32 0, i32* %8
br label %37
37: ; preds = %55, %36
%38 = load i32, i32* %8
%39 = icmp slt i32 %38, 20
br i1 %39, label %40, label %58
40: ; preds = %37
%41 = load i32*, i32** %6
%42 = load i32, i32* %8
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %41, i64 %43
%45 = load i32, i32* %44
%46 = load i32*, i32** %5
%47 = load i32, i32* %7
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %46, i64 %48
%50 = load i32, i32* %49
%51 = call i32 @gmult(i32 %45, i32 %50)
%52 = load i32, i32* %8
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 %53
store i32 %51, i32* %54
br label %55
55: ; preds = %40
%56 = load i32, i32* %8
%57 = add nsw i32 %56, 1
store i32 %57, i32* %8
br label %37
58: ; preds = %37
store i32 39, i32* %8
br label %59
59: ; preds = %73, %58
%60 = load i32, i32* %8
%61 = load i32, i32* %7
%62 = icmp sge i32 %60, %61
br i1 %62, label %63, label %76
63: ; preds = %59
%64 = load i32, i32* %8
%65 = load i32, i32* %7
%66 = sub nsw i32 %64, %65
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 %67
%69 = load i32, i32* %68
%70 = load i32, i32* %8
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 %71
store i32 %69, i32* %72
br label %73
73: ; preds = %63
%74 = load i32, i32* %8
%75 = add nsw i32 %74, -1
store i32 %75, i32* %8
br label %59
76: ; preds = %59
store i32 0, i32* %8
br label %77
77: ; preds = %85, %76
%78 = load i32, i32* %8
%79 = load i32, i32* %7
%80 = icmp slt i32 %78, %79
br i1 %80, label %81, label %88
81: ; preds = %77
%82 = load i32, i32* %8
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 %83
store i32 0, i32* %84
br label %85
85: ; preds = %81
%86 = load i32, i32* %8
%87 = add nsw i32 %86, 1
store i32 %87, i32* %8
br label %77
88: ; preds = %77
store i32 0, i32* %8
br label %89
89: ; preds = %103, %88
%90 = load i32, i32* %8
%91 = icmp slt i32 %90, 40
br i1 %91, label %92, label %106
92: ; preds = %89
%93 = load i32, i32* %8
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 %94
%96 = load i32, i32* %95
%97 = load i32*, i32** %4
%98 = load i32, i32* %8
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i32, i32* %97, i64 %99
%101 = load i32, i32* %100
%102 = xor i32 %101, %96
store i32 %102, i32* %100
br label %103
103: ; preds = %92
%104 = load i32, i32* %8
%105 = add nsw i32 %104, 1
store i32 %105, i32* %8
br label %89
106: ; preds = %89
br label %107
107: ; preds = %106
%108 = load i32, i32* %7
%109 = add nsw i32 %108, 1
store i32 %109, i32* %7
br label %22
110: ; preds = %22
ret void
}

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