#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 /*<<< orphan*/ sprintf(char *, char *, unsigned char const *);
int to_int(unsigned char const *, int);
int yymmd0(const unsigned char *data, int data_len, int offset, int min,
           int max, int *p_err_no, int *p_err_posn, char err_msg[50],
           const int length_only) {
  static char days_in_month[] = {0,  31, 29, 31, 30, 31, 30,
                                 31, 31, 30, 31, 30, 31};
  (void)max;
  data_len -= offset;
  if (data_len < min || (data_len && data_len < 6)) {
    return 0;
  }
  if (!length_only && data_len) {
    int month, day;
    month = to_int(data + offset + 2, 2);
    if (month == 0 || month > 12) {
      *p_err_no = 3;
      *p_err_posn = offset + 2 + 1;
      sprintf(err_msg, "Invalid month '%.2s'", data + offset + 2);
      return 0;
    }
    day = to_int(data + offset + 4, 2);
    if (day && day > days_in_month[month]) {
      *p_err_no = 3;
      *p_err_posn = offset + 4 + 1;
      sprintf(err_msg, "Invalid day '%.2s'", data + offset + 4);
      return 0;
    }
    if (month == 2 && day == 29) {
      int year = to_int(data + offset, 2);
      if (year & 3) {
        *p_err_no = 3;
        *p_err_posn = offset + 4 + 1;
        sprintf(err_msg, "Invalid day '%.2s'", data + offset + 4);
        return 0;
      }
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<yymmd0>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
mov    -0x18(%rbp),%ecx
mov    -0x14(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     1173 <yymmd0+0x53>
cmpl   $0x0,-0x14(%rbp)
je     117f <yymmd0+0x5f>
cmpl   $0x6,-0x14(%rbp)
jge    117f <yymmd0+0x5f>
movl   $0x0,-0x4(%rbp)
jmp    131b <yymmd0+0x1fb>
cmpl   $0x0,0x20(%rbp)
jne    1314 <yymmd0+0x1f4>
cmpl   $0x0,-0x14(%rbp)
je     1314 <yymmd0+0x1f4>
mov    -0x10(%rbp),%rdi
movslq -0x18(%rbp),%rax
add    %rax,%rdi
add    $0x2,%rdi
mov    $0x2,%esi
call   1030 <to_int@plt>
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     11c3 <yymmd0+0xa3>
cmpl   $0xc,-0x2c(%rbp)
jle    1207 <yymmd0+0xe7>
mov    -0x28(%rbp),%rax
movl   $0x3,(%rax)
mov    -0x18(%rbp),%ecx
add    $0x2,%ecx
add    $0x1,%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
movslq -0x18(%rbp),%rax
add    %rax,%rdx
add    $0x2,%rdx
lea    0xe0a(%rip),%rsi
call   1040 <sprintf@plt>
movl   $0x0,-0x4(%rbp)
jmp    131b <yymmd0+0x1fb>
mov    -0x10(%rbp),%rdi
movslq -0x18(%rbp),%rax
add    %rax,%rdi
add    $0x4,%rdi
mov    $0x2,%esi
call   1030 <to_int@plt>
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
je     128b <yymmd0+0x16b>
mov    -0x30(%rbp),%eax
movslq -0x2c(%rbp),%rdx
lea    0x2df5(%rip),%rcx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jle    128b <yymmd0+0x16b>
mov    -0x28(%rbp),%rax
movl   $0x3,(%rax)
mov    -0x18(%rbp),%ecx
add    $0x4,%ecx
add    $0x1,%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
movslq -0x18(%rbp),%rax
add    %rax,%rdx
add    $0x4,%rdx
lea    0xd9b(%rip),%rsi
call   1040 <sprintf@plt>
movl   $0x0,-0x4(%rbp)
jmp    131b <yymmd0+0x1fb>
cmpl   $0x2,-0x2c(%rbp)
jne    130f <yymmd0+0x1ef>
cmpl   $0x1d,-0x30(%rbp)
jne    130f <yymmd0+0x1ef>
mov    -0x10(%rbp),%rdi
movslq -0x18(%rbp),%rax
add    %rax,%rdi
mov    $0x2,%esi
call   1030 <to_int@plt>
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
and    $0x3,%eax
cmp    $0x0,%eax
je     130a <yymmd0+0x1ea>
mov    -0x28(%rbp),%rax
movl   $0x3,(%rax)
mov    -0x18(%rbp),%ecx
add    $0x4,%ecx
add    $0x1,%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
movslq -0x18(%rbp),%rax
add    %rax,%rdx
add    $0x4,%rdx
lea    0xd1c(%rip),%rsi
call   1040 <sprintf@plt>
movl   $0x0,-0x4(%rbp)
jmp    131b <yymmd0+0x1fb>
jmp    130f <yymmd0+0x1ef>
jmp    1314 <yymmd0+0x1f4>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<yymmd0>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
sub    %edx,%esi
xor    %ebx,%ebx
cmp    %ecx,%esi
jl     121a <yymmd0+0xfa>
mov    %r9,%r14
mov    %edx,%ebp
mov    %rdi,%r12
test   %esi,%esi
je     114c <yymmd0+0x2c>
cmp    $0x6,%esi
jl     121a <yymmd0+0xfa>
cmpl   $0x0,0x50(%rsp)
mov    $0x1,%ebx
jne    121a <yymmd0+0xfa>
test   %esi,%esi
je     121a <yymmd0+0xfa>
movslq %ebp,%r13
lea    (%r12,%r13,1),%rdi
add    $0x2,%rdi
mov    %rdi,(%rsp)
mov    $0x2,%esi
call   1030 <to_int@plt>
test   %eax,%eax
je     11f2 <yymmd0+0xd2>
mov    %eax,%r15d
cmp    $0xd,%eax
jge    11f2 <yymmd0+0xd2>
add    %r13,%r12
lea    0x4(%r12),%r13
mov    %r13,%rdi
mov    $0x2,%esi
call   1030 <to_int@plt>
test   %eax,%eax
je     121a <yymmd0+0xfa>
movslq %r15d,%rcx
lea    0xe54(%rip),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jg     11d0 <yymmd0+0xb0>
cmp    $0x2,%r15d
jne    121a <yymmd0+0xfa>
cmp    $0x1d,%eax
jne    121a <yymmd0+0xfa>
mov    %r12,%rdi
mov    $0x2,%esi
call   1030 <to_int@plt>
test   $0x3,%al
je     121a <yymmd0+0xfa>
movl   $0x3,(%r14)
add    $0x5,%ebp
mov    0x40(%rsp),%rax
mov    %ebp,(%rax)
lea    0xe3a(%rip),%rsi
mov    0x48(%rsp),%rdi
mov    %r13,%rdx
jmp    1213 <yymmd0+0xf3>
movl   $0x3,(%r14)
add    $0x3,%ebp
mov    0x40(%rsp),%rax
mov    %ebp,(%rax)
lea    0xe03(%rip),%rsi
mov    0x48(%rsp),%rdi
mov    (%rsp),%rdx
call   1040 <sprintf@plt>
xor    %ebx,%ebx
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@yymmd0.days_in_month = internal unnamed_addr constant [13 x i8] c"\00\1F\1D\1F\1E\1F\1E\1F\1F\1E\1F\1E\1F"
@.str = [21 x i8] c"Invalid month '%.2s'\00"
@.str.1 = [19 x i8] c"Invalid day '%.2s'\00"
define i32 @yymmd0(i8* %0, i32 %1, i32 %2, i32 %3, i32 %4, i32* nocapture writeonly %5, i32* nocapture writeonly %6, i8* nocapture writeonly %7, i32 %8) {
%10 = sub nsw i32 %1, %2
%11 = icmp slt i32 %10, %3
br i1 %11, label %54, label %12
12: ; preds = %9
%13 = icmp ne i32 %10, 0
%14 = icmp slt i32 %10, 6
%15 = and i1 %13, %14
br i1 %15, label %54, label %16
16: ; preds = %12
%17 = icmp eq i32 %8, 0
%18 = select i1 %17, i1 %13, i1 false
br i1 %18, label %19, label %54
19: ; preds = %16
%20 = sext i32 %2 to i64
%21 = getelementptr inbounds i8, i8* %0, i64 %20
%22 = getelementptr inbounds i8, i8* %21, i64 2
%23 = tail call i32 @to_int(i8* %22, i32 2)
%24 = icmp eq i32 %23, 0
%25 = icmp sgt i32 %23, 12
%26 = or i1 %24, %25
br i1 %26, label %27, label %30
27: ; preds = %19
store i32 3, i32* %5
%28 = add nsw i32 %2, 3
store i32 %28, i32* %6
%29 = tail call i32 @sprintf(i8* dereferenceable(1) %7, i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str, i64 0, i64 0), i8* %22)
br label %54
30: ; preds = %19
%31 = getelementptr inbounds i8, i8* %21, i64 4
%32 = tail call i32 @to_int(i8* %31, i32 2)
%33 = icmp eq i32 %32, 0
br i1 %33, label %54, label %34
34: ; preds = %30
%35 = sext i32 %23 to i64
%36 = getelementptr inbounds [13 x i8], [13 x i8]* @yymmd0.days_in_month, i64 0, i64 %35
%37 = load i8, i8* %36
%38 = sext i8 %37 to i32
%39 = icmp sgt i32 %32, %38
br i1 %39, label %40, label %43
40: ; preds = %34
store i32 3, i32* %5
%41 = add nsw i32 %2, 5
store i32 %41, i32* %6
%42 = tail call i32 @sprintf(i8* dereferenceable(1) %7, i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str.1, i64 0, i64 0), i8* %31)
br label %54
43: ; preds = %34
%44 = icmp eq i32 %23, 2
%45 = icmp eq i32 %32, 29
%46 = select i1 %44, i1 %45, i1 false
br i1 %46, label %47, label %54
47: ; preds = %43
%48 = tail call i32 @to_int(i8* %21, i32 2)
%49 = and i32 %48, 3
%50 = icmp eq i32 %49, 0
br i1 %50, label %54, label %51
51: ; preds = %47
store i32 3, i32* %5
%52 = add nsw i32 %2, 5
store i32 %52, i32* %6
%53 = tail call i32 @sprintf(i8* dereferenceable(1) %7, i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str.1, i64 0, i64 0), i8* %31)
br label %54
54: ; preds = %30, %43, %47, %16, %27, %40, %51, %9, %12
%55 = phi i32 [ 0, %12 ], [ 0, %9 ], [ 0, %51 ], [ 0, %40 ], [ 0, %27 ], [ 1, %16 ], [ 1, %47 ], [ 1, %43 ], [ 1, %30 ]
ret i32 %55
}