int check_date(int year, int month, int day) {
  if (day > 31)
    return 0;
  if (month < 8) {
    if (month == 2) {
      if (year % 4 == 0)
        if (day <= 29)
          return 1;
        else
          return 0;
      else if (day < 29)
        return 1;
      else
        return 0;
    } else if ((month % 2 == 0 && day <= 30) || (month % 2 == 1 && day <= 31))
      return 1;
    else
      return 0;
  } else if (month >= 8 && month <= 12) {
    if ((month % 2 == 0 && day <= 30) || (month % 2 == 1 && day <= 31))
      return 1;
    else
      return 0;
  } else
    return 0;
}


x86 assembly (clang, -O0):
<check_date>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
cmpl   $0x1f,-0x10(%rbp)
jle    1123 <check_date+0x23>
movl   $0x0,-0x4(%rbp)
jmp    1252 <check_date+0x152>
cmpl   $0x8,-0xc(%rbp)
jge    11e3 <check_date+0xe3>
cmpl   $0x2,-0xc(%rbp)
jne    118f <check_date+0x8f>
mov    -0x8(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    116d <check_date+0x6d>
cmpl   $0x1d,-0x10(%rbp)
jg     1161 <check_date+0x61>
movl   $0x1,-0x4(%rbp)
jmp    1252 <check_date+0x152>
movl   $0x0,-0x4(%rbp)
jmp    1252 <check_date+0x152>
cmpl   $0x1d,-0x10(%rbp)
jge    1183 <check_date+0x83>
movl   $0x1,-0x4(%rbp)
jmp    1252 <check_date+0x152>
movl   $0x0,-0x4(%rbp)
jmp    1252 <check_date+0x152>
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    11ad <check_date+0xad>
cmpl   $0x1e,-0x10(%rbp)
jle    11cb <check_date+0xcb>
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x1,%edx
jne    11d7 <check_date+0xd7>
cmpl   $0x1f,-0x10(%rbp)
jg     11d7 <check_date+0xd7>
movl   $0x1,-0x4(%rbp)
jmp    1252 <check_date+0x152>
movl   $0x0,-0x4(%rbp)
jmp    1252 <check_date+0x152>
cmpl   $0x8,-0xc(%rbp)
jl     124b <check_date+0x14b>
cmpl   $0xc,-0xc(%rbp)
jg     124b <check_date+0x14b>
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1215 <check_date+0x115>
cmpl   $0x1e,-0x10(%rbp)
jle    1233 <check_date+0x133>
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x1,%edx
jne    123f <check_date+0x13f>
cmpl   $0x1f,-0x10(%rbp)
jg     123f <check_date+0x13f>
movl   $0x1,-0x4(%rbp)
jmp    1252 <check_date+0x152>
movl   $0x0,-0x4(%rbp)
jmp    1252 <check_date+0x152>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_date>:
cmp    $0x1f,%edx
jle    110f <check_date+0xf>
xor    %esi,%esi
movzbl %sil,%eax
and    $0x1,%eax
ret
cmp    $0x7,%esi
jg     1128 <check_date+0x28>
cmp    $0x2,%esi
jne    1138 <check_date+0x38>
test   $0x3,%dil
je     115b <check_date+0x5b>
cmp    $0x1d,%edx
setl   %sil
jmp    1107 <check_date+0x7>
cmp    $0xc,%esi
ja     1105 <check_date+0x5>
cmp    $0x1f,%edx
setl   %al
or     %al,%sil
jmp    1107 <check_date+0x7>
mov    %esi,%eax
shr    $0x1f,%eax
add    %esi,%eax
and    $0xfffffffe,%eax
sub    %eax,%esi
sete   %al
cmp    $0x1f,%edx
setl   %cl
and    %al,%cl
cmp    $0x1,%esi
sete   %sil
or     %cl,%sil
jmp    1107 <check_date+0x7>
cmp    $0x1e,%edx
setl   %sil
jmp    1107 <check_date+0x7>

LLVM IR (-O0):
define i32 @check_date(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%8 = load i32, i32* %7
%9 = icmp sgt i32 %8, 31
br i1 %9, label %10, label %11
10: ; preds = %3
store i32 0, i32* %4
br label %70
11: ; preds = %3
%12 = load i32, i32* %6
%13 = icmp slt i32 %12, 8
br i1 %13, label %14, label %47
14: ; preds = %11
%15 = load i32, i32* %6
%16 = icmp eq i32 %15, 2
br i1 %16, label %17, label %31
17: ; preds = %14
%18 = load i32, i32* %5
%19 = srem i32 %18, 4
%20 = icmp eq i32 %19, 0
br i1 %20, label %21, label %26
21: ; preds = %17
%22 = load i32, i32* %7
%23 = icmp sle i32 %22, 29
br i1 %23, label %24, label %25
24: ; preds = %21
store i32 1, i32* %4
br label %70
25: ; preds = %21
store i32 0, i32* %4
br label %70
26: ; preds = %17
%27 = load i32, i32* %7
%28 = icmp slt i32 %27, 29
br i1 %28, label %29, label %30
29: ; preds = %26
store i32 1, i32* %4
br label %70
30: ; preds = %26
store i32 0, i32* %4
br label %70
31: ; preds = %14
%32 = load i32, i32* %6
%33 = srem i32 %32, 2
%34 = icmp eq i32 %33, 0
br i1 %34, label %35, label %38
35: ; preds = %31
%36 = load i32, i32* %7
%37 = icmp sle i32 %36, 30
br i1 %37, label %45, label %38
38: ; preds = %35, %31
%39 = load i32, i32* %6
%40 = srem i32 %39, 2
%41 = icmp eq i32 %40, 1
br i1 %41, label %42, label %46
42: ; preds = %38
%43 = load i32, i32* %7
%44 = icmp sle i32 %43, 31
br i1 %44, label %45, label %46
45: ; preds = %42, %35
store i32 1, i32* %4
br label %70
46: ; preds = %42, %38
store i32 0, i32* %4
br label %70
47: ; preds = %11
%48 = load i32, i32* %6
%49 = icmp sge i32 %48, 8
br i1 %49, label %50, label %69
50: ; preds = %47
%51 = load i32, i32* %6
%52 = icmp sle i32 %51, 12
br i1 %52, label %53, label %69
53: ; preds = %50
%54 = load i32, i32* %6
%55 = srem i32 %54, 2
%56 = icmp eq i32 %55, 0
br i1 %56, label %57, label %60
57: ; preds = %53
%58 = load i32, i32* %7
%59 = icmp sle i32 %58, 30
br i1 %59, label %67, label %60
60: ; preds = %57, %53
%61 = load i32, i32* %6
%62 = srem i32 %61, 2
%63 = icmp eq i32 %62, 1
br i1 %63, label %64, label %68
64: ; preds = %60
%65 = load i32, i32* %7
%66 = icmp sle i32 %65, 31
br i1 %66, label %67, label %68
67: ; preds = %64, %57
store i32 1, i32* %4
br label %70
68: ; preds = %64, %60
store i32 0, i32* %4
br label %70
69: ; preds = %50, %47
store i32 0, i32* %4
br label %70
70: ; preds = %69, %68, %67, %46, %45, %30, %29, %25, %24, %10
%71 = load i32, i32* %4
ret i32 %71
}

LLVM IR (-O2):
define i32 @check_date(i32 %0, i32 %1, i32 %2) {
%4 = icmp sgt i32 %2, 31
br i1 %4, label %30, label %5
5: ; preds = %3
%6 = icmp slt i32 %1, 8
br i1 %6, label %7, label %23
7: ; preds = %5
%8 = icmp eq i32 %1, 2
br i1 %8, label %9, label %16
9: ; preds = %7
%10 = and i32 %0, 3
%11 = icmp eq i32 %10, 0
br i1 %11, label %12, label %14
12: ; preds = %9
%13 = icmp slt i32 %2, 30
br label %30
14: ; preds = %9
%15 = icmp slt i32 %2, 29
br label %30
16: ; preds = %7
%17 = srem i32 %1, 2
%18 = icmp eq i32 %17, 0
%19 = icmp slt i32 %2, 31
%20 = and i1 %18, %19
%21 = icmp eq i32 %17, 1
%22 = or i1 %21, %20
br label %30
23: ; preds = %5
%24 = icmp ult i32 %1, 13
br i1 %24, label %25, label %30
25: ; preds = %23
%26 = and i32 %1, 1
%27 = icmp slt i32 %2, 31
%28 = icmp ne i32 %26, 0
%29 = or i1 %27, %28
br label %30
30: ; preds = %25, %16, %23, %14, %12, %3
%31 = phi i1 [ false, %3 ], [ %13, %12 ], [ %15, %14 ], [ false, %23 ], [ %22, %16 ], [ %29, %25 ]
%32 = zext i1 %31 to i32
ret i32 %32
}