int search(int *num, int size, int aim, int i1, int i2, int i3) {
  int left = 0, right = size - 1, mid;
  while (left <= right) {
    mid = (left + right) / 2;
    if (num[mid] == aim) {
      int x = mid, y = mid, i;
      while (y < size && num[y] == aim)
        y++;
      for (i = mid; i < y; i++)
        if (i != i1 && i != i2 && i != i3)
          return i;
      break;
    }
    if (num[mid] > aim)
      right = mid - 1;
    else
      left = mid + 1;
  }
  return -1;
}


x86 assembly (clang, -O0):
<search>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jg     1232 <search+0x132>
mov    -0x28(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jne    1202 <search+0x102>
mov    -0x30(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x3d(%rbp)
jge    118b <search+0x8b>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
sete   %al
mov    %al,-0x3d(%rbp)
mov    -0x3d(%rbp),%al
test   $0x1,%al
jne    119b <search+0x9b>
jmp    11a9 <search+0xa9>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1166 <search+0x66>
mov    -0x30(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    11fd <search+0xfd>
mov    -0x3c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     11ea <search+0xea>
mov    -0x3c(%rbp),%eax
cmp    -0x20(%rbp),%eax
je     11ea <search+0xea>
mov    -0x3c(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     11ea <search+0xea>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1239 <search+0x139>
jmp    11ef <search+0xef>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11af <search+0xaf>
jmp    1232 <search+0x132>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jle    1224 <search+0x124>
mov    -0x30(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    122d <search+0x12d>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1129 <search+0x29>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<search>:
push   %rbp
push   %r14
push   %rbx
mov    $0xffffffff,%eax
test   %esi,%esi
jle    11ab <search+0xab>
lea    -0x1(%rsi),%r11d
xor    %r14d,%r14d
jmp    112c <search+0x2c>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r10d
mov    %r10d,%r14d
cmp    %r11d,%r14d
jg     11ab <search+0xab>
lea    (%r14,%r11,1),%ebx
mov    %ebx,%r10d
shr    $0x1f,%r10d
add    %ebx,%r10d
sar    %r10d
movslq %r10d,%rbx
mov    (%rdi,%rbx,4),%ebp
cmp    %edx,%ebp
je     1157 <search+0x57>
jle    1120 <search+0x20>
add    $0xffffffff,%r10d
mov    %r10d,%r11d
cmp    %r11d,%r14d
jle    112c <search+0x2c>
jmp    11ab <search+0xab>
cmp    %esi,%r10d
jge    11ab <search+0xab>
mov    %r10d,%r11d
neg    %r11d
lea    (%rdi,%rbx,4),%rdi
add    $0x4,%rdi
nopw   0x0(%rax,%rax,1)
lea    (%rsi,%r11,1),%ebx
cmp    $0x1,%ebx
je     1194 <search+0x94>
add    $0xffffffff,%r11d
lea    0x4(%rdi),%rbx
cmp    %edx,(%rdi)
mov    %rbx,%rdi
je     1170 <search+0x70>
neg    %r11d
mov    %r11d,%esi
jmp    1194 <search+0x94>
add    $0x1,%r10d
cmp    %esi,%r10d
jge    11ab <search+0xab>
cmp    %r10d,%r9d
je     1190 <search+0x90>
cmp    %r10d,%ecx
je     1190 <search+0x90>
cmp    %r10d,%r8d
je     1190 <search+0x90>
mov    %r10d,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32 @search(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
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = 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
store i32 0, i32* %14
%20 = load i32, i32* %9
%21 = sub nsw i32 %20, 1
store i32 %21, i32* %15
br label %22
22: ; preds = %97, %6
%23 = load i32, i32* %14
%24 = load i32, i32* %15
%25 = icmp sle i32 %23, %24
br i1 %25, label %26, label %98
26: ; preds = %22
%27 = load i32, i32* %14
%28 = load i32, i32* %15
%29 = add nsw i32 %27, %28
%30 = sdiv i32 %29, 2
store i32 %30, i32* %16
%31 = load i32*, i32** %8
%32 = load i32, i32* %16
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %31, i64 %33
%35 = load i32, i32* %34
%36 = load i32, i32* %10
%37 = icmp eq i32 %35, %36
br i1 %37, label %38, label %83
38: ; preds = %26
%39 = load i32, i32* %16
store i32 %39, i32* %17
%40 = load i32, i32* %16
store i32 %40, i32* %18
br label %41
41: ; preds = %55, %38
%42 = load i32, i32* %18
%43 = load i32, i32* %9
%44 = icmp slt i32 %42, %43
br i1 %44, label %45, label %53
45: ; preds = %41
%46 = load i32*, i32** %8
%47 = load i32, i32* %18
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %46, i64 %48
%50 = load i32, i32* %49
%51 = load i32, i32* %10
%52 = icmp eq i32 %50, %51
br label %53
53: ; preds = %45, %41
%54 = phi i1 [ false, %41 ], [ %52, %45 ]
br i1 %54, label %55, label %58
55: ; preds = %53
%56 = load i32, i32* %18
%57 = add nsw i32 %56, 1
store i32 %57, i32* %18
br label %41
58: ; preds = %53
%59 = load i32, i32* %16
store i32 %59, i32* %19
br label %60
60: ; preds = %79, %58
%61 = load i32, i32* %19
%62 = load i32, i32* %18
%63 = icmp slt i32 %61, %62
br i1 %63, label %64, label %82
64: ; preds = %60
%65 = load i32, i32* %19
%66 = load i32, i32* %11
%67 = icmp ne i32 %65, %66
br i1 %67, label %68, label %78
68: ; preds = %64
%69 = load i32, i32* %19
%70 = load i32, i32* %12
%71 = icmp ne i32 %69, %70
br i1 %71, label %72, label %78
72: ; preds = %68
%73 = load i32, i32* %19
%74 = load i32, i32* %13
%75 = icmp ne i32 %73, %74
br i1 %75, label %76, label %78
76: ; preds = %72
%77 = load i32, i32* %19
store i32 %77, i32* %7
br label %99
78: ; preds = %72, %68, %64
br label %79
79: ; preds = %78
%80 = load i32, i32* %19
%81 = add nsw i32 %80, 1
store i32 %81, i32* %19
br label %60
82: ; preds = %60
br label %98
83: ; preds = %26
%84 = load i32*, i32** %8
%85 = load i32, i32* %16
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i32, i32* %84, i64 %86
%88 = load i32, i32* %87
%89 = load i32, i32* %10
%90 = icmp sgt i32 %88, %89
br i1 %90, label %91, label %94
91: ; preds = %83
%92 = load i32, i32* %16
%93 = sub nsw i32 %92, 1
store i32 %93, i32* %15
br label %97
94: ; preds = %83
%95 = load i32, i32* %16
%96 = add nsw i32 %95, 1
store i32 %96, i32* %14
br label %97
97: ; preds = %94, %91
br label %22
98: ; preds = %82, %22
store i32 -1, i32* %7
br label %99
99: ; preds = %98, %76
%100 = load i32, i32* %7
ret i32 %100
}

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