int match(register char *s, register char *p) {
  register scc;
  int c, yes;
  yes = 1;
  if (*p == '^') {
    yes = 0;
    ++p;
  }
  for (;;) {
    scc = *s++ & 0377;
    switch (c = *p++) {
    default:
      if ((c & 0377) != scc)
        return (!yes);
      continue;
    case 0:
      return (scc == 0 ? yes : !yes);
    case '?':
      if (scc == 0)
        return (!yes);
      continue;
    case '*':
      if (!*p)
        return (yes);
      for (--s; *s; ++s)
        if (match(s, p))
          return (yes);
      return (!yes);
    case '[': {
      int ok, lc, good;
      lc = 077777;
      good = 1;
      if (*p == '^') {
        good = 0;
        ++p;
      }
      ok = !good;
      for (;;) {
        int cc;
        cc = *p++;
        if (cc == 0)
          return (!yes);
        if (cc == ']')
          break;
        if (cc == '-') {
          if (lc <= scc && scc <= *p++)
            ok = good;
        } else if (scc == (lc = cc))
          ok = good;
      }
      if (!ok)
        return (!yes);
      continue;
    }
    }
  }
}


x86 assembly (clang, -O0):
<match>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x1,-0x24(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5e,%eax
jne    114a <match+0x3a>
movl   $0x0,-0x24(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    114f <match+0x3f>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl (%rax),%eax
mov    %eax,-0x38(%rbp)
mov    %eax,-0x20(%rbp)
test   %eax,%eax
je     11e8 <match+0xd8>
jmp    1189 <match+0x79>
mov    -0x38(%rbp),%eax
sub    $0x2a,%eax
je     123e <match+0x12e>
jmp    119a <match+0x8a>
mov    -0x38(%rbp),%eax
sub    $0x3f,%eax
je     1219 <match+0x109>
jmp    11ab <match+0x9b>
mov    -0x38(%rbp),%eax
sub    $0x5b,%eax
je     12bc <match+0x1ac>
jmp    11bc <match+0xac>
mov    -0x20(%rbp),%eax
and    $0xff,%eax
cmp    -0x1c(%rbp),%eax
je     11e3 <match+0xd3>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    13c6 <match+0x2b6>
jmp    114f <match+0x3f>
cmpl   $0x0,-0x1c(%rbp)
jne    11fd <match+0xed>
mov    -0x24(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    120e <match+0xfe>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13c6 <match+0x2b6>
cmpl   $0x0,-0x1c(%rbp)
jne    1239 <match+0x129>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    13c6 <match+0x2b6>
jmp    114f <match+0x3f>
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1256 <match+0x146>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13c6 <match+0x2b6>
mov    -0x10(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     12a6 <match+0x196>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <match@plt>
cmp    $0x0,%eax
je     1290 <match+0x180>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13c6 <match+0x2b6>
jmp    1295 <match+0x185>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1262 <match+0x152>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    13c6 <match+0x2b6>
movl   $0x7fff,-0x2c(%rbp)
movl   $0x1,-0x30(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5e,%eax
jne    12ed <match+0x1dd>
movl   $0x0,-0x30(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
cmpl   $0x0,-0x30(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl (%rax),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jne    1333 <match+0x223>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    13c6 <match+0x2b6>
cmpl   $0x5d,-0x34(%rbp)
jne    1342 <match+0x232>
jmp    13a1 <match+0x291>
cmpl   $0x2d,-0x34(%rbp)
jne    1380 <match+0x270>
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     137b <match+0x26b>
mov    -0x1c(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jg     137b <match+0x26b>
mov    -0x30(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    139c <match+0x28c>
mov    -0x1c(%rbp),%eax
mov    -0x34(%rbp),%ecx
mov    %ecx,-0x2c(%rbp)
cmp    %ecx,%eax
jne    1397 <match+0x287>
mov    -0x30(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    139c <match+0x28c>
jmp    12fe <match+0x1ee>
cmpl   $0x0,-0x28(%rbp)
jne    13c1 <match+0x2b1>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    13c6 <match+0x2b6>
jmp    114f <match+0x3f>
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<match>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rdi,%rbx
mov    (%rsi),%r15b
xor    %r14d,%r14d
xor    %edx,%edx
cmp    $0x5e,%r15b
setne  %r14b
sete   %dl
add    %rsi,%rdx
jmp    1152 <match+0x42>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl %sil,%ecx
mov    %rbp,%rdx
mov    %r8,%rbx
cmp    %eax,%ecx
jne    1239 <match+0x129>
lea    0x1(%rbx),%r8
movzbl (%rbx),%eax
lea    0x1(%rdx),%rbp
movsbl (%rdx),%esi
cmp    $0x5a,%esi
jg     1180 <match+0x70>
cmp    $0x3f,%esi
jne    11e2 <match+0xd2>
mov    %rbp,%rdx
mov    %r8,%rbx
test   %eax,%eax
jne    1152 <match+0x42>
jmp    1239 <match+0x129>
nopl   0x0(%rax)
cmp    $0x5b,%esi
jne    1140 <match+0x30>
lea    0x2(%rdx),%rcx
xor    %esi,%esi
xor    %edi,%edi
cmpb   $0x5e,0x1(%rdx)
sete   %sil
setne  %dil
cmove  %rcx,%rbp
mov    $0x7fff,%ecx
mov    %rbp,%rdx
add    $0x1,%rdx
nopl   0x0(%rax)
movsbl -0x1(%rdx),%ebx
cmp    $0x2d,%ebx
jne    11d0 <match+0xc0>
add    $0x1,%rdx
cmp    %eax,%ecx
jg     11b0 <match+0xa0>
movsbl -0x1(%rdx),%ebp
cmp    %ebp,%eax
cmovle %edi,%esi
jmp    11a5 <match+0x95>
nopl   0x0(%rax)
cmp    $0x5d,%bl
je     11f1 <match+0xe1>
test   %bl,%bl
je     1239 <match+0x129>
cmp    %ebx,%eax
cmove  %edi,%esi
mov    %ebx,%ecx
jmp    11a5 <match+0x95>
test   %esi,%esi
je     11fe <match+0xee>
cmp    $0x2a,%esi
jne    1140 <match+0x30>
jmp    120f <match+0xff>
mov    %r8,%rbx
test   %esi,%esi
jne    1152 <match+0x42>
jmp    1239 <match+0x129>
xor    %ecx,%ecx
cmp    $0x5e,%r15b
sete   %cl
test   %eax,%eax
cmovne %ecx,%r14d
jmp    1244 <match+0x134>
cmpb   $0x0,0x0(%rbp)
je     1244 <match+0x134>
test   %eax,%eax
je     1239 <match+0x129>
nopl   0x0(%rax)
mov    %rbx,%rdi
mov    %rbp,%rsi
call   1030 <match@plt>
test   %eax,%eax
jne    1244 <match+0x134>
cmpb   $0x0,0x1(%rbx)
lea    0x1(%rbx),%rbx
jne    1220 <match+0x110>
xor    %r14d,%r14d
cmp    $0x5e,%r15b
sete   %r14b
mov    %r14d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @match(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 1, i32* %8
%13 = load i8*, i8** %5
%14 = load i8, i8* %13
%15 = sext i8 %14 to i32
%16 = icmp eq i32 %15, 94
br i1 %16, label %17, label %20
17: ; preds = %2
store i32 0, i32* %8
%18 = load i8*, i8** %5
%19 = getelementptr inbounds i8, i8* %18, i32 1
store i8* %19, i8** %5
br label %20
20: ; preds = %17, %2
br label %21
21: ; preds = %154, %62, %41, %20
%22 = load i8*, i8** %4
%23 = getelementptr inbounds i8, i8* %22, i32 1
store i8* %23, i8** %4
%24 = load i8, i8* %22
%25 = sext i8 %24 to i32
%26 = and i32 %25, 255
store i32 %26, i32* %6
%27 = load i8*, i8** %5
%28 = getelementptr inbounds i8, i8* %27, i32 1
store i8* %28, i8** %5
%29 = load i8, i8* %27
%30 = sext i8 %29 to i32
store i32 %30, i32* %7
switch i32 %30, label %31 [
i32 0, label %42
i32 63, label %54
i32 42, label %63
i32 91, label %92
]
31: ; preds = %21
%32 = load i32, i32* %7
%33 = and i32 %32, 255
%34 = load i32, i32* %6
%35 = icmp ne i32 %33, %34
br i1 %35, label %36, label %41
36: ; preds = %31
%37 = load i32, i32* %8
%38 = icmp ne i32 %37, 0
%39 = xor i1 %38, true
%40 = zext i1 %39 to i32
store i32 %40, i32* %3
br label %155
41: ; preds = %31
br label %21
42: ; preds = %21
%43 = load i32, i32* %6
%44 = icmp eq i32 %43, 0
br i1 %44, label %45, label %47
45: ; preds = %42
%46 = load i32, i32* %8
br label %52
47: ; preds = %42
%48 = load i32, i32* %8
%49 = icmp ne i32 %48, 0
%50 = xor i1 %49, true
%51 = zext i1 %50 to i32
br label %52
52: ; preds = %47, %45
%53 = phi i32 [ %46, %45 ], [ %51, %47 ]
store i32 %53, i32* %3
br label %155
54: ; preds = %21
%55 = load i32, i32* %6
%56 = icmp eq i32 %55, 0
br i1 %56, label %57, label %62
57: ; preds = %54
%58 = load i32, i32* %8
%59 = icmp ne i32 %58, 0
%60 = xor i1 %59, true
%61 = zext i1 %60 to i32
store i32 %61, i32* %3
br label %155
62: ; preds = %54
br label %21
63: ; preds = %21
%64 = load i8*, i8** %5
%65 = load i8, i8* %64
%66 = icmp ne i8 %65, 0
br i1 %66, label %69, label %67
67: ; preds = %63
%68 = load i32, i32* %8
store i32 %68, i32* %3
br label %155
69: ; preds = %63
%70 = load i8*, i8** %4
%71 = getelementptr inbounds i8, i8* %70, i32 -1
store i8* %71, i8** %4
br label %72
72: ; preds = %84, %69
%73 = load i8*, i8** %4
%74 = load i8, i8* %73
%75 = icmp ne i8 %74, 0
br i1 %75, label %76, label %87
76: ; preds = %72
%77 = load i8*, i8** %4
%78 = load i8*, i8** %5
%79 = call i32 @match(i8* %77, i8* %78)
%80 = icmp ne i32 %79, 0
br i1 %80, label %81, label %83
81: ; preds = %76
%82 = load i32, i32* %8
store i32 %82, i32* %3
br label %155
83: ; preds = %76
br label %84
84: ; preds = %83
%85 = load i8*, i8** %4
%86 = getelementptr inbounds i8, i8* %85, i32 1
store i8* %86, i8** %4
br label %72
87: ; preds = %72
%88 = load i32, i32* %8
%89 = icmp ne i32 %88, 0
%90 = xor i1 %89, true
%91 = zext i1 %90 to i32
store i32 %91, i32* %3
br label %155
92: ; preds = %21
store i32 32767, i32* %10
store i32 1, i32* %11
%93 = load i8*, i8** %5
%94 = load i8, i8* %93
%95 = sext i8 %94 to i32
%96 = icmp eq i32 %95, 94
br i1 %96, label %97, label %100
97: ; preds = %92
store i32 0, i32* %11
%98 = load i8*, i8** %5
%99 = getelementptr inbounds i8, i8* %98, i32 1
store i8* %99, i8** %5
br label %100
100: ; preds = %97, %92
%101 = load i32, i32* %11
%102 = icmp ne i32 %101, 0
%103 = xor i1 %102, true
%104 = zext i1 %103 to i32
store i32 %104, i32* %9
br label %105
105: ; preds = %145, %100
%106 = load i8*, i8** %5
%107 = getelementptr inbounds i8, i8* %106, i32 1
store i8* %107, i8** %5
%108 = load i8, i8* %106
%109 = sext i8 %108 to i32
store i32 %109, i32* %12
%110 = load i32, i32* %12
%111 = icmp eq i32 %110, 0
br i1 %111, label %112, label %117
112: ; preds = %105
%113 = load i32, i32* %8
%114 = icmp ne i32 %113, 0
%115 = xor i1 %114, true
%116 = zext i1 %115 to i32
store i32 %116, i32* %3
br label %155
117: ; preds = %105
%118 = load i32, i32* %12
%119 = icmp eq i32 %118, 93
br i1 %119, label %120, label %121
120: ; preds = %117
br label %146
121: ; preds = %117
%122 = load i32, i32* %12
%123 = icmp eq i32 %122, 45
br i1 %123, label %124, label %138
124: ; preds = %121
%125 = load i32, i32* %10
%126 = load i32, i32* %6
%127 = icmp sle i32 %125, %126
br i1 %127, label %128, label %137
128: ; preds = %124
%129 = load i32, i32* %6
%130 = load i8*, i8** %5
%131 = getelementptr inbounds i8, i8* %130, i32 1
store i8* %131, i8** %5
%132 = load i8, i8* %130
%133 = sext i8 %132 to i32
%134 = icmp sle i32 %129, %133
br i1 %134, label %135, label %137
135: ; preds = %128
%136 = load i32, i32* %11
store i32 %136, i32* %9
br label %137
137: ; preds = %135, %128, %124
br label %145
138: ; preds = %121
%139 = load i32, i32* %6
%140 = load i32, i32* %12
store i32 %140, i32* %10
%141 = icmp eq i32 %139, %140
br i1 %141, label %142, label %144
142: ; preds = %138
%143 = load i32, i32* %11
store i32 %143, i32* %9
br label %144
144: ; preds = %142, %138
br label %145
145: ; preds = %144, %137
br label %105
146: ; preds = %120
%147 = load i32, i32* %9
%148 = icmp ne i32 %147, 0
br i1 %148, label %154, label %149
149: ; preds = %146
%150 = load i32, i32* %8
%151 = icmp ne i32 %150, 0
%152 = xor i1 %151, true
%153 = zext i1 %152 to i32
store i32 %153, i32* %3
br label %155
154: ; preds = %146
br label %21
155: ; preds = %149, %112, %87, %81, %67, %57, %52, %36
%156 = load i32, i32* %3
ret i32 %156
}

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