int fibonnaciSearch(int *a, int n, int key) {
  int x = 0;
  int y = 1;
  int fibM = x + y;
  while (fibM < n) {
    x = y;
    y = fibM;
    fibM = x + y;
  }
  int i = 0;
  int flag = -1;
  while (fibM > 1) {
    int p = x + flag;
    if (p < n - 1) {
      i = p;
    } else {
      i = n - 1;
    }
    if (*(a + i) < key) {
      fibM = y;
      y = x;
      x = fibM - y;
      flag = i;
    } else if (*(a + i) > key) {
      fibM = x;
      y = y - x;
      x = fibM - y;
    } else
      return i;
  }
  if (x && *(a + (flag + 1)) == x)
    return flag + 1;
  return -1;
}


x86 assembly (clang, -O0):
<fibonnaciSearch>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x1,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    114b <fibonnaciSearch+0x4b>
mov    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    1125 <fibonnaciSearch+0x25>
movl   $0x0,-0x28(%rbp)
movl   $0xffffffff,-0x2c(%rbp)
cmpl   $0x1,-0x24(%rbp)
jle    120b <fibonnaciSearch+0x10b>
mov    -0x1c(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1188 <fibonnaciSearch+0x88>
mov    -0x30(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    1191 <fibonnaciSearch+0x91>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jge    11c5 <fibonnaciSearch+0xc5>
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
sub    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    1206 <fibonnaciSearch+0x106>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jle    11f6 <fibonnaciSearch+0xf6>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
sub    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
sub    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    1201 <fibonnaciSearch+0x101>
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1243 <fibonnaciSearch+0x143>
jmp    1206 <fibonnaciSearch+0x106>
jmp    1159 <fibonnaciSearch+0x59>
cmpl   $0x0,-0x1c(%rbp)
je     123c <fibonnaciSearch+0x13c>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jne    123c <fibonnaciSearch+0x13c>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1243 <fibonnaciSearch+0x143>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<fibonnaciSearch>:
push   %r14
push   %rbx
mov    $0x1,%ebx
xor    %r9d,%r9d
mov    $0x1,%eax
mov    %eax,%ecx
mov    %ebx,%r14d
mov    %r9d,%r8d
lea    (%rcx,%r14,1),%eax
mov    %ebx,%r9d
mov    %ecx,%ebx
cmp    %esi,%ecx
jl     1110 <fibonnaciSearch+0x10>
mov    $0xffffffff,%eax
cmp    $0x2,%ecx
jl     117f <fibonnaciSearch+0x7f>
add    $0xffffffff,%esi
mov    $0xffffffff,%r9d
jmp    1158 <fibonnaciSearch+0x58>
nopw   0x0(%rax,%rax,1)
mov    %r14d,%r10d
sub    %r8d,%r10d
mov    %r8d,%r11d
mov    %eax,%r9d
mov    %r10d,%r8d
cmp    $0x1,%r14d
mov    %r11d,%r14d
jle    1182 <fibonnaciSearch+0x82>
lea    (%r9,%r8,1),%eax
cmp    %esi,%eax
cmovge %esi,%eax
movslq %eax,%rcx
cmp    %edx,(%rdi,%rcx,4)
jl     1140 <fibonnaciSearch+0x40>
jle    119b <fibonnaciSearch+0x9b>
sub    %r8d,%r14d
mov    %r8d,%r10d
sub    %r14d,%r10d
mov    %r14d,%r11d
mov    %r8d,%r14d
mov    %r9d,%eax
jmp    1149 <fibonnaciSearch+0x49>
mov    %r8d,%r10d
test   %r10d,%r10d
je     1196 <fibonnaciSearch+0x96>
movslq %eax,%rcx
cmp    %r10d,0x4(%rdi,%rcx,4)
jne    1196 <fibonnaciSearch+0x96>
add    $0x1,%eax
jmp    119b <fibonnaciSearch+0x9b>
mov    $0xffffffff,%eax
pop    %rbx
pop    %r14
ret

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

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