void heap_key(void **arr, int i, int (*func)(void *, void *)) {
  while (i > 0 && func(arr[i], arr[i / 2])) {
    void *temp = arr[i];
    arr[i] = arr[i / 2];
    arr[i / 2] = temp;
    i = i / 2;
  }
}


x86 assembly (clang, -O0):
<heap_key>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x21(%rbp)
jle    115d <heap_key+0x5d>
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x30(%rbp),%rax
movslq %edx,%rdx
mov    (%rcx,%rdx,8),%rsi
call   *%rax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
test   $0x1,%al
jne    116d <heap_key+0x6d>
jmp    11e8 <heap_key+0xe8>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    -0x40(%rbp),%rdx
mov    %eax,%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0xc(%rbp)
jmp    1113 <heap_key+0x13>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<heap_key>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
test   %esi,%esi
jle    1148 <heap_key+0x48>
mov    %rdx,%r14
mov    %esi,%r15d
mov    %rdi,%rbx
mov    %esi,%eax
mov    (%rdi,%rax,8),%rdi
mov    %esi,%ebp
nopl   0x0(%rax)
shr    %ebp
mov    (%rbx,%rbp,8),%rsi
call   *%r14
test   %eax,%eax
je     1148 <heap_key+0x48>
mov    %r15d,%eax
mov    (%rbx,%rax,8),%rdi
mov    (%rbx,%rbp,8),%rcx
mov    %rcx,(%rbx,%rax,8)
mov    %rdi,(%rbx,%rbp,8)
mov    %ebp,%r15d
cmp    $0x1,%eax
ja     1120 <heap_key+0x20>
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @heap_key(i8** nocapture %0, i32 %1, i32 (i8*, i8*)* nocapture %2) {
%4 = icmp sgt i32 %1, 0
br i1 %4, label %5, label %24
5: ; preds = %3
%6 = zext i32 %1 to i64
%7 = getelementptr inbounds i8*, i8** %0, i64 %6
%8 = load i8*, i8** %7
br label %9
9: ; preds = %5, %20
%10 = phi i8* [ %21, %20 ], [ %8, %5 ]
%11 = phi i32 [ %14, %20 ], [ %1, %5 ]
%12 = zext i32 %11 to i64
%13 = getelementptr inbounds i8*, i8** %0, i64 %12
%14 = lshr i32 %11, 1
%15 = zext i32 %14 to i64
%16 = getelementptr inbounds i8*, i8** %0, i64 %15
%17 = load i8*, i8** %16
%18 = tail call i32 %2(i8* %10, i8* %17)
%19 = icmp eq i32 %18, 0
br i1 %19, label %24, label %20
20: ; preds = %9
%21 = load i8*, i8** %13
%22 = load i8*, i8** %16
store i8* %22, i8** %13
store i8* %21, i8** %16
%23 = icmp ult i32 %11, 2
br i1 %23, label %24, label %9
24: ; preds = %9, %20, %3
ret void
}