void merge(int a[], int b[], int start, int middle, int end) {
  int k;
  int remaining;
  int left, right, current;
  for (k = start; k <= end; k++)
    b[k] = a[k];
  left = start;
  right = middle + 1;
  current = start;
  while (left <= middle && right <= end)
    if (b[left] < b[right])
      a[current++] = b[left++];
    else
      a[current++] = b[right++];
  remaining = middle - left;
  for (k = 0; k <= remaining; k++)
    a[current + k] = b[left + k];
}


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    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     114c <merge+0x4c>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    111c <merge+0x1c>
mov    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%ecx
xor    %eax,%eax
cmp    -0x18(%rbp),%ecx
mov    %al,-0x31(%rbp)
jg     117e <merge+0x7e>
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
setle  %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    118e <merge+0x8e>
jmp    1208 <merge+0x108>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11d9 <merge+0xd9>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x30(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1203 <merge+0x103>
mov    -0x10(%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    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x30(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1161 <merge+0x61>
mov    -0x18(%rbp),%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jg     1252 <merge+0x152>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1218 <merge+0x118>
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %r8d,%r9d
sub    %edx,%r9d
jl     12a6 <merge+0x1a6>
movslq %edx,%rax
cmp    $0x7,%r9d
jb     1245 <merge+0x145>
lea    (%rsi,%rax,4),%r10
lea    (%r9,%rax,1),%rbp
lea    (%rdi,%rbp,4),%rbx
add    $0x4,%rbx
cmp    %rbx,%r10
jae    114b <merge+0x4b>
lea    (%rsi,%rbp,4),%rbp
add    $0x4,%rbp
lea    (%rdi,%rax,4),%rbx
cmp    %rbp,%rbx
jb     1245 <merge+0x145>
add    $0x1,%r9
mov    %r9,%r10
and    $0xfffffffffffffff8,%r10
lea    -0x8(%r10),%rbx
mov    %rbx,%r14
shr    $0x3,%r14
add    $0x1,%r14
mov    %r14d,%r11d
and    $0x3,%r11d
cmp    $0x18,%rbx
jae    1179 <merge+0x79>
xor    %ebx,%ebx
jmp    11f8 <merge+0xf8>
and    $0xfffffffffffffffc,%r14
lea    (%rsi,%rax,4),%r15
add    $0x70,%r15
lea    (%rdi,%rax,4),%r12
add    $0x70,%r12
xor    %ebx,%ebx
nop
movups -0x70(%r12,%rbx,4),%xmm0
movups -0x60(%r12,%rbx,4),%xmm1
movups %xmm0,-0x70(%r15,%rbx,4)
movups %xmm1,-0x60(%r15,%rbx,4)
movups -0x50(%r12,%rbx,4),%xmm0
movups -0x40(%r12,%rbx,4),%xmm1
movups %xmm0,-0x50(%r15,%rbx,4)
movups %xmm1,-0x40(%r15,%rbx,4)
movups -0x30(%r12,%rbx,4),%xmm0
movups -0x20(%r12,%rbx,4),%xmm1
movups %xmm0,-0x30(%r15,%rbx,4)
movups %xmm1,-0x20(%r15,%rbx,4)
movups -0x10(%r12,%rbx,4),%xmm0
movups (%r12,%rbx,4),%xmm1
movups %xmm0,-0x10(%r15,%rbx,4)
movups %xmm1,(%r15,%rbx,4)
add    $0x20,%rbx
add    $0xfffffffffffffffc,%r14
jne    1190 <merge+0x90>
test   %r11,%r11
je     123d <merge+0x13d>
add    %rax,%rbx
lea    (%rsi,%rbx,4),%r14
add    $0x10,%r14
lea    (%rdi,%rbx,4),%rbx
add    $0x10,%rbx
shl    $0x5,%r11
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
movups -0x10(%rbx,%rbp,1),%xmm0
movups (%rbx,%rbp,1),%xmm1
movups %xmm0,-0x10(%r14,%rbp,1)
movups %xmm1,(%r14,%rbp,1)
add    $0x20,%rbp
cmp    %rbp,%r11
jne    1220 <merge+0x120>
cmp    %r10,%r9
je     12a6 <merge+0x1a6>
add    %r10,%rax
lea    0x1(%r8),%r9d
mov    %r9d,%ebx
sub    %eax,%ebx
mov    %r8d,%r10d
sub    %eax,%r10d
and    $0x3,%ebx
je     126f <merge+0x16f>
nopl   0x0(%rax)
mov    (%rdi,%rax,4),%ebp
mov    %ebp,(%rsi,%rax,4)
add    $0x1,%rax
add    $0xffffffff,%ebx
jne    1260 <merge+0x160>
cmp    $0x3,%r10d
jb     12a6 <merge+0x1a6>
mov    %r9d,%ebx
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rax,4),%ebp
mov    %ebp,(%rsi,%rax,4)
mov    0x4(%rdi,%rax,4),%ebp
mov    %ebp,0x4(%rsi,%rax,4)
mov    0x8(%rdi,%rax,4),%ebp
mov    %ebp,0x8(%rsi,%rax,4)
mov    0xc(%rdi,%rax,4),%ebp
mov    %ebp,0xc(%rsi,%rax,4)
add    $0x4,%rax
cmp    %eax,%ebx
jne    1280 <merge+0x180>
lea    0x1(%rcx),%r9d
cmp    %ecx,%edx
jg     13cc <merge+0x2cc>
cmp    %r8d,%ecx
jge    13db <merge+0x2db>
movslq %edx,%rax
lea    (%rdi,%rax,4),%r10
mov    %r9d,%r11d
mov    %edx,%eax
nopw   0x0(%rax,%rax,1)
cltq
mov    (%rsi,%rax,4),%r14d
movslq %r11d,%rbx
mov    (%rsi,%rbx,4),%ebp
xor    %ebx,%ebx
xor    %r12d,%r12d
cmp    %ebp,%r14d
setge  %r15b
setl   %r12b
cmovl  %r14d,%ebp
add    %r12d,%eax
mov    %ebp,(%r10)
add    $0x1,%edx
cmp    %ecx,%eax
jg     130c <merge+0x20c>
mov    %r15b,%bl
add    %ebx,%r11d
add    $0x4,%r10
cmp    %r8d,%r11d
jle    12d0 <merge+0x1d0>
cmp    %ecx,%eax
jg     148c <merge+0x38c>
movslq %eax,%r8
movslq %edx,%r10
sub    %eax,%r9d
cmp    $0x8,%r9d
jb     134d <merge+0x24d>
lea    (%rdi,%r10,4),%rax
lea    (%r8,%r9,1),%rcx
lea    (%rsi,%rcx,4),%rcx
cmp    %rcx,%rax
jae    13ea <merge+0x2ea>
lea    (%r10,%r9,1),%rax
lea    (%rdi,%rax,4),%rax
lea    (%rsi,%r8,4),%rcx
cmp    %rax,%rcx
jae    13ea <merge+0x2ea>
xor    %eax,%eax
mov    %rax,%r11
not    %r11
add    %r9,%r11
mov    %r9,%rdx
and    $0x3,%rdx
je     1380 <merge+0x280>
lea    (%rdi,%r10,4),%rbx
lea    (%rsi,%r8,4),%rcx
nopl   0x0(%rax)
mov    (%rcx,%rax,4),%ebp
mov    %ebp,(%rbx,%rax,4)
add    $0x1,%rax
add    $0xffffffffffffffff,%rdx
jne    1370 <merge+0x270>
cmp    $0x3,%r11
jb     148c <merge+0x38c>
lea    (%rdi,%r10,4),%rcx
add    $0xc,%rcx
lea    (%rsi,%r8,4),%rdx
add    $0xc,%rdx
nopw   0x0(%rax,%rax,1)
mov    -0xc(%rdx,%rax,4),%esi
mov    %esi,-0xc(%rcx,%rax,4)
mov    -0x8(%rdx,%rax,4),%esi
mov    %esi,-0x8(%rcx,%rax,4)
mov    -0x4(%rdx,%rax,4),%esi
mov    %esi,-0x4(%rcx,%rax,4)
mov    (%rdx,%rax,4),%esi
mov    %esi,(%rcx,%rax,4)
add    $0x4,%rax
cmp    %rax,%r9
jne    13a0 <merge+0x2a0>
jmp    148c <merge+0x38c>
mov    %edx,%eax
cmp    %ecx,%eax
jg     148c <merge+0x38c>
jmp    1314 <merge+0x214>
mov    %edx,%eax
cmp    %ecx,%eax
jle    1314 <merge+0x214>
jmp    148c <merge+0x38c>
mov    %r9d,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rcx
mov    %rcx,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rcx,%rcx
je     1495 <merge+0x395>
movabs $0x3ffffffffffffffc,%rdx
ff ff 3f
or     $0x2,%rdx
and    %r11,%rdx
lea    (%rsi,%r8,4),%r14
add    $0x30,%r14
lea    (%rdi,%r10,4),%rbx
add    $0x30,%rbx
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movups -0x30(%r14,%rcx,4),%xmm0
movups -0x20(%r14,%rcx,4),%xmm1
movups %xmm0,-0x30(%rbx,%rcx,4)
movups %xmm1,-0x20(%rbx,%rcx,4)
movups -0x10(%r14,%rcx,4),%xmm0
movups (%r14,%rcx,4),%xmm1
movups %xmm0,-0x10(%rbx,%rcx,4)
movups %xmm1,(%rbx,%rcx,4)
add    $0x10,%rcx
add    $0xfffffffffffffffe,%rdx
jne    1430 <merge+0x330>
test   $0x1,%r11b
je     1483 <merge+0x383>
lea    (%rcx,%r8,1),%rdx
movups (%rsi,%rdx,4),%xmm0
movups 0x10(%rsi,%rdx,4),%xmm1
add    %r10,%rcx
movups %xmm0,(%rdi,%rcx,4)
movups %xmm1,0x10(%rdi,%rcx,4)
cmp    %r9,%rax
jne    134f <merge+0x24f>
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %ecx,%ecx
test   $0x1,%r11b
jne    146a <merge+0x36a>
jmp    1483 <merge+0x383>

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

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