#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);
int main(int argc, char **argv) {
  int sundays = 0;
  unsigned long day = 2;
  int date = 1;
  int month = 1;
  int year = 1901;
  for (year = 1901; year < 2001; year++) {
    if (year % 4 == 0) {
      for (month = 1; month < 13; month++) {
        if (month == 9 || month == 4 || month == 6 || month == 11) {
          for (date = 1; date < 31; date++) {
            day++;
            if (date == 1 && (day % 7 == 0)) {
              sundays++;
            }
          }
        } else if (month == 1 || month == 3 || month == 5 || month == 7 ||
                   month == 8 || month == 10 || month == 12) {
          for (date = 1; date < 32; date++) {
            day++;
            if (date == 1 && (day % 7 == 0)) {
              sundays++;
            }
          }
        } else {
          for (date = 1; date < 30; date++) {
            day++;
            if (date == 1 && (day % 7 == 0)) {
              sundays++;
            }
          }
        }
      }
    } else {
      for (month = 1; month < 13; month++) {
        if (month == 9 || month == 4 || month == 6 || month == 11) {
          for (date = 1; date < 31; date++) {
            day++;
            if (date == 1 && (day % 7 == 0)) {
              sundays++;
            }
          }
        } else if (month == 1 || month == 3 || month == 5 || month == 7 ||
                   month == 8 || month == 10 || month == 12) {
          for (date = 1; date < 32; date++) {
            day++;
            if (date == 1 && (day % 7 == 0)) {
              sundays++;
            }
          }
        } else {
          for (date = 1; date < 29; date++) {
            day++;
            if (date == 1 && (day % 7 == 0)) {
              sundays++;
            }
          }
        }
      }
    }
  }
  printf("Number of Sundays = %d\n", sundays);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movq   $0x2,-0x20(%rbp)
movl   $0x1,-0x24(%rbp)
movl   $0x1,-0x28(%rbp)
movl   $0x76d,-0x2c(%rbp)
movl   $0x76d,-0x2c(%rbp)
cmpl   $0x7d1,-0x2c(%rbp)
jge    14fd <main+0x3ed>
mov    -0x2c(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    132e <main+0x21e>
movl   $0x1,-0x28(%rbp)
cmpl   $0xd,-0x28(%rbp)
jge    1329 <main+0x219>
cmpl   $0x9,-0x28(%rbp)
je     11ab <main+0x9b>
cmpl   $0x4,-0x28(%rbp)
je     11ab <main+0x9b>
cmpl   $0x6,-0x28(%rbp)
je     11ab <main+0x9b>
cmpl   $0xb,-0x28(%rbp)
jne    120b <main+0xfb>
movl   $0x1,-0x24(%rbp)
cmpl   $0x1f,-0x24(%rbp)
jge    1206 <main+0xf6>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
cmpl   $0x1,-0x24(%rbp)
jne    11f3 <main+0xe3>
mov    -0x20(%rbp),%rax
mov    $0x7,%ecx
xor    %edx,%edx
div    %rcx
cmp    $0x0,%rdx
jne    11f3 <main+0xe3>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11f8 <main+0xe8>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11b2 <main+0xa2>
jmp    1316 <main+0x206>
cmpl   $0x1,-0x28(%rbp)
je     1251 <main+0x141>
cmpl   $0x3,-0x28(%rbp)
je     1251 <main+0x141>
cmpl   $0x5,-0x28(%rbp)
je     1251 <main+0x141>
cmpl   $0x7,-0x28(%rbp)
je     1251 <main+0x141>
cmpl   $0x8,-0x28(%rbp)
je     1251 <main+0x141>
cmpl   $0xa,-0x28(%rbp)
je     1251 <main+0x141>
cmpl   $0xc,-0x28(%rbp)
jne    12b1 <main+0x1a1>
movl   $0x1,-0x24(%rbp)
cmpl   $0x20,-0x24(%rbp)
jge    12ac <main+0x19c>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
cmpl   $0x1,-0x24(%rbp)
jne    1299 <main+0x189>
mov    -0x20(%rbp),%rax
mov    $0x7,%ecx
xor    %edx,%edx
div    %rcx
cmp    $0x0,%rdx
jne    1299 <main+0x189>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    129e <main+0x18e>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1258 <main+0x148>
jmp    1311 <main+0x201>
movl   $0x1,-0x24(%rbp)
cmpl   $0x1e,-0x24(%rbp)
jge    130c <main+0x1fc>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
cmpl   $0x1,-0x24(%rbp)
jne    12f9 <main+0x1e9>
mov    -0x20(%rbp),%rax
mov    $0x7,%ecx
xor    %edx,%edx
div    %rcx
cmp    $0x0,%rdx
jne    12f9 <main+0x1e9>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12fe <main+0x1ee>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12b8 <main+0x1a8>
jmp    1311 <main+0x201>
jmp    1316 <main+0x206>
jmp    131b <main+0x20b>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1179 <main+0x69>
jmp    14ea <main+0x3da>
movl   $0x1,-0x28(%rbp)
cmpl   $0xd,-0x28(%rbp)
jge    14e5 <main+0x3d5>
cmpl   $0x9,-0x28(%rbp)
je     1367 <main+0x257>
cmpl   $0x4,-0x28(%rbp)
je     1367 <main+0x257>
cmpl   $0x6,-0x28(%rbp)
je     1367 <main+0x257>
cmpl   $0xb,-0x28(%rbp)
jne    13c7 <main+0x2b7>
movl   $0x1,-0x24(%rbp)
cmpl   $0x1f,-0x24(%rbp)
jge    13c2 <main+0x2b2>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
cmpl   $0x1,-0x24(%rbp)
jne    13af <main+0x29f>
mov    -0x20(%rbp),%rax
mov    $0x7,%ecx
xor    %edx,%edx
div    %rcx
cmp    $0x0,%rdx
jne    13af <main+0x29f>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    13b4 <main+0x2a4>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    136e <main+0x25e>
jmp    14d2 <main+0x3c2>
cmpl   $0x1,-0x28(%rbp)
je     140d <main+0x2fd>
cmpl   $0x3,-0x28(%rbp)
je     140d <main+0x2fd>
cmpl   $0x5,-0x28(%rbp)
je     140d <main+0x2fd>
cmpl   $0x7,-0x28(%rbp)
je     140d <main+0x2fd>
cmpl   $0x8,-0x28(%rbp)
je     140d <main+0x2fd>
cmpl   $0xa,-0x28(%rbp)
je     140d <main+0x2fd>
cmpl   $0xc,-0x28(%rbp)
jne    146d <main+0x35d>
movl   $0x1,-0x24(%rbp)
cmpl   $0x20,-0x24(%rbp)
jge    1468 <main+0x358>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
cmpl   $0x1,-0x24(%rbp)
jne    1455 <main+0x345>
mov    -0x20(%rbp),%rax
mov    $0x7,%ecx
xor    %edx,%edx
div    %rcx
cmp    $0x0,%rdx
jne    1455 <main+0x345>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    145a <main+0x34a>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1414 <main+0x304>
jmp    14cd <main+0x3bd>
movl   $0x1,-0x24(%rbp)
cmpl   $0x1d,-0x24(%rbp)
jge    14c8 <main+0x3b8>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
cmpl   $0x1,-0x24(%rbp)
jne    14b5 <main+0x3a5>
mov    -0x20(%rbp),%rax
mov    $0x7,%ecx
xor    %edx,%edx
div    %rcx
cmp    $0x0,%rdx
jne    14b5 <main+0x3a5>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    14ba <main+0x3aa>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1474 <main+0x364>
jmp    14cd <main+0x3bd>
jmp    14d2 <main+0x3c2>
jmp    14d7 <main+0x3c7>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1335 <main+0x225>
jmp    14ea <main+0x3da>
jmp    14ef <main+0x3df>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1151 <main+0x41>
mov    -0x14(%rbp),%esi
lea    0xaf9(%rip),%rdi
call   1030 <printf@plt>
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
xor    %esi,%esi
mov    $0x2,%r9d
mov    $0x76d,%r8d
movabs $0x2492492492492493,%r11
49 92 24
jmp    1141 <main+0x31>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r8d
cmp    $0x7d1,%r8d
je     1401 <main+0x2f1>
mov    $0x1,%r10d
test   $0x3,%r8b
jne    116d <main+0x5d>
jmp    12c1 <main+0x1b1>
mov    $0x1f,%eax
nopw   0x0(%rax,%rax,1)
add    %rax,%r9
add    $0x1,%r10d
cmp    $0xd,%r10d
je     1130 <main+0x20>
mov    %r10d,%eax
and    $0x7ffffffd,%eax
cmp    $0x9,%eax
je     117f <main+0x6f>
cmp    $0x4,%eax
jne    11e0 <main+0xd0>
lea    0x1(%r9),%rcx
mov    $0x1e,%edi
nopl   0x0(%rax,%rax,1)
mov    %rcx,%rax
mul    %r11
mov    %rcx,%rax
sub    %rdx,%rax
shr    %rax
add    %rdx,%rax
shr    $0x2,%rax
lea    0x0(,%rax,8),%rdx
sub    %rdx,%rax
cmp    $0x1e,%edi
sete   %dl
add    %rcx,%rax
sete   %al
and    %dl,%al
movzbl %al,%eax
add    %eax,%esi
add    $0x2,%rcx
add    $0xfffffffe,%edi
jne    1190 <main+0x80>
mov    $0x1e,%eax
jmp    1160 <main+0x50>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    $0x8,%eax
je     1257 <main+0x147>
mov    %r10d,%eax
and    $0x7ffffff9,%eax
cmp    $0x1,%eax
je     1257 <main+0x147>
cmp    $0xc,%r10d
je     1257 <main+0x147>
lea    0x1(%r9),%rcx
mov    $0x1c,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %rcx,%rax
mul    %r11
mov    %rcx,%rax
sub    %rdx,%rax
shr    %rax
add    %rdx,%rax
shr    $0x2,%rax
lea    0x0(,%rax,8),%rdx
sub    %rdx,%rax
cmp    $0x1c,%edi
sete   %dl
add    %rcx,%rax
sete   %al
and    %dl,%al
movzbl %al,%eax
add    %eax,%esi
add    $0x2,%rcx
add    $0xfffffffe,%edi
jne    1210 <main+0x100>
mov    $0x1c,%eax
jmp    1160 <main+0x50>
lea    0x1(%r9),%rcx
mov    $0x1e,%edi
mov    %esi,%ebx
mov    %rcx,%rax
mul    %r11
mov    %rcx,%rax
sub    %rdx,%rax
shr    %rax
add    %rdx,%rax
shr    $0x2,%rax
lea    0x0(,%rax,8),%rdx
sub    %rdx,%rax
cmp    $0x1e,%edi
sete   %dl
add    %rcx,%rax
sete   %al
and    %dl,%al
movzbl %al,%esi
add    %ebx,%esi
test   %edi,%edi
je     1152 <main+0x42>
add    $0xfffffffe,%edi
add    $0x2,%rcx
jmp    1260 <main+0x150>
mov    $0x1f,%eax
nopl   0x0(%rax)
add    %rax,%r9
add    $0x1,%r10d
cmp    $0xd,%r10d
je     1130 <main+0x20>
mov    %r10d,%eax
and    $0x7ffffffd,%eax
cmp    $0x9,%eax
je     12d3 <main+0x1c3>
cmp    $0x4,%eax
jne    1330 <main+0x220>
lea    0x1(%r9),%rcx
mov    $0x1e,%edi
nopl   0x0(%rax)
mov    %rcx,%rax
mul    %r11
mov    %rcx,%rax
sub    %rdx,%rax
shr    %rax
add    %rdx,%rax
shr    $0x2,%rax
lea    0x0(,%rax,8),%rdx
sub    %rdx,%rax
cmp    $0x1e,%edi
sete   %dl
add    %rcx,%rax
sete   %al
and    %dl,%al
movzbl %al,%eax
add    %eax,%esi
add    $0x2,%rcx
add    $0xfffffffe,%edi
jne    12e0 <main+0x1d0>
mov    $0x1e,%eax
jmp    12b0 <main+0x1a0>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    $0x8,%eax
je     13a3 <main+0x293>
mov    %r10d,%eax
and    $0x7ffffff9,%eax
cmp    $0x1,%eax
je     13a3 <main+0x293>
cmp    $0xc,%r10d
je     13a3 <main+0x293>
lea    0x1(%r9),%rcx
mov    $0x1c,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %esi,%ebx
mov    %rcx,%rax
mul    %r11
mov    %rcx,%rax
sub    %rdx,%rax
shr    %rax
add    %rdx,%rax
shr    $0x2,%rax
lea    0x0(,%rax,8),%rdx
sub    %rdx,%rax
cmp    $0x1c,%edi
sete   %dl
add    %rcx,%rax
sete   %al
and    %dl,%al
movzbl %al,%esi
add    %ebx,%esi
test   %edi,%edi
je     13f7 <main+0x2e7>
add    $0xfffffffe,%edi
add    $0x2,%rcx
jmp    1360 <main+0x250>
lea    0x1(%r9),%rcx
mov    $0x1e,%edi
nopl   0x0(%rax)
mov    %esi,%ebx
mov    %rcx,%rax
mul    %r11
mov    %rcx,%rax
sub    %rdx,%rax
shr    %rax
add    %rdx,%rax
shr    $0x2,%rax
lea    0x0(,%rax,8),%rdx
sub    %rdx,%rax
cmp    $0x1e,%edi
sete   %dl
add    %rcx,%rax
sete   %al
and    %dl,%al
movzbl %al,%esi
add    %ebx,%esi
test   %edi,%edi
je     12a7 <main+0x197>
add    $0xfffffffe,%edi
add    $0x2,%rcx
jmp    13b0 <main+0x2a0>
mov    $0x1d,%eax
jmp    12b0 <main+0x1a0>
lea    0xbf8(%rip),%rdi
call   1030 <printf@plt>
xor    %eax,%eax
pop    %rbx
ret

LLVM IR (-O0):
@.str = [24 x i8] c"Number of Sundays = %d\0A\00"
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i32
%7 = alloca i64
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
store i32 0, i32* %6
store i64 2, i64* %7
store i32 1, i32* %8
store i32 1, i32* %9
store i32 1901, i32* %10
store i32 1901, i32* %10
br label %11
11: ; preds = %231, %2
%12 = load i32, i32* %10
%13 = icmp slt i32 %12, 2001
br i1 %13, label %14, label %234
14: ; preds = %11
%15 = load i32, i32* %10
%16 = srem i32 %15, 4
%17 = icmp eq i32 %16, 0
br i1 %17, label %18, label %124
18: ; preds = %14
store i32 1, i32* %9
br label %19
19: ; preds = %120, %18
%20 = load i32, i32* %9
%21 = icmp slt i32 %20, 13
br i1 %21, label %22, label %123
22: ; preds = %19
%23 = load i32, i32* %9
%24 = icmp eq i32 %23, 9
br i1 %24, label %34, label %25
25: ; preds = %22
%26 = load i32, i32* %9
%27 = icmp eq i32 %26, 4
br i1 %27, label %34, label %28
28: ; preds = %25
%29 = load i32, i32* %9
%30 = icmp eq i32 %29, 6
br i1 %30, label %34, label %31
31: ; preds = %28
%32 = load i32, i32* %9
%33 = icmp eq i32 %32, 11
br i1 %33, label %34, label %55
34: ; preds = %31, %28, %25, %22
store i32 1, i32* %8
br label %35
35: ; preds = %51, %34
%36 = load i32, i32* %8
%37 = icmp slt i32 %36, 31
br i1 %37, label %38, label %54
38: ; preds = %35
%39 = load i64, i64* %7
%40 = add i64 %39, 1
store i64 %40, i64* %7
%41 = load i32, i32* %8
%42 = icmp eq i32 %41, 1
br i1 %42, label %43, label %50
43: ; preds = %38
%44 = load i64, i64* %7
%45 = urem i64 %44, 7
%46 = icmp eq i64 %45, 0
br i1 %46, label %47, label %50
47: ; preds = %43
%48 = load i32, i32* %6
%49 = add nsw i32 %48, 1
store i32 %49, i32* %6
br label %50
50: ; preds = %47, %43, %38
br label %51
51: ; preds = %50
%52 = load i32, i32* %8
%53 = add nsw i32 %52, 1
store i32 %53, i32* %8
br label %35
54: ; preds = %35
br label %119
55: ; preds = %31
%56 = load i32, i32* %9
%57 = icmp eq i32 %56, 1
br i1 %57, label %76, label %58
58: ; preds = %55
%59 = load i32, i32* %9
%60 = icmp eq i32 %59, 3
br i1 %60, label %76, label %61
61: ; preds = %58
%62 = load i32, i32* %9
%63 = icmp eq i32 %62, 5
br i1 %63, label %76, label %64
64: ; preds = %61
%65 = load i32, i32* %9
%66 = icmp eq i32 %65, 7
br i1 %66, label %76, label %67
67: ; preds = %64
%68 = load i32, i32* %9
%69 = icmp eq i32 %68, 8
br i1 %69, label %76, label %70
70: ; preds = %67
%71 = load i32, i32* %9
%72 = icmp eq i32 %71, 10
br i1 %72, label %76, label %73
73: ; preds = %70
%74 = load i32, i32* %9
%75 = icmp eq i32 %74, 12
br i1 %75, label %76, label %97
76: ; preds = %73, %70, %67, %64, %61, %58, %55
store i32 1, i32* %8
br label %77
77: ; preds = %93, %76
%78 = load i32, i32* %8
%79 = icmp slt i32 %78, 32
br i1 %79, label %80, label %96
80: ; preds = %77
%81 = load i64, i64* %7
%82 = add i64 %81, 1
store i64 %82, i64* %7
%83 = load i32, i32* %8
%84 = icmp eq i32 %83, 1
br i1 %84, label %85, label %92
85: ; preds = %80
%86 = load i64, i64* %7
%87 = urem i64 %86, 7
%88 = icmp eq i64 %87, 0
br i1 %88, label %89, label %92
89: ; preds = %85
%90 = load i32, i32* %6
%91 = add nsw i32 %90, 1
store i32 %91, i32* %6
br label %92
92: ; preds = %89, %85, %80
br label %93
93: ; preds = %92
%94 = load i32, i32* %8
%95 = add nsw i32 %94, 1
store i32 %95, i32* %8
br label %77
96: ; preds = %77
br label %118
97: ; preds = %73
store i32 1, i32* %8
br label %98
98: ; preds = %114, %97
%99 = load i32, i32* %8
%100 = icmp slt i32 %99, 30
br i1 %100, label %101, label %117
101: ; preds = %98
%102 = load i64, i64* %7
%103 = add i64 %102, 1
store i64 %103, i64* %7
%104 = load i32, i32* %8
%105 = icmp eq i32 %104, 1
br i1 %105, label %106, label %113
106: ; preds = %101
%107 = load i64, i64* %7
%108 = urem i64 %107, 7
%109 = icmp eq i64 %108, 0
br i1 %109, label %110, label %113
110: ; preds = %106
%111 = load i32, i32* %6
%112 = add nsw i32 %111, 1
store i32 %112, i32* %6
br label %113
113: ; preds = %110, %106, %101
br label %114
114: ; preds = %113
%115 = load i32, i32* %8
%116 = add nsw i32 %115, 1
store i32 %116, i32* %8
br label %98
117: ; preds = %98
br label %118
118: ; preds = %117, %96
br label %119
119: ; preds = %118, %54
br label %120
120: ; preds = %119
%121 = load i32, i32* %9
%122 = add nsw i32 %121, 1
store i32 %122, i32* %9
br label %19
123: ; preds = %19
br label %230
124: ; preds = %14
store i32 1, i32* %9
br label %125
125: ; preds = %226, %124
%126 = load i32, i32* %9
%127 = icmp slt i32 %126, 13
br i1 %127, label %128, label %229
128: ; preds = %125
%129 = load i32, i32* %9
%130 = icmp eq i32 %129, 9
br i1 %130, label %140, label %131
131: ; preds = %128
%132 = load i32, i32* %9
%133 = icmp eq i32 %132, 4
br i1 %133, label %140, label %134
134: ; preds = %131
%135 = load i32, i32* %9
%136 = icmp eq i32 %135, 6
br i1 %136, label %140, label %137
137: ; preds = %134
%138 = load i32, i32* %9
%139 = icmp eq i32 %138, 11
br i1 %139, label %140, label %161
140: ; preds = %137, %134, %131, %128
store i32 1, i32* %8
br label %141
141: ; preds = %157, %140
%142 = load i32, i32* %8
%143 = icmp slt i32 %142, 31
br i1 %143, label %144, label %160
144: ; preds = %141
%145 = load i64, i64* %7
%146 = add i64 %145, 1
store i64 %146, i64* %7
%147 = load i32, i32* %8
%148 = icmp eq i32 %147, 1
br i1 %148, label %149, label %156
149: ; preds = %144
%150 = load i64, i64* %7
%151 = urem i64 %150, 7
%152 = icmp eq i64 %151, 0
br i1 %152, label %153, label %156
153: ; preds = %149
%154 = load i32, i32* %6
%155 = add nsw i32 %154, 1
store i32 %155, i32* %6
br label %156
156: ; preds = %153, %149, %144
br label %157
157: ; preds = %156
%158 = load i32, i32* %8
%159 = add nsw i32 %158, 1
store i32 %159, i32* %8
br label %141
160: ; preds = %141
br label %225
161: ; preds = %137
%162 = load i32, i32* %9
%163 = icmp eq i32 %162, 1
br i1 %163, label %182, label %164
164: ; preds = %161
%165 = load i32, i32* %9
%166 = icmp eq i32 %165, 3
br i1 %166, label %182, label %167
167: ; preds = %164
%168 = load i32, i32* %9
%169 = icmp eq i32 %168, 5
br i1 %169, label %182, label %170
170: ; preds = %167
%171 = load i32, i32* %9
%172 = icmp eq i32 %171, 7
br i1 %172, label %182, label %173
173: ; preds = %170
%174 = load i32, i32* %9
%175 = icmp eq i32 %174, 8
br i1 %175, label %182, label %176
176: ; preds = %173
%177 = load i32, i32* %9
%178 = icmp eq i32 %177, 10
br i1 %178, label %182, label %179
179: ; preds = %176
%180 = load i32, i32* %9
%181 = icmp eq i32 %180, 12
br i1 %181, label %182, label %203
182: ; preds = %179, %176, %173, %170, %167, %164, %161
store i32 1, i32* %8
br label %183
183: ; preds = %199, %182
%184 = load i32, i32* %8
%185 = icmp slt i32 %184, 32
br i1 %185, label %186, label %202
186: ; preds = %183
%187 = load i64, i64* %7
%188 = add i64 %187, 1
store i64 %188, i64* %7
%189 = load i32, i32* %8
%190 = icmp eq i32 %189, 1
br i1 %190, label %191, label %198
191: ; preds = %186
%192 = load i64, i64* %7
%193 = urem i64 %192, 7
%194 = icmp eq i64 %193, 0
br i1 %194, label %195, label %198
195: ; preds = %191
%196 = load i32, i32* %6
%197 = add nsw i32 %196, 1
store i32 %197, i32* %6
br label %198
198: ; preds = %195, %191, %186
br label %199
199: ; preds = %198
%200 = load i32, i32* %8
%201 = add nsw i32 %200, 1
store i32 %201, i32* %8
br label %183
202: ; preds = %183
br label %224
203: ; preds = %179
store i32 1, i32* %8
br label %204
204: ; preds = %220, %203
%205 = load i32, i32* %8
%206 = icmp slt i32 %205, 29
br i1 %206, label %207, label %223
207: ; preds = %204
%208 = load i64, i64* %7
%209 = add i64 %208, 1
store i64 %209, i64* %7
%210 = load i32, i32* %8
%211 = icmp eq i32 %210, 1
br i1 %211, label %212, label %219
212: ; preds = %207
%213 = load i64, i64* %7
%214 = urem i64 %213, 7
%215 = icmp eq i64 %214, 0
br i1 %215, label %216, label %219
216: ; preds = %212
%217 = load i32, i32* %6
%218 = add nsw i32 %217, 1
store i32 %218, i32* %6
br label %219
219: ; preds = %216, %212, %207
br label %220
220: ; preds = %219
%221 = load i32, i32* %8
%222 = add nsw i32 %221, 1
store i32 %222, i32* %8
br label %204
223: ; preds = %204
br label %224
224: ; preds = %223, %202
br label %225
225: ; preds = %224, %160
br label %226
226: ; preds = %225
%227 = load i32, i32* %9
%228 = add nsw i32 %227, 1
store i32 %228, i32* %9
br label %125
229: ; preds = %125
br label %230
230: ; preds = %229, %123
br label %231
231: ; preds = %230
%232 = load i32, i32* %10
%233 = add nsw i32 %232, 1
store i32 %233, i32* %10
br label %11
234: ; preds = %11
%235 = load i32, i32* %6
%236 = call i32 @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0), i32 %235)
%237 = load i32, i32* %3
ret i32 %237
}

LLVM IR (-O2):
@.str = [24 x i8] c"Number of Sundays = %d\0A\00"
define i32 @main(i32 %0, i8** nocapture readnone %1) {
br label %3
3: ; preds = %2, %134
%4 = phi i32 [ 1901, %2 ], [ %137, %134 ]
%5 = phi i64 [ 2, %2 ], [ %136, %134 ]
%6 = phi i32 [ 0, %2 ], [ %135, %134 ]
%7 = and i32 %4, 3
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %72
9: ; preds = %3, %66
%10 = phi i32 [ %70, %66 ], [ 1, %3 ]
%11 = phi i64 [ %69, %66 ], [ %5, %3 ]
%12 = phi i32 [ %68, %66 ], [ %6, %3 ]
%13 = and i32 %10, 2147483645
switch i32 %13, label %29 [
i32 9, label %14
i32 4, label %14
]
14: ; preds = %9, %9
br label %15
15: ; preds = %15, %14
%16 = phi i32 [ 1, %14 ], [ %27, %15 ]
%17 = phi i64 [ %11, %14 ], [ %26, %15 ]
%18 = phi i32 [ %12, %14 ], [ %25, %15 ]
%19 = add i64 %17, 1
%20 = icmp eq i32 %16, 1
%21 = urem i64 %19, 7
%22 = icmp eq i64 %21, 0
%23 = select i1 %20, i1 %22, i1 false
%24 = zext i1 %23 to i32
%25 = add nsw i32 %18, %24
%26 = add i64 %17, 2
%27 = add nuw nsw i32 %16, 2
%28 = icmp eq i32 %27, 31
br i1 %28, label %66, label %15
29: ; preds = %9
%30 = and i32 %10, 2147483641
%31 = icmp eq i32 %30, 1
%32 = icmp eq i32 %13, 8
%33 = or i1 %32, %31
%34 = icmp eq i32 %10, 12
%35 = select i1 %33, i1 true, i1 %34
br i1 %35, label %36, label %51
36: ; preds = %29, %48
%37 = phi i32 [ %50, %48 ], [ 1, %29 ]
%38 = phi i64 [ %49, %48 ], [ %11, %29 ]
%39 = phi i32 [ %46, %48 ], [ %12, %29 ]
%40 = add i64 %38, 1
%41 = icmp eq i32 %37, 1
%42 = urem i64 %40, 7
%43 = icmp eq i64 %42, 0
%44 = select i1 %41, i1 %43, i1 false
%45 = zext i1 %44 to i32
%46 = add nsw i32 %39, %45
%47 = icmp eq i32 %37, 31
br i1 %47, label %66, label %48
48: ; preds = %36
%49 = add i64 %38, 2
%50 = add nuw nsw i32 %37, 2
br label %36
51: ; preds = %29, %63
%52 = phi i32 [ %65, %63 ], [ 1, %29 ]
%53 = phi i64 [ %64, %63 ], [ %11, %29 ]
%54 = phi i32 [ %61, %63 ], [ %12, %29 ]
%55 = add i64 %53, 1
%56 = icmp eq i32 %52, 1
%57 = urem i64 %55, 7
%58 = icmp eq i64 %57, 0
%59 = select i1 %56, i1 %58, i1 false
%60 = zext i1 %59 to i32
%61 = add nsw i32 %54, %60
%62 = icmp eq i32 %52, 29
br i1 %62, label %66, label %63
63: ; preds = %51
%64 = add i64 %53, 2
%65 = add nuw nsw i32 %52, 2
br label %51
66: ; preds = %15, %51, %36
%67 = phi i64 [ 31, %36 ], [ 29, %51 ], [ 30, %15 ]
%68 = phi i32 [ %46, %36 ], [ %61, %51 ], [ %25, %15 ]
%69 = add i64 %11, %67
%70 = add nuw nsw i32 %10, 1
%71 = icmp eq i32 %70, 13
br i1 %71, label %134, label %9
72: ; preds = %3, %128
%73 = phi i32 [ %132, %128 ], [ 1, %3 ]
%74 = phi i64 [ %131, %128 ], [ %5, %3 ]
%75 = phi i32 [ %130, %128 ], [ %6, %3 ]
%76 = and i32 %73, 2147483645
switch i32 %76, label %92 [
i32 9, label %77
i32 4, label %77
]
77: ; preds = %72, %72
br label %78
78: ; preds = %78, %77
%79 = phi i32 [ 1, %77 ], [ %90, %78 ]
%80 = phi i64 [ %74, %77 ], [ %89, %78 ]
%81 = phi i32 [ %75, %77 ], [ %88, %78 ]
%82 = add i64 %80, 1
%83 = icmp eq i32 %79, 1
%84 = urem i64 %82, 7
%85 = icmp eq i64 %84, 0
%86 = select i1 %83, i1 %85, i1 false
%87 = zext i1 %86 to i32
%88 = add nsw i32 %81, %87
%89 = add i64 %80, 2
%90 = add nuw nsw i32 %79, 2
%91 = icmp eq i32 %90, 31
br i1 %91, label %128, label %78
92: ; preds = %72
%93 = and i32 %73, 2147483641
%94 = icmp eq i32 %93, 1
%95 = icmp eq i32 %76, 8
%96 = or i1 %95, %94
%97 = icmp eq i32 %73, 12
%98 = select i1 %96, i1 true, i1 %97
br i1 %98, label %99, label %114
99: ; preds = %92, %111
%100 = phi i32 [ %113, %111 ], [ 1, %92 ]
%101 = phi i64 [ %112, %111 ], [ %74, %92 ]
%102 = phi i32 [ %109, %111 ], [ %75, %92 ]
%103 = add i64 %101, 1
%104 = icmp eq i32 %100, 1
%105 = urem i64 %103, 7
%106 = icmp eq i64 %105, 0
%107 = select i1 %104, i1 %106, i1 false
%108 = zext i1 %107 to i32
%109 = add nsw i32 %102, %108
%110 = icmp eq i32 %100, 31
br i1 %110, label %128, label %111
111: ; preds = %99
%112 = add i64 %101, 2
%113 = add nuw nsw i32 %100, 2
br label %99
114: ; preds = %92, %114
%115 = phi i32 [ %126, %114 ], [ 1, %92 ]
%116 = phi i64 [ %125, %114 ], [ %74, %92 ]
%117 = phi i32 [ %124, %114 ], [ %75, %92 ]
%118 = add i64 %116, 1
%119 = icmp eq i32 %115, 1
%120 = urem i64 %118, 7
%121 = icmp eq i64 %120, 0
%122 = select i1 %119, i1 %121, i1 false
%123 = zext i1 %122 to i32
%124 = add nsw i32 %117, %123
%125 = add i64 %116, 2
%126 = add nuw nsw i32 %115, 2
%127 = icmp eq i32 %126, 29
br i1 %127, label %128, label %114
128: ; preds = %78, %114, %99
%129 = phi i64 [ 31, %99 ], [ 28, %114 ], [ 30, %78 ]
%130 = phi i32 [ %109, %99 ], [ %124, %114 ], [ %88, %78 ]
%131 = add i64 %74, %129
%132 = add nuw nsw i32 %73, 1
%133 = icmp eq i32 %132, 13
br i1 %133, label %134, label %72
134: ; preds = %128, %66
%135 = phi i32 [ %68, %66 ], [ %130, %128 ]
%136 = phi i64 [ %69, %66 ], [ %131, %128 ]
%137 = add nuw nsw i32 %4, 1
%138 = icmp eq i32 %137, 2001
br i1 %138, label %139, label %3
139: ; preds = %134
%140 = tail call i32 @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0), i32 %135)
ret i32 0
}