#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*/ printf(char *, ...);
int /*<<< orphan*/ scanf(char *, int *, ...);
int main() {
  int d[12] = {31, 0, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
  int n, a, b, c, i, j;
  int sum = 0, x = 0;
  scanf("%d", &n);
  scanf("%d-%d-%d", &a, &b, &c);
  if (a % 4 == 0 && a % 100 != 0 || a % 400 == 0) {
    d[1] = 29;
    if (b == 2 && c >= 30)
      printf("error date!\n");
    else if ((b == 1 || b == 3 || b == 5 || b == 7 || b == 8 || b == 10 ||
              b == 12) &&
             c >= 32)
      printf("error date!\n");
    else if ((b == 4 || b == 6 || b == 9 || b == 11) && c >= 31)
      printf("error date!\n");
    else {
      for (i = 0; i < b - 1; i++) {
        sum += d[i];
      }
      printf("%d", sum + c);
    }
  } else {
    d[1] = 28;
    if (b == 2 && c >= 29)
      printf("error date!\n");
    else if ((b == 1 || b == 3 || b == 5 || b == 7 || b == 8 || b == 10 ||
              b == 12) &&
             c >= 32)
      printf("error date!\n");
    else if ((b == 4 || b == 6 || b == 9 || b == 11) && c >= 31)
      printf("error date!\n");
    else {
      for (j = 0; j < b - 1; j++) {
        x += d[j];
      }
      printf("%d", x + c);
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x40(%rbp),%rdi
lea    0xeb6(%rip),%rsi
mov    $0x30,%edx
call   1040 <memcpy@plt>
movl   $0x0,-0x5c(%rbp)
movl   $0x0,-0x60(%rbp)
lea    0xecd(%rip),%rdi
lea    -0x44(%rbp),%rsi
mov    $0x0,%al
call   1050 <scanf@plt>
lea    0xeb5(%rip),%rdi
lea    -0x48(%rbp),%rsi
lea    -0x4c(%rbp),%rdx
lea    -0x50(%rbp),%rcx
mov    $0x0,%al
call   1050 <scanf@plt>
mov    -0x48(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    11b6 <main+0x86>
mov    -0x48(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    11ca <main+0x9a>
mov    -0x48(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    12f7 <main+0x1c7>
movl   $0x1d,-0x3c(%rbp)
cmpl   $0x2,-0x4c(%rbp)
jne    11f8 <main+0xc8>
cmpl   $0x1e,-0x50(%rbp)
jl     11f8 <main+0xc8>
lea    0xe4d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    12f2 <main+0x1c2>
cmpl   $0x1,-0x4c(%rbp)
je     123e <main+0x10e>
cmpl   $0x3,-0x4c(%rbp)
je     123e <main+0x10e>
cmpl   $0x5,-0x4c(%rbp)
je     123e <main+0x10e>
cmpl   $0x7,-0x4c(%rbp)
je     123e <main+0x10e>
cmpl   $0x8,-0x4c(%rbp)
je     123e <main+0x10e>
cmpl   $0xa,-0x4c(%rbp)
je     123e <main+0x10e>
cmpl   $0xc,-0x4c(%rbp)
jne    125b <main+0x12b>
cmpl   $0x20,-0x50(%rbp)
jl     125b <main+0x12b>
lea    0xdea(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    12ed <main+0x1bd>
cmpl   $0x4,-0x4c(%rbp)
je     1283 <main+0x153>
cmpl   $0x6,-0x4c(%rbp)
je     1283 <main+0x153>
cmpl   $0x9,-0x4c(%rbp)
je     1283 <main+0x153>
cmpl   $0xb,-0x4c(%rbp)
jne    12a0 <main+0x170>
cmpl   $0x1f,-0x50(%rbp)
jl     12a0 <main+0x170>
lea    0xda5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    12e8 <main+0x1b8>
movl   $0x0,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    -0x4c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    12d4 <main+0x1a4>
movslq -0x54(%rbp),%rax
mov    -0x40(%rbp,%rax,4),%eax
add    -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    12a7 <main+0x177>
mov    -0x5c(%rbp),%esi
add    -0x50(%rbp),%esi
lea    0xd55(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    12ed <main+0x1bd>
jmp    12f2 <main+0x1c2>
jmp    1424 <main+0x2f4>
movl   $0x1c,-0x3c(%rbp)
cmpl   $0x2,-0x4c(%rbp)
jne    1325 <main+0x1f5>
cmpl   $0x1d,-0x50(%rbp)
jl     1325 <main+0x1f5>
lea    0xd20(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    141f <main+0x2ef>
cmpl   $0x1,-0x4c(%rbp)
je     136b <main+0x23b>
cmpl   $0x3,-0x4c(%rbp)
je     136b <main+0x23b>
cmpl   $0x5,-0x4c(%rbp)
je     136b <main+0x23b>
cmpl   $0x7,-0x4c(%rbp)
je     136b <main+0x23b>
cmpl   $0x8,-0x4c(%rbp)
je     136b <main+0x23b>
cmpl   $0xa,-0x4c(%rbp)
je     136b <main+0x23b>
cmpl   $0xc,-0x4c(%rbp)
jne    1388 <main+0x258>
cmpl   $0x20,-0x50(%rbp)
jl     1388 <main+0x258>
lea    0xcbd(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    141a <main+0x2ea>
cmpl   $0x4,-0x4c(%rbp)
je     13b0 <main+0x280>
cmpl   $0x6,-0x4c(%rbp)
je     13b0 <main+0x280>
cmpl   $0x9,-0x4c(%rbp)
je     13b0 <main+0x280>
cmpl   $0xb,-0x4c(%rbp)
jne    13cd <main+0x29d>
cmpl   $0x1f,-0x50(%rbp)
jl     13cd <main+0x29d>
lea    0xc78(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1415 <main+0x2e5>
movl   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%eax
mov    -0x4c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1401 <main+0x2d1>
movslq -0x58(%rbp),%rax
mov    -0x40(%rbp,%rax,4),%eax
add    -0x60(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    13d4 <main+0x2a4>
mov    -0x60(%rbp),%esi
add    -0x50(%rbp),%esi
lea    0xc28(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    141a <main+0x2ea>
jmp    141f <main+0x2ef>
jmp    1424 <main+0x2f4>
xor    %eax,%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x48,%rsp
movaps 0xee5(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movaps 0xec9(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movdqa 0xeac(%rip),%xmm0
movdqa %xmm0,0x10(%rsp)
lea    0xed5(%rip),%rdi
lea    0x44(%rsp),%rsi
xor    %eax,%eax
call   1050 <scanf@plt>
lea    0xebc(%rip),%rdi
lea    0x40(%rsp),%rsi
lea    0xc(%rsp),%rdx
lea    0x8(%rsp),%rcx
xor    %eax,%eax
call   1050 <scanf@plt>
movslq 0x40(%rsp),%rax
test   $0x3,%al
sete   %cl
imul   $0xc28f5c29,%eax,%edx
add    $0x51eb850,%edx
ror    $0x2,%edx
cmp    $0x28f5c29,%edx
setae  %dl
test   %dl,%cl
jne    1266 <main+0x136>
imul   $0x51eb851f,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x27,%rcx
add    %edx,%ecx
imul   $0x190,%ecx,%ecx
sub    %ecx,%eax
je     1266 <main+0x136>
movl   $0x1c,0x14(%rsp)
mov    0xc(%rsp),%r10d
mov    0x8(%rsp),%r9d
cmp    $0x2,%r10d
jne    11f8 <main+0xc8>
cmp    $0x1d,%r9d
jge    12c7 <main+0x197>
mov    %r10d,%edx
and    $0xfffffffd,%edx
mov    %r10d,%esi
and    $0xfffffff9,%esi
cmp    $0x1,%esi
sete   %al
cmp    $0x8,%edx
sete   %cl
or     %al,%cl
cmp    $0xc,%r10d
sete   %al
or     %cl,%al
cmp    $0x1,%al
jne    1229 <main+0xf9>
cmp    $0x20,%r9d
jge    12c7 <main+0x197>
cmp    $0x4,%edx
setne  %al
cmp    $0x9,%edx
setne  %cl
test   %al,%cl
jne    1243 <main+0x113>
cmp    $0x1e,%r9d
jg     12c7 <main+0x197>
xor    %esi,%esi
cmp    $0x2,%r10d
jl     14bd <main+0x38d>
add    $0xffffffff,%r10d
cmp    $0x8,%r10d
jae    12f9 <main+0x1c9>
xor    %edx,%edx
xor    %esi,%esi
jmp    1400 <main+0x2d0>
movl   $0x1d,0x14(%rsp)
mov    0xc(%rsp),%r10d
mov    0x8(%rsp),%r9d
cmp    $0x2,%r10d
jne    1284 <main+0x154>
cmp    $0x1e,%r9d
jge    12c7 <main+0x197>
mov    %r10d,%edx
and    $0xfffffffd,%edx
mov    %r10d,%esi
and    $0xfffffff9,%esi
cmp    $0x1,%esi
sete   %al
cmp    $0x8,%edx
sete   %cl
or     %al,%cl
cmp    $0xc,%r10d
sete   %al
or     %cl,%al
cmp    $0x1,%al
jne    12b1 <main+0x181>
cmp    $0x20,%r9d
jge    12c7 <main+0x197>
cmp    $0x4,%edx
setne  %al
cmp    $0x9,%edx
setne  %cl
test   %al,%cl
jne    12da <main+0x1aa>
cmp    $0x1e,%r9d
jle    12da <main+0x1aa>
lea    0xd6b(%rip),%rdi
call   1030 <puts@plt>
xor    %eax,%eax
add    $0x48,%rsp
ret
xor    %esi,%esi
cmp    $0x2,%r10d
jl     14bd <main+0x38d>
add    $0xffffffff,%r10d
cmp    $0x8,%r10d
jae    132a <main+0x1fa>
xor    %edx,%edx
xor    %esi,%esi
jmp    14b0 <main+0x380>
mov    %r10d,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rax
mov    %rax,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %esi,%r8d
and    $0x3,%r8d
cmp    $0x18,%rax
jae    135f <main+0x22f>
pxor   %xmm0,%xmm0
xor    %edi,%edi
pxor   %xmm1,%xmm1
jmp    13ad <main+0x27d>
mov    %r10d,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rax
mov    %rax,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %esi,%r8d
and    $0x3,%r8d
cmp    $0x18,%rax
jae    1412 <main+0x2e2>
pxor   %xmm0,%xmm0
xor    %edi,%edi
pxor   %xmm1,%xmm1
jmp    145d <main+0x32d>
and    $0xfffffffffffffffc,%rsi
pxor   %xmm0,%xmm0
xor    %edi,%edi
pxor   %xmm1,%xmm1
nopl   (%rax)
paddd  0x10(%rsp,%rdi,4),%xmm0
paddd  0x20(%rsp,%rdi,4),%xmm1
paddd  0x30(%rsp,%rdi,4),%xmm0
paddd  0x40(%rsp,%rdi,4),%xmm1
paddd  0x50(%rsp,%rdi,4),%xmm0
paddd  0x60(%rsp,%rdi,4),%xmm1
paddd  0x70(%rsp,%rdi,4),%xmm0
paddd  0x80(%rsp,%rdi,4),%xmm1
add    $0x20,%rdi
add    $0xfffffffffffffffc,%rsi
jne    1370 <main+0x240>
test   %r8,%r8
je     13d4 <main+0x2a4>
lea    (%rsp,%rdi,4),%rsi
add    $0x20,%rsi
shl    $0x5,%r8
xor    %edi,%edi
paddd  -0x10(%rsi,%rdi,1),%xmm0
paddd  (%rsi,%rdi,1),%xmm1
add    $0x20,%rdi
cmp    %rdi,%r8
jne    13c0 <main+0x290>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%esi
cmp    %r10,%rdx
je     14bd <main+0x38d>
nopw   0x0(%rax,%rax,1)
add    0x10(%rsp,%rdx,4),%esi
add    $0x1,%rdx
cmp    %rdx,%r10
jne    1400 <main+0x2d0>
jmp    14bd <main+0x38d>
and    $0xfffffffffffffffc,%rsi
pxor   %xmm0,%xmm0
xor    %edi,%edi
pxor   %xmm1,%xmm1
paddd  0x10(%rsp,%rdi,4),%xmm0
paddd  0x20(%rsp,%rdi,4),%xmm1
paddd  0x30(%rsp,%rdi,4),%xmm0
paddd  0x40(%rsp,%rdi,4),%xmm1
paddd  0x50(%rsp,%rdi,4),%xmm0
paddd  0x60(%rsp,%rdi,4),%xmm1
paddd  0x70(%rsp,%rdi,4),%xmm0
paddd  0x80(%rsp,%rdi,4),%xmm1
add    $0x20,%rdi
add    $0xfffffffffffffffc,%rsi
jne    1420 <main+0x2f0>
test   %r8,%r8
je     1484 <main+0x354>
lea    (%rsp,%rdi,4),%rsi
add    $0x20,%rsi
shl    $0x5,%r8
xor    %edi,%edi
paddd  -0x10(%rsi,%rdi,1),%xmm0
paddd  (%rsi,%rdi,1),%xmm1
add    $0x20,%rdi
cmp    %rdi,%r8
jne    1470 <main+0x340>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%esi
cmp    %r10,%rdx
je     14bd <main+0x38d>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    0x10(%rsp,%rdx,4),%esi
add    $0x1,%rdx
cmp    %rdx,%r10
jne    14b0 <main+0x380>
add    %r9d,%esi
lea    0xb6f(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
jmp    12d3 <main+0x1a3>

LLVM IR (-O0):
@__const.main.d = [12 x i32] [i32 31, i32 0, i32 31, i32 30, i32 31, i32 30, i32 31, i32 31, i32 30, i32 31, i32 30, i32 31]
@.str = [3 x i8] c"%d\00"
@.str.1 = [9 x i8] c"%d-%d-%d\00"
@.str.2 = [13 x i8] c"error date!\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [12 x i32]
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32 0, i32* %1
%11 = bitcast [12 x i32]* %2 to i8*
store i32 0, i32* %9
store i32 0, i32* %10
%12 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %3)
%13 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32* %4, i32* %5, i32* %6)
%14 = load i32, i32* %4
%15 = srem i32 %14, 4
%16 = icmp eq i32 %15, 0
br i1 %16, label %17, label %21
17: ; preds = %0
%18 = load i32, i32* %4
%19 = srem i32 %18, 100
%20 = icmp ne i32 %19, 0
br i1 %20, label %25, label %21
21: ; preds = %17, %0
%22 = load i32, i32* %4
%23 = srem i32 %22, 400
%24 = icmp eq i32 %23, 0
br i1 %24, label %25, label %101
25: ; preds = %21, %17
%26 = getelementptr inbounds [12 x i32], [12 x i32]* %2, i64 0, i64 1
store i32 29, i32* %26
%27 = load i32, i32* %5
%28 = icmp eq i32 %27, 2
br i1 %28, label %29, label %34
29: ; preds = %25
%30 = load i32, i32* %6
%31 = icmp sge i32 %30, 30
br i1 %31, label %32, label %34
32: ; preds = %29
%33 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.2, i64 0, i64 0))
br label %100
34: ; preds = %29, %25
%35 = load i32, i32* %5
%36 = icmp eq i32 %35, 1
br i1 %36, label %55, label %37
37: ; preds = %34
%38 = load i32, i32* %5
%39 = icmp eq i32 %38, 3
br i1 %39, label %55, label %40
40: ; preds = %37
%41 = load i32, i32* %5
%42 = icmp eq i32 %41, 5
br i1 %42, label %55, label %43
43: ; preds = %40
%44 = load i32, i32* %5
%45 = icmp eq i32 %44, 7
br i1 %45, label %55, label %46
46: ; preds = %43
%47 = load i32, i32* %5
%48 = icmp eq i32 %47, 8
br i1 %48, label %55, label %49
49: ; preds = %46
%50 = load i32, i32* %5
%51 = icmp eq i32 %50, 10
br i1 %51, label %55, label %52
52: ; preds = %49
%53 = load i32, i32* %5
%54 = icmp eq i32 %53, 12
br i1 %54, label %55, label %60
55: ; preds = %52, %49, %46, %43, %40, %37, %34
%56 = load i32, i32* %6
%57 = icmp sge i32 %56, 32
br i1 %57, label %58, label %60
58: ; preds = %55
%59 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.2, i64 0, i64 0))
br label %99
60: ; preds = %55, %52
%61 = load i32, i32* %5
%62 = icmp eq i32 %61, 4
br i1 %62, label %72, label %63
63: ; preds = %60
%64 = load i32, i32* %5
%65 = icmp eq i32 %64, 6
br i1 %65, label %72, label %66
66: ; preds = %63
%67 = load i32, i32* %5
%68 = icmp eq i32 %67, 9
br i1 %68, label %72, label %69
69: ; preds = %66
%70 = load i32, i32* %5
%71 = icmp eq i32 %70, 11
br i1 %71, label %72, label %77
72: ; preds = %69, %66, %63, %60
%73 = load i32, i32* %6
%74 = icmp sge i32 %73, 31
br i1 %74, label %75, label %77
75: ; preds = %72
%76 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.2, i64 0, i64 0))
br label %98
77: ; preds = %72, %69
store i32 0, i32* %7
br label %78
78: ; preds = %90, %77
%79 = load i32, i32* %7
%80 = load i32, i32* %5
%81 = sub nsw i32 %80, 1
%82 = icmp slt i32 %79, %81
br i1 %82, label %83, label %93
83: ; preds = %78
%84 = load i32, i32* %7
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds [12 x i32], [12 x i32]* %2, i64 0, i64 %85
%87 = load i32, i32* %86
%88 = load i32, i32* %9
%89 = add nsw i32 %88, %87
store i32 %89, i32* %9
br label %90
90: ; preds = %83
%91 = load i32, i32* %7
%92 = add nsw i32 %91, 1
store i32 %92, i32* %7
br label %78
93: ; preds = %78
%94 = load i32, i32* %9
%95 = load i32, i32* %6
%96 = add nsw i32 %94, %95
%97 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %96)
br label %98
98: ; preds = %93, %75
br label %99
99: ; preds = %98, %58
br label %100
100: ; preds = %99, %32
br label %177
101: ; preds = %21
%102 = getelementptr inbounds [12 x i32], [12 x i32]* %2, i64 0, i64 1
store i32 28, i32* %102
%103 = load i32, i32* %5
%104 = icmp eq i32 %103, 2
br i1 %104, label %105, label %110
105: ; preds = %101
%106 = load i32, i32* %6
%107 = icmp sge i32 %106, 29
br i1 %107, label %108, label %110
108: ; preds = %105
%109 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.2, i64 0, i64 0))
br label %176
110: ; preds = %105, %101
%111 = load i32, i32* %5
%112 = icmp eq i32 %111, 1
br i1 %112, label %131, label %113
113: ; preds = %110
%114 = load i32, i32* %5
%115 = icmp eq i32 %114, 3
br i1 %115, label %131, label %116
116: ; preds = %113
%117 = load i32, i32* %5
%118 = icmp eq i32 %117, 5
br i1 %118, label %131, label %119
119: ; preds = %116
%120 = load i32, i32* %5
%121 = icmp eq i32 %120, 7
br i1 %121, label %131, label %122
122: ; preds = %119
%123 = load i32, i32* %5
%124 = icmp eq i32 %123, 8
br i1 %124, label %131, label %125
125: ; preds = %122
%126 = load i32, i32* %5
%127 = icmp eq i32 %126, 10
br i1 %127, label %131, label %128
128: ; preds = %125
%129 = load i32, i32* %5
%130 = icmp eq i32 %129, 12
br i1 %130, label %131, label %136
131: ; preds = %128, %125, %122, %119, %116, %113, %110
%132 = load i32, i32* %6
%133 = icmp sge i32 %132, 32
br i1 %133, label %134, label %136
134: ; preds = %131
%135 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.2, i64 0, i64 0))
br label %175
136: ; preds = %131, %128
%137 = load i32, i32* %5
%138 = icmp eq i32 %137, 4
br i1 %138, label %148, label %139
139: ; preds = %136
%140 = load i32, i32* %5
%141 = icmp eq i32 %140, 6
br i1 %141, label %148, label %142
142: ; preds = %139
%143 = load i32, i32* %5
%144 = icmp eq i32 %143, 9
br i1 %144, label %148, label %145
145: ; preds = %142
%146 = load i32, i32* %5
%147 = icmp eq i32 %146, 11
br i1 %147, label %148, label %153
148: ; preds = %145, %142, %139, %136
%149 = load i32, i32* %6
%150 = icmp sge i32 %149, 31
br i1 %150, label %151, label %153
151: ; preds = %148
%152 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.2, i64 0, i64 0))
br label %174
153: ; preds = %148, %145
store i32 0, i32* %8
br label %154
154: ; preds = %166, %153
%155 = load i32, i32* %8
%156 = load i32, i32* %5
%157 = sub nsw i32 %156, 1
%158 = icmp slt i32 %155, %157
br i1 %158, label %159, label %169
159: ; preds = %154
%160 = load i32, i32* %8
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds [12 x i32], [12 x i32]* %2, i64 0, i64 %161
%163 = load i32, i32* %162
%164 = load i32, i32* %10
%165 = add nsw i32 %164, %163
store i32 %165, i32* %10
br label %166
166: ; preds = %159
%167 = load i32, i32* %8
%168 = add nsw i32 %167, 1
store i32 %168, i32* %8
br label %154
169: ; preds = %154
%170 = load i32, i32* %10
%171 = load i32, i32* %6
%172 = add nsw i32 %170, %171
%173 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %172)
br label %174
174: ; preds = %169, %151
br label %175
175: ; preds = %174, %134
br label %176
176: ; preds = %175, %108
br label %177
177: ; preds = %176, %100
ret i32 0
}

LLVM IR (-O2):
@__const.main.d = [12 x i32] [i32 31, i32 0, i32 31, i32 30, i32 31, i32 30, i32 31, i32 31, i32 30, i32 31, i32 30, i32 31]
@.str = [3 x i8] c"%d\00"
@.str.1 = [9 x i8] c"%d-%d-%d\00"
@str.7 = [12 x i8] c"error date!\00"
define i32 @main() {
%1 = alloca [12 x i32]
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = bitcast [12 x i32]* %1 to i8*
%7 = bitcast i32* %2 to i8*
%8 = bitcast i32* %3 to i8*
%9 = bitcast i32* %4 to i8*
%10 = bitcast i32* %5 to i8*
%11 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %2)
%12 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32* %3, i32* %4, i32* %5)
%13 = load i32, i32* %3
%14 = and i32 %13, 3
%15 = icmp eq i32 %14, 0
%16 = srem i32 %13, 100
%17 = icmp ne i32 %16, 0
%18 = and i1 %15, %17
%19 = srem i32 %13, 400
%20 = icmp eq i32 %19, 0
%21 = select i1 %18, i1 true, i1 %20
%22 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 1
br i1 %21, label %23, label %153
23: ; preds = %0
store i32 29, i32* %22
%24 = load i32, i32* %4
%25 = icmp eq i32 %24, 2
%26 = load i32, i32* %5
%27 = icmp sgt i32 %26, 29
%28 = select i1 %25, i1 %27, i1 false
br i1 %28, label %29, label %31
29: ; preds = %23
%30 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.7, i64 0, i64 0))
br label %283
31: ; preds = %23
%32 = and i32 %24, -3
%33 = and i32 %24, -7
%34 = icmp eq i32 %33, 1
%35 = icmp eq i32 %32, 8
%36 = or i1 %35, %34
%37 = icmp eq i32 %24, 12
%38 = select i1 %36, i1 true, i1 %37
%39 = icmp sgt i32 %26, 31
%40 = select i1 %38, i1 %39, i1 false
br i1 %40, label %41, label %43
41: ; preds = %31
%42 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.7, i64 0, i64 0))
br label %283
43: ; preds = %31
%44 = icmp eq i32 %32, 4
%45 = icmp eq i32 %32, 9
%46 = or i1 %45, %44
%47 = icmp sgt i32 %26, 30
%48 = select i1 %46, i1 %47, i1 false
br i1 %48, label %139, label %49
49: ; preds = %43
%50 = icmp sgt i32 %24, 1
br i1 %50, label %51, label %149
51: ; preds = %49
%52 = add nsw i32 %24, -1
%53 = zext i32 %52 to i64
%54 = icmp ult i32 %52, 8
br i1 %54, label %136, label %55
55: ; preds = %51
%56 = and i64 %53, 4294967288
%57 = add nsw i64 %56, -8
%58 = lshr exact i64 %57, 3
%59 = add nuw nsw i64 %58, 1
%60 = and i64 %59, 3
%61 = icmp ult i64 %57, 24
br i1 %61, label %107, label %62
62: ; preds = %55
%63 = and i64 %59, 4611686018427387900
br label %64
64: ; preds = %64, %62
%65 = phi i64 [ 0, %62 ], [ %104, %64 ]
%66 = phi <4 x i32> [ zeroinitializer, %62 ], [ %102, %64 ]
%67 = phi <4 x i32> [ zeroinitializer, %62 ], [ %103, %64 ]
%68 = phi i64 [ 0, %62 ], [ %105, %64 ]
%69 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %65
%70 = bitcast i32* %69 to <4 x i32>*
%71 = load <4 x i32>, <4 x i32>* %70
%72 = getelementptr inbounds i32, i32* %69, i64 4
%73 = bitcast i32* %72 to <4 x i32>*
%74 = load <4 x i32>, <4 x i32>* %73
%75 = add <4 x i32> %71, %66
%76 = add <4 x i32> %74, %67
%77 = or i64 %65, 8
%78 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %77
%79 = bitcast i32* %78 to <4 x i32>*
%80 = load <4 x i32>, <4 x i32>* %79
%81 = getelementptr inbounds i32, i32* %78, i64 4
%82 = bitcast i32* %81 to <4 x i32>*
%83 = load <4 x i32>, <4 x i32>* %82
%84 = add <4 x i32> %80, %75
%85 = add <4 x i32> %83, %76
%86 = or i64 %65, 16
%87 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %86
%88 = bitcast i32* %87 to <4 x i32>*
%89 = load <4 x i32>, <4 x i32>* %88
%90 = getelementptr inbounds i32, i32* %87, i64 4
%91 = bitcast i32* %90 to <4 x i32>*
%92 = load <4 x i32>, <4 x i32>* %91
%93 = add <4 x i32> %89, %84
%94 = add <4 x i32> %92, %85
%95 = or i64 %65, 24
%96 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %95
%97 = bitcast i32* %96 to <4 x i32>*
%98 = load <4 x i32>, <4 x i32>* %97
%99 = getelementptr inbounds i32, i32* %96, i64 4
%100 = bitcast i32* %99 to <4 x i32>*
%101 = load <4 x i32>, <4 x i32>* %100
%102 = add <4 x i32> %98, %93
%103 = add <4 x i32> %101, %94
%104 = add nuw i64 %65, 32
%105 = add i64 %68, 4
%106 = icmp eq i64 %105, %63
br i1 %106, label %107, label %64
107: ; preds = %64, %55
%108 = phi <4 x i32> [ undef, %55 ], [ %102, %64 ]
%109 = phi <4 x i32> [ undef, %55 ], [ %103, %64 ]
%110 = phi i64 [ 0, %55 ], [ %104, %64 ]
%111 = phi <4 x i32> [ zeroinitializer, %55 ], [ %102, %64 ]
%112 = phi <4 x i32> [ zeroinitializer, %55 ], [ %103, %64 ]
%113 = icmp eq i64 %60, 0
br i1 %113, label %130, label %114
114: ; preds = %107, %114
%115 = phi i64 [ %127, %114 ], [ %110, %107 ]
%116 = phi <4 x i32> [ %125, %114 ], [ %111, %107 ]
%117 = phi <4 x i32> [ %126, %114 ], [ %112, %107 ]
%118 = phi i64 [ %128, %114 ], [ 0, %107 ]
%119 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %115
%120 = bitcast i32* %119 to <4 x i32>*
%121 = load <4 x i32>, <4 x i32>* %120
%122 = getelementptr inbounds i32, i32* %119, i64 4
%123 = bitcast i32* %122 to <4 x i32>*
%124 = load <4 x i32>, <4 x i32>* %123
%125 = add <4 x i32> %121, %116
%126 = add <4 x i32> %124, %117
%127 = add nuw i64 %115, 8
%128 = add i64 %118, 1
%129 = icmp eq i64 %128, %60
br i1 %129, label %130, label %114
130: ; preds = %114, %107
%131 = phi <4 x i32> [ %108, %107 ], [ %125, %114 ]
%132 = phi <4 x i32> [ %109, %107 ], [ %126, %114 ]
%133 = add <4 x i32> %132, %131
%134 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %133)
%135 = icmp eq i64 %56, %53
br i1 %135, label %149, label %136
136: ; preds = %51, %130
%137 = phi i64 [ 0, %51 ], [ %56, %130 ]
%138 = phi i32 [ 0, %51 ], [ %134, %130 ]
br label %141
139: ; preds = %43
%140 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.7, i64 0, i64 0))
br label %283
141: ; preds = %136, %141
%142 = phi i64 [ %147, %141 ], [ %137, %136 ]
%143 = phi i32 [ %146, %141 ], [ %138, %136 ]
%144 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %142
%145 = load i32, i32* %144
%146 = add nsw i32 %145, %143
%147 = add nuw nsw i64 %142, 1
%148 = icmp eq i64 %147, %53
br i1 %148, label %149, label %141
149: ; preds = %141, %130, %49
%150 = phi i32 [ 0, %49 ], [ %134, %130 ], [ %146, %141 ]
%151 = add nsw i32 %150, %26
%152 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %151)
br label %283
153: ; preds = %0
store i32 28, i32* %22
%154 = load i32, i32* %4
%155 = icmp eq i32 %154, 2
%156 = load i32, i32* %5
%157 = icmp sgt i32 %156, 28
%158 = select i1 %155, i1 %157, i1 false
br i1 %158, label %159, label %161
159: ; preds = %153
%160 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.7, i64 0, i64 0))
br label %283
161: ; preds = %153
%162 = and i32 %154, -3
%163 = and i32 %154, -7
%164 = icmp eq i32 %163, 1
%165 = icmp eq i32 %162, 8
%166 = or i1 %165, %164
%167 = icmp eq i32 %154, 12
%168 = select i1 %166, i1 true, i1 %167
%169 = icmp sgt i32 %156, 31
%170 = select i1 %168, i1 %169, i1 false
br i1 %170, label %171, label %173
171: ; preds = %161
%172 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.7, i64 0, i64 0))
br label %283
173: ; preds = %161
%174 = icmp eq i32 %162, 4
%175 = icmp eq i32 %162, 9
%176 = or i1 %175, %174
%177 = icmp sgt i32 %156, 30
%178 = select i1 %176, i1 %177, i1 false
br i1 %178, label %269, label %179
179: ; preds = %173
%180 = icmp sgt i32 %154, 1
br i1 %180, label %181, label %279
181: ; preds = %179
%182 = add nsw i32 %154, -1
%183 = zext i32 %182 to i64
%184 = icmp ult i32 %182, 8
br i1 %184, label %266, label %185
185: ; preds = %181
%186 = and i64 %183, 4294967288
%187 = add nsw i64 %186, -8
%188 = lshr exact i64 %187, 3
%189 = add nuw nsw i64 %188, 1
%190 = and i64 %189, 3
%191 = icmp ult i64 %187, 24
br i1 %191, label %237, label %192
192: ; preds = %185
%193 = and i64 %189, 4611686018427387900
br label %194
194: ; preds = %194, %192
%195 = phi i64 [ 0, %192 ], [ %234, %194 ]
%196 = phi <4 x i32> [ zeroinitializer, %192 ], [ %232, %194 ]
%197 = phi <4 x i32> [ zeroinitializer, %192 ], [ %233, %194 ]
%198 = phi i64 [ 0, %192 ], [ %235, %194 ]
%199 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %195
%200 = bitcast i32* %199 to <4 x i32>*
%201 = load <4 x i32>, <4 x i32>* %200
%202 = getelementptr inbounds i32, i32* %199, i64 4
%203 = bitcast i32* %202 to <4 x i32>*
%204 = load <4 x i32>, <4 x i32>* %203
%205 = add <4 x i32> %201, %196
%206 = add <4 x i32> %204, %197
%207 = or i64 %195, 8
%208 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %207
%209 = bitcast i32* %208 to <4 x i32>*
%210 = load <4 x i32>, <4 x i32>* %209
%211 = getelementptr inbounds i32, i32* %208, i64 4
%212 = bitcast i32* %211 to <4 x i32>*
%213 = load <4 x i32>, <4 x i32>* %212
%214 = add <4 x i32> %210, %205
%215 = add <4 x i32> %213, %206
%216 = or i64 %195, 16
%217 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %216
%218 = bitcast i32* %217 to <4 x i32>*
%219 = load <4 x i32>, <4 x i32>* %218
%220 = getelementptr inbounds i32, i32* %217, i64 4
%221 = bitcast i32* %220 to <4 x i32>*
%222 = load <4 x i32>, <4 x i32>* %221
%223 = add <4 x i32> %219, %214
%224 = add <4 x i32> %222, %215
%225 = or i64 %195, 24
%226 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %225
%227 = bitcast i32* %226 to <4 x i32>*
%228 = load <4 x i32>, <4 x i32>* %227
%229 = getelementptr inbounds i32, i32* %226, i64 4
%230 = bitcast i32* %229 to <4 x i32>*
%231 = load <4 x i32>, <4 x i32>* %230
%232 = add <4 x i32> %228, %223
%233 = add <4 x i32> %231, %224
%234 = add nuw i64 %195, 32
%235 = add i64 %198, 4
%236 = icmp eq i64 %235, %193
br i1 %236, label %237, label %194
237: ; preds = %194, %185
%238 = phi <4 x i32> [ undef, %185 ], [ %232, %194 ]
%239 = phi <4 x i32> [ undef, %185 ], [ %233, %194 ]
%240 = phi i64 [ 0, %185 ], [ %234, %194 ]
%241 = phi <4 x i32> [ zeroinitializer, %185 ], [ %232, %194 ]
%242 = phi <4 x i32> [ zeroinitializer, %185 ], [ %233, %194 ]
%243 = icmp eq i64 %190, 0
br i1 %243, label %260, label %244
244: ; preds = %237, %244
%245 = phi i64 [ %257, %244 ], [ %240, %237 ]
%246 = phi <4 x i32> [ %255, %244 ], [ %241, %237 ]
%247 = phi <4 x i32> [ %256, %244 ], [ %242, %237 ]
%248 = phi i64 [ %258, %244 ], [ 0, %237 ]
%249 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %245
%250 = bitcast i32* %249 to <4 x i32>*
%251 = load <4 x i32>, <4 x i32>* %250
%252 = getelementptr inbounds i32, i32* %249, i64 4
%253 = bitcast i32* %252 to <4 x i32>*
%254 = load <4 x i32>, <4 x i32>* %253
%255 = add <4 x i32> %251, %246
%256 = add <4 x i32> %254, %247
%257 = add nuw i64 %245, 8
%258 = add i64 %248, 1
%259 = icmp eq i64 %258, %190
br i1 %259, label %260, label %244
260: ; preds = %244, %237
%261 = phi <4 x i32> [ %238, %237 ], [ %255, %244 ]
%262 = phi <4 x i32> [ %239, %237 ], [ %256, %244 ]
%263 = add <4 x i32> %262, %261
%264 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %263)
%265 = icmp eq i64 %186, %183
br i1 %265, label %279, label %266
266: ; preds = %181, %260
%267 = phi i64 [ 0, %181 ], [ %186, %260 ]
%268 = phi i32 [ 0, %181 ], [ %264, %260 ]
br label %271
269: ; preds = %173
%270 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.7, i64 0, i64 0))
br label %283
271: ; preds = %266, %271
%272 = phi i64 [ %277, %271 ], [ %267, %266 ]
%273 = phi i32 [ %276, %271 ], [ %268, %266 ]
%274 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %272
%275 = load i32, i32* %274
%276 = add nsw i32 %275, %273
%277 = add nuw nsw i64 %272, 1
%278 = icmp eq i64 %277, %183
br i1 %278, label %279, label %271
279: ; preds = %271, %260, %179
%280 = phi i32 [ 0, %179 ], [ %264, %260 ], [ %276, %271 ]
%281 = add nsw i32 %280, %156
%282 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %281)
br label %283
283: ; preds = %159, %269, %279, %171, %29, %139, %149, %41
ret i32 0
}