void *qsort_med3(void *a, void *b, void *c,
                 int (*compar)(const void *a, const void *b)) {
  if (compar(a, b) < 0) {
    if (compar(b, c) < 0)
      return b;
    else if (compar(a, c) < 0)
      return c;
    else
      return a;
  } else {
    if (compar(b, c) > 0)
      return b;
    else if (compar(a, c) > 0)
      return c;
    else
      return a;
  }
}


x86 assembly (clang, -O0):
<qsort_med3>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   *%rax
cmp    $0x0,%eax
jge    1184 <qsort_med3+0x84>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   *%rax
cmp    $0x0,%eax
jge    1153 <qsort_med3+0x53>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    11d4 <qsort_med3+0xd4>
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   *%rax
cmp    $0x0,%eax
jge    1177 <qsort_med3+0x77>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    11d4 <qsort_med3+0xd4>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    11d4 <qsort_med3+0xd4>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   *%rax
cmp    $0x0,%eax
jle    11a8 <qsort_med3+0xa8>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    11d4 <qsort_med3+0xd4>
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   *%rax
cmp    $0x0,%eax
jle    11cc <qsort_med3+0xcc>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    11d4 <qsort_med3+0xd4>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<qsort_med3>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rcx,%r12
mov    %rdx,%r14
mov    %rsi,%rbx
mov    %rdi,%r15
call   *%rcx
mov    %eax,%ebp
mov    %rbx,%rdi
mov    %r14,%rsi
call   *%r12
test   %ebp,%ebp
js     113a <qsort_med3+0x3a>
test   %eax,%eax
jg     1150 <qsort_med3+0x50>
mov    %r15,%rdi
mov    %r14,%rsi
call   *%r12
test   %eax,%eax
cmovg  %r14,%r15
jmp    114d <qsort_med3+0x4d>
test   %eax,%eax
js     1150 <qsort_med3+0x50>
mov    %r15,%rdi
mov    %r14,%rsi
call   *%r12
test   %eax,%eax
cmovs  %r14,%r15
mov    %r15,%rbx
mov    %rbx,%rax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @qsort_med3(i8* %0, i8* %1, i8* %2, i32 (i8*, i8*)* %3) {
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i32 (i8*, i8*)*
store i8* %0, i8** %6
store i8* %1, i8** %7
store i8* %2, i8** %8
store i32 (i8*, i8*)* %3, i32 (i8*, i8*)** %9
%10 = load i32 (i8*, i8*)*, i32 (i8*, i8*)** %9
%11 = load i8*, i8** %6
%12 = load i8*, i8** %7
%13 = call i32 %10(i8* %11, i8* %12)
%14 = icmp slt i32 %13, 0
br i1 %14, label %15, label %33
15: ; preds = %4
%16 = load i32 (i8*, i8*)*, i32 (i8*, i8*)** %9
%17 = load i8*, i8** %7
%18 = load i8*, i8** %8
%19 = call i32 %16(i8* %17, i8* %18)
%20 = icmp slt i32 %19, 0
br i1 %20, label %21, label %23
21: ; preds = %15
%22 = load i8*, i8** %7
store i8* %22, i8** %5
br label %51
23: ; preds = %15
%24 = load i32 (i8*, i8*)*, i32 (i8*, i8*)** %9
%25 = load i8*, i8** %6
%26 = load i8*, i8** %8
%27 = call i32 %24(i8* %25, i8* %26)
%28 = icmp slt i32 %27, 0
br i1 %28, label %29, label %31
29: ; preds = %23
%30 = load i8*, i8** %8
store i8* %30, i8** %5
br label %51
31: ; preds = %23
%32 = load i8*, i8** %6
store i8* %32, i8** %5
br label %51
33: ; preds = %4
%34 = load i32 (i8*, i8*)*, i32 (i8*, i8*)** %9
%35 = load i8*, i8** %7
%36 = load i8*, i8** %8
%37 = call i32 %34(i8* %35, i8* %36)
%38 = icmp sgt i32 %37, 0
br i1 %38, label %39, label %41
39: ; preds = %33
%40 = load i8*, i8** %7
store i8* %40, i8** %5
br label %51
41: ; preds = %33
%42 = load i32 (i8*, i8*)*, i32 (i8*, i8*)** %9
%43 = load i8*, i8** %6
%44 = load i8*, i8** %8
%45 = call i32 %42(i8* %43, i8* %44)
%46 = icmp sgt i32 %45, 0
br i1 %46, label %47, label %49
47: ; preds = %41
%48 = load i8*, i8** %8
store i8* %48, i8** %5
br label %51
49: ; preds = %41
%50 = load i8*, i8** %6
store i8* %50, i8** %5
br label %51
51: ; preds = %49, %47, %39, %31, %29, %21
%52 = load i8*, i8** %5
ret i8* %52
}

LLVM IR (-O2):
define i8* @qsort_med3(i8* %0, i8* %1, i8* %2, i32 (i8*, i8*)* nocapture %3) {
%5 = tail call i32 %3(i8* %0, i8* %1)
%6 = icmp slt i32 %5, 0
%7 = tail call i32 %3(i8* %1, i8* %2)
br i1 %6, label %8, label %14
8: ; preds = %4
%9 = icmp slt i32 %7, 0
br i1 %9, label %20, label %10
10: ; preds = %8
%11 = tail call i32 %3(i8* %0, i8* %2)
%12 = icmp slt i32 %11, 0
%13 = select i1 %12, i8* %2, i8* %0
br label %20
14: ; preds = %4
%15 = icmp sgt i32 %7, 0
br i1 %15, label %20, label %16
16: ; preds = %14
%17 = tail call i32 %3(i8* %0, i8* %2)
%18 = icmp sgt i32 %17, 0
%19 = select i1 %18, i8* %2, i8* %0
br label %20
20: ; preds = %16, %14, %10, %8
%21 = phi i8* [ %1, %8 ], [ %13, %10 ], [ %1, %14 ], [ %19, %16 ]
ret i8* %21
}