unsigned long mc_next_power(unsigned long size) {
  if (0 == size) {
    return 0;
  }
  if (0 == (size & (size - 1))) {
    return size;
  }
  size -= 1;
  size |= size >> 1;
  size |= size >> 2;
  size |= size >> 4;
  size |= size >> 8;
  size |= size >> 16;
  size |= size >> 32;
  size += 1;
  return size;
}


x86 assembly (clang, -O0):
<mc_next_power>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
xor    %eax,%eax
cmp    -0x10(%rbp),%rax
jne    1121 <mc_next_power+0x21>
movq   $0x0,-0x8(%rbp)
jmp    11c8 <mc_next_power+0xc8>
mov    -0x10(%rbp),%rcx
mov    -0x10(%rbp),%rax
sub    $0x1,%rax
and    %rax,%rcx
xor    %eax,%eax
cmp    %rcx,%rax
jne    1148 <mc_next_power+0x48>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    11c8 <mc_next_power+0xc8>
mov    -0x10(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x1,%rax
or     -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x2,%rax
or     -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x4,%rax
or     -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x8,%rax
or     -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x10,%rax
or     -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x20,%rax
or     -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mc_next_power>:
test   %rdi,%rdi
je     1151 <mc_next_power+0x51>
mov    %rdi,%rax
lea    -0x1(%rdi),%rcx
test   %rcx,%rdi
je     1150 <mc_next_power+0x50>
mov    %rcx,%rax
shr    %rax
or     %rcx,%rax
mov    %rax,%rcx
shr    $0x2,%rcx
or     %rax,%rcx
mov    %rcx,%rax
shr    $0x4,%rax
or     %rcx,%rax
mov    %rax,%rcx
shr    $0x8,%rcx
or     %rax,%rcx
mov    %rcx,%rdx
shr    $0x10,%rdx
or     %rcx,%rdx
mov    %rdx,%rax
shr    $0x20,%rax
or     %rdx,%rax
add    $0x1,%rax
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i64 @mc_next_power(i64 %0) {
%2 = alloca i64
%3 = alloca i64
store i64 %0, i64* %3
%4 = load i64, i64* %3
%5 = icmp eq i64 0, %4
br i1 %5, label %6, label %7
6: ; preds = %1
store i64 0, i64* %2
br label %45
7: ; preds = %1
%8 = load i64, i64* %3
%9 = load i64, i64* %3
%10 = sub i64 %9, 1
%11 = and i64 %8, %10
%12 = icmp eq i64 0, %11
br i1 %12, label %13, label %15
13: ; preds = %7
%14 = load i64, i64* %3
store i64 %14, i64* %2
br label %45
15: ; preds = %7
%16 = load i64, i64* %3
%17 = sub i64 %16, 1
store i64 %17, i64* %3
%18 = load i64, i64* %3
%19 = lshr i64 %18, 1
%20 = load i64, i64* %3
%21 = or i64 %20, %19
store i64 %21, i64* %3
%22 = load i64, i64* %3
%23 = lshr i64 %22, 2
%24 = load i64, i64* %3
%25 = or i64 %24, %23
store i64 %25, i64* %3
%26 = load i64, i64* %3
%27 = lshr i64 %26, 4
%28 = load i64, i64* %3
%29 = or i64 %28, %27
store i64 %29, i64* %3
%30 = load i64, i64* %3
%31 = lshr i64 %30, 8
%32 = load i64, i64* %3
%33 = or i64 %32, %31
store i64 %33, i64* %3
%34 = load i64, i64* %3
%35 = lshr i64 %34, 16
%36 = load i64, i64* %3
%37 = or i64 %36, %35
store i64 %37, i64* %3
%38 = load i64, i64* %3
%39 = lshr i64 %38, 32
%40 = load i64, i64* %3
%41 = or i64 %40, %39
store i64 %41, i64* %3
%42 = load i64, i64* %3
%43 = add i64 %42, 1
store i64 %43, i64* %3
%44 = load i64, i64* %3
store i64 %44, i64* %2
br label %45
45: ; preds = %15, %13, %6
%46 = load i64, i64* %2
ret i64 %46
}

LLVM IR (-O2):
define i64 @mc_next_power(i64 %0) {
%2 = icmp eq i64 %0, 0
br i1 %2, label %21, label %3
3: ; preds = %1
%4 = add i64 %0, -1
%5 = tail call i64 @llvm.ctpop.i64(i64 %0)
%6 = icmp ult i64 %5, 2
br i1 %6, label %21, label %7
7: ; preds = %3
%8 = lshr i64 %4, 1
%9 = or i64 %8, %4
%10 = lshr i64 %9, 2
%11 = or i64 %10, %9
%12 = lshr i64 %11, 4
%13 = or i64 %12, %11
%14 = lshr i64 %13, 8
%15 = or i64 %14, %13
%16 = lshr i64 %15, 16
%17 = or i64 %16, %15
%18 = lshr i64 %17, 32
%19 = or i64 %18, %17
%20 = add i64 %19, 1
br label %21
21: ; preds = %3, %1, %7
%22 = phi i64 [ %20, %7 ], [ 0, %1 ], [ %0, %3 ]
ret i64 %22
}