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


x86 assembly (clang, -O0):
<duplisearch>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x2,-0x14(%rbp)
jge    1145 <duplisearch+0x45>
mov    -0x10(%rbp),%rax
mov    (%rax),%edx
mov    -0x18(%rbp),%esi
mov    $0xffffffff,%eax
xor    %ecx,%ecx
cmp    %esi,%edx
cmove  %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    125a <duplisearch+0x15a>
jmp    114a <duplisearch+0x4a>
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     1253 <duplisearch+0x153>
mov    -0x20(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jne    1186 <duplisearch+0x86>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    125a <duplisearch+0x15a>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    11e3 <duplisearch+0xe3>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jle    11d8 <duplisearch+0xd8>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jg     11d8 <duplisearch+0xd8>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11de <duplisearch+0xde>
mov    -0x24(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    124e <duplisearch+0x14e>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1240 <duplisearch+0x140>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jge    1235 <duplisearch+0x135>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jg     1235 <duplisearch+0x135>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    123b <duplisearch+0x13b>
mov    -0x24(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1249 <duplisearch+0x149>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    124e <duplisearch+0x14e>
jmp    114a <duplisearch+0x4a>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<duplisearch>:
cmp    $0x2,%esi
jge    110f <duplisearch+0xf>
xor    %eax,%eax
cmp    %edx,(%rdi)
setne  %al
neg    %eax
ret
add    $0xffffffff,%esi
xor    %r8d,%r8d
jmp    1129 <duplisearch+0x29>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r8d
cmp    %esi,%r8d
jg     1199 <duplisearch+0x99>
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     119e <duplisearch+0x9e>
movslq %r8d,%rcx
mov    (%rdi,%rcx,4),%r9d
cmp    %r9d,%r10d
jle    1170 <duplisearch+0x70>
cmp    %edx,%r10d
setle  %r10b
cmp    %edx,%r9d
setg   %cl
or     %r10b,%cl
jne    1190 <duplisearch+0x90>
add    $0xffffffff,%eax
mov    %eax,%esi
jmp    1124 <duplisearch+0x24>
nopw   0x0(%rax,%rax,1)
jge    1120 <duplisearch+0x20>
cmp    %edx,%r10d
jge    1195 <duplisearch+0x95>
movslq %esi,%r9
lea    0x1(%rax),%ecx
cmp    %edx,(%rdi,%r9,4)
cmovl  %r8d,%ecx
cmovl  %eax,%esi
mov    %ecx,%r8d
jmp    1124 <duplisearch+0x24>
nopl   (%rax)
mov    %eax,%r8d
jmp    1124 <duplisearch+0x24>
mov    %eax,%esi
jmp    1124 <duplisearch+0x24>
mov    $0xffffffff,%eax
ret

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

LLVM IR (-O2):
define i32 @duplisearch(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 %50
11: ; preds = %5, %46
%12 = phi i32 [ %48, %46 ], [ %6, %5 ]
%13 = phi i32 [ %47, %46 ], [ 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 %50, 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 %46
32: ; preds = %20
%33 = icmp slt i32 %18, %23
br i1 %33, label %34, label %44
34: ; preds = %32
%35 = icmp slt i32 %18, %2
br i1 %35, label %36, label %46
36: ; preds = %34
%37 = sext i32 %12 to i64
%38 = getelementptr inbounds i32, i32* %0, i64 %37
%39 = load i32, i32* %38
%40 = icmp slt i32 %39, %2
%41 = add nsw i32 %15, 1
%42 = select i1 %40, i32 %13, i32 %41
%43 = select i1 %40, i32 %15, i32 %12
br label %46
44: ; preds = %32
%45 = add nsw i32 %13, 1
br label %46
46: ; preds = %36, %25, %34, %44
%47 = phi i32 [ %45, %44 ], [ %13, %34 ], [ %30, %25 ], [ %42, %36 ]
%48 = phi i32 [ %12, %44 ], [ %15, %34 ], [ %31, %25 ], [ %43, %36 ]
%49 = icmp sgt i32 %47, %48
br i1 %49, label %50, label %11
50: ; preds = %11, %46, %7
%51 = phi i32 [ %10, %7 ], [ %15, %11 ], [ -1, %46 ]
ret i32 %51
}