int match1(char *str, char *pat) {
  char s, p, rp, lp;
  int ok;
  int match2(char *, char *);
  if ((s = *str++) != '\0')
    if (!(s & 0x7f))
      s = 0x80;
  switch (p = *pat++) {
  case '[':
    lp = 0xff;
    while ((rp = *pat++) != '\0') {
      if (rp == ']') {
        if (ok)
          return match1(str, pat);
        else
          return 0;
      } else if (rp == '-') {
        if (s >= lp && s <= *pat++)
          ok++;
      } else {
        if (s == (lp = rp))
          ok++;
      }
    }
    return 0;
  default:
    if (s != p)
      return 0;
  case '?':
    if (s != '\0')
      return match1(str, pat);
    return 0;
  case '*':
    return match2(--str, pat);
  case '\0':
    return (s == '\0');
  }
  return 0;
}


x86 assembly (clang, -O0):
<match1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%al
mov    %al,-0x19(%rbp)
movsbl %al,%eax
cmp    $0x0,%eax
je     1169 <match1+0x49>
movsbl -0x19(%rbp),%eax
and    $0x7f,%eax
cmp    $0x0,%eax
jne    1164 <match1+0x44>
movb   $0x80,-0x19(%rbp)
jmp    1169 <match1+0x49>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl (%rax),%eax
mov    %eax,-0x24(%rbp)
mov    %al,%cl
mov    %cl,-0x1a(%rbp)
test   %eax,%eax
je     130d <match1+0x1ed>
jmp    1190 <match1+0x70>
mov    -0x24(%rbp),%eax
sub    $0x2a,%eax
je     12f0 <match1+0x1d0>
jmp    11a1 <match1+0x81>
mov    -0x24(%rbp),%eax
sub    $0x3f,%eax
je     12c2 <match1+0x1a2>
jmp    11b2 <match1+0x92>
mov    -0x24(%rbp),%eax
sub    $0x5b,%eax
jne    12a1 <match1+0x181>
jmp    11c3 <match1+0xa3>
movb   $0xff,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%al
mov    %al,-0x1b(%rbp)
movsbl %al,%eax
cmp    $0x0,%eax
je     1295 <match1+0x175>
movsbl -0x1b(%rbp),%eax
cmp    $0x5d,%eax
jne    121f <match1+0xff>
cmpl   $0x0,-0x20(%rbp)
je     1213 <match1+0xf3>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1040 <match1@plt>
mov    %eax,-0x4(%rbp)
jmp    131f <match1+0x1ff>
movl   $0x0,-0x4(%rbp)
jmp    131f <match1+0x1ff>
movsbl -0x1b(%rbp),%eax
cmp    $0x2d,%eax
jne    1268 <match1+0x148>
movsbl -0x19(%rbp),%eax
movsbl -0x1c(%rbp),%ecx
cmp    %ecx,%eax
jl     1263 <match1+0x143>
movsbl -0x19(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jg     1263 <match1+0x143>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    128b <match1+0x16b>
movsbl -0x19(%rbp),%eax
mov    -0x1b(%rbp),%cl
mov    %cl,-0x1c(%rbp)
movsbl %cl,%ecx
cmp    %ecx,%eax
jne    1286 <match1+0x166>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    128b <match1+0x16b>
jmp    1290 <match1+0x170>
jmp    11c7 <match1+0xa7>
movl   $0x0,-0x4(%rbp)
jmp    131f <match1+0x1ff>
movsbl -0x19(%rbp),%eax
movsbl -0x1a(%rbp),%ecx
cmp    %ecx,%eax
je     12bd <match1+0x19d>
movl   $0x0,-0x4(%rbp)
jmp    131f <match1+0x1ff>
jmp    12c2 <match1+0x1a2>
movsbl -0x19(%rbp),%eax
cmp    $0x0,%eax
je     12e4 <match1+0x1c4>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1040 <match1@plt>
mov    %eax,-0x4(%rbp)
jmp    131f <match1+0x1ff>
movl   $0x0,-0x4(%rbp)
jmp    131f <match1+0x1ff>
mov    -0x10(%rbp),%rdi
add    $0xffffffffffffffff,%rdi
mov    %rdi,-0x10(%rbp)
mov    -0x18(%rbp),%rsi
call   1030 <match2@plt>
mov    %eax,-0x4(%rbp)
jmp    131f <match1+0x1ff>
movsbl -0x19(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<match1>:
mov    $0x80,%r8d
xor    %r9d,%r9d
movzbl (%rdi),%eax
test   $0x7f,%al
mov    %eax,%ecx
cmove  %r8d,%ecx
lea    0x1(%rdi),%r11
test   %al,%al
cmove  %r9d,%ecx
mov    (%rsi),%dl
add    $0x1,%rsi
movsbl %dl,%eax
cmp    $0x5a,%eax
jg     1150 <match1+0x40>
cmp    $0x3f,%eax
jne    1197 <match1+0x87>
mov    %r11,%rdi
test   %cl,%cl
jne    1119 <match1+0x9>
jmp    11bf <match1+0xaf>
nopw   0x0(%rax,%rax,1)
cmp    $0x5b,%eax
jne    11a0 <match1+0x90>
mov    $0xff,%al
add    $0x1,%rsi
nopl   0x0(%rax,%rax,1)
movzbl -0x1(%rsi),%edx
cmp    $0x2d,%dl
jne    1180 <match1+0x70>
add    $0x1,%rsi
cmp    %al,%cl
jl     1160 <match1+0x50>
xor    %edx,%edx
cmp    -0x1(%rsi),%cl
setle  %dl
add    %edx,%r10d
jmp    1157 <match1+0x47>
xchg   %ax,%ax
test   %dl,%dl
je     11bf <match1+0xaf>
cmp    $0x5d,%dl
je     11b3 <match1+0xa3>
xor    %eax,%eax
cmp    %dl,%cl
sete   %al
add    %eax,%r10d
mov    %edx,%eax
jmp    1157 <match1+0x47>
test   %eax,%eax
je     11c2 <match1+0xb2>
cmp    $0x2a,%eax
je     11ca <match1+0xba>
xor    %eax,%eax
cmp    %dl,%cl
jne    11c9 <match1+0xb9>
mov    %r11,%rdi
test   %cl,%cl
jne    1119 <match1+0x9>
jmp    11c9 <match1+0xb9>
mov    %r11,%rdi
test   %r10d,%r10d
jne    1119 <match1+0x9>
xor    %eax,%eax
ret
xor    %eax,%eax
test   %cl,%cl
sete   %al
ret
jmp    1030 <match2@plt>

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

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