int isMatch(char *s, char *p) {
  int i;
  if (!p || !p[0]) {
    if (!s || !s[0])
      return (1);
    return (0);
  }
  if (p[0] == '.') {
    if (p[1] != '*') {
      if (!s || !s[0])
        return (0);
      return (isMatch(s + 1, p + 1));
    }
    for (i = 0;; i++) {
      if (!i) {
        if (isMatch(s, p + 2))
          return (1);
        continue;
      }
      if (s[i - 1]) {
        if (isMatch(s + i, p + 2))
          return (1);
        continue;
      }
      break;
    }
    return (0);
  }
  if (p[1] != '*') {
    if (s[0] == p[0]) {
      return (isMatch(s + 1, p + 1));
    }
    return (0);
  }
  for (i = 0;; i++) {
    if (!i) {
      if (isMatch(s, p + 2))
        return (1);
      else
        continue;
    }
    if (s[i - 1] == p[0]) {
      if (isMatch(s + i, p + 2))
        return (1);
    } else {
      break;
    }
  }
  return (0);
}


x86 assembly (clang, -O0):
<isMatch>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     1138 <isMatch+0x28>
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1168 <isMatch+0x58>
cmpq   $0x0,-0x10(%rbp)
je     1150 <isMatch+0x40>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
jne    115c <isMatch+0x4c>
movl   $0x1,-0x4(%rbp)
jmp    136b <isMatch+0x25b>
movl   $0x0,-0x4(%rbp)
jmp    136b <isMatch+0x25b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    126e <isMatch+0x15e>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2a,%eax
je     11ca <isMatch+0xba>
cmpq   $0x0,-0x10(%rbp)
je     11a1 <isMatch+0x91>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
jne    11ad <isMatch+0x9d>
movl   $0x0,-0x4(%rbp)
jmp    136b <isMatch+0x25b>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    -0x18(%rbp),%rsi
add    $0x1,%rsi
call   1030 <isMatch@plt>
mov    %eax,-0x4(%rbp)
jmp    136b <isMatch+0x25b>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    1206 <isMatch+0xf6>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
add    $0x2,%rsi
call   1030 <isMatch@plt>
cmp    $0x0,%eax
je     1201 <isMatch+0xf1>
movl   $0x1,-0x4(%rbp)
jmp    136b <isMatch+0x25b>
jmp    1254 <isMatch+0x144>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     124f <isMatch+0x13f>
mov    -0x10(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
add    $0x2,%rsi
call   1030 <isMatch@plt>
cmp    $0x0,%eax
je     124a <isMatch+0x13a>
movl   $0x1,-0x4(%rbp)
jmp    136b <isMatch+0x25b>
jmp    1254 <isMatch+0x144>
jmp    1262 <isMatch+0x152>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11d1 <isMatch+0xc1>
movl   $0x0,-0x4(%rbp)
jmp    136b <isMatch+0x25b>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2a,%eax
je     12be <isMatch+0x1ae>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    12b2 <isMatch+0x1a2>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    -0x18(%rbp),%rsi
add    $0x1,%rsi
call   1030 <isMatch@plt>
mov    %eax,-0x4(%rbp)
jmp    136b <isMatch+0x25b>
movl   $0x0,-0x4(%rbp)
jmp    136b <isMatch+0x25b>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    12fa <isMatch+0x1ea>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
add    $0x2,%rsi
call   1030 <isMatch@plt>
cmp    $0x0,%eax
je     12f5 <isMatch+0x1e5>
movl   $0x1,-0x4(%rbp)
jmp    136b <isMatch+0x25b>
jmp    1356 <isMatch+0x246>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    134c <isMatch+0x23c>
mov    -0x10(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
add    $0x2,%rsi
call   1030 <isMatch@plt>
cmp    $0x0,%eax
je     1347 <isMatch+0x237>
movl   $0x1,-0x4(%rbp)
jmp    136b <isMatch+0x25b>
jmp    1351 <isMatch+0x241>
jmp    1364 <isMatch+0x254>
jmp    1356 <isMatch+0x246>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    12c5 <isMatch+0x1b5>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isMatch>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r15
test   %rsi,%rsi
je     117e <isMatch+0x6e>
mov    %rsi,%r14
mov    (%rsi),%bl
xor    %eax,%eax
jmp    113a <isMatch+0x2a>
nopl   0x0(%rax)
add    $0x1,%r14
add    $0x1,%r15
mov    %ecx,%ebx
cmp    $0x2e,%bl
je     1160 <isMatch+0x50>
test   %bl,%bl
je     117e <isMatch+0x6e>
movzbl 0x1(%r14),%ecx
cmp    $0x2a,%cl
je     1195 <isMatch+0x85>
cmp    %bl,(%r15)
je     1130 <isMatch+0x20>
jmp    1221 <isMatch+0x111>
nopw   0x0(%rax,%rax,1)
movzbl 0x1(%r14),%ecx
cmp    $0x2a,%cl
je     11da <isMatch+0xca>
test   %r15,%r15
je     1223 <isMatch+0x113>
cmpb   $0x0,(%r15)
jne    1130 <isMatch+0x20>
jmp    1223 <isMatch+0x113>
test   %r15,%r15
je     121a <isMatch+0x10a>
xor    %eax,%eax
cmpb   $0x0,(%r15)
sete   %al
jmp    1223 <isMatch+0x113>
add    $0x2,%r14
xor    %r12d,%r12d
test   %r12,%r12
je     11c0 <isMatch+0xb0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    %bl,-0x1(%r15,%r12,1)
jne    1221 <isMatch+0x111>
lea    (%r15,%r12,1),%rdi
jmp    11c3 <isMatch+0xb3>
nopl   (%rax)
mov    %r15,%rdi
mov    %r14,%rsi
call   1030 <isMatch@plt>
test   %eax,%eax
jne    121a <isMatch+0x10a>
add    $0x1,%r12
test   %r12,%r12
jne    11b0 <isMatch+0xa0>
jmp    11c0 <isMatch+0xb0>
add    $0x2,%r14
xor    %ebx,%ebx
test   %rbx,%rbx
je     1200 <isMatch+0xf0>
cs nopw 0x0(%rax,%rax,1)
nop
cmpb   $0x0,-0x1(%r15,%rbx,1)
je     1221 <isMatch+0x111>
lea    (%r15,%rbx,1),%rdi
jmp    1203 <isMatch+0xf3>
xchg   %ax,%ax
mov    %r15,%rdi
mov    %r14,%rsi
call   1030 <isMatch@plt>
test   %eax,%eax
jne    121a <isMatch+0x10a>
add    $0x1,%rbx
test   %rbx,%rbx
jne    11f0 <isMatch+0xe0>
jmp    1200 <isMatch+0xf0>
mov    $0x1,%eax
jmp    1223 <isMatch+0x113>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

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

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