int search(int *nums, int size, int target) {
  int l = 0, r = size - 1;
  while (l < r) {
    int m = (l + r) / 2;
    if (nums[m] > nums[r])
      l = m + 1;
    else
      r = m;
  }
  int s = l;
  l = 0, r = size - 1;
  while (l <= r) {
    int m = (l + r) / 2;
    int real = (m + s) % size;
    if (nums[real] == target)
      return real;
    if (nums[real] < target)
      l = m + 1;
    else
      r = m - 1;
  }
  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,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1170 <search+0x70>
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
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    1165 <search+0x65>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    116b <search+0x6b>
mov    -0x24(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    111e <search+0x1e>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x28(%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     11ff <search+0xff>
mov    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x28(%rbp),%eax
cltd
idivl  -0x14(%rbp)
mov    %edx,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jne    11cf <search+0xcf>
mov    -0x30(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1206 <search+0x106>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jge    11f1 <search+0xf1>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11fa <search+0xfa>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1186 <search+0x86>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<search>:
push   %r14
push   %rbx
mov    %edx,%r9d
lea    -0x1(%rsi),%r10d
xor    %r14d,%r14d
cmp    $0x2,%esi
jl     114a <search+0x4a>
xor    %r14d,%r14d
mov    %r10d,%eax
jmp    1127 <search+0x27>
nopw   0x0(%rax,%rax,1)
mov    %edx,%eax
cmp    %eax,%r14d
jge    114a <search+0x4a>
lea    (%r14,%rax,1),%ebx
mov    %ebx,%edx
shr    $0x1f,%edx
add    %ebx,%edx
sar    %edx
movslq %edx,%rbx
mov    (%rdi,%rbx,4),%ebx
movslq %eax,%rcx
cmp    (%rdi,%rcx,4),%ebx
jle    1120 <search+0x20>
add    $0x1,%edx
mov    %edx,%r14d
jmp    1122 <search+0x22>
mov    $0xffffffff,%r8d
test   %esi,%esi
jle    119c <search+0x9c>
xor    %r11d,%r11d
jmp    116b <search+0x6b>
nopl   0x0(%rax)
add    $0xffffffff,%ebx
mov    %ebx,%r10d
cmp    %r10d,%r11d
jg     119c <search+0x9c>
lea    (%r11,%r10,1),%eax
mov    %eax,%ebx
shr    $0x1f,%ebx
add    %eax,%ebx
sar    %ebx
lea    (%rbx,%r14,1),%eax
cltd
idiv   %esi
movslq %edx,%rax
mov    (%rdi,%rax,4),%eax
cmp    %r9d,%eax
je     1199 <search+0x99>
jge    1160 <search+0x60>
add    $0x1,%ebx
mov    %ebx,%r11d
cmp    %r10d,%r11d
jle    116b <search+0x6b>
jmp    119c <search+0x9c>
mov    %edx,%r8d
mov    %r8d,%eax
pop    %rbx
pop    %r14
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 0, i32* %8
%14 = load i32, i32* %6
%15 = sub nsw i32 %14, 1
store i32 %15, i32* %9
br label %16
16: ; preds = %41, %3
%17 = load i32, i32* %8
%18 = load i32, i32* %9
%19 = icmp slt i32 %17, %18
br i1 %19, label %20, label %42
20: ; preds = %16
%21 = load i32, i32* %8
%22 = load i32, i32* %9
%23 = add nsw i32 %21, %22
%24 = sdiv i32 %23, 2
store i32 %24, i32* %10
%25 = load i32*, i32** %5
%26 = load i32, i32* %10
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i32, i32* %25, i64 %27
%29 = load i32, i32* %28
%30 = load i32*, i32** %5
%31 = load i32, i32* %9
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %30, i64 %32
%34 = load i32, i32* %33
%35 = icmp sgt i32 %29, %34
br i1 %35, label %36, label %39
36: ; preds = %20
%37 = load i32, i32* %10
%38 = add nsw i32 %37, 1
store i32 %38, i32* %8
br label %41
39: ; preds = %20
%40 = load i32, i32* %10
store i32 %40, i32* %9
br label %41
41: ; preds = %39, %36
br label %16
42: ; preds = %16
%43 = load i32, i32* %8
store i32 %43, i32* %11
store i32 0, i32* %8
%44 = load i32, i32* %6
%45 = sub nsw i32 %44, 1
store i32 %45, i32* %9
br label %46
46: ; preds = %83, %42
%47 = load i32, i32* %8
%48 = load i32, i32* %9
%49 = icmp sle i32 %47, %48
br i1 %49, label %50, label %84
50: ; preds = %46
%51 = load i32, i32* %8
%52 = load i32, i32* %9
%53 = add nsw i32 %51, %52
%54 = sdiv i32 %53, 2
store i32 %54, i32* %12
%55 = load i32, i32* %12
%56 = load i32, i32* %11
%57 = add nsw i32 %55, %56
%58 = load i32, i32* %6
%59 = srem i32 %57, %58
store i32 %59, i32* %13
%60 = load i32*, i32** %5
%61 = load i32, i32* %13
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds i32, i32* %60, i64 %62
%64 = load i32, i32* %63
%65 = load i32, i32* %7
%66 = icmp eq i32 %64, %65
br i1 %66, label %67, label %69
67: ; preds = %50
%68 = load i32, i32* %13
store i32 %68, i32* %4
br label %85
69: ; preds = %50
%70 = load i32*, i32** %5
%71 = load i32, i32* %13
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i32, i32* %70, i64 %72
%74 = load i32, i32* %73
%75 = load i32, i32* %7
%76 = icmp slt i32 %74, %75
br i1 %76, label %77, label %80
77: ; preds = %69
%78 = load i32, i32* %12
%79 = add nsw i32 %78, 1
store i32 %79, i32* %8
br label %83
80: ; preds = %69
%81 = load i32, i32* %12
%82 = sub nsw i32 %81, 1
store i32 %82, i32* %9
br label %83
83: ; preds = %80, %77
br label %46
84: ; preds = %46
store i32 -1, i32* %4
br label %85
85: ; preds = %84, %67
%86 = load i32, i32* %4
ret i32 %86
}

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