#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 */
int strcmp(char *, char *);
int find_in_vocabulary(char *vocabulary[], int vocabulary_size,
                       char *found_name, int *is_equal) {
  if (is_equal != NULL) {
    *is_equal = 0;
  }
  if ((found_name == NULL) || (vocabulary_size <= 0) || (vocabulary == NULL)) {
    return -1;
  }
  int compare_res, first_pos = 0, last_pos = vocabulary_size, middle_pos;
  compare_res = strcmp(vocabulary[0], found_name);
  if (compare_res >= 0) {
    if ((compare_res == 0) && (is_equal != NULL)) {
      *is_equal = 1;
    }
    return 0;
  }
  compare_res = strcmp(vocabulary[last_pos - 1], found_name);
  if (compare_res <= 0) {
    if (compare_res == 0) {
      if (is_equal != NULL) {
        *is_equal = 1;
      }
    }
    return last_pos - 1;
  }
  while (first_pos < last_pos) {
    middle_pos = first_pos + (last_pos - first_pos) / 2;
    compare_res = strcmp(found_name, vocabulary[middle_pos]);
    if (compare_res == 0) {
      if (is_equal != NULL) {
        *is_equal = 1;
      }
      last_pos = middle_pos;
      break;
    } else if (compare_res < 0) {
      last_pos = middle_pos;
    } else {
      first_pos = middle_pos + 1;
    }
  }
  return last_pos;
}


x86 assembly (clang, -O0):
<find_in_vocabulary>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
je     113c <find_in_vocabulary+0x2c>
mov    -0x28(%rbp),%rax
movl   $0x0,(%rax)
cmpq   $0x0,-0x20(%rbp)
je     115c <find_in_vocabulary+0x4c>
cmpl   $0x0,-0x14(%rbp)
jle    115c <find_in_vocabulary+0x4c>
cmpq   $0x0,-0x10(%rbp)
jne    1168 <find_in_vocabulary+0x58>
movl   $0xffffffff,-0x4(%rbp)
jmp    12b5 <find_in_vocabulary+0x1a5>
movl   $0x0,-0x30(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
mov    -0x20(%rbp),%rsi
call   1030 <strcmp@plt>
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jl     11bd <find_in_vocabulary+0xad>
cmpl   $0x0,-0x2c(%rbp)
jne    11b1 <find_in_vocabulary+0xa1>
cmpq   $0x0,-0x28(%rbp)
je     11b1 <find_in_vocabulary+0xa1>
mov    -0x28(%rbp),%rax
movl   $0x1,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    12b5 <find_in_vocabulary+0x1a5>
mov    -0x10(%rbp),%rax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x20(%rbp),%rsi
call   1030 <strcmp@plt>
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jg     1216 <find_in_vocabulary+0x106>
cmpl   $0x0,-0x2c(%rbp)
jne    1208 <find_in_vocabulary+0xf8>
cmpq   $0x0,-0x28(%rbp)
je     1203 <find_in_vocabulary+0xf3>
mov    -0x28(%rbp),%rax
movl   $0x1,(%rax)
jmp    1208 <find_in_vocabulary+0xf8>
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12b5 <find_in_vocabulary+0x1a5>
jmp    121b <find_in_vocabulary+0x10b>
mov    -0x30(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    12af <find_in_vocabulary+0x19f>
mov    -0x30(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x34(%rbp),%eax
sub    -0x30(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x3c(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x38(%rbp)
mov    -0x20(%rbp),%rdi
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
call   1030 <strcmp@plt>
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jne    1287 <find_in_vocabulary+0x177>
cmpq   $0x0,-0x28(%rbp)
je     127c <find_in_vocabulary+0x16c>
mov    -0x28(%rbp),%rax
movl   $0x1,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x34(%rbp)
jmp    12af <find_in_vocabulary+0x19f>
cmpl   $0x0,-0x2c(%rbp)
jge    129c <find_in_vocabulary+0x18c>
mov    -0x38(%rbp),%eax
mov    %eax,-0x34(%rbp)
jmp    12a5 <find_in_vocabulary+0x195>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    12aa <find_in_vocabulary+0x19a>
jmp    121b <find_in_vocabulary+0x10b>
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<find_in_vocabulary>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdx,%r15
mov    %esi,%r13d
mov    %rdi,%r12
test   %rcx,%rcx
je     112f <find_in_vocabulary+0x1f>
movl   $0x0,(%rcx)
mov    $0xffffffff,%ebx
test   %r12,%r12
je     1184 <find_in_vocabulary+0x74>
test   %r13d,%r13d
jle    1184 <find_in_vocabulary+0x74>
mov    %rcx,(%rsp)
test   %r15,%r15
je     1184 <find_in_vocabulary+0x74>
mov    (%r12),%rdi
mov    %r15,%rsi
call   1030 <strcmp@plt>
test   %eax,%eax
js     115b <find_in_vocabulary+0x4b>
xor    %ebx,%ebx
jmp    116f <find_in_vocabulary+0x5f>
lea    -0x1(%r13),%ebx
mov    (%r12,%rbx,8),%rdi
mov    %r15,%rsi
call   1030 <strcmp@plt>
test   %eax,%eax
jg     1195 <find_in_vocabulary+0x85>
cmpq   $0x0,(%rsp)
je     1184 <find_in_vocabulary+0x74>
test   %eax,%eax
jne    1184 <find_in_vocabulary+0x74>
mov    (%rsp),%rax
movl   $0x1,(%rax)
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %r14d,%r14d
mov    %r13d,%ebx
jmp    11ab <find_in_vocabulary+0x9b>
nopl   (%rax)
add    $0x1,%ebp
mov    %ebp,%r14d
cmp    %r14d,%ebx
jle    1184 <find_in_vocabulary+0x74>
mov    %ebx,%eax
sub    %r14d,%eax
mov    %eax,%ebp
shr    $0x1f,%ebp
add    %eax,%ebp
sar    %ebp
add    %r14d,%ebp
movslq %ebp,%rax
mov    (%r12,%rax,8),%rsi
mov    %r15,%rdi
call   1030 <strcmp@plt>
test   %eax,%eax
je     11da <find_in_vocabulary+0xca>
jns    11a0 <find_in_vocabulary+0x90>
mov    %ebp,%ebx
cmp    %r14d,%ebx
jg     11ab <find_in_vocabulary+0x9b>
jmp    1184 <find_in_vocabulary+0x74>
mov    %ebp,%ebx
cmpq   $0x0,(%rsp)
jne    117a <find_in_vocabulary+0x6a>
jmp    1184 <find_in_vocabulary+0x74>

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

LLVM IR (-O2):
define i32 @find_in_vocabulary(i8** %0, i32 %1, i8* %2, i32* writeonly %3) {
%5 = icmp ne i32* %3, null
br i1 %5, label %6, label %7
6: ; preds = %4
store i32 0, i32* %3
br label %7
7: ; preds = %6, %4
%8 = icmp eq i8* %2, null
%9 = icmp slt i32 %1, 1
%10 = or i1 %9, %8
%11 = icmp eq i8** %0, null
%12 = or i1 %11, %10
br i1 %12, label %50, label %13
13: ; preds = %7
%14 = load i8*, i8** %0
%15 = tail call i32 @strcmp(i8* dereferenceable(1) %14, i8* dereferenceable(1) %2)
%16 = icmp sgt i32 %15, -1
br i1 %16, label %17, label %20
17: ; preds = %13
%18 = icmp eq i32 %15, 0
%19 = and i1 %5, %18
br i1 %19, label %48, label %50
20: ; preds = %13
%21 = add nsw i32 %1, -1
%22 = zext i32 %21 to i64
%23 = getelementptr inbounds i8*, i8** %0, i64 %22
%24 = load i8*, i8** %23
%25 = tail call i32 @strcmp(i8* dereferenceable(1) %24, i8* dereferenceable(1) %2)
%26 = icmp slt i32 %25, 1
br i1 %26, label %27, label %30
27: ; preds = %20
%28 = icmp eq i32 %25, 0
%29 = and i1 %5, %28
br i1 %29, label %48, label %50
30: ; preds = %20, %42
%31 = phi i32 [ %46, %42 ], [ %1, %20 ]
%32 = phi i32 [ %45, %42 ], [ 0, %20 ]
%33 = sub nsw i32 %31, %32
%34 = sdiv i32 %33, 2
%35 = add nsw i32 %34, %32
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i8*, i8** %0, i64 %36
%38 = load i8*, i8** %37
%39 = tail call i32 @strcmp(i8* dereferenceable(1) %2, i8* dereferenceable(1) %38)
%40 = icmp eq i32 %39, 0
br i1 %40, label %41, label %42
41: ; preds = %30
br i1 %5, label %48, label %50
42: ; preds = %30
%43 = icmp slt i32 %39, 0
%44 = add nsw i32 %35, 1
%45 = select i1 %43, i32 %32, i32 %44
%46 = select i1 %43, i32 %35, i32 %31
%47 = icmp sgt i32 %46, %45
br i1 %47, label %30, label %50
48: ; preds = %41, %27, %17
%49 = phi i32 [ 0, %17 ], [ %21, %27 ], [ %35, %41 ]
store i32 1, i32* %3
br label %50
50: ; preds = %42, %48, %17, %27, %41, %7
%51 = phi i32 [ -1, %7 ], [ 0, %17 ], [ %21, %27 ], [ %35, %41 ], [ %49, %48 ], [ %46, %42 ]
ret i32 %51
}