void rs_get_field_size(const unsigned char *data, unsigned long *fieldstart,
                       unsigned long *fieldsize) {
  switch (data[1] & 0x0f) {
  case 0x0D:
    if (fieldstart)
      *fieldstart = 3;
    if (fieldsize)
      *fieldsize = data[2];
    break;
  case 0x0E:
    if (fieldstart)
      *fieldstart = 4;
    if (fieldsize)
      *fieldsize = ((data[2] << 8) | data[3]);
    break;
  case 0x0F:
    if (fieldstart)
      *fieldstart = 6;
    if (fieldsize) {
      *fieldsize =
          (((unsigned long)data[2] << 24) | ((unsigned long)data[3] << 16) |
           ((unsigned long)data[4] << 8) | (unsigned long)data[5]);
    }
    break;
  default:
    if (fieldstart)
      *fieldstart = 2;
    if (fieldsize)
      *fieldsize = (data[1] & 0x0f);
    break;
  }
}


x86 assembly (clang, -O0):
<rs_get_field_size>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xf,%eax
mov    %eax,-0x1c(%rbp)
sub    $0xd,%eax
je     114e <rs_get_field_size+0x4e>
jmp    112c <rs_get_field_size+0x2c>
mov    -0x1c(%rbp),%eax
sub    $0xe,%eax
je     1185 <rs_get_field_size+0x85>
jmp    113d <rs_get_field_size+0x3d>
mov    -0x1c(%rbp),%eax
sub    $0xf,%eax
je     11ca <rs_get_field_size+0xca>
jmp    122e <rs_get_field_size+0x12e>
cmpq   $0x0,-0x10(%rbp)
je     1164 <rs_get_field_size+0x64>
mov    -0x10(%rbp),%rax
movq   $0x3,(%rax)
cmpq   $0x0,-0x18(%rbp)
je     1180 <rs_get_field_size+0x80>
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
mov    %eax,%ecx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
jmp    1269 <rs_get_field_size+0x169>
cmpq   $0x0,-0x10(%rbp)
je     119b <rs_get_field_size+0x9b>
mov    -0x10(%rbp),%rax
movq   $0x4,(%rax)
cmpq   $0x0,-0x18(%rbp)
je     11c5 <rs_get_field_size+0xc5>
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
shl    $0x8,%eax
mov    -0x8(%rbp),%rcx
movzbl 0x3(%rcx),%ecx
or     %ecx,%eax
movslq %eax,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
jmp    1269 <rs_get_field_size+0x169>
cmpq   $0x0,-0x10(%rbp)
je     11e0 <rs_get_field_size+0xe0>
mov    -0x10(%rbp),%rax
movq   $0x6,(%rax)
cmpq   $0x0,-0x18(%rbp)
je     1229 <rs_get_field_size+0x129>
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
mov    %eax,%ecx
shl    $0x18,%rcx
mov    -0x8(%rbp),%rax
movzbl 0x3(%rax),%eax
shl    $0x10,%rax
or     %rax,%rcx
mov    -0x8(%rbp),%rax
movzbl 0x4(%rax),%eax
shl    $0x8,%rax
or     %rax,%rcx
mov    -0x8(%rbp),%rax
movzbl 0x5(%rax),%eax
or     %rax,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
jmp    1269 <rs_get_field_size+0x169>
cmpq   $0x0,-0x10(%rbp)
je     1244 <rs_get_field_size+0x144>
mov    -0x10(%rbp),%rax
movq   $0x2,(%rax)
cmpq   $0x0,-0x18(%rbp)
je     1264 <rs_get_field_size+0x164>
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xf,%eax
movslq %eax,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
jmp    1269 <rs_get_field_size+0x169>
pop    %rbp
ret

x86 assembly (clang, -O2):
<rs_get_field_size>:
movzbl 0x1(%rdi),%eax
and    $0xf,%eax
cmp    $0xf,%eax
je     112d <rs_get_field_size+0x2d>
cmp    $0xe,%eax
je     114a <rs_get_field_size+0x4a>
cmp    $0xd,%eax
jne    1168 <rs_get_field_size+0x68>
test   %rsi,%rsi
je     1122 <rs_get_field_size+0x22>
movq   $0x3,(%rsi)
test   %rdx,%rdx
je     1183 <rs_get_field_size+0x83>
movzbl 0x2(%rdi),%eax
jmp    1180 <rs_get_field_size+0x80>
test   %rsi,%rsi
je     1139 <rs_get_field_size+0x39>
movq   $0x6,(%rsi)
test   %rdx,%rdx
je     1183 <rs_get_field_size+0x83>
mov    0x2(%rdi),%eax
shl    $0x20,%rax
bswap  %rax
jmp    1180 <rs_get_field_size+0x80>
test   %rsi,%rsi
je     1156 <rs_get_field_size+0x56>
movq   $0x4,(%rsi)
test   %rdx,%rdx
je     1183 <rs_get_field_size+0x83>
movzwl 0x2(%rdi),%eax
shl    $0x30,%rax
bswap  %rax
jmp    1180 <rs_get_field_size+0x80>
test   %rsi,%rsi
je     1174 <rs_get_field_size+0x74>
movq   $0x2,(%rsi)
test   %rdx,%rdx
je     1183 <rs_get_field_size+0x83>
movzbl 0x1(%rdi),%eax
and    $0xf,%eax
mov    %rax,(%rdx)
ret

LLVM IR (-O0):
define void @rs_get_field_size(i8* %0, i64* %1, i64* %2) {
%4 = alloca i8*
%5 = alloca i64*
%6 = alloca i64*
store i8* %0, i8** %4
store i64* %1, i64** %5
store i64* %2, i64** %6
%7 = load i8*, i8** %4
%8 = getelementptr inbounds i8, i8* %7, i64 1
%9 = load i8, i8* %8
%10 = zext i8 %9 to i32
%11 = and i32 %10, 15
switch i32 %11, label %82 [
i32 13, label %12
i32 14, label %27
i32 15, label %49
]
12: ; preds = %3
%13 = load i64*, i64** %5
%14 = icmp ne i64* %13, null
br i1 %14, label %15, label %17
15: ; preds = %12
%16 = load i64*, i64** %5
store i64 3, i64* %16
br label %17
17: ; preds = %15, %12
%18 = load i64*, i64** %6
%19 = icmp ne i64* %18, null
br i1 %19, label %20, label %26
20: ; preds = %17
%21 = load i8*, i8** %4
%22 = getelementptr inbounds i8, i8* %21, i64 2
%23 = load i8, i8* %22
%24 = zext i8 %23 to i64
%25 = load i64*, i64** %6
store i64 %24, i64* %25
br label %26
26: ; preds = %20, %17
br label %99
27: ; preds = %3
%28 = load i64*, i64** %5
%29 = icmp ne i64* %28, null
br i1 %29, label %30, label %32
30: ; preds = %27
%31 = load i64*, i64** %5
store i64 4, i64* %31
br label %32
32: ; preds = %30, %27
%33 = load i64*, i64** %6
%34 = icmp ne i64* %33, null
br i1 %34, label %35, label %48
35: ; preds = %32
%36 = load i8*, i8** %4
%37 = getelementptr inbounds i8, i8* %36, i64 2
%38 = load i8, i8* %37
%39 = zext i8 %38 to i32
%40 = shl i32 %39, 8
%41 = load i8*, i8** %4
%42 = getelementptr inbounds i8, i8* %41, i64 3
%43 = load i8, i8* %42
%44 = zext i8 %43 to i32
%45 = or i32 %40, %44
%46 = sext i32 %45 to i64
%47 = load i64*, i64** %6
store i64 %46, i64* %47
br label %48
48: ; preds = %35, %32
br label %99
49: ; preds = %3
%50 = load i64*, i64** %5
%51 = icmp ne i64* %50, null
br i1 %51, label %52, label %54
52: ; preds = %49
%53 = load i64*, i64** %5
store i64 6, i64* %53
br label %54
54: ; preds = %52, %49
%55 = load i64*, i64** %6
%56 = icmp ne i64* %55, null
br i1 %56, label %57, label %81
57: ; preds = %54
%58 = load i8*, i8** %4
%59 = getelementptr inbounds i8, i8* %58, i64 2
%60 = load i8, i8* %59
%61 = zext i8 %60 to i64
%62 = shl i64 %61, 24
%63 = load i8*, i8** %4
%64 = getelementptr inbounds i8, i8* %63, i64 3
%65 = load i8, i8* %64
%66 = zext i8 %65 to i64
%67 = shl i64 %66, 16
%68 = or i64 %62, %67
%69 = load i8*, i8** %4
%70 = getelementptr inbounds i8, i8* %69, i64 4
%71 = load i8, i8* %70
%72 = zext i8 %71 to i64
%73 = shl i64 %72, 8
%74 = or i64 %68, %73
%75 = load i8*, i8** %4
%76 = getelementptr inbounds i8, i8* %75, i64 5
%77 = load i8, i8* %76
%78 = zext i8 %77 to i64
%79 = or i64 %74, %78
%80 = load i64*, i64** %6
store i64 %79, i64* %80
br label %81
81: ; preds = %57, %54
br label %99
82: ; preds = %3
%83 = load i64*, i64** %5
%84 = icmp ne i64* %83, null
br i1 %84, label %85, label %87
85: ; preds = %82
%86 = load i64*, i64** %5
store i64 2, i64* %86
br label %87
87: ; preds = %85, %82
%88 = load i64*, i64** %6
%89 = icmp ne i64* %88, null
br i1 %89, label %90, label %98
90: ; preds = %87
%91 = load i8*, i8** %4
%92 = getelementptr inbounds i8, i8* %91, i64 1
%93 = load i8, i8* %92
%94 = zext i8 %93 to i32
%95 = and i32 %94, 15
%96 = sext i32 %95 to i64
%97 = load i64*, i64** %6
store i64 %96, i64* %97
br label %98
98: ; preds = %90, %87
br label %99
99: ; preds = %98, %81, %48, %26
ret void
}

LLVM IR (-O2):
define void @rs_get_field_size(i8* nocapture %0, i64* writeonly %1, i64* writeonly %2) {
%4 = getelementptr inbounds i8, i8* %0, i64 1
%5 = load i8, i8* %4
%6 = and i8 %5, 15
%7 = zext i8 %6 to i32
switch i32 %7, label %55 [
i32 13, label %8
i32 14, label %17
i32 15, label %31
]
8: ; preds = %3
%9 = icmp eq i64* %1, null
br i1 %9, label %11, label %10
10: ; preds = %8
store i64 3, i64* %1
br label %11
11: ; preds = %10, %8
%12 = icmp eq i64* %2, null
br i1 %12, label %66, label %13
13: ; preds = %11
%14 = getelementptr inbounds i8, i8* %0, i64 2
%15 = load i8, i8* %14
%16 = zext i8 %15 to i64
br label %64
17: ; preds = %3
%18 = icmp eq i64* %1, null
br i1 %18, label %20, label %19
19: ; preds = %17
store i64 4, i64* %1
br label %20
20: ; preds = %19, %17
%21 = icmp eq i64* %2, null
br i1 %21, label %66, label %22
22: ; preds = %20
%23 = getelementptr inbounds i8, i8* %0, i64 2
%24 = load i8, i8* %23
%25 = zext i8 %24 to i64
%26 = shl nuw nsw i64 %25, 8
%27 = getelementptr inbounds i8, i8* %0, i64 3
%28 = load i8, i8* %27
%29 = zext i8 %28 to i64
%30 = or i64 %26, %29
br label %64
31: ; preds = %3
%32 = icmp eq i64* %1, null
br i1 %32, label %34, label %33
33: ; preds = %31
store i64 6, i64* %1
br label %34
34: ; preds = %33, %31
%35 = icmp eq i64* %2, null
br i1 %35, label %66, label %36
36: ; preds = %34
%37 = getelementptr inbounds i8, i8* %0, i64 2
%38 = load i8, i8* %37
%39 = zext i8 %38 to i64
%40 = shl nuw nsw i64 %39, 24
%41 = getelementptr inbounds i8, i8* %0, i64 3
%42 = load i8, i8* %41
%43 = zext i8 %42 to i64
%44 = shl nuw nsw i64 %43, 16
%45 = or i64 %44, %40
%46 = getelementptr inbounds i8, i8* %0, i64 4
%47 = load i8, i8* %46
%48 = zext i8 %47 to i64
%49 = shl nuw nsw i64 %48, 8
%50 = or i64 %45, %49
%51 = getelementptr inbounds i8, i8* %0, i64 5
%52 = load i8, i8* %51
%53 = zext i8 %52 to i64
%54 = or i64 %50, %53
br label %64
55: ; preds = %3
%56 = icmp eq i64* %1, null
br i1 %56, label %58, label %57
57: ; preds = %55
store i64 2, i64* %1
br label %58
58: ; preds = %57, %55
%59 = icmp eq i64* %2, null
br i1 %59, label %66, label %60
60: ; preds = %58
%61 = load i8, i8* %4
%62 = and i8 %61, 15
%63 = zext i8 %62 to i64
br label %64
64: ; preds = %13, %22, %36, %60
%65 = phi i64 [ %63, %60 ], [ %54, %36 ], [ %30, %22 ], [ %16, %13 ]
store i64 %65, i64* %2
br label %66
66: ; preds = %64, %58, %34, %20, %11
ret void
}