int isdate(char *c) {
  int i = 0;
  while (*(c + i) != '\0') {
    if ((*(c + i) >= 48 && *(c + i) <= 57) && (i != 4) && (i != 7) && (i < 10))
      i++;
    else if ((i == 4 && (*(c + i) == '-')) || (i == 7 && (*(c + i) == '-')))
      i++;
    else
      break;
  }
  if (*(c + i) == '\0' && i == 10)
    return 1;
  else
    return 0;
}


x86 assembly (clang, -O0):
<isdate>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     11d5 <isdate+0xd5>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     117a <isdate+0x7a>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     117a <isdate+0x7a>
cmpl   $0x4,-0x14(%rbp)
je     117a <isdate+0x7a>
cmpl   $0x7,-0x14(%rbp)
je     117a <isdate+0x7a>
cmpl   $0xa,-0x14(%rbp)
jge    117a <isdate+0x7a>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11d0 <isdate+0xd0>
cmpl   $0x4,-0x14(%rbp)
jne    1199 <isdate+0x99>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
je     11b8 <isdate+0xb8>
cmpl   $0x7,-0x14(%rbp)
jne    11c6 <isdate+0xc6>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
jne    11c6 <isdate+0xc6>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11cb <isdate+0xcb>
jmp    11d5 <isdate+0xd5>
jmp    11d0 <isdate+0xd0>
jmp    110f <isdate+0xf>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    1200 <isdate+0x100>
cmpl   $0xa,-0x14(%rbp)
jne    1200 <isdate+0x100>
movl   $0x1,-0x4(%rbp)
jmp    1207 <isdate+0x107>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isdate>:
mov    (%rdi),%dl
mov    $0x1,%al
xor    %ecx,%ecx
jmp    111e <isdate+0x1e>
nopl   0x0(%rax,%rax,1)
cmp    $0x2d,%dl
jne    1156 <isdate+0x56>
movzbl 0x1(%rdi,%rcx,1),%edx
add    $0x1,%rcx
test   %dl,%dl
je     115d <isdate+0x5d>
cmp    $0x30,%dl
jl     1140 <isdate+0x40>
cmp    $0x39,%dl
ja     1140 <isdate+0x40>
cmp    $0x4,%rcx
je     1140 <isdate+0x40>
cmp    $0x7,%rcx
je     1140 <isdate+0x40>
cmp    $0xa,%rcx
jb     1115 <isdate+0x15>
xchg   %ax,%ax
cmp    $0x7,%ecx
je     1110 <isdate+0x10>
cmp    $0x4,%ecx
jne    115b <isdate+0x5b>
cmp    $0x2d,%dl
je     1115 <isdate+0x15>
mov    $0x4,%ecx
jmp    115b <isdate+0x5b>
mov    $0x7,%ecx
xor    %eax,%eax
cmp    $0xa,%ecx
sete   %cl
and    %al,%cl
movzbl %cl,%eax
ret

LLVM IR (-O0):
define i32 @isdate(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
store i8* %0, i8** %3
store i32 0, i32* %4
br label %5
5: ; preds = %68, %1
%6 = load i8*, i8** %3
%7 = load i32, i32* %4
%8 = sext i32 %7 to i64
%9 = getelementptr inbounds i8, i8* %6, i64 %8
%10 = load i8, i8* %9
%11 = sext i8 %10 to i32
%12 = icmp ne i32 %11, 0
br i1 %12, label %13, label %69
13: ; preds = %5
%14 = load i8*, i8** %3
%15 = load i32, i32* %4
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %14, i64 %16
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = icmp sge i32 %19, 48
br i1 %20, label %21, label %41
21: ; preds = %13
%22 = load i8*, i8** %3
%23 = load i32, i32* %4
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %22, i64 %24
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = icmp sle i32 %27, 57
br i1 %28, label %29, label %41
29: ; preds = %21
%30 = load i32, i32* %4
%31 = icmp ne i32 %30, 4
br i1 %31, label %32, label %41
32: ; preds = %29
%33 = load i32, i32* %4
%34 = icmp ne i32 %33, 7
br i1 %34, label %35, label %41
35: ; preds = %32
%36 = load i32, i32* %4
%37 = icmp slt i32 %36, 10
br i1 %37, label %38, label %41
38: ; preds = %35
%39 = load i32, i32* %4
%40 = add nsw i32 %39, 1
store i32 %40, i32* %4
br label %68
41: ; preds = %35, %32, %29, %21, %13
%42 = load i32, i32* %4
%43 = icmp eq i32 %42, 4
br i1 %43, label %44, label %52
44: ; preds = %41
%45 = load i8*, i8** %3
%46 = load i32, i32* %4
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i8, i8* %45, i64 %47
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = icmp eq i32 %50, 45
br i1 %51, label %63, label %52
52: ; preds = %44, %41
%53 = load i32, i32* %4
%54 = icmp eq i32 %53, 7
br i1 %54, label %55, label %66
55: ; preds = %52
%56 = load i8*, i8** %3
%57 = load i32, i32* %4
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i8, i8* %56, i64 %58
%60 = load i8, i8* %59
%61 = sext i8 %60 to i32
%62 = icmp eq i32 %61, 45
br i1 %62, label %63, label %66
63: ; preds = %55, %44
%64 = load i32, i32* %4
%65 = add nsw i32 %64, 1
store i32 %65, i32* %4
br label %67
66: ; preds = %55, %52
br label %69
67: ; preds = %63
br label %68
68: ; preds = %67, %38
br label %5
69: ; preds = %66, %5
%70 = load i8*, i8** %3
%71 = load i32, i32* %4
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %70, i64 %72
%74 = load i8, i8* %73
%75 = sext i8 %74 to i32
%76 = icmp eq i32 %75, 0
br i1 %76, label %77, label %81
77: ; preds = %69
%78 = load i32, i32* %4
%79 = icmp eq i32 %78, 10
br i1 %79, label %80, label %81
80: ; preds = %77
store i32 1, i32* %2
br label %82
81: ; preds = %77, %69
store i32 0, i32* %2
br label %82
82: ; preds = %81, %80
%83 = load i32, i32* %2
ret i32 %83
}

LLVM IR (-O2):
define i32 @isdate(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %31, label %4
4: ; preds = %1, %23
%5 = phi i64 [ %24, %23 ], [ 0, %1 ]
%6 = phi i8 [ %27, %23 ], [ %2, %1 ]
%7 = phi i32 [ %25, %23 ], [ 0, %1 ]
%8 = icmp sgt i8 %6, 47
br i1 %8, label %9, label %17
9: ; preds = %4
%10 = icmp ult i8 %6, 58
%11 = icmp ne i64 %5, 4
%12 = select i1 %10, i1 %11, i1 false
%13 = icmp ne i64 %5, 7
%14 = select i1 %12, i1 %13, i1 false
%15 = icmp ult i64 %5, 10
%16 = select i1 %14, i1 %15, i1 false
br i1 %16, label %23, label %17
17: ; preds = %9, %4
%18 = trunc i64 %5 to i32
switch i32 %18, label %29 [
i32 4, label %19
i32 7, label %21
]
19: ; preds = %17
%20 = icmp eq i8 %6, 45
br i1 %20, label %23, label %31
21: ; preds = %17
%22 = icmp eq i8 %6, 45
br i1 %22, label %23, label %31
23: ; preds = %19, %21, %9
%24 = add nuw i64 %5, 1
%25 = add nuw nsw i32 %7, 1
%26 = getelementptr inbounds i8, i8* %0, i64 %24
%27 = load i8, i8* %26
%28 = icmp eq i8 %27, 0
br i1 %28, label %31, label %4
29: ; preds = %17
%30 = trunc i64 %5 to i32
br label %31
31: ; preds = %19, %21, %23, %29, %1
%32 = phi i32 [ 0, %1 ], [ %30, %29 ], [ 4, %19 ], [ 7, %21 ], [ %25, %23 ]
%33 = phi i1 [ true, %1 ], [ false, %29 ], [ false, %19 ], [ false, %21 ], [ true, %23 ]
%34 = icmp eq i32 %32, 10
%35 = select i1 %33, i1 %34, i1 false
%36 = zext i1 %35 to i32
ret i32 %36
}