int asn1_get_len(unsigned char **p, const unsigned char *end, int *len) {
  if ((end - *p) < 1)
    return (0x0014);
  if ((**p & 0x80) == 0)
    *len = *(*p)++;
  else {
    switch (**p & 0x7F) {
    case 1:
      if ((end - *p) < 2)
        return (0x0014);
      *len = (*p)[1];
      (*p) += 2;
      break;
    case 2:
      if ((end - *p) < 3)
        return (0x0014);
      *len = ((*p)[1] << 8) | (*p)[2];
      (*p) += 3;
      break;
    default:
      return (0x0018);
      break;
    }
  }
  if (*len > (int)(end - *p))
    return (0x0014);
  return (0);
}


x86 assembly (clang, -O0):
<asn1_get_len>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%rcx
sub    %rcx,%rax
cmp    $0x1,%rax
jge    1134 <asn1_get_len+0x34>
movl   $0x14,-0x4(%rbp)
jmp    127a <asn1_get_len+0x17a>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movzbl (%rax),%eax
and    $0x80,%eax
cmp    $0x0,%eax
jne    116b <asn1_get_len+0x6b>
mov    -0x10(%rbp),%rcx
mov    (%rcx),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,(%rcx)
movzbl (%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
jmp    124b <asn1_get_len+0x14b>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movzbl (%rax),%eax
and    $0x7f,%eax
mov    %eax,-0x24(%rbp)
sub    $0x1,%eax
je     119a <asn1_get_len+0x9a>
jmp    1189 <asn1_get_len+0x89>
mov    -0x24(%rbp),%eax
sub    $0x2,%eax
je     11e2 <asn1_get_len+0xe2>
jmp    123a <asn1_get_len+0x13a>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%rcx
sub    %rcx,%rax
cmp    $0x2,%rax
jge    11be <asn1_get_len+0xbe>
movl   $0x14,-0x4(%rbp)
jmp    127a <asn1_get_len+0x17a>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movzbl 0x1(%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0x2,%rcx
mov    %rcx,(%rax)
jmp    1246 <asn1_get_len+0x146>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%rcx
sub    %rcx,%rax
cmp    $0x3,%rax
jge    1206 <asn1_get_len+0x106>
movl   $0x14,-0x4(%rbp)
jmp    127a <asn1_get_len+0x17a>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movzbl 0x1(%rax),%ecx
shl    $0x8,%ecx
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movzbl 0x2(%rax),%eax
or     %eax,%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0x3,%rcx
mov    %rcx,(%rax)
jmp    1246 <asn1_get_len+0x146>
movl   $0x18,-0x4(%rbp)
jmp    127a <asn1_get_len+0x17a>
jmp    124b <asn1_get_len+0x14b>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    -0x18(%rbp),%rcx
mov    -0x10(%rbp),%rdx
mov    (%rdx),%rdx
sub    %rdx,%rcx
cmp    %ecx,%eax
jle    1273 <asn1_get_len+0x173>
movl   $0x14,-0x4(%rbp)
jmp    127a <asn1_get_len+0x17a>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<asn1_get_len>:
mov    (%rdi),%r8
mov    %rsi,%rcx
sub    %r8,%rcx
mov    $0x14,%eax
test   %rcx,%rcx
jle    1183 <asn1_get_len+0x83>
movzbl (%r8),%r9d
test   $0x80,%r9b
jne    112c <asn1_get_len+0x2c>
lea    0x1(%r8),%rcx
mov    %rcx,(%rdi)
movzbl (%r8),%eax
mov    %eax,(%rdx)
jmp    1175 <asn1_get_len+0x75>
and    $0x7f,%r9d
cmp    $0x2,%r9d
je     1159 <asn1_get_len+0x59>
mov    $0x18,%eax
cmp    $0x1,%r9d
jne    1183 <asn1_get_len+0x83>
mov    $0x14,%eax
cmp    $0x2,%rcx
jb     1183 <asn1_get_len+0x83>
movzbl 0x1(%r8),%eax
mov    %eax,(%rdx)
add    $0x2,%r8
jmp    116f <asn1_get_len+0x6f>
cmp    $0x3,%rcx
jb     1183 <asn1_get_len+0x83>
movzwl 0x1(%r8),%eax
shl    $0x10,%eax
bswap  %eax
mov    %eax,(%rdx)
add    $0x3,%r8
mov    %r8,(%rdi)
mov    %r8,%rcx
sub    %ecx,%esi
xor    %ecx,%ecx
cmp    %esi,%eax
mov    $0x14,%eax
cmovle %ecx,%eax
ret

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

LLVM IR (-O2):
define i32 @asn1_get_len(i8** nocapture %0, i8* %1, i32* nocapture %2) {
%4 = load i8*, i8** %0
%5 = ptrtoint i8* %1 to i64
%6 = ptrtoint i8* %4 to i64
%7 = sub i64 %5, %6
%8 = icmp slt i64 %7, 1
br i1 %8, label %47, label %9
9: ; preds = %3
%10 = load i8, i8* %4
%11 = zext i8 %10 to i32
%12 = and i32 %11, 128
%13 = icmp eq i32 %12, 0
br i1 %13, label %14, label %18
14: ; preds = %9
%15 = getelementptr inbounds i8, i8* %4, i64 1
store i8* %15, i8** %0
%16 = load i8, i8* %4
%17 = zext i8 %16 to i32
store i32 %17, i32* %2
br label %39
18: ; preds = %9
%19 = and i32 %11, 127
switch i32 %19, label %47 [
i32 1, label %20
i32 2, label %27
]
20: ; preds = %18
%21 = icmp ult i64 %7, 2
br i1 %21, label %47, label %22
22: ; preds = %20
%23 = getelementptr inbounds i8, i8* %4, i64 1
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
store i32 %25, i32* %2
%26 = getelementptr inbounds i8, i8* %4, i64 2
store i8* %26, i8** %0
br label %39
27: ; preds = %18
%28 = icmp ult i64 %7, 3
br i1 %28, label %47, label %29
29: ; preds = %27
%30 = getelementptr inbounds i8, i8* %4, i64 1
%31 = load i8, i8* %30
%32 = zext i8 %31 to i32
%33 = shl nuw nsw i32 %32, 8
%34 = getelementptr inbounds i8, i8* %4, i64 2
%35 = load i8, i8* %34
%36 = zext i8 %35 to i32
%37 = or i32 %33, %36
store i32 %37, i32* %2
%38 = getelementptr inbounds i8, i8* %4, i64 3
store i8* %38, i8** %0
br label %39
39: ; preds = %22, %29, %14
%40 = phi i8* [ %26, %22 ], [ %38, %29 ], [ %15, %14 ]
%41 = phi i32 [ %25, %22 ], [ %37, %29 ], [ %17, %14 ]
%42 = ptrtoint i8* %40 to i64
%43 = sub i64 %5, %42
%44 = trunc i64 %43 to i32
%45 = icmp sgt i32 %41, %44
%46 = select i1 %45, i32 20, i32 0
br label %47
47: ; preds = %39, %18, %27, %20, %3
%48 = phi i32 [ 20, %3 ], [ 20, %20 ], [ 20, %27 ], [ 24, %18 ], [ %46, %39 ]
ret i32 %48
}