unsigned int LIBTLV_OPT_GETTLVSZ(unsigned int opt, unsigned int t,
                                 unsigned int l, unsigned int *tsz,
                                 unsigned int *lsz) {
  unsigned int ret = (opt & 0x04000000U) ? 0 : l;
  unsigned int len;
  switch (opt & 0x00000003U) {
  case 0:
    len = 1;
    break;
  case 0x00000001U:
    len = 2;
    break;
  case 0x00000002U:
    if (opt & 0x10000000U) {
      len = 4;
    } else if (opt & 0x00000400U) {
      if (t < (1U << 7))
        len = 1;
      else if (t < 0x3F80U)
        len = 2;
      else if (t < 0x1FC000U)
        len = 3;
      else
        len = 4;
    } else {
      if (t < (1U << 7))
        len = 1;
      else if (t < (1U << 14))
        len = 2;
      else if (t < (1U << 21))
        len = 3;
      else
        len = 4;
    }
    break;
  default:
    len = 0;
    break;
  }
  if (tsz) {
    *tsz = len;
  }
  ret += len;
  switch (opt & 0x00000030U) {
  case 0:
    len = 1;
    break;
  case 0x00000010U:
    len = 2;
    break;
  case 0x00000020U:
    if (opt & 0x10000000U)
      len = 4;
    else if (l < (1U << 7))
      len = 1;
    else if (l < (1U << 14))
      len = 2;
    else if (l < (1U << 21))
      len = 3;
    else
      len = 4;
    break;
  default:
    len = 0;
    break;
  }
  if (lsz) {
    *lsz = len;
  }
  ret += len;
  return ret;
}


x86 assembly (clang, -O0):
<LIBTLV_OPT_GETTLVSZ>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    -0x4(%rbp),%eax
and    $0x4000000,%eax
cmp    $0x0,%eax
je     1130 <LIBTLV_OPT_GETTLVSZ+0x30>
xor    %eax,%eax
mov    %eax,-0x2c(%rbp)
jmp    1136 <LIBTLV_OPT_GETTLVSZ+0x36>
mov    -0xc(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x4(%rbp),%eax
and    $0x3,%eax
mov    %eax,-0x30(%rbp)
je     1172 <LIBTLV_OPT_GETTLVSZ+0x72>
jmp    1150 <LIBTLV_OPT_GETTLVSZ+0x50>
mov    -0x30(%rbp),%eax
sub    $0x1,%eax
je     117e <LIBTLV_OPT_GETTLVSZ+0x7e>
jmp    1161 <LIBTLV_OPT_GETTLVSZ+0x61>
mov    -0x30(%rbp),%eax
sub    $0x2,%eax
je     118a <LIBTLV_OPT_GETTLVSZ+0x8a>
jmp    1284 <LIBTLV_OPT_GETTLVSZ+0x184>
movl   $0x1,-0x28(%rbp)
jmp    128b <LIBTLV_OPT_GETTLVSZ+0x18b>
movl   $0x2,-0x28(%rbp)
jmp    128b <LIBTLV_OPT_GETTLVSZ+0x18b>
mov    -0x4(%rbp),%eax
and    $0x10000000,%eax
cmp    $0x0,%eax
je     11a7 <LIBTLV_OPT_GETTLVSZ+0xa7>
movl   $0x4,-0x28(%rbp)
jmp    127f <LIBTLV_OPT_GETTLVSZ+0x17f>
mov    -0x4(%rbp),%eax
and    $0x400,%eax
cmp    $0x0,%eax
je     1219 <LIBTLV_OPT_GETTLVSZ+0x119>
cmpl   $0x80,-0x8(%rbp)
jae    11d1 <LIBTLV_OPT_GETTLVSZ+0xd1>
movl   $0x1,-0x28(%rbp)
jmp    1214 <LIBTLV_OPT_GETTLVSZ+0x114>
cmpl   $0x3f80,-0x8(%rbp)
jae    11ea <LIBTLV_OPT_GETTLVSZ+0xea>
movl   $0x2,-0x28(%rbp)
jmp    120f <LIBTLV_OPT_GETTLVSZ+0x10f>
cmpl   $0x1fc000,-0x8(%rbp)
jae    1203 <LIBTLV_OPT_GETTLVSZ+0x103>
movl   $0x3,-0x28(%rbp)
jmp    120a <LIBTLV_OPT_GETTLVSZ+0x10a>
movl   $0x4,-0x28(%rbp)
jmp    120f <LIBTLV_OPT_GETTLVSZ+0x10f>
jmp    1214 <LIBTLV_OPT_GETTLVSZ+0x114>
jmp    127a <LIBTLV_OPT_GETTLVSZ+0x17a>
cmpl   $0x80,-0x8(%rbp)
jae    1232 <LIBTLV_OPT_GETTLVSZ+0x132>
movl   $0x1,-0x28(%rbp)
jmp    1275 <LIBTLV_OPT_GETTLVSZ+0x175>
cmpl   $0x4000,-0x8(%rbp)
jae    124b <LIBTLV_OPT_GETTLVSZ+0x14b>
movl   $0x2,-0x28(%rbp)
jmp    1270 <LIBTLV_OPT_GETTLVSZ+0x170>
cmpl   $0x200000,-0x8(%rbp)
jae    1264 <LIBTLV_OPT_GETTLVSZ+0x164>
movl   $0x3,-0x28(%rbp)
jmp    126b <LIBTLV_OPT_GETTLVSZ+0x16b>
movl   $0x4,-0x28(%rbp)
jmp    1270 <LIBTLV_OPT_GETTLVSZ+0x170>
jmp    1275 <LIBTLV_OPT_GETTLVSZ+0x175>
jmp    127a <LIBTLV_OPT_GETTLVSZ+0x17a>
jmp    127f <LIBTLV_OPT_GETTLVSZ+0x17f>
jmp    128b <LIBTLV_OPT_GETTLVSZ+0x18b>
movl   $0x0,-0x28(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     129f <LIBTLV_OPT_GETTLVSZ+0x19f>
mov    -0x28(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%ecx
mov    -0x24(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x4(%rbp),%eax
and    $0x30,%eax
mov    %eax,-0x34(%rbp)
je     12e0 <LIBTLV_OPT_GETTLVSZ+0x1e0>
jmp    12be <LIBTLV_OPT_GETTLVSZ+0x1be>
mov    -0x34(%rbp),%eax
sub    $0x10,%eax
je     12ec <LIBTLV_OPT_GETTLVSZ+0x1ec>
jmp    12cf <LIBTLV_OPT_GETTLVSZ+0x1cf>
mov    -0x34(%rbp),%eax
sub    $0x20,%eax
je     12f8 <LIBTLV_OPT_GETTLVSZ+0x1f8>
jmp    137b <LIBTLV_OPT_GETTLVSZ+0x27b>
movl   $0x1,-0x28(%rbp)
jmp    1382 <LIBTLV_OPT_GETTLVSZ+0x282>
movl   $0x2,-0x28(%rbp)
jmp    1382 <LIBTLV_OPT_GETTLVSZ+0x282>
mov    -0x4(%rbp),%eax
and    $0x10000000,%eax
cmp    $0x0,%eax
je     1315 <LIBTLV_OPT_GETTLVSZ+0x215>
movl   $0x4,-0x28(%rbp)
jmp    1376 <LIBTLV_OPT_GETTLVSZ+0x276>
cmpl   $0x80,-0xc(%rbp)
jae    132e <LIBTLV_OPT_GETTLVSZ+0x22e>
movl   $0x1,-0x28(%rbp)
jmp    1371 <LIBTLV_OPT_GETTLVSZ+0x271>
cmpl   $0x4000,-0xc(%rbp)
jae    1347 <LIBTLV_OPT_GETTLVSZ+0x247>
movl   $0x2,-0x28(%rbp)
jmp    136c <LIBTLV_OPT_GETTLVSZ+0x26c>
cmpl   $0x200000,-0xc(%rbp)
jae    1360 <LIBTLV_OPT_GETTLVSZ+0x260>
movl   $0x3,-0x28(%rbp)
jmp    1367 <LIBTLV_OPT_GETTLVSZ+0x267>
movl   $0x4,-0x28(%rbp)
jmp    136c <LIBTLV_OPT_GETTLVSZ+0x26c>
jmp    1371 <LIBTLV_OPT_GETTLVSZ+0x271>
jmp    1376 <LIBTLV_OPT_GETTLVSZ+0x276>
jmp    1382 <LIBTLV_OPT_GETTLVSZ+0x282>
movl   $0x0,-0x28(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     1396 <LIBTLV_OPT_GETTLVSZ+0x296>
mov    -0x28(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<LIBTLV_OPT_GETTLVSZ>:
mov    $0x1,%eax
mov    %edi,%r9d
and    $0x3,%r9d
je     1161 <LIBTLV_OPT_GETTLVSZ+0x61>
cmp    $0x2,%r9d
je     1121 <LIBTLV_OPT_GETTLVSZ+0x21>
cmp    $0x1,%r9d
jne    115f <LIBTLV_OPT_GETTLVSZ+0x5f>
mov    $0x2,%eax
jmp    1161 <LIBTLV_OPT_GETTLVSZ+0x61>
mov    $0x4,%eax
test   $0x10000000,%edi
jne    1161 <LIBTLV_OPT_GETTLVSZ+0x61>
mov    $0x1,%eax
test   $0x400,%edi
jne    11d6 <LIBTLV_OPT_GETTLVSZ+0xd6>
cmp    $0x80,%esi
jb     1161 <LIBTLV_OPT_GETTLVSZ+0x61>
mov    $0x2,%eax
cmp    $0x4000,%esi
jb     1161 <LIBTLV_OPT_GETTLVSZ+0x61>
cmp    $0x200000,%esi
jmp    11f5 <LIBTLV_OPT_GETTLVSZ+0xf5>
xor    %eax,%eax
test   %rcx,%rcx
je     1168 <LIBTLV_OPT_GETTLVSZ+0x68>
mov    %eax,(%rcx)
mov    $0x1,%ecx
mov    %edi,%esi
and    $0x30,%esi
je     11be <LIBTLV_OPT_GETTLVSZ+0xbe>
cmp    $0x20,%esi
je     1185 <LIBTLV_OPT_GETTLVSZ+0x85>
cmp    $0x10,%esi
jne    11bc <LIBTLV_OPT_GETTLVSZ+0xbc>
mov    $0x2,%ecx
jmp    11be <LIBTLV_OPT_GETTLVSZ+0xbe>
mov    $0x4,%ecx
test   $0x10000000,%edi
jne    11be <LIBTLV_OPT_GETTLVSZ+0xbe>
mov    $0x1,%ecx
cmp    $0x80,%edx
jb     11be <LIBTLV_OPT_GETTLVSZ+0xbe>
mov    $0x2,%ecx
cmp    $0x4000,%edx
jb     11be <LIBTLV_OPT_GETTLVSZ+0xbe>
cmp    $0x200000,%edx
mov    $0x4,%ecx
sbb    $0x0,%ecx
jmp    11be <LIBTLV_OPT_GETTLVSZ+0xbe>
xor    %ecx,%ecx
test   %r8,%r8
je     11c6 <LIBTLV_OPT_GETTLVSZ+0xc6>
mov    %ecx,(%r8)
xor    %esi,%esi
test   $0x4000000,%edi
cmove  %edx,%esi
add    %esi,%eax
add    %ecx,%eax
ret
cmp    $0x80,%esi
jb     1161 <LIBTLV_OPT_GETTLVSZ+0x61>
mov    $0x2,%eax
cmp    $0x3f80,%esi
jb     1161 <LIBTLV_OPT_GETTLVSZ+0x61>
cmp    $0x1fc000,%esi
mov    $0x4,%eax
sbb    $0x0,%eax
jmp    1161 <LIBTLV_OPT_GETTLVSZ+0x61>

LLVM IR (-O0):
define i32 @LIBTLV_OPT_GETTLVSZ(i32 %0, i32 %1, i32 %2, i32* %3, i32* %4) {
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32
%12 = alloca i32
store i32 %0, i32* %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32* %3, i32** %9
store i32* %4, i32** %10
%13 = load i32, i32* %6
%14 = and i32 %13, 67108864
%15 = icmp ne i32 %14, 0
br i1 %15, label %16, label %17
16: ; preds = %5
br label %19
17: ; preds = %5
%18 = load i32, i32* %8
br label %19
19: ; preds = %17, %16
%20 = phi i32 [ 0, %16 ], [ %18, %17 ]
store i32 %20, i32* %11
%21 = load i32, i32* %6
%22 = and i32 %21, 3
switch i32 %22, label %68 [
i32 0, label %23
i32 1, label %24
i32 2, label %25
]
23: ; preds = %19
store i32 1, i32* %12
br label %69
24: ; preds = %19
store i32 2, i32* %12
br label %69
25: ; preds = %19
%26 = load i32, i32* %6
%27 = and i32 %26, 268435456
%28 = icmp ne i32 %27, 0
br i1 %28, label %29, label %30
29: ; preds = %25
store i32 4, i32* %12
br label %67
30: ; preds = %25
%31 = load i32, i32* %6
%32 = and i32 %31, 1024
%33 = icmp ne i32 %32, 0
br i1 %33, label %34, label %50
34: ; preds = %30
%35 = load i32, i32* %7
%36 = icmp ult i32 %35, 128
br i1 %36, label %37, label %38
37: ; preds = %34
store i32 1, i32* %12
br label %49
38: ; preds = %34
%39 = load i32, i32* %7
%40 = icmp ult i32 %39, 16256
br i1 %40, label %41, label %42
41: ; preds = %38
store i32 2, i32* %12
br label %48
42: ; preds = %38
%43 = load i32, i32* %7
%44 = icmp ult i32 %43, 2080768
br i1 %44, label %45, label %46
45: ; preds = %42
store i32 3, i32* %12
br label %47
46: ; preds = %42
store i32 4, i32* %12
br label %47
47: ; preds = %46, %45
br label %48
48: ; preds = %47, %41
br label %49
49: ; preds = %48, %37
br label %66
50: ; preds = %30
%51 = load i32, i32* %7
%52 = icmp ult i32 %51, 128
br i1 %52, label %53, label %54
53: ; preds = %50
store i32 1, i32* %12
br label %65
54: ; preds = %50
%55 = load i32, i32* %7
%56 = icmp ult i32 %55, 16384
br i1 %56, label %57, label %58
57: ; preds = %54
store i32 2, i32* %12
br label %64
58: ; preds = %54
%59 = load i32, i32* %7
%60 = icmp ult i32 %59, 2097152
br i1 %60, label %61, label %62
61: ; preds = %58
store i32 3, i32* %12
br label %63
62: ; preds = %58
store i32 4, i32* %12
br label %63
63: ; preds = %62, %61
br label %64
64: ; preds = %63, %57
br label %65
65: ; preds = %64, %53
br label %66
66: ; preds = %65, %49
br label %67
67: ; preds = %66, %29
br label %69
68: ; preds = %19
store i32 0, i32* %12
br label %69
69: ; preds = %68, %67, %24, %23
%70 = load i32*, i32** %9
%71 = icmp ne i32* %70, null
br i1 %71, label %72, label %75
72: ; preds = %69
%73 = load i32, i32* %12
%74 = load i32*, i32** %9
store i32 %73, i32* %74
br label %75
75: ; preds = %72, %69
%76 = load i32, i32* %12
%77 = load i32, i32* %11
%78 = add i32 %77, %76
store i32 %78, i32* %11
%79 = load i32, i32* %6
%80 = and i32 %79, 48
switch i32 %80, label %105 [
i32 0, label %81
i32 16, label %82
i32 32, label %83
]
81: ; preds = %75
store i32 1, i32* %12
br label %106
82: ; preds = %75
store i32 2, i32* %12
br label %106
83: ; preds = %75
%84 = load i32, i32* %6
%85 = and i32 %84, 268435456
%86 = icmp ne i32 %85, 0
br i1 %86, label %87, label %88
87: ; preds = %83
store i32 4, i32* %12
br label %104
88: ; preds = %83
%89 = load i32, i32* %8
%90 = icmp ult i32 %89, 128
br i1 %90, label %91, label %92
91: ; preds = %88
store i32 1, i32* %12
br label %103
92: ; preds = %88
%93 = load i32, i32* %8
%94 = icmp ult i32 %93, 16384
br i1 %94, label %95, label %96
95: ; preds = %92
store i32 2, i32* %12
br label %102
96: ; preds = %92
%97 = load i32, i32* %8
%98 = icmp ult i32 %97, 2097152
br i1 %98, label %99, label %100
99: ; preds = %96
store i32 3, i32* %12
br label %101
100: ; preds = %96
store i32 4, i32* %12
br label %101
101: ; preds = %100, %99
br label %102
102: ; preds = %101, %95
br label %103
103: ; preds = %102, %91
br label %104
104: ; preds = %103, %87
br label %106
105: ; preds = %75
store i32 0, i32* %12
br label %106
106: ; preds = %105, %104, %82, %81
%107 = load i32*, i32** %10
%108 = icmp ne i32* %107, null
br i1 %108, label %109, label %112
109: ; preds = %106
%110 = load i32, i32* %12
%111 = load i32*, i32** %10
store i32 %110, i32* %111
br label %112
112: ; preds = %109, %106
%113 = load i32, i32* %12
%114 = load i32, i32* %11
%115 = add i32 %114, %113
store i32 %115, i32* %11
%116 = load i32, i32* %11
ret i32 %116
}

LLVM IR (-O2):
define i32 @LIBTLV_OPT_GETTLVSZ(i32 %0, i32 %1, i32 %2, i32* writeonly %3, i32* writeonly %4) {
%6 = and i32 %0, 3
switch i32 %6, label %27 [
i32 0, label %28
i32 1, label %7
i32 2, label %8
]
7: ; preds = %5
br label %28
8: ; preds = %5
%9 = and i32 %0, 268435456
%10 = icmp eq i32 %9, 0
br i1 %10, label %11, label %28
11: ; preds = %8
%12 = and i32 %0, 1024
%13 = icmp eq i32 %12, 0
%14 = icmp ult i32 %1, 128
br i1 %13, label %21, label %15
15: ; preds = %11
br i1 %14, label %28, label %16
16: ; preds = %15
%17 = icmp ult i32 %1, 16256
br i1 %17, label %28, label %18
18: ; preds = %16
%19 = icmp ult i32 %1, 2080768
%20 = select i1 %19, i32 3, i32 4
br label %28
21: ; preds = %11
br i1 %14, label %28, label %22
22: ; preds = %21
%23 = icmp ult i32 %1, 16384
br i1 %23, label %28, label %24
24: ; preds = %22
%25 = icmp ult i32 %1, 2097152
%26 = select i1 %25, i32 3, i32 4
br label %28
27: ; preds = %5
br label %28
28: ; preds = %24, %22, %21, %18, %16, %15, %8, %5, %27, %7
%29 = phi i32 [ 0, %27 ], [ 2, %7 ], [ 1, %5 ], [ 4, %8 ], [ 1, %15 ], [ 2, %16 ], [ %20, %18 ], [ 1, %21 ], [ 2, %22 ], [ %26, %24 ]
%30 = icmp eq i32* %3, null
br i1 %30, label %32, label %31
31: ; preds = %28
store i32 %29, i32* %3
br label %32
32: ; preds = %31, %28
%33 = and i32 %0, 48
switch i32 %33, label %45 [
i32 0, label %46
i32 16, label %34
i32 32, label %35
]
34: ; preds = %32
br label %46
35: ; preds = %32
%36 = and i32 %0, 268435456
%37 = icmp eq i32 %36, 0
br i1 %37, label %38, label %46
38: ; preds = %35
%39 = icmp ult i32 %2, 128
br i1 %39, label %46, label %40
40: ; preds = %38
%41 = icmp ult i32 %2, 16384
br i1 %41, label %46, label %42
42: ; preds = %40
%43 = icmp ult i32 %2, 2097152
%44 = select i1 %43, i32 3, i32 4
br label %46
45: ; preds = %32
br label %46
46: ; preds = %42, %40, %38, %35, %32, %45, %34
%47 = phi i32 [ 0, %45 ], [ 2, %34 ], [ 1, %32 ], [ 4, %35 ], [ 1, %38 ], [ 2, %40 ], [ %44, %42 ]
%48 = icmp eq i32* %4, null
br i1 %48, label %50, label %49
49: ; preds = %46
store i32 %47, i32* %4
br label %50
50: ; preds = %49, %46
%51 = and i32 %0, 67108864
%52 = icmp eq i32 %51, 0
%53 = select i1 %52, i32 %2, i32 0
%54 = add i32 %29, %53
%55 = add i32 %54, %47
ret i32 %55
}