int search(int *A, int n, int target) {
  int i, tmp;
  int left = 0, right = n - 1;
  if (n < 2)
    return target == A[0] ? 0 : -1;
  while (left <= right) {
    tmp = (left + right) / 2;
    if (A[tmp] == target)
      return tmp;
    if (A[tmp] > A[left]) {
      if (A[tmp] > target && A[left] <= target) {
        right = tmp - 1;
      } else
        left = tmp;
    } else {
      if (A[right] >= target && A[tmp] < target) {
        left = tmp + 1;
      } else
        right = tmp;
    }
  }
  return -1;
}


x86 assembly (clang, -O0):
<search>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x2,-0x14(%rbp)
jge    1145 <search+0x45>
mov    -0x18(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    (%rax),%esi
mov    $0xffffffff,%eax
xor    %ecx,%ecx
cmp    %esi,%edx
cmove  %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1230 <search+0x130>
jmp    114a <search+0x4a>
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jg     1229 <search+0x129>
mov    -0x24(%rbp),%eax
add    -0x28(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jne    1186 <search+0x86>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1230 <search+0x130>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    11e3 <search+0xe3>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jle    11d8 <search+0xd8>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jg     11d8 <search+0xd8>
mov    -0x20(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11de <search+0xde>
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    1224 <search+0x124>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jl     1219 <search+0x119>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jge    1219 <search+0x119>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    121f <search+0x11f>
mov    -0x20(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    1224 <search+0x124>
jmp    114a <search+0x4a>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<search>:
cmp    $0x2,%esi
jge    110f <search+0xf>
xor    %eax,%eax
cmp    %edx,(%rdi)
setne  %al
neg    %eax
ret
add    $0xffffffff,%esi
xor    %r8d,%r8d
jmp    112a <search+0x2a>
nopw   0x0(%rax,%rax,1)
add    $0xffffffff,%eax
mov    %eax,%esi
cmp    %esi,%r8d
jg     118d <search+0x8d>
lea    (%rsi,%r8,1),%ecx
mov    %ecx,%eax
shr    $0x1f,%eax
add    %ecx,%eax
sar    %eax
movslq %eax,%rcx
mov    (%rdi,%rcx,4),%r10d
cmp    %edx,%r10d
je     1192 <search+0x92>
movslq %r8d,%rcx
mov    (%rdi,%rcx,4),%r9d
cmp    %r9d,%r10d
jle    1170 <search+0x70>
cmp    %edx,%r10d
setle  %r10b
cmp    %edx,%r9d
setg   %cl
or     %r10b,%cl
je     1120 <search+0x20>
mov    %eax,%r8d
jmp    1125 <search+0x25>
cs nopw 0x0(%rax,%rax,1)
movslq %esi,%rcx
cmp    %edx,(%rdi,%rcx,4)
setge  %r9b
cmp    %edx,%r10d
setl   %cl
test   %cl,%r9b
je     1123 <search+0x23>
add    $0x1,%eax
mov    %eax,%r8d
jmp    1125 <search+0x25>
mov    $0xffffffff,%eax
ret

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

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