int hbidx_16(unsigned int value) {
  if (value & 0xFF00)
    if (value & 0xF000)
      if (value & 0xC000)
        if (value & 0x8000)
          return 16;
        else
          return 15;
      else if (value & 0x2000)
        return 14;
      else
        return 13;
    else if (value & 0x0C00)
      if (value & 0x0800)
        return 12;
      else
        return 11;
    else if (value & 0x0200)
      return 10;
    else
      return 9;
  else if (value & 0xF0)
    if (value & 0xC0)
      if (value & 0x80)
        return 8;
      else
        return 7;
    else if (value & 0x20)
      return 6;
    else
      return 5;
  else if (value & 0x0C)
    if (value & 0x08)
      return 4;
    else
      return 3;
  else if (value & 0x02)
    return 2;
  else if (value != 0)
    return 1;
  else
    return 0;
}


x86 assembly (clang, -O0):
<hbidx_16>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    -0x8(%rbp),%eax
and    $0xff00,%eax
cmp    $0x0,%eax
je     11ef <hbidx_16+0xef>
mov    -0x8(%rbp),%eax
and    $0xf000,%eax
cmp    $0x0,%eax
je     118c <hbidx_16+0x8c>
mov    -0x8(%rbp),%eax
and    $0xc000,%eax
cmp    $0x0,%eax
je     1163 <hbidx_16+0x63>
mov    -0x8(%rbp),%eax
and    $0x8000,%eax
cmp    $0x0,%eax
je     1157 <hbidx_16+0x57>
movl   $0x10,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
movl   $0xf,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
mov    -0x8(%rbp),%eax
and    $0x2000,%eax
cmp    $0x0,%eax
je     1180 <hbidx_16+0x80>
movl   $0xe,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
movl   $0xd,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
mov    -0x8(%rbp),%eax
and    $0xc00,%eax
cmp    $0x0,%eax
je     11c6 <hbidx_16+0xc6>
mov    -0x8(%rbp),%eax
and    $0x800,%eax
cmp    $0x0,%eax
je     11ba <hbidx_16+0xba>
movl   $0xc,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
movl   $0xb,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
mov    -0x8(%rbp),%eax
and    $0x200,%eax
cmp    $0x0,%eax
je     11e3 <hbidx_16+0xe3>
movl   $0xa,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
movl   $0x9,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
mov    -0x8(%rbp),%eax
and    $0xf0,%eax
cmp    $0x0,%eax
je     1261 <hbidx_16+0x161>
mov    -0x8(%rbp),%eax
and    $0xc0,%eax
cmp    $0x0,%eax
je     123a <hbidx_16+0x13a>
mov    -0x8(%rbp),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     122e <hbidx_16+0x12e>
movl   $0x8,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
movl   $0x7,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
mov    -0x8(%rbp),%eax
and    $0x20,%eax
cmp    $0x0,%eax
je     1255 <hbidx_16+0x155>
movl   $0x6,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
movl   $0x5,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
mov    -0x8(%rbp),%eax
and    $0xc,%eax
cmp    $0x0,%eax
je     1297 <hbidx_16+0x197>
mov    -0x8(%rbp),%eax
and    $0x8,%eax
cmp    $0x0,%eax
je     128b <hbidx_16+0x18b>
movl   $0x4,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
movl   $0x3,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
mov    -0x8(%rbp),%eax
and    $0x2,%eax
cmp    $0x0,%eax
je     12b2 <hbidx_16+0x1b2>
movl   $0x2,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
cmpl   $0x0,-0x8(%rbp)
je     12c8 <hbidx_16+0x1c8>
movl   $0x1,-0x4(%rbp)
jmp    12cf <hbidx_16+0x1cf>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<hbidx_16>:
test   $0xff00,%edi
je     112a <hbidx_16+0x2a>
test   $0xf000,%edi
je     1148 <hbidx_16+0x48>
test   $0xc000,%edi
je     1162 <hbidx_16+0x62>
and    $0x8000,%edi
cmp    $0x1,%edi
mov    $0x10,%eax
sbb    $0x0,%eax
ret
test   $0xf0,%dil
je     1174 <hbidx_16+0x74>
test   $0xc0,%dil
je     1189 <hbidx_16+0x89>
and    $0x80,%edi
cmp    $0x1,%edi
mov    $0x8,%eax
sbb    $0x0,%eax
ret
test   $0xc00,%edi
je     1198 <hbidx_16+0x98>
and    $0x800,%edi
cmp    $0x1,%edi
mov    $0xc,%eax
sbb    $0x0,%eax
ret
and    $0x2000,%edi
cmp    $0x1,%edi
mov    $0xe,%eax
sbb    $0x0,%eax
ret
test   $0xc,%dil
je     11aa <hbidx_16+0xaa>
and    $0x8,%edi
cmp    $0x1,%edi
mov    $0x4,%eax
sbb    $0x0,%eax
ret
and    $0x20,%edi
cmp    $0x1,%edi
mov    $0x6,%eax
sbb    $0x0,%eax
ret
and    $0x200,%edi
cmp    $0x1,%edi
mov    $0xa,%eax
sbb    $0x0,%eax
ret
mov    $0x2,%eax
test   $0x2,%dil
jne    11bc <hbidx_16+0xbc>
xor    %eax,%eax
test   %edi,%edi
setne  %al
ret

LLVM IR (-O0):
define i32 @hbidx_16(i32 %0) {
%2 = alloca i32
%3 = alloca i32
store i32 %0, i32* %3
%4 = load i32, i32* %3
%5 = and i32 %4, 65280
%6 = icmp ne i32 %5, 0
br i1 %6, label %7, label %43
7: ; preds = %1
%8 = load i32, i32* %3
%9 = and i32 %8, 61440
%10 = icmp ne i32 %9, 0
br i1 %10, label %11, label %27
11: ; preds = %7
%12 = load i32, i32* %3
%13 = and i32 %12, 49152
%14 = icmp ne i32 %13, 0
br i1 %14, label %15, label %21
15: ; preds = %11
%16 = load i32, i32* %3
%17 = and i32 %16, 32768
%18 = icmp ne i32 %17, 0
br i1 %18, label %19, label %20
19: ; preds = %15
store i32 16, i32* %2
br label %83
20: ; preds = %15
store i32 15, i32* %2
br label %83
21: ; preds = %11
%22 = load i32, i32* %3
%23 = and i32 %22, 8192
%24 = icmp ne i32 %23, 0
br i1 %24, label %25, label %26
25: ; preds = %21
store i32 14, i32* %2
br label %83
26: ; preds = %21
store i32 13, i32* %2
br label %83
27: ; preds = %7
%28 = load i32, i32* %3
%29 = and i32 %28, 3072
%30 = icmp ne i32 %29, 0
br i1 %30, label %31, label %37
31: ; preds = %27
%32 = load i32, i32* %3
%33 = and i32 %32, 2048
%34 = icmp ne i32 %33, 0
br i1 %34, label %35, label %36
35: ; preds = %31
store i32 12, i32* %2
br label %83
36: ; preds = %31
store i32 11, i32* %2
br label %83
37: ; preds = %27
%38 = load i32, i32* %3
%39 = and i32 %38, 512
%40 = icmp ne i32 %39, 0
br i1 %40, label %41, label %42
41: ; preds = %37
store i32 10, i32* %2
br label %83
42: ; preds = %37
store i32 9, i32* %2
br label %83
43: ; preds = %1
%44 = load i32, i32* %3
%45 = and i32 %44, 240
%46 = icmp ne i32 %45, 0
br i1 %46, label %47, label %63
47: ; preds = %43
%48 = load i32, i32* %3
%49 = and i32 %48, 192
%50 = icmp ne i32 %49, 0
br i1 %50, label %51, label %57
51: ; preds = %47
%52 = load i32, i32* %3
%53 = and i32 %52, 128
%54 = icmp ne i32 %53, 0
br i1 %54, label %55, label %56
55: ; preds = %51
store i32 8, i32* %2
br label %83
56: ; preds = %51
store i32 7, i32* %2
br label %83
57: ; preds = %47
%58 = load i32, i32* %3
%59 = and i32 %58, 32
%60 = icmp ne i32 %59, 0
br i1 %60, label %61, label %62
61: ; preds = %57
store i32 6, i32* %2
br label %83
62: ; preds = %57
store i32 5, i32* %2
br label %83
63: ; preds = %43
%64 = load i32, i32* %3
%65 = and i32 %64, 12
%66 = icmp ne i32 %65, 0
br i1 %66, label %67, label %73
67: ; preds = %63
%68 = load i32, i32* %3
%69 = and i32 %68, 8
%70 = icmp ne i32 %69, 0
br i1 %70, label %71, label %72
71: ; preds = %67
store i32 4, i32* %2
br label %83
72: ; preds = %67
store i32 3, i32* %2
br label %83
73: ; preds = %63
%74 = load i32, i32* %3
%75 = and i32 %74, 2
%76 = icmp ne i32 %75, 0
br i1 %76, label %77, label %78
77: ; preds = %73
store i32 2, i32* %2
br label %83
78: ; preds = %73
%79 = load i32, i32* %3
%80 = icmp ne i32 %79, 0
br i1 %80, label %81, label %82
81: ; preds = %78
store i32 1, i32* %2
br label %83
82: ; preds = %78
store i32 0, i32* %2
br label %83
83: ; preds = %82, %81, %77, %72, %71, %62, %61, %56, %55, %42, %41, %36, %35, %26, %25, %20, %19
%84 = load i32, i32* %2
ret i32 %84
}

LLVM IR (-O2):
define i32 @hbidx_16(i32 %0) {
%2 = and i32 %0, 65280
%3 = icmp eq i32 %2, 0
br i1 %3, label %29, label %4
4: ; preds = %1
%5 = and i32 %0, 61440
%6 = icmp eq i32 %5, 0
br i1 %6, label %18, label %7
7: ; preds = %4
%8 = and i32 %0, 49152
%9 = icmp eq i32 %8, 0
br i1 %9, label %14, label %10
10: ; preds = %7
%11 = and i32 %0, 32768
%12 = icmp eq i32 %11, 0
%13 = select i1 %12, i32 15, i32 16
br label %56
14: ; preds = %7
%15 = and i32 %0, 8192
%16 = icmp eq i32 %15, 0
%17 = select i1 %16, i32 13, i32 14
br label %56
18: ; preds = %4
%19 = and i32 %0, 3072
%20 = icmp eq i32 %19, 0
br i1 %20, label %25, label %21
21: ; preds = %18
%22 = and i32 %0, 2048
%23 = icmp eq i32 %22, 0
%24 = select i1 %23, i32 11, i32 12
br label %56
25: ; preds = %18
%26 = and i32 %0, 512
%27 = icmp eq i32 %26, 0
%28 = select i1 %27, i32 9, i32 10
br label %56
29: ; preds = %1
%30 = and i32 %0, 240
%31 = icmp eq i32 %30, 0
br i1 %31, label %43, label %32
32: ; preds = %29
%33 = and i32 %0, 192
%34 = icmp eq i32 %33, 0
br i1 %34, label %39, label %35
35: ; preds = %32
%36 = and i32 %0, 128
%37 = icmp eq i32 %36, 0
%38 = select i1 %37, i32 7, i32 8
br label %56
39: ; preds = %32
%40 = and i32 %0, 32
%41 = icmp eq i32 %40, 0
%42 = select i1 %41, i32 5, i32 6
br label %56
43: ; preds = %29
%44 = and i32 %0, 12
%45 = icmp eq i32 %44, 0
br i1 %45, label %50, label %46
46: ; preds = %43
%47 = and i32 %0, 8
%48 = icmp eq i32 %47, 0
%49 = select i1 %48, i32 3, i32 4
br label %56
50: ; preds = %43
%51 = and i32 %0, 2
%52 = icmp eq i32 %51, 0
br i1 %52, label %53, label %56
53: ; preds = %50
%54 = icmp ne i32 %0, 0
%55 = zext i1 %54 to i32
br label %56
56: ; preds = %53, %50, %46, %39, %35, %25, %21, %14, %10
%57 = phi i32 [ %13, %10 ], [ %17, %14 ], [ %24, %21 ], [ %28, %25 ], [ %38, %35 ], [ %42, %39 ], [ %49, %46 ], [ 2, %50 ], [ %55, %53 ]
ret i32 %57
}