void merge(void *a, int iBegin, int iMiddle, int iEnd, void *b, int esize,
           int compare(void *key1, void *key2)) {
  char *data = a;
  int i0 = iBegin;
  int i1 = iMiddle + 1;
  for (int j = iBegin; j <= iEnd; j++) {
    if ((i0 <= iMiddle) &&
        ((i1 > iEnd) || (compare(&data[(i1)*esize], &data[(i0)*esize]) > 0))) {
      copy_data(j, i0, b, a, esize);
      i0++;
    } else {
      copy_data(j, i1, b, a, esize);
      i1++;
    }
  }
  return;
}


x86 assembly (clang, -O0):
<merge>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     11ff <merge+0xef>
mov    -0x34(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     11ca <merge+0xba>
mov    -0x38(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     11a3 <merge+0x93>
mov    0x10(%rbp),%rax
mov    -0x30(%rbp),%rdi
mov    -0x38(%rbp),%ecx
imul   -0x24(%rbp),%ecx
movslq %ecx,%rcx
add    %rcx,%rdi
mov    -0x30(%rbp),%rsi
mov    -0x34(%rbp),%ecx
imul   -0x24(%rbp),%ecx
movslq %ecx,%rcx
add    %rcx,%rsi
call   *%rax
cmp    $0x0,%eax
jle    11ca <merge+0xba>
mov    -0x3c(%rbp),%edi
mov    -0x34(%rbp),%esi
mov    -0x20(%rbp),%rdx
mov    -0x8(%rbp),%rcx
mov    -0x24(%rbp),%r8d
mov    $0x0,%al
call   1030 <copy_data@plt>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11ec <merge+0xdc>
mov    -0x3c(%rbp),%edi
mov    -0x38(%rbp),%esi
mov    -0x20(%rbp),%rdx
mov    -0x8(%rbp),%rcx
mov    -0x24(%rbp),%r8d
mov    $0x0,%al
call   1030 <copy_data@plt>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    11f1 <merge+0xe1>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    114e <merge+0x3e>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r8,0x8(%rsp)
mov    %rdx,0x10(%rsp)
mov    %rcx,(%rsp)
cmp    %ecx,%esi
jle    113f <merge+0x2f>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r9d,%r13d
mov    %esi,%ebp
mov    %rdi,%rbx
mov    0x10(%rsp),%rax
lea    0x1(%rax),%r15d
mov    (%rsp),%rax
lea    0x1(%rax),%r12d
mov    %esi,%r14d
jmp    1183 <merge+0x73>
nopl   (%rax)
mov    %ebp,%edi
mov    %r15d,%esi
mov    0x8(%rsp),%rdx
mov    %rbx,%rcx
mov    %r13d,%r8d
xor    %eax,%eax
call   1030 <copy_data@plt>
add    $0x1,%r15d
add    $0x1,%ebp
cmp    %ebp,%r12d
je     1130 <merge+0x20>
cmp    0x10(%rsp),%r14d
jg     1160 <merge+0x50>
cmp    (%rsp),%r15d
jg     11b2 <merge+0xa2>
mov    %r15d,%eax
imul   %r13d,%eax
movslq %eax,%rdi
add    %rbx,%rdi
mov    %r14d,%eax
imul   %r13d,%eax
movslq %eax,%rsi
add    %rbx,%rsi
call   *0x50(%rsp)
test   %eax,%eax
jle    1160 <merge+0x50>
mov    %ebp,%edi
mov    %r14d,%esi
mov    0x8(%rsp),%rdx
mov    %rbx,%rcx
mov    %r13d,%r8d
xor    %eax,%eax
call   1030 <copy_data@plt>
add    $0x1,%r14d
jmp    117b <merge+0x6b>

LLVM IR (-O0):
define void @merge(i8* %0, i32 %1, i32 %2, i32 %3, i8* %4, i32 %5, i32 (i8*, i8*)* %6) {
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i8*
%13 = alloca i32
%14 = alloca i32 (i8*, i8*)*
%15 = alloca i8*
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
store i8* %0, i8** %8
store i32 %1, i32* %9
store i32 %2, i32* %10
store i32 %3, i32* %11
store i8* %4, i8** %12
store i32 %5, i32* %13
store i32 (i8*, i8*)* %6, i32 (i8*, i8*)** %14
%19 = load i8*, i8** %8
store i8* %19, i8** %15
%20 = load i32, i32* %9
store i32 %20, i32* %16
%21 = load i32, i32* %10
%22 = add nsw i32 %21, 1
store i32 %22, i32* %17
%23 = load i32, i32* %9
store i32 %23, i32* %18
br label %24
24: ; preds = %71, %7
%25 = load i32, i32* %18
%26 = load i32, i32* %11
%27 = icmp sle i32 %25, %26
br i1 %27, label %28, label %74
28: ; preds = %24
%29 = load i32, i32* %16
%30 = load i32, i32* %10
%31 = icmp sle i32 %29, %30
br i1 %31, label %32, label %61
32: ; preds = %28
%33 = load i32, i32* %17
%34 = load i32, i32* %11
%35 = icmp sgt i32 %33, %34
br i1 %35, label %52, label %36
36: ; preds = %32
%37 = load i32 (i8*, i8*)*, i32 (i8*, i8*)** %14
%38 = load i8*, i8** %15
%39 = load i32, i32* %17
%40 = load i32, i32* %13
%41 = mul nsw i32 %39, %40
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i8, i8* %38, i64 %42
%44 = load i8*, i8** %15
%45 = load i32, i32* %16
%46 = load i32, i32* %13
%47 = mul nsw i32 %45, %46
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i8, i8* %44, i64 %48
%50 = call i32 %37(i8* %43, i8* %49)
%51 = icmp sgt i32 %50, 0
br i1 %51, label %52, label %61
52: ; preds = %36, %32
%53 = load i32, i32* %18
%54 = load i32, i32* %16
%55 = load i8*, i8** %12
%56 = load i8*, i8** %8
%57 = load i32, i32* %13
%58 = call i32 (i32, i32, i8*, i8*, i32, ...) bitcast (i32 (...)* @copy_data to i32 (i32, i32, i8*, i8*, i32, ...)*)(i32 %53, i32 %54, i8* %55, i8* %56, i32 %57)
%59 = load i32, i32* %16
%60 = add nsw i32 %59, 1
store i32 %60, i32* %16
br label %70
61: ; preds = %36, %28
%62 = load i32, i32* %18
%63 = load i32, i32* %17
%64 = load i8*, i8** %12
%65 = load i8*, i8** %8
%66 = load i32, i32* %13
%67 = call i32 (i32, i32, i8*, i8*, i32, ...) bitcast (i32 (...)* @copy_data to i32 (i32, i32, i8*, i8*, i32, ...)*)(i32 %62, i32 %63, i8* %64, i8* %65, i32 %66)
%68 = load i32, i32* %17
%69 = add nsw i32 %68, 1
store i32 %69, i32* %17
br label %70
70: ; preds = %61, %52
br label %71
71: ; preds = %70
%72 = load i32, i32* %18
%73 = add nsw i32 %72, 1
store i32 %73, i32* %18
br label %24
74: ; preds = %24
ret void
}

LLVM IR (-O2):
define void @merge(i8* %0, i32 %1, i32 %2, i32 %3, i8* %4, i32 %5, i32 (i8*, i8*)* nocapture %6) {
%8 = icmp sgt i32 %1, %3
br i1 %8, label %11, label %9
9: ; preds = %7
%10 = add nsw i32 %2, 1
br label %12
11: ; preds = %34, %7
ret void
12: ; preds = %9, %34
%13 = phi i32 [ %37, %34 ], [ %1, %9 ]
%14 = phi i32 [ %36, %34 ], [ %10, %9 ]
%15 = phi i32 [ %35, %34 ], [ %1, %9 ]
%16 = icmp sgt i32 %15, %2
br i1 %16, label %31, label %17
17: ; preds = %12
%18 = icmp sgt i32 %14, %3
br i1 %18, label %28, label %19
19: ; preds = %17
%20 = mul nsw i32 %14, %5
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %0, i64 %21
%23 = mul nsw i32 %15, %5
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %0, i64 %24
%26 = tail call i32 %6(i8* %22, i8* %25)
%27 = icmp sgt i32 %26, 0
br i1 %27, label %28, label %31
28: ; preds = %19, %17
%29 = tail call i32 (i32, i32, i8*, i8*, i32, ...) bitcast (i32 (...)* @copy_data to i32 (i32, i32, i8*, i8*, i32, ...)*)(i32 %13, i32 %15, i8* %4, i8* %0, i32 %5)
%30 = add nsw i32 %15, 1
br label %34
31: ; preds = %19, %12
%32 = tail call i32 (i32, i32, i8*, i8*, i32, ...) bitcast (i32 (...)* @copy_data to i32 (i32, i32, i8*, i8*, i32, ...)*)(i32 %13, i32 %14, i8* %4, i8* %0, i32 %5)
%33 = add nsw i32 %14, 1
br label %34
34: ; preds = %28, %31
%35 = phi i32 [ %30, %28 ], [ %15, %31 ]
%36 = phi i32 [ %14, %28 ], [ %33, %31 ]
%37 = add i32 %13, 1
%38 = icmp eq i32 %13, %3
br i1 %38, label %11, label %12
}