#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 */
struct tm {
  int tm_year;
  int tm_mon;
  int tm_mday;
  int tm_hour;
  int tm_min;
  int tm_sec;
};

/* Variables and functions */
scalar_t__ is_leap_year(int);
bool validate_date(const struct tm *check_tm) {
  static const int days_in_month[] = {31, 28, 31, 30, 31, 30,
                                      31, 31, 30, 31, 30, 31};
  if ((check_tm->tm_year == -1900) ||
      (check_tm->tm_mon < 0 || check_tm->tm_mon > 11) ||
      (check_tm->tm_mday < 1) ||
      (check_tm->tm_mday > days_in_month[check_tm->tm_mon] &&
       !(check_tm->tm_mon == 1 && check_tm->tm_mday == 29 &&
         is_leap_year(check_tm->tm_year + 1900))) ||
      (check_tm->tm_hour < 0 || check_tm->tm_hour > 23) ||
      (check_tm->tm_min < 0 || check_tm->tm_min > 59) ||
      (check_tm->tm_sec < 0 || check_tm->tm_sec > 59)) {
    return false;
  }
  return true;
}


x86 assembly (clang, -O0):
<validate_date>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0xfffff894,(%rax)
je     1200 <validate_date+0xf0>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x4(%rax)
jl     1200 <validate_date+0xf0>
mov    -0x10(%rbp),%rax
cmpl   $0xb,0x4(%rax)
jg     1200 <validate_date+0xf0>
mov    -0x10(%rbp),%rax
cmpl   $0x1,0x8(%rax)
jl     1200 <validate_date+0xf0>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq 0x4(%rcx),%rdx
lea    0xe94(%rip),%rcx
cmp    (%rcx,%rdx,4),%eax
jle    11ac <validate_date+0x9c>
mov    -0x10(%rbp),%rax
cmpl   $0x1,0x4(%rax)
jne    1200 <validate_date+0xf0>
mov    -0x10(%rbp),%rax
cmpl   $0x1d,0x8(%rax)
jne    1200 <validate_date+0xf0>
mov    -0x10(%rbp),%rax
mov    (%rax),%edi
add    $0x76c,%edi
call   1030 <is_leap_year@plt>
cmp    $0x0,%rax
je     1200 <validate_date+0xf0>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0xc(%rax)
jl     1200 <validate_date+0xf0>
mov    -0x10(%rbp),%rax
cmpl   $0x17,0xc(%rax)
jg     1200 <validate_date+0xf0>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x10(%rax)
jl     1200 <validate_date+0xf0>
mov    -0x10(%rbp),%rax
cmpl   $0x3b,0x10(%rax)
jg     1200 <validate_date+0xf0>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x14(%rax)
jl     1200 <validate_date+0xf0>
mov    -0x10(%rbp),%rax
cmpl   $0x3b,0x14(%rax)
jle    120c <validate_date+0xfc>
movl   $0x0,-0x4(%rbp)
jmp    1213 <validate_date+0x103>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<validate_date>:
push   %rbp
push   %rbx
push   %rax
mov    %rdi,%rbx
mov    (%rdi),%edi
xor    %ebp,%ebp
cmp    $0xfffff894,%edi
je     116e <validate_date+0x5e>
mov    0x4(%rbx),%eax
cmp    $0xb,%rax
ja     116e <validate_date+0x5e>
mov    0x8(%rbx),%ecx
test   %ecx,%ecx
jle    116e <validate_date+0x5e>
lea    0xec7(%rip),%rdx
cmp    (%rdx,%rax,4),%ecx
jle    1158 <validate_date+0x48>
cmp    $0x1,%eax
jne    116e <validate_date+0x5e>
cmp    $0x1d,%ecx
jne    116e <validate_date+0x5e>
add    $0x76c,%edi
call   1030 <is_leap_year@plt>
test   %rax,%rax
je     116e <validate_date+0x5e>
cmpl   $0x17,0xc(%rbx)
ja     116e <validate_date+0x5e>
cmpl   $0x3b,0x10(%rbx)
ja     116e <validate_date+0x5e>
xor    %ebp,%ebp
cmpl   $0x3c,0x14(%rbx)
setb   %bpl
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
%struct.tm = type { i32, i32, i32, i32, i32, i32 }
@validate_date.days_in_month = internal constant [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]
define i32 @validate_date(%struct.tm* %0) {
%2 = alloca i32
%3 = alloca %struct.tm*
store %struct.tm* %0, %struct.tm** %3
%4 = load %struct.tm*, %struct.tm** %3
%5 = getelementptr inbounds %struct.tm, %struct.tm* %4, i32 0, i32 0
%6 = load i32, i32* %5
%7 = icmp eq i32 %6, -1900
br i1 %7, label %81, label %8
8: ; preds = %1
%9 = load %struct.tm*, %struct.tm** %3
%10 = getelementptr inbounds %struct.tm, %struct.tm* %9, i32 0, i32 1
%11 = load i32, i32* %10
%12 = icmp slt i32 %11, 0
br i1 %12, label %81, label %13
13: ; preds = %8
%14 = load %struct.tm*, %struct.tm** %3
%15 = getelementptr inbounds %struct.tm, %struct.tm* %14, i32 0, i32 1
%16 = load i32, i32* %15
%17 = icmp sgt i32 %16, 11
br i1 %17, label %81, label %18
18: ; preds = %13
%19 = load %struct.tm*, %struct.tm** %3
%20 = getelementptr inbounds %struct.tm, %struct.tm* %19, i32 0, i32 2
%21 = load i32, i32* %20
%22 = icmp slt i32 %21, 1
br i1 %22, label %81, label %23
23: ; preds = %18
%24 = load %struct.tm*, %struct.tm** %3
%25 = getelementptr inbounds %struct.tm, %struct.tm* %24, i32 0, i32 2
%26 = load i32, i32* %25
%27 = load %struct.tm*, %struct.tm** %3
%28 = getelementptr inbounds %struct.tm, %struct.tm* %27, i32 0, i32 1
%29 = load i32, i32* %28
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds [12 x i32], [12 x i32]* @validate_date.days_in_month, i64 0, i64 %30
%32 = load i32, i32* %31
%33 = icmp sgt i32 %26, %32
br i1 %33, label %34, label %51
34: ; preds = %23
%35 = load %struct.tm*, %struct.tm** %3
%36 = getelementptr inbounds %struct.tm, %struct.tm* %35, i32 0, i32 1
%37 = load i32, i32* %36
%38 = icmp eq i32 %37, 1
br i1 %38, label %39, label %81
39: ; preds = %34
%40 = load %struct.tm*, %struct.tm** %3
%41 = getelementptr inbounds %struct.tm, %struct.tm* %40, i32 0, i32 2
%42 = load i32, i32* %41
%43 = icmp eq i32 %42, 29
br i1 %43, label %44, label %81
44: ; preds = %39
%45 = load %struct.tm*, %struct.tm** %3
%46 = getelementptr inbounds %struct.tm, %struct.tm* %45, i32 0, i32 0
%47 = load i32, i32* %46
%48 = add nsw i32 %47, 1900
%49 = call i64 @is_leap_year(i32 %48)
%50 = icmp ne i64 %49, 0
br i1 %50, label %51, label %81
51: ; preds = %44, %23
%52 = load %struct.tm*, %struct.tm** %3
%53 = getelementptr inbounds %struct.tm, %struct.tm* %52, i32 0, i32 3
%54 = load i32, i32* %53
%55 = icmp slt i32 %54, 0
br i1 %55, label %81, label %56
56: ; preds = %51
%57 = load %struct.tm*, %struct.tm** %3
%58 = getelementptr inbounds %struct.tm, %struct.tm* %57, i32 0, i32 3
%59 = load i32, i32* %58
%60 = icmp sgt i32 %59, 23
br i1 %60, label %81, label %61
61: ; preds = %56
%62 = load %struct.tm*, %struct.tm** %3
%63 = getelementptr inbounds %struct.tm, %struct.tm* %62, i32 0, i32 4
%64 = load i32, i32* %63
%65 = icmp slt i32 %64, 0
br i1 %65, label %81, label %66
66: ; preds = %61
%67 = load %struct.tm*, %struct.tm** %3
%68 = getelementptr inbounds %struct.tm, %struct.tm* %67, i32 0, i32 4
%69 = load i32, i32* %68
%70 = icmp sgt i32 %69, 59
br i1 %70, label %81, label %71
71: ; preds = %66
%72 = load %struct.tm*, %struct.tm** %3
%73 = getelementptr inbounds %struct.tm, %struct.tm* %72, i32 0, i32 5
%74 = load i32, i32* %73
%75 = icmp slt i32 %74, 0
br i1 %75, label %81, label %76
76: ; preds = %71
%77 = load %struct.tm*, %struct.tm** %3
%78 = getelementptr inbounds %struct.tm, %struct.tm* %77, i32 0, i32 5
%79 = load i32, i32* %78
%80 = icmp sgt i32 %79, 59
br i1 %80, label %81, label %82
81: ; preds = %76, %71, %66, %61, %56, %51, %44, %39, %34, %18, %13, %8, %1
store i32 0, i32* %2
br label %83
82: ; preds = %76
store i32 1, i32* %2
br label %83
83: ; preds = %82, %81
%84 = load i32, i32* %2
ret i32 %84
}

LLVM IR (-O2):
%struct.tm = type { i32, i32, i32, i32, i32, i32 }
@validate_date.days_in_month = internal unnamed_addr constant [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]
define i32 @validate_date(%struct.tm* nocapture %0) {
%2 = getelementptr inbounds %struct.tm, %struct.tm* %0, i64 0, i32 0
%3 = load i32, i32* %2
%4 = icmp eq i32 %3, -1900
br i1 %4, label %39, label %5
5: ; preds = %1
%6 = getelementptr inbounds %struct.tm, %struct.tm* %0, i64 0, i32 1
%7 = load i32, i32* %6
%8 = icmp ugt i32 %7, 11
br i1 %8, label %39, label %9
9: ; preds = %5
%10 = getelementptr inbounds %struct.tm, %struct.tm* %0, i64 0, i32 2
%11 = load i32, i32* %10
%12 = icmp slt i32 %11, 1
br i1 %12, label %39, label %13
13: ; preds = %9
%14 = zext i32 %7 to i64
%15 = getelementptr inbounds [12 x i32], [12 x i32]* @validate_date.days_in_month, i64 0, i64 %14
%16 = load i32, i32* %15
%17 = icmp sgt i32 %11, %16
br i1 %17, label %18, label %26
18: ; preds = %13
%19 = icmp eq i32 %7, 1
%20 = icmp eq i32 %11, 29
%21 = select i1 %19, i1 %20, i1 false
br i1 %21, label %22, label %39
22: ; preds = %18
%23 = add nsw i32 %3, 1900
%24 = tail call i64 @is_leap_year(i32 %23)
%25 = icmp eq i64 %24, 0
br i1 %25, label %39, label %26
26: ; preds = %22, %13
%27 = getelementptr inbounds %struct.tm, %struct.tm* %0, i64 0, i32 3
%28 = load i32, i32* %27
%29 = icmp ugt i32 %28, 23
br i1 %29, label %39, label %30
30: ; preds = %26
%31 = getelementptr inbounds %struct.tm, %struct.tm* %0, i64 0, i32 4
%32 = load i32, i32* %31
%33 = icmp ugt i32 %32, 59
br i1 %33, label %39, label %34
34: ; preds = %30
%35 = getelementptr inbounds %struct.tm, %struct.tm* %0, i64 0, i32 5
%36 = load i32, i32* %35
%37 = icmp ult i32 %36, 60
%38 = zext i1 %37 to i32
br label %39
39: ; preds = %34, %1, %5, %9, %18, %22, %26, %30
%40 = phi i32 [ 0, %30 ], [ 0, %26 ], [ 0, %22 ], [ 0, %18 ], [ 0, %9 ], [ 0, %5 ], [ 0, %1 ], [ %38, %34 ]
ret i32 %40
}