#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 /*<<< orphan*/ assert(int);
int /*<<< orphan*/ isdigit(char);
scalar_t__ tolower(char const);
int strcoloncmp2(char *candidate, int end, const char *list, int sen) {
  const char *l = list;
  char *c, c2;
  assert(candidate != NULL && list != NULL);
  assert(end >= -1 && end <= 255);
  assert(sen == 0 || sen == 1);
  if (*l == ':')
    l++;
  while (*l) {
    assert(l == list || l[-1] == ':');
    for (c = candidate; *c && *l; c++, l++)
      if ((sen && *c != *l) || (!sen && tolower(*c) != tolower(*l)))
        break;
    if ((*l == '\0' || *l == ':') && (*c == end || end == -1)) {
      if (*c == '\b') {
        c2 = c[-1];
        while (*c == '\b' && c[1] == c2)
          c += 2;
      }
      if (!isdigit(*c))
        return 1;
    }
    while (*l && *l++ != ':')
      ;
  }
  return 0;
}


x86 assembly (clang, -O0):
<strcoloncmp2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x3a(%rbp)
je     1169 <strcoloncmp2+0x39>
cmpq   $0x0,-0x20(%rbp)
setne  %al
mov    %al,-0x3a(%rbp)
mov    -0x3a(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
xor    %eax,%eax
cmpl   $0xffffffff,-0x14(%rbp)
mov    %al,-0x3b(%rbp)
jl     1192 <strcoloncmp2+0x62>
cmpl   $0xff,-0x14(%rbp)
setle  %al
mov    %al,-0x3b(%rbp)
mov    -0x3b(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    $0x1,%al
cmpl   $0x0,-0x24(%rbp)
mov    %al,-0x3c(%rbp)
je     11b8 <strcoloncmp2+0x88>
cmpl   $0x1,-0x24(%rbp)
sete   %al
mov    %al,-0x3c(%rbp)
mov    -0x3c(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jne    11e1 <strcoloncmp2+0xb1>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    11e6 <strcoloncmp2+0xb6>
mov    -0x30(%rbp),%rax
cmpb   $0x0,(%rax)
je     13f6 <strcoloncmp2+0x2c6>
mov    -0x30(%rbp),%rcx
mov    $0x1,%al
cmp    -0x20(%rbp),%rcx
mov    %al,-0x3d(%rbp)
je     1217 <strcoloncmp2+0xe7>
mov    -0x30(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x3a,%eax
sete   %al
mov    %al,-0x3d(%rbp)
mov    -0x3d(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x3e(%rbp)
je     1251 <strcoloncmp2+0x121>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x3e(%rbp)
mov    -0x3e(%rbp),%al
test   $0x1,%al
jne    1261 <strcoloncmp2+0x131>
jmp    12de <strcoloncmp2+0x1ae>
cmpl   $0x0,-0x24(%rbp)
je     1281 <strcoloncmp2+0x151>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
mov    -0x30(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    12b7 <strcoloncmp2+0x187>
cmpl   $0x0,-0x24(%rbp)
jne    12bc <strcoloncmp2+0x18c>
mov    -0x38(%rbp),%rax
movsbl (%rax),%edi
call   1050 <tolower@plt>
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%edi
call   1050 <tolower@plt>
mov    %rax,%rcx
mov    -0x48(%rbp),%rax
cmp    %rcx,%rax
je     12bc <strcoloncmp2+0x18c>
jmp    12de <strcoloncmp2+0x1ae>
jmp    12c1 <strcoloncmp2+0x191>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    122c <strcoloncmp2+0xfc>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     12fe <strcoloncmp2+0x1ce>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jne    13a7 <strcoloncmp2+0x277>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    -0x14(%rbp),%eax
je     1318 <strcoloncmp2+0x1e8>
cmpl   $0xffffffff,-0x14(%rbp)
jne    13a7 <strcoloncmp2+0x277>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x8,%eax
jne    1381 <strcoloncmp2+0x251>
mov    -0x38(%rbp),%rax
mov    -0x1(%rax),%al
mov    %al,-0x39(%rbp)
mov    -0x38(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x8,%ecx
mov    %al,-0x49(%rbp)
jne    135b <strcoloncmp2+0x22b>
mov    -0x38(%rbp),%rax
movsbl 0x1(%rax),%eax
movsbl -0x39(%rbp),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    136b <strcoloncmp2+0x23b>
jmp    137c <strcoloncmp2+0x24c>
mov    -0x38(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x38(%rbp)
jmp    1332 <strcoloncmp2+0x202>
jmp    1381 <strcoloncmp2+0x251>
mov    -0x38(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
jne    13a2 <strcoloncmp2+0x272>
movl   $0x1,-0x4(%rbp)
jmp    13fd <strcoloncmp2+0x2cd>
jmp    13a7 <strcoloncmp2+0x277>
jmp    13ac <strcoloncmp2+0x27c>
mov    -0x30(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x4a(%rbp)
je     13dc <strcoloncmp2+0x2ac>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movsbl (%rax),%eax
cmp    $0x3a,%eax
setne  %al
mov    %al,-0x4a(%rbp)
mov    -0x4a(%rbp),%al
test   $0x1,%al
jne    13ec <strcoloncmp2+0x2bc>
jmp    13f1 <strcoloncmp2+0x2c1>
jmp    13ac <strcoloncmp2+0x27c>
jmp    11e6 <strcoloncmp2+0xb6>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strcoloncmp2>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %ecx,%ebx
mov    %rdx,%r14
mov    %esi,%r15d
mov    %rdi,%r12
test   %rdi,%rdi
setne  %al
test   %rdx,%rdx
setne  %cl
and    %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
lea    0x1(%r15),%eax
xor    %edi,%edi
cmp    $0x101,%eax
setb   %dil
call   1040 <assert@plt>
xor    %edi,%edi
cmp    $0x2,%ebx
setb   %dil
call   1040 <assert@plt>
xor    %r13d,%r13d
cmpb   $0x3a,(%r14)
sete   %r13b
cmpb   $0x0,(%r14,%r13,1)
je     129c <strcoloncmp2+0x16c>
add    %r14,%r13
mov    %r12,(%rsp)
cmp    %r14,%r13
je     11b0 <strcoloncmp2+0x80>
cmpb   $0x3a,-0x1(%r13)
sete   %al
jmp    11b2 <strcoloncmp2+0x82>
nopw   0x0(%rax,%rax,1)
mov    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    (%r12),%al
jmp    11d2 <strcoloncmp2+0xa2>
test   %ebx,%ebx
je     11f0 <strcoloncmp2+0xc0>
add    $0x1,%r13
movzbl 0x1(%r12),%eax
add    $0x1,%r12
test   %al,%al
je     1210 <strcoloncmp2+0xe0>
movzbl 0x0(%r13),%ecx
test   %cl,%cl
je     1221 <strcoloncmp2+0xf1>
test   %ebx,%ebx
je     11c0 <strcoloncmp2+0x90>
cmp    %cl,%al
je     11c0 <strcoloncmp2+0x90>
jmp    1214 <strcoloncmp2+0xe4>
nopl   0x0(%rax)
movsbl %al,%edi
call   1050 <tolower@plt>
mov    %rax,%rbp
movsbl 0x0(%r13),%edi
call   1050 <tolower@plt>
cmp    %rax,%rbp
je     11c4 <strcoloncmp2+0x94>
nopw   0x0(%rax,%rax,1)
mov    0x0(%r13),%cl
cmp    $0x3a,%cl
je     121d <strcoloncmp2+0xed>
test   %cl,%cl
jne    126f <strcoloncmp2+0x13f>
mov    (%r12),%al
cmp    $0xffffffff,%r15d
je     122f <strcoloncmp2+0xff>
movsbl %al,%ecx
cmp    %r15d,%ecx
jne    126f <strcoloncmp2+0x13f>
cmp    $0x8,%al
jne    1260 <strcoloncmp2+0x130>
mov    -0x1(%r12),%al
nopl   0x0(%rax,%rax,1)
cmp    %al,0x1(%r12)
jne    1260 <strcoloncmp2+0x130>
lea    0x2(%r12),%rcx
cmpb   $0x8,0x2(%r12)
mov    %rcx,%r12
je     1240 <strcoloncmp2+0x110>
jmp    1263 <strcoloncmp2+0x133>
nopl   0x0(%rax)
mov    %r12,%rcx
movsbl (%rcx),%edi
call   1030 <isdigit@plt>
test   %eax,%eax
je     12ad <strcoloncmp2+0x17d>
mov    (%rsp),%r12
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl 0x0(%r13),%eax
test   %al,%al
je     129c <strcoloncmp2+0x16c>
add    $0x1,%r13
cmp    $0x3a,%al
jne    1280 <strcoloncmp2+0x150>
cmpb   $0x0,0x0(%r13)
jne    119b <strcoloncmp2+0x6b>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x1,%eax
jmp    129e <strcoloncmp2+0x16e>

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

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