#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 crStrlen(char const *);
char *crStrstr(char const *, char const *);
char *crStrPatternMatch(const char *s, const char *pattern) {
  const int patLen = crStrlen(pattern);
  const int leadingWildcard = pattern[0] == '*';
  const int trailingWildcard = pattern[patLen - 1] == '*';
  if (!leadingWildcard) {
    if (!trailingWildcard) {
      return crStrstr(s, pattern);
    } else {
      char *p = crStrstr(s, pattern);
      if (p == s)
        return p;
      else
        return NULL;
    }
  } else {
    if (!trailingWildcard) {
      const char *pPtr = pattern + patLen - 1;
      const char *sPtr = s + crStrlen(s) - 1;
      while (pPtr >= pattern && sPtr >= s) {
        if (*pPtr == *sPtr) {
          pPtr--;
          sPtr--;
        } else {
          break;
        }
      }
      if (pPtr == pattern && sPtr >= s)
        return (char *)sPtr;
      else
        return NULL;
    } else {
      return crStrstr(s, pattern);
    }
  }
}


x86 assembly (clang, -O0):
<crStrPatternMatch>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <crStrlen@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2a,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x20(%rbp)
jne    11d3 <crStrPatternMatch+0xb3>
cmpl   $0x0,-0x24(%rbp)
jne    119a <crStrPatternMatch+0x7a>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1040 <crStrstr@plt>
mov    %rax,-0x8(%rbp)
jmp    12ca <crStrPatternMatch+0x1aa>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1040 <crStrstr@plt>
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x10(%rbp),%rax
jne    11c6 <crStrPatternMatch+0xa6>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12ca <crStrPatternMatch+0x1aa>
movq   $0x0,-0x8(%rbp)
jmp    12ca <crStrPatternMatch+0x1aa>
cmpl   $0x0,-0x24(%rbp)
jne    12b9 <crStrPatternMatch+0x199>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
add    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <crStrlen@plt>
mov    %eax,%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rcx
xor    %eax,%eax
cmp    -0x18(%rbp),%rcx
mov    %al,-0x49(%rbp)
jb     1236 <crStrPatternMatch+0x116>
mov    -0x40(%rbp),%rax
cmp    -0x10(%rbp),%rax
setae  %al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    1246 <crStrPatternMatch+0x126>
jmp    1283 <crStrPatternMatch+0x163>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
mov    -0x40(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    1279 <crStrPatternMatch+0x159>
mov    -0x38(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x40(%rbp)
jmp    127e <crStrPatternMatch+0x15e>
jmp    1283 <crStrPatternMatch+0x163>
jmp    1215 <crStrPatternMatch+0xf5>
mov    -0x38(%rbp),%rax
cmp    -0x18(%rbp),%rax
jne    12ac <crStrPatternMatch+0x18c>
mov    -0x40(%rbp),%rax
cmp    -0x10(%rbp),%rax
jb     12ac <crStrPatternMatch+0x18c>
mov    -0x40(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12ca <crStrPatternMatch+0x1aa>
movq   $0x0,-0x8(%rbp)
jmp    12ca <crStrPatternMatch+0x1aa>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1040 <crStrstr@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<crStrPatternMatch>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r15
mov    %rdi,%r14
mov    %rsi,%rdi
call   1030 <crStrlen@plt>
cmpb   $0x2a,(%r15)
movslq %eax,%rbx
mov    -0x1(%rbx,%r15,1),%bpl
jne    115e <crStrPatternMatch+0x3e>
cmp    $0x2a,%bpl
jne    117a <crStrPatternMatch+0x5a>
mov    %r14,%rdi
mov    %r15,%rsi
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <crStrstr@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   1040 <crStrstr@plt>
cmp    $0x2a,%bpl
jne    11cb <crStrPatternMatch+0xab>
xor    %ecx,%ecx
cmp    %r14,%rax
cmovne %rcx,%rax
jmp    11cb <crStrPatternMatch+0xab>
mov    %r14,%rdi
call   1030 <crStrlen@plt>
cltq
add    $0xffffffffffffffff,%rbx
lea    (%rax,%r14,1),%rdx
add    $0xffffffffffffffff,%rdx
mov    %rbx,%rcx
mov    %rdx,%rax
lea    (%r15,%rbx,1),%rsi
cmp    %r14,%rdx
setae  %dl
cmp    %r15,%rsi
jb     11bc <crStrPatternMatch+0x9c>
cmp    %r14,%rax
jb     11bc <crStrPatternMatch+0x9c>
movzbl (%rsi),%esi
lea    -0x1(%rcx),%rbx
lea    -0x1(%rax),%rdx
cmp    (%rax),%sil
je     1190 <crStrPatternMatch+0x70>
mov    $0x1,%dl
xor    %esi,%esi
test   %dl,%dl
cmove  %rsi,%rax
test   %rcx,%rcx
cmovne %rsi,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i8* @crStrPatternMatch(i8* %0, i8* %1) {
%3 = tail call i32 @crStrlen(i8* %1)
%4 = load i8, i8* %1
%5 = icmp eq i8 %4, 42
%6 = add nsw i32 %3, -1
%7 = sext i32 %6 to i64
%8 = getelementptr inbounds i8, i8* %1, i64 %7
%9 = load i8, i8* %8
%10 = icmp eq i8 %9, 42
br i1 %5, label %16, label %11
11: ; preds = %2
%12 = tail call i8* @crStrstr(i8* %0, i8* %1)
br i1 %10, label %13, label %43
13: ; preds = %11
%14 = icmp eq i8* %12, %0
%15 = select i1 %14, i8* %12, i8* null
br label %43
16: ; preds = %2
br i1 %10, label %41, label %17
17: ; preds = %16
%18 = sext i32 %3 to i64
%19 = getelementptr inbounds i8, i8* %1, i64 %18
%20 = tail call i32 @crStrlen(i8* %0)
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %0, i64 %21
br label %23
23: ; preds = %31, %17
%24 = phi i8* [ %19, %17 ], [ %27, %31 ]
%25 = phi i8* [ %22, %17 ], [ %26, %31 ]
%26 = getelementptr inbounds i8, i8* %25, i64 -1
%27 = getelementptr inbounds i8, i8* %24, i64 -1
%28 = icmp uge i8* %27, %1
%29 = icmp uge i8* %26, %0
%30 = select i1 %28, i1 %29, i1 false
br i1 %30, label %31, label %35
31: ; preds = %23
%32 = load i8, i8* %27
%33 = load i8, i8* %26
%34 = icmp eq i8 %32, %33
br i1 %34, label %23, label %35
35: ; preds = %31, %23
%36 = phi i1 [ true, %31 ], [ %29, %23 ]
%37 = icmp ne i8* %27, %1
%38 = xor i1 %36, true
%39 = select i1 %37, i1 true, i1 %38
%40 = select i1 %39, i8* null, i8* %26
br label %43
41: ; preds = %16
%42 = tail call i8* @crStrstr(i8* %0, i8* %1)
br label %43
43: ; preds = %11, %41, %35, %13
%44 = phi i8* [ %42, %41 ], [ %40, %35 ], [ %15, %13 ], [ %12, %11 ]
ret i8* %44
}