int search(int *nums, int numsSize, int target) {
  int lhs, rhs, mid;
  lhs = 0;
  rhs = numsSize - 1;
  while (lhs <= rhs) {
    mid = (lhs + rhs) / 2;
    if (nums[mid] == target)
      return 1;
    if (nums[mid] < nums[lhs]) {
      if (target > nums[mid] && target <= nums[rhs]) {
        lhs = mid + 1;
      } else {
        rhs = mid - 1;
      }
    } else if (nums[mid] > nums[lhs]) {
      if (target >= nums[lhs] && target < nums[mid]) {
        rhs = mid - 1;
      } else {
        lhs = mid + 1;
      }
    } else {
      lhs++;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<search>:
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)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     122e <search+0x12e>
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    115b <search+0x5b>
movl   $0x1,-0x4(%rbp)
jmp    1235 <search+0x135>
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    11bb <search+0xbb>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    11ad <search+0xad>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jg     11ad <search+0xad>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11b6 <search+0xb6>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1229 <search+0x129>
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    121b <search+0x11b>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jl     120d <search+0x10d>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    120d <search+0x10d>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1216 <search+0x116>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1224 <search+0x124>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1229 <search+0x129>
jmp    111e <search+0x1e>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<search>:
test   %esi,%esi
jle    1176 <search+0x76>
add    $0xffffffff,%esi
xor    %r8d,%r8d
jmp    111a <search+0x1a>
nopl   0x0(%rax)
add    $0xffffffff,%ecx
mov    %ecx,%esi
cmp    %esi,%r8d
jg     1176 <search+0x76>
lea    (%rsi,%r8,1),%eax
mov    %eax,%ecx
shr    $0x1f,%ecx
add    %eax,%ecx
sar    %ecx
movslq %ecx,%rax
mov    (%rdi,%rax,4),%r10d
cmp    %edx,%r10d
je     1179 <search+0x79>
movslq %r8d,%rax
mov    (%rdi,%rax,4),%r9d
cmp    %r9d,%r10d
jge    1150 <search+0x50>
cmp    %edx,%r10d
jge    1110 <search+0x10>
movslq %esi,%rax
cmp    %edx,(%rdi,%rax,4)
jl     1110 <search+0x10>
jmp    115c <search+0x5c>
xchg   %ax,%ax
jle    1170 <search+0x70>
cmp    %edx,%r9d
jg     115c <search+0x5c>
cmp    %edx,%r10d
jg     1110 <search+0x10>
add    $0x1,%ecx
mov    %ecx,%r8d
jmp    1115 <search+0x15>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%r8d
jmp    1115 <search+0x15>
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
store i32 0, i32* %8
%11 = load i32, i32* %6
%12 = sub nsw i32 %11, 1
store i32 %12, i32* %9
br label %13
13: ; preds = %104, %3
%14 = load i32, i32* %8
%15 = load i32, i32* %9
%16 = icmp sle i32 %14, %15
br i1 %16, label %17, label %105
17: ; preds = %13
%18 = load i32, i32* %8
%19 = load i32, i32* %9
%20 = add nsw i32 %18, %19
%21 = sdiv i32 %20, 2
store i32 %21, i32* %10
%22 = load i32*, i32** %5
%23 = load i32, i32* %10
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %22, i64 %24
%26 = load i32, i32* %25
%27 = load i32, i32* %7
%28 = icmp eq i32 %26, %27
br i1 %28, label %29, label %30
29: ; preds = %17
store i32 1, i32* %4
br label %106
30: ; preds = %17
%31 = load i32*, i32** %5
%32 = load i32, i32* %10
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %31, i64 %33
%35 = load i32, i32* %34
%36 = load i32*, i32** %5
%37 = load i32, i32* %8
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i32, i32* %36, i64 %38
%40 = load i32, i32* %39
%41 = icmp slt i32 %35, %40
br i1 %41, label %42, label %65
42: ; preds = %30
%43 = load i32, i32* %7
%44 = load i32*, i32** %5
%45 = load i32, i32* %10
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %44, i64 %46
%48 = load i32, i32* %47
%49 = icmp sgt i32 %43, %48
br i1 %49, label %50, label %61
50: ; preds = %42
%51 = load i32, i32* %7
%52 = load i32*, i32** %5
%53 = load i32, i32* %9
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %52, i64 %54
%56 = load i32, i32* %55
%57 = icmp sle i32 %51, %56
br i1 %57, label %58, label %61
58: ; preds = %50
%59 = load i32, i32* %10
%60 = add nsw i32 %59, 1
store i32 %60, i32* %8
br label %64
61: ; preds = %50, %42
%62 = load i32, i32* %10
%63 = sub nsw i32 %62, 1
store i32 %63, i32* %9
br label %64
64: ; preds = %61, %58
br label %104
65: ; preds = %30
%66 = load i32*, i32** %5
%67 = load i32, i32* %10
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i32, i32* %66, i64 %68
%70 = load i32, i32* %69
%71 = load i32*, i32** %5
%72 = load i32, i32* %8
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i32, i32* %71, i64 %73
%75 = load i32, i32* %74
%76 = icmp sgt i32 %70, %75
br i1 %76, label %77, label %100
77: ; preds = %65
%78 = load i32, i32* %7
%79 = load i32*, i32** %5
%80 = load i32, i32* %8
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i32, i32* %79, i64 %81
%83 = load i32, i32* %82
%84 = icmp sge i32 %78, %83
br i1 %84, label %85, label %96
85: ; preds = %77
%86 = load i32, i32* %7
%87 = load i32*, i32** %5
%88 = load i32, i32* %10
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i32, i32* %87, i64 %89
%91 = load i32, i32* %90
%92 = icmp slt i32 %86, %91
br i1 %92, label %93, label %96
93: ; preds = %85
%94 = load i32, i32* %10
%95 = sub nsw i32 %94, 1
store i32 %95, i32* %9
br label %99
96: ; preds = %85, %77
%97 = load i32, i32* %10
%98 = add nsw i32 %97, 1
store i32 %98, i32* %8
br label %99
99: ; preds = %96, %93
br label %103
100: ; preds = %65
%101 = load i32, i32* %8
%102 = add nsw i32 %101, 1
store i32 %102, i32* %8
br label %103
103: ; preds = %100, %99
br label %104
104: ; preds = %103, %64
br label %13
105: ; preds = %13
store i32 0, i32* %4
br label %106
106: ; preds = %105, %29
%107 = load i32, i32* %4
ret i32 %107
}

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