#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 BinarySearch(char **, char *);
int /*<<< orphan*/ printf(char *, ...);
int main(int argc, char const *argv[]) {
  char *A[8];
  char str1[256] = "a";
  char str2[256] = "a";
  char str3[256] = "ab";
  char str4[256] = "ab";
  char str5[256] = "abc";
  char str6[256] = "abc";
  char str7[256] = "abcd";
  char str8[256] = "abcde";
  A[0] = str1;
  A[1] = str2;
  A[2] = str3;
  A[3] = str4;
  A[4] = str5;
  A[5] = str6;
  A[6] = str7;
  A[7] = str8;
  char key[256] = "abc";
  int index = BinarySearch(A, key);
  if (index != -1) {
    printf("%d-%s\n", index, A[index]);
  } else {
    printf("not found\n");
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x960,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
lea    -0x150(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1040 <memset@plt>
movb   $0x61,-0x150(%rbp)
lea    -0x250(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1040 <memset@plt>
movb   $0x61,-0x250(%rbp)
lea    -0x350(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1040 <memset@plt>
movb   $0x61,-0x350(%rbp)
movb   $0x62,-0x34f(%rbp)
lea    -0x450(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1040 <memset@plt>
movb   $0x61,-0x450(%rbp)
movb   $0x62,-0x44f(%rbp)
lea    -0x550(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1040 <memset@plt>
movb   $0x61,-0x550(%rbp)
movb   $0x62,-0x54f(%rbp)
movb   $0x63,-0x54e(%rbp)
lea    -0x650(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1040 <memset@plt>
movb   $0x61,-0x650(%rbp)
movb   $0x62,-0x64f(%rbp)
movb   $0x63,-0x64e(%rbp)
lea    -0x750(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1040 <memset@plt>
movb   $0x61,-0x750(%rbp)
movb   $0x62,-0x74f(%rbp)
movb   $0x63,-0x74e(%rbp)
movb   $0x64,-0x74d(%rbp)
lea    -0x850(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1040 <memset@plt>
movb   $0x61,-0x850(%rbp)
movb   $0x62,-0x84f(%rbp)
movb   $0x63,-0x84e(%rbp)
movb   $0x64,-0x84d(%rbp)
movb   $0x65,-0x84c(%rbp)
lea    -0x150(%rbp),%rax
mov    %rax,-0x50(%rbp)
lea    -0x250(%rbp),%rax
mov    %rax,-0x48(%rbp)
lea    -0x350(%rbp),%rax
mov    %rax,-0x40(%rbp)
lea    -0x450(%rbp),%rax
mov    %rax,-0x38(%rbp)
lea    -0x550(%rbp),%rax
mov    %rax,-0x30(%rbp)
lea    -0x650(%rbp),%rax
mov    %rax,-0x28(%rbp)
lea    -0x750(%rbp),%rax
mov    %rax,-0x20(%rbp)
lea    -0x850(%rbp),%rax
mov    %rax,-0x18(%rbp)
lea    -0x950(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1040 <memset@plt>
movb   $0x61,-0x950(%rbp)
movb   $0x62,-0x94f(%rbp)
movb   $0x63,-0x94e(%rbp)
lea    -0x50(%rbp),%rdi
lea    -0x950(%rbp),%rsi
call   1050 <BinarySearch@plt>
mov    %eax,-0x954(%rbp)
cmpl   $0xffffffff,-0x954(%rbp)
je     133c <main+0x20c>
mov    -0x954(%rbp),%esi
movslq -0x954(%rbp),%rax
mov    -0x50(%rbp,%rax,8),%rdx
lea    0xcd0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    134a <main+0x21a>
lea    0xcc4(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x960,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x948,%rsp
xorps  %xmm0,%xmm0
movaps %xmm0,0x840(%rsp)
movaps %xmm0,0x930(%rsp)
movaps %xmm0,0x920(%rsp)
movaps %xmm0,0x910(%rsp)
movaps %xmm0,0x900(%rsp)
movaps %xmm0,0x8f0(%rsp)
movaps %xmm0,0x8e0(%rsp)
movaps %xmm0,0x8d0(%rsp)
movaps %xmm0,0x8c0(%rsp)
movaps %xmm0,0x8b0(%rsp)
movaps %xmm0,0x8a0(%rsp)
movaps %xmm0,0x890(%rsp)
movaps %xmm0,0x880(%rsp)
movaps %xmm0,0x870(%rsp)
movaps %xmm0,0x860(%rsp)
movaps %xmm0,0x850(%rsp)
movb   $0x61,0x840(%rsp)
61
movaps %xmm0,0x740(%rsp)
movaps %xmm0,0x830(%rsp)
movaps %xmm0,0x820(%rsp)
movaps %xmm0,0x810(%rsp)
movaps %xmm0,0x800(%rsp)
movaps %xmm0,0x7f0(%rsp)
movaps %xmm0,0x7e0(%rsp)
movaps %xmm0,0x7d0(%rsp)
movaps %xmm0,0x7c0(%rsp)
movaps %xmm0,0x7b0(%rsp)
movaps %xmm0,0x7a0(%rsp)
movaps %xmm0,0x790(%rsp)
movaps %xmm0,0x780(%rsp)
movaps %xmm0,0x770(%rsp)
movaps %xmm0,0x760(%rsp)
movaps %xmm0,0x750(%rsp)
movb   $0x61,0x740(%rsp)
61
movaps %xmm0,0x640(%rsp)
movaps %xmm0,0x730(%rsp)
movaps %xmm0,0x720(%rsp)
movaps %xmm0,0x710(%rsp)
movaps %xmm0,0x700(%rsp)
movaps %xmm0,0x6f0(%rsp)
movaps %xmm0,0x6e0(%rsp)
movaps %xmm0,0x6d0(%rsp)
movaps %xmm0,0x6c0(%rsp)
movaps %xmm0,0x6b0(%rsp)
movaps %xmm0,0x6a0(%rsp)
movaps %xmm0,0x690(%rsp)
movaps %xmm0,0x680(%rsp)
movaps %xmm0,0x670(%rsp)
movaps %xmm0,0x660(%rsp)
movaps %xmm0,0x650(%rsp)
movw   $0x6261,0x640(%rsp)
movaps %xmm0,0x540(%rsp)
movaps %xmm0,0x630(%rsp)
movaps %xmm0,0x620(%rsp)
movaps %xmm0,0x610(%rsp)
movaps %xmm0,0x600(%rsp)
movaps %xmm0,0x5f0(%rsp)
movaps %xmm0,0x5e0(%rsp)
movaps %xmm0,0x5d0(%rsp)
movaps %xmm0,0x5c0(%rsp)
movaps %xmm0,0x5b0(%rsp)
movaps %xmm0,0x5a0(%rsp)
movaps %xmm0,0x590(%rsp)
movaps %xmm0,0x580(%rsp)
movaps %xmm0,0x570(%rsp)
movaps %xmm0,0x560(%rsp)
movaps %xmm0,0x550(%rsp)
movw   $0x6261,0x540(%rsp)
movaps %xmm0,0x340(%rsp)
movaps %xmm0,0x430(%rsp)
movaps %xmm0,0x420(%rsp)
movaps %xmm0,0x410(%rsp)
movaps %xmm0,0x400(%rsp)
movaps %xmm0,0x3f0(%rsp)
movaps %xmm0,0x3e0(%rsp)
movaps %xmm0,0x3d0(%rsp)
movaps %xmm0,0x3c0(%rsp)
movaps %xmm0,0x3b0(%rsp)
movaps %xmm0,0x3a0(%rsp)
movaps %xmm0,0x390(%rsp)
movaps %xmm0,0x380(%rsp)
movaps %xmm0,0x370(%rsp)
movaps %xmm0,0x360(%rsp)
movaps %xmm0,0x350(%rsp)
movw   $0x6261,0x340(%rsp)
movb   $0x63,0x342(%rsp)
63
movaps %xmm0,0x240(%rsp)
movaps %xmm0,0x330(%rsp)
movaps %xmm0,0x320(%rsp)
movaps %xmm0,0x310(%rsp)
movaps %xmm0,0x300(%rsp)
movaps %xmm0,0x2f0(%rsp)
movaps %xmm0,0x2e0(%rsp)
movaps %xmm0,0x2d0(%rsp)
movaps %xmm0,0x2c0(%rsp)
movaps %xmm0,0x2b0(%rsp)
movaps %xmm0,0x2a0(%rsp)
movaps %xmm0,0x290(%rsp)
movaps %xmm0,0x280(%rsp)
movaps %xmm0,0x270(%rsp)
movaps %xmm0,0x260(%rsp)
movaps %xmm0,0x250(%rsp)
movw   $0x6261,0x240(%rsp)
movb   $0x63,0x242(%rsp)
63
movaps %xmm0,0x440(%rsp)
movaps %xmm0,0x530(%rsp)
movaps %xmm0,0x520(%rsp)
movaps %xmm0,0x510(%rsp)
movaps %xmm0,0x500(%rsp)
movaps %xmm0,0x4f0(%rsp)
movaps %xmm0,0x4e0(%rsp)
movaps %xmm0,0x4d0(%rsp)
movaps %xmm0,0x4c0(%rsp)
movaps %xmm0,0x4b0(%rsp)
movaps %xmm0,0x4a0(%rsp)
movaps %xmm0,0x490(%rsp)
movaps %xmm0,0x480(%rsp)
movaps %xmm0,0x470(%rsp)
movaps %xmm0,0x460(%rsp)
movaps %xmm0,0x450(%rsp)
movl   $0x64636261,0x440(%rsp)
61 62 63 64
movaps %xmm0,0x140(%rsp)
movaps %xmm0,0x230(%rsp)
movaps %xmm0,0x220(%rsp)
movaps %xmm0,0x210(%rsp)
movaps %xmm0,0x200(%rsp)
movaps %xmm0,0x1f0(%rsp)
movaps %xmm0,0x1e0(%rsp)
movaps %xmm0,0x1d0(%rsp)
movaps %xmm0,0x1c0(%rsp)
movaps %xmm0,0x1b0(%rsp)
movaps %xmm0,0x1a0(%rsp)
movaps %xmm0,0x190(%rsp)
movaps %xmm0,0x180(%rsp)
movaps %xmm0,0x170(%rsp)
movaps %xmm0,0x160(%rsp)
movaps %xmm0,0x150(%rsp)
movl   $0x64636261,0x140(%rsp)
61 62 63 64
movb   $0x65,0x144(%rsp)
65
lea    0x840(%rsp),%rax
mov    %rax,(%rsp)
lea    0x740(%rsp),%rax
mov    %rax,0x8(%rsp)
lea    0x640(%rsp),%rax
mov    %rax,0x10(%rsp)
lea    0x540(%rsp),%rax
mov    %rax,0x18(%rsp)
lea    0x340(%rsp),%rax
mov    %rax,0x20(%rsp)
lea    0x240(%rsp),%rax
mov    %rax,0x28(%rsp)
lea    0x440(%rsp),%rax
mov    %rax,0x30(%rsp)
lea    0x140(%rsp),%rax
mov    %rax,0x38(%rsp)
movaps %xmm0,0x40(%rsp)
movaps %xmm0,0x130(%rsp)
movaps %xmm0,0x120(%rsp)
movaps %xmm0,0x110(%rsp)
movaps %xmm0,0x100(%rsp)
movaps %xmm0,0xf0(%rsp)
movaps %xmm0,0xe0(%rsp)
movaps %xmm0,0xd0(%rsp)
movaps %xmm0,0xc0(%rsp)
movaps %xmm0,0xb0(%rsp)
movaps %xmm0,0xa0(%rsp)
movaps %xmm0,0x90(%rsp)
movaps %xmm0,0x80(%rsp)
movaps %xmm0,0x70(%rsp)
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x50(%rsp)
movw   $0x6261,0x40(%rsp)
movb   $0x63,0x42(%rsp)
mov    %rsp,%rdi
lea    0x40(%rsp),%rsi
call   1050 <BinarySearch@plt>
cmp    $0xffffffff,%eax
je     16b2 <main+0x582>
movslq %eax,%rcx
mov    (%rsp,%rcx,8),%rdx
lea    0x959(%rip),%rdi
mov    %eax,%esi
xor    %eax,%eax
call   1040 <printf@plt>
jmp    16be <main+0x58e>
lea    0x94e(%rip),%rdi
call   1030 <puts@plt>
xor    %eax,%eax
add    $0x948,%rsp
ret

LLVM IR (-O0):
@.str = [7 x i8] c"%d-%s\0A\00"
@.str.1 = [11 x i8] c"not found\0A\00"
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca [8 x i8*]
%7 = alloca [256 x i8]
%8 = alloca [256 x i8]
%9 = alloca [256 x i8]
%10 = alloca [256 x i8]
%11 = alloca [256 x i8]
%12 = alloca [256 x i8]
%13 = alloca [256 x i8]
%14 = alloca [256 x i8]
%15 = alloca [256 x i8]
%16 = alloca i32
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
%17 = bitcast [256 x i8]* %7 to i8*
%18 = bitcast i8* %17 to [256 x i8]*
%19 = getelementptr inbounds [256 x i8], [256 x i8]* %18, i32 0, i32 0
store i8 97, i8* %19
%20 = bitcast [256 x i8]* %8 to i8*
%21 = bitcast i8* %20 to [256 x i8]*
%22 = getelementptr inbounds [256 x i8], [256 x i8]* %21, i32 0, i32 0
store i8 97, i8* %22
%23 = bitcast [256 x i8]* %9 to i8*
%24 = bitcast i8* %23 to [256 x i8]*
%25 = getelementptr inbounds [256 x i8], [256 x i8]* %24, i32 0, i32 0
store i8 97, i8* %25
%26 = getelementptr inbounds [256 x i8], [256 x i8]* %24, i32 0, i32 1
store i8 98, i8* %26
%27 = bitcast [256 x i8]* %10 to i8*
%28 = bitcast i8* %27 to [256 x i8]*
%29 = getelementptr inbounds [256 x i8], [256 x i8]* %28, i32 0, i32 0
store i8 97, i8* %29
%30 = getelementptr inbounds [256 x i8], [256 x i8]* %28, i32 0, i32 1
store i8 98, i8* %30
%31 = bitcast [256 x i8]* %11 to i8*
%32 = bitcast i8* %31 to [256 x i8]*
%33 = getelementptr inbounds [256 x i8], [256 x i8]* %32, i32 0, i32 0
store i8 97, i8* %33
%34 = getelementptr inbounds [256 x i8], [256 x i8]* %32, i32 0, i32 1
store i8 98, i8* %34
%35 = getelementptr inbounds [256 x i8], [256 x i8]* %32, i32 0, i32 2
store i8 99, i8* %35
%36 = bitcast [256 x i8]* %12 to i8*
%37 = bitcast i8* %36 to [256 x i8]*
%38 = getelementptr inbounds [256 x i8], [256 x i8]* %37, i32 0, i32 0
store i8 97, i8* %38
%39 = getelementptr inbounds [256 x i8], [256 x i8]* %37, i32 0, i32 1
store i8 98, i8* %39
%40 = getelementptr inbounds [256 x i8], [256 x i8]* %37, i32 0, i32 2
store i8 99, i8* %40
%41 = bitcast [256 x i8]* %13 to i8*
%42 = bitcast i8* %41 to [256 x i8]*
%43 = getelementptr inbounds [256 x i8], [256 x i8]* %42, i32 0, i32 0
store i8 97, i8* %43
%44 = getelementptr inbounds [256 x i8], [256 x i8]* %42, i32 0, i32 1
store i8 98, i8* %44
%45 = getelementptr inbounds [256 x i8], [256 x i8]* %42, i32 0, i32 2
store i8 99, i8* %45
%46 = getelementptr inbounds [256 x i8], [256 x i8]* %42, i32 0, i32 3
store i8 100, i8* %46
%47 = bitcast [256 x i8]* %14 to i8*
%48 = bitcast i8* %47 to [256 x i8]*
%49 = getelementptr inbounds [256 x i8], [256 x i8]* %48, i32 0, i32 0
store i8 97, i8* %49
%50 = getelementptr inbounds [256 x i8], [256 x i8]* %48, i32 0, i32 1
store i8 98, i8* %50
%51 = getelementptr inbounds [256 x i8], [256 x i8]* %48, i32 0, i32 2
store i8 99, i8* %51
%52 = getelementptr inbounds [256 x i8], [256 x i8]* %48, i32 0, i32 3
store i8 100, i8* %52
%53 = getelementptr inbounds [256 x i8], [256 x i8]* %48, i32 0, i32 4
store i8 101, i8* %53
%54 = getelementptr inbounds [256 x i8], [256 x i8]* %7, i64 0, i64 0
%55 = getelementptr inbounds [8 x i8*], [8 x i8*]* %6, i64 0, i64 0
store i8* %54, i8** %55
%56 = getelementptr inbounds [256 x i8], [256 x i8]* %8, i64 0, i64 0
%57 = getelementptr inbounds [8 x i8*], [8 x i8*]* %6, i64 0, i64 1
store i8* %56, i8** %57
%58 = getelementptr inbounds [256 x i8], [256 x i8]* %9, i64 0, i64 0
%59 = getelementptr inbounds [8 x i8*], [8 x i8*]* %6, i64 0, i64 2
store i8* %58, i8** %59
%60 = getelementptr inbounds [256 x i8], [256 x i8]* %10, i64 0, i64 0
%61 = getelementptr inbounds [8 x i8*], [8 x i8*]* %6, i64 0, i64 3
store i8* %60, i8** %61
%62 = getelementptr inbounds [256 x i8], [256 x i8]* %11, i64 0, i64 0
%63 = getelementptr inbounds [8 x i8*], [8 x i8*]* %6, i64 0, i64 4
store i8* %62, i8** %63
%64 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 0
%65 = getelementptr inbounds [8 x i8*], [8 x i8*]* %6, i64 0, i64 5
store i8* %64, i8** %65
%66 = getelementptr inbounds [256 x i8], [256 x i8]* %13, i64 0, i64 0
%67 = getelementptr inbounds [8 x i8*], [8 x i8*]* %6, i64 0, i64 6
store i8* %66, i8** %67
%68 = getelementptr inbounds [256 x i8], [256 x i8]* %14, i64 0, i64 0
%69 = getelementptr inbounds [8 x i8*], [8 x i8*]* %6, i64 0, i64 7
store i8* %68, i8** %69
%70 = bitcast [256 x i8]* %15 to i8*
%71 = bitcast i8* %70 to [256 x i8]*
%72 = getelementptr inbounds [256 x i8], [256 x i8]* %71, i32 0, i32 0
store i8 97, i8* %72
%73 = getelementptr inbounds [256 x i8], [256 x i8]* %71, i32 0, i32 1
store i8 98, i8* %73
%74 = getelementptr inbounds [256 x i8], [256 x i8]* %71, i32 0, i32 2
store i8 99, i8* %74
%75 = getelementptr inbounds [8 x i8*], [8 x i8*]* %6, i64 0, i64 0
%76 = getelementptr inbounds [256 x i8], [256 x i8]* %15, i64 0, i64 0
%77 = call i32 @BinarySearch(i8** %75, i8* %76)
store i32 %77, i32* %16
%78 = load i32, i32* %16
%79 = icmp ne i32 %78, -1
br i1 %79, label %80, label %87
80: ; preds = %2
%81 = load i32, i32* %16
%82 = load i32, i32* %16
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds [8 x i8*], [8 x i8*]* %6, i64 0, i64 %83
%85 = load i8*, i8** %84
%86 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i32 %81, i8* %85)
br label %89
87: ; preds = %2
%88 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0))
br label %89
89: ; preds = %87, %80
ret i32 0
}

LLVM IR (-O2):
@.str = [7 x i8] c"%d-%s\0A\00"
@str = [10 x i8] c"not found\00"
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = alloca [8 x i8*]
%4 = alloca [256 x i8]
%5 = alloca [256 x i8]
%6 = alloca [256 x i8]
%7 = alloca [256 x i8]
%8 = alloca [256 x i8]
%9 = alloca [256 x i8]
%10 = alloca [256 x i8]
%11 = alloca [256 x i8]
%12 = alloca [256 x i8]
%13 = bitcast [8 x i8*]* %3 to i8*
%14 = getelementptr inbounds [256 x i8], [256 x i8]* %4, i64 0, i64 0
store i8 97, i8* %14
%15 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 0
store i8 97, i8* %15
%16 = getelementptr inbounds [256 x i8], [256 x i8]* %6, i64 0, i64 0
store i8 97, i8* %16
%17 = getelementptr inbounds [256 x i8], [256 x i8]* %6, i64 0, i64 1
store i8 98, i8* %17
%18 = getelementptr inbounds [256 x i8], [256 x i8]* %7, i64 0, i64 0
store i8 97, i8* %18
%19 = getelementptr inbounds [256 x i8], [256 x i8]* %7, i64 0, i64 1
store i8 98, i8* %19
%20 = getelementptr inbounds [256 x i8], [256 x i8]* %8, i64 0, i64 0
store i8 97, i8* %20
%21 = getelementptr inbounds [256 x i8], [256 x i8]* %8, i64 0, i64 1
store i8 98, i8* %21
%22 = getelementptr inbounds [256 x i8], [256 x i8]* %8, i64 0, i64 2
store i8 99, i8* %22
%23 = getelementptr inbounds [256 x i8], [256 x i8]* %9, i64 0, i64 0
store i8 97, i8* %23
%24 = getelementptr inbounds [256 x i8], [256 x i8]* %9, i64 0, i64 1
store i8 98, i8* %24
%25 = getelementptr inbounds [256 x i8], [256 x i8]* %9, i64 0, i64 2
store i8 99, i8* %25
%26 = getelementptr inbounds [256 x i8], [256 x i8]* %10, i64 0, i64 0
store i8 97, i8* %26
%27 = getelementptr inbounds [256 x i8], [256 x i8]* %10, i64 0, i64 1
store i8 98, i8* %27
%28 = getelementptr inbounds [256 x i8], [256 x i8]* %10, i64 0, i64 2
store i8 99, i8* %28
%29 = getelementptr inbounds [256 x i8], [256 x i8]* %10, i64 0, i64 3
store i8 100, i8* %29
%30 = getelementptr inbounds [256 x i8], [256 x i8]* %11, i64 0, i64 0
store i8 97, i8* %30
%31 = getelementptr inbounds [256 x i8], [256 x i8]* %11, i64 0, i64 1
store i8 98, i8* %31
%32 = getelementptr inbounds [256 x i8], [256 x i8]* %11, i64 0, i64 2
store i8 99, i8* %32
%33 = getelementptr inbounds [256 x i8], [256 x i8]* %11, i64 0, i64 3
store i8 100, i8* %33
%34 = getelementptr inbounds [256 x i8], [256 x i8]* %11, i64 0, i64 4
store i8 101, i8* %34
%35 = getelementptr inbounds [8 x i8*], [8 x i8*]* %3, i64 0, i64 0
store i8* %14, i8** %35
%36 = getelementptr inbounds [8 x i8*], [8 x i8*]* %3, i64 0, i64 1
store i8* %15, i8** %36
%37 = getelementptr inbounds [8 x i8*], [8 x i8*]* %3, i64 0, i64 2
store i8* %16, i8** %37
%38 = getelementptr inbounds [8 x i8*], [8 x i8*]* %3, i64 0, i64 3
store i8* %18, i8** %38
%39 = getelementptr inbounds [8 x i8*], [8 x i8*]* %3, i64 0, i64 4
store i8* %20, i8** %39
%40 = getelementptr inbounds [8 x i8*], [8 x i8*]* %3, i64 0, i64 5
store i8* %23, i8** %40
%41 = getelementptr inbounds [8 x i8*], [8 x i8*]* %3, i64 0, i64 6
store i8* %26, i8** %41
%42 = getelementptr inbounds [8 x i8*], [8 x i8*]* %3, i64 0, i64 7
store i8* %30, i8** %42
%43 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 0
store i8 97, i8* %43
%44 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 1
store i8 98, i8* %44
%45 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 2
store i8 99, i8* %45
%46 = call i32 @BinarySearch(i8** %35, i8* %43)
%47 = icmp eq i32 %46, -1
br i1 %47, label %53, label %48
48: ; preds = %2
%49 = sext i32 %46 to i64
%50 = getelementptr inbounds [8 x i8*], [8 x i8*]* %3, i64 0, i64 %49
%51 = load i8*, i8** %50
%52 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i32 %46, i8* %51)
br label %55
53: ; preds = %2
%54 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @str, i64 0, i64 0))
br label %55
55: ; preds = %53, %48
ret i32 0
}