int checkdate(int d1, int m1, int y1, int c1, int d2, int m2, int y2, int c2) {
  if (d2 - d1 == 1) {
    if (m1 == m2 && y1 == y2)
      return c2 - c1;
  }
  if (d2 == 1) {
    if (d1 == 30) {
      switch (m1) {
      case 4:
      case 6:
      case 9:
      case 11:
        if (y1 == y2 && m2 - m1 == 1)
          return c2 - c1;
      }
    }
    if (d1 == 31) {
      switch (m1) {
      case 1:
      case 3:
      case 5:
      case 7:
      case 8:
      case 10:
        if (y1 == y2 && m2 - m1 == 1)
          return c2 - c1;
      }
      if (m1 == 12 && m2 == 1 && y2 - y1 == 1)
        return c2 - c1;
    }
    if (d1 == 28) {
      if (m1 == 2 && m2 == 3 && y1 == y2 &&
          !((y1 % 4 == 0 && y1 % 100 != 0) || y1 % 400 == 0))
        return c2 - c1;
    }
    if (d1 == 29) {
      if (m1 == 2 && m2 == 3 && y1 == y2 &&
          ((y1 % 4 == 0 && y1 % 100 != 0) || y1 % 400 == 0))
        return c2 - c1;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<checkdate>:
push   %rbp
mov    %rsp,%rbp
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    %r9d,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
sub    -0x8(%rbp),%eax
cmp    $0x1,%eax
jne    1158 <checkdate+0x58>
mov    -0xc(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    1153 <checkdate+0x53>
mov    -0x10(%rbp),%eax
cmp    0x10(%rbp),%eax
jne    1153 <checkdate+0x53>
mov    0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13ad <checkdate+0x2ad>
jmp    1158 <checkdate+0x58>
cmpl   $0x1,-0x18(%rbp)
jne    13a6 <checkdate+0x2a6>
cmpl   $0x1e,-0x8(%rbp)
jne    11e6 <checkdate+0xe6>
mov    -0xc(%rbp),%eax
mov    %eax,-0x20(%rbp)
sub    $0x4,%eax
je     11b3 <checkdate+0xb3>
jmp    1180 <checkdate+0x80>
mov    -0x20(%rbp),%eax
sub    $0x6,%eax
je     11b3 <checkdate+0xb3>
jmp    1191 <checkdate+0x91>
mov    -0x20(%rbp),%eax
sub    $0x9,%eax
je     11b3 <checkdate+0xb3>
jmp    11a2 <checkdate+0xa2>
mov    -0x20(%rbp),%eax
sub    $0xb,%eax
jne    11e1 <checkdate+0xe1>
jmp    11b3 <checkdate+0xb3>
mov    -0x10(%rbp),%eax
cmp    0x10(%rbp),%eax
jne    11dc <checkdate+0xdc>
mov    -0x1c(%rbp),%eax
sub    -0xc(%rbp),%eax
cmp    $0x1,%eax
jne    11dc <checkdate+0xdc>
mov    0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13ad <checkdate+0x2ad>
jmp    11e1 <checkdate+0xe1>
jmp    11e6 <checkdate+0xe6>
cmpl   $0x1f,-0x8(%rbp)
jne    12af <checkdate+0x1af>
mov    -0xc(%rbp),%eax
mov    %eax,-0x24(%rbp)
sub    $0x1,%eax
je     124b <checkdate+0x14b>
jmp    1204 <checkdate+0x104>
mov    -0x24(%rbp),%eax
sub    $0x3,%eax
je     124b <checkdate+0x14b>
jmp    1215 <checkdate+0x115>
mov    -0x24(%rbp),%eax
sub    $0x5,%eax
je     124b <checkdate+0x14b>
jmp    1226 <checkdate+0x126>
mov    -0x24(%rbp),%eax
add    $0xfffffff9,%eax
sub    $0x2,%eax
jb     124b <checkdate+0x14b>
jmp    123a <checkdate+0x13a>
mov    -0x24(%rbp),%eax
sub    $0xa,%eax
jne    1279 <checkdate+0x179>
jmp    124b <checkdate+0x14b>
mov    -0x10(%rbp),%eax
cmp    0x10(%rbp),%eax
jne    1274 <checkdate+0x174>
mov    -0x1c(%rbp),%eax
sub    -0xc(%rbp),%eax
cmp    $0x1,%eax
jne    1274 <checkdate+0x174>
mov    0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13ad <checkdate+0x2ad>
jmp    1279 <checkdate+0x179>
cmpl   $0xc,-0xc(%rbp)
jne    12aa <checkdate+0x1aa>
cmpl   $0x1,-0x1c(%rbp)
jne    12aa <checkdate+0x1aa>
mov    0x10(%rbp),%eax
sub    -0x10(%rbp),%eax
cmp    $0x1,%eax
jne    12aa <checkdate+0x1aa>
mov    0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13ad <checkdate+0x2ad>
jmp    12af <checkdate+0x1af>
cmpl   $0x1c,-0x8(%rbp)
jne    1328 <checkdate+0x228>
cmpl   $0x2,-0xc(%rbp)
jne    1323 <checkdate+0x223>
cmpl   $0x3,-0x1c(%rbp)
jne    1323 <checkdate+0x223>
mov    -0x10(%rbp),%eax
cmp    0x10(%rbp),%eax
jne    1323 <checkdate+0x223>
mov    -0x10(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1301 <checkdate+0x201>
mov    -0x10(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1323 <checkdate+0x223>
mov    -0x10(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1323 <checkdate+0x223>
mov    0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13ad <checkdate+0x2ad>
jmp    1328 <checkdate+0x228>
cmpl   $0x1d,-0x8(%rbp)
jne    13a1 <checkdate+0x2a1>
cmpl   $0x2,-0xc(%rbp)
jne    139c <checkdate+0x29c>
cmpl   $0x3,-0x1c(%rbp)
jne    139c <checkdate+0x29c>
mov    -0x10(%rbp),%eax
cmp    0x10(%rbp),%eax
jne    139c <checkdate+0x29c>
mov    -0x10(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    137a <checkdate+0x27a>
mov    -0x10(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    138e <checkdate+0x28e>
mov    -0x10(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    139c <checkdate+0x29c>
mov    0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13ad <checkdate+0x2ad>
jmp    13a1 <checkdate+0x2a1>
jmp    13a6 <checkdate+0x2a6>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<checkdate>:
mov    0x10(%rsp),%r10d
mov    0x8(%rsp),%r11d
mov    %r8d,%eax
sub    %edi,%eax
cmp    $0x1,%eax
jne    1125 <checkdate+0x25>
cmp    %esi,%r9d
jne    1125 <checkdate+0x25>
cmp    %edx,%r11d
jne    1125 <checkdate+0x25>
sub    %ecx,%r10d
mov    %r10d,%eax
ret
xor    %eax,%eax
cmp    $0x1,%r8d
jne    11fa <checkdate+0xfa>
add    $0xffffffe4,%edi
cmp    $0x3,%edi
ja     11fa <checkdate+0xfa>
lea    0xebc(%rip),%r8
movslq (%r8,%rdi,4),%rdi
add    %r8,%rdi
jmp    *%rdi
cmp    $0x2,%esi
jne    11fa <checkdate+0xfa>
cmp    $0x3,%r9d
jne    11fa <checkdate+0xfa>
cmp    %edx,%r11d
jne    11fa <checkdate+0xfa>
imul   $0xc28f5c29,%r11d,%edx
add    $0x51eb850,%edx
mov    %edx,%eax
ror    $0x2,%eax
ror    $0x4,%edx
sub    %ecx,%r10d
xor    %ecx,%ecx
cmp    $0x28f5c29,%eax
mov    %r10d,%eax
cmovae %ecx,%eax
test   $0x3,%r11b
cmovne %r10d,%eax
cmp    $0xa3d70b,%edx
cmovb  %ecx,%eax
ret
cmp    $0xb,%esi
ja     11fa <checkdate+0xfa>
mov    $0xa50,%edi
bt     %esi,%edi
jb     120a <checkdate+0x10a>
jmp    11fa <checkdate+0xfa>
cmp    $0x2,%esi
jne    11fa <checkdate+0xfa>
cmp    $0x3,%r9d
jne    11fa <checkdate+0xfa>
cmp    %edx,%r11d
jne    11fa <checkdate+0xfa>
imul   $0xc28f5c29,%r11d,%edx
add    $0x51eb850,%edx
mov    %edx,%eax
ror    $0x2,%eax
ror    $0x4,%edx
sub    %ecx,%r10d
xor    %ecx,%ecx
cmp    $0x28f5c29,%eax
mov    $0x0,%eax
cmovae %r10d,%eax
test   $0x3,%r11b
cmovne %ecx,%eax
cmp    $0xa3d70b,%edx
cmovb  %r10d,%eax
ret
cmp    $0xa,%esi
ja     1221 <checkdate+0x121>
mov    $0x5aa,%eax
bt     %esi,%eax
jae    1221 <checkdate+0x121>
xor    %edx,%r11d
sub    %esi,%r9d
xor    $0x1,%r9d
sub    %ecx,%r10d
xor    %eax,%eax
or     %r11d,%r9d
cmove  %r10d,%eax
ret
xor    $0xc,%esi
xor    $0x1,%r9d
or     %esi,%r9d
sub    %edx,%r11d
xor    $0x1,%r11d
sub    %ecx,%r10d
xor    %eax,%eax
or     %r9d,%r11d
cmove  %r10d,%eax
ret

LLVM IR (-O0):
define i32 @checkdate(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7) {
%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 i32
store i32 %0, i32* %10
store i32 %1, i32* %11
store i32 %2, i32* %12
store i32 %3, i32* %13
store i32 %4, i32* %14
store i32 %5, i32* %15
store i32 %6, i32* %16
store i32 %7, i32* %17
%18 = load i32, i32* %14
%19 = load i32, i32* %10
%20 = sub nsw i32 %18, %19
%21 = icmp eq i32 %20, 1
br i1 %21, label %22, label %35
22: ; preds = %8
%23 = load i32, i32* %11
%24 = load i32, i32* %15
%25 = icmp eq i32 %23, %24
br i1 %25, label %26, label %34
26: ; preds = %22
%27 = load i32, i32* %12
%28 = load i32, i32* %16
%29 = icmp eq i32 %27, %28
br i1 %29, label %30, label %34
30: ; preds = %26
%31 = load i32, i32* %17
%32 = load i32, i32* %13
%33 = sub nsw i32 %31, %32
store i32 %33, i32* %9
br label %155
34: ; preds = %26, %22
br label %35
35: ; preds = %34, %8
%36 = load i32, i32* %14
%37 = icmp eq i32 %36, 1
br i1 %37, label %38, label %154
38: ; preds = %35
%39 = load i32, i32* %10
%40 = icmp eq i32 %39, 30
br i1 %40, label %41, label %58
41: ; preds = %38
%42 = load i32, i32* %11
switch i32 %42, label %57 [
i32 4, label %43
i32 6, label %43
i32 9, label %43
i32 11, label %43
]
43: ; preds = %41, %41, %41, %41
%44 = load i32, i32* %12
%45 = load i32, i32* %16
%46 = icmp eq i32 %44, %45
br i1 %46, label %47, label %56
47: ; preds = %43
%48 = load i32, i32* %15
%49 = load i32, i32* %11
%50 = sub nsw i32 %48, %49
%51 = icmp eq i32 %50, 1
br i1 %51, label %52, label %56
52: ; preds = %47
%53 = load i32, i32* %17
%54 = load i32, i32* %13
%55 = sub nsw i32 %53, %54
store i32 %55, i32* %9
br label %155
56: ; preds = %47, %43
br label %57
57: ; preds = %56, %41
br label %58
58: ; preds = %57, %38
%59 = load i32, i32* %10
%60 = icmp eq i32 %59, 31
br i1 %60, label %61, label %93
61: ; preds = %58
%62 = load i32, i32* %11
switch i32 %62, label %77 [
i32 1, label %63
i32 3, label %63
i32 5, label %63
i32 7, label %63
i32 8, label %63
i32 10, label %63
]
63: ; preds = %61, %61, %61, %61, %61, %61
%64 = load i32, i32* %12
%65 = load i32, i32* %16
%66 = icmp eq i32 %64, %65
br i1 %66, label %67, label %76
67: ; preds = %63
%68 = load i32, i32* %15
%69 = load i32, i32* %11
%70 = sub nsw i32 %68, %69
%71 = icmp eq i32 %70, 1
br i1 %71, label %72, label %76
72: ; preds = %67
%73 = load i32, i32* %17
%74 = load i32, i32* %13
%75 = sub nsw i32 %73, %74
store i32 %75, i32* %9
br label %155
76: ; preds = %67, %63
br label %77
77: ; preds = %76, %61
%78 = load i32, i32* %11
%79 = icmp eq i32 %78, 12
br i1 %79, label %80, label %92
80: ; preds = %77
%81 = load i32, i32* %15
%82 = icmp eq i32 %81, 1
br i1 %82, label %83, label %92
83: ; preds = %80
%84 = load i32, i32* %16
%85 = load i32, i32* %12
%86 = sub nsw i32 %84, %85
%87 = icmp eq i32 %86, 1
br i1 %87, label %88, label %92
88: ; preds = %83
%89 = load i32, i32* %17
%90 = load i32, i32* %13
%91 = sub nsw i32 %89, %90
store i32 %91, i32* %9
br label %155
92: ; preds = %83, %80, %77
br label %93
93: ; preds = %92, %58
%94 = load i32, i32* %10
%95 = icmp eq i32 %94, 28
br i1 %95, label %96, label %123
96: ; preds = %93
%97 = load i32, i32* %11
%98 = icmp eq i32 %97, 2
br i1 %98, label %99, label %122
99: ; preds = %96
%100 = load i32, i32* %15
%101 = icmp eq i32 %100, 3
br i1 %101, label %102, label %122
102: ; preds = %99
%103 = load i32, i32* %12
%104 = load i32, i32* %16
%105 = icmp eq i32 %103, %104
br i1 %105, label %106, label %122
106: ; preds = %102
%107 = load i32, i32* %12
%108 = srem i32 %107, 4
%109 = icmp eq i32 %108, 0
br i1 %109, label %110, label %114
110: ; preds = %106
%111 = load i32, i32* %12
%112 = srem i32 %111, 100
%113 = icmp ne i32 %112, 0
br i1 %113, label %122, label %114
114: ; preds = %110, %106
%115 = load i32, i32* %12
%116 = srem i32 %115, 400
%117 = icmp eq i32 %116, 0
br i1 %117, label %122, label %118
118: ; preds = %114
%119 = load i32, i32* %17
%120 = load i32, i32* %13
%121 = sub nsw i32 %119, %120
store i32 %121, i32* %9
br label %155
122: ; preds = %114, %110, %102, %99, %96
br label %123
123: ; preds = %122, %93
%124 = load i32, i32* %10
%125 = icmp eq i32 %124, 29
br i1 %125, label %126, label %153
126: ; preds = %123
%127 = load i32, i32* %11
%128 = icmp eq i32 %127, 2
br i1 %128, label %129, label %152
129: ; preds = %126
%130 = load i32, i32* %15
%131 = icmp eq i32 %130, 3
br i1 %131, label %132, label %152
132: ; preds = %129
%133 = load i32, i32* %12
%134 = load i32, i32* %16
%135 = icmp eq i32 %133, %134
br i1 %135, label %136, label %152
136: ; preds = %132
%137 = load i32, i32* %12
%138 = srem i32 %137, 4
%139 = icmp eq i32 %138, 0
br i1 %139, label %140, label %144
140: ; preds = %136
%141 = load i32, i32* %12
%142 = srem i32 %141, 100
%143 = icmp ne i32 %142, 0
br i1 %143, label %148, label %144
144: ; preds = %140, %136
%145 = load i32, i32* %12
%146 = srem i32 %145, 400
%147 = icmp eq i32 %146, 0
br i1 %147, label %148, label %152
148: ; preds = %144, %140
%149 = load i32, i32* %17
%150 = load i32, i32* %13
%151 = sub nsw i32 %149, %150
store i32 %151, i32* %9
br label %155
152: ; preds = %144, %132, %129, %126
br label %153
153: ; preds = %152, %123
br label %154
154: ; preds = %153, %35
store i32 0, i32* %9
br label %155
155: ; preds = %154, %148, %118, %88, %72, %52, %30
%156 = load i32, i32* %9
ret i32 %156
}

LLVM IR (-O2):
define i32 @checkdate(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7) {
%9 = sub nsw i32 %4, %0
%10 = icmp eq i32 %9, 1
%11 = icmp eq i32 %5, %1
%12 = and i1 %10, %11
%13 = icmp eq i32 %6, %2
%14 = and i1 %12, %13
br i1 %14, label %15, label %17
15: ; preds = %8
%16 = sub nsw i32 %7, %3
br label %75
17: ; preds = %8
%18 = icmp eq i32 %4, 1
br i1 %18, label %19, label %75
19: ; preds = %17
switch i32 %0, label %75 [
i32 30, label %20
i32 31, label %27
i32 28, label %43
i32 29, label %59
]
20: ; preds = %19
switch i32 %1, label %75 [
i32 4, label %21
i32 6, label %21
i32 9, label %21
i32 11, label %21
]
21: ; preds = %20, %20, %20, %20
%22 = sub nsw i32 %5, %1
%23 = icmp eq i32 %22, 1
%24 = select i1 %13, i1 %23, i1 false
%25 = sub nsw i32 %7, %3
%26 = select i1 %24, i32 %25, i32 0
br label %75
27: ; preds = %19
switch i32 %1, label %34 [
i32 1, label %28
i32 3, label %28
i32 5, label %28
i32 7, label %28
i32 8, label %28
i32 10, label %28
]
28: ; preds = %27, %27, %27, %27, %27, %27
%29 = sub nsw i32 %5, %1
%30 = icmp eq i32 %29, 1
%31 = select i1 %13, i1 %30, i1 false
%32 = sub nsw i32 %7, %3
%33 = select i1 %31, i32 %32, i32 0
br label %75
34: ; preds = %27
%35 = icmp eq i32 %1, 12
%36 = icmp eq i32 %5, 1
%37 = and i1 %35, %36
%38 = sub nsw i32 %6, %2
%39 = icmp eq i32 %38, 1
%40 = select i1 %37, i1 %39, i1 false
%41 = sub nsw i32 %7, %3
%42 = select i1 %40, i32 %41, i32 0
br label %75
43: ; preds = %19
%44 = icmp eq i32 %1, 2
%45 = icmp eq i32 %5, 3
%46 = and i1 %44, %45
%47 = and i1 %46, %13
br i1 %47, label %48, label %75
48: ; preds = %43
%49 = and i32 %6, 3
%50 = icmp eq i32 %49, 0
%51 = srem i32 %6, 100
%52 = icmp ne i32 %51, 0
%53 = and i1 %50, %52
%54 = srem i32 %6, 400
%55 = icmp eq i32 %54, 0
%56 = or i1 %55, %53
%57 = sub nsw i32 %7, %3
%58 = select i1 %56, i32 0, i32 %57
br label %75
59: ; preds = %19
%60 = icmp eq i32 %1, 2
%61 = icmp eq i32 %5, 3
%62 = and i1 %60, %61
%63 = and i1 %62, %13
br i1 %63, label %64, label %75
64: ; preds = %59
%65 = and i32 %6, 3
%66 = icmp eq i32 %65, 0
%67 = srem i32 %6, 100
%68 = icmp ne i32 %67, 0
%69 = and i1 %66, %68
%70 = srem i32 %6, 400
%71 = icmp eq i32 %70, 0
%72 = or i1 %71, %69
%73 = sub nsw i32 %7, %3
%74 = select i1 %72, i32 %73, i32 0
br label %75
75: ; preds = %48, %34, %28, %21, %43, %20, %64, %17, %59, %19, %15
%76 = phi i32 [ %16, %15 ], [ 0, %19 ], [ 0, %59 ], [ 0, %17 ], [ %74, %64 ], [ 0, %20 ], [ 0, %43 ], [ %26, %21 ], [ %33, %28 ], [ %42, %34 ], [ %58, %48 ]
ret i32 %76
}