int print_date(long int s) {
  int year, month, day, hour, min, seconds;
  int leap_year;
  int seconds_in_year, days_in_month, seconds_in_month, seconds_in_day;
  int seconds_in_hour, seconds_in_minute;
  int month_days[12] = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
  char month_names[12][4] = {"Jan", "Feb", "Mar", "Apr", "May", "Jun",
                             "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"};
  year = 1970;
  while (1) {
    leap_year = ((year % 4 == 0) && (year % 100 != 0 || year % 400 == 0));
    seconds_in_year = (365 + leap_year) * 24 * 60 * 60;
    if (s < seconds_in_year)
      break;
    s -= seconds_in_year;
    year++;
  }
  month = 0;
  leap_year = ((year % 4 == 0) && (year % 100 != 0 || year % 400 == 0));
  while (1) {
    days_in_month = month_days[month];
    if ((month == 1) && (leap_year))
      days_in_month++;
    seconds_in_month = days_in_month * (24 * 60 * 60);
    if (s < seconds_in_month)
      break;
    s -= seconds_in_month;
    month++;
  }
  day = 0;
  seconds_in_day = 24 * 60 * 60;
  while (1) {
    if (s < seconds_in_day)
      break;
    s -= seconds_in_day;
    day++;
  }
  hour = 0;
  seconds_in_hour = 60 * 60;
  while (1) {
    if (s < seconds_in_hour)
      break;
    s -= seconds_in_hour;
    hour++;
  }
  min = 0;
  seconds_in_minute = 60;
  while (1) {
    if (s < seconds_in_minute)
      break;
    s -= seconds_in_minute;
    min++;
  }
  seconds = s;
  printf("%2d %s %d %02d:%02d:%02d", day + 1, month_names[month], year, hour,
         min, seconds);
  return 0;
}


x86 assembly (clang, -O0):
<print_date>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
mov    %rdi,-0x8(%rbp)
lea    -0x70(%rbp),%rdi
lea    0xec6(%rip),%rsi
mov    $0x30,%edx
call   1040 <memcpy@plt>
lea    -0xa0(%rbp),%rdi
lea    0xede(%rip),%rsi
mov    $0x30,%edx
call   1040 <memcpy@plt>
movl   $0x7b2,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
xor    %eax,%eax
cmp    $0x0,%edx
mov    %al,-0xa1(%rbp)
jne    11be <print_date+0x9e>
mov    -0xc(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
mov    $0x1,%al
cmp    $0x0,%edx
mov    %al,-0xa2(%rbp)
jne    11b2 <print_date+0x92>
mov    -0xc(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
sete   %al
mov    %al,-0xa2(%rbp)
mov    -0xa2(%rbp),%al
mov    %al,-0xa1(%rbp)
mov    -0xa1(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
add    $0x16d,%eax
imul   $0x18,%eax,%eax
imul   $0x3c,%eax,%eax
imul   $0x3c,%eax,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
cmp    %rcx,%rax
jge    11f6 <print_date+0xd6>
jmp    1213 <print_date+0xf3>
movslq -0x28(%rbp),%rcx
mov    -0x8(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1163 <print_date+0x43>
movl   $0x0,-0x10(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
xor    %eax,%eax
cmp    $0x0,%edx
mov    %al,-0xa3(%rbp)
jne    1275 <print_date+0x155>
mov    -0xc(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
mov    $0x1,%al
cmp    $0x0,%edx
mov    %al,-0xa4(%rbp)
jne    1269 <print_date+0x149>
mov    -0xc(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
sete   %al
mov    %al,-0xa4(%rbp)
mov    -0xa4(%rbp),%al
mov    %al,-0xa3(%rbp)
mov    -0xa3(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x24(%rbp)
movslq -0x10(%rbp),%rax
mov    -0x70(%rbp,%rax,4),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x1,-0x10(%rbp)
jne    12ab <print_date+0x18b>
cmpl   $0x0,-0x24(%rbp)
je     12ab <print_date+0x18b>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
imul   $0x15180,-0x2c(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
cmp    %rcx,%rax
jge    12cb <print_date+0x1ab>
jmp    12e8 <print_date+0x1c8>
movslq -0x30(%rbp),%rcx
mov    -0x8(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1283 <print_date+0x163>
movl   $0x0,-0x14(%rbp)
movl   $0x15180,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
cmp    %rcx,%rax
jge    130c <print_date+0x1ec>
jmp    1329 <print_date+0x209>
movslq -0x34(%rbp),%rcx
mov    -0x8(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12f6 <print_date+0x1d6>
movl   $0x0,-0x18(%rbp)
movl   $0xe10,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
cmp    %rcx,%rax
jge    134d <print_date+0x22d>
jmp    136a <print_date+0x24a>
movslq -0x38(%rbp),%rcx
mov    -0x8(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1337 <print_date+0x217>
movl   $0x0,-0x1c(%rbp)
movl   $0x3c,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x3c(%rbp),%rcx
cmp    %rcx,%rax
jge    138e <print_date+0x26e>
jmp    13ab <print_date+0x28b>
movslq -0x3c(%rbp),%rcx
mov    -0x8(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1378 <print_date+0x258>
mov    -0x8(%rbp),%rax
mov    %eax,-0x20(%rbp)
mov    -0x14(%rbp),%esi
add    $0x1,%esi
movslq -0x10(%rbp),%rax
lea    -0xa0(%rbp),%rdx
shl    $0x2,%rax
add    %rax,%rdx
mov    -0xc(%rbp),%ecx
mov    -0x18(%rbp),%r8d
mov    -0x1c(%rbp),%r9d
mov    -0x20(%rbp),%eax
lea    0xc81(%rip),%rdi
mov    %eax,(%rsp)
mov    $0x0,%al
call   1030 <printf@plt>
xor    %eax,%eax
add    $0xb0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_date>:
sub    $0x48,%rsp
movaps 0xf35(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movaps 0xf19(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movaps 0xefd(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
mov    $0x7b2,%ecx
mov    $0x1e28500,%r9d
jmp    1164 <print_date+0x54>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    $0x7b2,%eax
cmovne %r9,%rsi
cmp    %rsi,%rdi
jl     11d5 <print_date+0xc5>
sub    %rsi,%rdi
add    $0x1,%ecx
test   $0x3,%cl
je     1180 <print_date+0x70>
mov    $0x1e13380,%esi
cmp    $0x1e13380,%rdi
jge    115e <print_date+0x4e>
jmp    11c4 <print_date+0xb4>
nopl   0x0(%rax)
mov    %ecx,%r8d
imul   $0x51eb851f,%r8,%rax
mov    %rax,%rdx
shr    $0x27,%rdx
imul   $0x190,%edx,%esi
mov    $0x7b2,%edx
sub    %esi,%edx
shr    $0x25,%rax
imul   $0x64,%eax,%esi
mov    $0x7b2,%eax
sub    %esi,%eax
add    %ecx,%eax
add    %ecx,%edx
mov    $0x1e28500,%esi
cmp    $0x7b2,%edx
je     1150 <print_date+0x40>
mov    $0x1e13380,%esi
jmp    1150 <print_date+0x40>
xor    %r9d,%r9d
cmp    $0x28de80,%rdi
jge    11fe <print_date+0xee>
xor    %r10d,%r10d
jmp    123a <print_date+0x12a>
cmp    $0x7b2,%edx
sete   %dl
imul   $0x51eb851f,%r8,%rax
shr    $0x25,%rax
imul   $0x64,%eax,%eax
cmp    %eax,%ecx
setne  %r9b
or     %dl,%r9b
cmp    $0x28de80,%rdi
jl     11d0 <print_date+0xc0>
mov    $0x28de80,%edx
xor    %esi,%esi
lea    0xdf4(%rip),%r8
nopl   0x0(%rax)
sub    %rdx,%rdi
movslq 0x4(%r8,%rsi,4),%rdx
test   %rsi,%rsi
lea    0x1(%rsi),%rsi
sete   %al
and    %r9b,%al
movzbl %al,%eax
add    %rdx,%rax
imul   $0x15180,%rax,%rdx
cmp    %rdx,%rdi
jge    1210 <print_date+0x100>
mov    %esi,%r10d
mov    $0x1,%esi
cmp    $0x15180,%rdi
jl     128c <print_date+0x17c>
cmp    $0x2a2ff,%rdi
mov    $0x2a2ff,%eax
cmovl  %rdi,%rax
neg    %rax
add    %rdi,%rax
add    $0x1517f,%rax
movabs $0xc22e450672894ab7,%rdx
45 2e c2
mul    %rdx
mov    %rdx,%rsi
shr    $0x10,%rsi
imul   $0xfffffffffffeae80,%rsi,%rax
add    %rax,%rdi
add    $0xfffffffffffeae80,%rdi
add    $0x2,%esi
xor    %r9d,%r9d
cmp    $0xe10,%rdi
jge    12a6 <print_date+0x196>
xor    %r8d,%r8d
cmp    $0x3c,%rdi
jge    12f5 <print_date+0x1e5>
jmp    132f <print_date+0x21f>
cmp    $0x1c1f,%rdi
mov    $0x1c1f,%eax
cmovl  %rdi,%rax
neg    %rax
add    %rdi,%rax
add    $0xe0f,%rax
shr    $0x4,%rax
movabs $0x91a2b3c4d5e6f81,%rdx
2b 1a 09
mul    %rdx
mov    %rdx,%r8
shr    $0x3,%r8
imul   $0xfffffffffffff1f0,%r8,%rax
add    %rax,%rdi
add    $0xfffffffffffff1f0,%rdi
add    $0x1,%r8d
cmp    $0x3c,%rdi
jl     132f <print_date+0x21f>
cmp    $0x77,%rdi
mov    $0x77,%eax
cmovl  %rdi,%rax
neg    %rax
add    %rdi,%rax
add    $0x3b,%rax
movabs $0x8888888888888889,%rdx
88 88 88
mul    %rdx
mov    %rdx,%r9
shr    $0x5,%r9
imul   $0xffffffffffffffc4,%r9,%rax
add    %rax,%rdi
add    $0xffffffffffffffc4,%rdi
add    $0x1,%r9d
lea    (%rsp,%r10,4),%rdx
add    $0x10,%rdx
mov    %edi,(%rsp)
lea    0xd1f(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x48,%rsp
ret

LLVM IR (-O0):
@__const.print_date.month_days = [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.print_date.month_names = [12 x [4 x i8]] [[4 x i8] c"Jan\00", [4 x i8] c"Feb\00", [4 x i8] c"Mar\00", [4 x i8] c"Apr\00", [4 x i8] c"May\00", [4 x i8] c"Jun\00", [4 x i8] c"Jul\00", [4 x i8] c"Aug\00", [4 x i8] c"Sep\00", [4 x i8] c"Oct\00", [4 x i8] c"Nov\00", [4 x i8] c"Dec\00"]
@.str = [25 x i8] c"%2d %s %d %02d:%02d:%02d\00"
define i32 @print_date(i64 %0) {
%2 = alloca i64
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca 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 [12 x i32]
%17 = alloca [12 x [4 x i8]]
store i64 %0, i64* %2
%18 = bitcast [12 x i32]* %16 to i8*
%19 = bitcast [12 x [4 x i8]]* %17 to i8*
store i32 1970, i32* %3
br label %20
20: ; preds = %1, %47
%21 = load i32, i32* %3
%22 = srem i32 %21, 4
%23 = icmp eq i32 %22, 0
br i1 %23, label %24, label %34
24: ; preds = %20
%25 = load i32, i32* %3
%26 = srem i32 %25, 100
%27 = icmp ne i32 %26, 0
br i1 %27, label %32, label %28
28: ; preds = %24
%29 = load i32, i32* %3
%30 = srem i32 %29, 400
%31 = icmp eq i32 %30, 0
br label %32
32: ; preds = %28, %24
%33 = phi i1 [ true, %24 ], [ %31, %28 ]
br label %34
34: ; preds = %32, %20
%35 = phi i1 [ false, %20 ], [ %33, %32 ]
%36 = zext i1 %35 to i32
store i32 %36, i32* %9
%37 = load i32, i32* %9
%38 = add nsw i32 365, %37
%39 = mul nsw i32 %38, 24
%40 = mul nsw i32 %39, 60
%41 = mul nsw i32 %40, 60
store i32 %41, i32* %10
%42 = load i64, i64* %2
%43 = load i32, i32* %10
%44 = sext i32 %43 to i64
%45 = icmp slt i64 %42, %44
br i1 %45, label %46, label %47
46: ; preds = %34
br label %54
47: ; preds = %34
%48 = load i32, i32* %10
%49 = sext i32 %48 to i64
%50 = load i64, i64* %2
%51 = sub nsw i64 %50, %49
store i64 %51, i64* %2
%52 = load i32, i32* %3
%53 = add nsw i32 %52, 1
store i32 %53, i32* %3
br label %20
54: ; preds = %46
store i32 0, i32* %4
%55 = load i32, i32* %3
%56 = srem i32 %55, 4
%57 = icmp eq i32 %56, 0
br i1 %57, label %58, label %68
58: ; preds = %54
%59 = load i32, i32* %3
%60 = srem i32 %59, 100
%61 = icmp ne i32 %60, 0
br i1 %61, label %66, label %62
62: ; preds = %58
%63 = load i32, i32* %3
%64 = srem i32 %63, 400
%65 = icmp eq i32 %64, 0
br label %66
66: ; preds = %62, %58
%67 = phi i1 [ true, %58 ], [ %65, %62 ]
br label %68
68: ; preds = %66, %54
%69 = phi i1 [ false, %54 ], [ %67, %66 ]
%70 = zext i1 %69 to i32
store i32 %70, i32* %9
br label %71
71: ; preds = %68, %92
%72 = load i32, i32* %4
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds [12 x i32], [12 x i32]* %16, i64 0, i64 %73
%75 = load i32, i32* %74
store i32 %75, i32* %11
%76 = load i32, i32* %4
%77 = icmp eq i32 %76, 1
br i1 %77, label %78, label %84
78: ; preds = %71
%79 = load i32, i32* %9
%80 = icmp ne i32 %79, 0
br i1 %80, label %81, label %84
81: ; preds = %78
%82 = load i32, i32* %11
%83 = add nsw i32 %82, 1
store i32 %83, i32* %11
br label %84
84: ; preds = %81, %78, %71
%85 = load i32, i32* %11
%86 = mul nsw i32 %85, 86400
store i32 %86, i32* %12
%87 = load i64, i64* %2
%88 = load i32, i32* %12
%89 = sext i32 %88 to i64
%90 = icmp slt i64 %87, %89
br i1 %90, label %91, label %92
91: ; preds = %84
br label %99
92: ; preds = %84
%93 = load i32, i32* %12
%94 = sext i32 %93 to i64
%95 = load i64, i64* %2
%96 = sub nsw i64 %95, %94
store i64 %96, i64* %2
%97 = load i32, i32* %4
%98 = add nsw i32 %97, 1
store i32 %98, i32* %4
br label %71
99: ; preds = %91
store i32 0, i32* %5
store i32 86400, i32* %13
br label %100
100: ; preds = %99, %106
%101 = load i64, i64* %2
%102 = load i32, i32* %13
%103 = sext i32 %102 to i64
%104 = icmp slt i64 %101, %103
br i1 %104, label %105, label %106
105: ; preds = %100
br label %113
106: ; preds = %100
%107 = load i32, i32* %13
%108 = sext i32 %107 to i64
%109 = load i64, i64* %2
%110 = sub nsw i64 %109, %108
store i64 %110, i64* %2
%111 = load i32, i32* %5
%112 = add nsw i32 %111, 1
store i32 %112, i32* %5
br label %100
113: ; preds = %105
store i32 0, i32* %6
store i32 3600, i32* %14
br label %114
114: ; preds = %113, %120
%115 = load i64, i64* %2
%116 = load i32, i32* %14
%117 = sext i32 %116 to i64
%118 = icmp slt i64 %115, %117
br i1 %118, label %119, label %120
119: ; preds = %114
br label %127
120: ; preds = %114
%121 = load i32, i32* %14
%122 = sext i32 %121 to i64
%123 = load i64, i64* %2
%124 = sub nsw i64 %123, %122
store i64 %124, i64* %2
%125 = load i32, i32* %6
%126 = add nsw i32 %125, 1
store i32 %126, i32* %6
br label %114
127: ; preds = %119
store i32 0, i32* %7
store i32 60, i32* %15
br label %128
128: ; preds = %127, %134
%129 = load i64, i64* %2
%130 = load i32, i32* %15
%131 = sext i32 %130 to i64
%132 = icmp slt i64 %129, %131
br i1 %132, label %133, label %134
133: ; preds = %128
br label %141
134: ; preds = %128
%135 = load i32, i32* %15
%136 = sext i32 %135 to i64
%137 = load i64, i64* %2
%138 = sub nsw i64 %137, %136
store i64 %138, i64* %2
%139 = load i32, i32* %7
%140 = add nsw i32 %139, 1
store i32 %140, i32* %7
br label %128
141: ; preds = %133
%142 = load i64, i64* %2
%143 = trunc i64 %142 to i32
store i32 %143, i32* %8
%144 = load i32, i32* %5
%145 = add nsw i32 %144, 1
%146 = load i32, i32* %4
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds [12 x [4 x i8]], [12 x [4 x i8]]* %17, i64 0, i64 %147
%149 = getelementptr inbounds [4 x i8], [4 x i8]* %148, i64 0, i64 0
%150 = load i32, i32* %3
%151 = load i32, i32* %6
%152 = load i32, i32* %7
%153 = load i32, i32* %8
%154 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0), i32 %145, i8* %149, i32 %150, i32 %151, i32 %152, i32 %153)
ret i32 0
}

LLVM IR (-O2):
@__const.print_date.month_days = [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.print_date.month_names = [12 x [4 x i8]] [[4 x i8] c"Jan\00", [4 x i8] c"Feb\00", [4 x i8] c"Mar\00", [4 x i8] c"Apr\00", [4 x i8] c"May\00", [4 x i8] c"Jun\00", [4 x i8] c"Jul\00", [4 x i8] c"Aug\00", [4 x i8] c"Sep\00", [4 x i8] c"Oct\00", [4 x i8] c"Nov\00", [4 x i8] c"Dec\00"]
@.str = [25 x i8] c"%2d %s %d %02d:%02d:%02d\00"
define i32 @print_date(i64 %0) {
%2 = alloca [12 x [4 x i8]]
%3 = getelementptr inbounds [12 x [4 x i8]], [12 x [4 x i8]]* %2, i64 0, i64 0, i64 0
br label %4
4: ; preds = %19, %1
%5 = phi i32 [ 1970, %1 ], [ %22, %19 ]
%6 = phi i64 [ %0, %1 ], [ %21, %19 ]
%7 = and i32 %5, 3
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %17
9: ; preds = %4
%10 = urem i32 %5, 100
%11 = icmp ne i32 %10, 0
%12 = urem i32 %5, 400
%13 = icmp eq i32 %12, 0
%14 = or i1 %11, %13
%15 = select i1 %14, i64 31622400, i64 31536000
%16 = icmp slt i64 %6, %15
br i1 %16, label %23, label %19
17: ; preds = %4
%18 = icmp slt i64 %6, 31536000
br i1 %18, label %26, label %19
19: ; preds = %17, %9
%20 = phi i64 [ 31536000, %17 ], [ %15, %9 ]
%21 = sub nsw i64 %6, %20
%22 = add nuw nsw i32 %5, 1
br label %4
23: ; preds = %9
%24 = icmp ne i32 %10, 0
%25 = or i1 %24, %13
br label %26
26: ; preds = %17, %23
%27 = phi i1 [ %25, %23 ], [ false, %17 ]
%28 = icmp slt i64 %6, 2678400
br i1 %28, label %31, label %45
29: ; preds = %45
%30 = and i64 %50, 4294967295
br label %31
31: ; preds = %29, %26
%32 = phi i64 [ 0, %26 ], [ %30, %29 ]
%33 = phi i64 [ %6, %26 ], [ %49, %29 ]
%34 = icmp slt i64 %33, 86400
br i1 %34, label %60, label %35
35: ; preds = %31
%36 = add nuw i64 %33, 86399
%37 = call i64 @llvm.smin.i64(i64 %33, i64 172799)
%38 = sub nuw i64 %36, %37
%39 = udiv i64 %38, 86400
%40 = mul nsw i64 %39, -86400
%41 = trunc i64 %39 to i32
%42 = add nsw i64 %33, -86400
%43 = add nsw i64 %40, %42
%44 = add i32 %41, 2
br label %60
45: ; preds = %26, %45
%46 = phi i64 [ %50, %45 ], [ 0, %26 ]
%47 = phi i64 [ %58, %45 ], [ 2678400, %26 ]
%48 = phi i64 [ %49, %45 ], [ %6, %26 ]
%49 = sub nsw i64 %48, %47
%50 = add nuw nsw i64 %46, 1
%51 = getelementptr inbounds [12 x i32], [12 x i32]* @__const.print_date.month_days, i64 0, i64 %50
%52 = load i32, i32* %51
%53 = icmp eq i64 %46, 0
%54 = select i1 %53, i1 %27, i1 false
%55 = zext i1 %54 to i32
%56 = add nsw i32 %52, %55
%57 = mul nsw i32 %56, 86400
%58 = sext i32 %57 to i64
%59 = icmp slt i64 %49, %58
br i1 %59, label %29, label %45
60: ; preds = %35, %31
%61 = phi i32 [ 1, %31 ], [ %44, %35 ]
%62 = phi i64 [ %33, %31 ], [ %43, %35 ]
%63 = icmp slt i64 %62, 3600
br i1 %63, label %74, label %64
64: ; preds = %60
%65 = add nuw nsw i64 %62, 3599
%66 = call i64 @llvm.smin.i64(i64 %62, i64 7199)
%67 = sub nuw nsw i64 %65, %66
%68 = udiv i64 %67, 3600
%69 = mul nsw i64 %68, -3600
%70 = trunc i64 %68 to i32
%71 = add nsw i64 %62, -3600
%72 = add nsw i64 %69, %71
%73 = add i32 %70, 1
br label %74
74: ; preds = %64, %60
%75 = phi i32 [ 0, %60 ], [ %73, %64 ]
%76 = phi i64 [ %62, %60 ], [ %72, %64 ]
%77 = icmp slt i64 %76, 60
br i1 %77, label %88, label %78
78: ; preds = %74
%79 = add nuw nsw i64 %76, 59
%80 = call i64 @llvm.smin.i64(i64 %76, i64 119)
%81 = sub nuw nsw i64 %79, %80
%82 = udiv i64 %81, 60
%83 = mul nsw i64 %82, -60
%84 = trunc i64 %82 to i32
%85 = add nsw i64 %76, -60
%86 = add nsw i64 %83, %85
%87 = add i32 %84, 1
br label %88
88: ; preds = %78, %74
%89 = phi i32 [ 0, %74 ], [ %87, %78 ]
%90 = phi i64 [ %76, %74 ], [ %86, %78 ]
%91 = trunc i64 %90 to i32
%92 = getelementptr inbounds [12 x [4 x i8]], [12 x [4 x i8]]* %2, i64 0, i64 %32, i64 0
%93 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0), i32 %61, i8* %92, i32 %5, i32 %75, i32 %89, i32 %91)
ret i32 0
}