int bcd_valid(const char *bcd) {
  int a, b, c;
  if (!((((bcd[0]) & 15) < 10 && (((bcd[0]) >> 4) & 15) < 10) &&
        (((bcd[1]) & 15) < 10 && (((bcd[1]) >> 4) & 15) < 10) &&
        (((bcd[2]) & 15) < 10 && (((bcd[2]) >> 4) & 15) < 10) &&
        (((bcd[3]) & 15) < 10 && (((bcd[3]) >> 4) & 15) < 10) &&
        (((bcd[4]) & 15) < 10 && (((bcd[4]) >> 4) & 15) < 10) &&
        (((bcd[5]) & 15) < 10 && (((bcd[5]) >> 4) & 15) < 10)))
    return 0;
  a = (((bcd[0]) & 15) + (((bcd[0]) >> 4) & 15) * 10);
  b = (((bcd[1]) & 15) + (((bcd[1]) >> 4) & 15) * 10);
  c = (((bcd[2]) & 15) + (((bcd[2]) >> 4) & 15) * 10);
  if (a > 23 || b > 59 || c > 60)
    return 0;
  a = (((bcd[3]) & 15) + (((bcd[3]) >> 4) & 15) * 10);
  b = (((bcd[4]) & 15) + (((bcd[4]) >> 4) & 15) * 10);
  c = (((bcd[5]) & 15) + (((bcd[5]) >> 4) & 15) * 10);
  if (b < 1 || b > 12)
    return 0;
  if (!(1 <= a &&
        (a <= 28 ||
         (((c) % 400 == 0 || ((c) % 4 == 0 && (c) % 100 != 0)) && a <= 29) ||
         (b != 2 && a <= 30) || (((((b) >> 3) ^ (b)) & 1) && a <= 31))))
    return 0;
  return 1;
}


x86 assembly (clang, -O0):
<bcd_valid>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
and    $0xf,%eax
cmp    $0xa,%eax
jge    1208 <bcd_valid+0x108>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
sar    $0x4,%eax
and    $0xf,%eax
cmp    $0xa,%eax
jge    1208 <bcd_valid+0x108>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
and    $0xf,%eax
cmp    $0xa,%eax
jge    1208 <bcd_valid+0x108>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
sar    $0x4,%eax
and    $0xf,%eax
cmp    $0xa,%eax
jge    1208 <bcd_valid+0x108>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
and    $0xf,%eax
cmp    $0xa,%eax
jge    1208 <bcd_valid+0x108>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
sar    $0x4,%eax
and    $0xf,%eax
cmp    $0xa,%eax
jge    1208 <bcd_valid+0x108>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
and    $0xf,%eax
cmp    $0xa,%eax
jge    1208 <bcd_valid+0x108>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
sar    $0x4,%eax
and    $0xf,%eax
cmp    $0xa,%eax
jge    1208 <bcd_valid+0x108>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
and    $0xf,%eax
cmp    $0xa,%eax
jge    1208 <bcd_valid+0x108>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
sar    $0x4,%eax
and    $0xf,%eax
cmp    $0xa,%eax
jge    1208 <bcd_valid+0x108>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
and    $0xf,%eax
cmp    $0xa,%eax
jge    1208 <bcd_valid+0x108>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
sar    $0x4,%eax
and    $0xf,%eax
cmp    $0xa,%eax
jl     1214 <bcd_valid+0x114>
movl   $0x0,-0x4(%rbp)
jmp    13c6 <bcd_valid+0x2c6>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
and    $0xf,%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
sar    $0x4,%ecx
and    $0xf,%ecx
imul   $0xa,%ecx,%ecx
add    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
and    $0xf,%eax
mov    -0x10(%rbp),%rcx
movsbl 0x1(%rcx),%ecx
sar    $0x4,%ecx
and    $0xf,%ecx
imul   $0xa,%ecx,%ecx
add    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
and    $0xf,%eax
mov    -0x10(%rbp),%rcx
movsbl 0x2(%rcx),%ecx
sar    $0x4,%ecx
and    $0xf,%ecx
imul   $0xa,%ecx,%ecx
add    %ecx,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x17,-0x14(%rbp)
jg     1293 <bcd_valid+0x193>
cmpl   $0x3b,-0x18(%rbp)
jg     1293 <bcd_valid+0x193>
cmpl   $0x3c,-0x1c(%rbp)
jle    129f <bcd_valid+0x19f>
movl   $0x0,-0x4(%rbp)
jmp    13c6 <bcd_valid+0x2c6>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
and    $0xf,%eax
mov    -0x10(%rbp),%rcx
movsbl 0x3(%rcx),%ecx
sar    $0x4,%ecx
and    $0xf,%ecx
imul   $0xa,%ecx,%ecx
add    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
and    $0xf,%eax
mov    -0x10(%rbp),%rcx
movsbl 0x4(%rcx),%ecx
sar    $0x4,%ecx
and    $0xf,%ecx
imul   $0xa,%ecx,%ecx
add    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
and    $0xf,%eax
mov    -0x10(%rbp),%rcx
movsbl 0x5(%rcx),%ecx
sar    $0x4,%ecx
and    $0xf,%ecx
imul   $0xa,%ecx,%ecx
add    %ecx,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x1,-0x18(%rbp)
jl     1316 <bcd_valid+0x216>
cmpl   $0xc,-0x18(%rbp)
jle    1322 <bcd_valid+0x222>
movl   $0x0,-0x4(%rbp)
jmp    13c6 <bcd_valid+0x2c6>
mov    $0x1,%eax
cmp    -0x14(%rbp),%eax
jg     13b3 <bcd_valid+0x2b3>
cmpl   $0x1c,-0x14(%rbp)
jle    13bf <bcd_valid+0x2bf>
mov    -0x1c(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1376 <bcd_valid+0x276>
mov    -0x1c(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1380 <bcd_valid+0x280>
mov    -0x1c(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1380 <bcd_valid+0x280>
cmpl   $0x1d,-0x14(%rbp)
jle    13bf <bcd_valid+0x2bf>
cmpl   $0x2,-0x18(%rbp)
je     1394 <bcd_valid+0x294>
cmpl   $0x1e,-0x14(%rbp)
jle    13bf <bcd_valid+0x2bf>
mov    -0x18(%rbp),%eax
sar    $0x3,%eax
xor    -0x18(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     13b3 <bcd_valid+0x2b3>
cmpl   $0x1f,-0x14(%rbp)
jle    13bf <bcd_valid+0x2bf>
movl   $0x0,-0x4(%rbp)
jmp    13c6 <bcd_valid+0x2c6>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<bcd_valid>:
push   %r15
push   %r14
push   %r12
push   %rbx
movzbl (%rdi),%ebx
mov    %ebx,%ecx
and    $0xf,%ecx
xor    %eax,%eax
cmp    $0x9,%ecx
ja     126a <bcd_valid+0x16a>
cmp    $0x9f,%bl
ja     126a <bcd_valid+0x16a>
movzbl 0x1(%rdi),%edx
mov    %edx,%esi
and    $0xf,%esi
cmp    $0x9,%esi
ja     126a <bcd_valid+0x16a>
cmp    $0x9f,%dl
ja     126a <bcd_valid+0x16a>
movzbl 0x2(%rdi),%r15d
mov    %r15d,%r14d
and    $0xf,%r14d
cmp    $0x9,%r14d
ja     126a <bcd_valid+0x16a>
cmp    $0x9f,%r15b
ja     126a <bcd_valid+0x16a>
movzbl 0x3(%rdi),%r10d
mov    %r10d,%r11d
and    $0xf,%r11d
cmp    $0x9,%r11d
ja     126a <bcd_valid+0x16a>
cmp    $0x9f,%r10b
ja     126a <bcd_valid+0x16a>
movzbl 0x4(%rdi),%r12d
mov    %r12d,%r9d
and    $0xf,%r9d
cmp    $0x9,%r9d
ja     126a <bcd_valid+0x16a>
cmp    $0x9f,%r12b
ja     126a <bcd_valid+0x16a>
movzbl 0x5(%rdi),%r8d
mov    %r8d,%edi
and    $0xf,%edi
cmp    $0x9,%edi
ja     126a <bcd_valid+0x16a>
cmp    $0x9f,%r8b
ja     126a <bcd_valid+0x16a>
shr    $0x4,%ebx
lea    (%rbx,%rbx,4),%ebx
lea    (%rcx,%rbx,2),%ecx
cmp    $0x17,%ecx
ja     126a <bcd_valid+0x16a>
shr    $0x4,%edx
lea    (%rdx,%rdx,4),%ecx
lea    (%rsi,%rcx,2),%ecx
cmp    $0x3b,%ecx
ja     126a <bcd_valid+0x16a>
shr    $0x4,%r15d
lea    (%r15,%r15,4),%ecx
lea    (%r14,%rcx,2),%ecx
cmp    $0x3c,%ecx
ja     126a <bcd_valid+0x16a>
shr    $0x4,%r12d
lea    (%r12,%r12,4),%edx
lea    (%r9,%rdx,2),%ecx
add    $0xfffffff3,%ecx
cmp    $0xfffffff4,%ecx
jb     126a <bcd_valid+0x16a>
shr    $0x4,%r10d
lea    (%r10,%r10,4),%ecx
lea    (%r11,%rcx,2),%ecx
test   %ecx,%ecx
je     126a <bcd_valid+0x16a>
cmp    $0x1d,%ecx
jb     1265 <bcd_valid+0x165>
shr    $0x4,%r8d
lea    (%r8,%r8,4),%esi
lea    (%rdi,%rsi,2),%esi
imul   $0x5c29,%esi,%edi
ror    $0x4,%di
movzwl %di,%edi
cmp    $0xa4,%edi
jb     1240 <bcd_valid+0x140>
test   $0x3,%sil
jne    1245 <bcd_valid+0x145>
cmp    $0x1e,%ecx
jb     1265 <bcd_valid+0x165>
lea    (%r9,%rdx,2),%edx
cmp    $0x2,%edx
je     1253 <bcd_valid+0x153>
cmp    $0x1f,%ecx
jb     1265 <bcd_valid+0x165>
mov    %edx,%esi
shr    $0x3,%esi
xor    %edx,%esi
test   $0x1,%sil
je     126a <bcd_valid+0x16a>
cmp    $0x1f,%ecx
ja     126a <bcd_valid+0x16a>
mov    $0x1,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
define i32 @bcd_valid(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = zext i8 %2 to i32
%4 = and i32 %3, 15
%5 = icmp ult i32 %4, 10
br i1 %5, label %6, label %102
6: ; preds = %1
%7 = lshr i32 %3, 4
%8 = icmp ult i8 %2, -96
br i1 %8, label %9, label %102
9: ; preds = %6
%10 = getelementptr inbounds i8, i8* %0, i64 1
%11 = load i8, i8* %10
%12 = zext i8 %11 to i32
%13 = and i32 %12, 15
%14 = icmp ult i32 %13, 10
br i1 %14, label %15, label %102
15: ; preds = %9
%16 = lshr i32 %12, 4
%17 = icmp ult i8 %11, -96
br i1 %17, label %18, label %102
18: ; preds = %15
%19 = getelementptr inbounds i8, i8* %0, i64 2
%20 = load i8, i8* %19
%21 = zext i8 %20 to i32
%22 = and i32 %21, 15
%23 = icmp ult i32 %22, 10
br i1 %23, label %24, label %102
24: ; preds = %18
%25 = lshr i32 %21, 4
%26 = icmp ult i8 %20, -96
br i1 %26, label %27, label %102
27: ; preds = %24
%28 = getelementptr inbounds i8, i8* %0, i64 3
%29 = load i8, i8* %28
%30 = zext i8 %29 to i32
%31 = and i32 %30, 15
%32 = icmp ult i32 %31, 10
br i1 %32, label %33, label %102
33: ; preds = %27
%34 = lshr i32 %30, 4
%35 = icmp ult i8 %29, -96
br i1 %35, label %36, label %102
36: ; preds = %33
%37 = getelementptr inbounds i8, i8* %0, i64 4
%38 = load i8, i8* %37
%39 = zext i8 %38 to i32
%40 = and i32 %39, 15
%41 = icmp ult i32 %40, 10
br i1 %41, label %42, label %102
42: ; preds = %36
%43 = lshr i32 %39, 4
%44 = icmp ult i8 %38, -96
br i1 %44, label %45, label %102
45: ; preds = %42
%46 = getelementptr inbounds i8, i8* %0, i64 5
%47 = load i8, i8* %46
%48 = zext i8 %47 to i32
%49 = and i32 %48, 15
%50 = icmp ult i32 %49, 10
br i1 %50, label %51, label %102
51: ; preds = %45
%52 = lshr i32 %48, 4
%53 = icmp ult i8 %47, -96
br i1 %53, label %54, label %102
54: ; preds = %51
%55 = mul nuw nsw i32 %7, 10
%56 = add nuw nsw i32 %55, %4
%57 = mul nuw nsw i32 %16, 10
%58 = add nuw nsw i32 %57, %13
%59 = mul nuw nsw i32 %25, 10
%60 = add nuw nsw i32 %59, %22
%61 = icmp ugt i32 %56, 23
%62 = icmp ugt i32 %58, 59
%63 = select i1 %61, i1 true, i1 %62
%64 = icmp ugt i32 %60, 60
%65 = select i1 %63, i1 true, i1 %64
br i1 %65, label %102, label %66
66: ; preds = %54
%67 = mul nuw nsw i32 %34, 10
%68 = add nuw nsw i32 %67, %31
%69 = mul nuw nsw i32 %43, 10
%70 = add nuw nsw i32 %69, %40
%71 = mul nuw nsw i32 %52, 10
%72 = add nuw nsw i32 %71, %49
%73 = add nsw i32 %70, -13
%74 = icmp ult i32 %73, -12
%75 = icmp eq i32 %68, 0
%76 = select i1 %74, i1 true, i1 %75
br i1 %76, label %102, label %77
77: ; preds = %66
%78 = icmp ult i32 %68, 29
br i1 %78, label %101, label %79
79: ; preds = %77
%80 = trunc i32 %72 to i16
%81 = urem i16 %80, 400
%82 = icmp eq i16 %81, 0
br i1 %82, label %88, label %83
83: ; preds = %79
%84 = and i32 %72, 3
%85 = icmp eq i32 %84, 0
%86 = icmp ult i32 %68, 30
%87 = select i1 %85, i1 %86, i1 false
br i1 %87, label %101, label %90
88: ; preds = %79
%89 = icmp ult i32 %68, 30
br i1 %89, label %101, label %90
90: ; preds = %88, %83
%91 = icmp ne i32 %70, 2
%92 = icmp ult i32 %68, 31
%93 = select i1 %91, i1 %92, i1 false
br i1 %93, label %101, label %94
94: ; preds = %90
%95 = lshr i32 %70, 3
%96 = xor i32 %95, %70
%97 = and i32 %96, 1
%98 = icmp ne i32 %97, 0
%99 = icmp ult i32 %68, 32
%100 = select i1 %98, i1 %99, i1 false
br i1 %100, label %101, label %102
101: ; preds = %83, %94, %90, %88, %77
br label %102
102: ; preds = %94, %66, %54, %1, %6, %9, %15, %18, %24, %27, %33, %36, %42, %45, %51, %101
%103 = phi i32 [ 1, %101 ], [ 0, %51 ], [ 0, %45 ], [ 0, %42 ], [ 0, %36 ], [ 0, %33 ], [ 0, %27 ], [ 0, %24 ], [ 0, %18 ], [ 0, %15 ], [ 0, %9 ], [ 0, %6 ], [ 0, %1 ], [ 0, %54 ], [ 0, %66 ], [ 0, %94 ]
ret i32 %103
}