#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 */
struct node {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ heap_sink(struct node **, int /*<<< orphan*/, int);
void heap_remove(struct node **heap, int *nr, struct node **elem) {
  if (!nr || *nr == 0)
    return;
  *elem = heap[0];
  *nr = *nr - 1;
  if (*nr > 0) {
    heap[0] = heap[*nr];
    if (*nr > 1)
      heap_sink(heap, 0, *nr);
  }
}


x86 assembly (clang, -O0):
<heap_remove>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     113c <heap_remove+0x2c>
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
jne    1141 <heap_remove+0x31>
jmp    11a4 <heap_remove+0x94>
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
sub    $0x1,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
jle    11a4 <heap_remove+0x94>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,8),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x10(%rbp),%rax
cmpl   $0x1,(%rax)
jle    119f <heap_remove+0x8f>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rax
mov    (%rax),%edx
xor    %esi,%esi
call   1030 <heap_sink@plt>
jmp    11a4 <heap_remove+0x94>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<heap_remove>:
test   %rsi,%rsi
je     1140 <heap_remove+0x30>
mov    (%rsi),%eax
test   %eax,%eax
je     1140 <heap_remove+0x30>
mov    (%rdi),%rcx
mov    %rcx,(%rdx)
lea    -0x1(%rax),%edx
mov    %edx,(%rsi)
cmp    $0x2,%eax
jl     1140 <heap_remove+0x30>
mov    %edx,%eax
mov    (%rdi,%rax,8),%rax
mov    %rax,(%rdi)
cmp    $0x2,%edx
jb     1140 <heap_remove+0x30>
xor    %esi,%esi
jmp    1030 <heap_sink@plt>
ret

LLVM IR (-O0):
%struct.node = type { i32 }
define void @heap_remove(%struct.node** %0, i32* %1, %struct.node** %2) {
%4 = alloca %struct.node**
%5 = alloca i32*
%6 = alloca %struct.node**
store %struct.node** %0, %struct.node*** %4
store i32* %1, i32** %5
store %struct.node** %2, %struct.node*** %6
%7 = load i32*, i32** %5
%8 = icmp ne i32* %7, null
br i1 %8, label %9, label %13
9: ; preds = %3
%10 = load i32*, i32** %5
%11 = load i32, i32* %10
%12 = icmp eq i32 %11, 0
br i1 %12, label %13, label %14
13: ; preds = %9, %3
br label %44
14: ; preds = %9
%15 = load %struct.node**, %struct.node*** %4
%16 = getelementptr inbounds %struct.node*, %struct.node** %15, i64 0
%17 = load %struct.node*, %struct.node** %16
%18 = load %struct.node**, %struct.node*** %6
store %struct.node* %17, %struct.node** %18
%19 = load i32*, i32** %5
%20 = load i32, i32* %19
%21 = sub nsw i32 %20, 1
%22 = load i32*, i32** %5
store i32 %21, i32* %22
%23 = load i32*, i32** %5
%24 = load i32, i32* %23
%25 = icmp sgt i32 %24, 0
br i1 %25, label %26, label %44
26: ; preds = %14
%27 = load %struct.node**, %struct.node*** %4
%28 = load i32*, i32** %5
%29 = load i32, i32* %28
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds %struct.node*, %struct.node** %27, i64 %30
%32 = load %struct.node*, %struct.node** %31
%33 = load %struct.node**, %struct.node*** %4
%34 = getelementptr inbounds %struct.node*, %struct.node** %33, i64 0
store %struct.node* %32, %struct.node** %34
%35 = load i32*, i32** %5
%36 = load i32, i32* %35
%37 = icmp sgt i32 %36, 1
br i1 %37, label %38, label %43
38: ; preds = %26
%39 = load %struct.node**, %struct.node*** %4
%40 = load i32*, i32** %5
%41 = load i32, i32* %40
%42 = call i32 @heap_sink(%struct.node** %39, i32 0, i32 %41)
br label %43
43: ; preds = %38, %26
br label %44
44: ; preds = %13, %43, %14
ret void
}

LLVM IR (-O2):
%struct.node = type { i32 }
define void @heap_remove(%struct.node** %0, i32* %1, %struct.node** nocapture writeonly %2) {
%4 = icmp eq i32* %1, null
br i1 %4, label %19, label %5
5: ; preds = %3
%6 = load i32, i32* %1
%7 = icmp eq i32 %6, 0
br i1 %7, label %19, label %8
8: ; preds = %5
%9 = load %struct.node*, %struct.node** %0
store %struct.node* %9, %struct.node** %2
%10 = add nsw i32 %6, -1
store i32 %10, i32* %1
%11 = icmp sgt i32 %6, 1
br i1 %11, label %12, label %19
12: ; preds = %8
%13 = zext i32 %10 to i64
%14 = getelementptr inbounds %struct.node*, %struct.node** %0, i64 %13
%15 = load %struct.node*, %struct.node** %14
store %struct.node* %15, %struct.node** %0
%16 = icmp ugt i32 %10, 1
br i1 %16, label %17, label %19
17: ; preds = %12
%18 = tail call i32 @heap_sink(%struct.node** %0, i32 0, i32 %10)
br label %19
19: ; preds = %12, %17, %3, %5, %8
ret void
}