#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef scalar_t__ const uint16_t;
typedef size_t int32_t;

/* Variables and functions */
int32_t advanceUntil(const uint16_t *array, int32_t pos, int32_t length,
                     uint16_t min) {
  int32_t lower = pos + 1;
  if ((lower >= length) || (array[lower] >= min)) {
    return lower;
  }
  int32_t spansize = 1;
  while ((lower + spansize < length) && (array[lower + spansize] < min)) {
    spansize <<= 1;
  }
  int32_t upper = (lower + spansize < length) ? lower + spansize : length - 1;
  if (array[upper] == min) {
    return upper;
  }
  if (array[upper] < min) {
    return length;
  }
  lower += (spansize >> 1);
  int32_t mid = 0;
  while (lower + 1 != upper) {
    mid = (lower + upper) >> 1;
    if (array[mid] == min) {
      return mid;
    } else if (array[mid] < min) {
      lower = mid;
    } else {
      upper = mid;
    }
  }
  return upper;
}


x86 assembly (clang, -O0):
<advanceUntil>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1144 <advanceUntil+0x44>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x28(%rbp),%rax
jl     1151 <advanceUntil+0x51>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12c2 <advanceUntil+0x1c2>
movq   $0x1,-0x38(%rbp)
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
xor    %eax,%eax
cmp    -0x20(%rbp),%rcx
mov    %al,-0x49(%rbp)
jae    118a <advanceUntil+0x8a>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x28(%rbp),%rax
setl   %al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    119a <advanceUntil+0x9a>
jmp    11ab <advanceUntil+0xab>
mov    -0x38(%rbp),%rax
shl    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1159 <advanceUntil+0x59>
mov    -0x30(%rbp),%rax
add    -0x38(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    11ce <advanceUntil+0xce>
mov    -0x30(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    11da <advanceUntil+0xda>
mov    -0x20(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x28(%rbp),%rax
jne    1205 <advanceUntil+0x105>
mov    -0x40(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12c2 <advanceUntil+0x1c2>
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x28(%rbp),%rax
jge    1228 <advanceUntil+0x128>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12c2 <advanceUntil+0x1c2>
mov    -0x38(%rbp),%rax
shr    $0x1,%rax
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
movq   $0x0,-0x48(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
cmp    -0x40(%rbp),%rax
je     12ba <advanceUntil+0x1ba>
mov    -0x30(%rbp),%rax
add    -0x40(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x28(%rbp),%rax
jne    1285 <advanceUntil+0x185>
mov    -0x48(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12c2 <advanceUntil+0x1c2>
mov    -0x10(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x28(%rbp),%rax
jge    12a8 <advanceUntil+0x1a8>
mov    -0x48(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    12b0 <advanceUntil+0x1b0>
mov    -0x48(%rbp),%rax
mov    %rax,-0x40(%rbp)
jmp    12b5 <advanceUntil+0x1b5>
jmp    1240 <advanceUntil+0x140>
mov    -0x40(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<advanceUntil>:
lea    0x1(%rsi),%r8
cmp    %rdx,%r8
jae    1157 <advanceUntil+0x57>
cmp    %rcx,0x8(%rdi,%rsi,8)
jge    1157 <advanceUntil+0x57>
mov    %rdx,%rax
add    $0x2,%rsi
mov    $0x1,%r9d
cmp    %rdx,%rsi
jae    1145 <advanceUntil+0x45>
mov    $0x1,%r9d
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rsi,8),%rdx
cmp    %rcx,%rdx
jge    114e <advanceUntil+0x4e>
lea    (%r8,%r9,2),%rsi
add    %r9,%r9
cmp    %rax,%rsi
jb     1130 <advanceUntil+0x30>
lea    -0x1(%rax),%rsi
mov    -0x8(%rdi,%rax,8),%rdx
cmp    %rcx,%rdx
jne    115b <advanceUntil+0x5b>
mov    %rsi,%rax
ret
mov    %r8,%rax
ret
jge    115e <advanceUntil+0x5e>
ret
shr    %r9
lea    (%r9,%r8,1),%rax
add    $0x1,%rax
cmp    %rsi,%rax
je     1153 <advanceUntil+0x53>
add    %r8,%r9
jmp    118c <advanceUntil+0x8c>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rax,%rsi
lea    0x1(%r9),%rdx
cmp    %rax,%rdx
je     115d <advanceUntil+0x5d>
lea    (%rsi,%r9,1),%rax
shr    %rax
cmp    %rcx,(%rdi,%rax,8)
je     115d <advanceUntil+0x5d>
jge    1180 <advanceUntil+0x80>
mov    %rax,%r9
mov    %rsi,%rax
jmp    1183 <advanceUntil+0x83>

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

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