#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*/ ffpmsg(char *);
scalar_t__ ffverifydate(int, int, int, int *);
scalar_t__ isdigit(int);
int strlen(char *);
int ffs2dt(char *datestr, int *year, int *month, int *day, int *status) {
  int slen, lyear, lmonth, lday;
  if (*status > 0)
    return (*status);
  if (year)
    *year = 0;
  if (month)
    *month = 0;
  if (day)
    *day = 0;
  if (!datestr) {
    ffpmsg("error: null input date string (ffs2dt)");
    return (*status = 420);
  }
  slen = strlen(datestr);
  if (slen == 8 && datestr[2] == '/' && datestr[5] == '/') {
    if (isdigit((int)datestr[0]) && isdigit((int)datestr[1]) &&
        isdigit((int)datestr[3]) && isdigit((int)datestr[4]) &&
        isdigit((int)datestr[6]) && isdigit((int)datestr[7])) {
      lyear = atoi(&datestr[6]) + 1900;
      lmonth = atoi(&datestr[3]);
      lday = atoi(datestr);
      if (year)
        *year = lyear;
      if (month)
        *month = lmonth;
      if (day)
        *day = lday;
    } else {
      ffpmsg("input date string has illegal format (ffs2dt):");
      ffpmsg(datestr);
      return (*status = 420);
    }
  } else if (slen >= 10 && datestr[4] == '-' && datestr[7] == '-') {
    if (isdigit((int)datestr[0]) && isdigit((int)datestr[1]) &&
        isdigit((int)datestr[2]) && isdigit((int)datestr[3]) &&
        isdigit((int)datestr[5]) && isdigit((int)datestr[6]) &&
        isdigit((int)datestr[8]) && isdigit((int)datestr[9])) {
      if (slen > 10 && datestr[10] != 'T') {
        ffpmsg("input date string has illegal format (ffs2dt):");
        ffpmsg(datestr);
        return (*status = 420);
      }
      lyear = atoi(datestr);
      lmonth = atoi(&datestr[5]);
      lday = atoi(&datestr[8]);
      if (year)
        *year = lyear;
      if (month)
        *month = lmonth;
      if (day)
        *day = lday;
    } else {
      ffpmsg("input date string has illegal format (ffs2dt):");
      ffpmsg(datestr);
      return (*status = 420);
    }
  } else {
    ffpmsg("input date string has illegal format (ffs2dt):");
    ffpmsg(datestr);
    return (*status = 420);
  }
  if (ffverifydate(lyear, lmonth, lday, status) > 0) {
    ffpmsg("invalid date (ffs2dt)");
  }
  return (*status);
}


x86 assembly (clang, -O0):
<ffs2dt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmpl   $0x0,(%rax)
jle    1187 <ffs2dt+0x37>
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    157d <ffs2dt+0x42d>
cmpq   $0x0,-0x18(%rbp)
je     119c <ffs2dt+0x4c>
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
cmpq   $0x0,-0x20(%rbp)
je     11b1 <ffs2dt+0x61>
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
cmpq   $0x0,-0x28(%rbp)
je     11c6 <ffs2dt+0x76>
mov    -0x28(%rbp),%rax
movl   $0x0,(%rax)
cmpq   $0x0,-0x10(%rbp)
jne    11f3 <ffs2dt+0xa3>
lea    0xe28(%rip),%rdi
call   1060 <ffpmsg@plt>
mov    -0x30(%rbp),%rax
movl   $0x1a4,(%rax)
movl   $0x1a4,-0x4(%rbp)
jmp    157d <ffs2dt+0x42d>
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jne    1356 <ffs2dt+0x206>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x2f,%eax
jne    1356 <ffs2dt+0x206>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x2f,%eax
jne    1356 <ffs2dt+0x206>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1326 <ffs2dt+0x1d6>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1326 <ffs2dt+0x1d6>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1326 <ffs2dt+0x1d6>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1326 <ffs2dt+0x1d6>
mov    -0x10(%rbp),%rax
movsbl 0x6(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1326 <ffs2dt+0x1d6>
mov    -0x10(%rbp),%rax
movsbl 0x7(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1326 <ffs2dt+0x1d6>
mov    -0x10(%rbp),%rdi
add    $0x6,%rdi
call   1070 <atoi@plt>
add    $0x76c,%eax
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rdi
add    $0x3,%rdi
call   1070 <atoi@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x10(%rbp),%rdi
call   1070 <atoi@plt>
mov    %eax,-0x40(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     12f9 <ffs2dt+0x1a9>
mov    -0x38(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
cmpq   $0x0,-0x20(%rbp)
je     130d <ffs2dt+0x1bd>
mov    -0x3c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
cmpq   $0x0,-0x28(%rbp)
je     1321 <ffs2dt+0x1d1>
mov    -0x40(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
jmp    1351 <ffs2dt+0x201>
lea    0xcfa(%rip),%rdi
call   1060 <ffpmsg@plt>
mov    -0x10(%rbp),%rdi
call   1060 <ffpmsg@plt>
mov    -0x30(%rbp),%rax
movl   $0x1a4,(%rax)
movl   $0x1a4,-0x4(%rbp)
jmp    157d <ffs2dt+0x42d>
jmp    154c <ffs2dt+0x3fc>
cmpl   $0xa,-0x34(%rbp)
jl     151c <ffs2dt+0x3cc>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x2d,%eax
jne    151c <ffs2dt+0x3cc>
mov    -0x10(%rbp),%rax
movsbl 0x7(%rax),%eax
cmp    $0x2d,%eax
jne    151c <ffs2dt+0x3cc>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     14ec <ffs2dt+0x39c>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     14ec <ffs2dt+0x39c>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     14ec <ffs2dt+0x39c>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     14ec <ffs2dt+0x39c>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     14ec <ffs2dt+0x39c>
mov    -0x10(%rbp),%rax
movsbl 0x6(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     14ec <ffs2dt+0x39c>
mov    -0x10(%rbp),%rax
movsbl 0x8(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     14ec <ffs2dt+0x39c>
mov    -0x10(%rbp),%rax
movsbl 0x9(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     14ec <ffs2dt+0x39c>
cmpl   $0xa,-0x34(%rbp)
jle    147f <ffs2dt+0x32f>
mov    -0x10(%rbp),%rax
movsbl 0xa(%rax),%eax
cmp    $0x54,%eax
je     147f <ffs2dt+0x32f>
lea    0xbcc(%rip),%rdi
call   1060 <ffpmsg@plt>
mov    -0x10(%rbp),%rdi
call   1060 <ffpmsg@plt>
mov    -0x30(%rbp),%rax
movl   $0x1a4,(%rax)
movl   $0x1a4,-0x4(%rbp)
jmp    157d <ffs2dt+0x42d>
mov    -0x10(%rbp),%rdi
call   1070 <atoi@plt>
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rdi
add    $0x5,%rdi
call   1070 <atoi@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x10(%rbp),%rdi
add    $0x8,%rdi
call   1070 <atoi@plt>
mov    %eax,-0x40(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     14bf <ffs2dt+0x36f>
mov    -0x38(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
cmpq   $0x0,-0x20(%rbp)
je     14d3 <ffs2dt+0x383>
mov    -0x3c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
cmpq   $0x0,-0x28(%rbp)
je     14e7 <ffs2dt+0x397>
mov    -0x40(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
jmp    1517 <ffs2dt+0x3c7>
lea    0xb34(%rip),%rdi
call   1060 <ffpmsg@plt>
mov    -0x10(%rbp),%rdi
call   1060 <ffpmsg@plt>
mov    -0x30(%rbp),%rax
movl   $0x1a4,(%rax)
movl   $0x1a4,-0x4(%rbp)
jmp    157d <ffs2dt+0x42d>
jmp    1547 <ffs2dt+0x3f7>
lea    0xb04(%rip),%rdi
call   1060 <ffpmsg@plt>
mov    -0x10(%rbp),%rdi
call   1060 <ffpmsg@plt>
mov    -0x30(%rbp),%rax
movl   $0x1a4,(%rax)
movl   $0x1a4,-0x4(%rbp)
jmp    157d <ffs2dt+0x42d>
jmp    154c <ffs2dt+0x3fc>
mov    -0x38(%rbp),%edi
mov    -0x3c(%rbp),%esi
mov    -0x40(%rbp),%edx
mov    -0x30(%rbp),%rcx
call   1040 <ffverifydate@plt>
cmp    $0x0,%rax
jle    1574 <ffs2dt+0x424>
lea    0xae7(%rip),%rdi
call   1060 <ffpmsg@plt>
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ffs2dt>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    (%r8),%eax
test   %eax,%eax
jg     13bc <ffs2dt+0x26c>
mov    %r8,%r12
mov    %rcx,%r14
mov    %rdx,%r15
mov    %rsi,%r13
mov    %rdi,%rbx
test   %rsi,%rsi
je     1182 <ffs2dt+0x32>
movl   $0x0,0x0(%r13)
test   %r15,%r15
je     118e <ffs2dt+0x3e>
movl   $0x0,(%r15)
test   %r14,%r14
je     119a <ffs2dt+0x4a>
movl   $0x0,(%r14)
test   %rbx,%rbx
je     12a6 <ffs2dt+0x156>
mov    %rbx,%rdi
call   1050 <strlen@plt>
cmp    $0x8,%eax
jne    12b2 <ffs2dt+0x162>
cmpb   $0x2f,0x2(%rbx)
jne    139b <ffs2dt+0x24b>
cmpb   $0x2f,0x5(%rbx)
jne    139b <ffs2dt+0x24b>
movsbl (%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
movsbl 0x1(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
movsbl 0x3(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
movsbl 0x4(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
movsbl 0x6(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
movsbl 0x7(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
lea    0x3(%rbx),%rax
mov    %rax,(%rsp)
lea    0x6(%rbx),%rdi
call   1070 <atoi@plt>
mov    %eax,%ebp
add    $0x76c,%ebp
mov    (%rsp),%rdi
call   1070 <atoi@plt>
mov    %eax,(%rsp)
mov    %rbx,%rdi
mov    %ebp,%ebx
call   1070 <atoi@plt>
test   %r13,%r13
je     126b <ffs2dt+0x11b>
mov    %ebx,0x0(%r13)
test   %r15,%r15
mov    (%rsp),%ebp
je     1276 <ffs2dt+0x126>
mov    %ebp,(%r15)
test   %r14,%r14
je     127e <ffs2dt+0x12e>
mov    %eax,(%r14)
mov    %ebx,%edi
mov    %ebp,%esi
mov    %eax,%edx
mov    %r12,%rcx
call   1040 <ffverifydate@plt>
test   %rax,%rax
jle    129d <ffs2dt+0x14d>
lea    0xdbe(%rip),%rdi
call   1060 <ffpmsg@plt>
mov    (%r12),%eax
jmp    13bc <ffs2dt+0x26c>
lea    0xd53(%rip),%rdi
jmp    13aa <ffs2dt+0x25a>
mov    %eax,%ebp
cmp    $0xa,%eax
jl     139b <ffs2dt+0x24b>
cmpb   $0x2d,0x4(%rbx)
jne    139b <ffs2dt+0x24b>
cmpb   $0x2d,0x7(%rbx)
jne    139b <ffs2dt+0x24b>
movsbl (%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
movsbl 0x1(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
movsbl 0x2(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
movsbl 0x3(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
movsbl 0x5(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
movsbl 0x6(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
movsbl 0x8(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
movsbl 0x9(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     139b <ffs2dt+0x24b>
cmp    $0xb,%ebp
jb     135b <ffs2dt+0x20b>
cmpb   $0x54,0xa(%rbx)
jne    139b <ffs2dt+0x24b>
lea    0x5(%rbx),%rbp
lea    0x8(%rbx),%rax
mov    %rax,(%rsp)
mov    %rbx,%rdi
call   1070 <atoi@plt>
mov    %eax,%ebx
mov    %rbp,%rdi
call   1070 <atoi@plt>
mov    %eax,%ebp
mov    (%rsp),%rdi
call   1070 <atoi@plt>
test   %r13,%r13
je     138d <ffs2dt+0x23d>
mov    %ebx,0x0(%r13)
test   %r15,%r15
jne    1273 <ffs2dt+0x123>
jmp    1276 <ffs2dt+0x126>
lea    0xc85(%rip),%rdi
call   1060 <ffpmsg@plt>
mov    %rbx,%rdi
call   1060 <ffpmsg@plt>
movl   $0x1a4,(%r12)
mov    $0x1a4,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [39 x i8] c"error: null input date string (ffs2dt)\00"
@.str.1 = [47 x i8] c"input date string has illegal format (ffs2dt):\00"
@.str.2 = [22 x i8] c"invalid date (ffs2dt)\00"
define i32 @ffs2dt(i8* %0, i32* %1, i32* %2, i32* %3, i32* %4) {
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
store i8* %0, i8** %7
store i32* %1, i32** %8
store i32* %2, i32** %9
store i32* %3, i32** %10
store i32* %4, i32** %11
%16 = load i32*, i32** %11
%17 = load i32, i32* %16
%18 = icmp sgt i32 %17, 0
br i1 %18, label %19, label %22
19: ; preds = %5
%20 = load i32*, i32** %11
%21 = load i32, i32* %20
store i32 %21, i32* %6
br label %272
22: ; preds = %5
%23 = load i32*, i32** %8
%24 = icmp ne i32* %23, null
br i1 %24, label %25, label %27
25: ; preds = %22
%26 = load i32*, i32** %8
store i32 0, i32* %26
br label %27
27: ; preds = %25, %22
%28 = load i32*, i32** %9
%29 = icmp ne i32* %28, null
br i1 %29, label %30, label %32
30: ; preds = %27
%31 = load i32*, i32** %9
store i32 0, i32* %31
br label %32
32: ; preds = %30, %27
%33 = load i32*, i32** %10
%34 = icmp ne i32* %33, null
br i1 %34, label %35, label %37
35: ; preds = %32
%36 = load i32*, i32** %10
store i32 0, i32* %36
br label %37
37: ; preds = %35, %32
%38 = load i8*, i8** %7
%39 = icmp ne i8* %38, null
br i1 %39, label %43, label %40
40: ; preds = %37
%41 = call i32 @ffpmsg(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str, i64 0, i64 0))
%42 = load i32*, i32** %11
store i32 420, i32* %42
store i32 420, i32* %6
br label %272
43: ; preds = %37
%44 = load i8*, i8** %7
%45 = call i32 @strlen(i8* %44)
store i32 %45, i32* %12
%46 = load i32, i32* %12
%47 = icmp eq i32 %46, 8
br i1 %47, label %48, label %136
48: ; preds = %43
%49 = load i8*, i8** %7
%50 = getelementptr inbounds i8, i8* %49, i64 2
%51 = load i8, i8* %50
%52 = sext i8 %51 to i32
%53 = icmp eq i32 %52, 47
br i1 %53, label %54, label %136
54: ; preds = %48
%55 = load i8*, i8** %7
%56 = getelementptr inbounds i8, i8* %55, i64 5
%57 = load i8, i8* %56
%58 = sext i8 %57 to i32
%59 = icmp eq i32 %58, 47
br i1 %59, label %60, label %136
60: ; preds = %54
%61 = load i8*, i8** %7
%62 = getelementptr inbounds i8, i8* %61, i64 0
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = call i64 @isdigit(i32 %64)
%66 = icmp ne i64 %65, 0
br i1 %66, label %67, label %130
67: ; preds = %60
%68 = load i8*, i8** %7
%69 = getelementptr inbounds i8, i8* %68, i64 1
%70 = load i8, i8* %69
%71 = sext i8 %70 to i32
%72 = call i64 @isdigit(i32 %71)
%73 = icmp ne i64 %72, 0
br i1 %73, label %74, label %130
74: ; preds = %67
%75 = load i8*, i8** %7
%76 = getelementptr inbounds i8, i8* %75, i64 3
%77 = load i8, i8* %76
%78 = sext i8 %77 to i32
%79 = call i64 @isdigit(i32 %78)
%80 = icmp ne i64 %79, 0
br i1 %80, label %81, label %130
81: ; preds = %74
%82 = load i8*, i8** %7
%83 = getelementptr inbounds i8, i8* %82, i64 4
%84 = load i8, i8* %83
%85 = sext i8 %84 to i32
%86 = call i64 @isdigit(i32 %85)
%87 = icmp ne i64 %86, 0
br i1 %87, label %88, label %130
88: ; preds = %81
%89 = load i8*, i8** %7
%90 = getelementptr inbounds i8, i8* %89, i64 6
%91 = load i8, i8* %90
%92 = sext i8 %91 to i32
%93 = call i64 @isdigit(i32 %92)
%94 = icmp ne i64 %93, 0
br i1 %94, label %95, label %130
95: ; preds = %88
%96 = load i8*, i8** %7
%97 = getelementptr inbounds i8, i8* %96, i64 7
%98 = load i8, i8* %97
%99 = sext i8 %98 to i32
%100 = call i64 @isdigit(i32 %99)
%101 = icmp ne i64 %100, 0
br i1 %101, label %102, label %130
102: ; preds = %95
%103 = load i8*, i8** %7
%104 = getelementptr inbounds i8, i8* %103, i64 6
%105 = call i32 @atoi(i8* %104)
%106 = add nsw i32 %105, 1900
store i32 %106, i32* %13
%107 = load i8*, i8** %7
%108 = getelementptr inbounds i8, i8* %107, i64 3
%109 = call i32 @atoi(i8* %108)
store i32 %109, i32* %14
%110 = load i8*, i8** %7
%111 = call i32 @atoi(i8* %110)
store i32 %111, i32* %15
%112 = load i32*, i32** %8
%113 = icmp ne i32* %112, null
br i1 %113, label %114, label %117
114: ; preds = %102
%115 = load i32, i32* %13
%116 = load i32*, i32** %8
store i32 %115, i32* %116
br label %117
117: ; preds = %114, %102
%118 = load i32*, i32** %9
%119 = icmp ne i32* %118, null
br i1 %119, label %120, label %123
120: ; preds = %117
%121 = load i32, i32* %14
%122 = load i32*, i32** %9
store i32 %121, i32* %122
br label %123
123: ; preds = %120, %117
%124 = load i32*, i32** %10
%125 = icmp ne i32* %124, null
br i1 %125, label %126, label %129
126: ; preds = %123
%127 = load i32, i32* %15
%128 = load i32*, i32** %10
store i32 %127, i32* %128
br label %129
129: ; preds = %126, %123
br label %135
130: ; preds = %95, %88, %81, %74, %67, %60
%131 = call i32 @ffpmsg(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.1, i64 0, i64 0))
%132 = load i8*, i8** %7
%133 = call i32 @ffpmsg(i8* %132)
%134 = load i32*, i32** %11
store i32 420, i32* %134
store i32 420, i32* %6
br label %272
135: ; preds = %129
br label %260
136: ; preds = %54, %48, %43
%137 = load i32, i32* %12
%138 = icmp sge i32 %137, 10
br i1 %138, label %139, label %254
139: ; preds = %136
%140 = load i8*, i8** %7
%141 = getelementptr inbounds i8, i8* %140, i64 4
%142 = load i8, i8* %141
%143 = sext i8 %142 to i32
%144 = icmp eq i32 %143, 45
br i1 %144, label %145, label %254
145: ; preds = %139
%146 = load i8*, i8** %7
%147 = getelementptr inbounds i8, i8* %146, i64 7
%148 = load i8, i8* %147
%149 = sext i8 %148 to i32
%150 = icmp eq i32 %149, 45
br i1 %150, label %151, label %254
151: ; preds = %145
%152 = load i8*, i8** %7
%153 = getelementptr inbounds i8, i8* %152, i64 0
%154 = load i8, i8* %153
%155 = sext i8 %154 to i32
%156 = call i64 @isdigit(i32 %155)
%157 = icmp ne i64 %156, 0
br i1 %157, label %158, label %248
158: ; preds = %151
%159 = load i8*, i8** %7
%160 = getelementptr inbounds i8, i8* %159, i64 1
%161 = load i8, i8* %160
%162 = sext i8 %161 to i32
%163 = call i64 @isdigit(i32 %162)
%164 = icmp ne i64 %163, 0
br i1 %164, label %165, label %248
165: ; preds = %158
%166 = load i8*, i8** %7
%167 = getelementptr inbounds i8, i8* %166, i64 2
%168 = load i8, i8* %167
%169 = sext i8 %168 to i32
%170 = call i64 @isdigit(i32 %169)
%171 = icmp ne i64 %170, 0
br i1 %171, label %172, label %248
172: ; preds = %165
%173 = load i8*, i8** %7
%174 = getelementptr inbounds i8, i8* %173, i64 3
%175 = load i8, i8* %174
%176 = sext i8 %175 to i32
%177 = call i64 @isdigit(i32 %176)
%178 = icmp ne i64 %177, 0
br i1 %178, label %179, label %248
179: ; preds = %172
%180 = load i8*, i8** %7
%181 = getelementptr inbounds i8, i8* %180, i64 5
%182 = load i8, i8* %181
%183 = sext i8 %182 to i32
%184 = call i64 @isdigit(i32 %183)
%185 = icmp ne i64 %184, 0
br i1 %185, label %186, label %248
186: ; preds = %179
%187 = load i8*, i8** %7
%188 = getelementptr inbounds i8, i8* %187, i64 6
%189 = load i8, i8* %188
%190 = sext i8 %189 to i32
%191 = call i64 @isdigit(i32 %190)
%192 = icmp ne i64 %191, 0
br i1 %192, label %193, label %248
193: ; preds = %186
%194 = load i8*, i8** %7
%195 = getelementptr inbounds i8, i8* %194, i64 8
%196 = load i8, i8* %195
%197 = sext i8 %196 to i32
%198 = call i64 @isdigit(i32 %197)
%199 = icmp ne i64 %198, 0
br i1 %199, label %200, label %248
200: ; preds = %193
%201 = load i8*, i8** %7
%202 = getelementptr inbounds i8, i8* %201, i64 9
%203 = load i8, i8* %202
%204 = sext i8 %203 to i32
%205 = call i64 @isdigit(i32 %204)
%206 = icmp ne i64 %205, 0
br i1 %206, label %207, label %248
207: ; preds = %200
%208 = load i32, i32* %12
%209 = icmp sgt i32 %208, 10
br i1 %209, label %210, label %221
210: ; preds = %207
%211 = load i8*, i8** %7
%212 = getelementptr inbounds i8, i8* %211, i64 10
%213 = load i8, i8* %212
%214 = sext i8 %213 to i32
%215 = icmp ne i32 %214, 84
br i1 %215, label %216, label %221
216: ; preds = %210
%217 = call i32 @ffpmsg(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.1, i64 0, i64 0))
%218 = load i8*, i8** %7
%219 = call i32 @ffpmsg(i8* %218)
%220 = load i32*, i32** %11
store i32 420, i32* %220
store i32 420, i32* %6
br label %272
221: ; preds = %210, %207
%222 = load i8*, i8** %7
%223 = call i32 @atoi(i8* %222)
store i32 %223, i32* %13
%224 = load i8*, i8** %7
%225 = getelementptr inbounds i8, i8* %224, i64 5
%226 = call i32 @atoi(i8* %225)
store i32 %226, i32* %14
%227 = load i8*, i8** %7
%228 = getelementptr inbounds i8, i8* %227, i64 8
%229 = call i32 @atoi(i8* %228)
store i32 %229, i32* %15
%230 = load i32*, i32** %8
%231 = icmp ne i32* %230, null
br i1 %231, label %232, label %235
232: ; preds = %221
%233 = load i32, i32* %13
%234 = load i32*, i32** %8
store i32 %233, i32* %234
br label %235
235: ; preds = %232, %221
%236 = load i32*, i32** %9
%237 = icmp ne i32* %236, null
br i1 %237, label %238, label %241
238: ; preds = %235
%239 = load i32, i32* %14
%240 = load i32*, i32** %9
store i32 %239, i32* %240
br label %241
241: ; preds = %238, %235
%242 = load i32*, i32** %10
%243 = icmp ne i32* %242, null
br i1 %243, label %244, label %247
244: ; preds = %241
%245 = load i32, i32* %15
%246 = load i32*, i32** %10
store i32 %245, i32* %246
br label %247
247: ; preds = %244, %241
br label %253
248: ; preds = %200, %193, %186, %179, %172, %165, %158, %151
%249 = call i32 @ffpmsg(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.1, i64 0, i64 0))
%250 = load i8*, i8** %7
%251 = call i32 @ffpmsg(i8* %250)
%252 = load i32*, i32** %11
store i32 420, i32* %252
store i32 420, i32* %6
br label %272
253: ; preds = %247
br label %259
254: ; preds = %145, %139, %136
%255 = call i32 @ffpmsg(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.1, i64 0, i64 0))
%256 = load i8*, i8** %7
%257 = call i32 @ffpmsg(i8* %256)
%258 = load i32*, i32** %11
store i32 420, i32* %258
store i32 420, i32* %6
br label %272
259: ; preds = %253
br label %260
260: ; preds = %259, %135
%261 = load i32, i32* %13
%262 = load i32, i32* %14
%263 = load i32, i32* %15
%264 = load i32*, i32** %11
%265 = call i64 @ffverifydate(i32 %261, i32 %262, i32 %263, i32* %264)
%266 = icmp sgt i64 %265, 0
br i1 %266, label %267, label %269
267: ; preds = %260
%268 = call i32 @ffpmsg(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.2, i64 0, i64 0))
br label %269
269: ; preds = %267, %260
%270 = load i32*, i32** %11
%271 = load i32, i32* %270
store i32 %271, i32* %6
br label %272
272: ; preds = %269, %254, %248, %216, %130, %40, %19
%273 = load i32, i32* %6
ret i32 %273
}

LLVM IR (-O2):
@.str = [39 x i8] c"error: null input date string (ffs2dt)\00"
@.str.1 = [47 x i8] c"input date string has illegal format (ffs2dt):\00"
@.str.2 = [22 x i8] c"invalid date (ffs2dt)\00"
define i32 @ffs2dt(i8* %0, i32* writeonly %1, i32* writeonly %2, i32* writeonly %3, i32* %4) {
%6 = load i32, i32* %4
%7 = icmp sgt i32 %6, 0
br i1 %7, label %173, label %8
8: ; preds = %5
%9 = icmp eq i32* %1, null
br i1 %9, label %11, label %10
10: ; preds = %8
store i32 0, i32* %1
br label %11
11: ; preds = %10, %8
%12 = icmp eq i32* %2, null
br i1 %12, label %14, label %13
13: ; preds = %11
store i32 0, i32* %2
br label %14
14: ; preds = %13, %11
%15 = icmp eq i32* %3, null
br i1 %15, label %17, label %16
16: ; preds = %14
store i32 0, i32* %3
br label %17
17: ; preds = %16, %14
%18 = icmp eq i8* %0, null
br i1 %18, label %19, label %21
19: ; preds = %17
%20 = tail call i32 @ffpmsg(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str, i64 0, i64 0))
store i32 420, i32* %4
br label %173
21: ; preds = %17
%22 = tail call i32 @strlen(i8* %0)
%23 = icmp eq i32 %22, 8
br i1 %23, label %24, label %79
24: ; preds = %21
%25 = getelementptr inbounds i8, i8* %0, i64 2
%26 = load i8, i8* %25
%27 = icmp eq i8 %26, 47
br i1 %27, label %28, label %156
28: ; preds = %24
%29 = getelementptr inbounds i8, i8* %0, i64 5
%30 = load i8, i8* %29
%31 = icmp eq i8 %30, 47
br i1 %31, label %32, label %156
32: ; preds = %28
%33 = load i8, i8* %0
%34 = sext i8 %33 to i32
%35 = tail call i64 @isdigit(i32 %34)
%36 = icmp eq i64 %35, 0
br i1 %36, label %76, label %37
37: ; preds = %32
%38 = getelementptr inbounds i8, i8* %0, i64 1
%39 = load i8, i8* %38
%40 = sext i8 %39 to i32
%41 = tail call i64 @isdigit(i32 %40)
%42 = icmp eq i64 %41, 0
br i1 %42, label %76, label %43
43: ; preds = %37
%44 = getelementptr inbounds i8, i8* %0, i64 3
%45 = load i8, i8* %44
%46 = sext i8 %45 to i32
%47 = tail call i64 @isdigit(i32 %46)
%48 = icmp eq i64 %47, 0
br i1 %48, label %76, label %49
49: ; preds = %43
%50 = getelementptr inbounds i8, i8* %0, i64 4
%51 = load i8, i8* %50
%52 = sext i8 %51 to i32
%53 = tail call i64 @isdigit(i32 %52)
%54 = icmp eq i64 %53, 0
br i1 %54, label %76, label %55
55: ; preds = %49
%56 = getelementptr inbounds i8, i8* %0, i64 6
%57 = load i8, i8* %56
%58 = sext i8 %57 to i32
%59 = tail call i64 @isdigit(i32 %58)
%60 = icmp eq i64 %59, 0
br i1 %60, label %76, label %61
61: ; preds = %55
%62 = getelementptr inbounds i8, i8* %0, i64 7
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = tail call i64 @isdigit(i32 %64)
%66 = icmp eq i64 %65, 0
br i1 %66, label %76, label %67
67: ; preds = %61
%68 = tail call i32 @atoi(i8* %56)
%69 = add nsw i32 %68, 1900
%70 = tail call i32 @atoi(i8* %44)
%71 = tail call i32 @atoi(i8* %0)
br i1 %9, label %73, label %72
72: ; preds = %67
store i32 %69, i32* %1
br label %73
73: ; preds = %72, %67
br i1 %12, label %75, label %74
74: ; preds = %73
store i32 %70, i32* %2
br label %75
75: ; preds = %74, %73
br i1 %15, label %163, label %159
76: ; preds = %61, %55, %49, %43, %37, %32
%77 = tail call i32 @ffpmsg(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.1, i64 0, i64 0))
%78 = tail call i32 @ffpmsg(i8* %0)
store i32 420, i32* %4
br label %173
79: ; preds = %21
%80 = icmp sgt i32 %22, 9
br i1 %80, label %81, label %156
81: ; preds = %79
%82 = getelementptr inbounds i8, i8* %0, i64 4
%83 = load i8, i8* %82
%84 = icmp eq i8 %83, 45
br i1 %84, label %85, label %156
85: ; preds = %81
%86 = getelementptr inbounds i8, i8* %0, i64 7
%87 = load i8, i8* %86
%88 = icmp eq i8 %87, 45
br i1 %88, label %89, label %156
89: ; preds = %85
%90 = load i8, i8* %0
%91 = sext i8 %90 to i32
%92 = tail call i64 @isdigit(i32 %91)
%93 = icmp eq i64 %92, 0
br i1 %93, label %153, label %94
94: ; preds = %89
%95 = getelementptr inbounds i8, i8* %0, i64 1
%96 = load i8, i8* %95
%97 = sext i8 %96 to i32
%98 = tail call i64 @isdigit(i32 %97)
%99 = icmp eq i64 %98, 0
br i1 %99, label %153, label %100
100: ; preds = %94
%101 = getelementptr inbounds i8, i8* %0, i64 2
%102 = load i8, i8* %101
%103 = sext i8 %102 to i32
%104 = tail call i64 @isdigit(i32 %103)
%105 = icmp eq i64 %104, 0
br i1 %105, label %153, label %106
106: ; preds = %100
%107 = getelementptr inbounds i8, i8* %0, i64 3
%108 = load i8, i8* %107
%109 = sext i8 %108 to i32
%110 = tail call i64 @isdigit(i32 %109)
%111 = icmp eq i64 %110, 0
br i1 %111, label %153, label %112
112: ; preds = %106
%113 = getelementptr inbounds i8, i8* %0, i64 5
%114 = load i8, i8* %113
%115 = sext i8 %114 to i32
%116 = tail call i64 @isdigit(i32 %115)
%117 = icmp eq i64 %116, 0
br i1 %117, label %153, label %118
118: ; preds = %112
%119 = getelementptr inbounds i8, i8* %0, i64 6
%120 = load i8, i8* %119
%121 = sext i8 %120 to i32
%122 = tail call i64 @isdigit(i32 %121)
%123 = icmp eq i64 %122, 0
br i1 %123, label %153, label %124
124: ; preds = %118
%125 = getelementptr inbounds i8, i8* %0, i64 8
%126 = load i8, i8* %125
%127 = sext i8 %126 to i32
%128 = tail call i64 @isdigit(i32 %127)
%129 = icmp eq i64 %128, 0
br i1 %129, label %153, label %130
130: ; preds = %124
%131 = getelementptr inbounds i8, i8* %0, i64 9
%132 = load i8, i8* %131
%133 = sext i8 %132 to i32
%134 = tail call i64 @isdigit(i32 %133)
%135 = icmp eq i64 %134, 0
br i1 %135, label %153, label %136
136: ; preds = %130
%137 = icmp ugt i32 %22, 10
br i1 %137, label %138, label %145
138: ; preds = %136
%139 = getelementptr inbounds i8, i8* %0, i64 10
%140 = load i8, i8* %139
%141 = icmp eq i8 %140, 84
br i1 %141, label %145, label %142
142: ; preds = %138
%143 = tail call i32 @ffpmsg(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.1, i64 0, i64 0))
%144 = tail call i32 @ffpmsg(i8* %0)
store i32 420, i32* %4
br label %173
145: ; preds = %138, %136
%146 = tail call i32 @atoi(i8* %0)
%147 = tail call i32 @atoi(i8* %113)
%148 = tail call i32 @atoi(i8* %125)
br i1 %9, label %150, label %149
149: ; preds = %145
store i32 %146, i32* %1
br label %150
150: ; preds = %149, %145
br i1 %12, label %152, label %151
151: ; preds = %150
store i32 %147, i32* %2
br label %152
152: ; preds = %151, %150
br i1 %15, label %163, label %159
153: ; preds = %130, %124, %118, %112, %106, %100, %94, %89
%154 = tail call i32 @ffpmsg(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.1, i64 0, i64 0))
%155 = tail call i32 @ffpmsg(i8* %0)
store i32 420, i32* %4
br label %173
156: ; preds = %24, %28, %85, %81, %79
%157 = tail call i32 @ffpmsg(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.1, i64 0, i64 0))
%158 = tail call i32 @ffpmsg(i8* %0)
store i32 420, i32* %4
br label %173
159: ; preds = %152, %75
%160 = phi i32 [ %71, %75 ], [ %148, %152 ]
%161 = phi i32 [ %69, %75 ], [ %146, %152 ]
%162 = phi i32 [ %70, %75 ], [ %147, %152 ]
store i32 %160, i32* %3
br label %163
163: ; preds = %159, %152, %75
%164 = phi i32 [ %69, %75 ], [ %146, %152 ], [ %161, %159 ]
%165 = phi i32 [ %70, %75 ], [ %147, %152 ], [ %162, %159 ]
%166 = phi i32 [ %71, %75 ], [ %148, %152 ], [ %160, %159 ]
%167 = tail call i64 @ffverifydate(i32 %164, i32 %165, i32 %166, i32* %4)
%168 = icmp sgt i64 %167, 0
br i1 %168, label %169, label %171
169: ; preds = %163
%170 = tail call i32 @ffpmsg(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.2, i64 0, i64 0))
br label %171
171: ; preds = %169, %163
%172 = load i32, i32* %4
br label %173
173: ; preds = %5, %171, %156, %153, %142, %76, %19
%174 = phi i32 [ %172, %171 ], [ 420, %76 ], [ 420, %142 ], [ 420, %153 ], [ 420, %156 ], [ 420, %19 ], [ %6, %5 ]
ret i32 %174
}