int matching(char *text, char *pattern) {
  char *orig_pattern = pattern;
  if (*pattern == '^' || *pattern == '!')
    pattern++;
  for (; *text != '\0'; text++) {
    if (*pattern == '^')
      return 0;
    else if (*pattern == '\0')
      return 1;
    else if (*pattern == '$' && *(pattern + 1) != '\0')
      return 0;
    else if (*pattern == '?')
      pattern++;
    else if (*pattern == '*') {
      pattern++;
      orig_pattern = pattern;
    } else if (*text == *pattern)
      pattern++;
    else if (*text != *pattern && pattern != orig_pattern) {
      pattern = orig_pattern;
      text--;
    }
  }
  if (*pattern == '\0' || (*pattern == '$' && *(pattern + 1) == '\0'))
    return 1;
  else
    return 0;
}


x86 assembly (clang, -O0):
<matching>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5e,%eax
je     1134 <matching+0x34>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x21,%eax
jne    1140 <matching+0x40>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1145 <matching+0x45>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1297 <matching+0x197>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5e,%eax
jne    1171 <matching+0x71>
movl   $0x0,-0x4(%rbp)
jmp    12db <matching+0x1db>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    118d <matching+0x8d>
movl   $0x1,-0x4(%rbp)
jmp    12db <matching+0x1db>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x24,%eax
jne    11ba <matching+0xba>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
je     11ba <matching+0xba>
movl   $0x0,-0x4(%rbp)
jmp    12db <matching+0x1db>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3f,%eax
jne    11db <matching+0xdb>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1272 <matching+0x172>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
jne    1204 <matching+0x104>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    126d <matching+0x16d>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    122b <matching+0x12b>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1268 <matching+0x168>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     1263 <matching+0x163>
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
je     1263 <matching+0x163>
mov    -0x20(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x10(%rbp)
jmp    1268 <matching+0x168>
jmp    126d <matching+0x16d>
jmp    1272 <matching+0x172>
jmp    1277 <matching+0x177>
jmp    127c <matching+0x17c>
jmp    1281 <matching+0x181>
jmp    1286 <matching+0x186>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1145 <matching+0x45>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     12c8 <matching+0x1c8>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x24,%eax
jne    12d4 <matching+0x1d4>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    12d4 <matching+0x1d4>
movl   $0x1,-0x4(%rbp)
jmp    12db <matching+0x1db>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<matching>:
mov    (%rsi),%al
cmp    $0x5e,%al
je     110d <matching+0xd>
mov    %rsi,%r8
cmp    $0x21,%al
jne    1111 <matching+0x11>
lea    0x1(%rsi),%r8
mov    (%rdi),%dl
jmp    112c <matching+0x2c>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%r8
movzbl 0x1(%rdi),%edx
add    $0x1,%rdi
test   %dl,%dl
je     1181 <matching+0x81>
movzbl (%r8),%ecx
xor    %eax,%eax
cmp    $0x29,%cl
jle    1150 <matching+0x50>
cmp    $0x2a,%cl
je     1160 <matching+0x60>
cmp    $0x3f,%cl
je     1120 <matching+0x20>
cmp    $0x5e,%cl
jne    116d <matching+0x6d>
jmp    119b <matching+0x9b>
nopl   0x0(%rax)
cmp    $0x24,%cl
jne    1169 <matching+0x69>
cmpb   $0x0,0x1(%r8)
je     116d <matching+0x6d>
jmp    119b <matching+0x9b>
xchg   %ax,%ax
add    $0x1,%r8
mov    %r8,%rsi
jmp    1124 <matching+0x24>
test   %cl,%cl
je     119c <matching+0x9c>
cmp    %cl,%dl
je     1120 <matching+0x20>
xor    %eax,%eax
cmp    %rsi,%r8
setne  %al
sub    %rax,%rdi
mov    %rsi,%r8
jmp    1124 <matching+0x24>
mov    (%r8),%cl
mov    $0x1,%eax
test   %cl,%cl
je     119b <matching+0x9b>
cmp    $0x24,%cl
jne    1199 <matching+0x99>
cmpb   $0x0,0x1(%r8)
je     119b <matching+0x9b>
xor    %eax,%eax
ret
mov    $0x1,%eax
ret

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

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