#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 atoi(char *);
int /*<<< orphan*/ is_leap_year(int);
int /*<<< orphan*/ sprintf(char *, char *, long);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char *);
int is_valid_date(long l) {
  char year[32], month[32], day[32];
  sprintf(year, "%ld", l);
  if (strlen(year) != 8)
    return 0;
  strcpy(month, year + 4);
  strcpy(day, month + 2);
  year[4] = '\0';
  month[2] = '\0';
  int y = atoi(year);
  int m = atoi(month);
  int d = atoi(day);
  if (y >= 2007 && y <= 9999 && m >= 1 && m <= 12 && d >= 1 && d <= 31) {
    if (m == 2 && d > 29)
      return 0;
    if (m == 2 && d == 29 && !is_leap_year(y))
      return 0;
    if (d == 31 && (m == 4 || m == 6 || m == 9 || m == 11))
      return 0;
    return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<is_valid_date>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
lea    -0x30(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xe92(%rip),%rsi
call   1070 <sprintf@plt>
lea    -0x30(%rbp),%rdi
call   1040 <strlen@plt>
cmp    $0x8,%eax
je     1191 <is_valid_date+0x41>
movl   $0x0,-0x4(%rbp)
jmp    12c3 <is_valid_date+0x173>
lea    -0x50(%rbp),%rdi
lea    -0x30(%rbp),%rsi
add    $0x4,%rsi
call   1030 <strcpy@plt>
lea    -0x70(%rbp),%rdi
lea    -0x50(%rbp),%rsi
add    $0x2,%rsi
call   1030 <strcpy@plt>
movb   $0x0,-0x2c(%rbp)
movb   $0x0,-0x4e(%rbp)
lea    -0x30(%rbp),%rdi
call   1060 <atoi@plt>
mov    %eax,-0x74(%rbp)
lea    -0x50(%rbp),%rdi
call   1060 <atoi@plt>
mov    %eax,-0x78(%rbp)
lea    -0x70(%rbp),%rdi
call   1060 <atoi@plt>
mov    %eax,-0x7c(%rbp)
cmpl   $0x7d7,-0x74(%rbp)
jl     12bc <is_valid_date+0x16c>
cmpl   $0x270f,-0x74(%rbp)
jg     12bc <is_valid_date+0x16c>
cmpl   $0x1,-0x78(%rbp)
jl     12bc <is_valid_date+0x16c>
cmpl   $0xc,-0x78(%rbp)
jg     12bc <is_valid_date+0x16c>
cmpl   $0x1,-0x7c(%rbp)
jl     12bc <is_valid_date+0x16c>
cmpl   $0x1f,-0x7c(%rbp)
jg     12bc <is_valid_date+0x16c>
cmpl   $0x2,-0x78(%rbp)
jne    1241 <is_valid_date+0xf1>
cmpl   $0x1d,-0x7c(%rbp)
jle    1241 <is_valid_date+0xf1>
movl   $0x0,-0x4(%rbp)
jmp    12c3 <is_valid_date+0x173>
cmpl   $0x2,-0x78(%rbp)
jne    1272 <is_valid_date+0x122>
cmpl   $0x1d,-0x7c(%rbp)
jne    1272 <is_valid_date+0x122>
mov    -0x74(%rbp),%edi
call   1050 <is_leap_year@plt>
cmp    $0x0,%eax
jne    1272 <is_valid_date+0x122>
movl   $0x0,-0x4(%rbp)
jmp    12c3 <is_valid_date+0x173>
cmpl   $0x1f,-0x7c(%rbp)
jne    12b0 <is_valid_date+0x160>
cmpl   $0x4,-0x78(%rbp)
je     12a4 <is_valid_date+0x154>
cmpl   $0x6,-0x78(%rbp)
je     12a4 <is_valid_date+0x154>
cmpl   $0x9,-0x78(%rbp)
je     12a4 <is_valid_date+0x154>
cmpl   $0xb,-0x78(%rbp)
jne    12b0 <is_valid_date+0x160>
movl   $0x0,-0x4(%rbp)
jmp    12c3 <is_valid_date+0x173>
movl   $0x1,-0x4(%rbp)
jmp    12c3 <is_valid_date+0x173>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_valid_date>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x68,%rsp
mov    %rdi,%rdx
lea    0xe9c(%rip),%rsi
mov    %rsp,%rbx
mov    %rbx,%rdi
call   1070 <sprintf@plt>
mov    %rbx,%rdi
call   1040 <strlen@plt>
xor    %r15d,%r15d
cmp    $0x8,%eax
jne    1234 <is_valid_date+0xe4>
lea    0x4(%rsp),%rsi
lea    0x20(%rsp),%rbp
mov    %rbp,%rdi
call   1030 <strcpy@plt>
lea    0x22(%rsp),%rsi
lea    0x40(%rsp),%rbx
mov    %rbx,%rdi
call   1030 <strcpy@plt>
movb   $0x0,0x4(%rsp)
movb   $0x0,0x22(%rsp)
mov    %rsp,%rdi
call   1060 <atoi@plt>
mov    %eax,%r14d
mov    %rbp,%rdi
call   1060 <atoi@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1060 <atoi@plt>
lea    -0x7d7(%r14),%ecx
cmp    $0x1f38,%ecx
ja     1234 <is_valid_date+0xe4>
test   %ebp,%ebp
jle    1234 <is_valid_date+0xe4>
cmp    $0xc,%ebp
jg     1234 <is_valid_date+0xe4>
test   %eax,%eax
jle    1234 <is_valid_date+0xe4>
cmp    $0x1f,%eax
jg     1234 <is_valid_date+0xe4>
cmp    $0x2,%ebp
jne    11f9 <is_valid_date+0xa9>
cmp    $0x1d,%eax
ja     1234 <is_valid_date+0xe4>
cmp    $0x2,%ebp
jne    1211 <is_valid_date+0xc1>
cmp    $0x1d,%eax
jne    1211 <is_valid_date+0xc1>
mov    %r14d,%edi
call   1050 <is_leap_year@plt>
test   %eax,%eax
jne    122e <is_valid_date+0xde>
jmp    1234 <is_valid_date+0xe4>
cmp    $0x1f,%eax
jne    122e <is_valid_date+0xde>
add    $0xfffffffc,%ebp
cmp    $0x8,%ebp
jae    122e <is_valid_date+0xde>
movslq %ebp,%rax
lea    0xddc(%rip),%rcx
mov    (%rcx,%rax,4),%r15d
jmp    1234 <is_valid_date+0xe4>
mov    $0x1,%r15d
mov    %r15d,%eax
add    $0x68,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [4 x i8] c"%ld\00"
define i32 @is_valid_date(i64 %0) {
%2 = alloca i32
%3 = alloca i64
%4 = alloca [32 x i8]
%5 = alloca [32 x i8]
%6 = alloca [32 x i8]
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i64 %0, i64* %3
%10 = getelementptr inbounds [32 x i8], [32 x i8]* %4, i64 0, i64 0
%11 = load i64, i64* %3
%12 = call i32 @sprintf(i8* %10, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i64 %11)
%13 = getelementptr inbounds [32 x i8], [32 x i8]* %4, i64 0, i64 0
%14 = call i32 @strlen(i8* %13)
%15 = icmp ne i32 %14, 8
br i1 %15, label %16, label %17
16: ; preds = %1
store i32 0, i32* %2
br label %87
17: ; preds = %1
%18 = getelementptr inbounds [32 x i8], [32 x i8]* %5, i64 0, i64 0
%19 = getelementptr inbounds [32 x i8], [32 x i8]* %4, i64 0, i64 0
%20 = getelementptr inbounds i8, i8* %19, i64 4
%21 = call i32 @strcpy(i8* %18, i8* %20)
%22 = getelementptr inbounds [32 x i8], [32 x i8]* %6, i64 0, i64 0
%23 = getelementptr inbounds [32 x i8], [32 x i8]* %5, i64 0, i64 0
%24 = getelementptr inbounds i8, i8* %23, i64 2
%25 = call i32 @strcpy(i8* %22, i8* %24)
%26 = getelementptr inbounds [32 x i8], [32 x i8]* %4, i64 0, i64 4
store i8 0, i8* %26
%27 = getelementptr inbounds [32 x i8], [32 x i8]* %5, i64 0, i64 2
store i8 0, i8* %27
%28 = getelementptr inbounds [32 x i8], [32 x i8]* %4, i64 0, i64 0
%29 = call i32 @atoi(i8* %28)
store i32 %29, i32* %7
%30 = getelementptr inbounds [32 x i8], [32 x i8]* %5, i64 0, i64 0
%31 = call i32 @atoi(i8* %30)
store i32 %31, i32* %8
%32 = getelementptr inbounds [32 x i8], [32 x i8]* %6, i64 0, i64 0
%33 = call i32 @atoi(i8* %32)
store i32 %33, i32* %9
%34 = load i32, i32* %7
%35 = icmp sge i32 %34, 2007
br i1 %35, label %36, label %86
36: ; preds = %17
%37 = load i32, i32* %7
%38 = icmp sle i32 %37, 9999
br i1 %38, label %39, label %86
39: ; preds = %36
%40 = load i32, i32* %8
%41 = icmp sge i32 %40, 1
br i1 %41, label %42, label %86
42: ; preds = %39
%43 = load i32, i32* %8
%44 = icmp sle i32 %43, 12
br i1 %44, label %45, label %86
45: ; preds = %42
%46 = load i32, i32* %9
%47 = icmp sge i32 %46, 1
br i1 %47, label %48, label %86
48: ; preds = %45
%49 = load i32, i32* %9
%50 = icmp sle i32 %49, 31
br i1 %50, label %51, label %86
51: ; preds = %48
%52 = load i32, i32* %8
%53 = icmp eq i32 %52, 2
br i1 %53, label %54, label %58
54: ; preds = %51
%55 = load i32, i32* %9
%56 = icmp sgt i32 %55, 29
br i1 %56, label %57, label %58
57: ; preds = %54
store i32 0, i32* %2
br label %87
58: ; preds = %54, %51
%59 = load i32, i32* %8
%60 = icmp eq i32 %59, 2
br i1 %60, label %61, label %69
61: ; preds = %58
%62 = load i32, i32* %9
%63 = icmp eq i32 %62, 29
br i1 %63, label %64, label %69
64: ; preds = %61
%65 = load i32, i32* %7
%66 = call i32 @is_leap_year(i32 %65)
%67 = icmp ne i32 %66, 0
br i1 %67, label %69, label %68
68: ; preds = %64
store i32 0, i32* %2
br label %87
69: ; preds = %64, %61, %58
%70 = load i32, i32* %9
%71 = icmp eq i32 %70, 31
br i1 %71, label %72, label %85
72: ; preds = %69
%73 = load i32, i32* %8
%74 = icmp eq i32 %73, 4
br i1 %74, label %84, label %75
75: ; preds = %72
%76 = load i32, i32* %8
%77 = icmp eq i32 %76, 6
br i1 %77, label %84, label %78
78: ; preds = %75
%79 = load i32, i32* %8
%80 = icmp eq i32 %79, 9
br i1 %80, label %84, label %81
81: ; preds = %78
%82 = load i32, i32* %8
%83 = icmp eq i32 %82, 11
br i1 %83, label %84, label %85
84: ; preds = %81, %78, %75, %72
store i32 0, i32* %2
br label %87
85: ; preds = %81, %69
store i32 1, i32* %2
br label %87
86: ; preds = %48, %45, %42, %39, %36, %17
store i32 0, i32* %2
br label %87
87: ; preds = %86, %85, %84, %68, %57, %16
%88 = load i32, i32* %2
ret i32 %88
}

LLVM IR (-O2):
@.str = [4 x i8] c"%ld\00"
@switch.table.is_valid_date = [8 x i32] [i32 0, i32 1, i32 0, i32 1, i32 1, i32 0, i32 1, i32 0]
define i32 @is_valid_date(i64 %0) {
%2 = alloca [32 x i8]
%3 = alloca [32 x i8]
%4 = alloca [32 x i8]
%5 = getelementptr inbounds [32 x i8], [32 x i8]* %2, i64 0, i64 0
%6 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 0
%7 = getelementptr inbounds [32 x i8], [32 x i8]* %4, i64 0, i64 0
%8 = call i32 @sprintf(i8* %5, i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i64 %0)
%9 = call i32 @strlen(i8* %5)
%10 = icmp eq i32 %9, 8
br i1 %10, label %11, label %49
11: ; preds = %1
%12 = getelementptr inbounds [32 x i8], [32 x i8]* %2, i64 0, i64 4
%13 = call i32 @strcpy(i8* %6, i8* %12)
%14 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 2
%15 = call i32 @strcpy(i8* %7, i8* %14)
store i8 0, i8* %12
store i8 0, i8* %14
%16 = call i32 @atoi(i8* %5)
%17 = call i32 @atoi(i8* %6)
%18 = call i32 @atoi(i8* %7)
%19 = add i32 %16, -2007
%20 = icmp ult i32 %19, 7993
%21 = icmp sgt i32 %17, 0
%22 = select i1 %20, i1 %21, i1 false
%23 = icmp slt i32 %17, 13
%24 = select i1 %22, i1 %23, i1 false
%25 = icmp sgt i32 %18, 0
%26 = select i1 %24, i1 %25, i1 false
%27 = icmp slt i32 %18, 32
%28 = select i1 %26, i1 %27, i1 false
br i1 %28, label %29, label %49
29: ; preds = %11
%30 = icmp eq i32 %17, 2
%31 = icmp ugt i32 %18, 29
%32 = select i1 %30, i1 %31, i1 false
br i1 %32, label %49, label %33
33: ; preds = %29
%34 = icmp eq i32 %18, 29
%35 = select i1 %30, i1 %34, i1 false
br i1 %35, label %36, label %39
36: ; preds = %33
%37 = call i32 @is_leap_year(i32 %16)
%38 = icmp eq i32 %37, 0
br i1 %38, label %49, label %44
39: ; preds = %33
%40 = icmp eq i32 %18, 31
br i1 %40, label %41, label %44
41: ; preds = %39
%42 = add i32 %17, -4
%43 = icmp ult i32 %42, 8
br i1 %43, label %45, label %44
44: ; preds = %41, %36, %39
br label %49
45: ; preds = %41
%46 = sext i32 %42 to i64
%47 = getelementptr inbounds [8 x i32], [8 x i32]* @switch.table.is_valid_date, i64 0, i64 %46
%48 = load i32, i32* %47
br label %49
49: ; preds = %45, %44, %29, %36, %11, %1
%50 = phi i32 [ 0, %1 ], [ 1, %44 ], [ 0, %29 ], [ 0, %36 ], [ 0, %11 ], [ %48, %45 ]
ret i32 %50
}