#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 strlen(char const *);
int matches(const char *str, const char *expr) {
  int wild_head = 0;
  int wild_tail = 0;
  int str_len = strlen(str);
  const char *body_str = 0;
  int body_len = 0;
  const char *p;
  p = expr;
  while (*p == '*') {
    wild_head = 1;
    p++;
  }
  if (*p) {
    body_str = p;
  }
  while (*p && *p != '*') {
    body_len++;
    p++;
  }
  while (*p == '*') {
    wild_tail = 1;
    p++;
  }
  if (body_len == 0)
    return 1;
  for (p = str; p < str + str_len; p++) {
    int i;
    for (i = 0; i < body_len && p[i] == body_str[i]; i++)
      ;
    if (i == body_len)
      break;
  }
  if (p == str + str_len) {
    return 0;
  }
  if (p > str && !wild_head) {
    return 0;
  }
  if (p[body_len] != 0 && !wild_tail) {
    return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<matches>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x24(%rbp)
movq   $0x0,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
jne    1179 <matches+0x69>
movl   $0x1,-0x1c(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1151 <matches+0x41>
mov    -0x40(%rbp),%rax
cmpb   $0x0,(%rax)
je     118e <matches+0x7e>
mov    -0x40(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    1193 <matches+0x83>
mov    -0x40(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x45(%rbp)
je     11b8 <matches+0xa8>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
setne  %al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
test   $0x1,%al
jne    11c8 <matches+0xb8>
jmp    11e2 <matches+0xd2>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1193 <matches+0x83>
jmp    11e7 <matches+0xd7>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
jne    120f <matches+0xff>
movl   $0x1,-0x20(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11e7 <matches+0xd7>
cmpl   $0x0,-0x34(%rbp)
jne    1225 <matches+0x115>
movl   $0x1,-0x4(%rbp)
jmp    1341 <matches+0x231>
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
jae    12c7 <matches+0x1b7>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%ecx
xor    %eax,%eax
cmp    -0x34(%rbp),%ecx
mov    %al,-0x46(%rbp)
jge    127d <matches+0x16d>
mov    -0x40(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x30(%rbp),%rcx
movslq -0x44(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0x46(%rbp)
mov    -0x46(%rbp),%al
test   $0x1,%al
jne    128d <matches+0x17d>
jmp    12a0 <matches+0x190>
jmp    1292 <matches+0x182>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    124c <matches+0x13c>
mov    -0x44(%rbp),%eax
cmp    -0x34(%rbp),%eax
jne    12b1 <matches+0x1a1>
jmp    12c7 <matches+0x1b7>
jmp    12b6 <matches+0x1a6>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    122d <matches+0x11d>
mov    -0x40(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
jne    12eb <matches+0x1db>
movl   $0x0,-0x4(%rbp)
jmp    1341 <matches+0x231>
mov    -0x40(%rbp),%rax
cmp    -0x10(%rbp),%rax
jbe    130f <matches+0x1ff>
cmpl   $0x0,-0x1c(%rbp)
jne    130f <matches+0x1ff>
movl   $0x0,-0x4(%rbp)
jmp    1341 <matches+0x231>
mov    -0x40(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     133a <matches+0x22a>
cmpl   $0x0,-0x20(%rbp)
jne    133a <matches+0x22a>
movl   $0x0,-0x4(%rbp)
jmp    1341 <matches+0x231>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<matches>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%rbx
mov    %rdi,%r14
call   1030 <strlen@plt>
xor    %r10d,%r10d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rbx),%edx
cmp    $0x2a,%dl
jne    1141 <matches+0x31>
add    $0x1,%rbx
mov    $0x1,%r10b
jmp    1130 <matches+0x20>
test   %dl,%dl
jne    114a <matches+0x3a>
xor    %r11d,%r11d
jmp    114d <matches+0x3d>
mov    %rbx,%r11
xor    %esi,%esi
test   %dl,%dl
je     1172 <matches+0x62>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmp    $0x2a,%dl
je     1172 <matches+0x62>
movzbl 0x1(%rbx,%rsi,1),%edx
add    $0x1,%rsi
test   %dl,%dl
jne    1160 <matches+0x50>
test   %esi,%esi
je     11f7 <matches+0xe7>
cltq
lea    (%r14,%rax,1),%r8
mov    %r14,%rdi
test   %eax,%eax
jle    11cd <matches+0xbd>
mov    %rsi,%r9
neg    %r9
mov    %r14,%rdi
mov    %r9,%rax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
movzbl (%rdi,%rcx,1),%ebx
cmp    (%r11,%rcx,1),%bl
jne    11c0 <matches+0xb0>
add    $0x1,%rcx
inc    %rax
jne    11a0 <matches+0x90>
jmp    11cd <matches+0xbd>
cs nopw 0x0(%rax,%rax,1)
nop
test   %eax,%eax
je     11cd <matches+0xbd>
add    $0x1,%rdi
cmp    %r8,%rdi
jb     1190 <matches+0x80>
cmp    %r14,%rdi
setbe  %cl
xor    %eax,%eax
cmp    %r8,%rdi
je     11fc <matches+0xec>
or     %cl,%r10b
test   $0x1,%r10b
je     11fc <matches+0xec>
cmp    $0x2a,%dl
sete   %al
cmpb   $0x0,(%rdi,%rsi,1)
sete   %cl
or     %al,%cl
movzbl %cl,%eax
jmp    11fc <matches+0xec>
mov    $0x1,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define i32 @matches(i8* %0, i8* nocapture %1) {
%3 = tail call i32 @strlen(i8* %0)
br label %4
4: ; preds = %8, %2
%5 = phi i1 [ true, %8 ], [ false, %2 ]
%6 = phi i8* [ %9, %8 ], [ %1, %2 ]
%7 = load i8, i8* %6
switch i8 %7, label %11 [
i8 42, label %8
i8 0, label %10
]
8: ; preds = %4
%9 = getelementptr inbounds i8, i8* %6, i64 1
br label %4
10: ; preds = %4
br label %11
11: ; preds = %4, %10
%12 = phi i8* [ null, %10 ], [ %6, %4 ]
br label %13
13: ; preds = %17, %11
%14 = phi i8 [ %7, %11 ], [ %20, %17 ]
%15 = phi i32 [ 0, %11 ], [ %18, %17 ]
%16 = phi i8* [ %6, %11 ], [ %19, %17 ]
switch i8 %14, label %17 [
i8 0, label %21
i8 42, label %21
]
17: ; preds = %13
%18 = add nuw nsw i32 %15, 1
%19 = getelementptr inbounds i8, i8* %16, i64 1
%20 = load i8, i8* %19
br label %13
21: ; preds = %13, %13
%22 = icmp eq i8 %14, 42
%23 = icmp eq i32 %15, 0
br i1 %23, label %61, label %24
24: ; preds = %21
%25 = sext i32 %3 to i64
%26 = getelementptr inbounds i8, i8* %0, i64 %25
%27 = icmp sgt i32 %3, 0
br i1 %27, label %28, label %48
28: ; preds = %24
%29 = zext i32 %15 to i64
br label %30
30: ; preds = %28, %45
%31 = phi i8* [ %46, %45 ], [ %0, %28 ]
br label %32
32: ; preds = %30, %39
%33 = phi i64 [ 0, %30 ], [ %40, %39 ]
%34 = getelementptr inbounds i8, i8* %31, i64 %33
%35 = load i8, i8* %34
%36 = getelementptr inbounds i8, i8* %12, i64 %33
%37 = load i8, i8* %36
%38 = icmp eq i8 %35, %37
br i1 %38, label %39, label %42
39: ; preds = %32
%40 = add nuw nsw i64 %33, 1
%41 = icmp eq i64 %40, %29
br i1 %41, label %48, label %32
42: ; preds = %32
%43 = trunc i64 %33 to i32
%44 = icmp eq i32 %15, %43
br i1 %44, label %48, label %45
45: ; preds = %42
%46 = getelementptr inbounds i8, i8* %31, i64 1
%47 = icmp ult i8* %46, %26
br i1 %47, label %30, label %48
48: ; preds = %45, %42, %39, %24
%49 = phi i8* [ %0, %24 ], [ %31, %39 ], [ %31, %42 ], [ %46, %45 ]
%50 = icmp ne i8* %49, %26
%51 = icmp ule i8* %49, %0
%52 = or i1 %5, %51
%53 = and i1 %50, %52
br i1 %53, label %54, label %61
54: ; preds = %48
%55 = zext i32 %15 to i64
%56 = getelementptr inbounds i8, i8* %49, i64 %55
%57 = load i8, i8* %56
%58 = icmp eq i8 %57, 0
%59 = or i1 %22, %58
%60 = zext i1 %59 to i32
br label %61
61: ; preds = %54, %48, %21
%62 = phi i32 [ 1, %21 ], [ 0, %48 ], [ %60, %54 ]
ret i32 %62
}