#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 */
scalar_t__ malloc(int);
scalar_t__ strcmp(char *, char *);
scalar_t__ strlen(char *);
char *strtok(char *, char *);
bool wordPattern(char *pattern, char *str) {
  const int LEN = 26;
  char **map = (char **)malloc(sizeof(char *) * LEN);
  for (int i = 0; i < LEN; i++)
    map[i] = "";
  char *cur;
  cur = strtok(str, " ");
  if (strlen(pattern) == 0 && cur)
    return false;
  map[*pattern - 'a'] = cur;
  while (*pattern++) {
    if (*pattern == '\0')
      break;
    int key = *pattern - 'a';
    cur = strtok(NULL, " ");
    if (!cur)
      return false;
    if (map[key] == "") {
      for (int i = 0; i < LEN; i++)
        if (strcmp(map[i], cur) == 0)
          return false;
      map[key] = cur;
    }
    if (strcmp(map[key], cur) != 0)
      return false;
  }
  cur = strtok(NULL, " ");
  return !cur;
}


x86 assembly (clang, -O0):
<wordPattern>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x1a,-0x1c(%rbp)
mov    $0xd0,%edi
call   1050 <malloc@plt>
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x1a,-0x2c(%rbp)
jge    1197 <wordPattern+0x57>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
lea    0xe7c(%rip),%rdx
mov    %rdx,(%rax,%rcx,8)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    116c <wordPattern+0x2c>
mov    -0x18(%rbp),%rdi
lea    0xe5e(%rip),%rsi
call   1060 <strtok@plt>
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
cmp    $0x0,%rax
jne    11d5 <wordPattern+0x95>
cmpq   $0x0,-0x38(%rbp)
je     11d5 <wordPattern+0x95>
movl   $0x0,-0x4(%rbp)
jmp    1321 <wordPattern+0x1e1>
mov    -0x38(%rbp),%rdx
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
sub    $0x61,%ecx
movslq %ecx,%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
cmpb   $0x0,(%rax)
je     12fb <wordPattern+0x1bb>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    121b <wordPattern+0xdb>
jmp    12fb <wordPattern+0x1bb>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
sub    $0x61,%eax
mov    %eax,-0x3c(%rbp)
xor    %eax,%eax
mov    %eax,%edi
lea    0xdcd(%rip),%rsi
call   1060 <strtok@plt>
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
jne    1253 <wordPattern+0x113>
movl   $0x0,-0x4(%rbp)
jmp    1321 <wordPattern+0x1e1>
mov    -0x28(%rbp),%rax
movslq -0x3c(%rbp),%rcx
lea    0xd9f(%rip),%rdx
cmp    %rdx,(%rax,%rcx,8)
jne    12cb <wordPattern+0x18b>
movl   $0x0,-0x40(%rbp)
cmpl   $0x1a,-0x40(%rbp)
jge    12bb <wordPattern+0x17b>
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x38(%rbp),%rsi
call   1040 <strcmp@plt>
cmp    $0x0,%rax
jne    12a8 <wordPattern+0x168>
movl   $0x0,-0x4(%rbp)
jmp    1321 <wordPattern+0x1e1>
jmp    12ad <wordPattern+0x16d>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1273 <wordPattern+0x133>
mov    -0x38(%rbp),%rdx
mov    -0x28(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x28(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x38(%rbp),%rsi
call   1040 <strcmp@plt>
cmp    $0x0,%rax
je     12f6 <wordPattern+0x1b6>
movl   $0x0,-0x4(%rbp)
jmp    1321 <wordPattern+0x1e1>
jmp    11ee <wordPattern+0xae>
xor    %eax,%eax
mov    %eax,%edi
lea    0xcfa(%rip),%rsi
call   1060 <strtok@plt>
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<wordPattern>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%rbx
mov    %rdi,%r14
mov    $0xd0,%edi
call   1040 <malloc@plt>
mov    %rax,%r13
lea    0xeac(%rip),%rbp
mov    %rbp,(%rax)
mov    %rbp,0x8(%rax)
mov    %rbp,0x10(%rax)
mov    %rbp,0x18(%rax)
mov    %rbp,0x20(%rax)
mov    %rbp,0x28(%rax)
mov    %rbp,0x30(%rax)
mov    %rbp,0x38(%rax)
mov    %rbp,0x40(%rax)
mov    %rbp,0x48(%rax)
mov    %rbp,0x50(%rax)
mov    %rbp,0x58(%rax)
mov    %rbp,0x60(%rax)
mov    %rbp,0x68(%rax)
mov    %rbp,0x70(%rax)
mov    %rbp,0x78(%rax)
mov    %rbp,0x80(%rax)
mov    %rbp,0x88(%rax)
mov    %rbp,0x90(%rax)
mov    %rbp,0x98(%rax)
mov    %rbp,0xa0(%rax)
mov    %rbp,0xa8(%rax)
mov    %rbp,0xb0(%rax)
mov    %rbp,0xb8(%rax)
mov    %rbp,0xc0(%rax)
mov    %rbp,0xc8(%rax)
lea    0xe1f(%rip),%rsi
mov    %rbx,%rdi
call   1050 <strtok@plt>
movsbq (%r14),%rcx
test   %rcx,%rcx
jne    11fe <wordPattern+0xce>
xor    %r15d,%r15d
test   %rax,%rax
jne    12a9 <wordPattern+0x179>
mov    %rax,-0x308(%r13,%rcx,8)
ff
jmp    1221 <wordPattern+0xf1>
nopl   0x0(%rax,%rax,1)
mov    %rbx,%rsi
call   1030 <strcmp@plt>
test   %rax,%rax
jne    12a9 <wordPattern+0x179>
cmpb   $0x0,(%r14)
je     1291 <wordPattern+0x161>
add    $0x1,%r14
movsbq (%r14),%r12
test   %r12,%r12
je     1291 <wordPattern+0x161>
xor    %r15d,%r15d
xor    %edi,%edi
lea    0xdc0(%rip),%rsi
call   1050 <strtok@plt>
test   %rax,%rax
je     12a9 <wordPattern+0x179>
mov    %rax,%rbx
mov    -0x308(%r13,%r12,8),%rdi
ff
cmp    %rbp,%rdi
jne    1210 <wordPattern+0xe0>
xor    %r15d,%r15d
nopl   (%rax)
mov    0x0(%r13,%r15,8),%rdi
mov    %rbx,%rsi
call   1030 <strcmp@plt>
test   %rax,%rax
je     128c <wordPattern+0x15c>
add    $0x1,%r15
cmp    $0x1a,%r15
jne    1260 <wordPattern+0x130>
mov    %rbx,-0x308(%r13,%r12,8)
ff
mov    %rbx,%rdi
xor    %r15d,%r15d
jmp    1210 <wordPattern+0xe0>
xor    %r15d,%r15d
jmp    12a9 <wordPattern+0x179>
lea    0xd68(%rip),%rsi
xor    %edi,%edi
call   1050 <strtok@plt>
xor    %r15d,%r15d
test   %rax,%rax
sete   %r15b
mov    %r15d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [1 x i8] zeroinitializer
@.str.1 = [2 x i8] c" \00"
define i32 @wordPattern(i8* nocapture %0, i8* %1) {
%3 = tail call i64 @malloc(i32 208)
%4 = inttoptr i64 %3 to i8**
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %4
%5 = getelementptr inbounds i8*, i8** %4, i64 1
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %5
%6 = getelementptr inbounds i8*, i8** %4, i64 2
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %6
%7 = getelementptr inbounds i8*, i8** %4, i64 3
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %7
%8 = getelementptr inbounds i8*, i8** %4, i64 4
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %8
%9 = getelementptr inbounds i8*, i8** %4, i64 5
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %9
%10 = getelementptr inbounds i8*, i8** %4, i64 6
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %10
%11 = getelementptr inbounds i8*, i8** %4, i64 7
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %11
%12 = getelementptr inbounds i8*, i8** %4, i64 8
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %12
%13 = getelementptr inbounds i8*, i8** %4, i64 9
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %13
%14 = getelementptr inbounds i8*, i8** %4, i64 10
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %14
%15 = getelementptr inbounds i8*, i8** %4, i64 11
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %15
%16 = getelementptr inbounds i8*, i8** %4, i64 12
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %16
%17 = getelementptr inbounds i8*, i8** %4, i64 13
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %17
%18 = getelementptr inbounds i8*, i8** %4, i64 14
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %18
%19 = getelementptr inbounds i8*, i8** %4, i64 15
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %19
%20 = getelementptr inbounds i8*, i8** %4, i64 16
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %20
%21 = getelementptr inbounds i8*, i8** %4, i64 17
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %21
%22 = getelementptr inbounds i8*, i8** %4, i64 18
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %22
%23 = getelementptr inbounds i8*, i8** %4, i64 19
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %23
%24 = getelementptr inbounds i8*, i8** %4, i64 20
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %24
%25 = getelementptr inbounds i8*, i8** %4, i64 21
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %25
%26 = getelementptr inbounds i8*, i8** %4, i64 22
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %26
%27 = getelementptr inbounds i8*, i8** %4, i64 23
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %27
%28 = getelementptr inbounds i8*, i8** %4, i64 24
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %28
%29 = getelementptr inbounds i8*, i8** %4, i64 25
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %29
%30 = tail call i8* @strtok(i8* %1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%31 = load i8, i8* %0
%32 = icmp eq i8 %31, 0
%33 = icmp ne i8* %30, null
%34 = select i1 %32, i1 %33, i1 false
br i1 %34, label %74, label %35
35: ; preds = %2
%36 = sext i8 %31 to i64
%37 = add nsw i64 %36, -97
%38 = getelementptr inbounds i8*, i8** %4, i64 %37
store i8* %30, i8** %38
br label %39
39: ; preds = %66, %35
%40 = phi i8* [ %0, %35 ], [ %41, %66 ]
%41 = getelementptr inbounds i8, i8* %40, i64 1
%42 = load i8, i8* %40
%43 = icmp eq i8 %42, 0
br i1 %43, label %70, label %44
44: ; preds = %39
%45 = load i8, i8* %41
%46 = icmp eq i8 %45, 0
br i1 %46, label %70, label %47
47: ; preds = %44
%48 = tail call i8* @strtok(i8* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%49 = icmp eq i8* %48, null
br i1 %49, label %74, label %50
50: ; preds = %47
%51 = sext i8 %45 to i64
%52 = add nsw i64 %51, -97
%53 = getelementptr inbounds i8*, i8** %4, i64 %52
%54 = load i8*, i8** %53
%55 = icmp eq i8* %54, getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0)
br i1 %55, label %59, label %66
56: ; preds = %59
%57 = add nuw nsw i64 %60, 1
%58 = icmp eq i64 %57, 26
br i1 %58, label %65, label %59
59: ; preds = %50, %56
%60 = phi i64 [ %57, %56 ], [ 0, %50 ]
%61 = getelementptr inbounds i8*, i8** %4, i64 %60
%62 = load i8*, i8** %61
%63 = tail call i64 @strcmp(i8* %62, i8* %48)
%64 = icmp eq i64 %63, 0
br i1 %64, label %74, label %56
65: ; preds = %56
store i8* %48, i8** %53
br label %66
66: ; preds = %65, %50
%67 = phi i8* [ %48, %65 ], [ %54, %50 ]
%68 = tail call i64 @strcmp(i8* %67, i8* %48)
%69 = icmp eq i64 %68, 0
br i1 %69, label %39, label %74
70: ; preds = %44, %39
%71 = tail call i8* @strtok(i8* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%72 = icmp eq i8* %71, null
%73 = zext i1 %72 to i32
br label %74
74: ; preds = %47, %66, %59, %2, %70
%75 = phi i32 [ %73, %70 ], [ 0, %2 ], [ 0, %59 ], [ 0, %66 ], [ 0, %47 ]
ret i32 %75
}