#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 */
int /*<<< orphan*/ memcpy(void *, void const *, size_t);
int array_push(const void *val, void *base, size_t *nelp, size_t width,
               int (*compar)(const void *, const void *, void *),
               void *context) {
  const size_t nel = *nelp;
  size_t icur = nel;
  void *cur = base + icur * width;
  while (icur > 0) {
    size_t iparent = (icur - 1) >> 1;
    void *parent = base + iparent * width;
    if (compar(val, parent, context) <= 0)
      break;
    memcpy(cur, parent, width);
    icur = iparent;
    cur = parent;
  }
  memcpy(cur, val, width);
  *nelp = nel + 1;
  return 0;
}


x86 assembly (clang, -O0):
<array_push>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
imul   -0x20(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
cmpq   $0x0,-0x40(%rbp)
jbe    11cc <array_push+0xbc>
mov    -0x40(%rbp),%rax
sub    $0x1,%rax
shr    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%rcx
imul   -0x20(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rdi
mov    -0x58(%rbp),%rsi
mov    -0x30(%rbp),%rdx
call   *%rax
cmp    $0x0,%eax
jg     11a6 <array_push+0x96>
jmp    11cc <array_push+0xbc>
mov    -0x48(%rbp),%rdi
mov    -0x58(%rbp),%rsi
mov    -0x20(%rbp),%rdx
call   1030 <memcpy@plt>
mov    -0x50(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    1157 <array_push+0x47>
mov    -0x48(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x20(%rbp),%rdx
call   1030 <memcpy@plt>
mov    -0x38(%rbp),%rcx
add    $0x1,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
xor    %eax,%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<array_push>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9,0x20(%rsp)
mov    %r8,0x18(%rsp)
mov    %rcx,%rbx
mov    %rdi,(%rsp)
mov    (%rdx),%r15
mov    %r15,%r12
imul   %rcx,%r12
add    %rsi,%r12
test   %r15,%r15
mov    %rdx,0x10(%rsp)
mov    %r15,0x8(%rsp)
je     1194 <array_push+0x84>
mov    %rsi,%rbp
xchg   %ax,%ax
mov    %r15,%r13
add    $0xffffffffffffffff,%r13
mov    %r13,%r15
shr    %r15
mov    %r15,%r14
imul   %rbx,%r14
add    %rbp,%r14
mov    (%rsp),%rdi
mov    %r14,%rsi
mov    0x20(%rsp),%rdx
call   *0x18(%rsp)
test   %eax,%eax
jle    1194 <array_push+0x84>
mov    %r12,%rdi
mov    %r14,%rsi
mov    %rbx,%rdx
call   1030 <memcpy@plt>
mov    %r14,%r12
cmp    $0x1,%r13
ja     1150 <array_push+0x40>
jmp    1197 <array_push+0x87>
mov    %r12,%r14
mov    %r14,%rdi
mov    (%rsp),%rsi
mov    %rbx,%rdx
call   1030 <memcpy@plt>
mov    0x8(%rsp),%rcx
add    $0x1,%rcx
mov    0x10(%rsp),%rax
mov    %rcx,(%rax)
xor    %eax,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @array_push(i8* %0, i8* %1, i64* %2, i64 %3, i32 (i8*, i8*, i8*)* %4, i8* %5) {
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i64*
%10 = alloca i64
%11 = alloca i32 (i8*, i8*, i8*)*
%12 = alloca i8*
%13 = alloca i64
%14 = alloca i64
%15 = alloca i8*
%16 = alloca i64
%17 = alloca i8*
store i8* %0, i8** %7
store i8* %1, i8** %8
store i64* %2, i64** %9
store i64 %3, i64* %10
store i32 (i8*, i8*, i8*)* %4, i32 (i8*, i8*, i8*)** %11
store i8* %5, i8** %12
%18 = load i64*, i64** %9
%19 = load i64, i64* %18
store i64 %19, i64* %13
%20 = load i64, i64* %13
store i64 %20, i64* %14
%21 = load i8*, i8** %8
%22 = load i64, i64* %14
%23 = load i64, i64* %10
%24 = mul i64 %22, %23
%25 = getelementptr i8, i8* %21, i64 %24
store i8* %25, i8** %15
br label %26
26: ; preds = %45, %6
%27 = load i64, i64* %14
%28 = icmp ugt i64 %27, 0
br i1 %28, label %29, label %52
29: ; preds = %26
%30 = load i64, i64* %14
%31 = sub i64 %30, 1
%32 = lshr i64 %31, 1
store i64 %32, i64* %16
%33 = load i8*, i8** %8
%34 = load i64, i64* %16
%35 = load i64, i64* %10
%36 = mul i64 %34, %35
%37 = getelementptr i8, i8* %33, i64 %36
store i8* %37, i8** %17
%38 = load i32 (i8*, i8*, i8*)*, i32 (i8*, i8*, i8*)** %11
%39 = load i8*, i8** %7
%40 = load i8*, i8** %17
%41 = load i8*, i8** %12
%42 = call i32 %38(i8* %39, i8* %40, i8* %41)
%43 = icmp sle i32 %42, 0
br i1 %43, label %44, label %45
44: ; preds = %29
br label %52
45: ; preds = %29
%46 = load i8*, i8** %15
%47 = load i8*, i8** %17
%48 = load i64, i64* %10
%49 = call i32 @memcpy(i8* %46, i8* %47, i64 %48)
%50 = load i64, i64* %16
store i64 %50, i64* %14
%51 = load i8*, i8** %17
store i8* %51, i8** %15
br label %26
52: ; preds = %44, %26
%53 = load i8*, i8** %15
%54 = load i8*, i8** %7
%55 = load i64, i64* %10
%56 = call i32 @memcpy(i8* %53, i8* %54, i64 %55)
%57 = load i64, i64* %13
%58 = add i64 %57, 1
%59 = load i64*, i64** %9
store i64 %58, i64* %59
ret i32 0
}

LLVM IR (-O2):
define i32 @array_push(i8* %0, i8* %1, i64* nocapture %2, i64 %3, i32 (i8*, i8*, i8*)* nocapture %4, i8* %5) {
%7 = load i64, i64* %2
%8 = mul i64 %7, %3
%9 = getelementptr i8, i8* %1, i64 %8
%10 = icmp eq i64 %7, 0
br i1 %10, label %23, label %11
11: ; preds = %6, %20
%12 = phi i64 [ %15, %20 ], [ %7, %6 ]
%13 = phi i8* [ %17, %20 ], [ %9, %6 ]
%14 = add i64 %12, -1
%15 = lshr i64 %14, 1
%16 = mul i64 %15, %3
%17 = getelementptr i8, i8* %1, i64 %16
%18 = tail call i32 %4(i8* %0, i8* %17, i8* %5)
%19 = icmp slt i32 %18, 1
br i1 %19, label %23, label %20
20: ; preds = %11
%21 = tail call i32 @memcpy(i8* %13, i8* %17, i64 %3)
%22 = icmp ult i64 %14, 2
br i1 %22, label %23, label %11
23: ; preds = %20, %11, %6
%24 = phi i8* [ %9, %6 ], [ %13, %11 ], [ %17, %20 ]
%25 = tail call i32 @memcpy(i8* %24, i8* %0, i64 %3)
%26 = add i64 %7, 1
store i64 %26, i64* %2
ret i32 0
}