void heap_sink(int keys[], unsigned n, unsigned k) {
  while (2 * k <= n) {
    int j = 2 * k;
    if (j < n && (((keys[j])) < ((keys[j + 1]))))
      j++;
    if (!(((keys[k])) < ((keys[j]))))
      break;
    do {
      typeof(keys[k]) temp_swap_var_ = (keys[k]);
      (keys[k]) = (keys[j]);
      (keys[j]) = temp_swap_var_;
    } while (0);
    k = j;
  }
}


x86 assembly (clang, -O0):
<heap_sink>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x10(%rbp),%eax
shl    $0x1,%eax
cmp    -0xc(%rbp),%eax
ja     11bc <heap_sink+0xbc>
mov    -0x10(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    115c <heap_sink+0x5c>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x14(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    115c <heap_sink+0x5c>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jl     117c <heap_sink+0x7c>
jmp    11bc <heap_sink+0xbc>
jmp    1181 <heap_sink+0x81>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    110e <heap_sink+0xe>
pop    %rbp
ret

x86 assembly (clang, -O2):
<heap_sink>:
lea    (%rdx,%rdx,1),%eax
cmp    %esi,%eax
ja     114f <heap_sink+0x4f>
nopw   0x0(%rax,%rax,1)
cmp    %esi,%eax
jae    112b <heap_sink+0x2b>
movslq %eax,%rcx
mov    (%rdi,%rcx,4),%r9d
mov    %eax,%r8d
or     $0x1,%r8d
movslq %r8d,%rcx
cmp    (%rdi,%rcx,4),%r9d
jl     112e <heap_sink+0x2e>
mov    %eax,%r8d
mov    %edx,%r9d
mov    (%rdi,%r9,4),%ecx
movslq %r8d,%rax
mov    (%rdi,%rax,4),%edx
cmp    %edx,%ecx
jge    114f <heap_sink+0x4f>
mov    %edx,(%rdi,%r9,4)
mov    %ecx,(%rdi,%rax,4)
add    %eax,%eax
mov    %r8d,%edx
cmp    %esi,%eax
jbe    1110 <heap_sink+0x10>
ret

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

LLVM IR (-O2):
define void @heap_sink(i32* nocapture %0, i32 %1, i32 %2) {
%4 = shl i32 %2, 1
%5 = icmp ugt i32 %4, %1
br i1 %5, label %32, label %6
6: ; preds = %3, %29
%7 = phi i32 [ %30, %29 ], [ %4, %3 ]
%8 = phi i32 [ %21, %29 ], [ %2, %3 ]
%9 = icmp ult i32 %7, %1
br i1 %9, label %10, label %20
10: ; preds = %6
%11 = sext i32 %7 to i64
%12 = getelementptr inbounds i32, i32* %0, i64 %11
%13 = load i32, i32* %12
%14 = or i32 %7, 1
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i32, i32* %0, i64 %15
%17 = load i32, i32* %16
%18 = icmp slt i32 %13, %17
%19 = select i1 %18, i32 %14, i32 %7
br label %20
20: ; preds = %10, %6
%21 = phi i32 [ %7, %6 ], [ %19, %10 ]
%22 = zext i32 %8 to i64
%23 = getelementptr inbounds i32, i32* %0, i64 %22
%24 = load i32, i32* %23
%25 = sext i32 %21 to i64
%26 = getelementptr inbounds i32, i32* %0, i64 %25
%27 = load i32, i32* %26
%28 = icmp slt i32 %24, %27
br i1 %28, label %29, label %32
29: ; preds = %20
store i32 %27, i32* %23
store i32 %24, i32* %26
%30 = shl i32 %21, 1
%31 = icmp ugt i32 %30, %1
br i1 %31, label %32, label %6
32: ; preds = %29, %20, %3
ret void
}