#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int cut_string(char *, char);
int strlen(char *);
scalar_t__ strncmp(char *, char *, int);
int /*<<< orphan*/ strncpy(char *, char *, int);
char *strstr(char *, char *);
int match_with_wildcards(char *buf1, char *buf2) {
  int k = 0;
  char token[121 + 1];
  char *fbuf, *ubuf;
  fbuf = buf2;
  ubuf = buf1;
  while ((*fbuf != '\0') && (*ubuf != '\0')) {
    if (*fbuf == '\\') {
      fbuf++;
      if (*fbuf == '\0')
        return 0;
      if (*fbuf == '\\') {
        if (*ubuf != '\\')
          return 0;
      } else if (*fbuf == '*') {
        if (*ubuf != '*')
          return 0;
      } else
        return 0;
    }
    if (*fbuf == '*') {
      fbuf++;
      if (*fbuf == '\0')
        return 1;
      if (*fbuf == '*')
        return 0;
      if ((k = cut_string(fbuf, '*') + 1) == 0)
        k = strlen(fbuf) + 1;
      if (k == 1)
        k = strlen(fbuf);
      if ((strncmp(fbuf, ubuf, k) == 0) && (*(ubuf + k) == '\0'))
        return 1;
      strncpy(token, fbuf, k - 1);
      *(token + k - 1) = '\0';
      if (strstr(ubuf, token) == NULL)
        return 0;
      fbuf += k - 2;
      ubuf = strstr(ubuf, token) + k - 2;
    } else if (*fbuf != *ubuf)
      return 0;
    fbuf++;
    ubuf++;
  }
  if ((*ubuf == '\0') && ((*fbuf == '*') && (*(fbuf + 1) == '\0')))
    return 1;
  if (*fbuf != *ubuf) {
    fbuf = buf2 + strlen(buf2) - 1;
    ubuf = buf1 + strlen(buf1) - 1;
    while ((fbuf >= buf2) && (*fbuf != '*')) {
      if (*fbuf != *ubuf)
        return 0;
      fbuf--;
      ubuf--;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<match_with_wildcards>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0xb0(%rbp)
mov    -0xa8(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0xb1(%rbp)
je     11b1 <match_with_wildcards+0x61>
mov    -0xb0(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0xb1(%rbp)
mov    -0xb1(%rbp),%al
test   $0x1,%al
jne    11c4 <match_with_wildcards+0x74>
jmp    1466 <match_with_wildcards+0x316>
mov    -0xa8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    128c <match_with_wildcards+0x13c>
mov    -0xa8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1208 <match_with_wildcards+0xb8>
movl   $0x0,-0x4(%rbp)
jmp    15c3 <match_with_wildcards+0x473>
mov    -0xa8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    123f <match_with_wildcards+0xef>
mov    -0xb0(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
je     123a <match_with_wildcards+0xea>
movl   $0x0,-0x4(%rbp)
jmp    15c3 <match_with_wildcards+0x473>
jmp    1287 <match_with_wildcards+0x137>
mov    -0xa8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
jne    1276 <match_with_wildcards+0x126>
mov    -0xb0(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
je     1271 <match_with_wildcards+0x121>
movl   $0x0,-0x4(%rbp)
jmp    15c3 <match_with_wildcards+0x473>
jmp    1282 <match_with_wildcards+0x132>
movl   $0x0,-0x4(%rbp)
jmp    15c3 <match_with_wildcards+0x473>
jmp    1287 <match_with_wildcards+0x137>
jmp    128c <match_with_wildcards+0x13c>
mov    -0xa8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
jne    1410 <match_with_wildcards+0x2c0>
mov    -0xa8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    12d0 <match_with_wildcards+0x180>
movl   $0x1,-0x4(%rbp)
jmp    15c3 <match_with_wildcards+0x473>
mov    -0xa8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
jne    12ef <match_with_wildcards+0x19f>
movl   $0x0,-0x4(%rbp)
jmp    15c3 <match_with_wildcards+0x473>
mov    -0xa8(%rbp),%rdi
mov    $0x2a,%esi
call   1060 <cut_string@plt>
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    1321 <match_with_wildcards+0x1d1>
mov    -0xa8(%rbp),%rdi
call   1050 <strlen@plt>
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x1,-0x1c(%rbp)
jne    133a <match_with_wildcards+0x1ea>
mov    -0xa8(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x1c(%rbp)
mov    -0xa8(%rbp),%rdi
mov    -0xb0(%rbp),%rsi
mov    -0x1c(%rbp),%edx
call   1040 <strncmp@plt>
cmp    $0x0,%rax
jne    137e <match_with_wildcards+0x22e>
mov    -0xb0(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    137e <match_with_wildcards+0x22e>
movl   $0x1,-0x4(%rbp)
jmp    15c3 <match_with_wildcards+0x473>
lea    -0xa0(%rbp),%rdi
mov    -0xa8(%rbp),%rsi
mov    -0x1c(%rbp),%edx
sub    $0x1,%edx
call   1030 <strncpy@plt>
movslq -0x1c(%rbp),%rax
movb   $0x0,-0xa1(%rbp,%rax,1)
mov    -0xb0(%rbp),%rdi
lea    -0xa0(%rbp),%rsi
call   1070 <strstr@plt>
cmp    $0x0,%rax
jne    13cc <match_with_wildcards+0x27c>
movl   $0x0,-0x4(%rbp)
jmp    15c3 <match_with_wildcards+0x473>
mov    -0x1c(%rbp),%ecx
sub    $0x2,%ecx
mov    -0xa8(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xb0(%rbp),%rdi
lea    -0xa0(%rbp),%rsi
call   1070 <strstr@plt>
movslq -0x1c(%rbp),%rcx
add    %rcx,%rax
add    $0xfffffffffffffffe,%rax
mov    %rax,-0xb0(%rbp)
jmp    143d <match_with_wildcards+0x2ed>
mov    -0xa8(%rbp),%rax
movsbl (%rax),%eax
mov    -0xb0(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     1438 <match_with_wildcards+0x2e8>
movl   $0x0,-0x4(%rbp)
jmp    15c3 <match_with_wildcards+0x473>
jmp    143d <match_with_wildcards+0x2ed>
mov    -0xa8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xb0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xb0(%rbp)
jmp    1180 <match_with_wildcards+0x30>
mov    -0xb0(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    14ac <match_with_wildcards+0x35c>
mov    -0xa8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
jne    14ac <match_with_wildcards+0x35c>
mov    -0xa8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    14ac <match_with_wildcards+0x35c>
movl   $0x1,-0x4(%rbp)
jmp    15c3 <match_with_wildcards+0x473>
mov    -0xa8(%rbp),%rax
movsbl (%rax),%eax
mov    -0xb0(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     15bc <match_with_wildcards+0x46c>
mov    -0x18(%rbp),%rax
mov    %rax,-0xc8(%rbp)
mov    -0x18(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0xc8(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0xa8(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0xc0(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0xc0(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0xb0(%rbp)
mov    -0xa8(%rbp),%rcx
xor    %eax,%eax
cmp    -0x18(%rbp),%rcx
mov    %al,-0xc9(%rbp)
jb     1553 <match_with_wildcards+0x403>
mov    -0xa8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
setne  %al
mov    %al,-0xc9(%rbp)
mov    -0xc9(%rbp),%al
test   $0x1,%al
jne    1566 <match_with_wildcards+0x416>
jmp    15b7 <match_with_wildcards+0x467>
mov    -0xa8(%rbp),%rax
movsbl (%rax),%eax
mov    -0xb0(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     158e <match_with_wildcards+0x43e>
movl   $0x0,-0x4(%rbp)
jmp    15c3 <match_with_wildcards+0x473>
mov    -0xa8(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xb0(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0xb0(%rbp)
jmp    1524 <match_with_wildcards+0x3d4>
jmp    15bc <match_with_wildcards+0x46c>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<match_with_wildcards>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x98,%rsp
mov    %rsi,%r15
mov    %rdi,%r13
mov    (%rsi),%al
mov    %rdi,0x8(%rsp)
test   %al,%al
je     128e <match_with_wildcards+0x13e>
mov    0x8(%rsp),%r13
mov    %r15,%rbx
jmp    119c <match_with_wildcards+0x4c>
cmp    %cl,%al
jne    12ec <match_with_wildcards+0x19c>
add    $0x1,%r13
movzbl 0x1(%rbx),%eax
add    $0x1,%rbx
test   %al,%al
je     128e <match_with_wildcards+0x13e>
movzbl 0x0(%r13),%ecx
test   %cl,%cl
je     12f1 <match_with_wildcards+0x1a1>
cmp    $0x2a,%al
je     11dd <match_with_wildcards+0x8d>
cmp    $0x5c,%al
jne    1180 <match_with_wildcards+0x30>
movzbl 0x1(%rbx),%edx
add    $0x1,%rbx
xor    %r14d,%r14d
cmp    $0x2a,%dl
je     11d4 <match_with_wildcards+0x84>
cmp    $0x5c,%dl
jne    1301 <match_with_wildcards+0x1b1>
cmp    $0x5c,%cl
je     1180 <match_with_wildcards+0x30>
jmp    1301 <match_with_wildcards+0x1b1>
cmp    $0x2a,%cl
jne    1301 <match_with_wildcards+0x1b1>
movzbl 0x1(%rbx),%eax
mov    $0x1,%r14d
test   %al,%al
je     1301 <match_with_wildcards+0x1b1>
cmp    $0x2a,%al
je     12ec <match_with_wildcards+0x19c>
add    $0x1,%rbx
mov    %rbx,%rdi
mov    $0x2a,%esi
call   1060 <cut_string@plt>
mov    %eax,%r12d
inc    %r12d
jne    121f <match_with_wildcards+0xcf>
mov    %rbx,%rdi
call   1050 <strlen@plt>
mov    %eax,%r12d
add    $0x1,%r12d
cmp    $0x1,%r12d
jne    1230 <match_with_wildcards+0xe0>
mov    %rbx,%rdi
call   1050 <strlen@plt>
mov    %eax,%r12d
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %r12d,%edx
call   1040 <strncmp@plt>
movslq %r12d,%rbp
test   %rax,%rax
jne    1252 <match_with_wildcards+0x102>
cmpb   $0x0,0x0(%r13,%rbp,1)
je     1301 <match_with_wildcards+0x1b1>
lea    -0x1(%rbp),%edx
lea    0x10(%rsp),%r14
mov    %r14,%rdi
mov    %rbx,%rsi
call   1030 <strncpy@plt>
movb   $0x0,0xf(%rsp,%rbp,1)
mov    %r13,%rdi
mov    %r14,%rsi
call   1070 <strstr@plt>
test   %rax,%rax
je     12ec <match_with_wildcards+0x19c>
add    %rbp,%rbx
add    $0xfffffffffffffffe,%rbx
lea    (%rax,%rbp,1),%r13
add    $0xfffffffffffffffe,%r13
jmp    1188 <match_with_wildcards+0x38>
cmpb   $0x0,0x0(%r13)
je     12fb <match_with_wildcards+0x1ab>
mov    %r15,%rdi
call   1050 <strlen@plt>
movslq %eax,%rbx
mov    0x8(%rsp),%rbp
mov    %rbp,%rdi
call   1050 <strlen@plt>
movslq %eax,%rcx
lea    (%rbx,%r15,1),%rax
add    $0xffffffffffffffff,%rax
add    %rbp,%rcx
add    $0xffffffffffffffff,%rcx
mov    $0x1,%r14d
cs nopw 0x0(%rax,%rax,1)
nop
cmp    %r15,%rax
jb     1301 <match_with_wildcards+0x1b1>
movzbl (%rax),%edx
cmp    $0x2a,%dl
je     1301 <match_with_wildcards+0x1b1>
add    $0xffffffffffffffff,%rax
lea    -0x1(%rcx),%rsi
cmp    (%rcx),%dl
mov    %rsi,%rcx
je     12d0 <match_with_wildcards+0x180>
xor    %r14d,%r14d
jmp    1301 <match_with_wildcards+0x1b1>
cmp    $0x2a,%al
jne    1295 <match_with_wildcards+0x145>
cmpb   $0x0,0x1(%rbx)
jne    1295 <match_with_wildcards+0x145>
mov    $0x1,%r14d
mov    %r14d,%eax
add    $0x98,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @match_with_wildcards(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca [122 x i8]
%8 = alloca i8*
%9 = alloca i8*
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 0, i32* %6
%10 = load i8*, i8** %5
store i8* %10, i8** %8
%11 = load i8*, i8** %4
store i8* %11, i8** %9
br label %12
12: ; preds = %152, %2
%13 = load i8*, i8** %8
%14 = load i8, i8* %13
%15 = sext i8 %14 to i32
%16 = icmp ne i32 %15, 0
br i1 %16, label %17, label %22
17: ; preds = %12
%18 = load i8*, i8** %9
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = icmp ne i32 %20, 0
br label %22
22: ; preds = %17, %12
%23 = phi i1 [ false, %12 ], [ %21, %17 ]
br i1 %23, label %24, label %157
24: ; preds = %22
%25 = load i8*, i8** %8
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = icmp eq i32 %27, 92
br i1 %28, label %29, label %64
29: ; preds = %24
%30 = load i8*, i8** %8
%31 = getelementptr inbounds i8, i8* %30, i32 1
store i8* %31, i8** %8
%32 = load i8*, i8** %8
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = icmp eq i32 %34, 0
br i1 %35, label %36, label %37
36: ; preds = %29
store i32 0, i32* %3
br label %222
37: ; preds = %29
%38 = load i8*, i8** %8
%39 = load i8, i8* %38
%40 = sext i8 %39 to i32
%41 = icmp eq i32 %40, 92
br i1 %41, label %42, label %49
42: ; preds = %37
%43 = load i8*, i8** %9
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
%46 = icmp ne i32 %45, 92
br i1 %46, label %47, label %48
47: ; preds = %42
store i32 0, i32* %3
br label %222
48: ; preds = %42
br label %63
49: ; preds = %37
%50 = load i8*, i8** %8
%51 = load i8, i8* %50
%52 = sext i8 %51 to i32
%53 = icmp eq i32 %52, 42
br i1 %53, label %54, label %61
54: ; preds = %49
%55 = load i8*, i8** %9
%56 = load i8, i8* %55
%57 = sext i8 %56 to i32
%58 = icmp ne i32 %57, 42
br i1 %58, label %59, label %60
59: ; preds = %54
store i32 0, i32* %3
br label %222
60: ; preds = %54
br label %62
61: ; preds = %49
store i32 0, i32* %3
br label %222
62: ; preds = %60
br label %63
63: ; preds = %62, %48
br label %64
64: ; preds = %63, %24
%65 = load i8*, i8** %8
%66 = load i8, i8* %65
%67 = sext i8 %66 to i32
%68 = icmp eq i32 %67, 42
br i1 %68, label %69, label %142
69: ; preds = %64
%70 = load i8*, i8** %8
%71 = getelementptr inbounds i8, i8* %70, i32 1
store i8* %71, i8** %8
%72 = load i8*, i8** %8
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = icmp eq i32 %74, 0
br i1 %75, label %76, label %77
76: ; preds = %69
store i32 1, i32* %3
br label %222
77: ; preds = %69
%78 = load i8*, i8** %8
%79 = load i8, i8* %78
%80 = sext i8 %79 to i32
%81 = icmp eq i32 %80, 42
br i1 %81, label %82, label %83
82: ; preds = %77
store i32 0, i32* %3
br label %222
83: ; preds = %77
%84 = load i8*, i8** %8
%85 = call i32 @cut_string(i8* %84, i8 signext 42)
%86 = add nsw i32 %85, 1
store i32 %86, i32* %6
%87 = icmp eq i32 %86, 0
br i1 %87, label %88, label %92
88: ; preds = %83
%89 = load i8*, i8** %8
%90 = call i32 @strlen(i8* %89)
%91 = add nsw i32 %90, 1
store i32 %91, i32* %6
br label %92
92: ; preds = %88, %83
%93 = load i32, i32* %6
%94 = icmp eq i32 %93, 1
br i1 %94, label %95, label %98
95: ; preds = %92
%96 = load i8*, i8** %8
%97 = call i32 @strlen(i8* %96)
store i32 %97, i32* %6
br label %98
98: ; preds = %95, %92
%99 = load i8*, i8** %8
%100 = load i8*, i8** %9
%101 = load i32, i32* %6
%102 = call i64 @strncmp(i8* %99, i8* %100, i32 %101)
%103 = icmp eq i64 %102, 0
br i1 %103, label %104, label %113
104: ; preds = %98
%105 = load i8*, i8** %9
%106 = load i32, i32* %6
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds i8, i8* %105, i64 %107
%109 = load i8, i8* %108
%110 = sext i8 %109 to i32
%111 = icmp eq i32 %110, 0
br i1 %111, label %112, label %113
112: ; preds = %104
store i32 1, i32* %3
br label %222
113: ; preds = %104, %98
%114 = getelementptr inbounds [122 x i8], [122 x i8]* %7, i64 0, i64 0
%115 = load i8*, i8** %8
%116 = load i32, i32* %6
%117 = sub nsw i32 %116, 1
%118 = call i32 @strncpy(i8* %114, i8* %115, i32 %117)
%119 = getelementptr inbounds [122 x i8], [122 x i8]* %7, i64 0, i64 0
%120 = load i32, i32* %6
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds i8, i8* %119, i64 %121
%123 = getelementptr inbounds i8, i8* %122, i64 -1
store i8 0, i8* %123
%124 = load i8*, i8** %9
%125 = getelementptr inbounds [122 x i8], [122 x i8]* %7, i64 0, i64 0
%126 = call i8* @strstr(i8* %124, i8* %125)
%127 = icmp eq i8* %126, null
br i1 %127, label %128, label %129
128: ; preds = %113
store i32 0, i32* %3
br label %222
129: ; preds = %113
%130 = load i32, i32* %6
%131 = sub nsw i32 %130, 2
%132 = load i8*, i8** %8
%133 = sext i32 %131 to i64
%134 = getelementptr inbounds i8, i8* %132, i64 %133
store i8* %134, i8** %8
%135 = load i8*, i8** %9
%136 = getelementptr inbounds [122 x i8], [122 x i8]* %7, i64 0, i64 0
%137 = call i8* @strstr(i8* %135, i8* %136)
%138 = load i32, i32* %6
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds i8, i8* %137, i64 %139
%141 = getelementptr inbounds i8, i8* %140, i64 -2
store i8* %141, i8** %9
br label %152
142: ; preds = %64
%143 = load i8*, i8** %8
%144 = load i8, i8* %143
%145 = sext i8 %144 to i32
%146 = load i8*, i8** %9
%147 = load i8, i8* %146
%148 = sext i8 %147 to i32
%149 = icmp ne i32 %145, %148
br i1 %149, label %150, label %151
150: ; preds = %142
store i32 0, i32* %3
br label %222
151: ; preds = %142
br label %152
152: ; preds = %151, %129
%153 = load i8*, i8** %8
%154 = getelementptr inbounds i8, i8* %153, i32 1
store i8* %154, i8** %8
%155 = load i8*, i8** %9
%156 = getelementptr inbounds i8, i8* %155, i32 1
store i8* %156, i8** %9
br label %12
157: ; preds = %22
%158 = load i8*, i8** %9
%159 = load i8, i8* %158
%160 = sext i8 %159 to i32
%161 = icmp eq i32 %160, 0
br i1 %161, label %162, label %174
162: ; preds = %157
%163 = load i8*, i8** %8
%164 = load i8, i8* %163
%165 = sext i8 %164 to i32
%166 = icmp eq i32 %165, 42
br i1 %166, label %167, label %174
167: ; preds = %162
%168 = load i8*, i8** %8
%169 = getelementptr inbounds i8, i8* %168, i64 1
%170 = load i8, i8* %169
%171 = sext i8 %170 to i32
%172 = icmp eq i32 %171, 0
br i1 %172, label %173, label %174
173: ; preds = %167
store i32 1, i32* %3
br label %222
174: ; preds = %167, %162, %157
%175 = load i8*, i8** %8
%176 = load i8, i8* %175
%177 = sext i8 %176 to i32
%178 = load i8*, i8** %9
%179 = load i8, i8* %178
%180 = sext i8 %179 to i32
%181 = icmp ne i32 %177, %180
br i1 %181, label %182, label %221
182: ; preds = %174
%183 = load i8*, i8** %5
%184 = load i8*, i8** %5
%185 = call i32 @strlen(i8* %184)
%186 = sext i32 %185 to i64
%187 = getelementptr inbounds i8, i8* %183, i64 %186
%188 = getelementptr inbounds i8, i8* %187, i64 -1
store i8* %188, i8** %8
%189 = load i8*, i8** %4
%190 = load i8*, i8** %4
%191 = call i32 @strlen(i8* %190)
%192 = sext i32 %191 to i64
%193 = getelementptr inbounds i8, i8* %189, i64 %192
%194 = getelementptr inbounds i8, i8* %193, i64 -1
store i8* %194, i8** %9
br label %195
195: ; preds = %215, %182
%196 = load i8*, i8** %8
%197 = load i8*, i8** %5
%198 = icmp uge i8* %196, %197
br i1 %198, label %199, label %204
199: ; preds = %195
%200 = load i8*, i8** %8
%201 = load i8, i8* %200
%202 = sext i8 %201 to i32
%203 = icmp ne i32 %202, 42
br label %204
204: ; preds = %199, %195
%205 = phi i1 [ false, %195 ], [ %203, %199 ]
br i1 %205, label %206, label %220
206: ; preds = %204
%207 = load i8*, i8** %8
%208 = load i8, i8* %207
%209 = sext i8 %208 to i32
%210 = load i8*, i8** %9
%211 = load i8, i8* %210
%212 = sext i8 %211 to i32
%213 = icmp ne i32 %209, %212
br i1 %213, label %214, label %215
214: ; preds = %206
store i32 0, i32* %3
br label %222
215: ; preds = %206
%216 = load i8*, i8** %8
%217 = getelementptr inbounds i8, i8* %216, i32 -1
store i8* %217, i8** %8
%218 = load i8*, i8** %9
%219 = getelementptr inbounds i8, i8* %218, i32 -1
store i8* %219, i8** %9
br label %195
220: ; preds = %204
br label %221
221: ; preds = %220, %174
store i32 1, i32* %3
br label %222
222: ; preds = %221, %214, %173, %150, %128, %112, %82, %76, %61, %59, %47, %36
%223 = load i32, i32* %3
ret i32 %223
}

LLVM IR (-O2):
define i32 @match_with_wildcards(i8* %0, i8* %1) {
%3 = alloca [122 x i8]
%4 = getelementptr inbounds [122 x i8], [122 x i8]* %3, i64 0, i64 0
%5 = load i8, i8* %1
%6 = icmp eq i8 %5, 0
br i1 %6, label %75, label %7
7: ; preds = %2, %62
%8 = phi i8 [ %67, %62 ], [ %5, %2 ]
%9 = phi i8* [ %66, %62 ], [ %0, %2 ]
%10 = phi i8* [ %65, %62 ], [ %1, %2 ]
%11 = load i8, i8* %9
%12 = icmp eq i8 %11, 0
br i1 %12, label %69, label %13
13: ; preds = %7
switch i8 %8, label %59 [
i8 92, label %14
i8 42, label %21
]
14: ; preds = %13
%15 = getelementptr inbounds i8, i8* %10, i64 1
%16 = load i8, i8* %15
switch i8 %16, label %98 [
i8 42, label %19
i8 92, label %17
]
17: ; preds = %14
%18 = icmp eq i8 %11, 92
br i1 %18, label %59, label %98
19: ; preds = %14
%20 = icmp eq i8 %11, 42
br i1 %20, label %21, label %98
21: ; preds = %13, %19
%22 = phi i8* [ %15, %19 ], [ %10, %13 ]
%23 = getelementptr inbounds i8, i8* %22, i64 1
%24 = load i8, i8* %23
switch i8 %24, label %25 [
i8 0, label %98
i8 42, label %100
]
25: ; preds = %21
%26 = call i32 @cut_string(i8* %23, i8 signext 42)
%27 = add nsw i32 %26, 1
%28 = icmp eq i32 %27, 0
br i1 %28, label %29, label %32
29: ; preds = %25
%30 = call i32 @strlen(i8* %23)
%31 = add nsw i32 %30, 1
br label %32
32: ; preds = %29, %25
%33 = phi i32 [ %31, %29 ], [ %27, %25 ]
%34 = icmp eq i32 %33, 1
br i1 %34, label %35, label %37
35: ; preds = %32
%36 = call i32 @strlen(i8* %23)
br label %37
37: ; preds = %35, %32
%38 = phi i32 [ %36, %35 ], [ %33, %32 ]
%39 = call i64 @strncmp(i8* %23, i8* %9, i32 %38)
%40 = icmp eq i64 %39, 0
%41 = sext i32 %38 to i64
br i1 %40, label %42, label %46
42: ; preds = %37
%43 = getelementptr inbounds i8, i8* %9, i64 %41
%44 = load i8, i8* %43
%45 = icmp eq i8 %44, 0
br i1 %45, label %98, label %46
46: ; preds = %37, %42
%47 = add nsw i32 %38, -1
%48 = call i32 @strncpy(i8* %4, i8* %23, i32 %47)
%49 = getelementptr inbounds [122 x i8], [122 x i8]* %3, i64 0, i64 %41
%50 = getelementptr inbounds i8, i8* %49, i64 -1
store i8 0, i8* %50
%51 = call i8* @strstr(i8* %9, i8* %4)
%52 = icmp eq i8* %51, null
br i1 %52, label %98, label %53
53: ; preds = %46
%54 = add nsw i32 %38, -2
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i8, i8* %23, i64 %55
%57 = getelementptr inbounds i8, i8* %51, i64 -2
%58 = getelementptr inbounds i8, i8* %57, i64 %41
br label %62
59: ; preds = %13, %17
%60 = phi i8* [ %15, %17 ], [ %10, %13 ]
%61 = icmp eq i8 %8, %11
br i1 %61, label %62, label %98
62: ; preds = %59, %53
%63 = phi i8* [ %56, %53 ], [ %60, %59 ]
%64 = phi i8* [ %58, %53 ], [ %9, %59 ]
%65 = getelementptr inbounds i8, i8* %63, i64 1
%66 = getelementptr inbounds i8, i8* %64, i64 1
%67 = load i8, i8* %65
%68 = icmp eq i8 %67, 0
br i1 %68, label %75, label %7
69: ; preds = %7
%70 = icmp eq i8 %8, 42
br i1 %70, label %71, label %79
71: ; preds = %69
%72 = getelementptr inbounds i8, i8* %10, i64 1
%73 = load i8, i8* %72
%74 = icmp eq i8 %73, 0
br i1 %74, label %100, label %79
75: ; preds = %62, %2
%76 = phi i8* [ %0, %2 ], [ %66, %62 ]
%77 = load i8, i8* %76
%78 = icmp eq i8 %77, 0
br i1 %78, label %100, label %79
79: ; preds = %69, %71, %75
%80 = call i32 @strlen(i8* %1)
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i8, i8* %1, i64 %81
%83 = call i32 @strlen(i8* %0)
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8, i8* %0, i64 %84
br label %86
86: ; preds = %95, %79
%87 = phi i8* [ %82, %79 ], [ %90, %95 ]
%88 = phi i8* [ %85, %79 ], [ %89, %95 ]
%89 = getelementptr inbounds i8, i8* %88, i64 -1
%90 = getelementptr inbounds i8, i8* %87, i64 -1
%91 = icmp ult i8* %90, %1
br i1 %91, label %100, label %92
92: ; preds = %86
%93 = load i8, i8* %90
%94 = icmp eq i8 %93, 42
br i1 %94, label %100, label %95
95: ; preds = %92
%96 = load i8, i8* %89
%97 = icmp eq i8 %93, %96
br i1 %97, label %86, label %100
98: ; preds = %17, %19, %14, %21, %42, %46, %59
%99 = phi i32 [ 0, %59 ], [ 0, %46 ], [ 1, %42 ], [ 1, %21 ], [ 0, %14 ], [ 0, %19 ], [ 0, %17 ]
br label %100
100: ; preds = %86, %92, %95, %21, %98, %75, %71
%101 = phi i32 [ 1, %71 ], [ 1, %75 ], [ %99, %98 ], [ 0, %21 ], [ 1, %86 ], [ 1, %92 ], [ 0, %95 ]
ret i32 %101
}