void merge(int *array, int *left, int lsize, int *right, int rsize,
           int *trackers) {
  int x, y, z;
  x = 0;
  y = 0;
  z = 0;
  while (x < lsize && y < rsize) {
    if (left[x] < right[y])
      array[z++] = left[x++];
    else
      array[z++] = right[y++];
    trackers[0]++;
    trackers[1] += 4;
  }
  while (x < lsize) {
    array[z++] = left[x++];
    trackers[1] += 2;
  }
  while (y < rsize) {
    array[z++] = right[y++];
    trackers[1] += 2;
  }
}


x86 assembly (clang, -O0):
<merge>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x34(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x3d(%rbp)
jge    114d <merge+0x4d>
mov    -0x38(%rbp),%eax
cmp    -0x24(%rbp),%eax
setl   %al
mov    %al,-0x3d(%rbp)
mov    -0x3d(%rbp),%al
test   $0x1,%al
jne    115d <merge+0x5d>
jmp    11ef <merge+0xef>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
movslq -0x38(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11a8 <merge+0xa8>
mov    -0x10(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x34(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x3c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x3c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11d2 <merge+0xd2>
mov    -0x20(%rbp),%rax
mov    -0x38(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x38(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x3c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x3c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x30(%rbp),%rax
mov    0x4(%rax),%ecx
add    $0x4,%ecx
mov    %ecx,0x4(%rax)
jmp    1130 <merge+0x30>
jmp    11f4 <merge+0xf4>
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    123c <merge+0x13c>
mov    -0x10(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x34(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x3c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x3c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%rax
mov    0x4(%rax),%ecx
add    $0x2,%ecx
mov    %ecx,0x4(%rax)
jmp    11f4 <merge+0xf4>
jmp    1241 <merge+0x141>
mov    -0x38(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1289 <merge+0x189>
mov    -0x20(%rbp),%rax
mov    -0x38(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x38(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x3c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x3c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%rax
mov    0x4(%rax),%ecx
add    $0x2,%ecx
mov    %ecx,0x4(%rax)
jmp    1241 <merge+0x141>
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge>:
push   %rbp
push   %r15
push   %r14
push   %rbx
xor    %eax,%eax
test   %edx,%edx
jle    1178 <merge+0x78>
mov    $0x0,%r11d
mov    $0x0,%r10d
test   %r8d,%r8d
jle    1172 <merge+0x72>
xor    %r10d,%r10d
xor    %r11d,%r11d
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nop
mov    %eax,%r15d
mov    %r11d,%r14d
mov    %eax,%eax
mov    (%rsi,%rax,4),%ebp
mov    %r11d,%eax
mov    (%rcx,%rax,4),%ebx
xor    %r11d,%r11d
xor    %eax,%eax
cmp    %ebx,%ebp
setge  %r11b
cmovl  %ebp,%ebx
setl   %al
add    %r15d,%eax
add    %r14d,%r11d
mov    %ebx,(%rdi,%r10,4)
add    $0x1,%r10
addl   $0x1,(%r9)
addl   $0x4,0x4(%r9)
cmp    %edx,%eax
jge    1172 <merge+0x72>
cmp    %r8d,%r11d
jl     1130 <merge+0x30>
cmp    %edx,%eax
jl     1182 <merge+0x82>
jmp    11f4 <merge+0xf4>
xor    %r11d,%r11d
xor    %r10d,%r10d
cmp    %edx,%eax
jge    11f4 <merge+0xf4>
mov    %r10d,%r10d
movslq %eax,%r14
movslq %edx,%rbx
sub    %eax,%edx
mov    %r14,%rax
not    %rax
test   $0x1,%dl
je     11ad <merge+0xad>
mov    (%rsi,%r14,4),%edx
add    $0x1,%r14
mov    %edx,(%rdi,%r10,4)
add    $0x1,%r10
addl   $0x2,0x4(%r9)
add    %rbx,%rax
je     11f4 <merge+0xf4>
sub    %r14,%rbx
lea    (%rsi,%r14,4),%rdx
add    $0x4,%rdx
lea    (%rdi,%r10,4),%rsi
add    $0x4,%rsi
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
mov    -0x4(%rdx,%rax,4),%ebp
mov    %ebp,-0x4(%rsi,%rax,4)
addl   $0x2,0x4(%r9)
mov    (%rdx,%rax,4),%ebp
mov    %ebp,(%rsi,%rax,4)
addl   $0x2,0x4(%r9)
add    $0x2,%rax
cmp    %rax,%rbx
jne    11d0 <merge+0xd0>
add    %rax,%r10
cmp    %r8d,%r11d
jge    1261 <merge+0x161>
mov    %r10d,%edx
movslq %r11d,%rbx
movslq %r8d,%rax
sub    %r11d,%r8d
mov    %rbx,%rsi
not    %rsi
test   $0x1,%r8b
je     1224 <merge+0x124>
mov    (%rcx,%rbx,4),%ebp
add    $0x1,%rbx
mov    %ebp,(%rdi,%rdx,4)
add    $0x1,%rdx
addl   $0x2,0x4(%r9)
add    %rax,%rsi
je     1261 <merge+0x161>
sub    %rbx,%rax
lea    (%rcx,%rbx,4),%rcx
add    $0x4,%rcx
lea    (%rdi,%rdx,4),%rdx
add    $0x4,%rdx
xor    %esi,%esi
xchg   %ax,%ax
mov    -0x4(%rcx,%rsi,4),%edi
mov    %edi,-0x4(%rdx,%rsi,4)
addl   $0x2,0x4(%r9)
mov    (%rcx,%rsi,4),%edi
mov    %edi,(%rdx,%rsi,4)
addl   $0x2,0x4(%r9)
add    $0x2,%rsi
cmp    %rsi,%rax
jne    1240 <merge+0x140>
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

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