int bsearch(const int *begin, const int *end, int x) {
  const int *left = begin - 1;
  const int *right = end;
  while (left + 1 < right) {
    const int *middle = left + (right - left) / 2;
    if (*middle <= x) {
      left = middle;
    } else {
      right = middle;
    }
  }
  return right - begin;
}


x86 assembly (clang, -O0):
<bsearch>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
cmp    -0x28(%rbp),%rax
jae    1191 <bsearch+0x91>
mov    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    $0x2,%ecx
cqto
idiv   %rcx
mov    %rax,%rcx
mov    -0x38(%rbp),%rax
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
cmp    -0x14(%rbp),%eax
jg     1184 <bsearch+0x84>
mov    -0x30(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    118c <bsearch+0x8c>
mov    -0x30(%rbp),%rax
mov    %rax,-0x28(%rbp)
jmp    1123 <bsearch+0x23>
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<bsearch>:
mov    %rsi,%rax
cmp    %rsi,%rdi
jae    1146 <bsearch+0x46>
lea    -0x4(%rdi),%r8
jmp    111c <bsearch+0x1c>
xchg   %ax,%ax
mov    %rsi,%r8
lea    0x4(%rsi),%rcx
cmp    %rax,%rcx
jae    1146 <bsearch+0x46>
mov    %rax,%rcx
sub    %r8,%rcx
mov    %rcx,%rsi
sar    $0x2,%rsi
shr    $0x3f,%rcx
add    %rsi,%rcx
and    $0xfffffffffffffffe,%rcx
lea    (%r8,%rcx,2),%rsi
cmp    %edx,(%r8,%rcx,2)
jle    1110 <bsearch+0x10>
mov    %rsi,%rax
mov    %r8,%rsi
jmp    1113 <bsearch+0x13>
sub    %rdi,%rax
shr    $0x2,%rax
ret

LLVM IR (-O0):
define i32 @bsearch(i32* %0, i32* %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32*
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32 %2, i32* %6
%10 = load i32*, i32** %4
%11 = getelementptr inbounds i32, i32* %10, i64 -1
store i32* %11, i32** %7
%12 = load i32*, i32** %5
store i32* %12, i32** %8
br label %13
13: ; preds = %36, %3
%14 = load i32*, i32** %7
%15 = getelementptr inbounds i32, i32* %14, i64 1
%16 = load i32*, i32** %8
%17 = icmp ult i32* %15, %16
br i1 %17, label %18, label %37
18: ; preds = %13
%19 = load i32*, i32** %7
%20 = load i32*, i32** %8
%21 = load i32*, i32** %7
%22 = ptrtoint i32* %20 to i64
%23 = ptrtoint i32* %21 to i64
%24 = sub i64 %22, %23
%25 = sdiv exact i64 %24, 4
%26 = sdiv i64 %25, 2
%27 = getelementptr inbounds i32, i32* %19, i64 %26
store i32* %27, i32** %9
%28 = load i32*, i32** %9
%29 = load i32, i32* %28
%30 = load i32, i32* %6
%31 = icmp sle i32 %29, %30
br i1 %31, label %32, label %34
32: ; preds = %18
%33 = load i32*, i32** %9
store i32* %33, i32** %7
br label %36
34: ; preds = %18
%35 = load i32*, i32** %9
store i32* %35, i32** %8
br label %36
36: ; preds = %34, %32
br label %13
37: ; preds = %13
%38 = load i32*, i32** %8
%39 = load i32*, i32** %4
%40 = ptrtoint i32* %38 to i64
%41 = ptrtoint i32* %39 to i64
%42 = sub i64 %40, %41
%43 = sdiv exact i64 %42, 4
%44 = trunc i64 %43 to i32
ret i32 %44
}

LLVM IR (-O2):
define i32 @bsearch(i32* %0, i32* %1, i32 %2) {
%4 = icmp ult i32* %0, %1
br i1 %4, label %5, label %22
5: ; preds = %3
%6 = getelementptr inbounds i32, i32* %0, i64 -1
br label %7
7: ; preds = %5, %7
%8 = phi i32* [ %19, %7 ], [ %6, %5 ]
%9 = phi i32* [ %18, %7 ], [ %1, %5 ]
%10 = ptrtoint i32* %9 to i64
%11 = ptrtoint i32* %8 to i64
%12 = sub i64 %10, %11
%13 = ashr exact i64 %12, 2
%14 = sdiv i64 %13, 2
%15 = getelementptr inbounds i32, i32* %8, i64 %14
%16 = load i32, i32* %15
%17 = icmp sgt i32 %16, %2
%18 = select i1 %17, i32* %15, i32* %9
%19 = select i1 %17, i32* %8, i32* %15
%20 = getelementptr inbounds i32, i32* %19, i64 1
%21 = icmp ult i32* %20, %18
br i1 %21, label %7, label %22
22: ; preds = %7, %3
%23 = phi i32* [ %1, %3 ], [ %18, %7 ]
%24 = ptrtoint i32* %23 to i64
%25 = ptrtoint i32* %0 to i64
%26 = sub i64 %24, %25
%27 = lshr exact i64 %26, 2
%28 = trunc i64 %27 to i32
ret i32 %28
}