int binsearch(int x, int v[], int n) {
  int low, high, mid;
  low = 0;
  high = (n - 1);
  mid = (low + high) / 2;
  while (low <= high) {
    if (x < v[mid])
      high = mid + 1;
    else if (x > v[mid])
      low = mid + 1;
  }
  return x == mid ? mid : -1;
}


x86 assembly (clang, -O0):
<binsearch>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     1184 <binsearch+0x84>
mov    -0x4(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    115d <binsearch+0x5d>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    117f <binsearch+0x7f>
mov    -0x4(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    117a <binsearch+0x7a>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    117f <binsearch+0x7f>
jmp    112f <binsearch+0x2f>
mov    -0x4(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    119b <binsearch+0x9b>
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    11a8 <binsearch+0xa8>
mov    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    11a8 <binsearch+0xa8>
mov    -0x24(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<binsearch>:
mov    %edx,%eax
add    $0xffffffff,%eax
shr    $0x1f,%eax
lea    (%rdx,%rax,1),%ecx
add    $0xffffffff,%ecx
sar    %ecx
cmp    %edi,%ecx
mov    $0xffffffff,%eax
cmove  %ecx,%eax
ret

LLVM IR (-O0):
define i32 @binsearch(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
store i32 0, i32* %7
%10 = load i32, i32* %6
%11 = sub nsw i32 %10, 1
store i32 %11, i32* %8
%12 = load i32, i32* %7
%13 = load i32, i32* %8
%14 = add nsw i32 %12, %13
%15 = sdiv i32 %14, 2
store i32 %15, i32* %9
br label %16
16: ; preds = %43, %3
%17 = load i32, i32* %7
%18 = load i32, i32* %8
%19 = icmp sle i32 %17, %18
br i1 %19, label %20, label %44
20: ; preds = %16
%21 = load i32, i32* %4
%22 = load i32*, i32** %5
%23 = load i32, i32* %9
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %22, i64 %24
%26 = load i32, i32* %25
%27 = icmp slt i32 %21, %26
br i1 %27, label %28, label %31
28: ; preds = %20
%29 = load i32, i32* %9
%30 = add nsw i32 %29, 1
store i32 %30, i32* %8
br label %43
31: ; preds = %20
%32 = load i32, i32* %4
%33 = load i32*, i32** %5
%34 = load i32, i32* %9
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i32, i32* %33, i64 %35
%37 = load i32, i32* %36
%38 = icmp sgt i32 %32, %37
br i1 %38, label %39, label %42
39: ; preds = %31
%40 = load i32, i32* %9
%41 = add nsw i32 %40, 1
store i32 %41, i32* %7
br label %42
42: ; preds = %39, %31
br label %43
43: ; preds = %42, %28
br label %16
44: ; preds = %16
%45 = load i32, i32* %4
%46 = load i32, i32* %9
%47 = icmp eq i32 %45, %46
br i1 %47, label %48, label %50
48: ; preds = %44
%49 = load i32, i32* %9
br label %51
50: ; preds = %44
br label %51
51: ; preds = %50, %48
%52 = phi i32 [ %49, %48 ], [ -1, %50 ]
ret i32 %52
}

LLVM IR (-O2):
define i32 @binsearch(i32 %0, i32* nocapture %1, i32 %2) {
%4 = add nsw i32 %2, -1
%5 = sdiv i32 %4, 2
%6 = icmp eq i32 %5, %0
%7 = select i1 %6, i32 %5, i32 -1
ret i32 %7
}