int check_month(int month, int day, int year) {
  int m = 0;
  int d;
  if (month >= 1 && month <= 12) {
    m = month;
  } else if (month >= 21 && month <= 32) {
    m = month - 20;
  } else if (month >= 41 && month <= 52) {
    m = month - 40;
  } else {
    return 0;
  }
  switch (m) {
  case 1:
  case 3:
  case 5:
  case 7:
  case 8:
  case 10:
  case 12:
    if (day >= 1 && day <= 31) {
      return 1;
    }
    break;
  case 4:
  case 6:
  case 9:
  case 11:
    if (day >= 1 && day <= 30) {
      return 1;
    }
    break;
  case 2:
    d = (year % 4 == 0) ? 29 : 28;
    if (day >= 1 && day <= d) {
      return 1;
    }
    break;
  default:
    return 0;
  }
  return 0;
}


x86 assembly (clang, -O0):
<check_month>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x1,-0x8(%rbp)
jl     1133 <check_month+0x33>
cmpl   $0xc,-0x8(%rbp)
jg     1133 <check_month+0x33>
mov    -0x8(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    118d <check_month+0x8d>
cmpl   $0x15,-0x8(%rbp)
jl     1155 <check_month+0x55>
cmpl   $0x20,-0x8(%rbp)
jg     1155 <check_month+0x55>
mov    -0x8(%rbp),%eax
sub    $0x14,%eax
mov    %eax,-0x14(%rbp)
jmp    1188 <check_month+0x88>
cmpl   $0x29,-0x8(%rbp)
jl     1177 <check_month+0x77>
cmpl   $0x34,-0x8(%rbp)
jg     1177 <check_month+0x77>
mov    -0x8(%rbp),%eax
sub    $0x28,%eax
mov    %eax,-0x14(%rbp)
jmp    1183 <check_month+0x83>
movl   $0x0,-0x4(%rbp)
jmp    12f0 <check_month+0x1f0>
jmp    1188 <check_month+0x88>
jmp    118d <check_month+0x8d>
mov    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
sub    $0x1,%eax
je     124e <check_month+0x14e>
jmp    11a1 <check_month+0xa1>
mov    -0x1c(%rbp),%eax
sub    $0x2,%eax
je     1298 <check_month+0x198>
jmp    11b2 <check_month+0xb2>
mov    -0x1c(%rbp),%eax
sub    $0x3,%eax
je     124e <check_month+0x14e>
jmp    11c3 <check_month+0xc3>
mov    -0x1c(%rbp),%eax
sub    $0x4,%eax
je     1273 <check_month+0x173>
jmp    11d4 <check_month+0xd4>
mov    -0x1c(%rbp),%eax
sub    $0x5,%eax
je     124e <check_month+0x14e>
jmp    11e5 <check_month+0xe5>
mov    -0x1c(%rbp),%eax
sub    $0x6,%eax
je     1273 <check_month+0x173>
jmp    11f6 <check_month+0xf6>
mov    -0x1c(%rbp),%eax
add    $0xfffffff9,%eax
sub    $0x2,%eax
jb     124e <check_month+0x14e>
jmp    120a <check_month+0x10a>
mov    -0x1c(%rbp),%eax
sub    $0x9,%eax
je     1273 <check_month+0x173>
jmp    121b <check_month+0x11b>
mov    -0x1c(%rbp),%eax
sub    $0xa,%eax
je     124e <check_month+0x14e>
jmp    122c <check_month+0x12c>
mov    -0x1c(%rbp),%eax
sub    $0xb,%eax
je     1273 <check_month+0x173>
jmp    123d <check_month+0x13d>
mov    -0x1c(%rbp),%eax
sub    $0xc,%eax
jne    12dd <check_month+0x1dd>
jmp    124e <check_month+0x14e>
cmpl   $0x1,-0xc(%rbp)
jl     126e <check_month+0x16e>
cmpl   $0x1f,-0xc(%rbp)
jg     126e <check_month+0x16e>
movl   $0x1,-0x4(%rbp)
jmp    12f0 <check_month+0x1f0>
jmp    12e9 <check_month+0x1e9>
cmpl   $0x1,-0xc(%rbp)
jl     1293 <check_month+0x193>
cmpl   $0x1e,-0xc(%rbp)
jg     1293 <check_month+0x193>
movl   $0x1,-0x4(%rbp)
jmp    12f0 <check_month+0x1f0>
jmp    12e9 <check_month+0x1e9>
mov    -0x10(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    $0x1c,%eax
mov    $0x1d,%ecx
cmp    $0x0,%edx
cmove  %ecx,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x1,-0xc(%rbp)
jl     12d8 <check_month+0x1d8>
mov    -0xc(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     12d8 <check_month+0x1d8>
movl   $0x1,-0x4(%rbp)
jmp    12f0 <check_month+0x1f0>
jmp    12e9 <check_month+0x1e9>
movl   $0x0,-0x4(%rbp)
jmp    12f0 <check_month+0x1f0>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_month>:
lea    -0x1(%rdi),%eax
cmp    $0xc,%eax
jb     1122 <check_month+0x22>
lea    -0x15(%rdi),%eax
cmp    $0xb,%eax
ja     1115 <check_month+0x15>
add    $0xffffffec,%edi
jmp    1122 <check_month+0x22>
lea    -0x29(%rdi),%ecx
xor    %eax,%eax
cmp    $0xb,%ecx
ja     1140 <check_month+0x40>
add    $0xffffffd8,%edi
xor    %eax,%eax
cmp    $0xc,%edi
ja     1140 <check_month+0x40>
mov    $0x15aa,%ecx
bt     %edi,%ecx
jae    1141 <check_month+0x41>
add    $0xffffffff,%esi
mov    $0x1,%eax
cmp    $0x1f,%esi
jae    1158 <check_month+0x58>
ret
mov    $0xa50,%ecx
bt     %edi,%ecx
jae    115b <check_month+0x5b>
add    $0xffffffff,%esi
mov    $0x1,%eax
cmp    $0x1e,%esi
jb     1140 <check_month+0x40>
xor    %eax,%eax
ret
cmp    $0x2,%edi
jne    1140 <check_month+0x40>
test   %esi,%esi
jle    1158 <check_month+0x58>
xor    %ecx,%ecx
test   $0x3,%dl
sete   %cl
or     $0x1c,%ecx
mov    $0x1,%eax
cmp    %esi,%ecx
jae    1140 <check_month+0x40>
jmp    1158 <check_month+0x58>

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

LLVM IR (-O2):
define i32 @check_month(i32 %0, i32 %1, i32 %2) {
%4 = add i32 %0, -1
%5 = icmp ult i32 %4, 12
br i1 %5, label %16, label %6
6: ; preds = %3
%7 = add i32 %0, -21
%8 = icmp ult i32 %7, 12
br i1 %8, label %9, label %11
9: ; preds = %6
%10 = add nsw i32 %0, -20
br label %16
11: ; preds = %6
%12 = add i32 %0, -41
%13 = icmp ult i32 %12, 12
br i1 %13, label %14, label %32
14: ; preds = %11
%15 = add nsw i32 %0, -40
br label %16
16: ; preds = %3, %9, %14
%17 = phi i32 [ %10, %9 ], [ %15, %14 ], [ %0, %3 ]
switch i32 %17, label %32 [
i32 1, label %18
i32 3, label %18
i32 5, label %18
i32 7, label %18
i32 8, label %18
i32 10, label %18
i32 12, label %18
i32 4, label %21
i32 6, label %21
i32 9, label %21
i32 11, label %21
i32 2, label %24
]
18: ; preds = %16, %16, %16, %16, %16, %16, %16
%19 = add i32 %1, -1
%20 = icmp ult i32 %19, 31
br i1 %20, label %32, label %31
21: ; preds = %16, %16, %16, %16
%22 = add i32 %1, -1
%23 = icmp ult i32 %22, 30
br i1 %23, label %32, label %31
24: ; preds = %16
%25 = icmp sgt i32 %1, 0
br i1 %25, label %26, label %31
26: ; preds = %24
%27 = and i32 %2, 3
%28 = icmp eq i32 %27, 0
%29 = select i1 %28, i32 29, i32 28
%30 = icmp ult i32 %29, %1
br i1 %30, label %31, label %32
31: ; preds = %24, %26, %21, %18
br label %32
32: ; preds = %16, %26, %21, %18, %11, %31
%33 = phi i32 [ 0, %31 ], [ 0, %11 ], [ 1, %18 ], [ 1, %21 ], [ 1, %26 ], [ 0, %16 ]
ret i32 %33
}