int search(int *nums, int numsSize, int target) {
  int idx = -1;
  if (numsSize < 10) {
    int i;
    for (i = 0; i < numsSize; i++) {
      if (nums[i] == target)
        idx = i;
    }
    return idx;
  }
  int left, right, middle;
  int sep;
  if (nums[0] < nums[numsSize - 1]) {
    left = -1;
    right = 0;
    sep = 0;
  } else {
    left = 0;
    right = numsSize - 1;
    while (right != left + 1) {
      middle = (left + right) / 2;
      if (nums[middle] < nums[middle - 1]) {
        left = middle - 1;
        right = middle;
      } else {
        if (nums[middle] > nums[0])
          left = middle;
        else
          right = middle - 1;
      }
    }
    sep = right;
  }
  if (sep > 0) {
    left = 0;
    right = sep - 1;
    if (nums[left] > target || nums[right] < target) {
      idx = -1;
    } else {
      while (left < right) {
        middle = (left + right) / 2;
        if (nums[middle] == target)
          return middle;
        if (nums[middle] < target)
          left = middle + 1;
        else
          right = middle - 1;
      }
      if (nums[left] == target)
        return left;
    }
  }
  if (idx != -1)
    return idx;
  left = sep;
  right = numsSize - 1;
  if (nums[left] > target || nums[right] < target)
    return -1;
  while (left < right) {
    middle = (left + right) / 2;
    if (nums[middle] == target)
      return middle;
    if (nums[middle] < target)
      left = middle + 1;
    else
      right = middle - 1;
  }
  if (nums[left] == target)
    return left;
  else
    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   $0xffffffff,-0x1c(%rbp)
cmpl   $0xa,-0x14(%rbp)
jge    116a <search+0x6a>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    115f <search+0x5f>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jne    114c <search+0x4c>
mov    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    1151 <search+0x51>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1126 <search+0x26>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1419 <search+0x319>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
mov    -0x14(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11a0 <search+0xa0>
movl   $0xffffffff,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x30(%rbp)
jmp    1242 <search+0x142>
movl   $0x0,-0x24(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     123c <search+0x13c>
mov    -0x24(%rbp),%eax
add    -0x28(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x2c(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1207 <search+0x107>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    1237 <search+0x137>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jle    1229 <search+0x129>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    1232 <search+0x132>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1237 <search+0x137>
jmp    11b0 <search+0xb0>
mov    -0x28(%rbp),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jle    132a <search+0x22a>
movl   $0x0,-0x24(%rbp)
mov    -0x30(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jg     1284 <search+0x184>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jge    1290 <search+0x190>
movl   $0xffffffff,-0x1c(%rbp)
jmp    1325 <search+0x225>
jmp    1295 <search+0x195>
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    1301 <search+0x201>
mov    -0x24(%rbp),%eax
add    -0x28(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jne    12d1 <search+0x1d1>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1419 <search+0x319>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jge    12f3 <search+0x1f3>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12fc <search+0x1fc>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1295 <search+0x195>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jne    1320 <search+0x220>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1419 <search+0x319>
jmp    1325 <search+0x225>
jmp    132a <search+0x22a>
cmpl   $0xffffffff,-0x1c(%rbp)
je     133f <search+0x23f>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1419 <search+0x319>
mov    -0x30(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jg     1376 <search+0x276>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jge    1382 <search+0x282>
movl   $0xffffffff,-0x4(%rbp)
jmp    1419 <search+0x319>
jmp    1387 <search+0x287>
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    13f3 <search+0x2f3>
mov    -0x24(%rbp),%eax
add    -0x28(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jne    13c3 <search+0x2c3>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1419 <search+0x319>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jge    13e5 <search+0x2e5>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    13ee <search+0x2ee>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1387 <search+0x287>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jne    1412 <search+0x312>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1419 <search+0x319>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<search>:
push   %rbp
push   %r14
push   %rbx
cmp    $0x9,%esi
jg     1134 <search+0x34>
test   %esi,%esi
jle    11d7 <search+0xd7>
mov    %esi,%r8d
lea    -0x1(%r8),%rax
mov    %r8d,%ecx
and    $0x3,%ecx
cmp    $0x3,%rax
jae    11e1 <search+0xe1>
mov    $0xffffffff,%eax
xor    %esi,%esi
jmp    121d <search+0x11d>
mov    (%rdi),%r9d
add    $0xffffffff,%esi
mov    (%rdi,%rsi,4),%r8d
xor    %r14d,%r14d
cmp    %r8d,%r9d
jl     1283 <search+0x183>
xor    %eax,%eax
mov    %esi,%r14d
jmp    116a <search+0x6a>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    0x1(%rcx),%ebp
mov    %ecx,%eax
cmp    %ebp,%r14d
je     11a3 <search+0xa3>
mov    %r14d,%r10d
lea    (%r10,%rax,1),%ecx
mov    %ecx,%r14d
shr    $0x1f,%r14d
add    %ecx,%r14d
sar    %r14d
movslq %r14d,%rbx
mov    (%rdi,%rbx,4),%r11d
lea    -0x1(%rbx),%ecx
mov    %r14d,%ebp
cmp    %r9d,%r11d
jg     1195 <search+0x95>
mov    %eax,%ebp
mov    %ecx,%r10d
cmp    -0x4(%rdi,%rbx,4),%r11d
jl     1160 <search+0x60>
mov    %ebp,%ecx
mov    %r10d,%r14d
jmp    1160 <search+0x60>
test   %r14d,%r14d
jle    1283 <search+0x183>
cmp    %edx,%r9d
jg     1283 <search+0x183>
lea    -0x1(%r14),%r11d
mov    %r11d,%eax
cmp    %edx,(%rdi,%rax,4)
jl     1283 <search+0x183>
xor    %r10d,%r10d
cmp    $0x2,%r14d
jb     127b <search+0x17b>
xor    %r10d,%r10d
jmp    1250 <search+0x150>
mov    $0xffffffff,%eax
jmp    12df <search+0x1df>
and    $0xfffffffc,%r8d
mov    $0xffffffff,%eax
xor    %esi,%esi
nopl   0x0(%rax)
cmp    %edx,(%rdi,%rsi,4)
cmove  %esi,%eax
cmp    %edx,0x4(%rdi,%rsi,4)
lea    0x1(%rsi),%ebp
cmovne %eax,%ebp
lea    0x2(%rsi),%ebx
cmp    %edx,0x8(%rdi,%rsi,4)
cmovne %ebp,%ebx
lea    0x3(%rsi),%eax
cmp    %edx,0xc(%rdi,%rsi,4)
cmovne %ebx,%eax
add    $0x4,%rsi
cmp    %r8,%rsi
jne    11f0 <search+0xf0>
test   %rcx,%rcx
je     12df <search+0x1df>
cs nopw 0x0(%rax,%rax,1)
cmp    %edx,(%rdi,%rsi,4)
cmove  %esi,%eax
add    $0x1,%rsi
add    $0xffffffffffffffff,%rcx
jne    1230 <search+0x130>
jmp    12df <search+0x1df>
add    $0xffffffff,%eax
mov    %eax,%r11d
cmp    %r11d,%r10d
jge    1274 <search+0x174>
lea    (%r11,%r10,1),%ecx
mov    %ecx,%eax
shr    $0x1f,%eax
add    %ecx,%eax
sar    %eax
movslq %eax,%rcx
mov    (%rdi,%rcx,4),%ecx
cmp    %edx,%ecx
je     12df <search+0x1df>
jge    1245 <search+0x145>
add    $0x1,%eax
mov    %eax,%r10d
cmp    %r11d,%r10d
jl     1250 <search+0x150>
movslq %r10d,%rax
mov    (%rdi,%rax,4),%r9d
mov    %r10d,%eax
cmp    %edx,%r9d
je     12df <search+0x1df>
movslq %r14d,%rax
mov    (%rdi,%rax,4),%ecx
mov    $0xffffffff,%eax
cmp    %edx,%ecx
jg     12df <search+0x1df>
cmp    %edx,%r8d
jl     12df <search+0x1df>
cmp    %esi,%r14d
jl     12aa <search+0x1aa>
jmp    12d4 <search+0x1d4>
xchg   %ax,%ax
add    $0xffffffff,%eax
mov    %eax,%esi
cmp    %esi,%r14d
jge    12ce <search+0x1ce>
lea    (%rsi,%r14,1),%ecx
mov    %ecx,%eax
shr    $0x1f,%eax
add    %ecx,%eax
sar    %eax
movslq %eax,%rcx
mov    (%rdi,%rcx,4),%ecx
cmp    %edx,%ecx
je     12df <search+0x1df>
jge    12a0 <search+0x1a0>
add    $0x1,%eax
mov    %eax,%r14d
cmp    %esi,%r14d
jl     12aa <search+0x1aa>
movslq %r14d,%rax
mov    (%rdi,%rax,4),%ecx
cmp    %edx,%ecx
mov    $0xffffffff,%eax
cmove  %r14d,%eax
pop    %rbx
pop    %r14
pop    %rbp
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
%12 = alloca i32
%13 = alloca i32
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 -1, i32* %8
%14 = load i32, i32* %6
%15 = icmp slt i32 %14, 10
br i1 %15, label %16, label %37
16: ; preds = %3
store i32 0, i32* %9
br label %17
17: ; preds = %32, %16
%18 = load i32, i32* %9
%19 = load i32, i32* %6
%20 = icmp slt i32 %18, %19
br i1 %20, label %21, label %35
21: ; preds = %17
%22 = load i32*, i32** %5
%23 = load i32, i32* %9
%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 %31
29: ; preds = %21
%30 = load i32, i32* %9
store i32 %30, i32* %8
br label %31
31: ; preds = %29, %21
br label %32
32: ; preds = %31
%33 = load i32, i32* %9
%34 = add nsw i32 %33, 1
store i32 %34, i32* %9
br label %17
35: ; preds = %17
%36 = load i32, i32* %8
store i32 %36, i32* %4
br label %235
37: ; preds = %3
%38 = load i32*, i32** %5
%39 = getelementptr inbounds i32, i32* %38, i64 0
%40 = load i32, i32* %39
%41 = load i32*, i32** %5
%42 = load i32, i32* %6
%43 = sub nsw i32 %42, 1
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i32, i32* %41, i64 %44
%46 = load i32, i32* %45
%47 = icmp slt i32 %40, %46
br i1 %47, label %48, label %49
48: ; preds = %37
store i32 -1, i32* %10
store i32 0, i32* %11
store i32 0, i32* %13
br label %97
49: ; preds = %37
store i32 0, i32* %10
%50 = load i32, i32* %6
%51 = sub nsw i32 %50, 1
store i32 %51, i32* %11
br label %52
52: ; preds = %94, %49
%53 = load i32, i32* %11
%54 = load i32, i32* %10
%55 = add nsw i32 %54, 1
%56 = icmp ne i32 %53, %55
br i1 %56, label %57, label %95
57: ; preds = %52
%58 = load i32, i32* %10
%59 = load i32, i32* %11
%60 = add nsw i32 %58, %59
%61 = sdiv i32 %60, 2
store i32 %61, i32* %12
%62 = load i32*, i32** %5
%63 = load i32, i32* %12
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i32, i32* %62, i64 %64
%66 = load i32, i32* %65
%67 = load i32*, i32** %5
%68 = load i32, i32* %12
%69 = sub nsw i32 %68, 1
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds i32, i32* %67, i64 %70
%72 = load i32, i32* %71
%73 = icmp slt i32 %66, %72
br i1 %73, label %74, label %78
74: ; preds = %57
%75 = load i32, i32* %12
%76 = sub nsw i32 %75, 1
store i32 %76, i32* %10
%77 = load i32, i32* %12
store i32 %77, i32* %11
br label %94
78: ; preds = %57
%79 = load i32*, i32** %5
%80 = load i32, i32* %12
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i32, i32* %79, i64 %81
%83 = load i32, i32* %82
%84 = load i32*, i32** %5
%85 = getelementptr inbounds i32, i32* %84, i64 0
%86 = load i32, i32* %85
%87 = icmp sgt i32 %83, %86
br i1 %87, label %88, label %90
88: ; preds = %78
%89 = load i32, i32* %12
store i32 %89, i32* %10
br label %93
90: ; preds = %78
%91 = load i32, i32* %12
%92 = sub nsw i32 %91, 1
store i32 %92, i32* %11
br label %93
93: ; preds = %90, %88
br label %94
94: ; preds = %93, %74
br label %52
95: ; preds = %52
%96 = load i32, i32* %11
store i32 %96, i32* %13
br label %97
97: ; preds = %95, %48
%98 = load i32, i32* %13
%99 = icmp sgt i32 %98, 0
br i1 %99, label %100, label %165
100: ; preds = %97
store i32 0, i32* %10
%101 = load i32, i32* %13
%102 = sub nsw i32 %101, 1
store i32 %102, i32* %11
%103 = load i32*, i32** %5
%104 = load i32, i32* %10
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds i32, i32* %103, i64 %105
%107 = load i32, i32* %106
%108 = load i32, i32* %7
%109 = icmp sgt i32 %107, %108
br i1 %109, label %118, label %110
110: ; preds = %100
%111 = load i32*, i32** %5
%112 = load i32, i32* %11
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds i32, i32* %111, i64 %113
%115 = load i32, i32* %114
%116 = load i32, i32* %7
%117 = icmp slt i32 %115, %116
br i1 %117, label %118, label %119
118: ; preds = %110, %100
store i32 -1, i32* %8
br label %164
119: ; preds = %110
br label %120
120: ; preds = %152, %119
%121 = load i32, i32* %10
%122 = load i32, i32* %11
%123 = icmp slt i32 %121, %122
br i1 %123, label %124, label %153
124: ; preds = %120
%125 = load i32, i32* %10
%126 = load i32, i32* %11
%127 = add nsw i32 %125, %126
%128 = sdiv i32 %127, 2
store i32 %128, i32* %12
%129 = load i32*, i32** %5
%130 = load i32, i32* %12
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds i32, i32* %129, i64 %131
%133 = load i32, i32* %132
%134 = load i32, i32* %7
%135 = icmp eq i32 %133, %134
br i1 %135, label %136, label %138
136: ; preds = %124
%137 = load i32, i32* %12
store i32 %137, i32* %4
br label %235
138: ; preds = %124
%139 = load i32*, i32** %5
%140 = load i32, i32* %12
%141 = sext i32 %140 to i64
%142 = getelementptr inbounds i32, i32* %139, i64 %141
%143 = load i32, i32* %142
%144 = load i32, i32* %7
%145 = icmp slt i32 %143, %144
br i1 %145, label %146, label %149
146: ; preds = %138
%147 = load i32, i32* %12
%148 = add nsw i32 %147, 1
store i32 %148, i32* %10
br label %152
149: ; preds = %138
%150 = load i32, i32* %12
%151 = sub nsw i32 %150, 1
store i32 %151, i32* %11
br label %152
152: ; preds = %149, %146
br label %120
153: ; preds = %120
%154 = load i32*, i32** %5
%155 = load i32, i32* %10
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds i32, i32* %154, i64 %156
%158 = load i32, i32* %157
%159 = load i32, i32* %7
%160 = icmp eq i32 %158, %159
br i1 %160, label %161, label %163
161: ; preds = %153
%162 = load i32, i32* %10
store i32 %162, i32* %4
br label %235
163: ; preds = %153
br label %164
164: ; preds = %163, %118
br label %165
165: ; preds = %164, %97
%166 = load i32, i32* %8
%167 = icmp ne i32 %166, -1
br i1 %167, label %168, label %170
168: ; preds = %165
%169 = load i32, i32* %8
store i32 %169, i32* %4
br label %235
170: ; preds = %165
%171 = load i32, i32* %13
store i32 %171, i32* %10
%172 = load i32, i32* %6
%173 = sub nsw i32 %172, 1
store i32 %173, i32* %11
%174 = load i32*, i32** %5
%175 = load i32, i32* %10
%176 = sext i32 %175 to i64
%177 = getelementptr inbounds i32, i32* %174, i64 %176
%178 = load i32, i32* %177
%179 = load i32, i32* %7
%180 = icmp sgt i32 %178, %179
br i1 %180, label %189, label %181
181: ; preds = %170
%182 = load i32*, i32** %5
%183 = load i32, i32* %11
%184 = sext i32 %183 to i64
%185 = getelementptr inbounds i32, i32* %182, i64 %184
%186 = load i32, i32* %185
%187 = load i32, i32* %7
%188 = icmp slt i32 %186, %187
br i1 %188, label %189, label %190
189: ; preds = %181, %170
store i32 -1, i32* %4
br label %235
190: ; preds = %181
br label %191
191: ; preds = %223, %190
%192 = load i32, i32* %10
%193 = load i32, i32* %11
%194 = icmp slt i32 %192, %193
br i1 %194, label %195, label %224
195: ; preds = %191
%196 = load i32, i32* %10
%197 = load i32, i32* %11
%198 = add nsw i32 %196, %197
%199 = sdiv i32 %198, 2
store i32 %199, i32* %12
%200 = load i32*, i32** %5
%201 = load i32, i32* %12
%202 = sext i32 %201 to i64
%203 = getelementptr inbounds i32, i32* %200, i64 %202
%204 = load i32, i32* %203
%205 = load i32, i32* %7
%206 = icmp eq i32 %204, %205
br i1 %206, label %207, label %209
207: ; preds = %195
%208 = load i32, i32* %12
store i32 %208, i32* %4
br label %235
209: ; preds = %195
%210 = load i32*, i32** %5
%211 = load i32, i32* %12
%212 = sext i32 %211 to i64
%213 = getelementptr inbounds i32, i32* %210, i64 %212
%214 = load i32, i32* %213
%215 = load i32, i32* %7
%216 = icmp slt i32 %214, %215
br i1 %216, label %217, label %220
217: ; preds = %209
%218 = load i32, i32* %12
%219 = add nsw i32 %218, 1
store i32 %219, i32* %10
br label %223
220: ; preds = %209
%221 = load i32, i32* %12
%222 = sub nsw i32 %221, 1
store i32 %222, i32* %11
br label %223
223: ; preds = %220, %217
br label %191
224: ; preds = %191
%225 = load i32*, i32** %5
%226 = load i32, i32* %10
%227 = sext i32 %226 to i64
%228 = getelementptr inbounds i32, i32* %225, i64 %227
%229 = load i32, i32* %228
%230 = load i32, i32* %7
%231 = icmp eq i32 %229, %230
br i1 %231, label %232, label %234
232: ; preds = %224
%233 = load i32, i32* %10
store i32 %233, i32* %4
br label %235
234: ; preds = %224
store i32 -1, i32* %4
br label %235
235: ; preds = %234, %232, %207, %189, %168, %161, %136, %35
%236 = load i32, i32* %4
ret i32 %236
}

LLVM IR (-O2):
define i32 @search(i32* nocapture %0, i32 %1, i32 %2) {
%4 = icmp slt i32 %1, 10
br i1 %4, label %5, label %44
5: ; preds = %3
%6 = icmp sgt i32 %1, 0
br i1 %6, label %7, label %159
7: ; preds = %5
%8 = zext i32 %1 to i64
%9 = add nsw i64 %8, -1
%10 = and i64 %8, 3
%11 = icmp ult i64 %9, 3
br i1 %11, label %142, label %12
12: ; preds = %7
%13 = and i64 %8, 4294967292
br label %14
14: ; preds = %14, %12
%15 = phi i64 [ 0, %12 ], [ %41, %14 ]
%16 = phi i32 [ -1, %12 ], [ %40, %14 ]
%17 = phi i64 [ 0, %12 ], [ %42, %14 ]
%18 = getelementptr inbounds i32, i32* %0, i64 %15
%19 = load i32, i32* %18
%20 = icmp eq i32 %19, %2
%21 = trunc i64 %15 to i32
%22 = select i1 %20, i32 %21, i32 %16
%23 = or i64 %15, 1
%24 = getelementptr inbounds i32, i32* %0, i64 %23
%25 = load i32, i32* %24
%26 = icmp eq i32 %25, %2
%27 = trunc i64 %23 to i32
%28 = select i1 %26, i32 %27, i32 %22
%29 = or i64 %15, 2
%30 = getelementptr inbounds i32, i32* %0, i64 %29
%31 = load i32, i32* %30
%32 = icmp eq i32 %31, %2
%33 = trunc i64 %29 to i32
%34 = select i1 %32, i32 %33, i32 %28
%35 = or i64 %15, 3
%36 = getelementptr inbounds i32, i32* %0, i64 %35
%37 = load i32, i32* %36
%38 = icmp eq i32 %37, %2
%39 = trunc i64 %35 to i32
%40 = select i1 %38, i32 %39, i32 %34
%41 = add nuw nsw i64 %15, 4
%42 = add i64 %17, 4
%43 = icmp eq i64 %42, %13
br i1 %43, label %142, label %14
44: ; preds = %3
%45 = load i32, i32* %0
%46 = add nsw i32 %1, -1
%47 = zext i32 %46 to i64
%48 = getelementptr inbounds i32, i32* %0, i64 %47
%49 = load i32, i32* %48
%50 = icmp slt i32 %45, %49
br i1 %50, label %107, label %51
51: ; preds = %44, %51
%52 = phi i32 [ %68, %51 ], [ %46, %44 ]
%53 = phi i32 [ %67, %51 ], [ 0, %44 ]
%54 = add nsw i32 %52, %53
%55 = sdiv i32 %54, 2
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %0, i64 %56
%58 = load i32, i32* %57
%59 = add nsw i32 %55, -1
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i32, i32* %0, i64 %60
%62 = load i32, i32* %61
%63 = icmp slt i32 %58, %62
%64 = icmp sgt i32 %58, %45
%65 = select i1 %64, i32 %55, i32 %53
%66 = select i1 %64, i32 %52, i32 %59
%67 = select i1 %63, i32 %59, i32 %65
%68 = select i1 %63, i32 %55, i32 %66
%69 = add nsw i32 %67, 1
%70 = icmp eq i32 %68, %69
br i1 %70, label %71, label %51
71: ; preds = %51
%72 = icmp sgt i32 %68, 0
br i1 %72, label %73, label %107
73: ; preds = %71
%74 = add nsw i32 %68, -1
%75 = icmp sgt i32 %45, %2
br i1 %75, label %107, label %76
76: ; preds = %73
%77 = zext i32 %74 to i64
%78 = getelementptr inbounds i32, i32* %0, i64 %77
%79 = load i32, i32* %78
%80 = icmp slt i32 %79, %2
br i1 %80, label %107, label %81
81: ; preds = %76
%82 = icmp ugt i32 %68, 1
br i1 %82, label %83, label %103
83: ; preds = %81, %92
%84 = phi i32 [ %97, %92 ], [ %74, %81 ]
%85 = phi i32 [ %96, %92 ], [ 0, %81 ]
%86 = add nsw i32 %84, %85
%87 = sdiv i32 %86, 2
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i32, i32* %0, i64 %88
%90 = load i32, i32* %89
%91 = icmp eq i32 %90, %2
br i1 %91, label %159, label %92
92: ; preds = %83
%93 = icmp slt i32 %90, %2
%94 = add nsw i32 %87, 1
%95 = add nsw i32 %87, -1
%96 = select i1 %93, i32 %94, i32 %85
%97 = select i1 %93, i32 %84, i32 %95
%98 = icmp slt i32 %96, %97
br i1 %98, label %83, label %99
99: ; preds = %92
%100 = sext i32 %96 to i64
%101 = getelementptr inbounds i32, i32* %0, i64 %100
%102 = load i32, i32* %101
br label %103
103: ; preds = %81, %99
%104 = phi i32 [ %102, %99 ], [ %45, %81 ]
%105 = phi i32 [ %96, %99 ], [ 0, %81 ]
%106 = icmp eq i32 %104, %2
br i1 %106, label %159, label %107
107: ; preds = %44, %71, %103, %76, %73
%108 = phi i32 [ %68, %71 ], [ %68, %103 ], [ %68, %76 ], [ %68, %73 ], [ 0, %44 ]
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds i32, i32* %0, i64 %109
%111 = load i32, i32* %110
%112 = icmp sgt i32 %111, %2
%113 = icmp slt i32 %49, %2
%114 = select i1 %112, i1 true, i1 %113
br i1 %114, label %159, label %115
115: ; preds = %107
%116 = icmp slt i32 %108, %46
br i1 %116, label %117, label %137
117: ; preds = %115, %126
%118 = phi i32 [ %131, %126 ], [ %46, %115 ]
%119 = phi i32 [ %130, %126 ], [ %108, %115 ]
%120 = add nsw i32 %118, %119
%121 = sdiv i32 %120, 2
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds i32, i32* %0, i64 %122
%124 = load i32, i32* %123
%125 = icmp eq i32 %124, %2
br i1 %125, label %159, label %126
126: ; preds = %117
%127 = icmp slt i32 %124, %2
%128 = add nsw i32 %121, 1
%129 = add nsw i32 %121, -1
%130 = select i1 %127, i32 %128, i32 %119
%131 = select i1 %127, i32 %118, i32 %129
%132 = icmp slt i32 %130, %131
br i1 %132, label %117, label %133
133: ; preds = %126
%134 = sext i32 %130 to i64
%135 = getelementptr inbounds i32, i32* %0, i64 %134
%136 = load i32, i32* %135
br label %137
137: ; preds = %133, %115
%138 = phi i32 [ %136, %133 ], [ %111, %115 ]
%139 = phi i32 [ %130, %133 ], [ %108, %115 ]
%140 = icmp eq i32 %138, %2
%141 = select i1 %140, i32 %139, i32 -1
br label %159
142: ; preds = %14, %7
%143 = phi i32 [ undef, %7 ], [ %40, %14 ]
%144 = phi i64 [ 0, %7 ], [ %41, %14 ]
%145 = phi i32 [ -1, %7 ], [ %40, %14 ]
%146 = icmp eq i64 %10, 0
br i1 %146, label %159, label %147
147: ; preds = %142, %147
%148 = phi i64 [ %156, %147 ], [ %144, %142 ]
%149 = phi i32 [ %155, %147 ], [ %145, %142 ]
%150 = phi i64 [ %157, %147 ], [ 0, %142 ]
%151 = getelementptr inbounds i32, i32* %0, i64 %148
%152 = load i32, i32* %151
%153 = icmp eq i32 %152, %2
%154 = trunc i64 %148 to i32
%155 = select i1 %153, i32 %154, i32 %149
%156 = add nuw nsw i64 %148, 1
%157 = add i64 %150, 1
%158 = icmp eq i64 %157, %10
br i1 %158, label %159, label %147
159: ; preds = %83, %117, %142, %147, %5, %103, %107, %137
%160 = phi i32 [ %105, %103 ], [ -1, %107 ], [ %141, %137 ], [ -1, %5 ], [ %143, %142 ], [ %155, %147 ], [ %121, %117 ], [ %87, %83 ]
ret i32 %160
}