int Fib(int n) {
  int lastEls[2] = {0, 1};
  if (n < 2)
    return lastEls[n];
  int curr = 2;
  int next;
  while (curr <= n) {
    next = lastEls[0] + lastEls[1];
    lastEls[0] = lastEls[1];
    lastEls[1] = next;
    curr++;
  }
  return next;
}


x86 assembly (clang, -O0):
<Fib>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    0xef2(%rip),%rax
mov    %rax,-0x10(%rbp)
cmpl   $0x2,-0x8(%rbp)
jge    112c <Fib+0x2c>
movslq -0x8(%rbp),%rax
mov    -0x10(%rbp,%rax,4),%eax
mov    %eax,-0x4(%rbp)
jmp    1168 <Fib+0x68>
movl   $0x2,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     1162 <Fib+0x62>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1133 <Fib+0x33>
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<Fib>:
movabs $0x100000000,%rax
mov    %rax,-0x8(%rsp)
cmp    $0x2,%edi
jge    111c <Fib+0x1c>
movslq %edi,%rax
mov    -0x8(%rsp,%rax,4),%eax
ret
lea    -0x1(%rdi),%esi
add    $0xfffffffe,%edi
mov    %esi,%ecx
and    $0x7,%ecx
cmp    $0x7,%edi
jae    1135 <Fib+0x35>
xor    %edx,%edx
mov    $0x1,%eax
jmp    1155 <Fib+0x55>
and    $0xfffffff8,%esi
xor    %edx,%edx
mov    $0x1,%eax
nop
add    %eax,%edx
add    %edx,%eax
add    %eax,%edx
add    %edx,%eax
add    %eax,%edx
add    %edx,%eax
add    %eax,%edx
add    %edx,%eax
add    $0xfffffff8,%esi
jne    1140 <Fib+0x40>
test   %ecx,%ecx
je     116d <Fib+0x6d>
nopl   0x0(%rax)
mov    %eax,%esi
mov    %edx,%eax
add    %esi,%eax
mov    %esi,%edx
add    $0xffffffff,%ecx
jne    1160 <Fib+0x60>
ret

LLVM IR (-O0):
@__const.Fib.lastEls = [2 x i32] [i32 0, i32 1]
define i32 @Fib(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca [2 x i32]
%5 = alloca i32
%6 = alloca i32
store i32 %0, i32* %3
%7 = bitcast [2 x i32]* %4 to i8*
%8 = load i32, i32* %3
%9 = icmp slt i32 %8, 2
br i1 %9, label %10, label %15
10: ; preds = %1
%11 = load i32, i32* %3
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 %12
%14 = load i32, i32* %13
store i32 %14, i32* %2
br label %35
15: ; preds = %1
store i32 2, i32* %5
br label %16
16: ; preds = %20, %15
%17 = load i32, i32* %5
%18 = load i32, i32* %3
%19 = icmp sle i32 %17, %18
br i1 %19, label %20, label %33
20: ; preds = %16
%21 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 0
%22 = load i32, i32* %21
%23 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 1
%24 = load i32, i32* %23
%25 = add nsw i32 %22, %24
store i32 %25, i32* %6
%26 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 1
%27 = load i32, i32* %26
%28 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 0
store i32 %27, i32* %28
%29 = load i32, i32* %6
%30 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 1
store i32 %29, i32* %30
%31 = load i32, i32* %5
%32 = add nsw i32 %31, 1
store i32 %32, i32* %5
br label %16
33: ; preds = %16
%34 = load i32, i32* %6
store i32 %34, i32* %2
br label %35
35: ; preds = %33, %10
%36 = load i32, i32* %2
ret i32 %36
}

LLVM IR (-O2):
define i32 @Fib(i32 %0) {
%2 = alloca i64
%3 = bitcast i64* %2 to i8*
store i64 4294967296, i64* %2
%4 = icmp slt i32 %0, 2
br i1 %4, label %12, label %5
5: ; preds = %1
%6 = add i32 %0, -1
%7 = add i32 %0, -2
%8 = and i32 %6, 7
%9 = icmp ult i32 %7, 7
br i1 %9, label %31, label %10
10: ; preds = %5
%11 = and i32 %6, -8
br label %17
12: ; preds = %1
%13 = bitcast i64* %2 to [2 x i32]*
%14 = sext i32 %0 to i64
%15 = getelementptr inbounds [2 x i32], [2 x i32]* %13, i64 0, i64 %14
%16 = load i32, i32* %15
br label %43
17: ; preds = %17, %10
%18 = phi i32 [ 1, %10 ], [ %28, %17 ]
%19 = phi i32 [ 0, %10 ], [ %27, %17 ]
%20 = phi i32 [ 0, %10 ], [ %29, %17 ]
%21 = add nsw i32 %18, %19
%22 = add nsw i32 %21, %18
%23 = add nsw i32 %22, %21
%24 = add nsw i32 %23, %22
%25 = add nsw i32 %24, %23
%26 = add nsw i32 %25, %24
%27 = add nsw i32 %26, %25
%28 = add nsw i32 %27, %26
%29 = add i32 %20, 8
%30 = icmp eq i32 %29, %11
br i1 %30, label %31, label %17
31: ; preds = %17, %5
%32 = phi i32 [ undef, %5 ], [ %28, %17 ]
%33 = phi i32 [ 1, %5 ], [ %28, %17 ]
%34 = phi i32 [ 0, %5 ], [ %27, %17 ]
%35 = icmp eq i32 %8, 0
br i1 %35, label %43, label %36
36: ; preds = %31, %36
%37 = phi i32 [ %40, %36 ], [ %33, %31 ]
%38 = phi i32 [ %37, %36 ], [ %34, %31 ]
%39 = phi i32 [ %41, %36 ], [ 0, %31 ]
%40 = add nsw i32 %37, %38
%41 = add i32 %39, 1
%42 = icmp eq i32 %41, %8
br i1 %42, label %43, label %36
43: ; preds = %31, %36, %12
%44 = phi i32 [ %16, %12 ], [ %32, %31 ], [ %40, %36 ]
ret i32 %44
}