#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 Binary_Search(int *, int);
int /*<<< orphan*/ printf(char *, ...);
int main() {
  int array[128];
  for (int i = 0; i < 128; ++i) {
    array[i] = i;
  }
  int index = Binary_Search(array, 128);
  if (index < 128)
    printf("the data is found, the location is %d:\n", index + 1);
  else
    printf("the data is not found!\n");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x220,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x214(%rbp)
cmpl   $0x80,-0x214(%rbp)
jge    1174 <main+0x54>
mov    -0x214(%rbp),%ecx
movslq -0x214(%rbp),%rax
mov    %ecx,-0x210(%rbp,%rax,4)
mov    -0x214(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x214(%rbp)
jmp    113c <main+0x1c>
lea    -0x210(%rbp),%rdi
mov    $0x80,%esi
call   1040 <Binary_Search@plt>
mov    %eax,-0x218(%rbp)
cmpl   $0x80,-0x218(%rbp)
jge    11b7 <main+0x97>
mov    -0x218(%rbp),%esi
add    $0x1,%esi
lea    0xe55(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    11c5 <main+0xa5>
lea    0xe6a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x220,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x208,%rsp
movaps 0xec2(%rip),%xmm0
movaps %xmm0,(%rsp)
movaps 0xec7(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
movaps 0xecb(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movaps 0xecf(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movaps 0xed3(%rip),%xmm0
movaps %xmm0,0x40(%rsp)
movaps 0xed7(%rip),%xmm0
movaps %xmm0,0x50(%rsp)
movaps 0xedb(%rip),%xmm0
movaps %xmm0,0x60(%rsp)
movaps 0xedf(%rip),%xmm0
movaps %xmm0,0x70(%rsp)
movaps 0xee3(%rip),%xmm0
movaps %xmm0,0x80(%rsp)
movaps 0xee4(%rip),%xmm0
movaps %xmm0,0x90(%rsp)
movaps 0xee5(%rip),%xmm0
movaps %xmm0,0xa0(%rsp)
movaps 0xee6(%rip),%xmm0
movaps %xmm0,0xb0(%rsp)
movaps 0xee7(%rip),%xmm0
movaps %xmm0,0xc0(%rsp)
movaps 0xee8(%rip),%xmm0
movaps %xmm0,0xd0(%rsp)
movaps 0xee9(%rip),%xmm0
movaps %xmm0,0xe0(%rsp)
movaps 0xeea(%rip),%xmm0
movaps %xmm0,0xf0(%rsp)
movaps 0xeeb(%rip),%xmm0
movaps %xmm0,0x100(%rsp)
movaps 0xeec(%rip),%xmm0
movaps %xmm0,0x110(%rsp)
movaps 0xeed(%rip),%xmm0
movaps %xmm0,0x120(%rsp)
movaps 0xeee(%rip),%xmm0
movaps %xmm0,0x130(%rsp)
movaps 0xeef(%rip),%xmm0
movaps %xmm0,0x140(%rsp)
movaps 0xef0(%rip),%xmm0
movaps %xmm0,0x150(%rsp)
movaps 0xef1(%rip),%xmm0
movaps %xmm0,0x160(%rsp)
movaps 0xef2(%rip),%xmm0
movaps %xmm0,0x170(%rsp)
movaps 0xef3(%rip),%xmm0
movaps %xmm0,0x180(%rsp)
movaps 0xef4(%rip),%xmm0
movaps %xmm0,0x190(%rsp)
movaps 0xef5(%rip),%xmm0
movaps %xmm0,0x1a0(%rsp)
movaps 0xef6(%rip),%xmm0
movaps %xmm0,0x1b0(%rsp)
movaps 0xef7(%rip),%xmm0
movaps %xmm0,0x1c0(%rsp)
movaps 0xef8(%rip),%xmm0
movaps %xmm0,0x1d0(%rsp)
movaps 0xef9(%rip),%xmm0
movaps %xmm0,0x1e0(%rsp)
movaps 0xefa(%rip),%xmm0
movaps %xmm0,0x1f0(%rsp)
mov    %rsp,%rdi
mov    $0x80,%esi
call   1050 <Binary_Search@plt>
cmp    $0x7f,%eax
jg     1325 <main+0x1f5>
add    $0x1,%eax
lea    0xee6(%rip),%rdi
mov    %eax,%esi
xor    %eax,%eax
call   1040 <printf@plt>
jmp    1331 <main+0x201>
lea    0xefc(%rip),%rdi
call   1030 <puts@plt>
xor    %eax,%eax
add    $0x208,%rsp
ret

LLVM IR (-O0):
@.str = [40 x i8] c"the data is found, the location is %d:\0A\00"
@.str.1 = [24 x i8] c"the data is not found!\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [128 x i32]
%3 = alloca i32
%4 = alloca i32
store i32 0, i32* %1
store i32 0, i32* %3
br label %5
5: ; preds = %13, %0
%6 = load i32, i32* %3
%7 = icmp slt i32 %6, 128
br i1 %7, label %8, label %16
8: ; preds = %5
%9 = load i32, i32* %3
%10 = load i32, i32* %3
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds [128 x i32], [128 x i32]* %2, i64 0, i64 %11
store i32 %9, i32* %12
br label %13
13: ; preds = %8
%14 = load i32, i32* %3
%15 = add nsw i32 %14, 1
store i32 %15, i32* %3
br label %5
16: ; preds = %5
%17 = getelementptr inbounds [128 x i32], [128 x i32]* %2, i64 0, i64 0
%18 = call i32 @Binary_Search(i32* %17, i32 128)
store i32 %18, i32* %4
%19 = load i32, i32* %4
%20 = icmp slt i32 %19, 128
br i1 %20, label %21, label %25
21: ; preds = %16
%22 = load i32, i32* %4
%23 = add nsw i32 %22, 1
%24 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str, i64 0, i64 0), i32 %23)
br label %27
25: ; preds = %16
%26 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.1, i64 0, i64 0))
br label %27
27: ; preds = %25, %21
ret i32 0
}

LLVM IR (-O2):
@.str = [40 x i8] c"the data is found, the location is %d:\0A\00"
@str = [23 x i8] c"the data is not found!\00"
define i32 @main() {
%1 = alloca [128 x i32]
%2 = bitcast [128 x i32]* %1 to i8*
%3 = bitcast [128 x i32]* %1 to <4 x i32>*
store <4 x i32> <i32 0, i32 1, i32 2, i32 3>, <4 x i32>* %3
%4 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 4
%5 = bitcast i32* %4 to <4 x i32>*
store <4 x i32> <i32 4, i32 5, i32 6, i32 7>, <4 x i32>* %5
%6 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 8
%7 = bitcast i32* %6 to <4 x i32>*
store <4 x i32> <i32 8, i32 9, i32 10, i32 11>, <4 x i32>* %7
%8 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 12
%9 = bitcast i32* %8 to <4 x i32>*
store <4 x i32> <i32 12, i32 13, i32 14, i32 15>, <4 x i32>* %9
%10 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 16
%11 = bitcast i32* %10 to <4 x i32>*
store <4 x i32> <i32 16, i32 17, i32 18, i32 19>, <4 x i32>* %11
%12 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 20
%13 = bitcast i32* %12 to <4 x i32>*
store <4 x i32> <i32 20, i32 21, i32 22, i32 23>, <4 x i32>* %13
%14 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 24
%15 = bitcast i32* %14 to <4 x i32>*
store <4 x i32> <i32 24, i32 25, i32 26, i32 27>, <4 x i32>* %15
%16 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 28
%17 = bitcast i32* %16 to <4 x i32>*
store <4 x i32> <i32 28, i32 29, i32 30, i32 31>, <4 x i32>* %17
%18 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 32
%19 = bitcast i32* %18 to <4 x i32>*
store <4 x i32> <i32 32, i32 33, i32 34, i32 35>, <4 x i32>* %19
%20 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 36
%21 = bitcast i32* %20 to <4 x i32>*
store <4 x i32> <i32 36, i32 37, i32 38, i32 39>, <4 x i32>* %21
%22 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 40
%23 = bitcast i32* %22 to <4 x i32>*
store <4 x i32> <i32 40, i32 41, i32 42, i32 43>, <4 x i32>* %23
%24 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 44
%25 = bitcast i32* %24 to <4 x i32>*
store <4 x i32> <i32 44, i32 45, i32 46, i32 47>, <4 x i32>* %25
%26 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 48
%27 = bitcast i32* %26 to <4 x i32>*
store <4 x i32> <i32 48, i32 49, i32 50, i32 51>, <4 x i32>* %27
%28 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 52
%29 = bitcast i32* %28 to <4 x i32>*
store <4 x i32> <i32 52, i32 53, i32 54, i32 55>, <4 x i32>* %29
%30 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 56
%31 = bitcast i32* %30 to <4 x i32>*
store <4 x i32> <i32 56, i32 57, i32 58, i32 59>, <4 x i32>* %31
%32 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 60
%33 = bitcast i32* %32 to <4 x i32>*
store <4 x i32> <i32 60, i32 61, i32 62, i32 63>, <4 x i32>* %33
%34 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 64
%35 = bitcast i32* %34 to <4 x i32>*
store <4 x i32> <i32 64, i32 65, i32 66, i32 67>, <4 x i32>* %35
%36 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 68
%37 = bitcast i32* %36 to <4 x i32>*
store <4 x i32> <i32 68, i32 69, i32 70, i32 71>, <4 x i32>* %37
%38 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 72
%39 = bitcast i32* %38 to <4 x i32>*
store <4 x i32> <i32 72, i32 73, i32 74, i32 75>, <4 x i32>* %39
%40 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 76
%41 = bitcast i32* %40 to <4 x i32>*
store <4 x i32> <i32 76, i32 77, i32 78, i32 79>, <4 x i32>* %41
%42 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 80
%43 = bitcast i32* %42 to <4 x i32>*
store <4 x i32> <i32 80, i32 81, i32 82, i32 83>, <4 x i32>* %43
%44 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 84
%45 = bitcast i32* %44 to <4 x i32>*
store <4 x i32> <i32 84, i32 85, i32 86, i32 87>, <4 x i32>* %45
%46 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 88
%47 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> <i32 88, i32 89, i32 90, i32 91>, <4 x i32>* %47
%48 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 92
%49 = bitcast i32* %48 to <4 x i32>*
store <4 x i32> <i32 92, i32 93, i32 94, i32 95>, <4 x i32>* %49
%50 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 96
%51 = bitcast i32* %50 to <4 x i32>*
store <4 x i32> <i32 96, i32 97, i32 98, i32 99>, <4 x i32>* %51
%52 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 100
%53 = bitcast i32* %52 to <4 x i32>*
store <4 x i32> <i32 100, i32 101, i32 102, i32 103>, <4 x i32>* %53
%54 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 104
%55 = bitcast i32* %54 to <4 x i32>*
store <4 x i32> <i32 104, i32 105, i32 106, i32 107>, <4 x i32>* %55
%56 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 108
%57 = bitcast i32* %56 to <4 x i32>*
store <4 x i32> <i32 108, i32 109, i32 110, i32 111>, <4 x i32>* %57
%58 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 112
%59 = bitcast i32* %58 to <4 x i32>*
store <4 x i32> <i32 112, i32 113, i32 114, i32 115>, <4 x i32>* %59
%60 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 116
%61 = bitcast i32* %60 to <4 x i32>*
store <4 x i32> <i32 116, i32 117, i32 118, i32 119>, <4 x i32>* %61
%62 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 120
%63 = bitcast i32* %62 to <4 x i32>*
store <4 x i32> <i32 120, i32 121, i32 122, i32 123>, <4 x i32>* %63
%64 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 124
%65 = bitcast i32* %64 to <4 x i32>*
store <4 x i32> <i32 124, i32 125, i32 126, i32 127>, <4 x i32>* %65
%66 = getelementptr inbounds [128 x i32], [128 x i32]* %1, i64 0, i64 0
%67 = call i32 @Binary_Search(i32* %66, i32 128)
%68 = icmp slt i32 %67, 128
br i1 %68, label %69, label %72
69: ; preds = %0
%70 = add nsw i32 %67, 1
%71 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @.str, i64 0, i64 0), i32 %70)
br label %74
72: ; preds = %0
%73 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @str, i64 0, i64 0))
br label %74
74: ; preds = %72, %69
ret i32 0
}