int wild_cmp(char *str, char *wld) {
  int i, j, k;
  char *ps, *pw;
  if (*str == 0 && *wld == 0)
    return 1;
  ps = &str[1];
  pw = &wld[1];
  if (*str == *wld)
    return wild_cmp(ps, pw);
  if (*wld == '?')
    return wild_cmp(ps, pw);
  if (*wld == '*') {
    if (*pw == 0)
      return 1;
    while (*pw != *ps) {
    laba:
      if (*ps++ == 0)
        return 0;
    }
    if (wild_cmp(ps, pw))
      return 1;
    else
      goto laba;
  }
  return 0;
}


x86 assembly (clang, -O0):
<wild_cmp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    114c <wild_cmp+0x3c>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    114c <wild_cmp+0x3c>
movl   $0x1,-0x4(%rbp)
jmp    125a <wild_cmp+0x14a>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    118f <wild_cmp+0x7f>
mov    -0x30(%rbp),%rdi
mov    -0x38(%rbp),%rsi
call   1030 <wild_cmp@plt>
mov    %eax,-0x4(%rbp)
jmp    125a <wild_cmp+0x14a>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3f,%eax
jne    11b4 <wild_cmp+0xa4>
mov    -0x30(%rbp),%rdi
mov    -0x38(%rbp),%rsi
call   1030 <wild_cmp@plt>
mov    %eax,-0x4(%rbp)
jmp    125a <wild_cmp+0x14a>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
jne    1253 <wild_cmp+0x143>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    11e0 <wild_cmp+0xd0>
movl   $0x1,-0x4(%rbp)
jmp    125a <wild_cmp+0x14a>
jmp    11e5 <wild_cmp+0xd5>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
mov    -0x30(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     122c <wild_cmp+0x11c>
jmp    1200 <wild_cmp+0xf0>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1227 <wild_cmp+0x117>
movl   $0x0,-0x4(%rbp)
jmp    125a <wild_cmp+0x14a>
jmp    11e5 <wild_cmp+0xd5>
mov    -0x30(%rbp),%rdi
mov    -0x38(%rbp),%rsi
call   1030 <wild_cmp@plt>
cmp    $0x0,%eax
je     124e <wild_cmp+0x13e>
movl   $0x1,-0x4(%rbp)
jmp    125a <wild_cmp+0x14a>
jmp    1200 <wild_cmp+0xf0>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<wild_cmp>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    (%rdi),%cl
mov    (%rsi),%al
mov    $0x1,%r14d
mov    %ecx,%edx
or     %al,%dl
je     1197 <wild_cmp+0x87>
mov    %rsi,%rbx
mov    %rdi,%rbp
add    $0x1,%rbx
add    $0x1,%rbp
jmp    1155 <wild_cmp+0x45>
nopl   0x0(%rax,%rax,1)
movzbl 0x0(%rbp),%ecx
movzbl (%rbx),%eax
add    $0x1,%rbx
add    $0x1,%rbp
mov    %ecx,%edx
or     %al,%dl
je     1197 <wild_cmp+0x87>
cmp    %al,%cl
je     1140 <wild_cmp+0x30>
cmp    $0x3f,%al
je     1140 <wild_cmp+0x30>
cmp    $0x2a,%al
jne    1194 <wild_cmp+0x84>
mov    (%rbx),%r15b
test   %r15b,%r15b
jne    1179 <wild_cmp+0x69>
jmp    1197 <wild_cmp+0x87>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rbp
test   %r12b,%r12b
je     1194 <wild_cmp+0x84>
movzbl 0x0(%rbp),%r12d
cmp    %r12b,%r15b
jne    1170 <wild_cmp+0x60>
mov    %rbp,%rdi
mov    %rbx,%rsi
call   1030 <wild_cmp@plt>
test   %eax,%eax
je     1170 <wild_cmp+0x60>
jmp    1197 <wild_cmp+0x87>
xor    %r14d,%r14d
mov    %r14d,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

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