unsigned int plat_val_to_idx(unsigned int val) {
  unsigned int msb, error_bits, base, offset;
  if (val == 0)
    msb = 0;
  else
    msb = sizeof(val) * 8 - __builtin_clz(val) - 1;
  if (msb <= 8)
    return val;
  error_bits = msb - 8;
  base = (error_bits + 1) << 8;
  offset = ((1 << 8) - 1) & (val >> error_bits);
  return (base + offset) < ((19 * (1 << 8)) - 1) ? (base + offset)
                                                 : ((19 * (1 << 8)) - 1);
}


x86 assembly (clang, -O0):
<plat_val_to_idx>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    111d <plat_val_to_idx+0x1d>
movl   $0x0,-0xc(%rbp)
jmp    1138 <plat_val_to_idx+0x38>
mov    -0x8(%rbp),%eax
bsr    %eax,%eax
xor    $0x1f,%eax
movslq %eax,%rcx
mov    $0x20,%eax
sub    %rcx,%rax
sub    $0x1,%rax
mov    %eax,-0xc(%rbp)
cmpl   $0x8,-0xc(%rbp)
ja     114d <plat_val_to_idx+0x4d>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    11a4 <plat_val_to_idx+0xa4>
mov    -0xc(%rbp),%eax
sub    $0x8,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
shl    $0x8,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    -0x10(%rbp),%ecx
shr    %cl,%eax
and    $0xff,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
cmp    $0x12ff,%eax
jae    1191 <plat_val_to_idx+0x91>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    119e <plat_val_to_idx+0x9e>
mov    $0x12ff,%eax
mov    %eax,-0x1c(%rbp)
jmp    119e <plat_val_to_idx+0x9e>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<plat_val_to_idx>:
test   %edi,%edi
je     1138 <plat_val_to_idx+0x38>
mov    %edi,%eax
bsr    %edi,%edx
cmp    $0x9,%edx
jb     1137 <plat_val_to_idx+0x37>
mov    %edx,%esi
xor    $0x1f,%esi
mov    $0x17,%cl
sub    %sil,%cl
shr    %cl,%eax
shl    $0x8,%edx
movzbl %al,%eax
lea    (%rdx,%rax,1),%ecx
add    $0xfffff900,%ecx
cmp    $0x12ff,%ecx
mov    $0x12ff,%eax
cmovb  %ecx,%eax
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @plat_val_to_idx(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i32 %0, i32* %3
%8 = load i32, i32* %3
%9 = icmp eq i32 %8, 0
br i1 %9, label %10, label %11
10: ; preds = %1
store i32 0, i32* %4
br label %18
11: ; preds = %1
%12 = load i32, i32* %3
%13 = call i32 @llvm.ctlz.i32(i32 %12, i1 true)
%14 = sext i32 %13 to i64
%15 = sub i64 32, %14
%16 = sub i64 %15, 1
%17 = trunc i64 %16 to i32
store i32 %17, i32* %4
br label %18
18: ; preds = %11, %10
%19 = load i32, i32* %4
%20 = icmp ule i32 %19, 8
br i1 %20, label %21, label %23
21: ; preds = %18
%22 = load i32, i32* %3
store i32 %22, i32* %2
br label %44
23: ; preds = %18
%24 = load i32, i32* %4
%25 = sub i32 %24, 8
store i32 %25, i32* %5
%26 = load i32, i32* %5
%27 = add i32 %26, 1
%28 = shl i32 %27, 8
store i32 %28, i32* %6
%29 = load i32, i32* %3
%30 = load i32, i32* %5
%31 = lshr i32 %29, %30
%32 = and i32 255, %31
store i32 %32, i32* %7
%33 = load i32, i32* %6
%34 = load i32, i32* %7
%35 = add i32 %33, %34
%36 = icmp ult i32 %35, 4863
br i1 %36, label %37, label %41
37: ; preds = %23
%38 = load i32, i32* %6
%39 = load i32, i32* %7
%40 = add i32 %38, %39
br label %42
41: ; preds = %23
br label %42
42: ; preds = %41, %37
%43 = phi i32 [ %40, %37 ], [ 4863, %41 ]
store i32 %43, i32* %2
br label %44
44: ; preds = %42, %21
%45 = load i32, i32* %2
ret i32 %45
}

LLVM IR (-O2):
define i32 @plat_val_to_idx(i32 %0) {
%2 = icmp eq i32 %0, 0
br i1 %2, label %16, label %3
3: ; preds = %1
%4 = tail call i32 @llvm.ctlz.i32(i32 %0, i1 true)
%5 = xor i32 %4, 31
%6 = icmp ult i32 %5, 9
br i1 %6, label %16, label %7
7: ; preds = %3
%8 = sub nsw i32 23, %4
%9 = shl nuw nsw i32 %5, 8
%10 = add nsw i32 %9, -1792
%11 = lshr i32 %0, %8
%12 = and i32 %11, 255
%13 = or i32 %10, %12
%14 = icmp ult i32 %13, 4863
%15 = select i1 %14, i32 %13, i32 4863
br label %16
16: ; preds = %1, %3, %7
%17 = phi i32 [ %15, %7 ], [ %0, %3 ], [ 0, %1 ]
ret i32 %17
}