char BinSearchDelete(unsigned short *src, unsigned char len,
                     unsigned short key) {
  unsigned char i, low, high, mid;
  while ((len >= 1) && (src[len - 1] == 0))
    len--;
  low = 0;
  high = len - 1;
  if ((key < src[low]) || (key > src[high]))
    return 0;
  if (key == src[low]) {
    for (i = low; i < len - 1; i++) {
      src[i] = src[i + 1];
    }
    src[i] = 0;
    return low;
  }
  if (key == src[high]) {
    src[high] = 0;
    return high;
  }
  while (low < high) {
    mid = low + ((high - low) / 2);
    if (key == src[mid]) {
      for (i = mid; i < len - 1; i++) {
        src[i] = src[i + 1];
      }
      src[i] = 0;
      return mid;
    }
    if (key < src[mid]) {
      high = mid - 1;
      if (key == src[high]) {
        for (i = high; i < len - 1; i++) {
          src[i] = src[i + 1];
        }
        src[i] = 0;
        return high;
      }
    } else {
      low = mid + 1;
      if (key == src[low]) {
        for (i = low; i < len - 1; i++) {
          src[i] = src[i + 1];
        }
        src[i] = 0;
        return low;
      }
    }
  }
  return -1;
}


x86 assembly (clang, -O0):
<BinSearchDelete>:
push   %rbp
mov    %rsp,%rbp
mov    %dx,%ax
mov    %sil,%cl
mov    %rdi,-0x10(%rbp)
mov    %cl,-0x11(%rbp)
mov    %ax,-0x14(%rbp)
movzbl -0x11(%rbp),%ecx
xor    %eax,%eax
cmp    $0x1,%ecx
mov    %al,-0x19(%rbp)
jl     1142 <BinSearchDelete+0x42>
mov    -0x10(%rbp),%rax
movzbl -0x11(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzwl (%rax,%rcx,2),%eax
cmp    $0x0,%eax
sete   %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    1152 <BinSearchDelete+0x52>
jmp    115f <BinSearchDelete+0x5f>
mov    -0x11(%rbp),%al
add    $0xff,%al
mov    %al,-0x11(%rbp)
jmp    1115 <BinSearchDelete+0x15>
movb   $0x0,-0x16(%rbp)
movzbl -0x11(%rbp),%eax
sub    $0x1,%eax
mov    %al,-0x17(%rbp)
movzwl -0x14(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzbl -0x16(%rbp),%edx
movzwl (%rcx,%rdx,2),%ecx
cmp    %ecx,%eax
jl     119d <BinSearchDelete+0x9d>
movzwl -0x14(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzbl -0x17(%rbp),%edx
movzwl (%rcx,%rdx,2),%ecx
cmp    %ecx,%eax
jle    11a6 <BinSearchDelete+0xa6>
movb   $0x0,-0x1(%rbp)
jmp    1422 <BinSearchDelete+0x322>
movzwl -0x14(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzbl -0x16(%rbp),%edx
movzwl (%rcx,%rdx,2),%ecx
cmp    %ecx,%eax
jne    121b <BinSearchDelete+0x11b>
mov    -0x16(%rbp),%al
mov    %al,-0x15(%rbp)
movzbl -0x15(%rbp),%eax
movzbl -0x11(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1202 <BinSearchDelete+0x102>
mov    -0x10(%rbp),%rax
movzbl -0x15(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x10(%rbp),%rax
movzbl -0x15(%rbp),%ecx
mov    %dx,(%rax,%rcx,2)
mov    -0x15(%rbp),%al
add    $0x1,%al
mov    %al,-0x15(%rbp)
jmp    11c4 <BinSearchDelete+0xc4>
mov    -0x10(%rbp),%rax
movzbl -0x15(%rbp),%ecx
movw   $0x0,(%rax,%rcx,2)
mov    -0x16(%rbp),%al
mov    %al,-0x1(%rbp)
jmp    1422 <BinSearchDelete+0x322>
movzwl -0x14(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzbl -0x17(%rbp),%edx
movzwl (%rcx,%rdx,2),%ecx
cmp    %ecx,%eax
jne    124c <BinSearchDelete+0x14c>
mov    -0x10(%rbp),%rax
movzbl -0x17(%rbp),%ecx
movw   $0x0,(%rax,%rcx,2)
mov    -0x17(%rbp),%al
mov    %al,-0x1(%rbp)
jmp    1422 <BinSearchDelete+0x322>
jmp    1251 <BinSearchDelete+0x151>
movzbl -0x16(%rbp),%eax
movzbl -0x17(%rbp),%ecx
cmp    %ecx,%eax
jge    141e <BinSearchDelete+0x31e>
movzbl -0x16(%rbp),%eax
mov    %eax,-0x20(%rbp)
movzbl -0x17(%rbp),%eax
movzbl -0x16(%rbp),%ecx
sub    %ecx,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x20(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x18(%rbp)
movzwl -0x14(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzbl -0x18(%rbp),%edx
movzwl (%rcx,%rdx,2),%ecx
cmp    %ecx,%eax
jne    12f9 <BinSearchDelete+0x1f9>
mov    -0x18(%rbp),%al
mov    %al,-0x15(%rbp)
movzbl -0x15(%rbp),%eax
movzbl -0x11(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    12e0 <BinSearchDelete+0x1e0>
mov    -0x10(%rbp),%rax
movzbl -0x15(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x10(%rbp),%rax
movzbl -0x15(%rbp),%ecx
mov    %dx,(%rax,%rcx,2)
mov    -0x15(%rbp),%al
add    $0x1,%al
mov    %al,-0x15(%rbp)
jmp    12a2 <BinSearchDelete+0x1a2>
mov    -0x10(%rbp),%rax
movzbl -0x15(%rbp),%ecx
movw   $0x0,(%rax,%rcx,2)
mov    -0x18(%rbp),%al
mov    %al,-0x1(%rbp)
jmp    1422 <BinSearchDelete+0x322>
movzwl -0x14(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzbl -0x18(%rbp),%edx
movzwl (%rcx,%rdx,2),%ecx
cmp    %ecx,%eax
jge    1395 <BinSearchDelete+0x295>
movzbl -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %al,-0x17(%rbp)
movzwl -0x14(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzbl -0x17(%rbp),%edx
movzwl (%rcx,%rdx,2),%ecx
cmp    %ecx,%eax
jne    1390 <BinSearchDelete+0x290>
mov    -0x17(%rbp),%al
mov    %al,-0x15(%rbp)
movzbl -0x15(%rbp),%eax
movzbl -0x11(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1377 <BinSearchDelete+0x277>
mov    -0x10(%rbp),%rax
movzbl -0x15(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x10(%rbp),%rax
movzbl -0x15(%rbp),%ecx
mov    %dx,(%rax,%rcx,2)
mov    -0x15(%rbp),%al
add    $0x1,%al
mov    %al,-0x15(%rbp)
jmp    1339 <BinSearchDelete+0x239>
mov    -0x10(%rbp),%rax
movzbl -0x15(%rbp),%ecx
movw   $0x0,(%rax,%rcx,2)
mov    -0x17(%rbp),%al
mov    %al,-0x1(%rbp)
jmp    1422 <BinSearchDelete+0x322>
jmp    1419 <BinSearchDelete+0x319>
movzbl -0x18(%rbp),%eax
add    $0x1,%eax
mov    %al,-0x16(%rbp)
movzwl -0x14(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzbl -0x16(%rbp),%edx
movzwl (%rcx,%rdx,2),%ecx
cmp    %ecx,%eax
jne    1414 <BinSearchDelete+0x314>
mov    -0x16(%rbp),%al
mov    %al,-0x15(%rbp)
movzbl -0x15(%rbp),%eax
movzbl -0x11(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    13fb <BinSearchDelete+0x2fb>
mov    -0x10(%rbp),%rax
movzbl -0x15(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x10(%rbp),%rax
movzbl -0x15(%rbp),%ecx
mov    %dx,(%rax,%rcx,2)
mov    -0x15(%rbp),%al
add    $0x1,%al
mov    %al,-0x15(%rbp)
jmp    13bd <BinSearchDelete+0x2bd>
mov    -0x10(%rbp),%rax
movzbl -0x15(%rbp),%ecx
movw   $0x0,(%rax,%rcx,2)
mov    -0x16(%rbp),%al
mov    %al,-0x1(%rbp)
jmp    1422 <BinSearchDelete+0x322>
jmp    1419 <BinSearchDelete+0x319>
jmp    1251 <BinSearchDelete+0x151>
movb   $0xff,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<BinSearchDelete>:
push   %rbp
push   %r14
push   %rbx
mov    %rdi,%rbx
test   %esi,%esi
je     1134 <BinSearchDelete+0x24>
nopl   0x0(%rax,%rax,1)
movzbl %sil,%eax
lea    -0x1(%rax),%ecx
cmpw   $0x0,(%rbx,%rcx,2)
jne    1136 <BinSearchDelete+0x26>
add    $0xff,%sil
jne    1120 <BinSearchDelete+0x10>
xor    %eax,%eax
movzwl (%rbx),%esi
cmp    %dx,%si
ja     114f <BinSearchDelete+0x3f>
lea    -0x1(%rax),%r14d
movzbl %r14b,%ecx
movzwl (%rbx,%rcx,2),%edi
cmp    %dx,%di
jae    1153 <BinSearchDelete+0x43>
xor    %eax,%eax
jmp    1192 <BinSearchDelete+0x82>
cmp    %dx,%si
jne    1175 <BinSearchDelete+0x65>
cmp    $0x2,%eax
jb     1183 <BinSearchDelete+0x73>
lea    0x2(%rbx),%rsi
mov    %r14d,%edx
add    %rdx,%rdx
mov    %rbx,%rdi
call   1030 <memmove@plt>
movzbl %r14b,%eax
jmp    1185 <BinSearchDelete+0x75>
cmp    %dx,%di
jne    1197 <BinSearchDelete+0x87>
lea    (%rbx,%rcx,2),%rax
mov    %r14d,%ecx
jmp    118b <BinSearchDelete+0x7b>
xor    %eax,%eax
lea    (%rbx,%rax,2),%rax
xor    %ecx,%ecx
movw   $0x0,(%rax)
mov    %ecx,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret
mov    $0xff,%al
test   %r14b,%r14b
je     1192 <BinSearchDelete+0x82>
xor    %r8d,%r8d
mov    %r14d,%edi
jmp    11b5 <BinSearchDelete+0xa5>
cs nopw 0x0(%rax,%rax,1)
cmp    %r8b,%dil
jbe    1192 <BinSearchDelete+0x82>
movzbl %r8b,%ecx
movzbl %dil,%ebp
sub    %ecx,%ebp
movzwl %bp,%esi
mov    %esi,%ebp
shr    $0xf,%ebp
add    %esi,%ebp
shr    %ebp
add    %bpl,%cl
movzbl %cl,%ebp
cmp    %dx,(%rbx,%rbp,2)
je     1201 <BinSearchDelete+0xf1>
jbe    11f0 <BinSearchDelete+0xe0>
add    $0xff,%cl
movzbl %cl,%edi
cmp    %dx,(%rbx,%rdi,2)
je     1259 <BinSearchDelete+0x149>
mov    %ecx,%edi
jmp    11b0 <BinSearchDelete+0xa0>
nopl   0x0(%rax)
add    $0x1,%cl
movzbl %cl,%esi
cmp    %dx,(%rbx,%rsi,2)
je     1232 <BinSearchDelete+0x122>
mov    %ecx,%r8d
jmp    11b0 <BinSearchDelete+0xa0>
cmp    %ebp,%r14d
jle    1229 <BinSearchDelete+0x119>
cs nopw 0x0(%rax,%rax,1)
mov    %ebp,%eax
movzwl 0x2(%rbx,%rax,2),%edx
mov    %dx,(%rbx,%rax,2)
lea    0x1(%rbp),%eax
movzbl %al,%ebp
cmp    %ebp,%r14d
jg     1210 <BinSearchDelete+0x100>
movzbl %al,%ebp
lea    (%rbx,%rbp,2),%rax
jmp    118b <BinSearchDelete+0x7b>
cmp    %esi,%r14d
jle    1250 <BinSearchDelete+0x140>
mov    %esi,%eax
movzwl 0x2(%rbx,%rax,2),%edx
mov    %dx,(%rbx,%rax,2)
lea    0x1(%rsi),%eax
movzbl %al,%esi
cmp    %esi,%r14d
jg     1237 <BinSearchDelete+0x127>
movzbl %al,%esi
lea    (%rbx,%rsi,2),%rax
jmp    118b <BinSearchDelete+0x7b>
cmp    %edi,%r14d
jle    1277 <BinSearchDelete+0x167>
mov    %edi,%eax
movzwl 0x2(%rbx,%rax,2),%edx
mov    %dx,(%rbx,%rax,2)
lea    0x1(%rdi),%eax
movzbl %al,%edi
cmp    %edi,%r14d
jg     125e <BinSearchDelete+0x14e>
movzbl %al,%edi
lea    (%rbx,%rdi,2),%rax
jmp    118b <BinSearchDelete+0x7b>

LLVM IR (-O0):
define signext i8 @BinSearchDelete(i16* %0, i8 zeroext %1, i16 zeroext %2) {
%4 = alloca i8
%5 = alloca i16*
%6 = alloca i8
%7 = alloca i16
%8 = alloca i8
%9 = alloca i8
%10 = alloca i8
%11 = alloca i8
store i16* %0, i16** %5
store i8 %1, i8* %6
store i16 %2, i16* %7
br label %12
12: ; preds = %28, %3
%13 = load i8, i8* %6
%14 = zext i8 %13 to i32
%15 = icmp sge i32 %14, 1
br i1 %15, label %16, label %26
16: ; preds = %12
%17 = load i16*, i16** %5
%18 = load i8, i8* %6
%19 = zext i8 %18 to i32
%20 = sub nsw i32 %19, 1
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i16, i16* %17, i64 %21
%23 = load i16, i16* %22
%24 = zext i16 %23 to i32
%25 = icmp eq i32 %24, 0
br label %26
26: ; preds = %16, %12
%27 = phi i1 [ false, %12 ], [ %25, %16 ]
br i1 %27, label %28, label %31
28: ; preds = %26
%29 = load i8, i8* %6
%30 = add i8 %29, -1
store i8 %30, i8* %6
br label %12
31: ; preds = %26
store i8 0, i8* %9
%32 = load i8, i8* %6
%33 = zext i8 %32 to i32
%34 = sub nsw i32 %33, 1
%35 = trunc i32 %34 to i8
store i8 %35, i8* %10
%36 = load i16, i16* %7
%37 = zext i16 %36 to i32
%38 = load i16*, i16** %5
%39 = load i8, i8* %9
%40 = zext i8 %39 to i64
%41 = getelementptr inbounds i16, i16* %38, i64 %40
%42 = load i16, i16* %41
%43 = zext i16 %42 to i32
%44 = icmp slt i32 %37, %43
br i1 %44, label %55, label %45
45: ; preds = %31
%46 = load i16, i16* %7
%47 = zext i16 %46 to i32
%48 = load i16*, i16** %5
%49 = load i8, i8* %10
%50 = zext i8 %49 to i64
%51 = getelementptr inbounds i16, i16* %48, i64 %50
%52 = load i16, i16* %51
%53 = zext i16 %52 to i32
%54 = icmp sgt i32 %47, %53
br i1 %54, label %55, label %56
55: ; preds = %45, %31
store i8 0, i8* %4
br label %271
56: ; preds = %45
%57 = load i16, i16* %7
%58 = zext i16 %57 to i32
%59 = load i16*, i16** %5
%60 = load i8, i8* %9
%61 = zext i8 %60 to i64
%62 = getelementptr inbounds i16, i16* %59, i64 %61
%63 = load i16, i16* %62
%64 = zext i16 %63 to i32
%65 = icmp eq i32 %58, %64
br i1 %65, label %66, label %96
66: ; preds = %56
%67 = load i8, i8* %9
store i8 %67, i8* %8
br label %68
68: ; preds = %87, %66
%69 = load i8, i8* %8
%70 = zext i8 %69 to i32
%71 = load i8, i8* %6
%72 = zext i8 %71 to i32
%73 = sub nsw i32 %72, 1
%74 = icmp slt i32 %70, %73
br i1 %74, label %75, label %90
75: ; preds = %68
%76 = load i16*, i16** %5
%77 = load i8, i8* %8
%78 = zext i8 %77 to i32
%79 = add nsw i32 %78, 1
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i16, i16* %76, i64 %80
%82 = load i16, i16* %81
%83 = load i16*, i16** %5
%84 = load i8, i8* %8
%85 = zext i8 %84 to i64
%86 = getelementptr inbounds i16, i16* %83, i64 %85
store i16 %82, i16* %86
br label %87
87: ; preds = %75
%88 = load i8, i8* %8
%89 = add i8 %88, 1
store i8 %89, i8* %8
br label %68
90: ; preds = %68
%91 = load i16*, i16** %5
%92 = load i8, i8* %8
%93 = zext i8 %92 to i64
%94 = getelementptr inbounds i16, i16* %91, i64 %93
store i16 0, i16* %94
%95 = load i8, i8* %9
store i8 %95, i8* %4
br label %271
96: ; preds = %56
%97 = load i16, i16* %7
%98 = zext i16 %97 to i32
%99 = load i16*, i16** %5
%100 = load i8, i8* %10
%101 = zext i8 %100 to i64
%102 = getelementptr inbounds i16, i16* %99, i64 %101
%103 = load i16, i16* %102
%104 = zext i16 %103 to i32
%105 = icmp eq i32 %98, %104
br i1 %105, label %106, label %112
106: ; preds = %96
%107 = load i16*, i16** %5
%108 = load i8, i8* %10
%109 = zext i8 %108 to i64
%110 = getelementptr inbounds i16, i16* %107, i64 %109
store i16 0, i16* %110
%111 = load i8, i8* %10
store i8 %111, i8* %4
br label %271
112: ; preds = %96
br label %113
113: ; preds = %269, %112
%114 = load i8, i8* %9
%115 = zext i8 %114 to i32
%116 = load i8, i8* %10
%117 = zext i8 %116 to i32
%118 = icmp slt i32 %115, %117
br i1 %118, label %119, label %270
119: ; preds = %113
%120 = load i8, i8* %9
%121 = zext i8 %120 to i32
%122 = load i8, i8* %10
%123 = zext i8 %122 to i32
%124 = load i8, i8* %9
%125 = zext i8 %124 to i32
%126 = sub nsw i32 %123, %125
%127 = sdiv i32 %126, 2
%128 = add nsw i32 %121, %127
%129 = trunc i32 %128 to i8
store i8 %129, i8* %11
%130 = load i16, i16* %7
%131 = zext i16 %130 to i32
%132 = load i16*, i16** %5
%133 = load i8, i8* %11
%134 = zext i8 %133 to i64
%135 = getelementptr inbounds i16, i16* %132, i64 %134
%136 = load i16, i16* %135
%137 = zext i16 %136 to i32
%138 = icmp eq i32 %131, %137
br i1 %138, label %139, label %169
139: ; preds = %119
%140 = load i8, i8* %11
store i8 %140, i8* %8
br label %141
141: ; preds = %160, %139
%142 = load i8, i8* %8
%143 = zext i8 %142 to i32
%144 = load i8, i8* %6
%145 = zext i8 %144 to i32
%146 = sub nsw i32 %145, 1
%147 = icmp slt i32 %143, %146
br i1 %147, label %148, label %163
148: ; preds = %141
%149 = load i16*, i16** %5
%150 = load i8, i8* %8
%151 = zext i8 %150 to i32
%152 = add nsw i32 %151, 1
%153 = sext i32 %152 to i64
%154 = getelementptr inbounds i16, i16* %149, i64 %153
%155 = load i16, i16* %154
%156 = load i16*, i16** %5
%157 = load i8, i8* %8
%158 = zext i8 %157 to i64
%159 = getelementptr inbounds i16, i16* %156, i64 %158
store i16 %155, i16* %159
br label %160
160: ; preds = %148
%161 = load i8, i8* %8
%162 = add i8 %161, 1
store i8 %162, i8* %8
br label %141
163: ; preds = %141
%164 = load i16*, i16** %5
%165 = load i8, i8* %8
%166 = zext i8 %165 to i64
%167 = getelementptr inbounds i16, i16* %164, i64 %166
store i16 0, i16* %167
%168 = load i8, i8* %11
store i8 %168, i8* %4
br label %271
169: ; preds = %119
%170 = load i16, i16* %7
%171 = zext i16 %170 to i32
%172 = load i16*, i16** %5
%173 = load i8, i8* %11
%174 = zext i8 %173 to i64
%175 = getelementptr inbounds i16, i16* %172, i64 %174
%176 = load i16, i16* %175
%177 = zext i16 %176 to i32
%178 = icmp slt i32 %171, %177
br i1 %178, label %179, label %224
179: ; preds = %169
%180 = load i8, i8* %11
%181 = zext i8 %180 to i32
%182 = sub nsw i32 %181, 1
%183 = trunc i32 %182 to i8
store i8 %183, i8* %10
%184 = load i16, i16* %7
%185 = zext i16 %184 to i32
%186 = load i16*, i16** %5
%187 = load i8, i8* %10
%188 = zext i8 %187 to i64
%189 = getelementptr inbounds i16, i16* %186, i64 %188
%190 = load i16, i16* %189
%191 = zext i16 %190 to i32
%192 = icmp eq i32 %185, %191
br i1 %192, label %193, label %223
193: ; preds = %179
%194 = load i8, i8* %10
store i8 %194, i8* %8
br label %195
195: ; preds = %214, %193
%196 = load i8, i8* %8
%197 = zext i8 %196 to i32
%198 = load i8, i8* %6
%199 = zext i8 %198 to i32
%200 = sub nsw i32 %199, 1
%201 = icmp slt i32 %197, %200
br i1 %201, label %202, label %217
202: ; preds = %195
%203 = load i16*, i16** %5
%204 = load i8, i8* %8
%205 = zext i8 %204 to i32
%206 = add nsw i32 %205, 1
%207 = sext i32 %206 to i64
%208 = getelementptr inbounds i16, i16* %203, i64 %207
%209 = load i16, i16* %208
%210 = load i16*, i16** %5
%211 = load i8, i8* %8
%212 = zext i8 %211 to i64
%213 = getelementptr inbounds i16, i16* %210, i64 %212
store i16 %209, i16* %213
br label %214
214: ; preds = %202
%215 = load i8, i8* %8
%216 = add i8 %215, 1
store i8 %216, i8* %8
br label %195
217: ; preds = %195
%218 = load i16*, i16** %5
%219 = load i8, i8* %8
%220 = zext i8 %219 to i64
%221 = getelementptr inbounds i16, i16* %218, i64 %220
store i16 0, i16* %221
%222 = load i8, i8* %10
store i8 %222, i8* %4
br label %271
223: ; preds = %179
br label %269
224: ; preds = %169
%225 = load i8, i8* %11
%226 = zext i8 %225 to i32
%227 = add nsw i32 %226, 1
%228 = trunc i32 %227 to i8
store i8 %228, i8* %9
%229 = load i16, i16* %7
%230 = zext i16 %229 to i32
%231 = load i16*, i16** %5
%232 = load i8, i8* %9
%233 = zext i8 %232 to i64
%234 = getelementptr inbounds i16, i16* %231, i64 %233
%235 = load i16, i16* %234
%236 = zext i16 %235 to i32
%237 = icmp eq i32 %230, %236
br i1 %237, label %238, label %268
238: ; preds = %224
%239 = load i8, i8* %9
store i8 %239, i8* %8
br label %240
240: ; preds = %259, %238
%241 = load i8, i8* %8
%242 = zext i8 %241 to i32
%243 = load i8, i8* %6
%244 = zext i8 %243 to i32
%245 = sub nsw i32 %244, 1
%246 = icmp slt i32 %242, %245
br i1 %246, label %247, label %262
247: ; preds = %240
%248 = load i16*, i16** %5
%249 = load i8, i8* %8
%250 = zext i8 %249 to i32
%251 = add nsw i32 %250, 1
%252 = sext i32 %251 to i64
%253 = getelementptr inbounds i16, i16* %248, i64 %252
%254 = load i16, i16* %253
%255 = load i16*, i16** %5
%256 = load i8, i8* %8
%257 = zext i8 %256 to i64
%258 = getelementptr inbounds i16, i16* %255, i64 %257
store i16 %254, i16* %258
br label %259
259: ; preds = %247
%260 = load i8, i8* %8
%261 = add i8 %260, 1
store i8 %261, i8* %8
br label %240
262: ; preds = %240
%263 = load i16*, i16** %5
%264 = load i8, i8* %8
%265 = zext i8 %264 to i64
%266 = getelementptr inbounds i16, i16* %263, i64 %265
store i16 0, i16* %266
%267 = load i8, i8* %9
store i8 %267, i8* %4
br label %271
268: ; preds = %224
br label %269
269: ; preds = %268, %223
br label %113
270: ; preds = %113
store i8 -1, i8* %4
br label %271
271: ; preds = %270, %262, %217, %163, %106, %90, %55
%272 = load i8, i8* %4
ret i8 %272
}

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