#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 /*<<< orphan*/ strcmp(char *, char *);
int verifySelection(int *selection, char *puzzle, char months[12][10]) {
  int i;
  char str[9];
  int isequal = 0;
  for (i = 0; i < 8; ++i) {
    if (selection[i * 2] == -1) {
      break;
    } else {
      str[i] = puzzle[selection[i * 2 + 1] * 50 + selection[i * 2]];
    }
  }
  str[i] = '\0';
  for (i = 0; i < 12; ++i)
    if ((isequal = !strcmp(str, months[i])) > 0)
      break;
  if (isequal) {
    return i;
  } else {
    return -1;
  }
}


x86 assembly (clang, -O0):
<verifySelection>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x8,-0x24(%rbp)
jge    11a1 <verifySelection+0x91>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
cmpl   $0xffffffff,(%rax,%rcx,4)
jne    1158 <verifySelection+0x48>
jmp    11a1 <verifySelection+0x91>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    -0x24(%rbp),%edx
shl    $0x1,%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   $0x32,(%rcx,%rdx,4),%ecx
mov    -0x10(%rbp),%rdx
mov    -0x24(%rbp),%esi
shl    $0x1,%esi
movslq %esi,%rsi
add    (%rdx,%rsi,4),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%cl
movslq -0x24(%rbp),%rax
mov    %cl,-0x2d(%rbp,%rax,1)
jmp    1193 <verifySelection+0x83>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1132 <verifySelection+0x22>
movslq -0x24(%rbp),%rax
movb   $0x0,-0x2d(%rbp,%rax,1)
movl   $0x0,-0x24(%rbp)
cmpl   $0xc,-0x24(%rbp)
jge    1204 <verifySelection+0xf4>
lea    -0x2d(%rbp),%rdi
mov    -0x20(%rbp),%rsi
movslq -0x24(%rbp),%rax
imul   $0xa,%rax,%rax
add    %rax,%rsi
call   1030 <strcmp@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x34(%rbp)
cmp    $0x0,%eax
jle    11f1 <verifySelection+0xe1>
jmp    1204 <verifySelection+0xf4>
jmp    11f6 <verifySelection+0xe6>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11b1 <verifySelection+0xa1>
cmpl   $0x0,-0x34(%rbp)
je     1219 <verifySelection+0x109>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1220 <verifySelection+0x110>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<verifySelection>:
push   %r14
push   %rbx
sub    $0x18,%rsp
mov    %rdx,%r14
movslq (%rdi),%rax
xor    %ebx,%ebx
cmp    $0xffffffffffffffff,%rax
je     1216 <verifySelection+0x106>
movslq 0x4(%rdi),%rcx
imul   $0x32,%rcx,%rcx
add    %rax,%rcx
mov    (%rsi,%rcx,1),%al
mov    %al,0xf(%rsp)
movslq 0x8(%rdi),%rax
cmp    $0xffffffffffffffff,%rax
je     121a <verifySelection+0x10a>
movslq 0xc(%rdi),%rcx
imul   $0x32,%rcx,%rcx
add    %rax,%rcx
mov    (%rsi,%rcx,1),%al
mov    %al,0x10(%rsp)
movslq 0x10(%rdi),%rax
cmp    $0xffffffffffffffff,%rax
je     1221 <verifySelection+0x111>
movslq 0x14(%rdi),%rcx
imul   $0x32,%rcx,%rcx
add    %rax,%rcx
mov    (%rsi,%rcx,1),%al
mov    %al,0x11(%rsp)
movslq 0x18(%rdi),%rax
cmp    $0xffffffffffffffff,%rax
je     1228 <verifySelection+0x118>
movslq 0x1c(%rdi),%rcx
imul   $0x32,%rcx,%rcx
add    %rax,%rcx
mov    (%rsi,%rcx,1),%al
mov    %al,0x12(%rsp)
movslq 0x20(%rdi),%rax
cmp    $0xffffffffffffffff,%rax
je     122f <verifySelection+0x11f>
movslq 0x24(%rdi),%rcx
imul   $0x32,%rcx,%rcx
add    %rax,%rcx
mov    (%rsi,%rcx,1),%al
mov    %al,0x13(%rsp)
movslq 0x28(%rdi),%rax
cmp    $0xffffffffffffffff,%rax
je     1236 <verifySelection+0x126>
movslq 0x2c(%rdi),%rcx
imul   $0x32,%rcx,%rcx
add    %rax,%rcx
mov    (%rsi,%rcx,1),%al
mov    %al,0x14(%rsp)
movslq 0x30(%rdi),%rax
cmp    $0xffffffffffffffff,%rax
je     123d <verifySelection+0x12d>
movslq 0x34(%rdi),%rcx
imul   $0x32,%rcx,%rcx
add    %rax,%rcx
mov    (%rsi,%rcx,1),%al
mov    %al,0x15(%rsp)
movslq 0x38(%rdi),%rax
cmp    $0xffffffffffffffff,%rax
je     1244 <verifySelection+0x134>
movslq 0x3c(%rdi),%rcx
imul   $0x32,%rcx,%rcx
add    %rax,%rcx
mov    (%rsi,%rcx,1),%al
mov    %al,0x16(%rsp)
mov    $0x8,%eax
jmp    1249 <verifySelection+0x139>
xor    %eax,%eax
jmp    1249 <verifySelection+0x139>
mov    $0x1,%eax
jmp    1249 <verifySelection+0x139>
mov    $0x2,%eax
jmp    1249 <verifySelection+0x139>
mov    $0x3,%eax
jmp    1249 <verifySelection+0x139>
mov    $0x4,%eax
jmp    1249 <verifySelection+0x139>
mov    $0x5,%eax
jmp    1249 <verifySelection+0x139>
mov    $0x6,%eax
jmp    1249 <verifySelection+0x139>
mov    $0x7,%eax
movb   $0x0,0xf(%rsp,%rax,1)
lea    0xf(%rsp),%rdi
mov    %r14,%rsi
call   1030 <strcmp@plt>
test   %eax,%eax
je     138d <verifySelection+0x27d>
lea    0xa(%r14),%rsi
lea    0xf(%rsp),%rdi
call   1030 <strcmp@plt>
test   %eax,%eax
je     1349 <verifySelection+0x239>
lea    0x14(%r14),%rsi
lea    0xf(%rsp),%rdi
call   1030 <strcmp@plt>
test   %eax,%eax
je     1350 <verifySelection+0x240>
lea    0x1e(%r14),%rsi
lea    0xf(%rsp),%rdi
call   1030 <strcmp@plt>
test   %eax,%eax
je     1357 <verifySelection+0x247>
lea    0x28(%r14),%rsi
lea    0xf(%rsp),%rdi
call   1030 <strcmp@plt>
test   %eax,%eax
je     135e <verifySelection+0x24e>
lea    0x32(%r14),%rsi
lea    0xf(%rsp),%rdi
call   1030 <strcmp@plt>
test   %eax,%eax
je     1365 <verifySelection+0x255>
lea    0x3c(%r14),%rsi
lea    0xf(%rsp),%rdi
call   1030 <strcmp@plt>
test   %eax,%eax
je     136c <verifySelection+0x25c>
lea    0x46(%r14),%rsi
lea    0xf(%rsp),%rdi
call   1030 <strcmp@plt>
test   %eax,%eax
je     1373 <verifySelection+0x263>
lea    0x50(%r14),%rsi
lea    0xf(%rsp),%rdi
call   1030 <strcmp@plt>
test   %eax,%eax
je     137a <verifySelection+0x26a>
lea    0x5a(%r14),%rsi
lea    0xf(%rsp),%rdi
call   1030 <strcmp@plt>
test   %eax,%eax
je     1381 <verifySelection+0x271>
lea    0x64(%r14),%rsi
lea    0xf(%rsp),%rdi
call   1030 <strcmp@plt>
test   %eax,%eax
je     1388 <verifySelection+0x278>
add    $0x6e,%r14
lea    0xf(%rsp),%rdi
mov    %r14,%rsi
call   1030 <strcmp@plt>
neg    %eax
sbb    %ebx,%ebx
or     $0xb,%ebx
jmp    138d <verifySelection+0x27d>
mov    $0x1,%ebx
jmp    138d <verifySelection+0x27d>
mov    $0x2,%ebx
jmp    138d <verifySelection+0x27d>
mov    $0x3,%ebx
jmp    138d <verifySelection+0x27d>
mov    $0x4,%ebx
jmp    138d <verifySelection+0x27d>
mov    $0x5,%ebx
jmp    138d <verifySelection+0x27d>
mov    $0x6,%ebx
jmp    138d <verifySelection+0x27d>
mov    $0x7,%ebx
jmp    138d <verifySelection+0x27d>
mov    $0x8,%ebx
jmp    138d <verifySelection+0x27d>
mov    $0x9,%ebx
jmp    138d <verifySelection+0x27d>
mov    $0xa,%ebx
mov    %ebx,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r14
ret

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

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