#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 checker(char *str) {
  int sum = 0;
  if (isdigit(*str)) {
    if (str[2] == '0' && str[2] > '5') {
      return 0;
    }
    if (str[2] == '1' && str[3] > '2') {
      return 0;
    }
    if (str[2] == '3' && str[3] > '2') {
      return 0;
    }
    if (str[2] == '5' && str[3] > '2') {
      return 0;
    }
    if (str[4] > '3' && (str[4] == '3' && str[5] > '1')) {
      return 0;
    }
    if (str[4] == '0' && str[5] == '0') {
      return 0;
    }
    sum += (str[0] - '0') * 2;
    sum += (str[1] - '0') * 4;
    sum += (str[2] - '0') * 8;
    sum += (str[3] - '0') * 5;
    sum += (str[4] - '0') * 10;
    sum += (str[5] - '0') * 9;
    sum += (str[6] - '0') * 7;
    sum += (str[7] - '0') * 3;
    sum += (str[8] - '0') * 6;
    if (sum % 11 < 10) {
      if (str[9] - '0' == sum % 11) {
        return 1;
      } else {
        return 0;
      }
    } else {
      if (str[9] == '0') {
        return 1;
      }
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<checker>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1388 <checker+0x278>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x30,%eax
jne    1167 <checker+0x57>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x35,%eax
jle    1167 <checker+0x57>
movl   $0x0,-0x4(%rbp)
jmp    138f <checker+0x27f>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x31,%eax
jne    1195 <checker+0x85>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x32,%eax
jle    1195 <checker+0x85>
movl   $0x0,-0x4(%rbp)
jmp    138f <checker+0x27f>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x33,%eax
jne    11c3 <checker+0xb3>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x32,%eax
jle    11c3 <checker+0xb3>
movl   $0x0,-0x4(%rbp)
jmp    138f <checker+0x27f>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x35,%eax
jne    11f1 <checker+0xe1>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x32,%eax
jle    11f1 <checker+0xe1>
movl   $0x0,-0x4(%rbp)
jmp    138f <checker+0x27f>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x33,%eax
jle    1230 <checker+0x120>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x33,%eax
jne    1230 <checker+0x120>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x31,%eax
jle    1230 <checker+0x120>
movl   $0x0,-0x4(%rbp)
jmp    138f <checker+0x27f>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x30,%eax
jne    125e <checker+0x14e>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x30,%eax
jne    125e <checker+0x14e>
movl   $0x0,-0x4(%rbp)
jmp    138f <checker+0x27f>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
shl    $0x1,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
sub    $0x30,%eax
shl    $0x2,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
sub    $0x30,%eax
shl    $0x3,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
sub    $0x30,%eax
imul   $0x5,%eax,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
sub    $0x30,%eax
imul   $0xa,%eax,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
sub    $0x30,%eax
imul   $0x9,%eax,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x6(%rax),%eax
sub    $0x30,%eax
imul   $0x7,%eax,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x7(%rax),%eax
sub    $0x30,%eax
imul   $0x3,%eax,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x8(%rax),%eax
sub    $0x30,%eax
imul   $0x6,%eax,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    $0xb,%ecx
cltd
idiv   %ecx
cmp    $0xa,%edx
jge    1361 <checker+0x251>
mov    -0x10(%rbp),%rax
movsbl 0x9(%rax),%eax
sub    $0x30,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    $0xb,%ecx
cltd
idiv   %ecx
mov    -0x18(%rbp),%eax
cmp    %edx,%eax
jne    1355 <checker+0x245>
movl   $0x1,-0x4(%rbp)
jmp    138f <checker+0x27f>
movl   $0x0,-0x4(%rbp)
jmp    138f <checker+0x27f>
mov    -0x10(%rbp),%rax
movsbl 0x9(%rax),%eax
cmp    $0x30,%eax
jne    137e <checker+0x26e>
movl   $0x1,-0x4(%rbp)
jmp    138f <checker+0x27f>
jmp    1383 <checker+0x273>
jmp    1388 <checker+0x278>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<checker>:
push   %rbx
mov    %rdi,%rbx
movsbl (%rdi),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     11ec <checker+0xdc>
movsbl 0x2(%rbx),%ecx
cmp    $0x35,%ecx
je     1138 <checker+0x28>
cmp    $0x33,%cl
je     1138 <checker+0x28>
cmp    $0x31,%cl
jne    1140 <checker+0x30>
xor    %eax,%eax
cmpb   $0x32,0x3(%rbx)
jg     1153 <checker+0x43>
movsbl 0x4(%rbx),%esi
mov    0x5(%rbx),%dl
cmp    $0x30,%esi
jne    1155 <checker+0x45>
xor    %eax,%eax
cmp    $0x30,%dl
jne    1155 <checker+0x45>
pop    %rbx
ret
movsbl %dl,%eax
movsbl (%rbx),%r10d
movsbl 0x1(%rbx),%r8d
movsbl 0x3(%rbx),%edi
lea    (%rdi,%rdi,4),%r9d
lea    (%rsi,%rsi,4),%esi
add    %esi,%esi
lea    (%rax,%rax,8),%r11d
movsbl 0x6(%rbx),%edi
lea    0x0(,%rdi,8),%edx
sub    %edi,%edx
movsbl 0x7(%rbx),%edi
lea    (%rdi,%rdi,2),%edi
movsbl 0x8(%rbx),%eax
lea    (%rax,%rax,2),%eax
lea    (%rsi,%rcx,8),%ecx
lea    (%rcx,%r10,2),%ecx
lea    (%rcx,%r8,4),%ecx
add    %r9d,%ecx
add    %r11d,%ecx
add    %edx,%ecx
add    %edi,%ecx
lea    (%rcx,%rax,2),%eax
add    $0xfffff5e0,%eax
movslq %eax,%rcx
imul   $0x2e8ba2e9,%rcx,%rax
mov    %rax,%rdx
shr    $0x3f,%rdx
sar    $0x21,%rax
add    %edx,%eax
lea    (%rax,%rax,4),%edx
lea    (%rax,%rdx,2),%eax
sub    %eax,%ecx
movsbl 0x9(%rbx),%edx
cmp    $0x9,%ecx
jg     11de <checker+0xce>
add    $0xffffffd0,%edx
xor    %eax,%eax
cmp    %ecx,%edx
sete   %al
pop    %rbx
ret
mov    $0x1,%eax
cmp    $0x30,%dl
je     1153 <checker+0x43>
xor    %eax,%eax
pop    %rbx
ret

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

LLVM IR (-O2):
define i32 @checker(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = tail call i64 @isdigit(i8 signext %2)
%4 = icmp eq i64 %3, 0
br i1 %4, label %78, label %5
5: ; preds = %1
%6 = getelementptr inbounds i8, i8* %0, i64 2
%7 = load i8, i8* %6
switch i8 %7, label %20 [
i8 49, label %8
i8 51, label %12
i8 53, label %16
]
8: ; preds = %5
%9 = getelementptr inbounds i8, i8* %0, i64 3
%10 = load i8, i8* %9
%11 = icmp sgt i8 %10, 50
br i1 %11, label %79, label %20
12: ; preds = %5
%13 = getelementptr inbounds i8, i8* %0, i64 3
%14 = load i8, i8* %13
%15 = icmp sgt i8 %14, 50
br i1 %15, label %79, label %20
16: ; preds = %5
%17 = getelementptr inbounds i8, i8* %0, i64 3
%18 = load i8, i8* %17
%19 = icmp sgt i8 %18, 50
br i1 %19, label %79, label %20
20: ; preds = %5, %8, %12, %16
%21 = getelementptr inbounds i8, i8* %0, i64 4
%22 = load i8, i8* %21
%23 = icmp eq i8 %22, 48
%24 = getelementptr inbounds i8, i8* %0, i64 5
%25 = load i8, i8* %24
%26 = icmp eq i8 %25, 48
%27 = select i1 %23, i1 %26, i1 false
br i1 %27, label %79, label %28
28: ; preds = %20
%29 = load i8, i8* %0
%30 = sext i8 %29 to i32
%31 = shl nsw i32 %30, 1
%32 = getelementptr inbounds i8, i8* %0, i64 1
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = shl nsw i32 %34, 2
%36 = sext i8 %7 to i32
%37 = shl nsw i32 %36, 3
%38 = getelementptr inbounds i8, i8* %0, i64 3
%39 = load i8, i8* %38
%40 = sext i8 %39 to i32
%41 = mul nsw i32 %40, 5
%42 = sext i8 %22 to i32
%43 = mul nsw i32 %42, 10
%44 = sext i8 %25 to i32
%45 = mul nsw i32 %44, 9
%46 = getelementptr inbounds i8, i8* %0, i64 6
%47 = load i8, i8* %46
%48 = sext i8 %47 to i32
%49 = mul nsw i32 %48, 7
%50 = getelementptr inbounds i8, i8* %0, i64 7
%51 = load i8, i8* %50
%52 = sext i8 %51 to i32
%53 = mul nsw i32 %52, 3
%54 = getelementptr inbounds i8, i8* %0, i64 8
%55 = load i8, i8* %54
%56 = sext i8 %55 to i32
%57 = mul nsw i32 %56, 6
%58 = add nsw i32 %37, -2592
%59 = add nsw i32 %58, %43
%60 = add nsw i32 %59, %31
%61 = add nsw i32 %60, %35
%62 = add nsw i32 %61, %41
%63 = add i32 %62, %45
%64 = add i32 %63, %49
%65 = add i32 %64, %53
%66 = add i32 %65, %57
%67 = srem i32 %66, 11
%68 = icmp slt i32 %67, 10
%69 = getelementptr inbounds i8, i8* %0, i64 9
%70 = load i8, i8* %69
br i1 %68, label %71, label %76
71: ; preds = %28
%72 = sext i8 %70 to i32
%73 = add nsw i32 %72, -48
%74 = icmp eq i32 %73, %67
%75 = zext i1 %74 to i32
br label %79
76: ; preds = %28
%77 = icmp eq i8 %70, 48
br i1 %77, label %79, label %78
78: ; preds = %76, %1
br label %79
79: ; preds = %20, %76, %71, %16, %12, %8, %78
%80 = phi i32 [ 0, %78 ], [ 0, %8 ], [ 0, %12 ], [ 0, %16 ], [ %75, %71 ], [ 1, %76 ], [ 0, %20 ]
ret i32 %80
}