int busquedaBin2(double m[], int n, double v) {
  int mitad, inf = 0, sup = n - 1;
  if (n == 0)
    return -1;
  do {
    mitad = (inf + sup) / 2;
    if (v > m[mitad])
      inf = mitad + 1;
    else
      sup = mitad;
  } while (inf < sup);
  if (m[inf] == v)
    return inf;
  else
    return -1;
}


x86 assembly (clang, -O0):
<busquedaBin2>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movsd  %xmm0,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    1136 <busquedaBin2+0x36>
movl   $0xffffffff,-0x4(%rbp)
jmp    11b9 <busquedaBin2+0xb9>
jmp    113b <busquedaBin2+0x3b>
mov    -0x28(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x24(%rbp)
movsd  -0x20(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
ucomisd (%rax,%rcx,8),%xmm0
jbe    1172 <busquedaBin2+0x72>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1178 <busquedaBin2+0x78>
mov    -0x24(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    117d <busquedaBin2+0x7d>
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jl     113b <busquedaBin2+0x3b>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd -0x20(%rbp),%xmm0
jne    11b2 <busquedaBin2+0xb2>
jp     11b2 <busquedaBin2+0xb2>
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    11b9 <busquedaBin2+0xb9>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<busquedaBin2>:
test   %esi,%esi
je     1149 <busquedaBin2+0x49>
add    $0xffffffff,%esi
xor    %eax,%eax
jmp    1116 <busquedaBin2+0x16>
nopl   0x0(%rax,%rax,1)
mov    %ecx,%esi
cmp    %esi,%eax
jge    1135 <busquedaBin2+0x35>
lea    (%rsi,%rax,1),%edx
mov    %edx,%ecx
shr    $0x1f,%ecx
add    %edx,%ecx
sar    %ecx
movslq %ecx,%rdx
ucomisd (%rdi,%rdx,8),%xmm0
jbe    1110 <busquedaBin2+0x10>
add    $0x1,%ecx
mov    %ecx,%eax
cmp    %esi,%eax
jl     1116 <busquedaBin2+0x16>
movslq %eax,%rcx
ucomisd (%rdi,%rcx,8),%xmm0
mov    $0xffffffff,%ecx
cmovne %ecx,%eax
cmovp  %ecx,%eax
ret
mov    $0xffffffff,%eax
ret

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

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