#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 */

/* Variables and functions */
scalar_t__ strcmp(char *, char *);
short bistr(char (*a)[21], char *x, short hi) {
  short lo = 0, mid;
  while (lo < hi) {
    mid = (lo + hi) / 2;
    if (strcmp(a[mid], x) < 0)
      lo = mid + 1;
    else
      hi = mid;
  }
  return lo;
}


x86 assembly (clang, -O0):
<bistr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %dx,%ax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %ax,-0x12(%rbp)
movw   $0x0,-0x14(%rbp)
movswl -0x14(%rbp),%eax
movswl -0x12(%rbp),%ecx
cmp    %ecx,%eax
jge    1193 <bistr+0x83>
movswl -0x14(%rbp),%eax
movswl -0x12(%rbp),%ecx
add    %ecx,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %ax,-0x16(%rbp)
mov    -0x8(%rbp),%rdi
movswq -0x16(%rbp),%rax
imul   $0x15,%rax,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
call   1030 <strcmp@plt>
cmp    $0x0,%rax
jge    1186 <bistr+0x76>
movswl -0x16(%rbp),%eax
add    $0x1,%eax
mov    %ax,-0x14(%rbp)
jmp    118e <bistr+0x7e>
mov    -0x16(%rbp),%ax
mov    %ax,-0x12(%rbp)
jmp    112d <bistr+0x1d>
movswl -0x14(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bistr>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %edx,%r15d
test   %r15w,%r15w
jle    117e <bistr+0x6e>
mov    %rsi,%r14
mov    %rdi,%r12
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
movswl %r15w,%r15d
movswl %bx,%ebx
lea    (%r15,%rbx,1),%eax
mov    %eax,%ecx
shr    $0x1f,%ecx
add    %eax,%ecx
sar    %ecx
movslq %ecx,%r13
lea    0x0(,%r13,4),%rax
add    %r13,%rax
lea    0x0(,%rax,4),%rdi
add    %r13,%rdi
add    %r12,%rdi
mov    %r14,%rsi
call   1030 <strcmp@plt>
lea    0x1(%r13),%ecx
test   %rax,%rax
cmovs  %ecx,%ebx
cmovns %r13d,%r15d
cmp    %r15w,%bx
jl     1130 <bistr+0x20>
jmp    1180 <bistr+0x70>
xor    %ebx,%ebx
mov    %ebx,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define signext i16 @bistr([21 x i8]* %0, i8* %1, i16 signext %2) {
%4 = alloca [21 x i8]*
%5 = alloca i8*
%6 = alloca i16
%7 = alloca i16
%8 = alloca i16
store [21 x i8]* %0, [21 x i8]** %4
store i8* %1, i8** %5
store i16 %2, i16* %6
store i16 0, i16* %7
br label %9
9: ; preds = %38, %3
%10 = load i16, i16* %7
%11 = sext i16 %10 to i32
%12 = load i16, i16* %6
%13 = sext i16 %12 to i32
%14 = icmp slt i32 %11, %13
br i1 %14, label %15, label %39
15: ; preds = %9
%16 = load i16, i16* %7
%17 = sext i16 %16 to i32
%18 = load i16, i16* %6
%19 = sext i16 %18 to i32
%20 = add nsw i32 %17, %19
%21 = sdiv i32 %20, 2
%22 = trunc i32 %21 to i16
store i16 %22, i16* %8
%23 = load [21 x i8]*, [21 x i8]** %4
%24 = load i16, i16* %8
%25 = sext i16 %24 to i64
%26 = getelementptr inbounds [21 x i8], [21 x i8]* %23, i64 %25
%27 = getelementptr inbounds [21 x i8], [21 x i8]* %26, i64 0, i64 0
%28 = load i8*, i8** %5
%29 = call i64 @strcmp(i8* %27, i8* %28)
%30 = icmp slt i64 %29, 0
br i1 %30, label %31, label %36
31: ; preds = %15
%32 = load i16, i16* %8
%33 = sext i16 %32 to i32
%34 = add nsw i32 %33, 1
%35 = trunc i32 %34 to i16
store i16 %35, i16* %7
br label %38
36: ; preds = %15
%37 = load i16, i16* %8
store i16 %37, i16* %6
br label %38
38: ; preds = %36, %31
br label %9
39: ; preds = %9
%40 = load i16, i16* %7
ret i16 %40
}

LLVM IR (-O2):
define signext i16 @bistr([21 x i8]* %0, i8* %1, i16 signext %2) {
%4 = icmp sgt i16 %2, 0
br i1 %4, label %5, label %21
5: ; preds = %3, %5
%6 = phi i16 [ %19, %5 ], [ %2, %3 ]
%7 = phi i16 [ %18, %5 ], [ 0, %3 ]
%8 = sext i16 %6 to i32
%9 = sext i16 %7 to i32
%10 = add nsw i32 %8, %9
%11 = sdiv i32 %10, 2
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds [21 x i8], [21 x i8]* %0, i64 %12, i64 0
%14 = tail call i64 @strcmp(i8* %13, i8* %1)
%15 = icmp slt i64 %14, 0
%16 = trunc i32 %11 to i16
%17 = add nsw i16 %16, 1
%18 = select i1 %15, i16 %17, i16 %7
%19 = select i1 %15, i16 %6, i16 %16
%20 = icmp slt i16 %18, %19
br i1 %20, label %5, label %21
21: ; preds = %5, %3
%22 = phi i16 [ 0, %3 ], [ %18, %5 ]
ret i16 %22
}