int find_seg(int x, int y, int **list, int start, int end, int guess) {
  if ((x <= list[guess][0]) && (y >= list[guess][1]))
    return guess;
  if (x < list[guess][0]) {
    if (guess <= start)
      return -1;
    end = guess - 1;
  } else if (x > list[guess][1]) {
    if (guess >= end)
      return -1;
    start = guess + 1;
  }
  guess = (start + end) / 2;
  return find_seg(x, y, list, start, end, guess);
}


x86 assembly (clang, -O0):
<find_seg>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
mov    -0x8(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    (%rcx),%eax
jg     1167 <find_seg+0x57>
mov    -0xc(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    0x4(%rcx),%eax
jl     1167 <find_seg+0x57>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1210 <find_seg+0x100>
mov    -0x8(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    (%rcx),%eax
jge    11a4 <find_seg+0x94>
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     1196 <find_seg+0x86>
movl   $0xffffffff,-0x4(%rbp)
jmp    1210 <find_seg+0x100>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11e2 <find_seg+0xd2>
mov    -0x8(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    0x4(%rcx),%eax
jle    11dd <find_seg+0xcd>
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
jl     11d4 <find_seg+0xc4>
movl   $0xffffffff,-0x4(%rbp)
jmp    1210 <find_seg+0x100>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11e2 <find_seg+0xd2>
mov    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%edi
mov    -0xc(%rbp),%esi
mov    -0x18(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%r8d
mov    -0x24(%rbp),%r9d
call   1030 <find_seg@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<find_seg>:
mov    %r9d,%eax
jmp    1129 <find_seg+0x29>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    %ecx,%eax
jle    1155 <find_seg+0x55>
add    $0xffffffff,%eax
mov    %eax,%r8d
lea    (%r8,%rcx,1),%r9d
mov    %r9d,%eax
shr    $0x1f,%eax
add    %r9d,%eax
sar    %eax
movslq %eax,%r9
mov    (%rdx,%r9,8),%r9
mov    (%r9),%r10d
cmp    %edi,%r10d
jl     113e <find_seg+0x3e>
cmp    %esi,0x4(%r9)
jle    115a <find_seg+0x5a>
cmp    %edi,%r10d
jg     1110 <find_seg+0x10>
cmp    %edi,0x4(%r9)
jge    111a <find_seg+0x1a>
cmp    %r8d,%eax
jge    1155 <find_seg+0x55>
add    $0x1,%eax
mov    %eax,%ecx
jmp    111a <find_seg+0x1a>
mov    $0xffffffff,%eax
ret

LLVM IR (-O0):
define i32 @find_seg(i32 %0, i32 %1, i32** %2, i32 %3, i32 %4, i32 %5) {
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32**
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32 %0, i32* %8
store i32 %1, i32* %9
store i32** %2, i32*** %10
store i32 %3, i32* %11
store i32 %4, i32* %12
store i32 %5, i32* %13
%14 = load i32, i32* %8
%15 = load i32**, i32*** %10
%16 = load i32, i32* %13
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32*, i32** %15, i64 %17
%19 = load i32*, i32** %18
%20 = getelementptr inbounds i32, i32* %19, i64 0
%21 = load i32, i32* %20
%22 = icmp sle i32 %14, %21
br i1 %22, label %23, label %35
23: ; preds = %6
%24 = load i32, i32* %9
%25 = load i32**, i32*** %10
%26 = load i32, i32* %13
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i32*, i32** %25, i64 %27
%29 = load i32*, i32** %28
%30 = getelementptr inbounds i32, i32* %29, i64 1
%31 = load i32, i32* %30
%32 = icmp sge i32 %24, %31
br i1 %32, label %33, label %35
33: ; preds = %23
%34 = load i32, i32* %13
store i32 %34, i32* %7
br label %84
35: ; preds = %23, %6
%36 = load i32, i32* %8
%37 = load i32**, i32*** %10
%38 = load i32, i32* %13
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i32*, i32** %37, i64 %39
%41 = load i32*, i32** %40
%42 = getelementptr inbounds i32, i32* %41, i64 0
%43 = load i32, i32* %42
%44 = icmp slt i32 %36, %43
br i1 %44, label %45, label %53
45: ; preds = %35
%46 = load i32, i32* %13
%47 = load i32, i32* %11
%48 = icmp sle i32 %46, %47
br i1 %48, label %49, label %50
49: ; preds = %45
store i32 -1, i32* %7
br label %84
50: ; preds = %45
%51 = load i32, i32* %13
%52 = sub nsw i32 %51, 1
store i32 %52, i32* %12
br label %72
53: ; preds = %35
%54 = load i32, i32* %8
%55 = load i32**, i32*** %10
%56 = load i32, i32* %13
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds i32*, i32** %55, i64 %57
%59 = load i32*, i32** %58
%60 = getelementptr inbounds i32, i32* %59, i64 1
%61 = load i32, i32* %60
%62 = icmp sgt i32 %54, %61
br i1 %62, label %63, label %71
63: ; preds = %53
%64 = load i32, i32* %13
%65 = load i32, i32* %12
%66 = icmp sge i32 %64, %65
br i1 %66, label %67, label %68
67: ; preds = %63
store i32 -1, i32* %7
br label %84
68: ; preds = %63
%69 = load i32, i32* %13
%70 = add nsw i32 %69, 1
store i32 %70, i32* %11
br label %71
71: ; preds = %68, %53
br label %72
72: ; preds = %71, %50
%73 = load i32, i32* %11
%74 = load i32, i32* %12
%75 = add nsw i32 %73, %74
%76 = sdiv i32 %75, 2
store i32 %76, i32* %13
%77 = load i32, i32* %8
%78 = load i32, i32* %9
%79 = load i32**, i32*** %10
%80 = load i32, i32* %11
%81 = load i32, i32* %12
%82 = load i32, i32* %13
%83 = call i32 @find_seg(i32 %77, i32 %78, i32** %79, i32 %80, i32 %81, i32 %82)
store i32 %83, i32* %7
br label %84
84: ; preds = %72, %67, %49, %33
%85 = load i32, i32* %7
ret i32 %85
}

LLVM IR (-O2):
define i32 @find_seg(i32 %0, i32 %1, i32** nocapture %2, i32 %3, i32 %4, i32 %5) {
br label %7
7: ; preds = %34, %6
%8 = phi i32 [ %3, %6 ], [ %35, %34 ]
%9 = phi i32 [ %4, %6 ], [ %36, %34 ]
%10 = phi i32 [ %5, %6 ], [ %38, %34 ]
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds i32*, i32** %2, i64 %11
%13 = load i32*, i32** %12
%14 = load i32, i32* %13
%15 = icmp slt i32 %14, %0
br i1 %15, label %20, label %16
16: ; preds = %7
%17 = getelementptr inbounds i32, i32* %13, i64 1
%18 = load i32, i32* %17
%19 = icmp sgt i32 %18, %1
br i1 %19, label %20, label %39
20: ; preds = %16, %7
%21 = icmp sgt i32 %14, %0
br i1 %21, label %22, label %26
22: ; preds = %20
%23 = icmp sgt i32 %10, %8
br i1 %23, label %24, label %39
24: ; preds = %22
%25 = add nsw i32 %10, -1
br label %34
26: ; preds = %20
%27 = getelementptr inbounds i32, i32* %13, i64 1
%28 = load i32, i32* %27
%29 = icmp slt i32 %28, %0
br i1 %29, label %30, label %34
30: ; preds = %26
%31 = icmp slt i32 %10, %9
br i1 %31, label %32, label %39
32: ; preds = %30
%33 = add nsw i32 %10, 1
br label %34
34: ; preds = %26, %32, %24
%35 = phi i32 [ %8, %24 ], [ %33, %32 ], [ %8, %26 ]
%36 = phi i32 [ %25, %24 ], [ %9, %32 ], [ %9, %26 ]
%37 = add nsw i32 %36, %35
%38 = sdiv i32 %37, 2
br label %7
39: ; preds = %30, %22, %16
%40 = phi i32 [ %10, %16 ], [ -1, %22 ], [ -1, %30 ]
ret i32 %40
}