int match(const char *pattern, const char *str) {
  if (*pattern == '\0')
    return !*str;
  if (*pattern == '*')
    return match(pattern + 1, str) || (*str && match(pattern, str + 1));
  if (*pattern == '?')
    return *str && (*str != '.') && match(pattern + 1, str + 1);
  return (*str == *pattern) && match(pattern + 1, str + 1);
}


x86 assembly (clang, -O0):
<match>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1149 <match+0x39>
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    126b <match+0x15b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
jne    11bf <match+0xaf>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    -0x18(%rbp),%rsi
call   1030 <match@plt>
mov    %eax,%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0x19(%rbp)
jne    11af <match+0x9f>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1a(%rbp)
je     11a9 <match+0x99>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
add    $0x1,%rsi
call   1030 <match@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0x1a(%rbp)
mov    -0x1a(%rbp),%al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    126b <match+0x15b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3f,%eax
jne    1227 <match+0x117>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1b(%rbp)
je     1217 <match+0x107>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x2e,%ecx
mov    %al,-0x1b(%rbp)
je     1217 <match+0x107>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    -0x18(%rbp),%rsi
add    $0x1,%rsi
call   1030 <match@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0x1b(%rbp)
mov    -0x1b(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    126b <match+0x15b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
mov    -0x10(%rbp),%rax
movsbl (%rax),%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x1c(%rbp)
jne    1260 <match+0x150>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    -0x18(%rbp),%rsi
add    $0x1,%rsi
call   1030 <match@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0x1c(%rbp)
mov    -0x1c(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<match>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%rbx
mov    (%rdi),%al
cmp    $0x3f,%al
je     1131 <match+0x21>
cmp    $0x2a,%al
je     1140 <match+0x30>
test   %al,%al
jne    115a <match+0x4a>
cmpb   $0x0,(%r14)
sete   %cl
jmp    117b <match+0x6b>
mov    (%r14),%al
xor    %ecx,%ecx
test   %al,%al
je     117b <match+0x6b>
cmp    $0x2e,%al
je     117b <match+0x6b>
jmp    115f <match+0x4f>
lea    0x1(%rbx),%rdi
mov    %r14,%rsi
call   1030 <match@plt>
mov    $0x1,%cl
test   %eax,%eax
jne    117b <match+0x6b>
cmpb   $0x0,(%r14)
jne    1163 <match+0x53>
jmp    1179 <match+0x69>
cmp    %al,(%r14)
jne    1179 <match+0x69>
add    $0x1,%rbx
add    $0x1,%r14
mov    %rbx,%rdi
mov    %r14,%rsi
call   1030 <match@plt>
test   %eax,%eax
setne  %cl
jmp    117b <match+0x6b>
xor    %ecx,%ecx
movzbl %cl,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

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