int nlz_long(unsigned long x) {
  unsigned long y;
  int n = 32;
  y = x >> 16;
  if (y) {
    n -= 16;
    x = y;
  }
  y = x >> 8;
  if (y) {
    n -= 8;
    x = y;
  }
  y = x >> 4;
  if (y) {
    n -= 4;
    x = y;
  }
  y = x >> 2;
  if (y) {
    n -= 2;
    x = y;
  }
  y = x >> 1;
  if (y) {
    return n - 2;
  }
  return (int)(n - x);
}


x86 assembly (clang, -O0):
<nlz_long>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x20,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x10,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     1137 <nlz_long+0x37>
mov    -0x1c(%rbp),%eax
sub    $0x10,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     115f <nlz_long+0x5f>
mov    -0x1c(%rbp),%eax
sub    $0x8,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x4,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     1187 <nlz_long+0x87>
mov    -0x1c(%rbp),%eax
sub    $0x4,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x2,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     11af <nlz_long+0xaf>
mov    -0x1c(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     11d4 <nlz_long+0xd4>
mov    -0x1c(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x4(%rbp)
jmp    11df <nlz_long+0xdf>
movslq -0x1c(%rbp),%rax
sub    -0x10(%rbp),%rax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<nlz_long>:
mov    %rdi,%rax
shr    $0x10,%rax
xor    %ecx,%ecx
cmp    $0x10000,%rdi
setb   %cl
cmovb  %rdi,%rax
shl    $0x4,%ecx
lea    0x10(%rcx),%edx
mov    %rax,%rsi
shr    $0x8,%rsi
or     $0x8,%ecx
cmp    $0x100,%rax
cmovb  %rax,%rsi
cmovb  %edx,%ecx
mov    %rsi,%rax
shr    $0x4,%rax
cmp    $0x10,%rsi
cmovb  %rsi,%rax
lea    -0x4(%rcx),%edx
cmovb  %ecx,%edx
mov    %rax,%rcx
shr    $0x2,%rcx
lea    -0x2(%rdx),%esi
cmp    $0x4,%rax
cmovb  %rax,%rcx
cmovb  %edx,%esi
mov    %ecx,%edx
neg    %edx
cmp    $0x2,%rcx
mov    $0xfffffffe,%eax
cmovb  %edx,%eax
add    %esi,%eax
ret

LLVM IR (-O0):
define i32 @nlz_long(i64 %0) {
%2 = alloca i32
%3 = alloca i64
%4 = alloca i64
%5 = alloca i32
store i64 %0, i64* %3
store i32 32, i32* %5
%6 = load i64, i64* %3
%7 = lshr i64 %6, 16
store i64 %7, i64* %4
%8 = load i64, i64* %4
%9 = icmp ne i64 %8, 0
br i1 %9, label %10, label %14
10: ; preds = %1
%11 = load i32, i32* %5
%12 = sub nsw i32 %11, 16
store i32 %12, i32* %5
%13 = load i64, i64* %4
store i64 %13, i64* %3
br label %14
14: ; preds = %10, %1
%15 = load i64, i64* %3
%16 = lshr i64 %15, 8
store i64 %16, i64* %4
%17 = load i64, i64* %4
%18 = icmp ne i64 %17, 0
br i1 %18, label %19, label %23
19: ; preds = %14
%20 = load i32, i32* %5
%21 = sub nsw i32 %20, 8
store i32 %21, i32* %5
%22 = load i64, i64* %4
store i64 %22, i64* %3
br label %23
23: ; preds = %19, %14
%24 = load i64, i64* %3
%25 = lshr i64 %24, 4
store i64 %25, i64* %4
%26 = load i64, i64* %4
%27 = icmp ne i64 %26, 0
br i1 %27, label %28, label %32
28: ; preds = %23
%29 = load i32, i32* %5
%30 = sub nsw i32 %29, 4
store i32 %30, i32* %5
%31 = load i64, i64* %4
store i64 %31, i64* %3
br label %32
32: ; preds = %28, %23
%33 = load i64, i64* %3
%34 = lshr i64 %33, 2
store i64 %34, i64* %4
%35 = load i64, i64* %4
%36 = icmp ne i64 %35, 0
br i1 %36, label %37, label %41
37: ; preds = %32
%38 = load i32, i32* %5
%39 = sub nsw i32 %38, 2
store i32 %39, i32* %5
%40 = load i64, i64* %4
store i64 %40, i64* %3
br label %41
41: ; preds = %37, %32
%42 = load i64, i64* %3
%43 = lshr i64 %42, 1
store i64 %43, i64* %4
%44 = load i64, i64* %4
%45 = icmp ne i64 %44, 0
br i1 %45, label %46, label %49
46: ; preds = %41
%47 = load i32, i32* %5
%48 = sub nsw i32 %47, 2
store i32 %48, i32* %2
br label %55
49: ; preds = %41
%50 = load i32, i32* %5
%51 = sext i32 %50 to i64
%52 = load i64, i64* %3
%53 = sub i64 %51, %52
%54 = trunc i64 %53 to i32
store i32 %54, i32* %2
br label %55
55: ; preds = %49, %46
%56 = load i32, i32* %2
ret i32 %56
}

LLVM IR (-O2):
define i32 @nlz_long(i64 %0) {
%2 = icmp ult i64 %0, 65536
%3 = lshr i64 %0, 16
%4 = select i1 %2, i64 %0, i64 %3
%5 = select i1 %2, i32 32, i32 16
%6 = icmp ult i64 %4, 256
%7 = lshr i64 %4, 8
%8 = add nsw i32 %5, -8
%9 = select i1 %6, i64 %4, i64 %7
%10 = select i1 %6, i32 %5, i32 %8
%11 = icmp ult i64 %9, 16
%12 = lshr i64 %9, 4
%13 = add nsw i32 %10, -4
%14 = select i1 %11, i64 %9, i64 %12
%15 = select i1 %11, i32 %10, i32 %13
%16 = icmp ult i64 %14, 4
%17 = lshr i64 %14, 2
%18 = add nsw i32 %15, -2
%19 = select i1 %16, i64 %14, i64 %17
%20 = select i1 %16, i32 %15, i32 %18
%21 = icmp ult i64 %19, 2
%22 = trunc i64 %19 to i32
%23 = sub i32 0, %22
%24 = select i1 %21, i32 %23, i32 -2
%25 = add i32 %24, %20
ret i32 %25
}