void heapsort(int x[], int n) {
  int i, s, f, ivalue;
  for (i = n - 1; i > 0; i--) {
    ivalue = x[i];
    x[i] = x[0];
    f = 0;
    if (i == 1)
      s = -1;
    else
      s = 1;
    if (i > 2 && x[2] > x[1])
      s = 2;
    while (s >= 0 && ivalue < x[s]) {
      x[f] = x[s];
      f = s;
      s = 2 * f + 1;
      if (s + 1 <= i - 1 && x[s] < x[s + 1])
        s++;
      if (s > i - 1)
        s = -1;
    }
    x[f] = ivalue;
  }
}


x86 assembly (clang, -O0):
<heapsort>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jle    125d <heapsort+0x15d>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%edx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0x18(%rbp)
cmpl   $0x1,-0x10(%rbp)
jne    115a <heapsort+0x5a>
movl   $0xffffffff,-0x14(%rbp)
jmp    1161 <heapsort+0x61>
movl   $0x1,-0x14(%rbp)
cmpl   $0x2,-0x10(%rbp)
jle    1186 <heapsort+0x86>
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x8(%rbp),%rcx
cmp    0x4(%rcx),%eax
jle    1186 <heapsort+0x86>
movl   $0x2,-0x14(%rbp)
jmp    118b <heapsort+0x8b>
xor    %eax,%eax
cmpl   $0x0,-0x14(%rbp)
mov    %al,-0x1d(%rbp)
jl     11ae <heapsort+0xae>
mov    -0x1c(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
setl   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    11be <heapsort+0xbe>
jmp    1241 <heapsort+0x141>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1224 <heapsort+0x124>
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    1224 <heapsort+0x124>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jle    123c <heapsort+0x13c>
movl   $0xffffffff,-0x14(%rbp)
jmp    118b <heapsort+0x8b>
mov    -0x1c(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1114 <heapsort+0x14>
pop    %rbp
ret

x86 assembly (clang, -O2):
<heapsort>:
push   %rbp
push   %rbx
cmp    $0x2,%esi
jl     11c6 <heapsort+0xc6>
mov    %esi,%r10d
mov    $0x2,%r8d
jmp    1132 <heapsort+0x32>
cs nopw 0x0(%rax,%rax,1)
mov    %eax,%ecx
mov    %ecx,%eax
mov    %r11d,(%rdi,%rax,4)
cmp    $0x2,%r9
jle    11c6 <heapsort+0xc6>
mov    %r10,%r9
add    $0xffffffffffffffff,%r10
mov    %r10d,%eax
mov    (%rdi,%rax,4),%r11d
mov    (%rdi),%ecx
mov    %ecx,(%rdi,%rax,4)
xor    %eax,%eax
cmp    $0x1,%r10d
setne  %al
lea    (%rax,%rax,1),%esi
add    $0xffffffff,%esi
cmp    $0x4,%r9
jb     1166 <heapsort+0x66>
mov    0x8(%rdi),%eax
cmp    0x4(%rdi),%eax
cmovg  %r8d,%esi
jg     116e <heapsort+0x6e>
xor    %ecx,%ecx
cmp    $0x1,%r10d
je     1122 <heapsort+0x22>
lea    -0x2(%r9),%ebp
xor    %eax,%eax
jmp    1186 <heapsort+0x86>
cs nopw 0x0(%rax,%rax,1)
mov    %ecx,%eax
test   %esi,%esi
js     1122 <heapsort+0x22>
mov    %esi,%ecx
mov    %esi,%esi
mov    (%rdi,%rsi,4),%esi
cmp    %esi,%r11d
jge    1120 <heapsort+0x20>
mov    %eax,%eax
mov    %esi,(%rdi,%rax,4)
lea    (%rcx,%rcx,1),%eax
add    $0x1,%eax
lea    (%rcx,%rcx,1),%esi
add    $0x2,%esi
cmp    %ebp,%esi
jg     11b9 <heapsort+0xb9>
movslq %eax,%rbx
mov    (%rdi,%rbx,4),%ebx
movslq %esi,%rdx
cmp    (%rdi,%rdx,4),%ebx
jl     11b7 <heapsort+0xb7>
mov    %eax,%esi
mov    %esi,%eax
mov    $0xffffffff,%esi
cmp    %ebp,%eax
jg     1180 <heapsort+0x80>
mov    %eax,%esi
jmp    1180 <heapsort+0x80>
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define void @heapsort(i32* nocapture %0, i32 %1) {
%3 = icmp sgt i32 %1, 1
br i1 %3, label %4, label %64
4: ; preds = %2
%5 = getelementptr inbounds i32, i32* %0, i64 2
%6 = getelementptr inbounds i32, i32* %0, i64 1
%7 = zext i32 %1 to i64
br label %8
8: ; preds = %4, %59
%9 = phi i64 [ %7, %4 ], [ %11, %59 ]
%10 = trunc i64 %9 to i32
%11 = add nsw i64 %9, -1
%12 = trunc i64 %11 to i32
%13 = and i64 %11, 4294967295
%14 = getelementptr inbounds i32, i32* %0, i64 %13
%15 = load i32, i32* %14
%16 = load i32, i32* %0
store i32 %16, i32* %14
%17 = icmp eq i32 %12, 1
%18 = select i1 %17, i32 -1, i32 1
%19 = icmp ugt i64 %9, 3
br i1 %19, label %20, label %27
20: ; preds = %8
%21 = load i32, i32* %5
%22 = load i32, i32* %6
%23 = icmp sgt i32 %21, %22
%24 = xor i1 %17, true
%25 = select i1 %23, i1 true, i1 %24
%26 = select i1 %23, i32 2, i32 %18
br i1 %25, label %28, label %59
27: ; preds = %8
br i1 %17, label %59, label %28
28: ; preds = %20, %27
%29 = phi i32 [ %18, %27 ], [ %26, %20 ]
%30 = add nsw i32 %10, -2
br label %31
31: ; preds = %28, %54
%32 = phi i32 [ 0, %28 ], [ %33, %54 ]
%33 = phi i32 [ %29, %28 ], [ %57, %54 ]
%34 = zext i32 %33 to i64
%35 = getelementptr inbounds i32, i32* %0, i64 %34
%36 = load i32, i32* %35
%37 = icmp slt i32 %15, %36
br i1 %37, label %38, label %59
38: ; preds = %31
%39 = zext i32 %32 to i64
%40 = getelementptr inbounds i32, i32* %0, i64 %39
store i32 %36, i32* %40
%41 = shl nuw nsw i32 %33, 1
%42 = or i32 %41, 1
%43 = add i32 %41, 2
%44 = icmp sgt i32 %43, %30
br i1 %44, label %54, label %45
45: ; preds = %38
%46 = sext i32 %42 to i64
%47 = getelementptr inbounds i32, i32* %0, i64 %46
%48 = load i32, i32* %47
%49 = sext i32 %43 to i64
%50 = getelementptr inbounds i32, i32* %0, i64 %49
%51 = load i32, i32* %50
%52 = icmp slt i32 %48, %51
%53 = select i1 %52, i32 %43, i32 %42
br label %54
54: ; preds = %45, %38
%55 = phi i32 [ %42, %38 ], [ %53, %45 ]
%56 = icmp sgt i32 %55, %30
%57 = select i1 %56, i32 -1, i32 %55
%58 = icmp sgt i32 %57, -1
br i1 %58, label %31, label %59
59: ; preds = %31, %54, %20, %27
%60 = phi i32 [ 0, %27 ], [ 0, %20 ], [ %33, %54 ], [ %32, %31 ]
%61 = zext i32 %60 to i64
%62 = getelementptr inbounds i32, i32* %0, i64 %61
store i32 %15, i32* %62
%63 = icmp sgt i64 %9, 2
br i1 %63, label %8, label %64
64: ; preds = %59, %2
ret void
}