#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 */
typedef int /*<<< orphan*/ buf;

/* Variables and functions */
scalar_t__ is_leap(int);
int snprintf(char *, int, char *, int, int, int);
int sscanf(char const *, char *, int *, int *, int *);
scalar_t__ strlen(char const *);
int readstat_dta_num_days(const char *s, char **dest) {
  int daysPerMonth[] = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
  int daysPerMonthLeap[] = {31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
  int year, month, day;
  if (strlen(s) == 0) {
    *dest = (char *)s;
    return 0;
  }
  int ret = sscanf(s, "%d-%d-%d", &year, &month, &day);
  month--;
  if (month < 0 || month > 11 || ret != 3) {
    *dest = (char *)s;
    return 0;
  }
  int maxdays = (is_leap(year) ? daysPerMonthLeap : daysPerMonth)[month];
  if (day < 1 || day > maxdays) {
    *dest = (char *)s;
    return 0;
  } else {
    int days = 0;
    for (int i = year; i < 1960; i++) {
      days -= is_leap(i) ? 366 : 365;
    }
    for (int i = 1960; i < year; i++) {
      days += is_leap(i) ? 366 : 365;
    }
    for (int m = 0; m < month; m++) {
      days += is_leap(year) ? daysPerMonthLeap[m] : daysPerMonth[m];
    }
    days += day - 1;
    char buf[1024];
    *dest = (char *)s +
            snprintf(buf, sizeof(buf), "%d-%d-%d", year, month + 1, day);
    return days;
  }
}


x86 assembly (clang, -O0):
<readstat_dta_num_days>:
push   %rbp
mov    %rsp,%rbp
sub    $0x4d0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
lea    -0x50(%rbp),%rdi
lea    0xe92(%rip),%rsi
mov    $0x30,%edx
call   1060 <memcpy@plt>
lea    -0x80(%rbp),%rdi
lea    0xead(%rip),%rsi
mov    $0x30,%edx
call   1060 <memcpy@plt>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
cmp    $0x0,%rax
jne    11b7 <readstat_dta_num_days+0x67>
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    1458 <readstat_dta_num_days+0x308>
mov    -0x10(%rbp),%rdi
lea    0xe9e(%rip),%rsi
lea    -0x84(%rbp),%rdx
lea    -0x88(%rbp),%rcx
lea    -0x8c(%rbp),%r8
call   1070 <sscanf@plt>
mov    %eax,-0x90(%rbp)
mov    -0x88(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x88(%rbp)
cmpl   $0x0,-0x88(%rbp)
jl     1218 <readstat_dta_num_days+0xc8>
cmpl   $0xb,-0x88(%rbp)
jg     1218 <readstat_dta_num_days+0xc8>
cmpl   $0x3,-0x90(%rbp)
je     122f <readstat_dta_num_days+0xdf>
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    1458 <readstat_dta_num_days+0x308>
mov    -0x84(%rbp),%edi
call   1050 <is_leap@plt>
cmp    $0x0,%rax
je     1254 <readstat_dta_num_days+0x104>
lea    -0x80(%rbp),%rax
mov    %rax,-0x4b8(%rbp)
jmp    125f <readstat_dta_num_days+0x10f>
lea    -0x50(%rbp),%rax
mov    %rax,-0x4b8(%rbp)
mov    -0x4b8(%rbp),%rax
movslq -0x88(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x94(%rbp)
cmpl   $0x1,-0x8c(%rbp)
jl     1295 <readstat_dta_num_days+0x145>
mov    -0x8c(%rbp),%eax
cmp    -0x94(%rbp),%eax
jle    12ac <readstat_dta_num_days+0x15c>
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    1458 <readstat_dta_num_days+0x308>
movl   $0x0,-0x98(%rbp)
mov    -0x84(%rbp),%eax
mov    %eax,-0x9c(%rbp)
cmpl   $0x7a8,-0x9c(%rbp)
jge    1313 <readstat_dta_num_days+0x1c3>
mov    -0x9c(%rbp),%edi
call   1050 <is_leap@plt>
mov    %rax,%rdx
mov    $0x16d,%ecx
mov    $0x16e,%eax
cmp    $0x0,%rdx
cmovne %eax,%ecx
mov    -0x98(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x98(%rbp)
mov    -0x9c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9c(%rbp)
jmp    12c2 <readstat_dta_num_days+0x172>
movl   $0x7a8,-0xa0(%rbp)
mov    -0xa0(%rbp),%eax
cmp    -0x84(%rbp),%eax
jge    136e <readstat_dta_num_days+0x21e>
mov    -0xa0(%rbp),%edi
call   1050 <is_leap@plt>
mov    %rax,%rdx
mov    $0x16d,%eax
mov    $0x16e,%ecx
cmp    $0x0,%rdx
cmovne %ecx,%eax
add    -0x98(%rbp),%eax
mov    %eax,-0x98(%rbp)
mov    -0xa0(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xa0(%rbp)
jmp    131d <readstat_dta_num_days+0x1cd>
movl   $0x0,-0xa4(%rbp)
mov    -0xa4(%rbp),%eax
cmp    -0x88(%rbp),%eax
jge    13ec <readstat_dta_num_days+0x29c>
mov    -0x84(%rbp),%edi
call   1050 <is_leap@plt>
cmp    $0x0,%rax
je     13b5 <readstat_dta_num_days+0x265>
movslq -0xa4(%rbp),%rax
mov    -0x80(%rbp,%rax,4),%eax
mov    %eax,-0x4bc(%rbp)
jmp    13c6 <readstat_dta_num_days+0x276>
movslq -0xa4(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%eax
mov    %eax,-0x4bc(%rbp)
mov    -0x4bc(%rbp),%eax
add    -0x98(%rbp),%eax
mov    %eax,-0x98(%rbp)
mov    -0xa4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xa4(%rbp)
jmp    1378 <readstat_dta_num_days+0x228>
mov    -0x8c(%rbp),%eax
sub    $0x1,%eax
add    -0x98(%rbp),%eax
mov    %eax,-0x98(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x4c8(%rbp)
lea    -0x4b0(%rbp),%rdi
mov    -0x84(%rbp),%ecx
mov    -0x88(%rbp),%r8d
add    $0x1,%r8d
mov    -0x8c(%rbp),%r9d
mov    $0x400,%esi
lea    0xc29(%rip),%rdx
call   1040 <snprintf@plt>
mov    -0x4c8(%rbp),%rcx
cltq
add    %rax,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x98(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x4d0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<readstat_dta_num_days>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x478,%rsp
mov    %rsi,%r14
mov    %rdi,%r15
movaps 0xed2(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movaps 0xeb6(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movaps 0xe9a(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
movaps 0xede(%rip),%xmm0
movaps %xmm0,0x60(%rsp)
movaps 0xec2(%rip),%xmm0
movaps %xmm0,0x50(%rsp)
movaps 0xea6(%rip),%xmm0
movaps %xmm0,0x40(%rsp)
cmpb   $0x0,(%rdi)
je     11f9 <readstat_dta_num_days+0xc9>
lea    0xec5(%rip),%rsi
lea    0x8(%rsp),%rdx
lea    0x4(%rsp),%rcx
lea    0xc(%rsp),%r8
mov    %r15,%rdi
call   1050 <sscanf@plt>
mov    0x4(%rsp),%ecx
lea    -0x1(%rcx),%edx
mov    %edx,0x4(%rsp)
cmp    $0x3,%eax
jne    11f9 <readstat_dta_num_days+0xc9>
add    $0xfffffff3,%ecx
cmp    $0xfffffff3,%ecx
jbe    11f9 <readstat_dta_num_days+0xc9>
mov    0x8(%rsp),%edi
call   1040 <is_leap@plt>
mov    0xc(%rsp),%ecx
test   %ecx,%ecx
jle    11f9 <readstat_dta_num_days+0xc9>
test   %rax,%rax
lea    0x10(%rsp),%rdx
lea    0x40(%rsp),%r13
mov    %r13,%rax
cmove  %rdx,%rax
movslq 0x4(%rsp),%rdx
cmp    (%rax,%rdx,4),%ecx
jle    1212 <readstat_dta_num_days+0xe2>
mov    %r15,(%r14)
xor    %ebx,%ebx
mov    %ebx,%eax
add    $0x478,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x8(%rsp),%r12d
xor    %ebp,%ebp
cmp    $0x7a7,%r12d
jg     1257 <readstat_dta_num_days+0x127>
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r12d,%edi
call   1040 <is_leap@plt>
cmp    $0x1,%rax
adc    $0x0,%ebp
add    $0xfffffe92,%ebp
add    $0x1,%r12d
cmp    $0x7a8,%r12d
jne    1230 <readstat_dta_num_days+0x100>
mov    0x8(%rsp),%r12d
cmp    $0x7a9,%r12d
jl     1291 <readstat_dta_num_days+0x161>
mov    $0x7a8,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ebx,%edi
call   1040 <is_leap@plt>
cmp    $0x1,%rax
sbb    $0x0,%ebp
add    $0x16e,%ebp
add    $0x1,%ebx
mov    0x8(%rsp),%r12d
cmp    %r12d,%ebx
jl     1270 <readstat_dta_num_days+0x140>
mov    0x4(%rsp),%r8d
test   %r8d,%r8d
jle    1303 <readstat_dta_num_days+0x1d3>
mov    %r12d,%edi
call   1040 <is_leap@plt>
test   %rax,%rax
lea    0x10(%rsp),%rax
cmove  %rax,%r13
add    0x0(%r13),%ebp
mov    0x4(%rsp),%r8d
cmp    $0x2,%r8d
jl     12fe <readstat_dta_num_days+0x1ce>
lea    0x14(%rsp),%r13
lea    0x44(%rsp),%r12
mov    $0x1,%ebx
jmp    12e8 <readstat_dta_num_days+0x1b8>
nop
add    (%rcx),%ebp
add    $0x1,%rbx
movslq 0x4(%rsp),%r8
add    $0x4,%r13
add    $0x4,%r12
cmp    %r8,%rbx
jge    12fe <readstat_dta_num_days+0x1ce>
mov    0x8(%rsp),%edi
call   1040 <is_leap@plt>
mov    %r13,%rcx
test   %rax,%rax
je     12d0 <readstat_dta_num_days+0x1a0>
mov    %r12,%rcx
jmp    12d0 <readstat_dta_num_days+0x1a0>
mov    0x8(%rsp),%r12d
mov    0xc(%rsp),%r9d
lea    (%r9,%rbp,1),%ebx
add    $0xffffffff,%ebx
add    $0x1,%r8d
lea    0xd46(%rip),%rdx
lea    0x70(%rsp),%rdi
mov    $0x400,%esi
mov    %r12d,%ecx
call   1030 <snprintf@plt>
cltq
add    %rax,%r15
mov    %r15,(%r14)
jmp    11fe <readstat_dta_num_days+0xce>

LLVM IR (-O0):
@__const.readstat_dta_num_days.daysPerMonth = [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]
@__const.readstat_dta_num_days.daysPerMonthLeap = [12 x i32] [i32 31, i32 29, i32 31, i32 30, i32 31, i32 30, i32 31, i32 31, i32 30, i32 31, i32 30, i32 31]
@.str = [9 x i8] c"%d-%d-%d\00"
define i32 @readstat_dta_num_days(i8* %0, i8** %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8**
%6 = alloca [12 x i32]
%7 = alloca [12 x i32]
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca [1024 x i8]
store i8* %0, i8** %4
store i8** %1, i8*** %5
%18 = bitcast [12 x i32]* %6 to i8*
%19 = bitcast [12 x i32]* %7 to i8*
%20 = load i8*, i8** %4
%21 = call i64 @strlen(i8* %20)
%22 = icmp eq i64 %21, 0
br i1 %22, label %23, label %26
23: ; preds = %2
%24 = load i8*, i8** %4
%25 = load i8**, i8*** %5
store i8* %24, i8** %25
store i32 0, i32* %3
br label %139
26: ; preds = %2
%27 = load i8*, i8** %4
%28 = call i32 @sscanf(i8* %27, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32* %8, i32* %9, i32* %10)
store i32 %28, i32* %11
%29 = load i32, i32* %9
%30 = add nsw i32 %29, -1
store i32 %30, i32* %9
%31 = load i32, i32* %9
%32 = icmp slt i32 %31, 0
br i1 %32, label %39, label %33
33: ; preds = %26
%34 = load i32, i32* %9
%35 = icmp sgt i32 %34, 11
br i1 %35, label %39, label %36
36: ; preds = %33
%37 = load i32, i32* %11
%38 = icmp ne i32 %37, 3
br i1 %38, label %39, label %42
39: ; preds = %36, %33, %26
%40 = load i8*, i8** %4
%41 = load i8**, i8*** %5
store i8* %40, i8** %41
store i32 0, i32* %3
br label %139
42: ; preds = %36
%43 = load i32, i32* %8
%44 = call i64 @is_leap(i32 %43)
%45 = icmp ne i64 %44, 0
br i1 %45, label %46, label %48
46: ; preds = %42
%47 = getelementptr inbounds [12 x i32], [12 x i32]* %7, i64 0, i64 0
br label %50
48: ; preds = %42
%49 = getelementptr inbounds [12 x i32], [12 x i32]* %6, i64 0, i64 0
br label %50
50: ; preds = %48, %46
%51 = phi i32* [ %47, %46 ], [ %49, %48 ]
%52 = load i32, i32* %9
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i32, i32* %51, i64 %53
%55 = load i32, i32* %54
store i32 %55, i32* %12
%56 = load i32, i32* %10
%57 = icmp slt i32 %56, 1
br i1 %57, label %62, label %58
58: ; preds = %50
%59 = load i32, i32* %10
%60 = load i32, i32* %12
%61 = icmp sgt i32 %59, %60
br i1 %61, label %62, label %65
62: ; preds = %58, %50
%63 = load i8*, i8** %4
%64 = load i8**, i8*** %5
store i8* %63, i8** %64
store i32 0, i32* %3
br label %139
65: ; preds = %58
store i32 0, i32* %13
%66 = load i32, i32* %8
store i32 %66, i32* %14
br label %67
67: ; preds = %78, %65
%68 = load i32, i32* %14
%69 = icmp slt i32 %68, 1960
br i1 %69, label %70, label %81
70: ; preds = %67
%71 = load i32, i32* %14
%72 = call i64 @is_leap(i32 %71)
%73 = icmp ne i64 %72, 0
%74 = zext i1 %73 to i64
%75 = select i1 %73, i32 366, i32 365
%76 = load i32, i32* %13
%77 = sub nsw i32 %76, %75
store i32 %77, i32* %13
br label %78
78: ; preds = %70
%79 = load i32, i32* %14
%80 = add nsw i32 %79, 1
store i32 %80, i32* %14
br label %67
81: ; preds = %67
store i32 1960, i32* %15
br label %82
82: ; preds = %94, %81
%83 = load i32, i32* %15
%84 = load i32, i32* %8
%85 = icmp slt i32 %83, %84
br i1 %85, label %86, label %97
86: ; preds = %82
%87 = load i32, i32* %15
%88 = call i64 @is_leap(i32 %87)
%89 = icmp ne i64 %88, 0
%90 = zext i1 %89 to i64
%91 = select i1 %89, i32 366, i32 365
%92 = load i32, i32* %13
%93 = add nsw i32 %92, %91
store i32 %93, i32* %13
br label %94
94: ; preds = %86
%95 = load i32, i32* %15
%96 = add nsw i32 %95, 1
store i32 %96, i32* %15
br label %82
97: ; preds = %82
store i32 0, i32* %16
br label %98
98: ; preds = %120, %97
%99 = load i32, i32* %16
%100 = load i32, i32* %9
%101 = icmp slt i32 %99, %100
br i1 %101, label %102, label %123
102: ; preds = %98
%103 = load i32, i32* %8
%104 = call i64 @is_leap(i32 %103)
%105 = icmp ne i64 %104, 0
br i1 %105, label %106, label %111
106: ; preds = %102
%107 = load i32, i32* %16
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds [12 x i32], [12 x i32]* %7, i64 0, i64 %108
%110 = load i32, i32* %109
br label %116
111: ; preds = %102
%112 = load i32, i32* %16
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds [12 x i32], [12 x i32]* %6, i64 0, i64 %113
%115 = load i32, i32* %114
br label %116
116: ; preds = %111, %106
%117 = phi i32 [ %110, %106 ], [ %115, %111 ]
%118 = load i32, i32* %13
%119 = add nsw i32 %118, %117
store i32 %119, i32* %13
br label %120
120: ; preds = %116
%121 = load i32, i32* %16
%122 = add nsw i32 %121, 1
store i32 %122, i32* %16
br label %98
123: ; preds = %98
%124 = load i32, i32* %10
%125 = sub nsw i32 %124, 1
%126 = load i32, i32* %13
%127 = add nsw i32 %126, %125
store i32 %127, i32* %13
%128 = load i8*, i8** %4
%129 = getelementptr inbounds [1024 x i8], [1024 x i8]* %17, i64 0, i64 0
%130 = load i32, i32* %8
%131 = load i32, i32* %9
%132 = add nsw i32 %131, 1
%133 = load i32, i32* %10
%134 = call i32 @snprintf(i8* %129, i32 1024, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 %130, i32 %132, i32 %133)
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds i8, i8* %128, i64 %135
%137 = load i8**, i8*** %5
store i8* %136, i8** %137
%138 = load i32, i32* %13
store i32 %138, i32* %3
br label %139
139: ; preds = %123, %62, %39, %23
%140 = load i32, i32* %3
ret i32 %140
}

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