#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*/ assert(int);
int vk_bsearch(const int *array, const int start_idx, const int end_idx,
               const int value) {
  assert(array != NULL);
  assert(start_idx >= 0);
  assert(start_idx <= end_idx);
  assert(array[start_idx] <= array[end_idx]);
  if (start_idx == end_idx) {
    if (array[start_idx] > value)
      return start_idx;
    else
      return -1;
  }
  const int check_idx = (start_idx + end_idx) / 2;
  assert(array[start_idx] <= array[check_idx]);
  assert(array[check_idx] <= array[end_idx]);
  if (array[check_idx] > value) {
    return vk_bsearch(array, start_idx, check_idx, value);
  } else {
    return vk_bsearch(array, check_idx + 1, end_idx, value);
  }
}


x86 assembly (clang, -O0):
<vk_bsearch>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
cmpq   $0x0,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpl   $0x0,-0x14(%rbp)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    11c5 <vk_bsearch+0xa5>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jle    11b9 <vk_bsearch+0x99>
mov    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1262 <vk_bsearch+0x142>
movl   $0xffffffff,-0x4(%rbp)
jmp    1262 <vk_bsearch+0x142>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jle    124a <vk_bsearch+0x12a>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x20(%rbp),%edx
mov    -0x1c(%rbp),%ecx
call   1030 <vk_bsearch@plt>
mov    %eax,-0x4(%rbp)
jmp    1262 <vk_bsearch+0x142>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%esi
add    $0x1,%esi
mov    -0x18(%rbp),%edx
mov    -0x1c(%rbp),%ecx
call   1030 <vk_bsearch@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<vk_bsearch>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %ecx,(%rsp)
mov    %edx,%r12d
mov    %esi,%ebx
mov    %rdi,%r13
xor    %eax,%eax
test   %rdi,%rdi
setne  %al
mov    %eax,0x4(%rsp)
jmp    1143 <vk_bsearch+0x33>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %ebp,%r12d
mov    0x4(%rsp),%edi
call   1030 <assert@plt>
mov    %ebx,%edi
not    %edi
shr    $0x1f,%edi
call   1030 <assert@plt>
xor    %edi,%edi
cmp    %r12d,%ebx
setle  %dil
call   1030 <assert@plt>
movslq %ebx,%rbx
mov    0x0(%r13,%rbx,4),%eax
movslq %r12d,%r14
xor    %edi,%edi
cmp    0x0(%r13,%r14,4),%eax
setle  %dil
call   1030 <assert@plt>
cmp    %r14d,%ebx
je     11db <vk_bsearch+0xcb>
lea    (%r12,%rbx,1),%eax
mov    %eax,%ebp
shr    $0x1f,%ebp
add    %eax,%ebp
sar    %ebp
mov    0x0(%r13,%rbx,4),%eax
movslq %ebp,%r15
xor    %edi,%edi
cmp    0x0(%r13,%r15,4),%eax
setle  %dil
call   1030 <assert@plt>
mov    0x0(%r13,%r15,4),%eax
xor    %edi,%edi
cmp    0x0(%r13,%r14,4),%eax
setle  %dil
call   1030 <assert@plt>
mov    (%rsp),%eax
cmp    %eax,0x0(%r13,%r15,4)
jg     1140 <vk_bsearch+0x30>
add    $0x1,%ebp
mov    %ebp,%ebx
mov    %r12d,%ebp
jmp    1140 <vk_bsearch+0x30>
mov    (%rsp),%eax
cmp    %eax,0x0(%r13,%rbx,4)
mov    $0xffffffff,%eax
cmovle %eax,%ebx
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @vk_bsearch(i32* %0, i32 %1, i32 %2, i32 %3) {
%5 = icmp ne i32* %0, null
%6 = zext i1 %5 to i32
br label %7
7: ; preds = %31, %4
%8 = phi i32 [ %1, %4 ], [ %49, %31 ]
%9 = phi i32 [ %2, %4 ], [ %50, %31 ]
%10 = tail call i32 @assert(i32 %6)
%11 = xor i32 %8, -1
%12 = lshr i32 %11, 31
%13 = tail call i32 @assert(i32 %12)
%14 = icmp sle i32 %8, %9
%15 = zext i1 %14 to i32
%16 = tail call i32 @assert(i32 %15)
%17 = sext i32 %8 to i64
%18 = getelementptr inbounds i32, i32* %0, i64 %17
%19 = load i32, i32* %18
%20 = sext i32 %9 to i64
%21 = getelementptr inbounds i32, i32* %0, i64 %20
%22 = load i32, i32* %21
%23 = icmp sle i32 %19, %22
%24 = zext i1 %23 to i32
%25 = tail call i32 @assert(i32 %24)
%26 = icmp eq i32 %8, %9
br i1 %26, label %27, label %31
27: ; preds = %7
%28 = load i32, i32* %18
%29 = icmp sgt i32 %28, %3
%30 = select i1 %29, i32 %8, i32 -1
ret i32 %30
31: ; preds = %7
%32 = add nsw i32 %9, %8
%33 = sdiv i32 %32, 2
%34 = load i32, i32* %18
%35 = sext i32 %33 to i64
%36 = getelementptr inbounds i32, i32* %0, i64 %35
%37 = load i32, i32* %36
%38 = icmp sle i32 %34, %37
%39 = zext i1 %38 to i32
%40 = tail call i32 @assert(i32 %39)
%41 = load i32, i32* %36
%42 = load i32, i32* %21
%43 = icmp sle i32 %41, %42
%44 = zext i1 %43 to i32
%45 = tail call i32 @assert(i32 %44)
%46 = load i32, i32* %36
%47 = icmp sgt i32 %46, %3
%48 = add nsw i32 %33, 1
%49 = select i1 %47, i32 %8, i32 %48
%50 = select i1 %47, i32 %33, i32 %9
br label %7
}