void trickle_down(int *data, int pos, int n) {
  int left = 2 * pos + 1, right, t;
  if (left >= n) {
    return;
  }
  right = 2 * pos + 2;
  if (right >= n) {
    if (data[pos] < data[left]) {
      t = data[pos];
      data[pos] = data[left];
      data[left] = t;
    }
    return;
  }
  if (data[pos] < data[left]) {
    if (data[left] < data[right]) {
      t = data[pos];
      data[pos] = data[right];
      data[right] = t;
      trickle_down(data, right, n);
    } else {
      t = data[pos];
      data[pos] = data[left];
      data[left] = t;
      trickle_down(data, left, n);
    }
  } else if (data[pos] < data[right]) {
    t = data[pos];
    data[pos] = data[right];
    data[right] = t;
    trickle_down(data, right, n);
  }
}


x86 assembly (clang, -O0):
<trickle_down>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jl     113f <trickle_down+0x2f>
jmp    12d0 <trickle_down+0x1c0>
mov    -0xc(%rbp),%eax
shl    $0x1,%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jl     11aa <trickle_down+0x9a>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11a5 <trickle_down+0x95>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12d0 <trickle_down+0x1c0>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    126e <trickle_down+0x15e>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1228 <trickle_down+0x118>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%esi
mov    -0x10(%rbp),%edx
call   1030 <trickle_down@plt>
jmp    1269 <trickle_down+0x159>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x10(%rbp),%edx
call   1030 <trickle_down@plt>
jmp    12d0 <trickle_down+0x1c0>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    12cb <trickle_down+0x1bb>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%esi
mov    -0x10(%rbp),%edx
call   1030 <trickle_down@plt>
jmp    12d0 <trickle_down+0x1c0>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<trickle_down>:
push   %rbx
lea    (%rsi,%rsi,1),%r11d
add    $0x1,%r11d
cmp    %edx,%r11d
jge    1188 <trickle_down+0x88>
lea    (%rsi,%rsi,1),%ecx
jmp    1147 <trickle_down+0x47>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %ebx,%eax
mov    %rsi,%r10
mov    %ecx,%r11d
cmp    %ebx,%r8d
jge    1188 <trickle_down+0x88>
mov    %r11d,%esi
mov    %eax,(%rdi,%r9,4)
mov    %r8d,(%r10)
lea    (%rsi,%rsi,1),%ecx
lea    (%rsi,%rsi,1),%r11d
add    $0x1,%r11d
cmp    %edx,%r11d
jge    1188 <trickle_down+0x88>
add    $0x2,%ecx
movslq %esi,%r9
mov    (%rdi,%r9,4),%r8d
movslq %r11d,%rax
lea    (%rdi,%rax,4),%r10
mov    (%rdi,%rax,4),%eax
cmp    %edx,%ecx
jge    117c <trickle_down+0x7c>
movslq %ecx,%rbx
lea    (%rdi,%rbx,4),%rsi
mov    (%rdi,%rbx,4),%ebx
cmp    %eax,%r8d
jge    1120 <trickle_down+0x20>
cmp    %ebx,%eax
jge    112d <trickle_down+0x2d>
mov    %ebx,%eax
mov    %rsi,%r10
mov    %ecx,%r11d
jmp    112d <trickle_down+0x2d>
cmp    %eax,%r8d
jge    1188 <trickle_down+0x88>
mov    %eax,(%rdi,%r9,4)
mov    %r8d,(%r10)
pop    %rbx
ret

LLVM IR (-O0):
define void @trickle_down(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%10 = load i32, i32* %5
%11 = mul nsw i32 2, %10
%12 = add nsw i32 %11, 1
store i32 %12, i32* %7
%13 = load i32, i32* %7
%14 = load i32, i32* %6
%15 = icmp sge i32 %13, %14
br i1 %15, label %16, label %17
16: ; preds = %3
br label %164
17: ; preds = %3
%18 = load i32, i32* %5
%19 = mul nsw i32 2, %18
%20 = add nsw i32 %19, 2
store i32 %20, i32* %8
%21 = load i32, i32* %8
%22 = load i32, i32* %6
%23 = icmp sge i32 %21, %22
br i1 %23, label %24, label %57
24: ; preds = %17
%25 = load i32*, i32** %4
%26 = load i32, i32* %5
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i32, i32* %25, i64 %27
%29 = load i32, i32* %28
%30 = load i32*, i32** %4
%31 = load i32, i32* %7
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %30, i64 %32
%34 = load i32, i32* %33
%35 = icmp slt i32 %29, %34
br i1 %35, label %36, label %56
36: ; preds = %24
%37 = load i32*, i32** %4
%38 = load i32, i32* %5
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i32, i32* %37, i64 %39
%41 = load i32, i32* %40
store i32 %41, i32* %9
%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 = load i32*, i32** %4
%48 = load i32, i32* %5
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i32, i32* %47, i64 %49
store i32 %46, i32* %50
%51 = load i32, i32* %9
%52 = load i32*, i32** %4
%53 = load i32, i32* %7
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %52, i64 %54
store i32 %51, i32* %55
br label %56
56: ; preds = %36, %24
br label %164
57: ; preds = %17
%58 = load i32*, i32** %4
%59 = load i32, i32* %5
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i32, i32* %58, i64 %60
%62 = load i32, i32* %61
%63 = load i32*, i32** %4
%64 = load i32, i32* %7
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i32, i32* %63, i64 %65
%67 = load i32, i32* %66
%68 = icmp slt i32 %62, %67
br i1 %68, label %69, label %128
69: ; preds = %57
%70 = load i32*, i32** %4
%71 = load i32, i32* %7
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i32, i32* %70, i64 %72
%74 = load i32, i32* %73
%75 = load i32*, i32** %4
%76 = load i32, i32* %8
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %75, i64 %77
%79 = load i32, i32* %78
%80 = icmp slt i32 %74, %79
br i1 %80, label %81, label %104
81: ; preds = %69
%82 = load i32*, i32** %4
%83 = load i32, i32* %5
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i32, i32* %82, i64 %84
%86 = load i32, i32* %85
store i32 %86, i32* %9
%87 = load i32*, i32** %4
%88 = load i32, i32* %8
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i32, i32* %87, i64 %89
%91 = load i32, i32* %90
%92 = load i32*, i32** %4
%93 = load i32, i32* %5
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i32, i32* %92, i64 %94
store i32 %91, i32* %95
%96 = load i32, i32* %9
%97 = load i32*, i32** %4
%98 = load i32, i32* %8
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i32, i32* %97, i64 %99
store i32 %96, i32* %100
%101 = load i32*, i32** %4
%102 = load i32, i32* %8
%103 = load i32, i32* %6
br label %127
104: ; preds = %69
%105 = load i32*, i32** %4
%106 = load i32, i32* %5
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds i32, i32* %105, i64 %107
%109 = load i32, i32* %108
store i32 %109, i32* %9
%110 = load i32*, i32** %4
%111 = load i32, i32* %7
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i32, i32* %110, i64 %112
%114 = load i32, i32* %113
%115 = load i32*, i32** %4
%116 = load i32, i32* %5
%117 = sext i32 %116 to i64
%118 = getelementptr inbounds i32, i32* %115, i64 %117
store i32 %114, i32* %118
%119 = load i32, i32* %9
%120 = load i32*, i32** %4
%121 = load i32, i32* %7
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds i32, i32* %120, i64 %122
store i32 %119, i32* %123
%124 = load i32*, i32** %4
%125 = load i32, i32* %7
%126 = load i32, i32* %6
br label %127
127: ; preds = %104, %81
br label %164
128: ; preds = %57
%129 = load i32*, i32** %4
%130 = load i32, i32* %5
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds i32, i32* %129, i64 %131
%133 = load i32, i32* %132
%134 = load i32*, i32** %4
%135 = load i32, i32* %8
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds i32, i32* %134, i64 %136
%138 = load i32, i32* %137
%139 = icmp slt i32 %133, %138
br i1 %139, label %140, label %163
140: ; preds = %128
%141 = load i32*, i32** %4
%142 = load i32, i32* %5
%143 = sext i32 %142 to i64
%144 = getelementptr inbounds i32, i32* %141, i64 %143
%145 = load i32, i32* %144
store i32 %145, i32* %9
%146 = load i32*, i32** %4
%147 = load i32, i32* %8
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds i32, i32* %146, i64 %148
%150 = load i32, i32* %149
%151 = load i32*, i32** %4
%152 = load i32, i32* %5
%153 = sext i32 %152 to i64
%154 = getelementptr inbounds i32, i32* %151, i64 %153
store i32 %150, i32* %154
%155 = load i32, i32* %9
%156 = load i32*, i32** %4
%157 = load i32, i32* %8
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds i32, i32* %156, i64 %158
store i32 %155, i32* %159
%160 = load i32*, i32** %4
%161 = load i32, i32* %8
%162 = load i32, i32* %6
br label %163
163: ; preds = %140, %128
br label %164
164: ; preds = %16, %56, %163, %127
ret void
}

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