void merge(int a[], int m, int b[], int n, int sorted[]) {
  int i, j, k;
  j = k = 0;
  for (i = 0; i < m + n;) {
    if (j < m && k < n) {
      if (a[j] < b[k]) {
        sorted[i] = a[j];
        j++;
      } else {
        sorted[i] = b[k];
        k++;
      }
      i++;
    } else if (j == m) {
      for (; i < m + n;) {
        sorted[i] = b[k];
        k++;
        i++;
      }
    } else {
      for (; i < m + n;) {
        sorted[i] = a[j];
        j++;
        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,-0x34(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
cmp    %ecx,%eax
jge    1267 <merge+0x167>
mov    -0x30(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11c1 <merge+0xc1>
mov    -0x34(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11c1 <merge+0xc1>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x34(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1194 <merge+0x94>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11b3 <merge+0xb3>
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1262 <merge+0x162>
mov    -0x30(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    1215 <merge+0x115>
jmp    11d2 <merge+0xd2>
mov    -0x2c(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
cmp    %ecx,%eax
jge    1210 <merge+0x110>
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11d2 <merge+0xd2>
jmp    125d <merge+0x15d>
jmp    121a <merge+0x11a>
mov    -0x2c(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
cmp    %ecx,%eax
jge    1258 <merge+0x158>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    121a <merge+0x11a>
jmp    125d <merge+0x15d>
jmp    1262 <merge+0x162>
jmp    112b <merge+0x2b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
lea    (%rcx,%rsi,1),%r9d
test   %r9d,%r9d
jle    1437 <merge+0x337>
xor    %r10d,%r10d
xor    %r11d,%r11d
xor    %r14d,%r14d
jmp    1135 <merge+0x35>
mov    %ebp,(%r8,%rax,4)
add    $0x1,%r10d
add    $0x1,%r14d
cmp    %r9d,%r14d
jge    1437 <merge+0x337>
cmp    %esi,%r11d
jge    1160 <merge+0x60>
cmp    %ecx,%r10d
jge    1160 <merge+0x60>
movslq %r11d,%rax
mov    (%rdi,%rax,4),%ebx
movslq %r10d,%rax
mov    (%rdx,%rax,4),%ebp
movslq %r14d,%rax
cmp    %ebp,%ebx
jge    1120 <merge+0x20>
mov    %ebx,(%r8,%rax,4)
add    $0x1,%r11d
jmp    1128 <merge+0x28>
nopl   0x0(%rax)
cmp    %esi,%r11d
jne    1180 <merge+0x80>
cmp    %r9d,%r14d
jl     1239 <merge+0x139>
mov    %esi,%r11d
jmp    112c <merge+0x2c>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmp    %r9d,%r14d
jge    112c <merge+0x2c>
movslq %r11d,%rdx
movslq %r14d,%rsi
movslq %r9d,%r15
mov    %r15,%r14
sub    %rsi,%r14
cmp    $0x8,%r14
jb     131b <merge+0x21b>
lea    (%r8,%rsi,4),%rax
lea    (%rdx,%r15,1),%rcx
sub    %rsi,%rcx
lea    (%rdi,%rcx,4),%rcx
cmp    %rcx,%rax
jae    11c3 <merge+0xc3>
lea    (%r8,%r15,4),%rax
lea    (%rdi,%rdx,4),%rcx
cmp    %rax,%rcx
jb     131b <merge+0x21b>
mov    %r14,%r10
and    $0xfffffffffffffff8,%r10
lea    -0x8(%r10),%rax
mov    %rax,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rax,%rax
je     12e9 <merge+0x1e9>
mov    %r11,%rax
and    $0xfffffffffffffffe,%rax
lea    (%r8,%rsi,4),%r12
add    $0x30,%r12
lea    (%rdi,%rdx,4),%rcx
add    $0x30,%rcx
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
movups -0x30(%rcx,%rbx,4),%xmm0
movups -0x20(%rcx,%rbx,4),%xmm1
movups %xmm0,-0x30(%r12,%rbx,4)
movups %xmm1,-0x20(%r12,%rbx,4)
movups -0x10(%rcx,%rbx,4),%xmm0
movups (%rcx,%rbx,4),%xmm1
movups %xmm0,-0x10(%r12,%rbx,4)
movups %xmm1,(%r12,%rbx,4)
add    $0x10,%rbx
add    $0xfffffffffffffffe,%rax
jne    1200 <merge+0x100>
jmp    12eb <merge+0x1eb>
movslq %r10d,%rsi
movslq %r14d,%rdi
movslq %r9d,%r15
mov    %r15,%r14
sub    %rdi,%r14
cmp    $0x8,%r14
jb     13ca <merge+0x2ca>
lea    (%r8,%rdi,4),%rax
lea    (%rsi,%r15,1),%rcx
sub    %rdi,%rcx
lea    (%rdx,%rcx,4),%rcx
cmp    %rcx,%rax
jae    1277 <merge+0x177>
lea    (%r8,%r15,4),%rax
lea    (%rdx,%rsi,4),%rcx
cmp    %rax,%rcx
jb     13ca <merge+0x2ca>
mov    %r14,%r10
and    $0xfffffffffffffff8,%r10
lea    -0x8(%r10),%rax
mov    %rax,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rax,%rax
je     139c <merge+0x29c>
mov    %r11,%rax
and    $0xfffffffffffffffe,%rax
lea    (%r8,%rdi,4),%r12
add    $0x30,%r12
lea    (%rdx,%rsi,4),%rcx
add    $0x30,%rcx
xor    %ebx,%ebx
nop
movups -0x30(%rcx,%rbx,4),%xmm0
movups -0x20(%rcx,%rbx,4),%xmm1
movups %xmm0,-0x30(%r12,%rbx,4)
movups %xmm1,-0x20(%r12,%rbx,4)
movups -0x10(%rcx,%rbx,4),%xmm0
movups (%rcx,%rbx,4),%xmm1
movups %xmm0,-0x10(%r12,%rbx,4)
movups %xmm1,(%r12,%rbx,4)
add    $0x10,%rbx
add    $0xfffffffffffffffe,%rax
jne    12b0 <merge+0x1b0>
jmp    139e <merge+0x29e>
xor    %ebx,%ebx
test   $0x1,%r11b
je     130c <merge+0x20c>
lea    (%rbx,%rsi,1),%rax
add    %rdx,%rbx
movups (%rdi,%rbx,4),%xmm0
movups 0x10(%rdi,%rbx,4),%xmm1
movups %xmm0,(%r8,%rax,4)
movups %xmm1,0x10(%r8,%rax,4)
cmp    %r10,%r14
je     1437 <merge+0x337>
add    %r10,%rsi
add    %r10,%rdx
sub    %esi,%r9d
mov    %rsi,%rax
not    %rax
add    %r15,%rax
and    $0x3,%r9
je     1345 <merge+0x245>
nopl   (%rax)
mov    (%rdi,%rdx,4),%ecx
mov    %ecx,(%r8,%rsi,4)
add    $0x1,%rdx
add    $0x1,%rsi
add    $0xffffffffffffffff,%r9
jne    1330 <merge+0x230>
cmp    $0x3,%rax
jb     1437 <merge+0x337>
sub    %rsi,%r15
lea    (%r8,%rsi,4),%rax
add    $0xc,%rax
lea    (%rdi,%rdx,4),%rcx
add    $0xc,%rcx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    -0xc(%rcx,%rdx,4),%esi
mov    %esi,-0xc(%rax,%rdx,4)
mov    -0x8(%rcx,%rdx,4),%esi
mov    %esi,-0x8(%rax,%rdx,4)
mov    -0x4(%rcx,%rdx,4),%esi
mov    %esi,-0x4(%rax,%rdx,4)
mov    (%rcx,%rdx,4),%esi
mov    %esi,(%rax,%rdx,4)
add    $0x4,%rdx
cmp    %rdx,%r15
jne    1370 <merge+0x270>
jmp    1437 <merge+0x337>
xor    %ebx,%ebx
test   $0x1,%r11b
je     13bf <merge+0x2bf>
lea    (%rbx,%rdi,1),%rax
add    %rsi,%rbx
movups (%rdx,%rbx,4),%xmm0
movups 0x10(%rdx,%rbx,4),%xmm1
movups %xmm0,(%r8,%rax,4)
movups %xmm1,0x10(%r8,%rax,4)
cmp    %r10,%r14
je     1437 <merge+0x337>
add    %r10,%rdi
add    %r10,%rsi
sub    %edi,%r9d
mov    %rdi,%rax
not    %rax
add    %r15,%rax
and    $0x3,%r9
je     13f5 <merge+0x2f5>
nopl   0x0(%rax)
mov    (%rdx,%rsi,4),%ecx
mov    %ecx,(%r8,%rdi,4)
add    $0x1,%rsi
add    $0x1,%rdi
add    $0xffffffffffffffff,%r9
jne    13e0 <merge+0x2e0>
cmp    $0x3,%rax
jb     1437 <merge+0x337>
sub    %rdi,%r15
lea    (%r8,%rdi,4),%rax
add    $0xc,%rax
lea    (%rdx,%rsi,4),%rcx
add    $0xc,%rcx
xor    %edx,%edx
mov    -0xc(%rcx,%rdx,4),%esi
mov    %esi,-0xc(%rax,%rdx,4)
mov    -0x8(%rcx,%rdx,4),%esi
mov    %esi,-0x8(%rax,%rdx,4)
mov    -0x4(%rcx,%rdx,4),%esi
mov    %esi,-0x4(%rax,%rdx,4)
mov    (%rcx,%rdx,4),%esi
mov    %esi,(%rax,%rdx,4)
add    $0x4,%rdx
cmp    %rdx,%r15
jne    1410 <merge+0x310>
pop    %rbx
pop    %r12
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* %13
store i32 0, i32* %12
store i32 0, i32* %11
br label %14
14: ; preds = %116, %5
%15 = load i32, i32* %11
%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 %117
20: ; preds = %14
%21 = load i32, i32* %12
%22 = load i32, i32* %7
%23 = icmp slt i32 %21, %22
br i1 %23, label %24, label %67
24: ; preds = %20
%25 = load i32, i32* %13
%26 = load i32, i32* %9
%27 = icmp slt i32 %25, %26
br i1 %27, label %28, label %67
28: ; preds = %24
%29 = load i32*, i32** %6
%30 = load i32, i32* %12
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %29, i64 %31
%33 = load i32, i32* %32
%34 = load i32*, i32** %8
%35 = load i32, i32* %13
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i32, i32* %34, i64 %36
%38 = load i32, i32* %37
%39 = icmp slt i32 %33, %38
br i1 %39, label %40, label %52
40: ; preds = %28
%41 = load i32*, i32** %6
%42 = load i32, i32* %12
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %41, i64 %43
%45 = load i32, i32* %44
%46 = load i32*, i32** %10
%47 = load i32, i32* %11
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %46, i64 %48
store i32 %45, i32* %49
%50 = load i32, i32* %12
%51 = add nsw i32 %50, 1
store i32 %51, i32* %12
br label %64
52: ; preds = %28
%53 = load i32*, i32** %8
%54 = load i32, i32* %13
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i32, i32* %53, i64 %55
%57 = load i32, i32* %56
%58 = load i32*, i32** %10
%59 = load i32, i32* %11
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i32, i32* %58, i64 %60
store i32 %57, i32* %61
%62 = load i32, i32* %13
%63 = add nsw i32 %62, 1
store i32 %63, i32* %13
br label %64
64: ; preds = %52, %40
%65 = load i32, i32* %11
%66 = add nsw i32 %65, 1
store i32 %66, i32* %11
br label %116
67: ; preds = %24, %20
%68 = load i32, i32* %12
%69 = load i32, i32* %7
%70 = icmp eq i32 %68, %69
br i1 %70, label %71, label %93
71: ; preds = %67
br label %72
72: ; preds = %78, %71
%73 = load i32, i32* %11
%74 = load i32, i32* %7
%75 = load i32, i32* %9
%76 = add nsw i32 %74, %75
%77 = icmp slt i32 %73, %76
br i1 %77, label %78, label %92
78: ; preds = %72
%79 = load i32*, i32** %8
%80 = load i32, i32* %13
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i32, i32* %79, i64 %81
%83 = load i32, i32* %82
%84 = load i32*, i32** %10
%85 = load i32, i32* %11
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i32, i32* %84, i64 %86
store i32 %83, i32* %87
%88 = load i32, i32* %13
%89 = add nsw i32 %88, 1
store i32 %89, i32* %13
%90 = load i32, i32* %11
%91 = add nsw i32 %90, 1
store i32 %91, i32* %11
br label %72
92: ; preds = %72
br label %115
93: ; preds = %67
br label %94
94: ; preds = %100, %93
%95 = load i32, i32* %11
%96 = load i32, i32* %7
%97 = load i32, i32* %9
%98 = add nsw i32 %96, %97
%99 = icmp slt i32 %95, %98
br i1 %99, label %100, label %114
100: ; preds = %94
%101 = load i32*, i32** %6
%102 = load i32, i32* %12
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %101, i64 %103
%105 = load i32, i32* %104
%106 = load i32*, i32** %10
%107 = load i32, i32* %11
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i32, i32* %106, i64 %108
store i32 %105, i32* %109
%110 = load i32, i32* %12
%111 = add nsw i32 %110, 1
store i32 %111, i32* %12
%112 = load i32, i32* %11
%113 = add nsw i32 %112, 1
store i32 %113, i32* %11
br label %94
114: ; preds = %94
br label %115
115: ; preds = %114, %92
br label %116
116: ; preds = %115, %64
br label %14
117: ; 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 i32 %3, %1
%7 = icmp sgt i32 %6, 0
br i1 %7, label %8, label %289
8: ; preds = %5, %284
%9 = phi i32 [ %287, %284 ], [ 0, %5 ]
%10 = phi i32 [ %286, %284 ], [ 0, %5 ]
%11 = phi i32 [ %285, %284 ], [ 0, %5 ]
%12 = icmp slt i32 %10, %1
%13 = icmp slt i32 %9, %3
%14 = select i1 %12, i1 %13, i1 false
br i1 %14, label %15, label %33
15: ; preds = %8
%16 = sext i32 %10 to i64
%17 = getelementptr inbounds i32, i32* %0, i64 %16
%18 = load i32, i32* %17
%19 = sext i32 %9 to i64
%20 = getelementptr inbounds i32, i32* %2, i64 %19
%21 = load i32, i32* %20
%22 = icmp slt i32 %18, %21
%23 = sext i32 %11 to i64
%24 = getelementptr inbounds i32, i32* %4, i64 %23
br i1 %22, label %25, label %27
25: ; preds = %15
store i32 %18, i32* %24
%26 = add nsw i32 %10, 1
br label %29
27: ; preds = %15
store i32 %21, i32* %24
%28 = add nsw i32 %9, 1
br label %29
29: ; preds = %27, %25
%30 = phi i32 [ %26, %25 ], [ %10, %27 ]
%31 = phi i32 [ %9, %25 ], [ %28, %27 ]
%32 = add nsw i32 %11, 1
br label %284
33: ; preds = %8
%34 = icmp eq i32 %10, %1
%35 = icmp slt i32 %11, %6
br i1 %34, label %136, label %36
36: ; preds = %33
br i1 %35, label %37, label %284
37: ; preds = %36
%38 = sext i32 %10 to i64
%39 = sext i32 %11 to i64
%40 = sext i32 %6 to i64
%41 = sub nsw i64 %40, %39
%42 = icmp ult i64 %41, 8
br i1 %42, label %113, label %43
43: ; preds = %37
%44 = getelementptr i32, i32* %4, i64 %39
%45 = getelementptr i32, i32* %4, i64 %40
%46 = getelementptr i32, i32* %0, i64 %38
%47 = add nsw i64 %38, %40
%48 = sub nsw i64 %47, %39
%49 = getelementptr i32, i32* %0, i64 %48
%50 = icmp ult i32* %44, %49
%51 = icmp ult i32* %46, %45
%52 = and i1 %50, %51
br i1 %52, label %113, label %53
53: ; preds = %43
%54 = and i64 %41, -8
%55 = add nsw i64 %54, %39
%56 = add nsw i64 %54, %38
%57 = add nsw i64 %54, -8
%58 = lshr exact i64 %57, 3
%59 = add nuw nsw i64 %58, 1
%60 = and i64 %59, 1
%61 = icmp eq i64 %57, 0
br i1 %61, label %95, label %62
62: ; preds = %53
%63 = and i64 %59, 4611686018427387902
br label %64
64: ; preds = %64, %62
%65 = phi i64 [ 0, %62 ], [ %92, %64 ]
%66 = phi i64 [ 0, %62 ], [ %93, %64 ]
%67 = add i64 %65, %39
%68 = add i64 %65, %38
%69 = getelementptr inbounds i32, i32* %0, i64 %68
%70 = bitcast i32* %69 to <4 x i32>*
%71 = load <4 x i32>, <4 x i32>* %70
%72 = getelementptr inbounds i32, i32* %69, i64 4
%73 = bitcast i32* %72 to <4 x i32>*
%74 = load <4 x i32>, <4 x i32>* %73
%75 = getelementptr inbounds i32, i32* %4, i64 %67
%76 = bitcast i32* %75 to <4 x i32>*
store <4 x i32> %71, <4 x i32>* %76
%77 = getelementptr inbounds i32, i32* %75, i64 4
%78 = bitcast i32* %77 to <4 x i32>*
store <4 x i32> %74, <4 x i32>* %78
%79 = or i64 %65, 8
%80 = add i64 %79, %39
%81 = add i64 %79, %38
%82 = getelementptr inbounds i32, i32* %0, i64 %81
%83 = bitcast i32* %82 to <4 x i32>*
%84 = load <4 x i32>, <4 x i32>* %83
%85 = getelementptr inbounds i32, i32* %82, i64 4
%86 = bitcast i32* %85 to <4 x i32>*
%87 = load <4 x i32>, <4 x i32>* %86
%88 = getelementptr inbounds i32, i32* %4, i64 %80
%89 = bitcast i32* %88 to <4 x i32>*
store <4 x i32> %84, <4 x i32>* %89
%90 = getelementptr inbounds i32, i32* %88, i64 4
%91 = bitcast i32* %90 to <4 x i32>*
store <4 x i32> %87, <4 x i32>* %91
%92 = add nuw i64 %65, 16
%93 = add i64 %66, 2
%94 = icmp eq i64 %93, %63
br i1 %94, label %95, label %64
95: ; preds = %64, %53
%96 = phi i64 [ 0, %53 ], [ %92, %64 ]
%97 = icmp eq i64 %60, 0
br i1 %97, label %111, label %98
98: ; preds = %95
%99 = add i64 %96, %39
%100 = add i64 %96, %38
%101 = getelementptr inbounds i32, i32* %0, i64 %100
%102 = bitcast i32* %101 to <4 x i32>*
%103 = load <4 x i32>, <4 x i32>* %102
%104 = getelementptr inbounds i32, i32* %101, i64 4
%105 = bitcast i32* %104 to <4 x i32>*
%106 = load <4 x i32>, <4 x i32>* %105
%107 = getelementptr inbounds i32, i32* %4, i64 %99
%108 = bitcast i32* %107 to <4 x i32>*
store <4 x i32> %103, <4 x i32>* %108
%109 = getelementptr inbounds i32, i32* %107, i64 4
%110 = bitcast i32* %109 to <4 x i32>*
store <4 x i32> %106, <4 x i32>* %110
br label %111
111: ; preds = %95, %98
%112 = icmp eq i64 %41, %54
br i1 %112, label %289, label %113
113: ; preds = %43, %37, %111
%114 = phi i64 [ %39, %43 ], [ %39, %37 ], [ %55, %111 ]
%115 = phi i64 [ %38, %43 ], [ %38, %37 ], [ %56, %111 ]
%116 = sub nsw i64 %40, %114
%117 = xor i64 %114, -1
%118 = add nsw i64 %117, %40
%119 = and i64 %116, 3
%120 = icmp eq i64 %119, 0
br i1 %120, label %132, label %121
121: ; preds = %113, %121
%122 = phi i64 [ %129, %121 ], [ %114, %113 ]
%123 = phi i64 [ %128, %121 ], [ %115, %113 ]
%124 = phi i64 [ %130, %121 ], [ 0, %113 ]
%125 = getelementptr inbounds i32, i32* %0, i64 %123
%126 = load i32, i32* %125
%127 = getelementptr inbounds i32, i32* %4, i64 %122
store i32 %126, i32* %127
%128 = add nsw i64 %123, 1
%129 = add nsw i64 %122, 1
%130 = add i64 %124, 1
%131 = icmp eq i64 %130, %119
br i1 %131, label %132, label %121
132: ; preds = %121, %113
%133 = phi i64 [ %114, %113 ], [ %129, %121 ]
%134 = phi i64 [ %115, %113 ], [ %128, %121 ]
%135 = icmp ult i64 %118, 3
br i1 %135, label %289, label %260
136: ; preds = %33
br i1 %35, label %137, label %284
137: ; preds = %136
%138 = sext i32 %9 to i64
%139 = sext i32 %11 to i64
%140 = sext i32 %6 to i64
%141 = sub nsw i64 %140, %139
%142 = icmp ult i64 %141, 8
br i1 %142, label %213, label %143
143: ; preds = %137
%144 = getelementptr i32, i32* %4, i64 %139
%145 = getelementptr i32, i32* %4, i64 %140
%146 = getelementptr i32, i32* %2, i64 %138
%147 = add nsw i64 %138, %140
%148 = sub nsw i64 %147, %139
%149 = getelementptr i32, i32* %2, i64 %148
%150 = icmp ult i32* %144, %149
%151 = icmp ult i32* %146, %145
%152 = and i1 %150, %151
br i1 %152, label %213, label %153
153: ; preds = %143
%154 = and i64 %141, -8
%155 = add nsw i64 %154, %139
%156 = add nsw i64 %154, %138
%157 = add nsw i64 %154, -8
%158 = lshr exact i64 %157, 3
%159 = add nuw nsw i64 %158, 1
%160 = and i64 %159, 1
%161 = icmp eq i64 %157, 0
br i1 %161, label %195, label %162
162: ; preds = %153
%163 = and i64 %159, 4611686018427387902
br label %164
164: ; preds = %164, %162
%165 = phi i64 [ 0, %162 ], [ %192, %164 ]
%166 = phi i64 [ 0, %162 ], [ %193, %164 ]
%167 = add i64 %165, %139
%168 = add i64 %165, %138
%169 = getelementptr inbounds i32, i32* %2, i64 %168
%170 = bitcast i32* %169 to <4 x i32>*
%171 = load <4 x i32>, <4 x i32>* %170
%172 = getelementptr inbounds i32, i32* %169, i64 4
%173 = bitcast i32* %172 to <4 x i32>*
%174 = load <4 x i32>, <4 x i32>* %173
%175 = getelementptr inbounds i32, i32* %4, i64 %167
%176 = bitcast i32* %175 to <4 x i32>*
store <4 x i32> %171, <4 x i32>* %176
%177 = getelementptr inbounds i32, i32* %175, i64 4
%178 = bitcast i32* %177 to <4 x i32>*
store <4 x i32> %174, <4 x i32>* %178
%179 = or i64 %165, 8
%180 = add i64 %179, %139
%181 = add i64 %179, %138
%182 = getelementptr inbounds i32, i32* %2, i64 %181
%183 = bitcast i32* %182 to <4 x i32>*
%184 = load <4 x i32>, <4 x i32>* %183
%185 = getelementptr inbounds i32, i32* %182, i64 4
%186 = bitcast i32* %185 to <4 x i32>*
%187 = load <4 x i32>, <4 x i32>* %186
%188 = getelementptr inbounds i32, i32* %4, i64 %180
%189 = bitcast i32* %188 to <4 x i32>*
store <4 x i32> %184, <4 x i32>* %189
%190 = getelementptr inbounds i32, i32* %188, i64 4
%191 = bitcast i32* %190 to <4 x i32>*
store <4 x i32> %187, <4 x i32>* %191
%192 = add nuw i64 %165, 16
%193 = add i64 %166, 2
%194 = icmp eq i64 %193, %163
br i1 %194, label %195, label %164
195: ; preds = %164, %153
%196 = phi i64 [ 0, %153 ], [ %192, %164 ]
%197 = icmp eq i64 %160, 0
br i1 %197, label %211, label %198
198: ; preds = %195
%199 = add i64 %196, %139
%200 = add i64 %196, %138
%201 = getelementptr inbounds i32, i32* %2, i64 %200
%202 = bitcast i32* %201 to <4 x i32>*
%203 = load <4 x i32>, <4 x i32>* %202
%204 = getelementptr inbounds i32, i32* %201, i64 4
%205 = bitcast i32* %204 to <4 x i32>*
%206 = load <4 x i32>, <4 x i32>* %205
%207 = getelementptr inbounds i32, i32* %4, i64 %199
%208 = bitcast i32* %207 to <4 x i32>*
store <4 x i32> %203, <4 x i32>* %208
%209 = getelementptr inbounds i32, i32* %207, i64 4
%210 = bitcast i32* %209 to <4 x i32>*
store <4 x i32> %206, <4 x i32>* %210
br label %211
211: ; preds = %195, %198
%212 = icmp eq i64 %141, %154
br i1 %212, label %289, label %213
213: ; preds = %143, %137, %211
%214 = phi i64 [ %139, %143 ], [ %139, %137 ], [ %155, %211 ]
%215 = phi i64 [ %138, %143 ], [ %138, %137 ], [ %156, %211 ]
%216 = sub nsw i64 %140, %214
%217 = xor i64 %214, -1
%218 = add nsw i64 %217, %140
%219 = and i64 %216, 3
%220 = icmp eq i64 %219, 0
br i1 %220, label %232, label %221
221: ; preds = %213, %221
%222 = phi i64 [ %229, %221 ], [ %214, %213 ]
%223 = phi i64 [ %228, %221 ], [ %215, %213 ]
%224 = phi i64 [ %230, %221 ], [ 0, %213 ]
%225 = getelementptr inbounds i32, i32* %2, i64 %223
%226 = load i32, i32* %225
%227 = getelementptr inbounds i32, i32* %4, i64 %222
store i32 %226, i32* %227
%228 = add nsw i64 %223, 1
%229 = add nsw i64 %222, 1
%230 = add i64 %224, 1
%231 = icmp eq i64 %230, %219
br i1 %231, label %232, label %221
232: ; preds = %221, %213
%233 = phi i64 [ %214, %213 ], [ %229, %221 ]
%234 = phi i64 [ %215, %213 ], [ %228, %221 ]
%235 = icmp ult i64 %218, 3
br i1 %235, label %289, label %236
236: ; preds = %232, %236
%237 = phi i64 [ %258, %236 ], [ %233, %232 ]
%238 = phi i64 [ %257, %236 ], [ %234, %232 ]
%239 = getelementptr inbounds i32, i32* %2, i64 %238
%240 = load i32, i32* %239
%241 = getelementptr inbounds i32, i32* %4, i64 %237
store i32 %240, i32* %241
%242 = add nsw i64 %238, 1
%243 = add nsw i64 %237, 1
%244 = getelementptr inbounds i32, i32* %2, i64 %242
%245 = load i32, i32* %244
%246 = getelementptr inbounds i32, i32* %4, i64 %243
store i32 %245, i32* %246
%247 = add nsw i64 %238, 2
%248 = add nsw i64 %237, 2
%249 = getelementptr inbounds i32, i32* %2, i64 %247
%250 = load i32, i32* %249
%251 = getelementptr inbounds i32, i32* %4, i64 %248
store i32 %250, i32* %251
%252 = add nsw i64 %238, 3
%253 = add nsw i64 %237, 3
%254 = getelementptr inbounds i32, i32* %2, i64 %252
%255 = load i32, i32* %254
%256 = getelementptr inbounds i32, i32* %4, i64 %253
store i32 %255, i32* %256
%257 = add nsw i64 %238, 4
%258 = add nsw i64 %237, 4
%259 = icmp eq i64 %258, %140
br i1 %259, label %289, label %236
260: ; preds = %132, %260
%261 = phi i64 [ %282, %260 ], [ %133, %132 ]
%262 = phi i64 [ %281, %260 ], [ %134, %132 ]
%263 = getelementptr inbounds i32, i32* %0, i64 %262
%264 = load i32, i32* %263
%265 = getelementptr inbounds i32, i32* %4, i64 %261
store i32 %264, i32* %265
%266 = add nsw i64 %262, 1
%267 = add nsw i64 %261, 1
%268 = getelementptr inbounds i32, i32* %0, i64 %266
%269 = load i32, i32* %268
%270 = getelementptr inbounds i32, i32* %4, i64 %267
store i32 %269, i32* %270
%271 = add nsw i64 %262, 2
%272 = add nsw i64 %261, 2
%273 = getelementptr inbounds i32, i32* %0, i64 %271
%274 = load i32, i32* %273
%275 = getelementptr inbounds i32, i32* %4, i64 %272
store i32 %274, i32* %275
%276 = add nsw i64 %262, 3
%277 = add nsw i64 %261, 3
%278 = getelementptr inbounds i32, i32* %0, i64 %276
%279 = load i32, i32* %278
%280 = getelementptr inbounds i32, i32* %4, i64 %277
store i32 %279, i32* %280
%281 = add nsw i64 %262, 4
%282 = add nsw i64 %261, 4
%283 = icmp eq i64 %282, %40
br i1 %283, label %289, label %260
284: ; preds = %36, %136, %29
%285 = phi i32 [ %32, %29 ], [ %11, %136 ], [ %11, %36 ]
%286 = phi i32 [ %30, %29 ], [ %1, %136 ], [ %10, %36 ]
%287 = phi i32 [ %31, %29 ], [ %9, %136 ], [ %9, %36 ]
%288 = icmp slt i32 %285, %6
br i1 %288, label %8, label %289
289: ; preds = %284, %132, %260, %232, %236, %111, %211, %5
ret void
}