int powerof2(int x) {
  int i;
  for (i = 0; i < 32; i++) {
    if (x & 1) {
      x >>= 1;
      return (x == 0);
    }
    x >>= 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<powerof2>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x20,-0xc(%rbp)
jge    115b <powerof2+0x5b>
mov    -0x8(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1144 <powerof2+0x44>
mov    -0x8(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    1162 <powerof2+0x62>
mov    -0x8(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    110e <powerof2+0xe>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<powerof2>:
mov    $0x20,%eax
cs nopw 0x0(%rax,%rax,1)
nop
test   $0x1,%dil
jne    113f <powerof2+0x3f>
test   $0x2,%dil
jne    1133 <powerof2+0x33>
test   $0x4,%dil
jne    1137 <powerof2+0x37>
test   $0x8,%dil
jne    113c <powerof2+0x3c>
sar    $0x4,%edi
add    $0xfffffffc,%eax
jne    1110 <powerof2+0x10>
xor    %eax,%eax
ret
sar    %edi
jmp    113f <powerof2+0x3f>
sar    $0x2,%edi
jmp    113f <powerof2+0x3f>
sar    $0x3,%edi
xor    %eax,%eax
cmp    $0x2,%edi
setb   %al
ret

LLVM IR (-O0):
define i32 @powerof2(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
store i32 %0, i32* %3
store i32 0, i32* %4
br label %5
5: ; preds = %21, %1
%6 = load i32, i32* %4
%7 = icmp slt i32 %6, 32
br i1 %7, label %8, label %24
8: ; preds = %5
%9 = load i32, i32* %3
%10 = and i32 %9, 1
%11 = icmp ne i32 %10, 0
br i1 %11, label %12, label %18
12: ; preds = %8
%13 = load i32, i32* %3
%14 = ashr i32 %13, 1
store i32 %14, i32* %3
%15 = load i32, i32* %3
%16 = icmp eq i32 %15, 0
%17 = zext i1 %16 to i32
store i32 %17, i32* %2
br label %25
18: ; preds = %8
%19 = load i32, i32* %3
%20 = ashr i32 %19, 1
store i32 %20, i32* %3
br label %21
21: ; preds = %18
%22 = load i32, i32* %4
%23 = add nsw i32 %22, 1
store i32 %23, i32* %4
br label %5
24: ; preds = %5
store i32 0, i32* %2
br label %25
25: ; preds = %24, %12
%26 = load i32, i32* %2
ret i32 %26
}

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