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

/* Variables and functions */
int tm_to_time_t(struct tm *);
int is_date(int year, int month, int day, struct tm *now_tm, time_t now,
            struct tm *tm) {
  if (month > 0 && month < 13 && day > 0 && day < 32) {
    struct tm check = *tm;
    struct tm *r = (now_tm ? &check : tm);
    time_t specified;
    r->tm_mon = month - 1;
    r->tm_mday = day;
    if (year == -1) {
      if (!now_tm)
        return 1;
      r->tm_year = now_tm->tm_year;
    } else if (year >= 1970 && year < 2100)
      r->tm_year = year - 1900;
    else if (year > 70 && year < 100)
      r->tm_year = year;
    else if (year < 38)
      r->tm_year = year + 100;
    else
      return 0;
    if (!now_tm)
      return 1;
    specified = tm_to_time_t(r);
    if ((specified != -1) && (now + 10 * 24 * 3600 < specified))
      return 0;
    tm->tm_mon = r->tm_mon;
    tm->tm_mday = r->tm_mday;
    if (year != -1)
      tm->tm_year = r->tm_year;
    return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<is_date>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    %r9,-0x28(%rbp)
cmpl   $0x0,-0xc(%rbp)
jle    12e9 <is_date+0x1d9>
cmpl   $0xd,-0xc(%rbp)
jge    12e9 <is_date+0x1d9>
cmpl   $0x0,-0x10(%rbp)
jle    12e9 <is_date+0x1d9>
cmpl   $0x20,-0x10(%rbp)
jge    12e9 <is_date+0x1d9>
mov    -0x28(%rbp),%rax
mov    (%rax),%rcx
mov    %rcx,-0x38(%rbp)
mov    0x8(%rax),%eax
mov    %eax,-0x30(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     117e <is_date+0x6e>
lea    -0x38(%rbp),%rax
mov    %rax,-0x50(%rbp)
jmp    1186 <is_date+0x76>
mov    -0x28(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,0x4(%rax)
cmpl   $0xffffffff,-0x8(%rbp)
jne    11d8 <is_date+0xc8>
cmpq   $0x0,-0x18(%rbp)
jne    11c5 <is_date+0xb5>
movl   $0x1,-0x4(%rbp)
jmp    12f0 <is_date+0x1e0>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,0x8(%rax)
jmp    1261 <is_date+0x151>
cmpl   $0x7b2,-0x8(%rbp)
jl     1207 <is_date+0xf7>
cmpl   $0x834,-0x8(%rbp)
jge    1207 <is_date+0xf7>
mov    -0x8(%rbp),%ecx
sub    $0x76c,%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,0x8(%rax)
jmp    125c <is_date+0x14c>
cmpl   $0x46,-0x8(%rbp)
jle    122a <is_date+0x11a>
cmpl   $0x64,-0x8(%rbp)
jge    122a <is_date+0x11a>
mov    -0x8(%rbp),%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,0x8(%rax)
jmp    1257 <is_date+0x147>
cmpl   $0x26,-0x8(%rbp)
jge    1246 <is_date+0x136>
mov    -0x8(%rbp),%ecx
add    $0x64,%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,0x8(%rax)
jmp    1252 <is_date+0x142>
movl   $0x0,-0x4(%rbp)
jmp    12f0 <is_date+0x1e0>
jmp    1257 <is_date+0x147>
jmp    125c <is_date+0x14c>
jmp    1261 <is_date+0x151>
cmpq   $0x0,-0x18(%rbp)
jne    1278 <is_date+0x168>
movl   $0x1,-0x4(%rbp)
jmp    12f0 <is_date+0x1e0>
mov    -0x40(%rbp),%rdi
call   1030 <tm_to_time_t@plt>
mov    %eax,-0x44(%rbp)
cmpl   $0xffffffff,-0x44(%rbp)
je     12ab <is_date+0x19b>
mov    -0x1c(%rbp),%eax
add    $0xd2f00,%eax
cmp    -0x44(%rbp),%eax
jge    12ab <is_date+0x19b>
movl   $0x0,-0x4(%rbp)
jmp    12f0 <is_date+0x1e0>
mov    -0x40(%rbp),%rax
mov    (%rax),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x40(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x4(%rax)
cmpl   $0xffffffff,-0x8(%rbp)
je     12dd <is_date+0x1cd>
mov    -0x40(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x8(%rax)
movl   $0x1,-0x4(%rbp)
jmp    12f0 <is_date+0x1e0>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_date>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x18,%rsp
add    $0xffffffff,%esi
xor    %eax,%eax
cmp    $0xb,%esi
ja     11f2 <is_date+0xe2>
mov    %edi,%r14d
lea    -0x1(%rdx),%edi
cmp    $0x1e,%edi
ja     11f2 <is_date+0xe2>
mov    %r9,%rbx
mov    %r8d,%r15d
mov    0x8(%r9),%eax
mov    %eax,0x10(%rsp)
mov    (%r9),%rax
test   %rcx,%rcx
lea    0x8(%rsp),%rdi
mov    %rdi,%rbp
cmove  %r9,%rbp
mov    %rax,0x8(%rsp)
mov    %esi,0x0(%rbp)
mov    %edx,0x4(%rbp)
cmp    $0xffffffff,%r14d
je     117f <is_date+0x6f>
lea    -0x7b2(%r14),%eax
cmp    $0x81,%eax
ja     118d <is_date+0x7d>
lea    -0x76c(%r14),%eax
jmp    11a5 <is_date+0x95>
test   %rcx,%rcx
je     11ed <is_date+0xdd>
mov    0x8(%rcx),%eax
mov    %eax,0x10(%rsp)
jmp    11b1 <is_date+0xa1>
lea    -0x47(%r14),%edx
mov    %r14d,%eax
cmp    $0x1d,%edx
jb     11a5 <is_date+0x95>
xor    %eax,%eax
cmp    $0x25,%r14d
jg     11f2 <is_date+0xe2>
lea    0x64(%r14),%eax
test   %rcx,%rcx
cmove  %rbx,%rdi
mov    %eax,0x8(%rdi)
je     11ed <is_date+0xdd>
mov    %rbp,%rdi
call   1030 <tm_to_time_t@plt>
cmp    $0xffffffff,%eax
je     11ce <is_date+0xbe>
mov    %eax,%ecx
add    $0xd2f00,%r15d
xor    %eax,%eax
cmp    %ecx,%r15d
jl     11f2 <is_date+0xe2>
mov    0x0(%rbp),%eax
mov    %eax,(%rbx)
mov    0x4(%rbp),%eax
mov    %eax,0x4(%rbx)
mov    $0x1,%eax
cmp    $0xffffffff,%r14d
je     11f2 <is_date+0xe2>
mov    0x10(%rsp),%ecx
mov    %ecx,0x8(%rbx)
jmp    11f2 <is_date+0xe2>
mov    $0x1,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
%struct.tm = type { i32, i32, i32 }
define i32 @is_date(i32 %0, i32 %1, i32 %2, %struct.tm* %3, i32 %4, %struct.tm* %5) {
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca %struct.tm*
%12 = alloca i32
%13 = alloca %struct.tm*
%14 = alloca %struct.tm
%15 = alloca %struct.tm*
%16 = alloca i32
store i32 %0, i32* %8
store i32 %1, i32* %9
store i32 %2, i32* %10
store %struct.tm* %3, %struct.tm** %11
store i32 %4, i32* %12
store %struct.tm* %5, %struct.tm** %13
%17 = load i32, i32* %9
%18 = icmp sgt i32 %17, 0
br i1 %18, label %19, label %126
19: ; preds = %6
%20 = load i32, i32* %9
%21 = icmp slt i32 %20, 13
br i1 %21, label %22, label %126
22: ; preds = %19
%23 = load i32, i32* %10
%24 = icmp sgt i32 %23, 0
br i1 %24, label %25, label %126
25: ; preds = %22
%26 = load i32, i32* %10
%27 = icmp slt i32 %26, 32
br i1 %27, label %28, label %126
28: ; preds = %25
%29 = load %struct.tm*, %struct.tm** %13
%30 = bitcast %struct.tm* %14 to i8*
%31 = bitcast %struct.tm* %29 to i8*
%32 = load %struct.tm*, %struct.tm** %11
%33 = icmp ne %struct.tm* %32, null
br i1 %33, label %34, label %35
34: ; preds = %28
br label %37
35: ; preds = %28
%36 = load %struct.tm*, %struct.tm** %13
br label %37
37: ; preds = %35, %34
%38 = phi %struct.tm* [ %14, %34 ], [ %36, %35 ]
store %struct.tm* %38, %struct.tm** %15
%39 = load i32, i32* %9
%40 = sub nsw i32 %39, 1
%41 = load %struct.tm*, %struct.tm** %15
%42 = getelementptr inbounds %struct.tm, %struct.tm* %41, i32 0, i32 0
store i32 %40, i32* %42
%43 = load i32, i32* %10
%44 = load %struct.tm*, %struct.tm** %15
%45 = getelementptr inbounds %struct.tm, %struct.tm* %44, i32 0, i32 1
store i32 %43, i32* %45
%46 = load i32, i32* %8
%47 = icmp eq i32 %46, -1
br i1 %47, label %48, label %58
48: ; preds = %37
%49 = load %struct.tm*, %struct.tm** %11
%50 = icmp ne %struct.tm* %49, null
br i1 %50, label %52, label %51
51: ; preds = %48
store i32 1, i32* %7
br label %127
52: ; preds = %48
%53 = load %struct.tm*, %struct.tm** %11
%54 = getelementptr inbounds %struct.tm, %struct.tm* %53, i32 0, i32 2
%55 = load i32, i32* %54
%56 = load %struct.tm*, %struct.tm** %15
%57 = getelementptr inbounds %struct.tm, %struct.tm* %56, i32 0, i32 2
store i32 %55, i32* %57
br label %91
58: ; preds = %37
%59 = load i32, i32* %8
%60 = icmp sge i32 %59, 1970
br i1 %60, label %61, label %69
61: ; preds = %58
%62 = load i32, i32* %8
%63 = icmp slt i32 %62, 2100
br i1 %63, label %64, label %69
64: ; preds = %61
%65 = load i32, i32* %8
%66 = sub nsw i32 %65, 1900
%67 = load %struct.tm*, %struct.tm** %15
%68 = getelementptr inbounds %struct.tm, %struct.tm* %67, i32 0, i32 2
store i32 %66, i32* %68
br label %90
69: ; preds = %61, %58
%70 = load i32, i32* %8
%71 = icmp sgt i32 %70, 70
br i1 %71, label %72, label %79
72: ; preds = %69
%73 = load i32, i32* %8
%74 = icmp slt i32 %73, 100
br i1 %74, label %75, label %79
75: ; preds = %72
%76 = load i32, i32* %8
%77 = load %struct.tm*, %struct.tm** %15
%78 = getelementptr inbounds %struct.tm, %struct.tm* %77, i32 0, i32 2
store i32 %76, i32* %78
br label %89
79: ; preds = %72, %69
%80 = load i32, i32* %8
%81 = icmp slt i32 %80, 38
br i1 %81, label %82, label %87
82: ; preds = %79
%83 = load i32, i32* %8
%84 = add nsw i32 %83, 100
%85 = load %struct.tm*, %struct.tm** %15
%86 = getelementptr inbounds %struct.tm, %struct.tm* %85, i32 0, i32 2
store i32 %84, i32* %86
br label %88
87: ; preds = %79
store i32 0, i32* %7
br label %127
88: ; preds = %82
br label %89
89: ; preds = %88, %75
br label %90
90: ; preds = %89, %64
br label %91
91: ; preds = %90, %52
%92 = load %struct.tm*, %struct.tm** %11
%93 = icmp ne %struct.tm* %92, null
br i1 %93, label %95, label %94
94: ; preds = %91
store i32 1, i32* %7
br label %127
95: ; preds = %91
%96 = load %struct.tm*, %struct.tm** %15
%97 = call i32 @tm_to_time_t(%struct.tm* %96)
store i32 %97, i32* %16
%98 = load i32, i32* %16
%99 = icmp ne i32 %98, -1
br i1 %99, label %100, label %106
100: ; preds = %95
%101 = load i32, i32* %12
%102 = add nsw i32 %101, 864000
%103 = load i32, i32* %16
%104 = icmp slt i32 %102, %103
br i1 %104, label %105, label %106
105: ; preds = %100
store i32 0, i32* %7
br label %127
106: ; preds = %100, %95
%107 = load %struct.tm*, %struct.tm** %15
%108 = getelementptr inbounds %struct.tm, %struct.tm* %107, i32 0, i32 0
%109 = load i32, i32* %108
%110 = load %struct.tm*, %struct.tm** %13
%111 = getelementptr inbounds %struct.tm, %struct.tm* %110, i32 0, i32 0
store i32 %109, i32* %111
%112 = load %struct.tm*, %struct.tm** %15
%113 = getelementptr inbounds %struct.tm, %struct.tm* %112, i32 0, i32 1
%114 = load i32, i32* %113
%115 = load %struct.tm*, %struct.tm** %13
%116 = getelementptr inbounds %struct.tm, %struct.tm* %115, i32 0, i32 1
store i32 %114, i32* %116
%117 = load i32, i32* %8
%118 = icmp ne i32 %117, -1
br i1 %118, label %119, label %125
119: ; preds = %106
%120 = load %struct.tm*, %struct.tm** %15
%121 = getelementptr inbounds %struct.tm, %struct.tm* %120, i32 0, i32 2
%122 = load i32, i32* %121
%123 = load %struct.tm*, %struct.tm** %13
%124 = getelementptr inbounds %struct.tm, %struct.tm* %123, i32 0, i32 2
store i32 %122, i32* %124
br label %125
125: ; preds = %119, %106
store i32 1, i32* %7
br label %127
126: ; preds = %25, %22, %19, %6
store i32 0, i32* %7
br label %127
127: ; preds = %126, %125, %105, %94, %87, %51
%128 = load i32, i32* %7
ret i32 %128
}

LLVM IR (-O2):
%struct.tm = type { i32, i32, i32 }
define i32 @is_date(i32 %0, i32 %1, i32 %2, %struct.tm* %3, i32 %4, %struct.tm* %5) {
%7 = alloca %struct.tm
%8 = add i32 %1, -1
%9 = icmp ult i32 %8, 12
%10 = add i32 %2, -1
%11 = icmp ult i32 %10, 31
%12 = and i1 %9, %11
br i1 %12, label %13, label %62
13: ; preds = %6
%14 = bitcast %struct.tm* %7 to i8*
%15 = bitcast %struct.tm* %5 to i8*
%16 = icmp eq %struct.tm* %3, null
%17 = select i1 %16, %struct.tm* %5, %struct.tm* %7
%18 = getelementptr inbounds %struct.tm, %struct.tm* %5, i64 0, i32 0
%19 = getelementptr inbounds %struct.tm, %struct.tm* %7, i64 0, i32 0
%20 = select i1 %16, i32* %18, i32* %19
store i32 %8, i32* %20
%21 = getelementptr inbounds %struct.tm, %struct.tm* %5, i64 0, i32 1
%22 = getelementptr inbounds %struct.tm, %struct.tm* %7, i64 0, i32 1
%23 = select i1 %16, i32* %21, i32* %22
store i32 %2, i32* %23
%24 = icmp eq i32 %0, -1
br i1 %24, label %25, label %30
25: ; preds = %13
br i1 %16, label %60, label %26
26: ; preds = %25
%27 = getelementptr inbounds %struct.tm, %struct.tm* %3, i64 0, i32 2
%28 = load i32, i32* %27
%29 = getelementptr inbounds %struct.tm, %struct.tm* %7, i64 0, i32 2
store i32 %28, i32* %29
br label %47
30: ; preds = %13
%31 = add i32 %0, -1970
%32 = icmp ult i32 %31, 130
br i1 %32, label %33, label %35
33: ; preds = %30
%34 = add nsw i32 %0, -1900
br label %42
35: ; preds = %30
%36 = add i32 %0, -71
%37 = icmp ult i32 %36, 29
br i1 %37, label %42, label %38
38: ; preds = %35
%39 = icmp slt i32 %0, 38
br i1 %39, label %40, label %60
40: ; preds = %38
%41 = add nsw i32 %0, 100
br label %42
42: ; preds = %35, %33, %40
%43 = phi i32 [ %34, %33 ], [ %41, %40 ], [ %0, %35 ]
%44 = getelementptr inbounds %struct.tm, %struct.tm* %5, i64 0, i32 2
%45 = getelementptr inbounds %struct.tm, %struct.tm* %7, i64 0, i32 2
%46 = select i1 %16, i32* %44, i32* %45
store i32 %43, i32* %46
br i1 %16, label %60, label %47
47: ; preds = %26, %42
%48 = call i32 @tm_to_time_t(%struct.tm* %17)
%49 = icmp ne i32 %48, -1
%50 = add nsw i32 %4, 864000
%51 = icmp slt i32 %50, %48
%52 = select i1 %49, i1 %51, i1 false
br i1 %52, label %60, label %53
53: ; preds = %47
%54 = load i32, i32* %20
store i32 %54, i32* %18
%55 = load i32, i32* %23
store i32 %55, i32* %21
br i1 %24, label %60, label %56
56: ; preds = %53
%57 = getelementptr inbounds %struct.tm, %struct.tm* %5, i64 0, i32 2
%58 = getelementptr inbounds %struct.tm, %struct.tm* %7, i64 0, i32 2
%59 = load i32, i32* %58
store i32 %59, i32* %57
br label %60
60: ; preds = %53, %56, %47, %42, %38, %25
%61 = phi i32 [ 1, %25 ], [ 0, %38 ], [ 1, %42 ], [ 0, %47 ], [ 1, %56 ], [ 1, %53 ]
br label %62
62: ; preds = %6, %60
%63 = phi i32 [ %61, %60 ], [ 0, %6 ]
ret i32 %63
}