#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
size_t filho_dir(int);
size_t filho_esq(int);
int /*<<< orphan*/ troca(int *, int *);
void pushDown(int i, int *heap, int tam) {
  int ha_esq = 0, ha_dir = 0;
  if (filho_esq(i) <= tam)
    ha_esq = 1;
  if (filho_dir(i) <= tam)
    ha_dir = 1;
  if (ha_esq && !ha_dir) {
    if (heap[i] < heap[filho_esq(i)]) {
      troca(&heap[filho_esq(i)], &heap[i]);
      pushDown(filho_esq(i), heap, tam);
    }
  } else if (ha_esq && ha_dir) {
    if ((heap[i] < heap[filho_esq(i)]) || (heap[i] < heap[filho_dir(i)])) {
      if (heap[filho_esq(i)] > heap[filho_dir(i)]) {
        troca(&heap[filho_esq(i)], &heap[i]);
        i = filho_esq(i);
      } else {
        troca(&heap[filho_dir(i)], &heap[i]);
        i = filho_dir(i);
      }
      pushDown(i, heap, tam);
    }
  }
}


x86 assembly (clang, -O0):
<pushDown>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x4(%rbp),%edi
call   1050 <filho_esq@plt>
movslq -0x14(%rbp),%rcx
cmp    %rcx,%rax
ja     117f <pushDown+0x3f>
movl   $0x1,-0x18(%rbp)
mov    -0x4(%rbp),%edi
call   1040 <filho_dir@plt>
movslq -0x14(%rbp),%rcx
cmp    %rcx,%rax
ja     119b <pushDown+0x5b>
movl   $0x1,-0x1c(%rbp)
cmpl   $0x0,-0x18(%rbp)
je     122a <pushDown+0xea>
cmpl   $0x0,-0x1c(%rbp)
jne    122a <pushDown+0xea>
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x4(%rbp),%edi
call   1050 <filho_esq@plt>
mov    -0x28(%rbp),%rcx
mov    %rax,%rdx
mov    -0x20(%rbp),%eax
cmp    (%rcx,%rdx,4),%eax
jge    1225 <pushDown+0xe5>
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x4(%rbp),%edi
call   1050 <filho_esq@plt>
mov    -0x30(%rbp),%rdi
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x4(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
call   1060 <troca@plt>
mov    -0x4(%rbp),%edi
call   1050 <filho_esq@plt>
mov    %eax,%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1030 <pushDown@plt>
jmp    1372 <pushDown+0x232>
cmpl   $0x0,-0x18(%rbp)
je     136d <pushDown+0x22d>
cmpl   $0x0,-0x1c(%rbp)
je     136d <pushDown+0x22d>
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x4(%rbp),%edi
call   1050 <filho_esq@plt>
mov    -0x40(%rbp),%rcx
mov    %rax,%rdx
mov    -0x34(%rbp),%eax
cmp    (%rcx,%rdx,4),%eax
jl     12a0 <pushDown+0x160>
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x4(%rbp),%edi
call   1040 <filho_dir@plt>
mov    -0x50(%rbp),%rcx
mov    %rax,%rdx
mov    -0x44(%rbp),%eax
cmp    (%rcx,%rdx,4),%eax
jge    1368 <pushDown+0x228>
mov    -0x10(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x4(%rbp),%edi
call   1050 <filho_esq@plt>
mov    %rax,%rcx
mov    -0x68(%rbp),%rax
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x54(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x4(%rbp),%edi
call   1040 <filho_dir@plt>
mov    -0x60(%rbp),%rcx
mov    %rax,%rdx
mov    -0x54(%rbp),%eax
cmp    (%rcx,%rdx,4),%eax
jle    131f <pushDown+0x1df>
mov    -0x10(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x4(%rbp),%edi
call   1050 <filho_esq@plt>
mov    -0x70(%rbp),%rdi
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x4(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
call   1060 <troca@plt>
mov    -0x4(%rbp),%edi
call   1050 <filho_esq@plt>
mov    %eax,-0x4(%rbp)
jmp    1359 <pushDown+0x219>
mov    -0x10(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x4(%rbp),%edi
call   1040 <filho_dir@plt>
mov    -0x78(%rbp),%rdi
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x4(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
call   1060 <troca@plt>
mov    -0x4(%rbp),%edi
call   1040 <filho_dir@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1030 <pushDown@plt>
jmp    136d <pushDown+0x22d>
jmp    1372 <pushDown+0x232>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pushDown>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %edi,%r12d
movslq %edx,%r13
jmp    116f <pushDown+0x3f>
cs nopw 0x0(%rax,%rax,1)
mov    %r12d,%edi
call   1030 <filho_dir@plt>
lea    (%r14,%rax,4),%rdi
mov    %r15,%rsi
call   1050 <troca@plt>
mov    %r12d,%edi
call   1030 <filho_dir@plt>
mov    %rax,%r12
mov    %r12d,%edi
call   1040 <filho_esq@plt>
mov    %rax,%rbx
mov    %r12d,%edi
call   1030 <filho_dir@plt>
cmp    %r13,%rbx
ja     11c0 <pushDown+0x90>
cmp    %r13,%rax
jbe    11c0 <pushDown+0x90>
movslq %r12d,%rbx
mov    (%r14,%rbx,4),%ebp
mov    %r12d,%edi
call   1040 <filho_esq@plt>
cmp    (%r14,%rax,4),%ebp
jge    1236 <pushDown+0x106>
lea    (%r14,%rbx,4),%rbx
mov    %r12d,%edi
call   1040 <filho_esq@plt>
lea    (%r14,%rax,4),%rdi
mov    %rbx,%rsi
jmp    1221 <pushDown+0xf1>
nopw   0x0(%rax,%rax,1)
cmp    %r13,%rbx
ja     1236 <pushDown+0x106>
cmp    %r13,%rax
ja     1236 <pushDown+0x106>
movslq %r12d,%rax
lea    (%r14,%rax,4),%r15
mov    (%r14,%rax,4),%ebx
mov    %r12d,%edi
call   1040 <filho_esq@plt>
cmp    (%r14,%rax,4),%ebx
jl     11f4 <pushDown+0xc4>
mov    (%r15),%ebx
mov    %r12d,%edi
call   1030 <filho_dir@plt>
cmp    (%r14,%rax,4),%ebx
jge    1236 <pushDown+0x106>
mov    %r12d,%edi
call   1040 <filho_esq@plt>
mov    (%r14,%rax,4),%ebx
mov    %r12d,%edi
call   1030 <filho_dir@plt>
cmp    (%r14,%rax,4),%ebx
jle    1150 <pushDown+0x20>
mov    %r12d,%edi
call   1040 <filho_esq@plt>
lea    (%r14,%rax,4),%rdi
mov    %r15,%rsi
call   1050 <troca@plt>
mov    %r12d,%edi
call   1040 <filho_esq@plt>
mov    %rax,%r12
jmp    116f <pushDown+0x3f>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @pushDown(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
store i32 0, i32* %7
store i32 0, i32* %8
%9 = load i32, i32* %4
%10 = call i64 @filho_esq(i32 %9)
%11 = load i32, i32* %6
%12 = sext i32 %11 to i64
%13 = icmp ule i64 %10, %12
br i1 %13, label %14, label %15
14: ; preds = %3
store i32 1, i32* %7
br label %15
15: ; preds = %14, %3
%16 = load i32, i32* %4
%17 = call i64 @filho_dir(i32 %16)
%18 = load i32, i32* %6
%19 = sext i32 %18 to i64
%20 = icmp ule i64 %17, %19
br i1 %20, label %21, label %22
21: ; preds = %15
store i32 1, i32* %8
br label %22
22: ; preds = %21, %15
%23 = load i32, i32* %7
%24 = icmp ne i32 %23, 0
br i1 %24, label %25, label %56
25: ; preds = %22
%26 = load i32, i32* %8
%27 = icmp ne i32 %26, 0
br i1 %27, label %56, label %28
28: ; preds = %25
%29 = load i32*, i32** %5
%30 = load i32, i32* %4
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %29, i64 %31
%33 = load i32, i32* %32
%34 = load i32*, i32** %5
%35 = load i32, i32* %4
%36 = call i64 @filho_esq(i32 %35)
%37 = getelementptr inbounds i32, i32* %34, i64 %36
%38 = load i32, i32* %37
%39 = icmp slt i32 %33, %38
br i1 %39, label %40, label %55
40: ; preds = %28
%41 = load i32*, i32** %5
%42 = load i32, i32* %4
%43 = call i64 @filho_esq(i32 %42)
%44 = getelementptr inbounds i32, i32* %41, i64 %43
%45 = load i32*, i32** %5
%46 = load i32, i32* %4
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i32, i32* %45, i64 %47
%49 = call i32 @troca(i32* %44, i32* %48)
%50 = load i32, i32* %4
%51 = call i64 @filho_esq(i32 %50)
%52 = trunc i64 %51 to i32
%53 = load i32*, i32** %5
%54 = load i32, i32* %6
br label %55
55: ; preds = %40, %28
br label %130
56: ; preds = %25, %22
%57 = load i32, i32* %7
%58 = icmp ne i32 %57, 0
br i1 %58, label %59, label %129
59: ; preds = %56
%60 = load i32, i32* %8
%61 = icmp ne i32 %60, 0
br i1 %61, label %62, label %129
62: ; preds = %59
%63 = load i32*, i32** %5
%64 = load i32, i32* %4
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i32, i32* %63, i64 %65
%67 = load i32, i32* %66
%68 = load i32*, i32** %5
%69 = load i32, i32* %4
%70 = call i64 @filho_esq(i32 %69)
%71 = getelementptr inbounds i32, i32* %68, i64 %70
%72 = load i32, i32* %71
%73 = icmp slt i32 %67, %72
br i1 %73, label %86, label %74
74: ; preds = %62
%75 = load i32*, i32** %5
%76 = load i32, i32* %4
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %75, i64 %77
%79 = load i32, i32* %78
%80 = load i32*, i32** %5
%81 = load i32, i32* %4
%82 = call i64 @filho_dir(i32 %81)
%83 = getelementptr inbounds i32, i32* %80, i64 %82
%84 = load i32, i32* %83
%85 = icmp slt i32 %79, %84
br i1 %85, label %86, label %128
86: ; preds = %74, %62
%87 = load i32*, i32** %5
%88 = load i32, i32* %4
%89 = call i64 @filho_esq(i32 %88)
%90 = getelementptr inbounds i32, i32* %87, i64 %89
%91 = load i32, i32* %90
%92 = load i32*, i32** %5
%93 = load i32, i32* %4
%94 = call i64 @filho_dir(i32 %93)
%95 = getelementptr inbounds i32, i32* %92, i64 %94
%96 = load i32, i32* %95
%97 = icmp sgt i32 %91, %96
br i1 %97, label %98, label %111
98: ; preds = %86
%99 = load i32*, i32** %5
%100 = load i32, i32* %4
%101 = call i64 @filho_esq(i32 %100)
%102 = getelementptr inbounds i32, i32* %99, i64 %101
%103 = load i32*, i32** %5
%104 = load i32, i32* %4
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds i32, i32* %103, i64 %105
%107 = call i32 @troca(i32* %102, i32* %106)
%108 = load i32, i32* %4
%109 = call i64 @filho_esq(i32 %108)
%110 = trunc i64 %109 to i32
store i32 %110, i32* %4
br label %124
111: ; preds = %86
%112 = load i32*, i32** %5
%113 = load i32, i32* %4
%114 = call i64 @filho_dir(i32 %113)
%115 = getelementptr inbounds i32, i32* %112, i64 %114
%116 = load i32*, i32** %5
%117 = load i32, i32* %4
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i32, i32* %116, i64 %118
%120 = call i32 @troca(i32* %115, i32* %119)
%121 = load i32, i32* %4
%122 = call i64 @filho_dir(i32 %121)
%123 = trunc i64 %122 to i32
store i32 %123, i32* %4
br label %124
124: ; preds = %111, %98
%125 = load i32, i32* %4
%126 = load i32*, i32** %5
%127 = load i32, i32* %6
br label %128
128: ; preds = %124, %74
br label %129
129: ; preds = %128, %59, %56
br label %130
130: ; preds = %129, %55
ret void
}

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