unsigned long int uWBS(unsigned long *ixList, unsigned long key,
                       unsigned long range) {
  unsigned long middle, low = 0, high = range;
  while (low <= high) {
    middle = low + ((high - low) >> 1);
    if (key > ixList[middle])
      low = middle + 1;
    else if (key < ixList[middle])
      high = middle - 1;
    else
      break;
  }
  if (ixList[middle] > key)
    --middle;
  return middle;
}


x86 assembly (clang, -O0):
<uWBS>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
ja     11a2 <uWBS+0xa2>
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    -0x28(%rbp),%rcx
shr    $0x1,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
jbe    116c <uWBS+0x6c>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    119d <uWBS+0x9d>
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
jae    1193 <uWBS+0x93>
mov    -0x20(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1198 <uWBS+0x98>
jmp    11a2 <uWBS+0xa2>
jmp    119d <uWBS+0x9d>
jmp    1120 <uWBS+0x20>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x10(%rbp),%rax
jbe    11c4 <uWBS+0xc4>
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<uWBS>:
xor    %ecx,%ecx
jmp    1119 <uWBS+0x19>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    0x1(%rax),%rcx
cmp    %rcx,%rdx
jb     1139 <uWBS+0x39>
mov    %rdx,%rax
sub    %rcx,%rax
shr    %rax
add    %rcx,%rax
mov    (%rdi,%rax,8),%r8
cmp    %rsi,%r8
jb     1110 <uWBS+0x10>
jbe    1139 <uWBS+0x39>
lea    -0x1(%rax),%rdx
cmp    %rcx,%rdx
jae    1119 <uWBS+0x19>
cmp    %r8,%rsi
sbb    $0x0,%rax
ret

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

LLVM IR (-O2):
define i64 @uWBS(i64* nocapture %0, i64 %1, i64 %2) {
br label %4
4: ; preds = %3, %19
%5 = phi i64 [ %2, %3 ], [ %21, %19 ]
%6 = phi i64 [ 0, %3 ], [ %20, %19 ]
%7 = sub i64 %5, %6
%8 = lshr i64 %7, 1
%9 = add i64 %8, %6
%10 = getelementptr inbounds i64, i64* %0, i64 %9
%11 = load i64, i64* %10
%12 = icmp ult i64 %11, %1
br i1 %12, label %13, label %15
13: ; preds = %4
%14 = add i64 %9, 1
br label %19
15: ; preds = %4
%16 = icmp ugt i64 %11, %1
br i1 %16, label %17, label %23
17: ; preds = %15
%18 = add i64 %9, -1
br label %19
19: ; preds = %17, %13
%20 = phi i64 [ %14, %13 ], [ %6, %17 ]
%21 = phi i64 [ %5, %13 ], [ %18, %17 ]
%22 = icmp ult i64 %21, %20
br i1 %22, label %23, label %4
23: ; preds = %15, %19
%24 = icmp ugt i64 %11, %1
%25 = sext i1 %24 to i64
%26 = add i64 %9, %25
ret i64 %26
}