#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 stub1(void const *, void const *);
int stub2(void const *, void const *);
int stub3(void const *, void const *);
int stub4(void const *, void const *);
void bsearch_range(const void *key1, const void *key2, void *p1, void *p2,
                   const void *base, size_t nmemb, size_t size,
                   int (*cmp)(const void *, const void *)) {
  const char *b = (const char *)base;
  size_t l1, u1, l2, u2;
  l1 = 0;
  u1 = nmemb;
  while (l1 < u1) {
    size_t idx = (l1 + u1) / 2;
    int comp = (*cmp)(key1, b + idx * size);
    if (comp <= 0)
      u1 = idx;
    else
      l1 = idx + 1;
  }
  if (l1 < nmemb)
    *(const void **)p1 = b + l1 * size;
  else
    *(const void **)p1 = NULL;
  if (((*cmp)(key1, key2)) > 0) {
    *(const void **)p2 = NULL;
    return;
  }
  l2 = u1;
  u2 = nmemb;
  while (l2 < u2 && l2 < nmemb) {
    size_t idx = (l2 + u2) / 2;
    int comp = (*cmp)(key2, b + idx * size);
    if (comp < 0)
      u2 = idx;
    else
      l2 = idx + 1;
  }
  if (l2 == nmemb || ((*cmp)(key2, b + l2 * size)) < 0) {
    if (l2 > u1)
      *(const void **)p2 = b + (l2 - 1) * size;
    else
      *(const void **)p2 = NULL;
  } else
    *(const void **)p2 = b + l2 * size;
}


x86 assembly (clang, -O0):
<bsearch_range>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
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    -0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x48(%rbp),%rax
jae    11a6 <bsearch_range+0xa6>
mov    -0x40(%rbp),%rax
add    -0x48(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x60(%rbp)
mov    0x18(%rbp),%rax
mov    -0x8(%rbp),%rdi
mov    -0x38(%rbp),%rsi
mov    -0x60(%rbp),%rcx
imul   0x10(%rbp),%rcx
add    %rcx,%rsi
call   *%rax
mov    %eax,-0x64(%rbp)
cmpl   $0x0,-0x64(%rbp)
jg     1195 <bsearch_range+0x95>
mov    -0x60(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    11a1 <bsearch_range+0xa1>
mov    -0x60(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1143 <bsearch_range+0x43>
mov    -0x40(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    11d0 <bsearch_range+0xd0>
mov    -0x38(%rbp),%rcx
mov    -0x40(%rbp),%rax
imul   0x10(%rbp),%rax
add    %rax,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
jmp    11db <bsearch_range+0xdb>
mov    -0x18(%rbp),%rax
movq   $0x0,(%rax)
mov    0x18(%rbp),%rax
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   *%rax
cmp    $0x0,%eax
jle    1202 <bsearch_range+0x102>
mov    -0x20(%rbp),%rax
movq   $0x0,(%rax)
jmp    131e <bsearch_range+0x21e>
mov    -0x48(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x50(%rbp),%rcx
xor    %eax,%eax
cmp    -0x58(%rbp),%rcx
mov    %al,-0x75(%rbp)
jae    1233 <bsearch_range+0x133>
mov    -0x50(%rbp),%rax
cmp    -0x30(%rbp),%rax
setb   %al
mov    %al,-0x75(%rbp)
mov    -0x75(%rbp),%al
test   $0x1,%al
jne    1243 <bsearch_range+0x143>
jmp    1298 <bsearch_range+0x198>
mov    -0x50(%rbp),%rax
add    -0x58(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x70(%rbp)
mov    0x18(%rbp),%rax
mov    -0x10(%rbp),%rdi
mov    -0x38(%rbp),%rsi
mov    -0x70(%rbp),%rcx
imul   0x10(%rbp),%rcx
add    %rcx,%rsi
call   *%rax
mov    %eax,-0x74(%rbp)
cmpl   $0x0,-0x74(%rbp)
jge    1287 <bsearch_range+0x187>
mov    -0x70(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    1293 <bsearch_range+0x193>
mov    -0x70(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    1212 <bsearch_range+0x112>
mov    -0x50(%rbp),%rax
cmp    -0x30(%rbp),%rax
je     12c9 <bsearch_range+0x1c9>
mov    0x18(%rbp),%rax
mov    -0x10(%rbp),%rdi
mov    -0x38(%rbp),%rsi
mov    -0x50(%rbp),%rcx
imul   0x10(%rbp),%rcx
add    %rcx,%rsi
call   *%rax
cmp    $0x0,%eax
jge    1307 <bsearch_range+0x207>
mov    -0x50(%rbp),%rax
cmp    -0x48(%rbp),%rax
jbe    12f7 <bsearch_range+0x1f7>
mov    -0x38(%rbp),%rcx
mov    -0x50(%rbp),%rax
sub    $0x1,%rax
imul   0x10(%rbp),%rax
add    %rax,%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
jmp    1302 <bsearch_range+0x202>
mov    -0x20(%rbp),%rax
movq   $0x0,(%rax)
jmp    131e <bsearch_range+0x21e>
mov    -0x38(%rbp),%rcx
mov    -0x50(%rbp),%rax
imul   0x10(%rbp),%rax
add    %rax,%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bsearch_range>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r8,%r13
mov    %rsi,0x10(%rsp)
mov    %rdi,%rbx
mov    0x68(%rsp),%r15
test   %r9,%r9
mov    %r9,0x8(%rsp)
mov    %rcx,0x20(%rsp)
mov    %rdx,0x18(%rsp)
je     1173 <bsearch_range+0x73>
xor    %r14d,%r14d
mov    %r9,%r12
jmp    114c <bsearch_range+0x4c>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rbp
mov    %rbp,%r14
cmp    %r12,%r14
jae    1179 <bsearch_range+0x79>
lea    (%r14,%r12,1),%rbp
shr    %rbp
mov    %rbp,%rsi
imul   0x60(%rsp),%rsi
add    %r13,%rsi
mov    %rbx,%rdi
call   *%r15
test   %eax,%eax
jg     1140 <bsearch_range+0x40>
mov    %rbp,%r12
cmp    %r12,%r14
jb     114c <bsearch_range+0x4c>
jmp    1179 <bsearch_range+0x79>
xor    %r12d,%r12d
xor    %r14d,%r14d
mov    %r14,%rax
imul   0x60(%rsp),%rax
add    %r13,%rax
xor    %ecx,%ecx
mov    0x8(%rsp),%rbp
cmp    %rbp,%r14
cmovae %rcx,%rax
mov    0x18(%rsp),%rcx
mov    %rax,(%rcx)
mov    %rbx,%rdi
xor    %ebx,%ebx
mov    0x10(%rsp),%rsi
call   *%r15
test   %eax,%eax
jle    11c3 <bsearch_range+0xc3>
mov    0x20(%rsp),%rax
mov    %rbx,(%rax)
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r12,%r14
cmp    %rbp,%r12
jae    1222 <bsearch_range+0x122>
mov    %r12,%r14
mov    %rbp,%rbx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    (%r14,%rbx,1),%rbp
shr    %rbp
mov    %rbp,%rsi
imul   0x60(%rsp),%rsi
add    %r13,%rsi
mov    0x10(%rsp),%rdi
call   *%r15
test   %eax,%eax
js     1210 <bsearch_range+0x110>
add    $0x1,%rbp
mov    %rbp,%r14
jmp    1213 <bsearch_range+0x113>
nopl   0x0(%rax,%rax,1)
mov    %rbp,%rbx
mov    0x8(%rsp),%rbp
cmp    %rbx,%r14
jae    1222 <bsearch_range+0x122>
cmp    %rbp,%r14
jb     11e0 <bsearch_range+0xe0>
cmp    %rbp,%r14
je     1246 <bsearch_range+0x146>
mov    %r14,%rbx
imul   0x60(%rsp),%rbx
add    %r13,%rbx
mov    0x10(%rsp),%rdi
mov    %rbx,%rsi
call   *%r15
test   %eax,%eax
jns    11ac <bsearch_range+0xac>
cmp    %r12,%r14
jbe    1260 <bsearch_range+0x160>
add    $0xffffffffffffffff,%r14
imul   0x60(%rsp),%r14
add    %r14,%r13
mov    %r13,%rbx
jmp    11ac <bsearch_range+0xac>
xor    %ebx,%ebx
jmp    11ac <bsearch_range+0xac>

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

LLVM IR (-O2):
define void @bsearch_range(i8* %0, i8* %1, i8* nocapture writeonly %2, i8* nocapture writeonly %3, i8* %4, i64 %5, i64 %6, i32 (i8*, i8*)* nocapture %7) {
%9 = icmp eq i64 %5, 0
br i1 %9, label %23, label %10
10: ; preds = %8, %10
%11 = phi i64 [ %21, %10 ], [ 0, %8 ]
%12 = phi i64 [ %20, %10 ], [ %5, %8 ]
%13 = add i64 %11, %12
%14 = lshr i64 %13, 1
%15 = mul i64 %14, %6
%16 = getelementptr inbounds i8, i8* %4, i64 %15
%17 = tail call i32 %7(i8* %0, i8* %16)
%18 = icmp slt i32 %17, 1
%19 = add nuw i64 %14, 1
%20 = select i1 %18, i64 %14, i64 %12
%21 = select i1 %18, i64 %11, i64 %19
%22 = icmp ult i64 %21, %20
br i1 %22, label %10, label %23
23: ; preds = %10, %8
%24 = phi i64 [ 0, %8 ], [ %20, %10 ]
%25 = phi i64 [ 0, %8 ], [ %21, %10 ]
%26 = icmp ult i64 %25, %5
%27 = mul i64 %25, %6
%28 = getelementptr inbounds i8, i8* %4, i64 %27
%29 = select i1 %26, i8* %28, i8* null
%30 = bitcast i8* %2 to i8**
store i8* %29, i8** %30
%31 = tail call i32 %7(i8* %0, i8* %1)
%32 = icmp sgt i32 %31, 0
br i1 %32, label %64, label %33
33: ; preds = %23
%34 = icmp ult i64 %24, %5
br i1 %34, label %35, label %50
35: ; preds = %33, %35
%36 = phi i64 [ %46, %35 ], [ %24, %33 ]
%37 = phi i64 [ %45, %35 ], [ %5, %33 ]
%38 = add i64 %36, %37
%39 = lshr i64 %38, 1
%40 = mul i64 %39, %6
%41 = getelementptr inbounds i8, i8* %4, i64 %40
%42 = tail call i32 %7(i8* %1, i8* %41)
%43 = icmp slt i32 %42, 0
%44 = add nuw i64 %39, 1
%45 = select i1 %43, i64 %39, i64 %37
%46 = select i1 %43, i64 %36, i64 %44
%47 = icmp ult i64 %46, %45
%48 = icmp ult i64 %46, %5
%49 = and i1 %47, %48
br i1 %49, label %35, label %50
50: ; preds = %35, %33
%51 = phi i64 [ %24, %33 ], [ %46, %35 ]
%52 = icmp eq i64 %51, %5
br i1 %52, label %58, label %53
53: ; preds = %50
%54 = mul i64 %51, %6
%55 = getelementptr inbounds i8, i8* %4, i64 %54
%56 = tail call i32 %7(i8* %1, i8* %55)
%57 = icmp slt i32 %56, 0
br i1 %57, label %58, label %64
58: ; preds = %53, %50
%59 = icmp ugt i64 %51, %24
br i1 %59, label %60, label %64
60: ; preds = %58
%61 = add i64 %51, -1
%62 = mul i64 %61, %6
%63 = getelementptr inbounds i8, i8* %4, i64 %62
br label %64
64: ; preds = %53, %58, %23, %60
%65 = phi i8* [ %63, %60 ], [ null, %23 ], [ null, %58 ], [ %55, %53 ]
%66 = bitcast i8* %3 to i8**
store i8* %65, i8** %66
ret void
}