int binary(int a[], int key, int l, int r) {
  int i;
  int mid = (l + r) / 2;
  while (l != mid && r != mid) {
    if (key == a[mid])
      return 1;
    if (key < a[mid])
      r = mid;
    else
      l = mid;
    mid = (l + r) / 2;
  }
  return 0;
}


x86 assembly (clang, -O0):
<binary>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%ecx
xor    %eax,%eax
cmp    -0x24(%rbp),%ecx
mov    %al,-0x25(%rbp)
je     113f <binary+0x3f>
mov    -0x1c(%rbp),%eax
cmp    -0x24(%rbp),%eax
setne  %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    114f <binary+0x4f>
jmp    11aa <binary+0xaa>
mov    -0x14(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    116f <binary+0x6f>
movl   $0x1,-0x4(%rbp)
jmp    11b1 <binary+0xb1>
mov    -0x14(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    118e <binary+0x8e>
mov    -0x24(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    1194 <binary+0x94>
mov    -0x24(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x24(%rbp)
jmp    1122 <binary+0x22>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<binary>:
lea    (%rcx,%rdx,1),%eax
mov    %eax,%r8d
shr    $0x1f,%r8d
add    %eax,%r8d
sar    %r8d
xor    %eax,%eax
cmp    %edx,%r8d
je     114e <binary+0x4e>
cmp    %ecx,%r8d
je     114e <binary+0x4e>
nopl   0x0(%rax)
movslq %r8d,%r9
cmp    %esi,(%rdi,%r9,4)
je     114f <binary+0x4f>
jg     1130 <binary+0x30>
mov    %r8d,%edx
jmp    1133 <binary+0x33>
mov    %r8d,%ecx
lea    (%rdx,%rcx,1),%r9d
mov    %r9d,%r8d
shr    $0x1f,%r8d
add    %r9d,%r8d
sar    %r8d
cmp    %r8d,%edx
je     114e <binary+0x4e>
cmp    %r8d,%ecx
jne    1120 <binary+0x20>
ret
mov    $0x1,%eax
ret

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

LLVM IR (-O2):
define i32 @binary(i32* nocapture %0, i32 %1, i32 %2, i32 %3) {
%5 = add nsw i32 %3, %2
%6 = sdiv i32 %5, 2
%7 = icmp ne i32 %6, %2
%8 = icmp ne i32 %6, %3
%9 = and i1 %7, %8
br i1 %9, label %10, label %27
10: ; preds = %4, %18
%11 = phi i32 [ %23, %18 ], [ %6, %4 ]
%12 = phi i32 [ %21, %18 ], [ %3, %4 ]
%13 = phi i32 [ %20, %18 ], [ %2, %4 ]
%14 = sext i32 %11 to i64
%15 = getelementptr inbounds i32, i32* %0, i64 %14
%16 = load i32, i32* %15
%17 = icmp eq i32 %16, %1
br i1 %17, label %27, label %18
18: ; preds = %10
%19 = icmp sgt i32 %16, %1
%20 = select i1 %19, i32 %13, i32 %11
%21 = select i1 %19, i32 %11, i32 %12
%22 = add nsw i32 %20, %21
%23 = sdiv i32 %22, 2
%24 = icmp ne i32 %20, %23
%25 = icmp ne i32 %21, %23
%26 = select i1 %24, i1 %25, i1 false
br i1 %26, label %10, label %27
27: ; preds = %10, %18, %4
%28 = phi i32 [ 0, %4 ], [ 0, %18 ], [ 1, %10 ]
ret i32 %28
}