int re1_5_sizecode(const char *re) {
  int pc = 5 + 5;
  for (; *re; re++) {
    switch (*re) {
    case '\\':
      re++;
    default:
      pc += 2;
      break;
    case '+':
      if (re[1] == '?')
        re++;
    case '?':
      pc += 2;
      break;
    case '.':
    case '^':
    case '$':
      pc++;
      break;
    case '*':
      if (re[1] == '?')
        re++;
    case '|':
    case '(':
      pc += 4;
      break;
    case ')':
      break;
    case '[': {
      pc += 2;
      re++;
      if (*re == '^')
        re++;
      while (*re != ']') {
        if (!*re)
          return -1;
        if (re[1] == '-') {
          re += 2;
        }
        pc += 2;
        re++;
      }
    }
    }
  }
  return pc;
}


x86 assembly (clang, -O0):
<re1_5_sizecode>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0xa,-0x14(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1287 <re1_5_sizecode+0x187>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
add    $0xffffffdc,%eax
mov    %eax,%ecx
mov    %rcx,-0x20(%rbp)
sub    $0x58,%eax
ja     1155 <re1_5_sizecode+0x55>
mov    -0x20(%rbp),%rax
lea    0xec0(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    1271 <re1_5_sizecode+0x171>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x3f,%eax
jne    1180 <re1_5_sizecode+0x80>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1185 <re1_5_sizecode+0x85>
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    1271 <re1_5_sizecode+0x171>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1271 <re1_5_sizecode+0x171>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x3f,%eax
jne    11be <re1_5_sizecode+0xbe>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    11c3 <re1_5_sizecode+0xc3>
mov    -0x14(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x14(%rbp)
jmp    1271 <re1_5_sizecode+0x171>
jmp    1271 <re1_5_sizecode+0x171>
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5e,%eax
jne    1207 <re1_5_sizecode+0x107>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    120c <re1_5_sizecode+0x10c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
je     126c <re1_5_sizecode+0x16c>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1235 <re1_5_sizecode+0x135>
movl   $0xffffffff,-0x4(%rbp)
jmp    128d <re1_5_sizecode+0x18d>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2d,%eax
jne    1252 <re1_5_sizecode+0x152>
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    120c <re1_5_sizecode+0x10c>
jmp    1271 <re1_5_sizecode+0x171>
jmp    1276 <re1_5_sizecode+0x176>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    110f <re1_5_sizecode+0xf>
mov    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<re1_5_sizecode>:
mov    (%rdi),%dl
mov    $0xa,%eax
test   %dl,%dl
je     11a9 <re1_5_sizecode+0xa9>
lea    0xeea(%rip),%rcx
jmp    112a <re1_5_sizecode+0x2a>
add    $0x1,%rdi
add    $0x2,%eax
mov    0x1(%rdi),%dl
add    $0x1,%rdi
test   %dl,%dl
je     11a9 <re1_5_sizecode+0xa9>
movsbl %dl,%edx
add    $0xffffffdc,%edx
cmp    $0x58,%edx
ja     111c <re1_5_sizecode+0x1c>
movslq (%rcx,%rdx,4),%rdx
add    %rcx,%rdx
jmp    *%rdx
add    $0x1,%eax
jmp    111f <re1_5_sizecode+0x1f>
lea    0x2(%rdi),%rdx
cmpb   $0x5e,0x1(%rdi)
lea    0x1(%rdi),%rdi
cmove  %rdx,%rdi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x2,%eax
movzbl (%rdi),%edx
test   %dl,%dl
je     11a4 <re1_5_sizecode+0xa4>
cmp    $0x5d,%dl
je     111f <re1_5_sizecode+0x1f>
xor    %edx,%edx
cmpb   $0x2d,0x1(%rdi)
sete   %dl
lea    (%rdi,%rdx,2),%rdi
add    $0x1,%rdi
jmp    1160 <re1_5_sizecode+0x60>
lea    0x1(%rdi),%rdx
cmpb   $0x3f,0x1(%rdi)
cmove  %rdx,%rdi
add    $0x4,%eax
jmp    111f <re1_5_sizecode+0x1f>
lea    0x1(%rdi),%rdx
cmpb   $0x3f,0x1(%rdi)
cmove  %rdx,%rdi
jmp    111c <re1_5_sizecode+0x1c>
mov    $0xffffffff,%eax
ret

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

LLVM IR (-O2):
define i32 @re1_5_sizecode(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %56, label %4
4: ; preds = %1, %50
%5 = phi i8 [ %54, %50 ], [ %2, %1 ]
%6 = phi i32 [ %52, %50 ], [ 10, %1 ]
%7 = phi i8* [ %53, %50 ], [ %0, %1 ]
%8 = sext i8 %5 to i32
switch i32 %8, label %11 [
i32 92, label %9
i32 43, label %14
i32 63, label %19
i32 46, label %22
i32 94, label %22
i32 36, label %22
i32 42, label %24
i32 124, label %29
i32 40, label %29
i32 41, label %50
i32 91, label %32
]
9: ; preds = %4
%10 = getelementptr inbounds i8, i8* %7, i64 1
br label %11
11: ; preds = %4, %9
%12 = phi i8* [ %7, %4 ], [ %10, %9 ]
%13 = add nsw i32 %6, 2
br label %50
14: ; preds = %4
%15 = getelementptr inbounds i8, i8* %7, i64 1
%16 = load i8, i8* %15
%17 = icmp eq i8 %16, 63
%18 = select i1 %17, i8* %15, i8* %7
br label %19
19: ; preds = %14, %4
%20 = phi i8* [ %7, %4 ], [ %18, %14 ]
%21 = add nsw i32 %6, 2
br label %50
22: ; preds = %4, %4, %4
%23 = add nsw i32 %6, 1
br label %50
24: ; preds = %4
%25 = getelementptr inbounds i8, i8* %7, i64 1
%26 = load i8, i8* %25
%27 = icmp eq i8 %26, 63
%28 = select i1 %27, i8* %25, i8* %7
br label %29
29: ; preds = %24, %4, %4
%30 = phi i8* [ %7, %4 ], [ %7, %4 ], [ %28, %24 ]
%31 = add nsw i32 %6, 4
br label %50
32: ; preds = %4
%33 = getelementptr inbounds i8, i8* %7, i64 1
%34 = load i8, i8* %33
%35 = icmp eq i8 %34, 94
%36 = getelementptr inbounds i8, i8* %7, i64 2
%37 = select i1 %35, i8* %36, i8* %33
br label %38
38: ; preds = %43, %32
%39 = phi i8* [ %37, %32 ], [ %49, %43 ]
%40 = phi i32 [ %6, %32 ], [ %41, %43 ]
%41 = add nsw i32 %40, 2
%42 = load i8, i8* %39
switch i8 %42, label %43 [
i8 93, label %50
i8 0, label %56
]
43: ; preds = %38
%44 = getelementptr inbounds i8, i8* %39, i64 1
%45 = load i8, i8* %44
%46 = icmp eq i8 %45, 45
%47 = select i1 %46, i64 2, i64 0
%48 = getelementptr i8, i8* %39, i64 1
%49 = getelementptr inbounds i8, i8* %48, i64 %47
br label %38
50: ; preds = %38, %11, %19, %22, %29, %4
%51 = phi i8* [ %12, %11 ], [ %7, %4 ], [ %30, %29 ], [ %7, %22 ], [ %20, %19 ], [ %39, %38 ]
%52 = phi i32 [ %13, %11 ], [ %6, %4 ], [ %31, %29 ], [ %23, %22 ], [ %21, %19 ], [ %41, %38 ]
%53 = getelementptr inbounds i8, i8* %51, i64 1
%54 = load i8, i8* %53
%55 = icmp eq i8 %54, 0
br i1 %55, label %56, label %4
56: ; preds = %50, %38, %1
%57 = phi i32 [ 10, %1 ], [ -1, %38 ], [ %52, %50 ]
ret i32 %57
}