const char *parse_char_class(const char *p) {
  char c, d;
  if (*p == '^')
    ++p;
  if (*p == ']')
    ++p;
  for (; *p != ']' && *p != '\n'; ++p)
    if (*p == '[' && ((d = p[1]) == '.' || d == ':' || d == '='))
      for (++p, c = *++p; *p != ']' || c != d; ++p)
        if ((c = *p) == '\n')
          return 0;
  return ((*p == ']') ? p : 0);
}


x86 assembly (clang, -O0):
<parse_char_class>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5e,%eax
jne    1124 <parse_char_class+0x24>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
jne    1140 <parse_char_class+0x40>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1145 <parse_char_class+0x45>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x5d,%ecx
mov    %al,-0x13(%rbp)
je     116a <parse_char_class+0x6a>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0xa,%eax
setne  %al
mov    %al,-0x13(%rbp)
mov    -0x13(%rbp),%al
test   $0x1,%al
jne    117a <parse_char_class+0x7a>
jmp    1263 <parse_char_class+0x163>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5b,%eax
jne    124d <parse_char_class+0x14d>
mov    -0x10(%rbp),%rax
mov    0x1(%rax),%al
mov    %al,-0x12(%rbp)
movsbl %al,%eax
cmp    $0x2e,%eax
je     11ba <parse_char_class+0xba>
movsbl -0x12(%rbp),%eax
cmp    $0x3a,%eax
je     11ba <parse_char_class+0xba>
movsbl -0x12(%rbp),%eax
cmp    $0x3d,%eax
jne    124d <parse_char_class+0x14d>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x11(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x5d,%ecx
mov    %al,-0x14(%rbp)
jne    1200 <parse_char_class+0x100>
movsbl -0x11(%rbp),%eax
movsbl -0x12(%rbp),%ecx
cmp    %ecx,%eax
setne  %al
mov    %al,-0x14(%rbp)
mov    -0x14(%rbp),%al
test   $0x1,%al
jne    1210 <parse_char_class+0x110>
jmp    1248 <parse_char_class+0x148>
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x11(%rbp)
movsbl %al,%eax
cmp    $0xa,%eax
jne    1232 <parse_char_class+0x132>
movq   $0x0,-0x8(%rbp)
jmp    1293 <parse_char_class+0x193>
jmp    1237 <parse_char_class+0x137>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    11db <parse_char_class+0xdb>
jmp    124d <parse_char_class+0x14d>
jmp    1252 <parse_char_class+0x152>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1145 <parse_char_class+0x45>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
jne    1280 <parse_char_class+0x180>
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    128b <parse_char_class+0x18b>
xor    %eax,%eax
mov    %rax,-0x20(%rbp)
jmp    128b <parse_char_class+0x18b>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<parse_char_class>:
xor    %eax,%eax
cmpb   $0x5e,(%rdi)
sete   %al
xor    %esi,%esi
cmpb   $0x5d,(%rdi,%rax,1)
sete   %sil
add    %rdi,%rsi
add    %rax,%rsi
movabs $0x2400400000000000,%r8
xor    %eax,%eax
jmp    1134 <parse_char_class+0x34>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%rsi
mov    (%rsi),%cl
cmp    $0x5b,%cl
je     1150 <parse_char_class+0x50>
cmp    $0xa,%cl
je     118b <parse_char_class+0x8b>
cmp    $0x5d,%cl
jne    1130 <parse_char_class+0x30>
jmp    118b <parse_char_class+0x8b>
nopw   0x0(%rax,%rax,1)
movzbl 0x1(%rsi),%edi
cmp    $0x3d,%rdi
ja     1130 <parse_char_class+0x30>
bt     %rdi,%r8
jae    1130 <parse_char_class+0x30>
mov    0x2(%rsi),%cl
add    $0x2,%rsi
nopw   0x0(%rax,%rax,1)
cmp    $0xa,%cl
je     1194 <parse_char_class+0x94>
mov    %ecx,%edx
movzbl 0x1(%rsi),%ecx
add    $0x1,%rsi
cmp    $0x5d,%cl
jne    1170 <parse_char_class+0x70>
cmp    %dil,%dl
jne    1170 <parse_char_class+0x70>
jmp    1130 <parse_char_class+0x30>
xor    %eax,%eax
cmp    $0x5d,%cl
cmove  %rsi,%rax
ret

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

LLVM IR (-O2):
define i8* @parse_char_class(i8* %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 94
%4 = zext i1 %3 to i64
%5 = getelementptr i8, i8* %0, i64 %4
%6 = load i8, i8* %5
%7 = icmp eq i8 %6, 93
%8 = zext i1 %7 to i64
%9 = getelementptr i8, i8* %5, i64 %8
br label %10
10: ; preds = %29, %1
%11 = phi i8* [ %9, %1 ], [ %31, %29 ]
%12 = load i8, i8* %11
switch i8 %12, label %29 [
i8 93, label %32
i8 10, label %32
i8 91, label %13
]
13: ; preds = %10
%14 = getelementptr inbounds i8, i8* %11, i64 1
%15 = load i8, i8* %14
switch i8 %15, label %29 [
i8 61, label %16
i8 58, label %16
i8 46, label %16
]
16: ; preds = %13, %13, %13
%17 = getelementptr inbounds i8, i8* %11, i64 2
%18 = load i8, i8* %17
br label %19
19: ; preds = %16, %23
%20 = phi i8* [ %24, %23 ], [ %17, %16 ]
%21 = phi i8 [ %25, %23 ], [ %18, %16 ]
%22 = icmp eq i8 %21, 10
br i1 %22, label %35, label %23
23: ; preds = %19
%24 = getelementptr inbounds i8, i8* %20, i64 1
%25 = load i8, i8* %24
%26 = icmp ne i8 %25, 93
%27 = icmp ne i8 %21, %15
%28 = select i1 %26, i1 true, i1 %27
br i1 %28, label %19, label %29
29: ; preds = %23, %13, %10
%30 = phi i8* [ %11, %13 ], [ %11, %10 ], [ %24, %23 ]
%31 = getelementptr inbounds i8, i8* %30, i64 1
br label %10
32: ; preds = %10, %10
%33 = icmp eq i8 %12, 93
%34 = select i1 %33, i8* %11, i8* null
br label %35
35: ; preds = %19, %32
%36 = phi i8* [ %34, %32 ], [ null, %19 ]
ret i8* %36
}