int search(int *nums, int numsSize, int target) {
  if (!numsSize)
    return (0);
  if (numsSize == 1)
    return (nums[0] == target ? 1 : 0);
  int l, r, m;
  l = 0;
  r = numsSize - 1;
  while (l <= r) {
    m = (l + r) / 2;
    if (nums[m] == target)
      return (1);
    if (nums[l] < nums[m]) {
      if (target < nums[m] && target >= nums[l])
        r = m - 1;
      else
        l = m + 1;
    } else if (nums[l] > nums[m]) {
      if (target > nums[m] && target <= nums[r])
        l = m + 1;
      else
        r = m - 1;
    } else {
      l++;
    }
  }
  return (0);
}


x86 assembly (clang, -O0):
<search>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    1124 <search+0x24>
movl   $0x0,-0x4(%rbp)
jmp    1272 <search+0x172>
cmpl   $0x1,-0x14(%rbp)
jne    114b <search+0x4b>
mov    -0x10(%rbp),%rax
mov    (%rax),%edx
mov    -0x18(%rbp),%esi
xor    %eax,%eax
mov    $0x1,%ecx
cmp    %esi,%edx
cmove  %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1272 <search+0x172>
movl   $0x0,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     126b <search+0x16b>
mov    -0x1c(%rbp),%eax
add    -0x20(%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    1198 <search+0x98>
movl   $0x1,-0x4(%rbp)
jmp    1272 <search+0x172>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11f8 <search+0xf8>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11ea <search+0xea>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jl     11ea <search+0xea>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11f3 <search+0xf3>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1266 <search+0x166>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    1258 <search+0x158>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    124a <search+0x14a>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jg     124a <search+0x14a>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1253 <search+0x153>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1261 <search+0x161>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1266 <search+0x166>
jmp    115b <search+0x5b>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<search>:
mov    %esi,%eax
test   %esi,%esi
je     1198 <search+0x98>
cmp    $0x1,%eax
jne    1117 <search+0x17>
xor    %eax,%eax
cmp    %edx,(%rdi)
sete   %al
ret
jl     1196 <search+0x96>
add    $0xffffffff,%eax
xor    %r8d,%r8d
jmp    113a <search+0x3a>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0xffffffff,%esi
mov    %esi,%eax
cmp    %eax,%r8d
jg     1196 <search+0x96>
lea    (%rax,%r8,1),%ecx
mov    %ecx,%esi
shr    $0x1f,%esi
add    %ecx,%esi
sar    %esi
movslq %esi,%rcx
mov    (%rdi,%rcx,4),%r10d
cmp    %edx,%r10d
je     1199 <search+0x99>
movslq %r8d,%rcx
mov    (%rdi,%rcx,4),%r9d
cmp    %r10d,%r9d
jge    1170 <search+0x70>
cmp    %edx,%r10d
jle    1180 <search+0x80>
cmp    %edx,%r9d
jle    1130 <search+0x30>
jmp    1180 <search+0x80>
nopl   0x0(%rax,%rax,1)
jle    1190 <search+0x90>
cmp    %edx,%r10d
jge    1130 <search+0x30>
movslq %eax,%rcx
cmp    %edx,(%rdi,%rcx,4)
jl     1130 <search+0x30>
nop
add    $0x1,%esi
mov    %esi,%r8d
jmp    1135 <search+0x35>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r8d
jmp    1135 <search+0x35>
xor    %eax,%eax
ret
mov    $0x1,%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
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%11 = load i32, i32* %6
%12 = icmp ne i32 %11, 0
br i1 %12, label %14, label %13
13: ; preds = %3
store i32 0, i32* %4
br label %121
14: ; preds = %3
%15 = load i32, i32* %6
%16 = icmp eq i32 %15, 1
br i1 %16, label %17, label %25
17: ; preds = %14
%18 = load i32*, i32** %5
%19 = getelementptr inbounds i32, i32* %18, i64 0
%20 = load i32, i32* %19
%21 = load i32, i32* %7
%22 = icmp eq i32 %20, %21
%23 = zext i1 %22 to i64
%24 = select i1 %22, i32 1, i32 0
store i32 %24, i32* %4
br label %121
25: ; preds = %14
store i32 0, i32* %8
%26 = load i32, i32* %6
%27 = sub nsw i32 %26, 1
store i32 %27, i32* %9
br label %28
28: ; preds = %119, %25
%29 = load i32, i32* %8
%30 = load i32, i32* %9
%31 = icmp sle i32 %29, %30
br i1 %31, label %32, label %120
32: ; preds = %28
%33 = load i32, i32* %8
%34 = load i32, i32* %9
%35 = add nsw i32 %33, %34
%36 = sdiv i32 %35, 2
store i32 %36, i32* %10
%37 = load i32*, i32** %5
%38 = load i32, i32* %10
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i32, i32* %37, i64 %39
%41 = load i32, i32* %40
%42 = load i32, i32* %7
%43 = icmp eq i32 %41, %42
br i1 %43, label %44, label %45
44: ; preds = %32
store i32 1, i32* %4
br label %121
45: ; preds = %32
%46 = load i32*, i32** %5
%47 = load i32, i32* %8
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %46, i64 %48
%50 = load i32, i32* %49
%51 = load i32*, i32** %5
%52 = load i32, i32* %10
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i32, i32* %51, i64 %53
%55 = load i32, i32* %54
%56 = icmp slt i32 %50, %55
br i1 %56, label %57, label %80
57: ; preds = %45
%58 = load i32, i32* %7
%59 = load i32*, i32** %5
%60 = load i32, i32* %10
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i32, i32* %59, i64 %61
%63 = load i32, i32* %62
%64 = icmp slt i32 %58, %63
br i1 %64, label %65, label %76
65: ; preds = %57
%66 = load i32, i32* %7
%67 = load i32*, i32** %5
%68 = load i32, i32* %8
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %67, i64 %69
%71 = load i32, i32* %70
%72 = icmp sge i32 %66, %71
br i1 %72, label %73, label %76
73: ; preds = %65
%74 = load i32, i32* %10
%75 = sub nsw i32 %74, 1
store i32 %75, i32* %9
br label %79
76: ; preds = %65, %57
%77 = load i32, i32* %10
%78 = add nsw i32 %77, 1
store i32 %78, i32* %8
br label %79
79: ; preds = %76, %73
br label %119
80: ; preds = %45
%81 = load i32*, i32** %5
%82 = load i32, i32* %8
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i32, i32* %81, i64 %83
%85 = load i32, i32* %84
%86 = load i32*, i32** %5
%87 = load i32, i32* %10
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i32, i32* %86, i64 %88
%90 = load i32, i32* %89
%91 = icmp sgt i32 %85, %90
br i1 %91, label %92, label %115
92: ; preds = %80
%93 = load i32, i32* %7
%94 = load i32*, i32** %5
%95 = load i32, i32* %10
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds i32, i32* %94, i64 %96
%98 = load i32, i32* %97
%99 = icmp sgt i32 %93, %98
br i1 %99, label %100, label %111
100: ; preds = %92
%101 = load i32, i32* %7
%102 = load i32*, i32** %5
%103 = load i32, i32* %9
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds i32, i32* %102, i64 %104
%106 = load i32, i32* %105
%107 = icmp sle i32 %101, %106
br i1 %107, label %108, label %111
108: ; preds = %100
%109 = load i32, i32* %10
%110 = add nsw i32 %109, 1
store i32 %110, i32* %8
br label %114
111: ; preds = %100, %92
%112 = load i32, i32* %10
%113 = sub nsw i32 %112, 1
store i32 %113, i32* %9
br label %114
114: ; preds = %111, %108
br label %118
115: ; preds = %80
%116 = load i32, i32* %8
%117 = add nsw i32 %116, 1
store i32 %117, i32* %8
br label %118
118: ; preds = %115, %114
br label %119
119: ; preds = %118, %79
br label %28
120: ; preds = %28
store i32 0, i32* %4
br label %121
121: ; preds = %120, %44, %17, %13
%122 = load i32, i32* %4
ret i32 %122
}

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