unsigned char macro_length(unsigned char *macptr) {
  unsigned char k, nelem, func;
  unsigned char *sp;
  sp = macptr + 1;
  nelem = *sp++;
  for (k = 0; k < nelem; k++) {
    func = *sp & 0x0fu;
    if (func == 4 || func == 5)
      sp += 4;
    else if (func == 7)
      sp += 6;
    else
      sp += 3;
  }
  return (sp - macptr);
}


x86 assembly (clang, -O0):
<macro_length>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%al
mov    %al,-0xa(%rbp)
movb   $0x0,-0x9(%rbp)
movzbl -0x9(%rbp),%eax
movzbl -0xa(%rbp),%ecx
cmp    %ecx,%eax
jge    11b5 <macro_length+0xb5>
mov    -0x18(%rbp),%rax
movzbl (%rax),%eax
and    $0xf,%eax
mov    %al,-0xb(%rbp)
movzbl -0xb(%rbp),%eax
cmp    $0x4,%eax
je     1163 <macro_length+0x63>
movzbl -0xb(%rbp),%eax
cmp    $0x5,%eax
jne    1174 <macro_length+0x74>
mov    -0x18(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x18(%rbp)
jmp    11a3 <macro_length+0xa3>
movzbl -0xb(%rbp),%eax
cmp    $0x7,%eax
jne    1192 <macro_length+0x92>
mov    -0x18(%rbp),%rax
add    $0x6,%rax
mov    %rax,-0x18(%rbp)
jmp    119e <macro_length+0x9e>
mov    -0x18(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x18(%rbp)
jmp    11a3 <macro_length+0xa3>
jmp    11a8 <macro_length+0xa8>
mov    -0x9(%rbp),%al
add    $0x1,%al
mov    %al,-0x9(%rbp)
jmp    112c <macro_length+0x2c>
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%rcx
sub    %rcx,%rax
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<macro_length>:
lea    0x2(%rdi),%rax
mov    0x1(%rdi),%r8b
test   %r8b,%r8b
je     11a9 <macro_length+0xa9>
cmp    $0x1,%r8b
je     117c <macro_length+0x7c>
mov    %r8d,%r9d
and    $0xfe,%r9b
mov    $0x4,%r10d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rax),%ecx
mov    %ecx,%edx
and    $0xe,%dl
and    $0xf,%cl
xor    %esi,%esi
cmp    $0x7,%cl
sete   %sil
cmp    $0x4,%dl
lea    0x3(%rsi,%rsi,2),%rcx
cmove  %r10,%rcx
lea    (%rax,%rcx,1),%rdx
movzbl (%rax,%rcx,1),%eax
mov    %eax,%ecx
and    $0xe,%cl
and    $0xf,%al
xor    %esi,%esi
cmp    $0x7,%al
sete   %sil
cmp    $0x4,%cl
lea    0x3(%rsi,%rsi,2),%rax
cmove  %r10,%rax
add    %rdx,%rax
add    $0xfe,%r9b
jne    1130 <macro_length+0x30>
test   $0x1,%r8b
je     11a9 <macro_length+0xa9>
mov    (%rax),%cl
mov    %ecx,%edx
and    $0xe,%dl
and    $0xf,%cl
xor    %esi,%esi
cmp    $0x7,%cl
sete   %sil
cmp    $0x4,%dl
lea    0x3(%rsi,%rsi,2),%rcx
mov    $0x4,%edx
cmovne %rcx,%rdx
add    %rdx,%rax
sub    %edi,%eax
ret

LLVM IR (-O0):
define zeroext i8 @macro_length(i8* %0) {
%2 = alloca i8*
%3 = alloca i8
%4 = alloca i8
%5 = alloca i8
%6 = alloca i8*
store i8* %0, i8** %2
%7 = load i8*, i8** %2
%8 = getelementptr inbounds i8, i8* %7, i64 1
store i8* %8, i8** %6
%9 = load i8*, i8** %6
%10 = getelementptr inbounds i8, i8* %9, i32 1
store i8* %10, i8** %6
%11 = load i8, i8* %9
store i8 %11, i8* %4
store i8 0, i8* %3
br label %12
12: ; preds = %46, %1
%13 = load i8, i8* %3
%14 = zext i8 %13 to i32
%15 = load i8, i8* %4
%16 = zext i8 %15 to i32
%17 = icmp slt i32 %14, %16
br i1 %17, label %18, label %49
18: ; preds = %12
%19 = load i8*, i8** %6
%20 = load i8, i8* %19
%21 = zext i8 %20 to i32
%22 = and i32 %21, 15
%23 = trunc i32 %22 to i8
store i8 %23, i8* %5
%24 = load i8, i8* %5
%25 = zext i8 %24 to i32
%26 = icmp eq i32 %25, 4
br i1 %26, label %31, label %27
27: ; preds = %18
%28 = load i8, i8* %5
%29 = zext i8 %28 to i32
%30 = icmp eq i32 %29, 5
br i1 %30, label %31, label %34
31: ; preds = %27, %18
%32 = load i8*, i8** %6
%33 = getelementptr inbounds i8, i8* %32, i64 4
store i8* %33, i8** %6
br label %45
34: ; preds = %27
%35 = load i8, i8* %5
%36 = zext i8 %35 to i32
%37 = icmp eq i32 %36, 7
br i1 %37, label %38, label %41
38: ; preds = %34
%39 = load i8*, i8** %6
%40 = getelementptr inbounds i8, i8* %39, i64 6
store i8* %40, i8** %6
br label %44
41: ; preds = %34
%42 = load i8*, i8** %6
%43 = getelementptr inbounds i8, i8* %42, i64 3
store i8* %43, i8** %6
br label %44
44: ; preds = %41, %38
br label %45
45: ; preds = %44, %31
br label %46
46: ; preds = %45
%47 = load i8, i8* %3
%48 = add i8 %47, 1
store i8 %48, i8* %3
br label %12
49: ; preds = %12
%50 = load i8*, i8** %6
%51 = load i8*, i8** %2
%52 = ptrtoint i8* %50 to i64
%53 = ptrtoint i8* %51 to i64
%54 = sub i64 %52, %53
%55 = trunc i64 %54 to i8
ret i8 %55
}

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