void merge(int A1[], int l1, int A2[], int l2, int A[]) {
  int i = 0, j = 0, count = 0;
  while (count < l1 + l2) {
    if (A1[i] < A2[j])
      A[count++] = A1[i++];
    if (A2[j] < A1[i])
      A[count++] = A2[j++];
    if (A1[i] == A2[j]) {
      A[count++] = A1[i++];
      j++;
    }
    if (i == l1) {
      while (j != l2)
        A[count++] = A2[j++];
    }
    if (j == l2) {
      while (i != l1)
        A[count++] = A1[i++];
    }
  }
}


x86 assembly (clang, -O0):
<merge>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
cmp    %ecx,%eax
jge    12be <merge+0x1be>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1182 <merge+0x82>
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x2c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%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    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11c8 <merge+0xc8>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%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    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1217 <merge+0x117>
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x2c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%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    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    1268 <merge+0x168>
jmp    1228 <merge+0x128>
mov    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1263 <merge+0x163>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1228 <merge+0x128>
jmp    1268 <merge+0x168>
mov    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    12b9 <merge+0x1b9>
jmp    1279 <merge+0x179>
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
je     12b4 <merge+0x1b4>
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x2c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1279 <merge+0x179>
jmp    12b9 <merge+0x1b9>
jmp    112b <merge+0x2b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %ecx,%r15d
add    %esi,%r15d
jle    15a5 <merge+0x4a5>
lea    0x4(%r8),%rax
mov    %rax,-0x40(%rsp)
lea    0x4(%rdi),%rax
mov    %rax,-0x8(%rsp)
lea    0x4(%rdx),%rax
mov    %rax,-0x10(%rsp)
lea    0x30(%rdx),%rax
mov    %rax,-0x28(%rsp)
lea    0x30(%r8),%rax
mov    %rax,-0x48(%rsp)
lea    0xc(%rdx),%rax
mov    %rax,-0x18(%rsp)
lea    0xc(%r8),%rax
mov    %rax,-0x38(%rsp)
lea    0x30(%rdi),%rax
mov    %rax,-0x30(%rsp)
lea    0xc(%rdi),%rax
mov    %rax,-0x20(%rsp)
xor    %r9d,%r9d
xor    %r12d,%r12d
xor    %r10d,%r10d
mov    %r15d,-0x4c(%rsp)
jmp    118c <merge+0x8c>
nopw   0x0(%rax,%rax,1)
mov    %esi,%r10d
cmp    %r15d,%r9d
jge    15a5 <merge+0x4a5>
movslq %r10d,%rax
mov    (%rdi,%rax,4),%ebp
movslq %r12d,%r13
mov    (%rdx,%r13,4),%ebx
cmp    %ebx,%ebp
jl     11b0 <merge+0xb0>
cmp    %ebp,%ebx
jl     11d2 <merge+0xd2>
cmp    %ebx,%ebp
je     11ed <merge+0xed>
cmp    %esi,%r10d
je     1209 <merge+0x109>
jmp    13c1 <merge+0x2c1>
nop
movslq %r10d,%rax
add    $0x1,%r10d
movslq %r9d,%rbx
add    $0x1,%r9d
mov    %ebp,(%r8,%rbx,4)
mov    (%rdx,%r13,4),%ebx
mov    0x4(%rdi,%rax,4),%ebp
add    $0x1,%rax
cmp    %ebp,%ebx
jge    11a1 <merge+0xa1>
lea    0x1(%r13),%r12d
movslq %r9d,%rbp
add    $0x1,%r9d
mov    %ebx,(%r8,%rbp,4)
mov    (%rdi,%rax,4),%ebp
mov    0x4(%rdx,%r13,4),%ebx
cmp    %ebx,%ebp
jne    11a5 <merge+0xa5>
add    $0x1,%r10d
movslq %r9d,%rax
add    $0x1,%r9d
mov    %ebx,(%r8,%rax,4)
add    $0x1,%r12d
cmp    %esi,%r10d
jne    13c1 <merge+0x2c1>
cmp    %ecx,%r12d
je     13c1 <merge+0x2c1>
movslq %r9d,%r9
movslq %r12d,%r13
not    %r12d
add    %ecx,%r12d
cmp    $0x7,%r12d
jb     1330 <merge+0x230>
lea    (%r8,%r9,4),%rax
lea    (%r12,%r13,1),%rbp
mov    -0x10(%rsp),%rbx
lea    (%rbx,%rbp,4),%rbp
cmp    %rbp,%rax
jae    125f <merge+0x15f>
lea    (%r9,%r12,1),%rax
mov    -0x40(%rsp),%rbp
lea    0x0(,%rax,4),%rax
add    %rbp,%rax
lea    (%rdx,%r13,4),%rbp
cmp    %rax,%rbp
jb     1330 <merge+0x230>
add    $0x1,%r12
mov    %r12,%rbx
movabs $0x1fffffff8,%rax
and    %rax,%rbx
lea    -0x8(%rbx),%rax
mov    %rax,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rax,%rax
je     1583 <merge+0x483>
mov    %r11,%rax
movabs $0x3ffffffffffffffe,%rbp
ff ff 3f
and    %rbp,%rax
mov    -0x28(%rsp),%rbp
lea    0x0(,%r13,4),%r14
add    %rbp,%r14
mov    -0x48(%rsp),%rbp
lea    0x0(,%r9,4),%r15
add    %rbp,%r15
xor    %ebp,%ebp
nopl   (%rax)
movups -0x30(%r14,%rbp,4),%xmm0
movups -0x20(%r14,%rbp,4),%xmm1
movups %xmm0,-0x30(%r15,%rbp,4)
movups %xmm1,-0x20(%r15,%rbp,4)
movups -0x10(%r14,%rbp,4),%xmm0
movups (%r14,%rbp,4),%xmm1
movups %xmm0,-0x10(%r15,%rbp,4)
movups %xmm1,(%r15,%rbp,4)
add    $0x10,%rbp
add    $0xfffffffffffffffe,%rax
jne    12c0 <merge+0x1c0>
test   $0x1,%r11b
je     131b <merge+0x21b>
mov    %rbp,%rax
add    %r13,%rax
add    %r9,%rbp
movups (%rdx,%rax,4),%xmm0
movups 0x10(%rdx,%rax,4),%xmm1
movups %xmm0,(%r8,%rbp,4)
movups %xmm1,0x10(%r8,%rbp,4)
add    %rbx,%r9
cmp    %rbx,%r12
mov    -0x4c(%rsp),%r15d
je     13be <merge+0x2be>
add    %rbx,%r13
nop
mov    %ecx,%ebx
sub    %r13d,%ebx
mov    %r13d,%eax
not    %eax
add    %ecx,%eax
and    $0x3,%ebx
je     1365 <merge+0x265>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rdx,%r13,4),%ebp
add    $0x1,%r13
mov    %ebp,(%r8,%r9,4)
add    $0x1,%r9
add    $0xffffffff,%ebx
jne    1350 <merge+0x250>
cmp    $0x3,%eax
jb     13be <merge+0x2be>
mov    %ecx,%r11d
sub    %r13d,%r11d
mov    -0x18(%rsp),%rax
lea    (%rax,%r13,4),%r14
mov    -0x38(%rsp),%rax
lea    (%rax,%r9,4),%rax
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    -0xc(%r14,%rbx,4),%ebp
mov    %ebp,-0xc(%rax,%rbx,4)
mov    -0x8(%r14,%rbx,4),%ebp
mov    %ebp,-0x8(%rax,%rbx,4)
mov    -0x4(%r14,%rbx,4),%ebp
mov    %ebp,-0x4(%rax,%rbx,4)
mov    (%r14,%rbx,4),%ebp
mov    %ebp,(%rax,%rbx,4)
add    $0x4,%rbx
cmp    %ebx,%r11d
jne    1390 <merge+0x290>
add    %rbx,%r9
mov    %ecx,%r12d
cmp    %ecx,%r12d
jne    1183 <merge+0x83>
cmp    %esi,%r10d
je     1183 <merge+0x83>
movslq %r9d,%r9
movslq %r10d,%rbx
not    %r10d
add    %esi,%r10d
cmp    $0x7,%r10d
jb     14f0 <merge+0x3f0>
lea    (%r8,%r9,4),%r11
lea    (%rbx,%r10,1),%rbp
mov    -0x8(%rsp),%rax
lea    (%rax,%rbp,4),%rbp
cmp    %rbp,%r11
jae    1420 <merge+0x320>
lea    (%r9,%r10,1),%rax
mov    -0x40(%rsp),%rbp
lea    0x0(,%rax,4),%rax
add    %rbp,%rax
lea    (%rdi,%rbx,4),%rbp
cmp    %rax,%rbp
jb     14f0 <merge+0x3f0>
add    $0x1,%r10
mov    %r10,%r13
movabs $0x1fffffff8,%rax
and    %rax,%r13
lea    -0x8(%r13),%rax
mov    %rax,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rax,%rax
je     1594 <merge+0x494>
mov    %r11,%rax
movabs $0x3ffffffffffffffe,%rbp
ff ff 3f
and    %rbp,%rax
mov    -0x30(%rsp),%rbp
lea    0x0(,%rbx,4),%r14
add    %rbp,%r14
mov    -0x48(%rsp),%rbp
lea    0x0(,%r9,4),%r15
add    %rbp,%r15
xor    %ebp,%ebp
xchg   %ax,%ax
movups -0x30(%r14,%rbp,4),%xmm0
movups -0x20(%r14,%rbp,4),%xmm1
movups %xmm0,-0x30(%r15,%rbp,4)
movups %xmm1,-0x20(%r15,%rbp,4)
movups -0x10(%r14,%rbp,4),%xmm0
movups (%r14,%rbp,4),%xmm1
movups %xmm0,-0x10(%r15,%rbp,4)
movups %xmm1,(%r15,%rbp,4)
add    $0x10,%rbp
add    $0xfffffffffffffffe,%rax
jne    1480 <merge+0x380>
test   $0x1,%r11b
je     14d9 <merge+0x3d9>
lea    (%rbx,%rbp,1),%rax
add    %r9,%rbp
movups (%rdi,%rax,4),%xmm0
movups 0x10(%rdi,%rax,4),%xmm1
movups %xmm0,(%r8,%rbp,4)
movups %xmm1,0x10(%r8,%rbp,4)
add    %r13,%r9
cmp    %r13,%r10
mov    -0x4c(%rsp),%r15d
je     1180 <merge+0x80>
add    %r13,%rbx
nopl   (%rax)
mov    %esi,%ebp
sub    %ebx,%ebp
mov    %ebx,%r10d
not    %r10d
add    %esi,%r10d
and    $0x3,%ebp
je     1524 <merge+0x424>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%rdi,%rbx,4),%eax
add    $0x1,%rbx
mov    %eax,(%r8,%r9,4)
add    $0x1,%r9
add    $0xffffffff,%ebp
jne    1510 <merge+0x410>
cmp    $0x3,%r10d
jb     1180 <merge+0x80>
mov    %esi,%r10d
sub    %ebx,%r10d
mov    -0x20(%rsp),%rax
lea    (%rax,%rbx,4),%r11
mov    -0x38(%rsp),%rax
lea    (%rax,%r9,4),%rax
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
mov    -0xc(%r11,%rbx,4),%ebp
mov    %ebp,-0xc(%rax,%rbx,4)
mov    -0x8(%r11,%rbx,4),%ebp
mov    %ebp,-0x8(%rax,%rbx,4)
mov    -0x4(%r11,%rbx,4),%ebp
mov    %ebp,-0x4(%rax,%rbx,4)
mov    (%r11,%rbx,4),%ebp
mov    %ebp,(%rax,%rbx,4)
add    $0x4,%rbx
cmp    %ebx,%r10d
jne    1550 <merge+0x450>
add    %rbx,%r9
jmp    1180 <merge+0x80>
xor    %ebp,%ebp
test   $0x1,%r11b
jne    12fe <merge+0x1fe>
jmp    131b <merge+0x21b>
xor    %ebp,%ebp
test   $0x1,%r11b
jne    14be <merge+0x3be>
jmp    14d9 <merge+0x3d9>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @merge(i32* %0, i32 %1, i32* %2, i32 %3, i32* %4) {
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32*
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32* %0, i32** %6
store i32 %1, i32* %7
store i32* %2, i32** %8
store i32 %3, i32* %9
store i32* %4, i32** %10
store i32 0, i32* %11
store i32 0, i32* %12
store i32 0, i32* %13
br label %14
14: ; preds = %138, %5
%15 = load i32, i32* %13
%16 = load i32, i32* %7
%17 = load i32, i32* %9
%18 = add nsw i32 %16, %17
%19 = icmp slt i32 %15, %18
br i1 %19, label %20, label %139
20: ; preds = %14
%21 = load i32*, i32** %6
%22 = load i32, i32* %11
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i32, i32* %21, i64 %23
%25 = load i32, i32* %24
%26 = load i32*, i32** %8
%27 = load i32, i32* %12
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i32, i32* %26, i64 %28
%30 = load i32, i32* %29
%31 = icmp slt i32 %25, %30
br i1 %31, label %32, label %44
32: ; preds = %20
%33 = load i32*, i32** %6
%34 = load i32, i32* %11
%35 = add nsw i32 %34, 1
store i32 %35, i32* %11
%36 = sext i32 %34 to i64
%37 = getelementptr inbounds i32, i32* %33, i64 %36
%38 = load i32, i32* %37
%39 = load i32*, i32** %10
%40 = load i32, i32* %13
%41 = add nsw i32 %40, 1
store i32 %41, i32* %13
%42 = sext i32 %40 to i64
%43 = getelementptr inbounds i32, i32* %39, i64 %42
store i32 %38, i32* %43
br label %44
44: ; preds = %32, %20
%45 = load i32*, i32** %8
%46 = load i32, i32* %12
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i32, i32* %45, i64 %47
%49 = load i32, i32* %48
%50 = load i32*, i32** %6
%51 = load i32, i32* %11
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i32, i32* %50, i64 %52
%54 = load i32, i32* %53
%55 = icmp slt i32 %49, %54
br i1 %55, label %56, label %68
56: ; preds = %44
%57 = load i32*, i32** %8
%58 = load i32, i32* %12
%59 = add nsw i32 %58, 1
store i32 %59, i32* %12
%60 = sext i32 %58 to i64
%61 = getelementptr inbounds i32, i32* %57, i64 %60
%62 = load i32, i32* %61
%63 = load i32*, i32** %10
%64 = load i32, i32* %13
%65 = add nsw i32 %64, 1
store i32 %65, i32* %13
%66 = sext i32 %64 to i64
%67 = getelementptr inbounds i32, i32* %63, i64 %66
store i32 %62, i32* %67
br label %68
68: ; preds = %56, %44
%69 = load i32*, i32** %6
%70 = load i32, i32* %11
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i32, i32* %69, i64 %71
%73 = load i32, i32* %72
%74 = load i32*, i32** %8
%75 = load i32, i32* %12
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i32, i32* %74, i64 %76
%78 = load i32, i32* %77
%79 = icmp eq i32 %73, %78
br i1 %79, label %80, label %94
80: ; preds = %68
%81 = load i32*, i32** %6
%82 = load i32, i32* %11
%83 = add nsw i32 %82, 1
store i32 %83, i32* %11
%84 = sext i32 %82 to i64
%85 = getelementptr inbounds i32, i32* %81, i64 %84
%86 = load i32, i32* %85
%87 = load i32*, i32** %10
%88 = load i32, i32* %13
%89 = add nsw i32 %88, 1
store i32 %89, i32* %13
%90 = sext i32 %88 to i64
%91 = getelementptr inbounds i32, i32* %87, i64 %90
store i32 %86, i32* %91
%92 = load i32, i32* %12
%93 = add nsw i32 %92, 1
store i32 %93, i32* %12
br label %94
94: ; preds = %80, %68
%95 = load i32, i32* %11
%96 = load i32, i32* %7
%97 = icmp eq i32 %95, %96
br i1 %97, label %98, label %116
98: ; preds = %94
br label %99
99: ; preds = %103, %98
%100 = load i32, i32* %12
%101 = load i32, i32* %9
%102 = icmp ne i32 %100, %101
br i1 %102, label %103, label %115
103: ; preds = %99
%104 = load i32*, i32** %8
%105 = load i32, i32* %12
%106 = add nsw i32 %105, 1
store i32 %106, i32* %12
%107 = sext i32 %105 to i64
%108 = getelementptr inbounds i32, i32* %104, i64 %107
%109 = load i32, i32* %108
%110 = load i32*, i32** %10
%111 = load i32, i32* %13
%112 = add nsw i32 %111, 1
store i32 %112, i32* %13
%113 = sext i32 %111 to i64
%114 = getelementptr inbounds i32, i32* %110, i64 %113
store i32 %109, i32* %114
br label %99
115: ; preds = %99
br label %116
116: ; preds = %115, %94
%117 = load i32, i32* %12
%118 = load i32, i32* %9
%119 = icmp eq i32 %117, %118
br i1 %119, label %120, label %138
120: ; preds = %116
br label %121
121: ; preds = %125, %120
%122 = load i32, i32* %11
%123 = load i32, i32* %7
%124 = icmp ne i32 %122, %123
br i1 %124, label %125, label %137
125: ; preds = %121
%126 = load i32*, i32** %6
%127 = load i32, i32* %11
%128 = add nsw i32 %127, 1
store i32 %128, i32* %11
%129 = sext i32 %127 to i64
%130 = getelementptr inbounds i32, i32* %126, i64 %129
%131 = load i32, i32* %130
%132 = load i32*, i32** %10
%133 = load i32, i32* %13
%134 = add nsw i32 %133, 1
store i32 %134, i32* %13
%135 = sext i32 %133 to i64
%136 = getelementptr inbounds i32, i32* %132, i64 %135
store i32 %131, i32* %136
br label %121
137: ; preds = %121
br label %138
138: ; preds = %137, %116
br label %14
139: ; preds = %14
ret void
}

LLVM IR (-O2):
define void @merge(i32* nocapture %0, i32 %1, i32* nocapture %2, i32 %3, i32* nocapture writeonly %4) {
%6 = add nsw i32 %3, %1
%7 = icmp sgt i32 %6, 0
br i1 %7, label %8, label %347
8: ; preds = %5
%9 = getelementptr i32, i32* %4, i64 1
%10 = getelementptr i32, i32* %0, i64 1
%11 = getelementptr i32, i32* %4, i64 1
%12 = getelementptr i32, i32* %2, i64 1
br label %13
13: ; preds = %8, %343
%14 = phi i32 [ %345, %343 ], [ 0, %8 ]
%15 = phi i32 [ %204, %343 ], [ 0, %8 ]
%16 = phi i32 [ %344, %343 ], [ 0, %8 ]
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %0, i64 %17
%19 = load i32, i32* %18
%20 = sext i32 %15 to i64
%21 = getelementptr inbounds i32, i32* %2, i64 %20
%22 = load i32, i32* %21
%23 = icmp slt i32 %19, %22
br i1 %23, label %24, label %33
24: ; preds = %13
%25 = add nsw i32 %16, 1
%26 = add nsw i32 %14, 1
%27 = sext i32 %14 to i64
%28 = getelementptr inbounds i32, i32* %4, i64 %27
store i32 %19, i32* %28
%29 = load i32, i32* %21
%30 = sext i32 %25 to i64
%31 = getelementptr inbounds i32, i32* %0, i64 %30
%32 = load i32, i32* %31
br label %33
33: ; preds = %24, %13
%34 = phi i32 [ %32, %24 ], [ %19, %13 ]
%35 = phi i64 [ %30, %24 ], [ %17, %13 ]
%36 = phi i32 [ %29, %24 ], [ %22, %13 ]
%37 = phi i32 [ %25, %24 ], [ %16, %13 ]
%38 = phi i32 [ %26, %24 ], [ %14, %13 ]
%39 = icmp slt i32 %36, %34
br i1 %39, label %40, label %50
40: ; preds = %33
%41 = getelementptr inbounds i32, i32* %0, i64 %35
%42 = add nsw i32 %15, 1
%43 = add nsw i32 %38, 1
%44 = sext i32 %38 to i64
%45 = getelementptr inbounds i32, i32* %4, i64 %44
store i32 %36, i32* %45
%46 = load i32, i32* %41
%47 = sext i32 %42 to i64
%48 = getelementptr inbounds i32, i32* %2, i64 %47
%49 = load i32, i32* %48
br label %50
50: ; preds = %40, %33
%51 = phi i32 [ %49, %40 ], [ %36, %33 ]
%52 = phi i32 [ %46, %40 ], [ %34, %33 ]
%53 = phi i32 [ %42, %40 ], [ %15, %33 ]
%54 = phi i32 [ %43, %40 ], [ %38, %33 ]
%55 = icmp eq i32 %52, %51
br i1 %55, label %56, label %62
56: ; preds = %50
%57 = add nsw i32 %37, 1
%58 = add nsw i32 %54, 1
%59 = sext i32 %54 to i64
%60 = getelementptr inbounds i32, i32* %4, i64 %59
store i32 %51, i32* %60
%61 = add nsw i32 %53, 1
br label %62
62: ; preds = %56, %50
%63 = phi i32 [ %57, %56 ], [ %37, %50 ]
%64 = phi i32 [ %61, %56 ], [ %53, %50 ]
%65 = phi i32 [ %58, %56 ], [ %54, %50 ]
%66 = icmp ne i32 %63, %1
%67 = icmp eq i32 %64, %3
%68 = select i1 %66, i1 true, i1 %67
br i1 %68, label %203, label %69
69: ; preds = %62
%70 = sext i32 %65 to i64
%71 = sext i32 %64 to i64
%72 = xor i32 %64, -1
%73 = add i32 %72, %3
%74 = zext i32 %73 to i64
%75 = add nuw nsw i64 %74, 1
%76 = icmp ult i32 %73, 7
br i1 %76, label %150, label %77
77: ; preds = %69
%78 = getelementptr i32, i32* %4, i64 %70
%79 = xor i32 %64, -1
%80 = add i32 %79, %3
%81 = zext i32 %80 to i64
%82 = add nsw i64 %70, %81
%83 = getelementptr i32, i32* %11, i64 %82
%84 = getelementptr i32, i32* %2, i64 %71
%85 = add nsw i64 %71, %81
%86 = getelementptr i32, i32* %12, i64 %85
%87 = icmp ult i32* %78, %86
%88 = icmp ult i32* %84, %83
%89 = and i1 %87, %88
br i1 %89, label %150, label %90
90: ; preds = %77
%91 = and i64 %75, 8589934584
%92 = add nsw i64 %91, %71
%93 = add nsw i64 %91, %70
%94 = add nsw i64 %91, -8
%95 = lshr exact i64 %94, 3
%96 = add nuw nsw i64 %95, 1
%97 = and i64 %96, 1
%98 = icmp eq i64 %94, 0
br i1 %98, label %132, label %99
99: ; preds = %90
%100 = and i64 %96, 4611686018427387902
br label %101
101: ; preds = %101, %99
%102 = phi i64 [ 0, %99 ], [ %129, %101 ]
%103 = phi i64 [ 0, %99 ], [ %130, %101 ]
%104 = add i64 %102, %71
%105 = add i64 %102, %70
%106 = getelementptr inbounds i32, i32* %2, i64 %104
%107 = bitcast i32* %106 to <4 x i32>*
%108 = load <4 x i32>, <4 x i32>* %107
%109 = getelementptr inbounds i32, i32* %106, i64 4
%110 = bitcast i32* %109 to <4 x i32>*
%111 = load <4 x i32>, <4 x i32>* %110
%112 = getelementptr inbounds i32, i32* %4, i64 %105
%113 = bitcast i32* %112 to <4 x i32>*
store <4 x i32> %108, <4 x i32>* %113
%114 = getelementptr inbounds i32, i32* %112, i64 4
%115 = bitcast i32* %114 to <4 x i32>*
store <4 x i32> %111, <4 x i32>* %115
%116 = or i64 %102, 8
%117 = add i64 %116, %71
%118 = add i64 %116, %70
%119 = getelementptr inbounds i32, i32* %2, i64 %117
%120 = bitcast i32* %119 to <4 x i32>*
%121 = load <4 x i32>, <4 x i32>* %120
%122 = getelementptr inbounds i32, i32* %119, i64 4
%123 = bitcast i32* %122 to <4 x i32>*
%124 = load <4 x i32>, <4 x i32>* %123
%125 = getelementptr inbounds i32, i32* %4, i64 %118
%126 = bitcast i32* %125 to <4 x i32>*
store <4 x i32> %121, <4 x i32>* %126
%127 = getelementptr inbounds i32, i32* %125, i64 4
%128 = bitcast i32* %127 to <4 x i32>*
store <4 x i32> %124, <4 x i32>* %128
%129 = add nuw i64 %102, 16
%130 = add i64 %103, 2
%131 = icmp eq i64 %130, %100
br i1 %131, label %132, label %101
132: ; preds = %101, %90
%133 = phi i64 [ 0, %90 ], [ %129, %101 ]
%134 = icmp eq i64 %97, 0
br i1 %134, label %148, label %135
135: ; preds = %132
%136 = add i64 %133, %71
%137 = add i64 %133, %70
%138 = getelementptr inbounds i32, i32* %2, i64 %136
%139 = bitcast i32* %138 to <4 x i32>*
%140 = load <4 x i32>, <4 x i32>* %139
%141 = getelementptr inbounds i32, i32* %138, i64 4
%142 = bitcast i32* %141 to <4 x i32>*
%143 = load <4 x i32>, <4 x i32>* %142
%144 = getelementptr inbounds i32, i32* %4, i64 %137
%145 = bitcast i32* %144 to <4 x i32>*
store <4 x i32> %140, <4 x i32>* %145
%146 = getelementptr inbounds i32, i32* %144, i64 4
%147 = bitcast i32* %146 to <4 x i32>*
store <4 x i32> %143, <4 x i32>* %147
br label %148
148: ; preds = %132, %135
%149 = icmp eq i64 %75, %91
br i1 %149, label %200, label %150
150: ; preds = %77, %69, %148
%151 = phi i64 [ %71, %77 ], [ %71, %69 ], [ %92, %148 ]
%152 = phi i64 [ %70, %77 ], [ %70, %69 ], [ %93, %148 ]
%153 = trunc i64 %151 to i32
%154 = sub i32 %3, %153
%155 = xor i32 %153, -1
%156 = add i32 %155, %3
%157 = and i32 %154, 3
%158 = icmp eq i32 %157, 0
br i1 %158, label %170, label %159
159: ; preds = %150, %159
%160 = phi i64 [ %163, %159 ], [ %151, %150 ]
%161 = phi i64 [ %166, %159 ], [ %152, %150 ]
%162 = phi i32 [ %168, %159 ], [ 0, %150 ]
%163 = add nsw i64 %160, 1
%164 = getelementptr inbounds i32, i32* %2, i64 %160
%165 = load i32, i32* %164
%166 = add nsw i64 %161, 1
%167 = getelementptr inbounds i32, i32* %4, i64 %161
store i32 %165, i32* %167
%168 = add i32 %162, 1
%169 = icmp eq i32 %168, %157
br i1 %169, label %170, label %159
170: ; preds = %159, %150
%171 = phi i64 [ undef, %150 ], [ %166, %159 ]
%172 = phi i64 [ %151, %150 ], [ %163, %159 ]
%173 = phi i64 [ %152, %150 ], [ %166, %159 ]
%174 = icmp ult i32 %156, 3
br i1 %174, label %200, label %175
175: ; preds = %170, %175
%176 = phi i64 [ %193, %175 ], [ %172, %170 ]
%177 = phi i64 [ %196, %175 ], [ %173, %170 ]
%178 = add nsw i64 %176, 1
%179 = getelementptr inbounds i32, i32* %2, i64 %176
%180 = load i32, i32* %179
%181 = add nsw i64 %177, 1
%182 = getelementptr inbounds i32, i32* %4, i64 %177
store i32 %180, i32* %182
%183 = add nsw i64 %176, 2
%184 = getelementptr inbounds i32, i32* %2, i64 %178
%185 = load i32, i32* %184
%186 = add nsw i64 %177, 2
%187 = getelementptr inbounds i32, i32* %4, i64 %181
store i32 %185, i32* %187
%188 = add nsw i64 %176, 3
%189 = getelementptr inbounds i32, i32* %2, i64 %183
%190 = load i32, i32* %189
%191 = add nsw i64 %177, 3
%192 = getelementptr inbounds i32, i32* %4, i64 %186
store i32 %190, i32* %192
%193 = add nsw i64 %176, 4
%194 = getelementptr inbounds i32, i32* %2, i64 %188
%195 = load i32, i32* %194
%196 = add nsw i64 %177, 4
%197 = getelementptr inbounds i32, i32* %4, i64 %191
store i32 %195, i32* %197
%198 = trunc i64 %193 to i32
%199 = icmp eq i32 %198, %3
br i1 %199, label %200, label %175
200: ; preds = %170, %175, %148
%201 = phi i64 [ %93, %148 ], [ %171, %170 ], [ %196, %175 ]
%202 = trunc i64 %201 to i32
br label %203
203: ; preds = %200, %62
%204 = phi i32 [ %64, %62 ], [ %3, %200 ]
%205 = phi i32 [ %65, %62 ], [ %202, %200 ]
%206 = icmp ne i32 %204, %3
%207 = icmp eq i32 %63, %1
%208 = select i1 %206, i1 true, i1 %207
br i1 %208, label %343, label %209
209: ; preds = %203
%210 = sext i32 %205 to i64
%211 = sext i32 %63 to i64
%212 = xor i32 %63, -1
%213 = add i32 %212, %1
%214 = zext i32 %213 to i64
%215 = add nuw nsw i64 %214, 1
%216 = icmp ult i32 %213, 7
br i1 %216, label %290, label %217
217: ; preds = %209
%218 = getelementptr i32, i32* %4, i64 %210
%219 = xor i32 %63, -1
%220 = add i32 %219, %1
%221 = zext i32 %220 to i64
%222 = add nsw i64 %210, %221
%223 = getelementptr i32, i32* %9, i64 %222
%224 = getelementptr i32, i32* %0, i64 %211
%225 = add nsw i64 %211, %221
%226 = getelementptr i32, i32* %10, i64 %225
%227 = icmp ult i32* %218, %226
%228 = icmp ult i32* %224, %223
%229 = and i1 %227, %228
br i1 %229, label %290, label %230
230: ; preds = %217
%231 = and i64 %215, 8589934584
%232 = add nsw i64 %231, %211
%233 = add nsw i64 %231, %210
%234 = add nsw i64 %231, -8
%235 = lshr exact i64 %234, 3
%236 = add nuw nsw i64 %235, 1
%237 = and i64 %236, 1
%238 = icmp eq i64 %234, 0
br i1 %238, label %272, label %239
239: ; preds = %230
%240 = and i64 %236, 4611686018427387902
br label %241
241: ; preds = %241, %239
%242 = phi i64 [ 0, %239 ], [ %269, %241 ]
%243 = phi i64 [ 0, %239 ], [ %270, %241 ]
%244 = add i64 %242, %211
%245 = add i64 %242, %210
%246 = getelementptr inbounds i32, i32* %0, i64 %244
%247 = bitcast i32* %246 to <4 x i32>*
%248 = load <4 x i32>, <4 x i32>* %247
%249 = getelementptr inbounds i32, i32* %246, i64 4
%250 = bitcast i32* %249 to <4 x i32>*
%251 = load <4 x i32>, <4 x i32>* %250
%252 = getelementptr inbounds i32, i32* %4, i64 %245
%253 = bitcast i32* %252 to <4 x i32>*
store <4 x i32> %248, <4 x i32>* %253
%254 = getelementptr inbounds i32, i32* %252, i64 4
%255 = bitcast i32* %254 to <4 x i32>*
store <4 x i32> %251, <4 x i32>* %255
%256 = or i64 %242, 8
%257 = add i64 %256, %211
%258 = add i64 %256, %210
%259 = getelementptr inbounds i32, i32* %0, i64 %257
%260 = bitcast i32* %259 to <4 x i32>*
%261 = load <4 x i32>, <4 x i32>* %260
%262 = getelementptr inbounds i32, i32* %259, i64 4
%263 = bitcast i32* %262 to <4 x i32>*
%264 = load <4 x i32>, <4 x i32>* %263
%265 = getelementptr inbounds i32, i32* %4, i64 %258
%266 = bitcast i32* %265 to <4 x i32>*
store <4 x i32> %261, <4 x i32>* %266
%267 = getelementptr inbounds i32, i32* %265, i64 4
%268 = bitcast i32* %267 to <4 x i32>*
store <4 x i32> %264, <4 x i32>* %268
%269 = add nuw i64 %242, 16
%270 = add i64 %243, 2
%271 = icmp eq i64 %270, %240
br i1 %271, label %272, label %241
272: ; preds = %241, %230
%273 = phi i64 [ 0, %230 ], [ %269, %241 ]
%274 = icmp eq i64 %237, 0
br i1 %274, label %288, label %275
275: ; preds = %272
%276 = add i64 %273, %211
%277 = add i64 %273, %210
%278 = getelementptr inbounds i32, i32* %0, i64 %276
%279 = bitcast i32* %278 to <4 x i32>*
%280 = load <4 x i32>, <4 x i32>* %279
%281 = getelementptr inbounds i32, i32* %278, i64 4
%282 = bitcast i32* %281 to <4 x i32>*
%283 = load <4 x i32>, <4 x i32>* %282
%284 = getelementptr inbounds i32, i32* %4, i64 %277
%285 = bitcast i32* %284 to <4 x i32>*
store <4 x i32> %280, <4 x i32>* %285
%286 = getelementptr inbounds i32, i32* %284, i64 4
%287 = bitcast i32* %286 to <4 x i32>*
store <4 x i32> %283, <4 x i32>* %287
br label %288
288: ; preds = %272, %275
%289 = icmp eq i64 %215, %231
br i1 %289, label %340, label %290
290: ; preds = %217, %209, %288
%291 = phi i64 [ %211, %217 ], [ %211, %209 ], [ %232, %288 ]
%292 = phi i64 [ %210, %217 ], [ %210, %209 ], [ %233, %288 ]
%293 = trunc i64 %291 to i32
%294 = sub i32 %1, %293
%295 = xor i32 %293, -1
%296 = add i32 %295, %1
%297 = and i32 %294, 3
%298 = icmp eq i32 %297, 0
br i1 %298, label %310, label %299
299: ; preds = %290, %299
%300 = phi i64 [ %303, %299 ], [ %291, %290 ]
%301 = phi i64 [ %306, %299 ], [ %292, %290 ]
%302 = phi i32 [ %308, %299 ], [ 0, %290 ]
%303 = add nsw i64 %300, 1
%304 = getelementptr inbounds i32, i32* %0, i64 %300
%305 = load i32, i32* %304
%306 = add nsw i64 %301, 1
%307 = getelementptr inbounds i32, i32* %4, i64 %301
store i32 %305, i32* %307
%308 = add i32 %302, 1
%309 = icmp eq i32 %308, %297
br i1 %309, label %310, label %299
310: ; preds = %299, %290
%311 = phi i64 [ undef, %290 ], [ %306, %299 ]
%312 = phi i64 [ %291, %290 ], [ %303, %299 ]
%313 = phi i64 [ %292, %290 ], [ %306, %299 ]
%314 = icmp ult i32 %296, 3
br i1 %314, label %340, label %315
315: ; preds = %310, %315
%316 = phi i64 [ %333, %315 ], [ %312, %310 ]
%317 = phi i64 [ %336, %315 ], [ %313, %310 ]
%318 = add nsw i64 %316, 1
%319 = getelementptr inbounds i32, i32* %0, i64 %316
%320 = load i32, i32* %319
%321 = add nsw i64 %317, 1
%322 = getelementptr inbounds i32, i32* %4, i64 %317
store i32 %320, i32* %322
%323 = add nsw i64 %316, 2
%324 = getelementptr inbounds i32, i32* %0, i64 %318
%325 = load i32, i32* %324
%326 = add nsw i64 %317, 2
%327 = getelementptr inbounds i32, i32* %4, i64 %321
store i32 %325, i32* %327
%328 = add nsw i64 %316, 3
%329 = getelementptr inbounds i32, i32* %0, i64 %323
%330 = load i32, i32* %329
%331 = add nsw i64 %317, 3
%332 = getelementptr inbounds i32, i32* %4, i64 %326
store i32 %330, i32* %332
%333 = add nsw i64 %316, 4
%334 = getelementptr inbounds i32, i32* %0, i64 %328
%335 = load i32, i32* %334
%336 = add nsw i64 %317, 4
%337 = getelementptr inbounds i32, i32* %4, i64 %331
store i32 %335, i32* %337
%338 = trunc i64 %333 to i32
%339 = icmp eq i32 %338, %1
br i1 %339, label %340, label %315
340: ; preds = %310, %315, %288
%341 = phi i64 [ %233, %288 ], [ %311, %310 ], [ %336, %315 ]
%342 = trunc i64 %341 to i32
br label %343
343: ; preds = %340, %203
%344 = phi i32 [ %63, %203 ], [ %1, %340 ]
%345 = phi i32 [ %205, %203 ], [ %342, %340 ]
%346 = icmp slt i32 %345, %6
br i1 %346, label %13, label %347
347: ; preds = %343, %5
ret void
}