#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__ isdigit(char);
int is_valid(char *egn, int l) {
  int month;
  int day;
  int year;
  int control_number = 0;
  year = egn[0] - 48;
  year = year * 10 + (egn[1] - 48);
  month = egn[2] - 48;
  month = month * 10 + (egn[3] - 48);
  day = egn[4] - 48;
  day = day * 10 + (egn[5] - 48);
  if (l != 10)
    return 0;
  if (isdigit(*egn)) {
    if ((month >= 13 && month <= 33) || (month >= 13 && month <= 53))
      return 0;
    if (day >= 32)
      return 0;
    switch (month) {
    case 1:
    case 21:
    case 23:
    case 25:
    case 27:
    case 28:
    case 30:
    case 32:
    case 41:
    case 43:
    case 45:
    case 47:
    case 48:
    case 50:
    case 52:
    case 3:
    case 5:
    case 7:
    case 8:
    case 10:
    case 12:
      if (day > 31)
        return 0;
    case 22:
    case 42:
    case 2:
      if (year % 4 == 0) {
        if (day > 29)
          return 0;
      } else if (day > 28)
        return 0;
    default:
      if (day > 30)
        return 0;
    }
    control_number = (egn[0] - 48) * 2;
    control_number += (egn[1] - 48) * 4;
    control_number += (egn[2] - 48) * 8;
    control_number += (egn[3] - 48) * 5;
    control_number += (egn[4] - 48) * 10;
    control_number += (egn[5] - 48) * 9;
    control_number += (egn[6] - 48) * 7;
    control_number += (egn[7] - 48) * 3;
    control_number += (egn[8] - 48) * 6;
    if (control_number % 11 < 10)
      control_number = control_number % 11;
    else
      control_number = 0;
    if (egn[9] - 48 != control_number)
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<is_valid>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %eax,-0x20(%rbp)
imul   $0xa,-0x20(%rbp),%eax
mov    -0x10(%rbp),%rcx
movsbl 0x1(%rcx),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
sub    $0x30,%eax
mov    %eax,-0x18(%rbp)
imul   $0xa,-0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movsbl 0x3(%rcx),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
sub    $0x30,%eax
mov    %eax,-0x1c(%rbp)
imul   $0xa,-0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
movsbl 0x5(%rcx),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0xa,-0x14(%rbp)
je     11a1 <is_valid+0x91>
movl   $0x0,-0x4(%rbp)
jmp    1501 <is_valid+0x3f1>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     14fa <is_valid+0x3ea>
cmpl   $0xd,-0x18(%rbp)
jl     11cb <is_valid+0xbb>
cmpl   $0x21,-0x18(%rbp)
jle    11df <is_valid+0xcf>
cmpl   $0xd,-0x18(%rbp)
jl     11eb <is_valid+0xdb>
cmpl   $0x35,-0x18(%rbp)
jg     11eb <is_valid+0xdb>
movl   $0x0,-0x4(%rbp)
jmp    1501 <is_valid+0x3f1>
cmpl   $0x20,-0x1c(%rbp)
jl     1201 <is_valid+0xf1>
movl   $0x0,-0x4(%rbp)
jmp    1501 <is_valid+0x3f1>
mov    -0x18(%rbp),%eax
mov    %eax,-0x28(%rbp)
sub    $0x1,%eax
je     1372 <is_valid+0x262>
jmp    1215 <is_valid+0x105>
mov    -0x28(%rbp),%eax
sub    $0x2,%eax
je     138d <is_valid+0x27d>
jmp    1226 <is_valid+0x116>
mov    -0x28(%rbp),%eax
sub    $0x3,%eax
je     1372 <is_valid+0x262>
jmp    1237 <is_valid+0x127>
mov    -0x28(%rbp),%eax
sub    $0x5,%eax
je     1372 <is_valid+0x262>
jmp    1248 <is_valid+0x138>
mov    -0x28(%rbp),%eax
add    $0xfffffff9,%eax
sub    $0x2,%eax
jb     1372 <is_valid+0x262>
jmp    125c <is_valid+0x14c>
mov    -0x28(%rbp),%eax
sub    $0xa,%eax
je     1372 <is_valid+0x262>
jmp    126d <is_valid+0x15d>
mov    -0x28(%rbp),%eax
sub    $0xc,%eax
je     1372 <is_valid+0x262>
jmp    127e <is_valid+0x16e>
mov    -0x28(%rbp),%eax
sub    $0x15,%eax
je     1372 <is_valid+0x262>
jmp    128f <is_valid+0x17f>
mov    -0x28(%rbp),%eax
sub    $0x16,%eax
je     138d <is_valid+0x27d>
jmp    12a0 <is_valid+0x190>
mov    -0x28(%rbp),%eax
sub    $0x17,%eax
je     1372 <is_valid+0x262>
jmp    12b1 <is_valid+0x1a1>
mov    -0x28(%rbp),%eax
sub    $0x19,%eax
je     1372 <is_valid+0x262>
jmp    12c2 <is_valid+0x1b2>
mov    -0x28(%rbp),%eax
add    $0xffffffe5,%eax
sub    $0x2,%eax
jb     1372 <is_valid+0x262>
jmp    12d6 <is_valid+0x1c6>
mov    -0x28(%rbp),%eax
sub    $0x1e,%eax
je     1372 <is_valid+0x262>
jmp    12e7 <is_valid+0x1d7>
mov    -0x28(%rbp),%eax
sub    $0x20,%eax
je     1372 <is_valid+0x262>
jmp    12f8 <is_valid+0x1e8>
mov    -0x28(%rbp),%eax
sub    $0x29,%eax
je     1372 <is_valid+0x262>
jmp    1309 <is_valid+0x1f9>
mov    -0x28(%rbp),%eax
sub    $0x2a,%eax
je     138d <is_valid+0x27d>
jmp    131a <is_valid+0x20a>
mov    -0x28(%rbp),%eax
sub    $0x2b,%eax
je     1372 <is_valid+0x262>
jmp    132b <is_valid+0x21b>
mov    -0x28(%rbp),%eax
sub    $0x2d,%eax
je     1372 <is_valid+0x262>
jmp    133c <is_valid+0x22c>
mov    -0x28(%rbp),%eax
add    $0xffffffd1,%eax
sub    $0x2,%eax
jb     1372 <is_valid+0x262>
jmp    1350 <is_valid+0x240>
mov    -0x28(%rbp),%eax
sub    $0x32,%eax
je     1372 <is_valid+0x262>
jmp    1361 <is_valid+0x251>
mov    -0x28(%rbp),%eax
sub    $0x34,%eax
jne    13dc <is_valid+0x2cc>
jmp    1372 <is_valid+0x262>
cmpl   $0x1f,-0x1c(%rbp)
jle    1388 <is_valid+0x278>
movl   $0x0,-0x4(%rbp)
jmp    1501 <is_valid+0x3f1>
jmp    138d <is_valid+0x27d>
mov    -0x20(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    13bc <is_valid+0x2ac>
cmpl   $0x1d,-0x1c(%rbp)
jle    13b7 <is_valid+0x2a7>
movl   $0x0,-0x4(%rbp)
jmp    1501 <is_valid+0x3f1>
jmp    13d7 <is_valid+0x2c7>
cmpl   $0x1c,-0x1c(%rbp)
jle    13d2 <is_valid+0x2c2>
movl   $0x0,-0x4(%rbp)
jmp    1501 <is_valid+0x3f1>
jmp    13d7 <is_valid+0x2c7>
jmp    13dc <is_valid+0x2cc>
cmpl   $0x1e,-0x1c(%rbp)
jle    13f2 <is_valid+0x2e2>
movl   $0x0,-0x4(%rbp)
jmp    1501 <is_valid+0x3f1>
jmp    13f7 <is_valid+0x2e7>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
shl    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
sub    $0x30,%eax
shl    $0x2,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
sub    $0x30,%eax
shl    $0x3,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
sub    $0x30,%eax
imul   $0x5,%eax,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
sub    $0x30,%eax
imul   $0xa,%eax,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
sub    $0x30,%eax
imul   $0x9,%eax,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x6(%rax),%eax
sub    $0x30,%eax
imul   $0x7,%eax,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x7(%rax),%eax
sub    $0x30,%eax
imul   $0x3,%eax,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x8(%rax),%eax
sub    $0x30,%eax
imul   $0x6,%eax,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    $0xb,%ecx
cltd
idiv   %ecx
cmp    $0xa,%edx
jge    14ce <is_valid+0x3be>
mov    -0x24(%rbp),%eax
mov    $0xb,%ecx
cltd
idiv   %ecx
mov    %edx,-0x24(%rbp)
jmp    14d5 <is_valid+0x3c5>
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x9(%rax),%eax
sub    $0x30,%eax
cmp    -0x24(%rbp),%eax
je     14f5 <is_valid+0x3e5>
movl   $0x0,-0x4(%rbp)
jmp    1501 <is_valid+0x3f1>
jmp    14fa <is_valid+0x3ea>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_valid>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
xor    %ebp,%ebp
cmp    $0xa,%esi
jne    1271 <is_valid+0x161>
mov    %rdi,%rbx
movzbl (%rdi),%r15d
movzbl 0x1(%rdi),%eax
mov    %rax,0x8(%rsp)
movsbl 0x2(%rdi),%r12d
movsbl 0x3(%rdi),%r14d
movsbl 0x4(%rdi),%r13d
movsbl 0x5(%rdi),%eax
mov    %rax,0x10(%rsp)
movsbl %r15b,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     126c <is_valid+0x15c>
lea    (%r12,%r12,4),%eax
lea    (%r14,%rax,2),%ecx
lea    -0x21d(%rcx),%eax
cmp    $0x29,%eax
jb     1271 <is_valid+0x161>
lea    0x0(%r13,%r13,4),%eax
mov    0x10(%rsp),%rdx
lea    (%rdx,%rax,2),%eax
cmp    $0x22f,%eax
jg     1271 <is_valid+0x161>
add    $0xfffffdef,%ecx
cmp    $0x33,%ecx
ja     1282 <is_valid+0x172>
movabs $0xad700ad700ad7,%rdx
bt     %rcx,%rdx
jae    1282 <is_valid+0x172>
lea    (%r15,%r15,4),%ecx
mov    0x8(%rsp),%rdx
lea    (%rdx,%rcx,2),%ecx
test   $0x3,%cl
je     11d2 <is_valid+0xc2>
cmp    $0x22c,%eax
jle    11dd <is_valid+0xcd>
jmp    1271 <is_valid+0x161>
cmp    $0x22d,%eax
jg     1271 <is_valid+0x161>
movsbl (%rbx),%r8d
movsbl 0x1(%rbx),%ecx
shl    $0x2,%ecx
movsbl 0x2(%rbx),%r9d
movsbl 0x3(%rbx),%esi
lea    (%rsi,%rsi,4),%r10d
movsbl 0x4(%rbx),%edi
lea    (%rdi,%rdi,4),%edi
movsbl 0x5(%rbx),%ebp
lea    0x0(%rbp,%rbp,8),%ebp
movsbl 0x6(%rbx),%eax
lea    0x0(,%rax,8),%edx
sub    %eax,%edx
movsbl 0x7(%rbx),%eax
lea    (%rax,%rax,2),%eax
movsbl 0x8(%rbx),%esi
lea    (%rsi,%rsi,2),%esi
lea    (%rcx,%r8,2),%ecx
lea    (%rcx,%r9,8),%ecx
add    %r10d,%ecx
lea    (%rcx,%rdi,2),%ecx
add    %ebp,%ecx
add    %edx,%ecx
add    %eax,%ecx
lea    (%rcx,%rsi,2),%eax
add    $0xfffff5e0,%eax
cltq
imul   $0x2e8ba2e9,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x21,%rcx
add    %edx,%ecx
lea    (%rcx,%rcx,4),%edx
lea    (%rcx,%rdx,2),%ecx
sub    %ecx,%eax
xor    %ebp,%ebp
cmp    $0xa,%eax
cmovge %ebp,%eax
movsbl 0x9(%rbx),%ecx
add    $0xffffffd0,%ecx
cmp    %eax,%ecx
jne    1271 <is_valid+0x161>
mov    $0x1,%ebp
mov    %ebp,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x22e,%eax
jle    11dd <is_valid+0xcd>
jmp    1271 <is_valid+0x161>

LLVM IR (-O0):
define i32 @is_valid(i8* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
store i32 0, i32* %9
%10 = load i8*, i8** %4
%11 = getelementptr inbounds i8, i8* %10, i64 0
%12 = load i8, i8* %11
%13 = sext i8 %12 to i32
%14 = sub nsw i32 %13, 48
store i32 %14, i32* %8
%15 = load i32, i32* %8
%16 = mul nsw i32 %15, 10
%17 = load i8*, i8** %4
%18 = getelementptr inbounds i8, i8* %17, i64 1
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = sub nsw i32 %20, 48
%22 = add nsw i32 %16, %21
store i32 %22, i32* %8
%23 = load i8*, i8** %4
%24 = getelementptr inbounds i8, i8* %23, i64 2
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = sub nsw i32 %26, 48
store i32 %27, i32* %6
%28 = load i32, i32* %6
%29 = mul nsw i32 %28, 10
%30 = load i8*, i8** %4
%31 = getelementptr inbounds i8, i8* %30, i64 3
%32 = load i8, i8* %31
%33 = sext i8 %32 to i32
%34 = sub nsw i32 %33, 48
%35 = add nsw i32 %29, %34
store i32 %35, i32* %6
%36 = load i8*, i8** %4
%37 = getelementptr inbounds i8, i8* %36, i64 4
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = sub nsw i32 %39, 48
store i32 %40, i32* %7
%41 = load i32, i32* %7
%42 = mul nsw i32 %41, 10
%43 = load i8*, i8** %4
%44 = getelementptr inbounds i8, i8* %43, i64 5
%45 = load i8, i8* %44
%46 = sext i8 %45 to i32
%47 = sub nsw i32 %46, 48
%48 = add nsw i32 %42, %47
store i32 %48, i32* %7
%49 = load i32, i32* %5
%50 = icmp ne i32 %49, 10
br i1 %50, label %51, label %52
51: ; preds = %2
store i32 0, i32* %3
br label %190
52: ; preds = %2
%53 = load i8*, i8** %4
%54 = load i8, i8* %53
%55 = call i64 @isdigit(i8 signext %54)
%56 = icmp ne i64 %55, 0
br i1 %56, label %57, label %189
57: ; preds = %52
%58 = load i32, i32* %6
%59 = icmp sge i32 %58, 13
br i1 %59, label %60, label %63
60: ; preds = %57
%61 = load i32, i32* %6
%62 = icmp sle i32 %61, 33
br i1 %62, label %69, label %63
63: ; preds = %60, %57
%64 = load i32, i32* %6
%65 = icmp sge i32 %64, 13
br i1 %65, label %66, label %70
66: ; preds = %63
%67 = load i32, i32* %6
%68 = icmp sle i32 %67, 53
br i1 %68, label %69, label %70
69: ; preds = %66, %60
store i32 0, i32* %3
br label %190
70: ; preds = %66, %63
%71 = load i32, i32* %7
%72 = icmp sge i32 %71, 32
br i1 %72, label %73, label %74
73: ; preds = %70
store i32 0, i32* %3
br label %190
74: ; preds = %70
%75 = load i32, i32* %6
switch i32 %75, label %96 [
i32 1, label %76
i32 21, label %76
i32 23, label %76
i32 25, label %76
i32 27, label %76
i32 28, label %76
i32 30, label %76
i32 32, label %76
i32 41, label %76
i32 43, label %76
i32 45, label %76
i32 47, label %76
i32 48, label %76
i32 50, label %76
i32 52, label %76
i32 3, label %76
i32 5, label %76
i32 7, label %76
i32 8, label %76
i32 10, label %76
i32 12, label %76
i32 22, label %81
i32 42, label %81
i32 2, label %81
]
76: ; preds = %74, %74, %74, %74, %74, %74, %74, %74, %74, %74, %74, %74, %74, %74, %74, %74, %74, %74, %74, %74, %74
%77 = load i32, i32* %7
%78 = icmp sgt i32 %77, 31
br i1 %78, label %79, label %80
79: ; preds = %76
store i32 0, i32* %3
br label %190
80: ; preds = %76
br label %81
81: ; preds = %74, %74, %74, %80
%82 = load i32, i32* %8
%83 = srem i32 %82, 4
%84 = icmp eq i32 %83, 0
br i1 %84, label %85, label %90
85: ; preds = %81
%86 = load i32, i32* %7
%87 = icmp sgt i32 %86, 29
br i1 %87, label %88, label %89
88: ; preds = %85
store i32 0, i32* %3
br label %190
89: ; preds = %85
br label %95
90: ; preds = %81
%91 = load i32, i32* %7
%92 = icmp sgt i32 %91, 28
br i1 %92, label %93, label %94
93: ; preds = %90
store i32 0, i32* %3
br label %190
94: ; preds = %90
br label %95
95: ; preds = %94, %89
br label %96
96: ; preds = %74, %95
%97 = load i32, i32* %7
%98 = icmp sgt i32 %97, 30
br i1 %98, label %99, label %100
99: ; preds = %96
store i32 0, i32* %3
br label %190
100: ; preds = %96
br label %101
101: ; preds = %100
%102 = load i8*, i8** %4
%103 = getelementptr inbounds i8, i8* %102, i64 0
%104 = load i8, i8* %103
%105 = sext i8 %104 to i32
%106 = sub nsw i32 %105, 48
%107 = mul nsw i32 %106, 2
store i32 %107, i32* %9
%108 = load i8*, i8** %4
%109 = getelementptr inbounds i8, i8* %108, i64 1
%110 = load i8, i8* %109
%111 = sext i8 %110 to i32
%112 = sub nsw i32 %111, 48
%113 = mul nsw i32 %112, 4
%114 = load i32, i32* %9
%115 = add nsw i32 %114, %113
store i32 %115, i32* %9
%116 = load i8*, i8** %4
%117 = getelementptr inbounds i8, i8* %116, i64 2
%118 = load i8, i8* %117
%119 = sext i8 %118 to i32
%120 = sub nsw i32 %119, 48
%121 = mul nsw i32 %120, 8
%122 = load i32, i32* %9
%123 = add nsw i32 %122, %121
store i32 %123, i32* %9
%124 = load i8*, i8** %4
%125 = getelementptr inbounds i8, i8* %124, i64 3
%126 = load i8, i8* %125
%127 = sext i8 %126 to i32
%128 = sub nsw i32 %127, 48
%129 = mul nsw i32 %128, 5
%130 = load i32, i32* %9
%131 = add nsw i32 %130, %129
store i32 %131, i32* %9
%132 = load i8*, i8** %4
%133 = getelementptr inbounds i8, i8* %132, i64 4
%134 = load i8, i8* %133
%135 = sext i8 %134 to i32
%136 = sub nsw i32 %135, 48
%137 = mul nsw i32 %136, 10
%138 = load i32, i32* %9
%139 = add nsw i32 %138, %137
store i32 %139, i32* %9
%140 = load i8*, i8** %4
%141 = getelementptr inbounds i8, i8* %140, i64 5
%142 = load i8, i8* %141
%143 = sext i8 %142 to i32
%144 = sub nsw i32 %143, 48
%145 = mul nsw i32 %144, 9
%146 = load i32, i32* %9
%147 = add nsw i32 %146, %145
store i32 %147, i32* %9
%148 = load i8*, i8** %4
%149 = getelementptr inbounds i8, i8* %148, i64 6
%150 = load i8, i8* %149
%151 = sext i8 %150 to i32
%152 = sub nsw i32 %151, 48
%153 = mul nsw i32 %152, 7
%154 = load i32, i32* %9
%155 = add nsw i32 %154, %153
store i32 %155, i32* %9
%156 = load i8*, i8** %4
%157 = getelementptr inbounds i8, i8* %156, i64 7
%158 = load i8, i8* %157
%159 = sext i8 %158 to i32
%160 = sub nsw i32 %159, 48
%161 = mul nsw i32 %160, 3
%162 = load i32, i32* %9
%163 = add nsw i32 %162, %161
store i32 %163, i32* %9
%164 = load i8*, i8** %4
%165 = getelementptr inbounds i8, i8* %164, i64 8
%166 = load i8, i8* %165
%167 = sext i8 %166 to i32
%168 = sub nsw i32 %167, 48
%169 = mul nsw i32 %168, 6
%170 = load i32, i32* %9
%171 = add nsw i32 %170, %169
store i32 %171, i32* %9
%172 = load i32, i32* %9
%173 = srem i32 %172, 11
%174 = icmp slt i32 %173, 10
br i1 %174, label %175, label %178
175: ; preds = %101
%176 = load i32, i32* %9
%177 = srem i32 %176, 11
store i32 %177, i32* %9
br label %179
178: ; preds = %101
store i32 0, i32* %9
br label %179
179: ; preds = %178, %175
%180 = load i8*, i8** %4
%181 = getelementptr inbounds i8, i8* %180, i64 9
%182 = load i8, i8* %181
%183 = sext i8 %182 to i32
%184 = sub nsw i32 %183, 48
%185 = load i32, i32* %9
%186 = icmp ne i32 %184, %185
br i1 %186, label %187, label %188
187: ; preds = %179
store i32 0, i32* %3
br label %190
188: ; preds = %179
br label %189
189: ; preds = %188, %52
store i32 1, i32* %3
br label %190
190: ; preds = %189, %187, %99, %93, %88, %79, %73, %69, %51
%191 = load i32, i32* %3
ret i32 %191
}

LLVM IR (-O2):
define i32 @is_valid(i8* nocapture %0, i32 %1) {
%3 = load i8, i8* %0
%4 = zext i8 %3 to i32
%5 = mul nuw nsw i32 %4, 10
%6 = getelementptr inbounds i8, i8* %0, i64 1
%7 = load i8, i8* %6
%8 = zext i8 %7 to i32
%9 = add nuw nsw i32 %5, %8
%10 = getelementptr inbounds i8, i8* %0, i64 2
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = mul nsw i32 %12, 10
%14 = getelementptr inbounds i8, i8* %0, i64 3
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = add nsw i32 %13, %16
%18 = getelementptr inbounds i8, i8* %0, i64 4
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = mul nsw i32 %20, 10
%22 = getelementptr inbounds i8, i8* %0, i64 5
%23 = load i8, i8* %22
%24 = sext i8 %23 to i32
%25 = add nsw i32 %21, %24
%26 = icmp eq i32 %1, 10
br i1 %26, label %27, label %94
27: ; preds = %2
%28 = tail call i64 @isdigit(i8 signext %3)
%29 = icmp eq i64 %28, 0
br i1 %29, label %93, label %30
30: ; preds = %27
%31 = add nsw i32 %17, -541
%32 = icmp ult i32 %31, 41
%33 = icmp sgt i32 %25, 559
%34 = select i1 %32, i1 true, i1 %33
br i1 %34, label %94, label %35
35: ; preds = %30
switch i32 %17, label %43 [
i32 529, label %36
i32 549, label %36
i32 551, label %36
i32 553, label %36
i32 555, label %36
i32 556, label %36
i32 558, label %36
i32 560, label %36
i32 569, label %36
i32 571, label %36
i32 573, label %36
i32 575, label %36
i32 576, label %36
i32 578, label %36
i32 580, label %36
i32 531, label %36
i32 533, label %36
i32 535, label %36
i32 536, label %36
i32 538, label %36
i32 540, label %36
i32 550, label %36
i32 570, label %36
i32 530, label %36
]
36: ; preds = %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35, %35
%37 = and i32 %9, 3
%38 = icmp eq i32 %37, 0
br i1 %38, label %39, label %41
39: ; preds = %36
%40 = icmp sgt i32 %25, 557
br i1 %40, label %94, label %45
41: ; preds = %36
%42 = icmp sgt i32 %25, 556
br i1 %42, label %94, label %45
43: ; preds = %35
%44 = icmp sgt i32 %25, 558
br i1 %44, label %94, label %45
45: ; preds = %41, %39, %43
%46 = load i8, i8* %0
%47 = sext i8 %46 to i32
%48 = shl nsw i32 %47, 1
%49 = load i8, i8* %6
%50 = sext i8 %49 to i32
%51 = shl nsw i32 %50, 2
%52 = load i8, i8* %10
%53 = sext i8 %52 to i32
%54 = shl nsw i32 %53, 3
%55 = load i8, i8* %14
%56 = sext i8 %55 to i32
%57 = mul nsw i32 %56, 5
%58 = load i8, i8* %18
%59 = sext i8 %58 to i32
%60 = mul nsw i32 %59, 10
%61 = load i8, i8* %22
%62 = sext i8 %61 to i32
%63 = mul nsw i32 %62, 9
%64 = getelementptr inbounds i8, i8* %0, i64 6
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = mul nsw i32 %66, 7
%68 = getelementptr inbounds i8, i8* %0, i64 7
%69 = load i8, i8* %68
%70 = sext i8 %69 to i32
%71 = mul nsw i32 %70, 3
%72 = getelementptr inbounds i8, i8* %0, i64 8
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = mul nsw i32 %74, 6
%76 = add nsw i32 %48, -2592
%77 = add nsw i32 %76, %51
%78 = add nsw i32 %77, %54
%79 = add nsw i32 %78, %57
%80 = add nsw i32 %79, %60
%81 = add i32 %80, %63
%82 = add i32 %81, %67
%83 = add i32 %82, %71
%84 = add i32 %83, %75
%85 = srem i32 %84, 11
%86 = icmp slt i32 %85, 10
%87 = select i1 %86, i32 %85, i32 0
%88 = getelementptr inbounds i8, i8* %0, i64 9
%89 = load i8, i8* %88
%90 = sext i8 %89 to i32
%91 = add nsw i32 %90, -48
%92 = icmp eq i32 %91, %87
br i1 %92, label %93, label %94
93: ; preds = %45, %27
br label %94
94: ; preds = %45, %43, %41, %39, %30, %2, %93
%95 = phi i32 [ 1, %93 ], [ 0, %2 ], [ 0, %30 ], [ 0, %39 ], [ 0, %41 ], [ 0, %43 ], [ 0, %45 ]
ret i32 %95
}