void merge(int src[], int dst[], int low, int mid, int high) {
  int i = low;
  int j = mid + 1;
  int k = low;
  while (i <= mid && j <= high) {
    if (src[i] < src[j])
      dst[k++] = src[i++];
    else
      dst[k++] = src[j++];
  }
  while (i <= mid)
    dst[k++] = src[i++];
  while (j <= high)
    dst[k++] = src[j++];
}


x86 assembly (clang, -O0):
<merge>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
cmp    -0x18(%rbp),%ecx
mov    %al,-0x29(%rbp)
jg     1148 <merge+0x48>
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
setle  %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    1158 <merge+0x58>
jmp    11d2 <merge+0xd2>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11a3 <merge+0xa3>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x20(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11cd <merge+0xcd>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x24(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    112b <merge+0x2b>
jmp    11d7 <merge+0xd7>
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     1212 <merge+0x112>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x20(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11d7 <merge+0xd7>
jmp    1217 <merge+0x117>
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     1252 <merge+0x152>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x24(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1217 <merge+0x117>
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
lea    0x1(%rcx),%r11d
cmp    %ecx,%edx
jg     115b <merge+0x5b>
cmp    %r8d,%ecx
jge    115b <merge+0x5b>
movslq %edx,%rax
lea    (%rsi,%rax,4),%r9
mov    %edx,%eax
cltq
mov    (%rdi,%rax,4),%r10d
movslq %r11d,%r11
mov    (%rdi,%r11,4),%ebx
xor    %r14d,%r14d
xor    %ebp,%ebp
cmp    %ebx,%r10d
setge  %r14b
setl   %bpl
cmovl  %r10d,%ebx
add    %ebp,%eax
add    %r14d,%r11d
mov    %ebx,(%r9)
add    $0x1,%edx
cmp    %ecx,%eax
jg     115d <merge+0x5d>
add    $0x4,%r9
cmp    %r8d,%r11d
jle    1120 <merge+0x20>
jmp    115d <merge+0x5d>
mov    %edx,%eax
cmp    %ecx,%eax
jg     12dd <merge+0x1dd>
movslq %edx,%rdx
movslq %eax,%r9
mov    %ecx,%r10d
sub    %eax,%r10d
cmp    $0x7,%r10d
jb     1257 <merge+0x157>
lea    (%rsi,%rdx,4),%rax
lea    (%r9,%r10,1),%rbx
lea    (%rdi,%rbx,4),%rbx
add    $0x4,%rbx
cmp    %rbx,%rax
jae    11a9 <merge+0xa9>
lea    (%rdx,%r10,1),%rax
lea    (%rsi,%rax,4),%rax
add    $0x4,%rax
lea    (%rdi,%r9,4),%rbx
cmp    %rax,%rbx
jb     1257 <merge+0x157>
add    $0x1,%r10
mov    %r10,%r14
and    $0xfffffffffffffff8,%r14
lea    -0x8(%r14),%rax
mov    %rax,%r15
shr    $0x3,%r15
add    $0x1,%r15
test   %rax,%rax
je     1452 <merge+0x352>
mov    %r15,%rbx
and    $0xfffffffffffffffe,%rbx
lea    (%rdi,%r9,4),%r12
add    $0x30,%r12
lea    (%rsi,%rdx,4),%r13
add    $0x30,%r13
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nop
movups -0x30(%r12,%rax,4),%xmm0
movups -0x20(%r12,%rax,4),%xmm1
movups %xmm0,-0x30(%r13,%rax,4)
movups %xmm1,-0x20(%r13,%rax,4)
movups -0x10(%r12,%rax,4),%xmm0
movups (%r12,%rax,4),%xmm1
movups %xmm0,-0x10(%r13,%rax,4)
movups %xmm1,0x0(%r13,%rax,4)
add    $0x10,%rax
add    $0xfffffffffffffffe,%rbx
jne    11f0 <merge+0xf0>
test   $0x1,%r15b
je     1248 <merge+0x148>
lea    (%rax,%r9,1),%rbx
add    %rdx,%rax
movups (%rdi,%rbx,4),%xmm0
movups 0x10(%rdi,%rbx,4),%xmm1
movups %xmm0,(%rsi,%rax,4)
movups %xmm1,0x10(%rsi,%rax,4)
add    %r14,%rdx
cmp    %r14,%r10
je     12dd <merge+0x1dd>
add    %r14,%r9
mov    %ecx,%r10d
sub    %r9d,%r10d
lea    0x1(%r10),%ebx
and    $0x3,%ebx
je     1284 <merge+0x184>
cs nopw 0x0(%rax,%rax,1)
mov    (%rdi,%r9,4),%eax
add    $0x1,%r9
mov    %eax,(%rsi,%rdx,4)
add    $0x1,%rdx
add    $0xffffffff,%ebx
jne    1270 <merge+0x170>
cmp    $0x3,%r10d
jb     12dd <merge+0x1dd>
sub    %r9d,%ecx
add    $0x1,%ecx
lea    (%rdi,%r9,4),%r9
add    $0xc,%r9
lea    (%rsi,%rdx,4),%rbx
add    $0xc,%rbx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    -0xc(%r9,%rax,4),%ebp
mov    %ebp,-0xc(%rbx,%rax,4)
mov    -0x8(%r9,%rax,4),%ebp
mov    %ebp,-0x8(%rbx,%rax,4)
mov    -0x4(%r9,%rax,4),%ebp
mov    %ebp,-0x4(%rbx,%rax,4)
mov    (%r9,%rax,4),%ebp
mov    %ebp,(%rbx,%rax,4)
add    $0x4,%rax
cmp    %eax,%ecx
jne    12b0 <merge+0x1b0>
add    %rax,%rdx
cmp    %r8d,%r11d
jg     1447 <merge+0x347>
movslq %edx,%rcx
movslq %r11d,%rdx
mov    %r8d,%r9d
sub    %r11d,%r9d
cmp    $0x7,%r9d
jb     13d2 <merge+0x2d2>
lea    (%rsi,%rcx,4),%rax
lea    (%rdx,%r9,1),%rbp
lea    (%rdi,%rbp,4),%rbp
add    $0x4,%rbp
cmp    %rbp,%rax
jae    132a <merge+0x22a>
lea    (%rcx,%r9,1),%rax
lea    (%rsi,%rax,4),%rax
add    $0x4,%rax
lea    (%rdi,%rdx,4),%rbp
cmp    %rax,%rbp
jb     13d2 <merge+0x2d2>
add    $0x1,%r9
mov    %r9,%r10
and    $0xfffffffffffffff8,%r10
lea    -0x8(%r10),%rax
mov    %rax,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rax,%rax
je     1463 <merge+0x363>
mov    %r11,%rbx
and    $0xfffffffffffffffe,%rbx
lea    (%rdi,%rdx,4),%r14
add    $0x30,%r14
lea    (%rsi,%rcx,4),%r15
add    $0x30,%r15
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
movups -0x30(%r14,%rax,4),%xmm0
movups -0x20(%r14,%rax,4),%xmm1
movups %xmm0,-0x30(%r15,%rax,4)
movups %xmm1,-0x20(%r15,%rax,4)
movups -0x10(%r14,%rax,4),%xmm0
movups (%r14,%rax,4),%xmm1
movups %xmm0,-0x10(%r15,%rax,4)
movups %xmm1,(%r15,%rax,4)
add    $0x10,%rax
add    $0xfffffffffffffffe,%rbx
jne    1370 <merge+0x270>
test   $0x1,%r11b
je     13c7 <merge+0x2c7>
lea    (%rax,%rdx,1),%rbp
add    %rcx,%rax
movups (%rdi,%rbp,4),%xmm0
movups 0x10(%rdi,%rbp,4),%xmm1
movups %xmm0,(%rsi,%rax,4)
movups %xmm1,0x10(%rsi,%rax,4)
cmp    %r10,%r9
je     1447 <merge+0x347>
add    %r10,%rdx
add    %r10,%rcx
mov    %r8d,%eax
sub    %edx,%eax
lea    0x1(%rax),%ebx
and    $0x3,%ebx
je     13f3 <merge+0x2f3>
nop
mov    (%rdi,%rdx,4),%ebp
add    $0x1,%rdx
mov    %ebp,(%rsi,%rcx,4)
add    $0x1,%rcx
add    $0xffffffff,%ebx
jne    13e0 <merge+0x2e0>
cmp    $0x3,%eax
jb     1447 <merge+0x347>
sub    %edx,%r8d
add    $0x1,%r8d
lea    (%rdi,%rdx,4),%rax
add    $0xc,%rax
lea    (%rsi,%rcx,4),%rcx
add    $0xc,%rcx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    -0xc(%rax,%rdx,4),%esi
mov    %esi,-0xc(%rcx,%rdx,4)
mov    -0x8(%rax,%rdx,4),%esi
mov    %esi,-0x8(%rcx,%rdx,4)
mov    -0x4(%rax,%rdx,4),%esi
mov    %esi,-0x4(%rcx,%rdx,4)
mov    (%rax,%rdx,4),%esi
mov    %esi,(%rcx,%rdx,4)
add    $0x4,%rdx
cmp    %edx,%r8d
jne    1420 <merge+0x320>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %eax,%eax
test   $0x1,%r15b
jne    122f <merge+0x12f>
jmp    1248 <merge+0x148>
xor    %eax,%eax
test   $0x1,%r11b
jne    13ae <merge+0x2ae>
jmp    13c7 <merge+0x2c7>

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
%14 = load i32, i32* %8
store i32 %14, i32* %11
%15 = load i32, i32* %9
%16 = add nsw i32 %15, 1
store i32 %16, i32* %12
%17 = load i32, i32* %8
store i32 %17, i32* %13
br label %18
18: ; preds = %64, %5
%19 = load i32, i32* %11
%20 = load i32, i32* %9
%21 = icmp sle i32 %19, %20
br i1 %21, label %22, label %26
22: ; preds = %18
%23 = load i32, i32* %12
%24 = load i32, i32* %10
%25 = icmp sle i32 %23, %24
br label %26
26: ; preds = %22, %18
%27 = phi i1 [ false, %18 ], [ %25, %22 ]
br i1 %27, label %28, label %65
28: ; preds = %26
%29 = load i32*, i32** %6
%30 = load i32, i32* %11
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %29, i64 %31
%33 = load i32, i32* %32
%34 = load i32*, i32** %6
%35 = load i32, i32* %12
%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* %11
%43 = add nsw i32 %42, 1
store i32 %43, i32* %11
%44 = sext i32 %42 to i64
%45 = getelementptr inbounds i32, i32* %41, i64 %44
%46 = load i32, i32* %45
%47 = load i32*, i32** %7
%48 = load i32, i32* %13
%49 = add nsw i32 %48, 1
store i32 %49, i32* %13
%50 = sext i32 %48 to i64
%51 = getelementptr inbounds i32, i32* %47, i64 %50
store i32 %46, i32* %51
br label %64
52: ; preds = %28
%53 = load i32*, i32** %6
%54 = load i32, i32* %12
%55 = add nsw i32 %54, 1
store i32 %55, i32* %12
%56 = sext i32 %54 to i64
%57 = getelementptr inbounds i32, i32* %53, i64 %56
%58 = load i32, i32* %57
%59 = load i32*, i32** %7
%60 = load i32, i32* %13
%61 = add nsw i32 %60, 1
store i32 %61, i32* %13
%62 = sext i32 %60 to i64
%63 = getelementptr inbounds i32, i32* %59, i64 %62
store i32 %58, i32* %63
br label %64
64: ; preds = %52, %40
br label %18
65: ; preds = %26
br label %66
66: ; preds = %70, %65
%67 = load i32, i32* %11
%68 = load i32, i32* %9
%69 = icmp sle i32 %67, %68
br i1 %69, label %70, label %82
70: ; preds = %66
%71 = load i32*, i32** %6
%72 = load i32, i32* %11
%73 = add nsw i32 %72, 1
store i32 %73, i32* %11
%74 = sext i32 %72 to i64
%75 = getelementptr inbounds i32, i32* %71, i64 %74
%76 = load i32, i32* %75
%77 = load i32*, i32** %7
%78 = load i32, i32* %13
%79 = add nsw i32 %78, 1
store i32 %79, i32* %13
%80 = sext i32 %78 to i64
%81 = getelementptr inbounds i32, i32* %77, i64 %80
store i32 %76, i32* %81
br label %66
82: ; preds = %66
br label %83
83: ; preds = %87, %82
%84 = load i32, i32* %12
%85 = load i32, i32* %10
%86 = icmp sle i32 %84, %85
br i1 %86, label %87, label %99
87: ; preds = %83
%88 = load i32*, i32** %6
%89 = load i32, i32* %12
%90 = add nsw i32 %89, 1
store i32 %90, i32* %12
%91 = sext i32 %89 to i64
%92 = getelementptr inbounds i32, i32* %88, i64 %91
%93 = load i32, i32* %92
%94 = load i32*, i32** %7
%95 = load i32, i32* %13
%96 = add nsw i32 %95, 1
store i32 %96, i32* %13
%97 = sext i32 %95 to i64
%98 = getelementptr inbounds i32, i32* %94, i64 %97
store i32 %93, i32* %98
br label %83
99: ; preds = %83
ret void
}

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