#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 /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ scanf(char *, int *);
int /*<<< orphan*/ system(char *);
int main() {
  int numeri[] = {4,  5,  13, 22, 27, 34, 35, 37, 40, 48,
                  51, 55, 70, 77, 80, 81, 84, 89, 95, 99};
  int min;
  int max;
  int medio;
  int numero;
  int trovato;
  int i;
  printf("Inserire il numero che si vuole trovare all'interno dell'Array. \n");
  scanf("%d", &numero);
  max = 19;
  min = 0;
  i = 0;
  trovato = 0;
  while ((trovato == 0) && (min <= max)) {
    medio = (max + min) / 2;
    if (numero == numeri[medio]) {
      trovato = 1;
    } else {
      if (numero > numeri[medio]) {
        min = medio + 1;
      } else {
        max = medio - 1;
      }
    }
    i++;
  }
  if (trovato == 1) {
    printf("Il numero %d e' stato trovato all'interno dell'Array con %d "
           "passaggi nella posizione %d \n",
           numero, i, medio);
  } else {
    printf("Il numero %d non e' stato trovato all'interno dell'Array \n",
           numero);
  }
  system("PAUSE");
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x60(%rbp),%rdi
lea    0xea3(%rip),%rsi
mov    $0x50,%edx
call   1050 <memcpy@plt>
lea    0xee2(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xf16(%rip),%rdi
lea    -0x70(%rbp),%rsi
call   1060 <scanf@plt>
movl   $0x13,-0x68(%rbp)
movl   $0x0,-0x64(%rbp)
movl   $0x0,-0x78(%rbp)
movl   $0x0,-0x74(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x74(%rbp)
mov    %al,-0x79(%rbp)
jne    11bc <main+0x7c>
mov    -0x64(%rbp),%eax
cmp    -0x68(%rbp),%eax
setle  %al
mov    %al,-0x79(%rbp)
mov    -0x79(%rbp),%al
test   $0x1,%al
jne    11cc <main+0x8c>
jmp    1235 <main+0xf5>
mov    -0x68(%rbp),%eax
add    -0x64(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x6c(%rbp)
mov    -0x70(%rbp),%eax
movslq -0x6c(%rbp),%rcx
cmp    -0x60(%rbp,%rcx,4),%eax
jne    11fa <main+0xba>
movl   $0x1,-0x74(%rbp)
jmp    1227 <main+0xe7>
mov    -0x70(%rbp),%eax
movslq -0x6c(%rbp),%rcx
cmp    -0x60(%rbp,%rcx,4),%eax
jle    1219 <main+0xd9>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    1222 <main+0xe2>
mov    -0x6c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x68(%rbp)
jmp    1227 <main+0xe7>
mov    -0x78(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x78(%rbp)
jmp    11a1 <main+0x61>
cmpl   $0x1,-0x74(%rbp)
jne    125b <main+0x11b>
mov    -0x70(%rbp),%esi
mov    -0x78(%rbp),%edx
mov    -0x6c(%rbp),%ecx
lea    0xe46(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    126c <main+0x12c>
mov    -0x70(%rbp),%esi
lea    0xe8a(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xeb7(%rip),%rdi
call   1030 <system@plt>
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
lea    0xfa6(%rip),%rdi
call   1030 <puts@plt>
lea    0xefc(%rip),%rdi
lea    0x4(%rsp),%rsi
call   1060 <scanf@plt>
xor    %r9d,%r9d
mov    $0x13,%edi
mov    $0x1,%edx
mov    0x4(%rsp),%esi
lea    0xe8a(%rip),%r8
jmp    118d <main+0x4d>
nopl   0x0(%rax,%rax,1)
add    $0xffffffff,%ecx
mov    %ecx,%edi
add    $0x1,%edx
cmp    %edi,%r9d
jg     11af <main+0x6f>
lea    (%rdi,%r9,1),%eax
mov    %eax,%ecx
shr    $0x1f,%ecx
add    %eax,%ecx
sar    %ecx
movslq %ecx,%rax
mov    (%r8,%rax,4),%eax
cmp    %eax,%esi
je     11bf <main+0x7f>
jle    1180 <main+0x40>
add    $0x1,%ecx
mov    %ecx,%r9d
jmp    1185 <main+0x45>
lea    0xef7(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
jmp    11cd <main+0x8d>
lea    0xe8d(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xf14(%rip),%rdi
call   1040 <system@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
@__const.main.numeri = [20 x i32] [i32 4, i32 5, i32 13, i32 22, i32 27, i32 34, i32 35, i32 37, i32 40, i32 48, i32 51, i32 55, i32 70, i32 77, i32 80, i32 81, i32 84, i32 89, i32 95, i32 99]
@.str = [66 x i8] c"Inserire il numero che si vuole trovare all'interno dell'Array. \0A\00"
@.str.1 = [3 x i8] c"%d\00"
@.str.2 = [90 x i8] c"Il numero %d e' stato trovato all'interno dell'Array con %d passaggi nella posizione %d \0A\00"
@.str.3 = [59 x i8] c"Il numero %d non e' stato trovato all'interno dell'Array \0A\00"
@.str.4 = [6 x i8] c"PAUSE\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [20 x i32]
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i32 0, i32* %1
%9 = bitcast [20 x i32]* %2 to i8*
%10 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([66 x i8], [66 x i8]* @.str, i64 0, i64 0))
%11 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32* %6)
store i32 19, i32* %4
store i32 0, i32* %3
store i32 0, i32* %8
store i32 0, i32* %7
br label %12
12: ; preds = %47, %0
%13 = load i32, i32* %7
%14 = icmp eq i32 %13, 0
br i1 %14, label %15, label %19
15: ; preds = %12
%16 = load i32, i32* %3
%17 = load i32, i32* %4
%18 = icmp sle i32 %16, %17
br label %19
19: ; preds = %15, %12
%20 = phi i1 [ false, %12 ], [ %18, %15 ]
br i1 %20, label %21, label %50
21: ; preds = %19
%22 = load i32, i32* %4
%23 = load i32, i32* %3
%24 = add nsw i32 %22, %23
%25 = sdiv i32 %24, 2
store i32 %25, i32* %5
%26 = load i32, i32* %6
%27 = load i32, i32* %5
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds [20 x i32], [20 x i32]* %2, i64 0, i64 %28
%30 = load i32, i32* %29
%31 = icmp eq i32 %26, %30
br i1 %31, label %32, label %33
32: ; preds = %21
store i32 1, i32* %7
br label %47
33: ; preds = %21
%34 = load i32, i32* %6
%35 = load i32, i32* %5
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds [20 x i32], [20 x i32]* %2, i64 0, i64 %36
%38 = load i32, i32* %37
%39 = icmp sgt i32 %34, %38
br i1 %39, label %40, label %43
40: ; preds = %33
%41 = load i32, i32* %5
%42 = add nsw i32 %41, 1
store i32 %42, i32* %3
br label %46
43: ; preds = %33
%44 = load i32, i32* %5
%45 = sub nsw i32 %44, 1
store i32 %45, i32* %4
br label %46
46: ; preds = %43, %40
br label %47
47: ; preds = %46, %32
%48 = load i32, i32* %8
%49 = add nsw i32 %48, 1
store i32 %49, i32* %8
br label %12
50: ; preds = %19
%51 = load i32, i32* %7
%52 = icmp eq i32 %51, 1
br i1 %52, label %53, label %58
53: ; preds = %50
%54 = load i32, i32* %6
%55 = load i32, i32* %8
%56 = load i32, i32* %5
%57 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([90 x i8], [90 x i8]* @.str.2, i64 0, i64 0), i32 %54, i32 %55, i32 %56)
br label %61
58: ; preds = %50
%59 = load i32, i32* %6
%60 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.3, i64 0, i64 0), i32 %59)
br label %61
61: ; preds = %58, %53
%62 = call i32 @system(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.4, i64 0, i64 0))
%63 = load i32, i32* %1
ret i32 %63
}

LLVM IR (-O2):
@__const.main.numeri = [20 x i32] [i32 4, i32 5, i32 13, i32 22, i32 27, i32 34, i32 35, i32 37, i32 40, i32 48, i32 51, i32 55, i32 70, i32 77, i32 80, i32 81, i32 84, i32 89, i32 95, i32 99]
@.str.1 = [3 x i8] c"%d\00"
@.str.2 = [90 x i8] c"Il numero %d e' stato trovato all'interno dell'Array con %d passaggi nella posizione %d \0A\00"
@.str.3 = [59 x i8] c"Il numero %d non e' stato trovato all'interno dell'Array \0A\00"
@.str.4 = [6 x i8] c"PAUSE\00"
@str = [65 x i8] c"Inserire il numero che si vuole trovare all'interno dell'Array. \00"
define i32 @main() {
%1 = alloca i32
%2 = bitcast i32* %1 to i8*
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([65 x i8], [65 x i8]* @str, i64 0, i64 0))
%4 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32* %1)
%5 = load i32, i32* %1
br label %6
6: ; preds = %0, %16
%7 = phi i32 [ 0, %0 ], [ %22, %16 ]
%8 = phi i32 [ 19, %0 ], [ %21, %16 ]
%9 = phi i32 [ 0, %0 ], [ %20, %16 ]
%10 = add nsw i32 %8, %9
%11 = sdiv i32 %10, 2
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds [20 x i32], [20 x i32]* @__const.main.numeri, i64 0, i64 %12
%14 = load i32, i32* %13
%15 = icmp eq i32 %5, %14
br i1 %15, label %24, label %16
16: ; preds = %6
%17 = icmp sgt i32 %5, %14
%18 = add nsw i32 %11, 1
%19 = add nsw i32 %11, -1
%20 = select i1 %17, i32 %18, i32 %9
%21 = select i1 %17, i32 %8, i32 %19
%22 = add nuw nsw i32 %7, 1
%23 = icmp sgt i32 %20, %21
br i1 %23, label %27, label %6
24: ; preds = %6
%25 = add nuw nsw i32 %7, 1
%26 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([90 x i8], [90 x i8]* @.str.2, i64 0, i64 0), i32 %5, i32 %25, i32 %11)
br label %29
27: ; preds = %16
%28 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @.str.3, i64 0, i64 0), i32 %5)
br label %29
29: ; preds = %27, %24
%30 = call i32 @system(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.4, i64 0, i64 0))
ret i32 0
}