#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 */
scalar_t__ prestupny(int);
int valid(int y, int m, int d, int h, int i) {
  if (y < 1600 || m < 1 || m > 12 || h < 0 || h > 23 || i < 0 || i > 59 ||
      d < 0)
    return 0;
  if ((m == 1 || m == 3 || m == 5 || m == 7 || m == 8 || m == 10 || m == 12) &&
      (d > 31))
    return 0;
  if ((m == 4 || m == 6 || m == 9 || m == 11) && (d > 30))
    return 0;
  if (m == 2) {
    if (prestupny(y) && (d > 29))
      return 0;
    if (!prestupny(y) && (d > 28))
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<valid>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
cmpl   $0x640,-0x8(%rbp)
jl     117b <valid+0x6b>
cmpl   $0x1,-0xc(%rbp)
jl     117b <valid+0x6b>
cmpl   $0xc,-0xc(%rbp)
jg     117b <valid+0x6b>
cmpl   $0x0,-0x14(%rbp)
jl     117b <valid+0x6b>
cmpl   $0x17,-0x14(%rbp)
jg     117b <valid+0x6b>
cmpl   $0x0,-0x18(%rbp)
jl     117b <valid+0x6b>
cmpl   $0x3b,-0x18(%rbp)
jg     117b <valid+0x6b>
cmpl   $0x0,-0x10(%rbp)
jge    1187 <valid+0x77>
movl   $0x0,-0x4(%rbp)
jmp    1287 <valid+0x177>
cmpl   $0x1,-0xc(%rbp)
je     11cd <valid+0xbd>
cmpl   $0x3,-0xc(%rbp)
je     11cd <valid+0xbd>
cmpl   $0x5,-0xc(%rbp)
je     11cd <valid+0xbd>
cmpl   $0x7,-0xc(%rbp)
je     11cd <valid+0xbd>
cmpl   $0x8,-0xc(%rbp)
je     11cd <valid+0xbd>
cmpl   $0xa,-0xc(%rbp)
je     11cd <valid+0xbd>
cmpl   $0xc,-0xc(%rbp)
jne    11e3 <valid+0xd3>
cmpl   $0x1f,-0x10(%rbp)
jle    11e3 <valid+0xd3>
movl   $0x0,-0x4(%rbp)
jmp    1287 <valid+0x177>
cmpl   $0x4,-0xc(%rbp)
je     120b <valid+0xfb>
cmpl   $0x6,-0xc(%rbp)
je     120b <valid+0xfb>
cmpl   $0x9,-0xc(%rbp)
je     120b <valid+0xfb>
cmpl   $0xb,-0xc(%rbp)
jne    1221 <valid+0x111>
cmpl   $0x1e,-0x10(%rbp)
jle    1221 <valid+0x111>
movl   $0x0,-0x4(%rbp)
jmp    1287 <valid+0x177>
cmpl   $0x2,-0xc(%rbp)
jne    1280 <valid+0x170>
mov    -0x8(%rbp),%edi
call   1030 <prestupny@plt>
cmp    $0x0,%rax
je     1253 <valid+0x143>
cmpl   $0x1d,-0x10(%rbp)
jle    1253 <valid+0x143>
movl   $0x0,-0x4(%rbp)
jmp    1287 <valid+0x177>
mov    -0x8(%rbp),%edi
call   1030 <prestupny@plt>
cmp    $0x0,%rax
jne    127b <valid+0x16b>
cmpl   $0x1c,-0x10(%rbp)
jle    127b <valid+0x16b>
movl   $0x0,-0x4(%rbp)
jmp    1287 <valid+0x177>
jmp    1280 <valid+0x170>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<valid>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
xor    %r14d,%r14d
test   %edx,%edx
js     11b5 <valid+0xa5>
cmp    $0x3b,%r8d
ja     11b5 <valid+0xa5>
cmp    $0x17,%ecx
ja     11b5 <valid+0xa5>
mov    %edi,%r15d
cmp    $0x640,%edi
jl     11b5 <valid+0xa5>
lea    -0xd(%rsi),%eax
cmp    $0xfffffff4,%eax
jb     11b5 <valid+0xa5>
mov    %edx,%ebp
mov    %esi,%eax
and    $0xfffffffd,%eax
mov    %esi,%ecx
and    $0xfffffff9,%ecx
cmp    $0x1,%ecx
sete   %cl
cmp    $0x8,%eax
sete   %dl
cmp    $0xc,%esi
sete   %bl
cmp    $0x20,%ebp
jb     1171 <valid+0x61>
or     %cl,%dl
or     %dl,%bl
jne    11b5 <valid+0xa5>
cmp    $0x4,%eax
sete   %cl
cmp    $0x9,%eax
sete   %al
cmp    $0x1f,%ebp
jb     1186 <valid+0x76>
or     %cl,%al
jne    11b5 <valid+0xa5>
cmp    $0x2,%esi
jne    11af <valid+0x9f>
mov    %r15d,%edi
call   1030 <prestupny@plt>
cmp    $0x1e,%ebp
jb     119d <valid+0x8d>
test   %rax,%rax
jne    11b5 <valid+0xa5>
mov    %r15d,%edi
call   1030 <prestupny@plt>
cmp    $0x1d,%ebp
jb     11af <valid+0x9f>
test   %rax,%rax
je     11b5 <valid+0xa5>
mov    $0x1,%r14d
mov    %r14d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @valid(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32 %0, i32* %7
store i32 %1, i32* %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store i32 %4, i32* %11
%12 = load i32, i32* %7
%13 = icmp slt i32 %12, 1600
br i1 %13, label %35, label %14
14: ; preds = %5
%15 = load i32, i32* %8
%16 = icmp slt i32 %15, 1
br i1 %16, label %35, label %17
17: ; preds = %14
%18 = load i32, i32* %8
%19 = icmp sgt i32 %18, 12
br i1 %19, label %35, label %20
20: ; preds = %17
%21 = load i32, i32* %10
%22 = icmp slt i32 %21, 0
br i1 %22, label %35, label %23
23: ; preds = %20
%24 = load i32, i32* %10
%25 = icmp sgt i32 %24, 23
br i1 %25, label %35, label %26
26: ; preds = %23
%27 = load i32, i32* %11
%28 = icmp slt i32 %27, 0
br i1 %28, label %35, label %29
29: ; preds = %26
%30 = load i32, i32* %11
%31 = icmp sgt i32 %30, 59
br i1 %31, label %35, label %32
32: ; preds = %29
%33 = load i32, i32* %9
%34 = icmp slt i32 %33, 0
br i1 %34, label %35, label %36
35: ; preds = %32, %29, %26, %23, %20, %17, %14, %5
store i32 0, i32* %6
br label %98
36: ; preds = %32
%37 = load i32, i32* %8
%38 = icmp eq i32 %37, 1
br i1 %38, label %57, label %39
39: ; preds = %36
%40 = load i32, i32* %8
%41 = icmp eq i32 %40, 3
br i1 %41, label %57, label %42
42: ; preds = %39
%43 = load i32, i32* %8
%44 = icmp eq i32 %43, 5
br i1 %44, label %57, label %45
45: ; preds = %42
%46 = load i32, i32* %8
%47 = icmp eq i32 %46, 7
br i1 %47, label %57, label %48
48: ; preds = %45
%49 = load i32, i32* %8
%50 = icmp eq i32 %49, 8
br i1 %50, label %57, label %51
51: ; preds = %48
%52 = load i32, i32* %8
%53 = icmp eq i32 %52, 10
br i1 %53, label %57, label %54
54: ; preds = %51
%55 = load i32, i32* %8
%56 = icmp eq i32 %55, 12
br i1 %56, label %57, label %61
57: ; preds = %54, %51, %48, %45, %42, %39, %36
%58 = load i32, i32* %9
%59 = icmp sgt i32 %58, 31
br i1 %59, label %60, label %61
60: ; preds = %57
store i32 0, i32* %6
br label %98
61: ; preds = %57, %54
%62 = load i32, i32* %8
%63 = icmp eq i32 %62, 4
br i1 %63, label %73, label %64
64: ; preds = %61
%65 = load i32, i32* %8
%66 = icmp eq i32 %65, 6
br i1 %66, label %73, label %67
67: ; preds = %64
%68 = load i32, i32* %8
%69 = icmp eq i32 %68, 9
br i1 %69, label %73, label %70
70: ; preds = %67
%71 = load i32, i32* %8
%72 = icmp eq i32 %71, 11
br i1 %72, label %73, label %77
73: ; preds = %70, %67, %64, %61
%74 = load i32, i32* %9
%75 = icmp sgt i32 %74, 30
br i1 %75, label %76, label %77
76: ; preds = %73
store i32 0, i32* %6
br label %98
77: ; preds = %73, %70
%78 = load i32, i32* %8
%79 = icmp eq i32 %78, 2
br i1 %79, label %80, label %97
80: ; preds = %77
%81 = load i32, i32* %7
%82 = call i64 @prestupny(i32 %81)
%83 = icmp ne i64 %82, 0
br i1 %83, label %84, label %88
84: ; preds = %80
%85 = load i32, i32* %9
%86 = icmp sgt i32 %85, 29
br i1 %86, label %87, label %88
87: ; preds = %84
store i32 0, i32* %6
br label %98
88: ; preds = %84, %80
%89 = load i32, i32* %7
%90 = call i64 @prestupny(i32 %89)
%91 = icmp ne i64 %90, 0
br i1 %91, label %96, label %92
92: ; preds = %88
%93 = load i32, i32* %9
%94 = icmp sgt i32 %93, 28
br i1 %94, label %95, label %96
95: ; preds = %92
store i32 0, i32* %6
br label %98
96: ; preds = %92, %88
br label %97
97: ; preds = %96, %77
store i32 1, i32* %6
br label %98
98: ; preds = %97, %95, %87, %76, %60, %35
%99 = load i32, i32* %6
ret i32 %99
}

LLVM IR (-O2):
define i32 @valid(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = icmp slt i32 %0, 1600
%7 = add i32 %1, -13
%8 = icmp ult i32 %7, -12
%9 = or i1 %6, %8
%10 = icmp ugt i32 %3, 23
%11 = or i1 %10, %9
%12 = icmp ugt i32 %4, 59
%13 = or i1 %12, %11
%14 = icmp slt i32 %2, 0
%15 = or i1 %14, %13
br i1 %15, label %45, label %16
16: ; preds = %5
%17 = and i32 %1, -3
%18 = and i32 %1, -7
%19 = icmp eq i32 %18, 1
%20 = icmp eq i32 %17, 8
%21 = or i1 %20, %19
%22 = icmp eq i32 %1, 12
%23 = or i1 %22, %21
%24 = icmp ugt i32 %2, 31
%25 = and i1 %24, %23
br i1 %25, label %45, label %26
26: ; preds = %16
%27 = icmp eq i32 %17, 4
%28 = icmp eq i32 %17, 9
%29 = or i1 %28, %27
%30 = icmp ugt i32 %2, 30
%31 = and i1 %30, %29
br i1 %31, label %45, label %32
32: ; preds = %26
%33 = icmp eq i32 %1, 2
br i1 %33, label %34, label %44
34: ; preds = %32
%35 = tail call i64 @prestupny(i32 %0)
%36 = icmp ne i64 %35, 0
%37 = icmp ugt i32 %2, 29
%38 = and i1 %37, %36
br i1 %38, label %45, label %39
39: ; preds = %34
%40 = tail call i64 @prestupny(i32 %0)
%41 = icmp eq i64 %40, 0
%42 = icmp ugt i32 %2, 28
%43 = and i1 %42, %41
br i1 %43, label %45, label %44
44: ; preds = %39, %32
br label %45
45: ; preds = %39, %34, %26, %16, %5, %44
%46 = phi i32 [ 1, %44 ], [ 0, %5 ], [ 0, %16 ], [ 0, %26 ], [ 0, %34 ], [ 0, %39 ]
ret i32 %46
}