#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 Leap(int);
int Day(int y, int m, int d) {
  int day_tab[12] = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
  int k = Leap(y);
  if (y <= 0 || y > 9999)
    return -1;
  else if (m > 12 || m <= 0)
    return -2;
  else if (m == 2 && d > day_tab[m - 1] + k)
    return -3;
  else if ((d > day_tab[m - 1] && m != 2) || d <= 0)
    return -3;
  int i = 0, n = 1;
  for (i = 1; i < y; i++) {
    if (Leap(i))
      n = (n + 366) % 7;
    else
      n = (n + 365) % 7;
  }
  for (i = 1; i < m; i++) {
    switch (i) {
    case 2:
      if (k) {
        n = (n + 29) % 7;
      } else {
        n = (n + 28) % 7;
      }
      break;
    case 4:
    case 6:
    case 9:
    case 11:
      n = (n + 30) % 7;
      break;
    default:
      n = (n + 31) % 7;
    }
  }
  n = (n + d - 1) % 7;
  return n;
}


x86 assembly (clang, -O0):
<Day>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
lea    -0x40(%rbp),%rdi
lea    0xec4(%rip),%rsi
mov    $0x30,%edx
call   1040 <memcpy@plt>
mov    -0x8(%rbp),%edi
call   1030 <Leap@plt>
mov    %eax,-0x44(%rbp)
cmpl   $0x0,-0x8(%rbp)
jle    1168 <Day+0x48>
cmpl   $0x270f,-0x8(%rbp)
jle    1174 <Day+0x54>
movl   $0xffffffff,-0x4(%rbp)
jmp    136f <Day+0x24f>
cmpl   $0xc,-0xc(%rbp)
jg     1188 <Day+0x68>
cmpl   $0x0,-0xc(%rbp)
jg     1194 <Day+0x74>
movl   $0xfffffffe,-0x4(%rbp)
jmp    136f <Day+0x24f>
cmpl   $0x2,-0xc(%rbp)
jne    11c5 <Day+0xa5>
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    -0x40(%rbp,%rcx,4),%ecx
add    -0x44(%rbp),%ecx
cmp    %ecx,%eax
jle    11c5 <Day+0xa5>
movl   $0xfffffffd,-0x4(%rbp)
jmp    136f <Day+0x24f>
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
cmp    -0x40(%rbp,%rcx,4),%eax
jle    11e5 <Day+0xc5>
cmpl   $0x2,-0xc(%rbp)
jne    11ef <Day+0xcf>
cmpl   $0x0,-0x10(%rbp)
jg     11fb <Day+0xdb>
movl   $0xfffffffd,-0x4(%rbp)
jmp    136f <Day+0x24f>
jmp    1200 <Day+0xe0>
jmp    1205 <Day+0xe5>
jmp    120a <Day+0xea>
movl   $0x0,-0x48(%rbp)
movl   $0x1,-0x4c(%rbp)
movl   $0x1,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    127a <Day+0x15a>
mov    -0x48(%rbp),%edi
call   1030 <Leap@plt>
cmp    $0x0,%eax
je     1254 <Day+0x134>
mov    -0x4c(%rbp),%eax
add    $0x16e,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %edx,-0x4c(%rbp)
jmp    1267 <Day+0x147>
mov    -0x4c(%rbp),%eax
add    $0x16d,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %edx,-0x4c(%rbp)
jmp    126c <Day+0x14c>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    121f <Day+0xff>
movl   $0x1,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1355 <Day+0x235>
mov    -0x48(%rbp),%eax
mov    %eax,-0x50(%rbp)
sub    $0x2,%eax
je     12e5 <Day+0x1c5>
jmp    12a1 <Day+0x181>
mov    -0x50(%rbp),%eax
sub    $0x4,%eax
je     131b <Day+0x1fb>
jmp    12b2 <Day+0x192>
mov    -0x50(%rbp),%eax
sub    $0x6,%eax
je     131b <Day+0x1fb>
jmp    12c3 <Day+0x1a3>
mov    -0x50(%rbp),%eax
sub    $0x9,%eax
je     131b <Day+0x1fb>
jmp    12d4 <Day+0x1b4>
mov    -0x50(%rbp),%eax
sub    $0xb,%eax
je     131b <Day+0x1fb>
jmp    1331 <Day+0x211>
cmpl   $0x0,-0x44(%rbp)
je     1305 <Day+0x1e5>
mov    -0x4c(%rbp),%eax
add    $0x1d,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %edx,-0x4c(%rbp)
jmp    1316 <Day+0x1f6>
mov    -0x4c(%rbp),%eax
add    $0x1c,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %edx,-0x4c(%rbp)
jmp    1342 <Day+0x222>
mov    -0x4c(%rbp),%eax
add    $0x1e,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %edx,-0x4c(%rbp)
jmp    1342 <Day+0x222>
mov    -0x4c(%rbp),%eax
add    $0x1f,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %edx,-0x4c(%rbp)
jmp    1347 <Day+0x227>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1281 <Day+0x161>
mov    -0x4c(%rbp),%eax
add    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %edx,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Day>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %edx,%r15d
mov    %esi,%r12d
mov    %edi,%r13d
call   1030 <Leap@plt>
mov    %eax,%r14d
lea    -0x2710(%r13),%ecx
mov    $0xffffffff,%eax
cmp    $0xffffd8f1,%ecx
jb     138d <Day+0x27d>
lea    -0xd(%r12),%ecx
mov    $0xfffffffe,%eax
cmp    $0xfffffff4,%ecx
jb     138d <Day+0x27d>
mov    $0xfffffffd,%eax
cmp    $0x2,%r12d
jne    116f <Day+0x5f>
lea    0x1c(%r14),%ecx
cmp    %r15d,%ecx
jl     138d <Day+0x27d>
lea    -0x1(%r12),%esi
lea    0xe85(%rip),%rcx
cmp    %r15d,(%rcx,%rsi,4)
setl   %cl
cmp    $0x2,%r12d
setne  %dl
test   %r15d,%r15d
jle    138d <Day+0x27d>
and    %cl,%dl
jne    138d <Day+0x27d>
mov    %rsi,(%rsp)
mov    $0x1,%ebx
cmp    $0x2,%r13d
jb     120b <Day+0xfb>
mov    $0x1,%ebx
mov    $0x1,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %ebp,%edi
call   1030 <Leap@plt>
cmp    $0x1,%eax
sbb    $0x0,%ebx
mov    %ebx,%eax
add    $0x16e,%eax
cltq
imul   $0xffffffff92492493,%rax,%rax
shr    $0x20,%rax
add    %ebx,%eax
add    $0x16e,%eax
mov    %eax,%ecx
shr    $0x1f,%ecx
sar    $0x2,%eax
add    %ecx,%eax
lea    0x0(,%rax,8),%ecx
sub    %ecx,%eax
add    %eax,%ebx
add    $0x16e,%ebx
add    $0x1,%ebp
cmp    %ebp,%r13d
jne    11c0 <Day+0xb0>
cmp    $0x2,%r12d
jl     1357 <Day+0x247>
jne    1260 <Day+0x150>
mov    $0x1,%ebp
mov    (%rsp),%r9
test   $0x1,%r9b
je     1357 <Day+0x247>
cmp    $0xb,%ebp
ja     132b <Day+0x21b>
mov    $0x1e,%eax
mov    $0xa50,%ecx
bt     %ebp,%ecx
jb     1330 <Day+0x220>
cmp    $0x2,%ebp
jne    132b <Day+0x21b>
cmp    $0x1,%r14d
mov    $0x1d,%eax
sbb    $0x0,%eax
jmp    1330 <Day+0x220>
mov    (%rsp),%r9
mov    %r9d,%eax
and    $0xfffffffe,%eax
cmp    $0x1,%r14d
mov    $0x1d,%edx
sbb    $0x0,%edx
mov    $0x1,%ebp
mov    $0x528,%r8d
mov    $0xa50,%esi
jmp    12c5 <Day+0x1b5>
mov    $0x1f,%ecx
nopl   (%rax)
add    %ecx,%ebp
movslq %ebp,%rcx
imul   $0xffffffff92492493,%rcx,%rbx
shr    $0x20,%rbx
add    %ecx,%ebx
mov    %ebx,%ebp
shr    $0x1f,%ebp
sar    $0x2,%ebx
add    %ebp,%ebx
lea    0x0(,%rbx,8),%ebp
sub    %ebp,%ebx
add    %ecx,%ebx
lea    0x2(%rdi),%ebp
add    $0x1,%edi
cmp    %eax,%edi
je     1220 <Day+0x110>
mov    %ebp,%edi
cmp    $0xb,%ebp
ja     1324 <Day+0x214>
mov    $0x1e,%ecx
bt     %edi,%esi
jae    131d <Day+0x20d>
add    %ecx,%ebx
movslq %ebx,%rcx
imul   $0xffffffff92492493,%rcx,%rbp
shr    $0x20,%rbp
add    %ecx,%ebp
mov    %ebp,%ebx
shr    $0x1f,%ebx
sar    $0x2,%ebp
add    %ebx,%ebp
lea    0x0(,%rbp,8),%ebx
sub    %ebx,%ebp
add    %ecx,%ebp
cmp    $0xa,%edi
ja     1288 <Day+0x178>
mov    $0x1e,%ecx
bt     %edi,%r8d
jb     1290 <Day+0x180>
mov    %edx,%ecx
cmp    $0x1,%edi
je     1290 <Day+0x180>
jmp    1288 <Day+0x178>
mov    %edx,%ecx
cmp    $0x2,%edi
je     12d6 <Day+0x1c6>
mov    $0x1f,%ecx
jmp    12d6 <Day+0x1c6>
mov    $0x1f,%eax
add    %eax,%ebx
movslq %ebx,%rax
imul   $0xffffffff92492493,%rax,%rbx
shr    $0x20,%rbx
add    %eax,%ebx
mov    %ebx,%ecx
shr    $0x1f,%ecx
sar    $0x2,%ebx
add    %ecx,%ebx
lea    0x0(,%rbx,8),%ecx
sub    %ecx,%ebx
add    %eax,%ebx
lea    (%r15,%rbx,1),%eax
lea    (%r15,%rbx,1),%ecx
add    $0xffffffff,%ecx
movslq %ecx,%rcx
imul   $0xffffffff92492493,%rcx,%rcx
shr    $0x20,%rcx
add    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,%edx
shr    $0x1f,%edx
sar    $0x2,%ecx
add    %edx,%ecx
lea    0x0(,%rcx,8),%edx
sub    %edx,%ecx
add    %ecx,%eax
add    $0xffffffff,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@__const.Day.day_tab = [12 x i32] [i32 31, i32 28, i32 31, i32 30, i32 31, i32 30, i32 31, i32 31, i32 30, i32 31, i32 30, i32 31]
define i32 @Day(i32 %0, i32 %1, i32 %2) {
%4 = tail call i32 @Leap(i32 %0)
%5 = add i32 %0, -10000
%6 = icmp ult i32 %5, -9999
br i1 %6, label %86, label %7
7: ; preds = %3
%8 = add i32 %1, -13
%9 = icmp ult i32 %8, -12
br i1 %9, label %86, label %10
10: ; preds = %7
%11 = icmp eq i32 %1, 2
%12 = add nsw i32 %4, 28
%13 = icmp slt i32 %12, %2
%14 = select i1 %11, i1 %13, i1 false
br i1 %14, label %86, label %15
15: ; preds = %10
%16 = add nsw i32 %1, -1
%17 = zext i32 %16 to i64
%18 = getelementptr inbounds [12 x i32], [12 x i32]* @__const.Day.day_tab, i64 0, i64 %17
%19 = load i32, i32* %18
%20 = icmp slt i32 %19, %2
%21 = icmp ne i32 %1, 2
%22 = and i1 %21, %20
%23 = icmp slt i32 %2, 1
%24 = or i1 %23, %22
br i1 %24, label %86, label %25
25: ; preds = %15
%26 = icmp ugt i32 %0, 1
br i1 %26, label %39, label %27
27: ; preds = %39, %25
%28 = phi i32 [ 1, %25 ], [ %46, %39 ]
%29 = icmp sgt i32 %1, 1
br i1 %29, label %30, label %81
30: ; preds = %27
%31 = icmp eq i32 %4, 0
%32 = add i32 %1, -1
%33 = and i32 %32, 1
%34 = icmp eq i32 %1, 2
br i1 %34, label %68, label %35
35: ; preds = %30
%36 = and i32 %32, -2
%37 = select i1 %31, i32 28, i32 29
%38 = select i1 %31, i32 28, i32 29
br label %49
39: ; preds = %25, %39
%40 = phi i32 [ %46, %39 ], [ 1, %25 ]
%41 = phi i32 [ %47, %39 ], [ 1, %25 ]
%42 = tail call i32 @Leap(i32 %41)
%43 = icmp eq i32 %42, 0
%44 = select i1 %43, i32 365, i32 366
%45 = add nsw i32 %44, %40
%46 = srem i32 %45, 7
%47 = add nuw nsw i32 %41, 1
%48 = icmp eq i32 %47, %0
br i1 %48, label %27, label %39
49: ; preds = %61, %35
%50 = phi i32 [ %28, %35 ], [ %64, %61 ]
%51 = phi i32 [ 1, %35 ], [ %65, %61 ]
%52 = phi i32 [ 0, %35 ], [ %66, %61 ]
switch i32 %51, label %54 [
i32 2, label %53
i32 4, label %55
i32 6, label %55
i32 9, label %55
i32 11, label %55
]
53: ; preds = %49
br label %55
54: ; preds = %49
br label %55
55: ; preds = %49, %49, %49, %49, %53, %54
%56 = phi i32 [ 31, %54 ], [ %37, %53 ], [ 30, %49 ], [ 30, %49 ], [ 30, %49 ], [ 30, %49 ]
%57 = add nsw i32 %50, %56
%58 = srem i32 %57, 7
switch i32 %51, label %60 [
i32 1, label %59
i32 3, label %61
i32 5, label %61
i32 8, label %61
i32 10, label %61
]
59: ; preds = %55
br label %61
60: ; preds = %55
br label %61
61: ; preds = %60, %59, %55, %55, %55, %55
%62 = phi i32 [ 31, %60 ], [ %38, %59 ], [ 30, %55 ], [ 30, %55 ], [ 30, %55 ], [ 30, %55 ]
%63 = add nsw i32 %58, %62
%64 = srem i32 %63, 7
%65 = add nuw nsw i32 %51, 2
%66 = add i32 %52, 2
%67 = icmp eq i32 %66, %36
br i1 %67, label %68, label %49
68: ; preds = %61, %30
%69 = phi i32 [ undef, %30 ], [ %64, %61 ]
%70 = phi i32 [ %28, %30 ], [ %64, %61 ]
%71 = phi i32 [ 1, %30 ], [ %65, %61 ]
%72 = icmp eq i32 %33, 0
br i1 %72, label %81, label %73
73: ; preds = %68
switch i32 %71, label %76 [
i32 2, label %74
i32 4, label %77
i32 6, label %77
i32 9, label %77
i32 11, label %77
]
74: ; preds = %73
%75 = select i1 %31, i32 28, i32 29
br label %77
76: ; preds = %73
br label %77
77: ; preds = %76, %74, %73, %73, %73, %73
%78 = phi i32 [ 31, %76 ], [ %75, %74 ], [ 30, %73 ], [ 30, %73 ], [ 30, %73 ], [ 30, %73 ]
%79 = add nsw i32 %70, %78
%80 = srem i32 %79, 7
br label %81
81: ; preds = %77, %68, %27
%82 = phi i32 [ %28, %27 ], [ %69, %68 ], [ %80, %77 ]
%83 = add i32 %2, -1
%84 = add i32 %83, %82
%85 = srem i32 %84, 7
br label %86
86: ; preds = %15, %10, %7, %3, %81
%87 = phi i32 [ %85, %81 ], [ -1, %3 ], [ -2, %7 ], [ -3, %10 ], [ -3, %15 ]
ret i32 %87
}