int match(char *input, char *pattern) {
  int status, negate_range, matched;
  matched = (*pattern != '^');
  if (!matched)
    pattern++;
  for (;;) {
    switch (*pattern++) {
    default:
      if (*input++ != pattern[-1])
        return !matched;
      break;
    case 0:
      if (*input)
        return !matched;
      return matched;
    case '?':
      if (!*input++)
        return !matched;
      break;
    case '*':
      if (!*pattern)
        return matched;
      for (; *input; input++)
        if (match(input, pattern))
          return matched;
      return !matched;
    case '[':
      status = 0;
      negate_range = (*pattern == '^');
      if (negate_range)
        pattern++;
      while (*pattern++ != ']') {
        if (*pattern == '-') {
          if (pattern[-1] <= *input && *input <= pattern[1])
            status = 1;
          pattern += 2;
        } else if (pattern[-1] == *input) {
          status = 1;
        }
      }
      if (status == negate_range)
        return !matched;
      input++;
      break;
    }
  }
}


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),%eax
cmp    $0x5e,%eax
setne  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jne    114b <match+0x3b>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1150 <match+0x40>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl (%rax),%eax
mov    %eax,-0x28(%rbp)
test   %eax,%eax
je     11e2 <match+0xd2>
jmp    1172 <match+0x62>
mov    -0x28(%rbp),%eax
sub    $0x2a,%eax
je     1243 <match+0x133>
jmp    1183 <match+0x73>
mov    -0x28(%rbp),%eax
sub    $0x3f,%eax
je     1210 <match+0x100>
jmp    1194 <match+0x84>
mov    -0x28(%rbp),%eax
sub    $0x5b,%eax
je     12ba <match+0x1aa>
jmp    11a5 <match+0x95>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl -0x1(%rcx),%ecx
cmp    %ecx,%eax
je     11dd <match+0xcd>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    13bd <match+0x2ad>
jmp    13b8 <match+0x2a8>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1205 <match+0xf5>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    13bd <match+0x2ad>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13bd <match+0x2ad>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
cmpb   $0x0,(%rax)
jne    123e <match+0x12e>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    13bd <match+0x2ad>
jmp    13b8 <match+0x2a8>
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
jne    125b <match+0x14b>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13bd <match+0x2ad>
jmp    1260 <match+0x150>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     12a4 <match+0x194>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <match@plt>
cmp    $0x0,%eax
je     128e <match+0x17e>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13bd <match+0x2ad>
jmp    1293 <match+0x183>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1260 <match+0x150>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    13bd <match+0x2ad>
movl   $0x0,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5e,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
je     12ec <match+0x1dc>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    12f1 <match+0x1e1>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl (%rax),%eax
cmp    $0x5d,%eax
je     138a <match+0x27a>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    1362 <match+0x252>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jg     1351 <match+0x241>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl 0x1(%rcx),%ecx
cmp    %ecx,%eax
jg     1351 <match+0x241>
movl   $0x1,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x18(%rbp)
jmp    1385 <match+0x275>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    1380 <match+0x270>
movl   $0x1,-0x1c(%rbp)
jmp    1385 <match+0x275>
jmp    12f1 <match+0x1e1>
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    13ac <match+0x29c>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    13bd <match+0x2ad>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1150 <match+0x40>
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<match>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdi,%r14
mov    (%rsi),%r8b
xor    %r15d,%r15d
cmp    $0x5e,%r8b
setne  %r12b
sete   %r15b
mov    %r15,%rax
add    %rsi,%rax
mov    $0x1,%r9d
jmp    1152 <match+0x42>
nopl   0x0(%rax,%rax,1)
mov    %rbx,%rbp
cmp    %edi,%esi
je     122f <match+0x11f>
add    $0x1,%r14
mov    %rbp,%rax
lea    0x1(%rax),%rbp
mov    (%rax),%cl
movsbl %cl,%edx
cmp    $0x5a,%edx
jg     1170 <match+0x60>
cmp    $0x3f,%edx
jne    11d2 <match+0xc2>
cmpb   $0x0,(%r14)
jne    114b <match+0x3b>
jmp    122f <match+0x11f>
cmp    $0x5b,%edx
jne    11db <match+0xcb>
xor    %edi,%edi
cmpb   $0x5e,0x1(%rax)
lea    0x2(%rax),%rcx
sete   %dil
cmove  %rcx,%rbp
lea    0x1(%rbp),%rbx
mov    0x1(%rdi,%rax,1),%dl
xor    %esi,%esi
cmp    $0x5d,%dl
je     1140 <match+0x30>
mov    (%r14),%al
xor    %esi,%esi
jmp    11b4 <match+0xa4>
nopl   (%rax)
cmp    %al,%dl
cmove  %r9d,%esi
mov    %rbx,%rbp
lea    0x1(%rbp),%rbx
mov    %ecx,%edx
cmp    $0x5d,%cl
je     1140 <match+0x30>
movzbl 0x1(%rbp),%ecx
cmp    $0x2d,%cl
jne    11a0 <match+0x90>
cmp    %al,%dl
jg     11c8 <match+0xb8>
cmp    0x2(%rbp),%al
cmovle %r9d,%esi
movzbl 0x3(%rbp),%ecx
add    $0x3,%rbp
jmp    11a9 <match+0x99>
test   %edx,%edx
je     11e6 <match+0xd6>
cmp    $0x2a,%edx
je     11fa <match+0xea>
cmp    %cl,(%r14)
je     114b <match+0x3b>
jmp    122f <match+0x11f>
cmp    $0x5e,%r8b
setne  %al
cmpb   $0x0,(%r14)
setne  %r15b
xor    %al,%r15b
jmp    122f <match+0x11f>
cmpb   $0x0,0x0(%rbp)
je     122c <match+0x11c>
cmpb   $0x0,(%r14)
je     122f <match+0x11f>
cs nopw 0x0(%rax,%rax,1)
mov    %r14,%rdi
mov    %rbp,%rsi
call   1030 <match@plt>
test   %eax,%eax
jne    122c <match+0x11c>
cmpb   $0x0,0x1(%r14)
lea    0x1(%r14),%r14
jne    1210 <match+0x100>
jmp    122f <match+0x11f>
mov    %r12d,%r15d
movzbl %r15b,%eax
pop    %rbx
pop    %r12
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
store i8* %0, i8** %4
store i8* %1, i8** %5
%9 = load i8*, i8** %5
%10 = load i8, i8* %9
%11 = sext i8 %10 to i32
%12 = icmp ne i32 %11, 94
%13 = zext i1 %12 to i32
store i32 %13, i32* %8
%14 = load i32, i32* %8
%15 = icmp ne i32 %14, 0
br i1 %15, label %19, label %16
16: ; preds = %2
%17 = load i8*, i8** %5
%18 = getelementptr inbounds i8, i8* %17, i32 1
store i8* %18, i8** %5
br label %19
19: ; preds = %16, %2
br label %20
20: ; preds = %159, %19
%21 = load i8*, i8** %5
%22 = getelementptr inbounds i8, i8* %21, i32 1
store i8* %22, i8** %5
%23 = load i8, i8* %21
%24 = sext i8 %23 to i32
switch i32 %24, label %25 [
i32 0, label %41
i32 63, label %52
i32 42, label %63
i32 91, label %90
]
25: ; preds = %20
%26 = load i8*, i8** %4
%27 = getelementptr inbounds i8, i8* %26, i32 1
store i8* %27, i8** %4
%28 = load i8, i8* %26
%29 = sext i8 %28 to i32
%30 = load i8*, i8** %5
%31 = getelementptr inbounds i8, i8* %30, i64 -1
%32 = load i8, i8* %31
%33 = sext i8 %32 to i32
%34 = icmp ne i32 %29, %33
br i1 %34, label %35, label %40
35: ; preds = %25
%36 = load i32, i32* %8
%37 = icmp ne i32 %36, 0
%38 = xor i1 %37, true
%39 = zext i1 %38 to i32
store i32 %39, i32* %3
br label %160
40: ; preds = %25
br label %159
41: ; preds = %20
%42 = load i8*, i8** %4
%43 = load i8, i8* %42
%44 = icmp ne i8 %43, 0
br i1 %44, label %45, label %50
45: ; preds = %41
%46 = load i32, i32* %8
%47 = icmp ne i32 %46, 0
%48 = xor i1 %47, true
%49 = zext i1 %48 to i32
store i32 %49, i32* %3
br label %160
50: ; preds = %41
%51 = load i32, i32* %8
store i32 %51, i32* %3
br label %160
52: ; preds = %20
%53 = load i8*, i8** %4
%54 = getelementptr inbounds i8, i8* %53, i32 1
store i8* %54, i8** %4
%55 = load i8, i8* %53
%56 = icmp ne i8 %55, 0
br i1 %56, label %62, label %57
57: ; preds = %52
%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 %160
62: ; preds = %52
br label %159
63: ; preds = %20
%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 %160
69: ; preds = %63
br label %70
70: ; preds = %82, %69
%71 = load i8*, i8** %4
%72 = load i8, i8* %71
%73 = icmp ne i8 %72, 0
br i1 %73, label %74, label %85
74: ; preds = %70
%75 = load i8*, i8** %4
%76 = load i8*, i8** %5
%77 = call i32 @match(i8* %75, i8* %76)
%78 = icmp ne i32 %77, 0
br i1 %78, label %79, label %81
79: ; preds = %74
%80 = load i32, i32* %8
store i32 %80, i32* %3
br label %160
81: ; preds = %74
br label %82
82: ; preds = %81
%83 = load i8*, i8** %4
%84 = getelementptr inbounds i8, i8* %83, i32 1
store i8* %84, i8** %4
br label %70
85: ; preds = %70
%86 = load i32, i32* %8
%87 = icmp ne i32 %86, 0
%88 = xor i1 %87, true
%89 = zext i1 %88 to i32
store i32 %89, i32* %3
br label %160
90: ; preds = %20
store i32 0, i32* %6
%91 = load i8*, i8** %5
%92 = load i8, i8* %91
%93 = sext i8 %92 to i32
%94 = icmp eq i32 %93, 94
%95 = zext i1 %94 to i32
store i32 %95, i32* %7
%96 = load i32, i32* %7
%97 = icmp ne i32 %96, 0
br i1 %97, label %98, label %101
98: ; preds = %90
%99 = load i8*, i8** %5
%100 = getelementptr inbounds i8, i8* %99, i32 1
store i8* %100, i8** %5
br label %101
101: ; preds = %98, %90
br label %102
102: ; preds = %146, %101
%103 = load i8*, i8** %5
%104 = getelementptr inbounds i8, i8* %103, i32 1
store i8* %104, i8** %5
%105 = load i8, i8* %103
%106 = sext i8 %105 to i32
%107 = icmp ne i32 %106, 93
br i1 %107, label %108, label %147
108: ; preds = %102
%109 = load i8*, i8** %5
%110 = load i8, i8* %109
%111 = sext i8 %110 to i32
%112 = icmp eq i32 %111, 45
br i1 %112, label %113, label %135
113: ; preds = %108
%114 = load i8*, i8** %5
%115 = getelementptr inbounds i8, i8* %114, i64 -1
%116 = load i8, i8* %115
%117 = sext i8 %116 to i32
%118 = load i8*, i8** %4
%119 = load i8, i8* %118
%120 = sext i8 %119 to i32
%121 = icmp sle i32 %117, %120
br i1 %121, label %122, label %132
122: ; preds = %113
%123 = load i8*, i8** %4
%124 = load i8, i8* %123
%125 = sext i8 %124 to i32
%126 = load i8*, i8** %5
%127 = getelementptr inbounds i8, i8* %126, i64 1
%128 = load i8, i8* %127
%129 = sext i8 %128 to i32
%130 = icmp sle i32 %125, %129
br i1 %130, label %131, label %132
131: ; preds = %122
store i32 1, i32* %6
br label %132
132: ; preds = %131, %122, %113
%133 = load i8*, i8** %5
%134 = getelementptr inbounds i8, i8* %133, i64 2
store i8* %134, i8** %5
br label %146
135: ; preds = %108
%136 = load i8*, i8** %5
%137 = getelementptr inbounds i8, i8* %136, i64 -1
%138 = load i8, i8* %137
%139 = sext i8 %138 to i32
%140 = load i8*, i8** %4
%141 = load i8, i8* %140
%142 = sext i8 %141 to i32
%143 = icmp eq i32 %139, %142
br i1 %143, label %144, label %145
144: ; preds = %135
store i32 1, i32* %6
br label %145
145: ; preds = %144, %135
br label %146
146: ; preds = %145, %132
br label %102
147: ; preds = %102
%148 = load i32, i32* %6
%149 = load i32, i32* %7
%150 = icmp eq i32 %148, %149
br i1 %150, label %151, label %156
151: ; preds = %147
%152 = load i32, i32* %8
%153 = icmp ne i32 %152, 0
%154 = xor i1 %153, true
%155 = zext i1 %154 to i32
store i32 %155, i32* %3
br label %160
156: ; preds = %147
%157 = load i8*, i8** %4
%158 = getelementptr inbounds i8, i8* %157, i32 1
store i8* %158, i8** %4
br label %159
159: ; preds = %156, %62, %40
br label %20
160: ; preds = %151, %85, %79, %67, %57, %50, %45, %35
%161 = load i32, i32* %3
ret i32 %161
}

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