#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 BuscaBinaria(int *vet, int x, int esq, int dir) {
  int m;
  m = (dir + esq) / 2;
  printf("pivo %d\n", m);
  if (esq > dir)
    printf("Elemento não encontrado\n");
  else if (vet[m] == x)
    return m;
  else if (vet[m] < x) {
    esq = m + 1;
    return BuscaBinaria(vet, x, esq, dir);
  } else if (vet[m] > x) {
    dir = m - 1;
    return BuscaBinaria(vet, x, esq, dir);
  }
  return -1;
}


x86 assembly (clang, -O0):
<BuscaBinaria>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%esi
lea    0xeb0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jle    1176 <BuscaBinaria+0x56>
lea    0xe9f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1212 <BuscaBinaria+0xf2>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1195 <BuscaBinaria+0x75>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1219 <BuscaBinaria+0xf9>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jge    11cc <BuscaBinaria+0xac>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x1c(%rbp),%ecx
call   1040 <BuscaBinaria@plt>
mov    %eax,-0x4(%rbp)
jmp    1219 <BuscaBinaria+0xf9>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jle    1203 <BuscaBinaria+0xe3>
mov    -0x20(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x1c(%rbp),%ecx
call   1040 <BuscaBinaria@plt>
mov    %eax,-0x4(%rbp)
jmp    1219 <BuscaBinaria+0xf9>
jmp    1208 <BuscaBinaria+0xe8>
jmp    120d <BuscaBinaria+0xed>
jmp    1212 <BuscaBinaria+0xf2>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<BuscaBinaria>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %ecx,%r13d
mov    %edx,%r12d
mov    %esi,%r14d
mov    %rdi,%r15
lea    (%r12,%r13,1),%eax
mov    %eax,%ebx
shr    $0x1f,%ebx
add    %eax,%ebx
sar    %ebx
lea    0xeb5(%rip),%rdi
mov    %ebx,%esi
xor    %eax,%eax
call   1040 <printf@plt>
cmp    %r13d,%r12d
jle    1180 <BuscaBinaria+0x60>
lea    0xea9(%rip),%rdi
call   1030 <puts@plt>
mov    $0xffffffff,%ebx
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
nopl   0x0(%rax,%rax,1)
movslq %ebx,%rax
mov    (%r15,%rax,4),%eax
cmp    %r14d,%eax
je     116a <BuscaBinaria+0x4a>
jl     11bd <BuscaBinaria+0x9d>
jle    1165 <BuscaBinaria+0x45>
lea    -0x1(%rbx),%r13d
lea    (%rbx,%r12,1),%eax
add    $0xffffffff,%eax
mov    %eax,%ebp
shr    $0x1f,%ebp
add    %eax,%ebp
sar    %ebp
lea    0xe55(%rip),%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1040 <printf@plt>
cmp    %ebx,%r12d
mov    %ebp,%ebx
jl     1180 <BuscaBinaria+0x60>
jmp    1159 <BuscaBinaria+0x39>
lea    0x1(%rbx),%r12d
lea    (%rbx,%r13,1),%eax
add    $0x1,%eax
mov    %eax,%ebp
shr    $0x1f,%ebp
add    %eax,%ebp
sar    %ebp
lea    0xe28(%rip),%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1040 <printf@plt>
cmp    %r13d,%ebx
jmp    11b7 <BuscaBinaria+0x97>

LLVM IR (-O0):
@.str = [9 x i8] c"pivo %d\0A\00"
@.str.1 = [26 x i8] c"Elemento n\C3\A3o encontrado\0A\00"
define i32 @BuscaBinaria(i32* %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32* %0, i32** %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32 %3, i32* %9
%11 = load i32, i32* %9
%12 = load i32, i32* %8
%13 = add nsw i32 %11, %12
%14 = sdiv i32 %13, 2
store i32 %14, i32* %10
%15 = load i32, i32* %10
%16 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 %15)
%17 = load i32, i32* %8
%18 = load i32, i32* %9
%19 = icmp sgt i32 %17, %18
br i1 %19, label %20, label %22
20: ; preds = %4
%21 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.1, i64 0, i64 0))
br label %67
22: ; preds = %4
%23 = load i32*, i32** %6
%24 = load i32, i32* %10
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i32, i32* %23, i64 %25
%27 = load i32, i32* %26
%28 = load i32, i32* %7
%29 = icmp eq i32 %27, %28
br i1 %29, label %30, label %32
30: ; preds = %22
%31 = load i32, i32* %10
store i32 %31, i32* %5
br label %68
32: ; preds = %22
%33 = load i32*, i32** %6
%34 = load i32, i32* %10
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i32, i32* %33, i64 %35
%37 = load i32, i32* %36
%38 = load i32, i32* %7
%39 = icmp slt i32 %37, %38
br i1 %39, label %40, label %48
40: ; preds = %32
%41 = load i32, i32* %10
%42 = add nsw i32 %41, 1
store i32 %42, i32* %8
%43 = load i32*, i32** %6
%44 = load i32, i32* %7
%45 = load i32, i32* %8
%46 = load i32, i32* %9
%47 = call i32 @BuscaBinaria(i32* %43, i32 %44, i32 %45, i32 %46)
store i32 %47, i32* %5
br label %68
48: ; preds = %32
%49 = load i32*, i32** %6
%50 = load i32, i32* %10
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %49, i64 %51
%53 = load i32, i32* %52
%54 = load i32, i32* %7
%55 = icmp sgt i32 %53, %54
br i1 %55, label %56, label %64
56: ; preds = %48
%57 = load i32, i32* %10
%58 = sub nsw i32 %57, 1
store i32 %58, i32* %9
%59 = load i32*, i32** %6
%60 = load i32, i32* %7
%61 = load i32, i32* %8
%62 = load i32, i32* %9
%63 = call i32 @BuscaBinaria(i32* %59, i32 %60, i32 %61, i32 %62)
store i32 %63, i32* %5
br label %68
64: ; preds = %48
br label %65
65: ; preds = %64
br label %66
66: ; preds = %65
br label %67
67: ; preds = %66, %20
store i32 -1, i32* %5
br label %68
68: ; preds = %67, %56, %40, %30
%69 = load i32, i32* %5
ret i32 %69
}

LLVM IR (-O2):
@.str = [9 x i8] c"pivo %d\0A\00"
@str = [25 x i8] c"Elemento n\C3\A3o encontrado\00"
define i32 @BuscaBinaria(i32* %0, i32 %1, i32 %2, i32 %3) {
%5 = add nsw i32 %3, %2
%6 = sdiv i32 %5, 2
%7 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 %6)
%8 = icmp sgt i32 %2, %3
br i1 %8, label %13, label %9
9: ; preds = %4, %24
%10 = phi i32 [ %27, %24 ], [ %6, %4 ]
%11 = phi i32 [ %17, %24 ], [ %3, %4 ]
%12 = phi i32 [ %25, %24 ], [ %2, %4 ]
br label %15
13: ; preds = %24, %32, %4
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @str, i64 0, i64 0))
br label %38
15: ; preds = %9, %32
%16 = phi i32 [ %10, %9 ], [ %35, %32 ]
%17 = phi i32 [ %11, %9 ], [ %33, %32 ]
%18 = sext i32 %16 to i64
%19 = getelementptr inbounds i32, i32* %0, i64 %18
%20 = load i32, i32* %19
%21 = icmp eq i32 %20, %1
br i1 %21, label %38, label %22
22: ; preds = %15
%23 = icmp slt i32 %20, %1
br i1 %23, label %24, label %30
24: ; preds = %22
%25 = add nsw i32 %16, 1
%26 = add nsw i32 %17, %25
%27 = sdiv i32 %26, 2
%28 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 %27)
%29 = icmp slt i32 %16, %17
br i1 %29, label %9, label %13
30: ; preds = %22
%31 = icmp sgt i32 %20, %1
br i1 %31, label %32, label %38
32: ; preds = %30
%33 = add nsw i32 %16, -1
%34 = add nsw i32 %33, %12
%35 = sdiv i32 %34, 2
%36 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 %35)
%37 = icmp slt i32 %12, %16
br i1 %37, label %15, label %13
38: ; preds = %30, %15, %13
%39 = phi i32 [ -1, %13 ], [ -1, %30 ], [ %16, %15 ]
ret i32 %39
}