int fastlog2(int n) {
  int num_bits, power = 0;
  if ((n < 2) || (n % 2 != 0))
    return (0);
  num_bits = sizeof(int) * 8;
  while (power <= num_bits) {
    n >>= 1;
    power += 1;
    if (n & 0x01) {
      if (n > 1)
        return (0);
      else
        return (power);
    }
  }
  return (0);
}


x86 assembly (clang, -O0):
<fastlog2>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
movl   $0x0,-0x10(%rbp)
cmpl   $0x2,-0x8(%rbp)
jl     112c <fastlog2+0x2c>
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1138 <fastlog2+0x38>
movl   $0x0,-0x4(%rbp)
jmp    1199 <fastlog2+0x99>
movl   $0x20,-0xc(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1192 <fastlog2+0x92>
mov    -0x8(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     118d <fastlog2+0x8d>
cmpl   $0x1,-0x8(%rbp)
jle    1182 <fastlog2+0x82>
movl   $0x0,-0x4(%rbp)
jmp    1199 <fastlog2+0x99>
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1199 <fastlog2+0x99>
jmp    113f <fastlog2+0x3f>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<fastlog2>:
xor    %eax,%eax
cmp    $0x2,%edi
jl     1138 <fastlog2+0x38>
mov    %edi,%ecx
and    $0x1,%ecx
jne    1138 <fastlog2+0x38>
xor    %ecx,%ecx
mov    %edi,%edx
test   $0x2,%dl
jne    112d <fastlog2+0x2d>
cmp    $0x20,%ecx
je     1139 <fastlog2+0x39>
mov    %edx,%edi
sar    $0x2,%edi
add    $0x2,%ecx
test   $0x4,%dl
je     1110 <fastlog2+0x10>
sar    %edx
jmp    1130 <fastlog2+0x30>
add    $0x1,%ecx
xor    %eax,%eax
cmp    $0x4,%edx
cmovl  %ecx,%eax
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @fastlog2(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
store i32 %0, i32* %3
store i32 0, i32* %5
%6 = load i32, i32* %3
%7 = icmp slt i32 %6, 2
br i1 %7, label %12, label %8
8: ; preds = %1
%9 = load i32, i32* %3
%10 = srem i32 %9, 2
%11 = icmp ne i32 %10, 0
br i1 %11, label %12, label %13
12: ; preds = %8, %1
store i32 0, i32* %2
br label %34
13: ; preds = %8
store i32 32, i32* %4
br label %14
14: ; preds = %32, %13
%15 = load i32, i32* %5
%16 = load i32, i32* %4
%17 = icmp sle i32 %15, %16
br i1 %17, label %18, label %33
18: ; preds = %14
%19 = load i32, i32* %3
%20 = ashr i32 %19, 1
store i32 %20, i32* %3
%21 = load i32, i32* %5
%22 = add nsw i32 %21, 1
store i32 %22, i32* %5
%23 = load i32, i32* %3
%24 = and i32 %23, 1
%25 = icmp ne i32 %24, 0
br i1 %25, label %26, label %32
26: ; preds = %18
%27 = load i32, i32* %3
%28 = icmp sgt i32 %27, 1
br i1 %28, label %29, label %30
29: ; preds = %26
store i32 0, i32* %2
br label %34
30: ; preds = %26
%31 = load i32, i32* %5
store i32 %31, i32* %2
br label %34
32: ; preds = %18
br label %14
33: ; preds = %14
store i32 0, i32* %2
br label %34
34: ; preds = %33, %30, %29, %12
%35 = load i32, i32* %2
ret i32 %35
}

LLVM IR (-O2):
define i32 @fastlog2(i32 %0) {
%2 = icmp sgt i32 %0, 1
%3 = and i32 %0, 1
%4 = icmp eq i32 %3, 0
%5 = and i1 %2, %4
br i1 %5, label %6, label %26
6: ; preds = %1, %14
%7 = phi i32 [ %15, %14 ], [ %0, %1 ]
%8 = phi i32 [ %16, %14 ], [ 0, %1 ]
%9 = or i32 %8, 1
%10 = and i32 %7, 2
%11 = icmp eq i32 %10, 0
br i1 %11, label %12, label %21
12: ; preds = %6
%13 = icmp eq i32 %9, 33
br i1 %13, label %26, label %14
14: ; preds = %12
%15 = ashr i32 %7, 2
%16 = add nuw nsw i32 %8, 2
%17 = and i32 %7, 4
%18 = icmp eq i32 %17, 0
br i1 %18, label %6, label %19
19: ; preds = %14
%20 = ashr i32 %7, 1
br label %21
21: ; preds = %6, %19
%22 = phi i32 [ %16, %19 ], [ %9, %6 ]
%23 = phi i32 [ %20, %19 ], [ %7, %6 ]
%24 = icmp sgt i32 %23, 3
%25 = select i1 %24, i32 0, i32 %22
br label %26
26: ; preds = %12, %21, %1
%27 = phi i32 [ 0, %1 ], [ %25, %21 ], [ 0, %12 ]
ret i32 %27
}