void merge_sort(int m, int n, int X[], int Y[], int Z[]) {
  int i = 0, j = 0, k = 0;
  while ((i < m) && (j < n))
    if (X[i] <= Y[j])
      Z[k++] = X[i++];
    else
      Z[k++] = Y[j++];
  if (i < m)
    while (i < m)
      Z[k++] = X[i++];
  else
    while (j < n)
      Z[k++] = Y[j++];
}


x86 assembly (clang, -O0):
<merge_sort>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x24(%rbp),%ecx
xor    %eax,%eax
cmp    -0x4(%rbp),%ecx
mov    %al,-0x2d(%rbp)
jge    1148 <merge_sort+0x48>
mov    -0x28(%rbp),%eax
cmp    -0x8(%rbp),%eax
setl   %al
mov    %al,-0x2d(%rbp)
mov    -0x2d(%rbp),%al
test   $0x1,%al
jne    1158 <merge_sort+0x58>
jmp    11d2 <merge_sort+0xd2>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x28(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jg     11a3 <merge_sort+0xa3>
mov    -0x10(%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    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x2c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11cd <merge_sort+0xcd>
mov    -0x18(%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    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x2c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    112b <merge_sort+0x2b>
mov    -0x24(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1223 <merge_sort+0x123>
jmp    11e3 <merge_sort+0xe3>
mov    -0x24(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    121e <merge_sort+0x11e>
mov    -0x10(%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    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x2c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11e3 <merge_sort+0xe3>
jmp    1268 <merge_sort+0x168>
jmp    1228 <merge_sort+0x128>
mov    -0x28(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1263 <merge_sort+0x163>
mov    -0x18(%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    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x2c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1228 <merge_sort+0x128>
jmp    1268 <merge_sort+0x168>
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge_sort>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
test   %edi,%edi
jle    12cc <merge_sort+0x1cc>
test   %esi,%esi
jle    12cc <merge_sort+0x1cc>
xor    %r10d,%r10d
xor    %r9d,%r9d
xor    %eax,%eax
mov    %eax,%r14d
mov    %r9d,%r11d
mov    %eax,%eax
mov    (%rdx,%rax,4),%ebp
mov    %r9d,%eax
mov    (%rcx,%rax,4),%ebx
xor    %r9d,%r9d
xor    %eax,%eax
cmp    %ebx,%ebp
setg   %r9b
setle  %al
cmovg  %ebx,%ebp
add    %r14d,%eax
add    %r11d,%r9d
mov    %ebp,(%r8,%r10,4)
add    $0x1,%r10
cmp    %edi,%eax
jge    1159 <merge_sort+0x59>
cmp    %esi,%r9d
jl     1120 <merge_sort+0x20>
mov    %r10d,%r11d
cmp    %edi,%eax
jl     12e2 <merge_sort+0x1e2>
cmp    %esi,%r9d
jge    1437 <merge_sort+0x337>
movslq %r9d,%rdi
movslq %esi,%r15
mov    %r15,%r9
sub    %rdi,%r9
cmp    $0x8,%r9
jb     1244 <merge_sort+0x144>
lea    (%r8,%r11,4),%rax
lea    (%rcx,%r15,4),%rdx
cmp    %rdx,%rax
jae    11a8 <merge_sort+0xa8>
lea    (%r11,%r15,1),%rax
sub    %rdi,%rax
lea    (%r8,%rax,4),%rax
lea    (%rcx,%rdi,4),%rdx
cmp    %rax,%rdx
jb     1244 <merge_sort+0x144>
mov    %r9,%r10
and    $0xfffffffffffffff8,%r10
lea    -0x8(%r10),%rax
mov    %rax,%r14
shr    $0x3,%r14
add    $0x1,%r14
test   %rax,%rax
je     1451 <merge_sort+0x351>
mov    %r14,%rax
and    $0xfffffffffffffffe,%rax
lea    (%rcx,%rdi,4),%r12
add    $0x30,%r12
lea    (%r8,%r11,4),%rdx
add    $0x30,%rdx
xor    %ebx,%ebx
movups -0x30(%r12,%rbx,4),%xmm0
movups -0x20(%r12,%rbx,4),%xmm1
movups %xmm0,-0x30(%rdx,%rbx,4)
movups %xmm1,-0x20(%rdx,%rbx,4)
movups -0x10(%r12,%rbx,4),%xmm0
movups (%r12,%rbx,4),%xmm1
movups %xmm0,-0x10(%rdx,%rbx,4)
movups %xmm1,(%rdx,%rbx,4)
add    $0x10,%rbx
add    $0xfffffffffffffffe,%rax
jne    11e0 <merge_sort+0xe0>
test   $0x1,%r14b
je     1235 <merge_sort+0x135>
lea    (%r11,%rbx,1),%rax
add    %rdi,%rbx
movups (%rcx,%rbx,4),%xmm0
movups 0x10(%rcx,%rbx,4),%xmm1
movups %xmm0,(%r8,%rax,4)
movups %xmm1,0x10(%r8,%rax,4)
cmp    %r10,%r9
je     1437 <merge_sort+0x337>
add    %r10,%rdi
add    %r10,%r11
sub    %edi,%esi
mov    %rdi,%rax
not    %rax
add    %r15,%rax
and    $0x3,%rsi
je     1275 <merge_sort+0x175>
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rcx,%rdi,4),%edx
add    $0x1,%rdi
mov    %edx,(%r8,%r11,4)
add    $0x1,%r11
add    $0xffffffffffffffff,%rsi
jne    1260 <merge_sort+0x160>
cmp    $0x3,%rax
jb     1437 <merge_sort+0x337>
sub    %rdi,%r15
lea    (%rcx,%rdi,4),%rax
add    $0xc,%rax
lea    (%r8,%r11,4),%rcx
add    $0xc,%rcx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
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    %rdx,%r15
jne    12a0 <merge_sort+0x1a0>
jmp    1437 <merge_sort+0x337>
xor    %r11d,%r11d
mov    $0x0,%r9d
mov    $0x0,%eax
test   %edi,%edi
jle    1164 <merge_sort+0x64>
cmp    %edi,%eax
jge    1437 <merge_sort+0x337>
movslq %eax,%rsi
movslq %edi,%r15
mov    %r15,%r9
sub    %rsi,%r9
cmp    $0x8,%r9
jb     13c0 <merge_sort+0x2c0>
lea    (%r8,%r11,4),%rax
lea    (%rdx,%r15,4),%rcx
cmp    %rcx,%rax
jae    1325 <merge_sort+0x225>
lea    (%r11,%r15,1),%rax
sub    %rsi,%rax
lea    (%r8,%rax,4),%rax
lea    (%rdx,%rsi,4),%rcx
cmp    %rax,%rcx
jb     13c0 <merge_sort+0x2c0>
mov    %r9,%r10
and    $0xfffffffffffffff8,%r10
lea    -0x8(%r10),%rax
mov    %rax,%r14
shr    $0x3,%r14
add    $0x1,%r14
test   %rax,%rax
je     1440 <merge_sort+0x340>
mov    %r14,%rax
and    $0xfffffffffffffffe,%rax
lea    (%rdx,%rsi,4),%r12
add    $0x30,%r12
lea    (%r8,%r11,4),%rcx
add    $0x30,%rcx
xor    %ebx,%ebx
nopl   (%rax)
movups -0x30(%r12,%rbx,4),%xmm0
movups -0x20(%r12,%rbx,4),%xmm1
movups %xmm0,-0x30(%rcx,%rbx,4)
movups %xmm1,-0x20(%rcx,%rbx,4)
movups -0x10(%r12,%rbx,4),%xmm0
movups (%r12,%rbx,4),%xmm1
movups %xmm0,-0x10(%rcx,%rbx,4)
movups %xmm1,(%rcx,%rbx,4)
add    $0x10,%rbx
add    $0xfffffffffffffffe,%rax
jne    1360 <merge_sort+0x260>
test   $0x1,%r14b
je     13b5 <merge_sort+0x2b5>
lea    (%r11,%rbx,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,%r9
je     1437 <merge_sort+0x337>
add    %r10,%rsi
add    %r10,%r11
sub    %esi,%edi
mov    %rsi,%rax
not    %rax
add    %r15,%rax
and    $0x3,%rdi
je     13f5 <merge_sort+0x2f5>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rdx,%rsi,4),%ecx
add    $0x1,%rsi
mov    %ecx,(%r8,%r11,4)
add    $0x1,%r11
add    $0xffffffffffffffff,%rdi
jne    13e0 <merge_sort+0x2e0>
cmp    $0x3,%rax
jb     1437 <merge_sort+0x337>
sub    %rsi,%r15
lea    (%rdx,%rsi,4),%rax
add    $0xc,%rax
lea    (%r8,%r11,4),%rcx
add    $0xc,%rcx
xor    %edx,%edx
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    %rdx,%r15
jne    1410 <merge_sort+0x310>
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %ebx,%ebx
test   $0x1,%r14b
jne    139a <merge_sort+0x29a>
jmp    13b5 <merge_sort+0x2b5>
xor    %ebx,%ebx
test   $0x1,%r14b
jne    121a <merge_sort+0x11a>
jmp    1235 <merge_sort+0x135>

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

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