char *match(char *s, char *p) {
  char *np;
  for (; *p != '/' && *p != '\0'; s++, p++) {
    if (*p == ((char)0x80))
      switch (*++p) {
      case ((char)0x80):
        if (*s != ((char)0x80))
          return 0;
        break;
      case '*':
        for (;;) {
          np = match(s, p + 1);
          if (np)
            return np;
          if (*s == '\0')
            break;
          s++;
        }
        return 0;
      case '?':
        if (*s == '\0')
          return 0;
        break;
      }
    else if (*p != *s)
      return 0;
  }
  if (*p == '/')
    ++p;
  return *s == '\0' ? p : 0;
}


x86 assembly (clang, -O0):
<match>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x2f,%ecx
mov    %al,-0x21(%rbp)
je     1145 <match+0x35>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
test   $0x1,%al
jne    1155 <match+0x45>
jmp    12a3 <match+0x193>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0xffffff80,%eax
jne    1259 <match+0x149>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl 0x1(%rax),%eax
mov    %eax,-0x28(%rbp)
sub    $0xffffff80,%eax
je     11ab <match+0x9b>
jmp    1189 <match+0x79>
mov    -0x28(%rbp),%eax
sub    $0x2a,%eax
je     11cd <match+0xbd>
jmp    119a <match+0x8a>
mov    -0x28(%rbp),%eax
sub    $0x3f,%eax
je     1232 <match+0x122>
jmp    1254 <match+0x144>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0xffffff80,%eax
je     11c8 <match+0xb8>
movq   $0x0,-0x8(%rbp)
jmp    12ef <match+0x1df>
jmp    1254 <match+0x144>
jmp    11d2 <match+0xc2>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
add    $0x1,%rsi
call   1030 <match@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     11ff <match+0xef>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12ef <match+0x1df>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1214 <match+0x104>
jmp    1225 <match+0x115>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    11d2 <match+0xc2>
movq   $0x0,-0x8(%rbp)
jmp    12ef <match+0x1df>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    124f <match+0x13f>
movq   $0x0,-0x8(%rbp)
jmp    12ef <match+0x1df>
jmp    1254 <match+0x144>
jmp    1281 <match+0x171>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     127c <match+0x16c>
movq   $0x0,-0x8(%rbp)
jmp    12ef <match+0x1df>
jmp    1281 <match+0x171>
jmp    1286 <match+0x176>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1120 <match+0x10>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    12bf <match+0x1af>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    12dc <match+0x1cc>
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    12e7 <match+0x1d7>
xor    %eax,%eax
mov    %rax,-0x30(%rbp)
jmp    12e7 <match+0x1d7>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<match>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%rbx
mov    %rdi,%r14
xor    %eax,%eax
jmp    113b <match+0x2b>
cmpb   $0x0,(%r14)
je     1196 <match+0x86>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%r14
add    $0x1,%rcx
mov    %rcx,%rbx
movzbl (%rbx),%edx
cmp    $0x80,%dl
je     1160 <match+0x50>
test   %dl,%dl
je     1181 <match+0x71>
cmp    $0x2f,%dl
je     1181 <match+0x71>
mov    %rbx,%rcx
cmp    (%r14),%dl
je     1130 <match+0x20>
jmp    1196 <match+0x86>
cs nopw 0x0(%rax,%rax,1)
lea    0x1(%rbx),%rcx
movsbl 0x1(%rbx),%edx
cmp    $0xffffff80,%edx
je     1179 <match+0x69>
cmp    $0x3f,%edx
je     111e <match+0xe>
cmp    $0x2a,%edx
jne    1130 <match+0x20>
jmp    119e <match+0x8e>
cmpb   $0x80,(%r14)
je     1130 <match+0x20>
jmp    1196 <match+0x86>
xor    %eax,%eax
cmp    $0x2f,%dl
sete   %al
add    %rax,%rbx
xor    %eax,%eax
cmpb   $0x0,(%r14)
cmove  %rbx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret
add    $0x2,%rbx
mov    %r14,%rdi
mov    %rbx,%rsi
call   1030 <match@plt>
test   %rax,%rax
jne    1196 <match+0x86>
add    $0x1,%r14
cs nopw 0x0(%rax,%rax,1)
cmpb   $0x0,-0x1(%r14)
je     11dd <match+0xcd>
mov    %r14,%rdi
mov    %rbx,%rsi
call   1030 <match@plt>
add    $0x1,%r14
test   %rax,%rax
je     11c0 <match+0xb0>
jmp    1196 <match+0x86>
xor    %eax,%eax
jmp    1196 <match+0x86>

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

LLVM IR (-O2):
define i8* @match(i8* nocapture %0, i8* %1) {
br label %3
3: ; preds = %32, %2
%4 = phi i8* [ %0, %2 ], [ %34, %32 ]
%5 = phi i8* [ %1, %2 ], [ %35, %32 ]
%6 = load i8, i8* %5
switch i8 %6, label %29 [
i8 47, label %36
i8 0, label %36
i8 -128, label %7
]
7: ; preds = %3
%8 = getelementptr inbounds i8, i8* %5, i64 1
%9 = load i8, i8* %8
%10 = sext i8 %9 to i32
switch i32 %10, label %32 [
i32 -128, label %15
i32 42, label %11
i32 63, label %26
]
11: ; preds = %7
%12 = getelementptr inbounds i8, i8* %5, i64 2
%13 = tail call i8* @match(i8* %4, i8* %12)
%14 = icmp eq i8* %13, null
br i1 %14, label %21, label %43
15: ; preds = %7
%16 = load i8, i8* %4
%17 = icmp eq i8 %16, -128
br i1 %17, label %32, label %43
18: ; preds = %21
%19 = tail call i8* @match(i8* %25, i8* %12)
%20 = icmp eq i8* %19, null
br i1 %20, label %21, label %43
21: ; preds = %11, %18
%22 = phi i8* [ %25, %18 ], [ %4, %11 ]
%23 = load i8, i8* %22
%24 = icmp eq i8 %23, 0
%25 = getelementptr inbounds i8, i8* %22, i64 1
br i1 %24, label %43, label %18
26: ; preds = %7
%27 = load i8, i8* %4
%28 = icmp eq i8 %27, 0
br i1 %28, label %43, label %32
29: ; preds = %3
%30 = load i8, i8* %4
%31 = icmp eq i8 %6, %30
br i1 %31, label %32, label %43
32: ; preds = %26, %15, %7, %29
%33 = phi i8* [ %8, %7 ], [ %8, %26 ], [ %8, %15 ], [ %5, %29 ]
%34 = getelementptr inbounds i8, i8* %4, i64 1
%35 = getelementptr inbounds i8, i8* %33, i64 1
br label %3
36: ; preds = %3, %3
%37 = icmp eq i8 %6, 47
%38 = zext i1 %37 to i64
%39 = getelementptr i8, i8* %5, i64 %38
%40 = load i8, i8* %4
%41 = icmp eq i8 %40, 0
%42 = select i1 %41, i8* %39, i8* null
br label %43
43: ; preds = %29, %26, %15, %18, %21, %11, %36
%44 = phi i8* [ %42, %36 ], [ %13, %11 ], [ %19, %18 ], [ null, %21 ], [ null, %15 ], [ null, %26 ], [ null, %29 ]
ret i8* %44
}