#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 strlen(char *);
int validate_s_v6addr(char *addr, int type) {
  int x, y, z;
  int numcolon;
  int compressed;
  if (strlen(addr) < 2)
    return -1;
  if (strlen(addr) > 39)
    return -1;
  x = 0;
  y = 0;
  while (x < strlen(addr)) {
    y = 0;
    z = 0;
    while (z < strlen("0123456789ABCDEFabcdef:") && !y) {
      if (addr[x] == "0123456789ABCDEFabcdef:"[z])
        y = 1;
      z++;
    }
    if (!y)
      return -1;
    x++;
  }
  x = 0;
  y = 0;
  while (x < strlen(addr)) {
    if (addr[x] == ':')
      y++;
    else
      y = 0;
    if (y == 3)
      return -1;
    x++;
  }
  if (addr[0] == ':' && addr[1] != ':')
    return -1;
  if (type == 1 && addr[strlen(addr) - 1] == ':' &&
      addr[strlen(addr) - 2] != ':')
    return -1;
  numcolon = 0;
  for (x = 0; x < strlen(addr); x++) {
    if (addr[x] == ':')
      numcolon++;
  }
  compressed = 0;
  x = 0;
  while (x < strlen(addr) - 1) {
    if (addr[x] == ':' && addr[x + 1] == ':')
      compressed++;
    x++;
  }
  if (compressed > 1)
    return -1;
  if (!compressed && numcolon != 7 && type == 1)
    return -1;
  if (!compressed && numcolon != 6 && type == 2)
    return -1;
  if (compressed && type == 1) {
    if (numcolon > 7)
      return -1;
  }
  if (compressed && type == 2) {
    if (numcolon > 6)
      return -1;
  }
  y = 0;
  for (x = 0; x < strlen(addr); x++) {
    if (addr[x] != ':')
      y++;
    else
      y = 0;
    if (y > 4)
      break;
  }
  if (y > 4)
    return -1;
  return 0;
}


x86 assembly (clang, -O0):
<validate_s_v6addr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
cmp    $0x2,%eax
jge    113d <validate_s_v6addr+0x2d>
movl   $0xffffffff,-0x4(%rbp)
jmp    1567 <validate_s_v6addr+0x457>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
cmp    $0x27,%eax
jle    115b <validate_s_v6addr+0x4b>
movl   $0xffffffff,-0x4(%rbp)
jmp    1567 <validate_s_v6addr+0x457>
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
cmp    %ecx,%eax
jge    122f <validate_s_v6addr+0x11f>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x34(%rbp)
lea    0xe60(%rip),%rdi
call   1030 <strlen@plt>
mov    -0x34(%rbp),%ecx
mov    %eax,%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x2d(%rbp)
jge    11c3 <validate_s_v6addr+0xb3>
cmpl   $0x0,-0x1c(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x2d(%rbp)
mov    -0x2d(%rbp),%al
test   $0x1,%al
jne    11d3 <validate_s_v6addr+0xc3>
jmp    120b <validate_s_v6addr+0xfb>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movslq -0x20(%rbp),%rdx
lea    0xe16(%rip),%rcx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    11fd <validate_s_v6addr+0xed>
movl   $0x1,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1193 <validate_s_v6addr+0x83>
cmpl   $0x0,-0x1c(%rbp)
jne    1221 <validate_s_v6addr+0x111>
movl   $0xffffffff,-0x4(%rbp)
jmp    1567 <validate_s_v6addr+0x457>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1169 <validate_s_v6addr+0x59>
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x38(%rbp),%eax
cmp    %ecx,%eax
jge    12a7 <validate_s_v6addr+0x197>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jne    127c <validate_s_v6addr+0x16c>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1283 <validate_s_v6addr+0x173>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x3,-0x1c(%rbp)
jne    1299 <validate_s_v6addr+0x189>
movl   $0xffffffff,-0x4(%rbp)
jmp    1567 <validate_s_v6addr+0x457>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    123d <validate_s_v6addr+0x12d>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jne    12d4 <validate_s_v6addr+0x1c4>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x3a,%eax
je     12d4 <validate_s_v6addr+0x1c4>
movl   $0xffffffff,-0x4(%rbp)
jmp    1567 <validate_s_v6addr+0x457>
cmpl   $0x1,-0x14(%rbp)
jne    133e <validate_s_v6addr+0x22e>
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x40(%rbp),%rax
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jne    133e <validate_s_v6addr+0x22e>
mov    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x48(%rbp),%rax
sub    $0x2,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
je     133e <validate_s_v6addr+0x22e>
movl   $0xffffffff,-0x4(%rbp)
jmp    1567 <validate_s_v6addr+0x457>
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x4c(%rbp),%eax
cmp    %ecx,%eax
jge    1399 <validate_s_v6addr+0x289>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jne    1386 <validate_s_v6addr+0x276>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    138b <validate_s_v6addr+0x27b>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    134c <validate_s_v6addr+0x23c>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x50(%rbp),%eax
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    140c <validate_s_v6addr+0x2fc>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jne    13fe <validate_s_v6addr+0x2ee>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jne    13fe <validate_s_v6addr+0x2ee>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    13a7 <validate_s_v6addr+0x297>
cmpl   $0x1,-0x28(%rbp)
jle    1422 <validate_s_v6addr+0x312>
movl   $0xffffffff,-0x4(%rbp)
jmp    1567 <validate_s_v6addr+0x457>
cmpl   $0x0,-0x28(%rbp)
jne    144c <validate_s_v6addr+0x33c>
cmpl   $0x7,-0x24(%rbp)
je     144c <validate_s_v6addr+0x33c>
cmpl   $0x1,-0x14(%rbp)
jne    144c <validate_s_v6addr+0x33c>
movl   $0xffffffff,-0x4(%rbp)
jmp    1567 <validate_s_v6addr+0x457>
cmpl   $0x0,-0x28(%rbp)
jne    1476 <validate_s_v6addr+0x366>
cmpl   $0x6,-0x24(%rbp)
je     1476 <validate_s_v6addr+0x366>
cmpl   $0x2,-0x14(%rbp)
jne    1476 <validate_s_v6addr+0x366>
movl   $0xffffffff,-0x4(%rbp)
jmp    1567 <validate_s_v6addr+0x457>
cmpl   $0x0,-0x28(%rbp)
je     14a5 <validate_s_v6addr+0x395>
cmpl   $0x1,-0x14(%rbp)
jne    14a5 <validate_s_v6addr+0x395>
cmpl   $0x7,-0x24(%rbp)
jle    14a0 <validate_s_v6addr+0x390>
movl   $0xffffffff,-0x4(%rbp)
jmp    1567 <validate_s_v6addr+0x457>
jmp    14a5 <validate_s_v6addr+0x395>
cmpl   $0x0,-0x28(%rbp)
je     14d4 <validate_s_v6addr+0x3c4>
cmpl   $0x2,-0x14(%rbp)
jne    14d4 <validate_s_v6addr+0x3c4>
cmpl   $0x6,-0x24(%rbp)
jle    14cf <validate_s_v6addr+0x3bf>
movl   $0xffffffff,-0x4(%rbp)
jmp    1567 <validate_s_v6addr+0x457>
jmp    14d4 <validate_s_v6addr+0x3c4>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x54(%rbp),%eax
cmp    %ecx,%eax
jge    154a <validate_s_v6addr+0x43a>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
je     1521 <validate_s_v6addr+0x411>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1528 <validate_s_v6addr+0x418>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x4,-0x1c(%rbp)
jle    1537 <validate_s_v6addr+0x427>
jmp    154a <validate_s_v6addr+0x43a>
jmp    153c <validate_s_v6addr+0x42c>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    14e2 <validate_s_v6addr+0x3d2>
cmpl   $0x4,-0x1c(%rbp)
jle    1560 <validate_s_v6addr+0x450>
movl   $0xffffffff,-0x4(%rbp)
jmp    1567 <validate_s_v6addr+0x457>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<validate_s_v6addr>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %esi,%ebp
mov    %rdi,%r13
call   1030 <strlen@plt>
mov    $0xffffffff,%ebx
cmp    $0x2,%eax
jl     12e7 <validate_s_v6addr+0x1d7>
mov    %r13,%rdi
call   1030 <strlen@plt>
cmp    $0x27,%eax
jg     12e7 <validate_s_v6addr+0x1d7>
mov    %ebp,0x4(%rsp)
mov    %r13,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jle    11c0 <validate_s_v6addr+0xb0>
xor    %ebx,%ebx
lea    0xea3(%rip),%r12
nopl   (%rax)
mov    %r12,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jle    12e2 <validate_s_v6addr+0x1d2>
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl 0x0(%r13,%rbx,1),%r14d
movzbl 0x0(%rbp,%r12,1),%r15d
add    $0x1,%rbp
mov    %r12,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbp
jge    11a4 <validate_s_v6addr+0x94>
cmp    %r15b,%r14b
jne    1180 <validate_s_v6addr+0x70>
cmp    %r15b,%r14b
jne    12e2 <validate_s_v6addr+0x1d2>
add    $0x1,%rbx
mov    %r13,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbx
jl     1160 <validate_s_v6addr+0x50>
mov    %r13,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jle    1209 <validate_s_v6addr+0xf9>
xor    %r12d,%r12d
xor    %ebp,%ebp
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%ebx
cmpb   $0x3a,0x0(%r13,%rbp,1)
cmovne %r12d,%ebx
cmp    $0x3,%ebx
je     12e2 <validate_s_v6addr+0x1d2>
add    $0x1,%rbp
mov    %r13,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbp
jl     11e0 <validate_s_v6addr+0xd0>
cmpb   $0x3a,0x0(%r13)
jne    121b <validate_s_v6addr+0x10b>
cmpb   $0x3a,0x1(%r13)
jne    12e2 <validate_s_v6addr+0x1d2>
cmpl   $0x1,0x4(%rsp)
jne    124a <validate_s_v6addr+0x13a>
mov    %r13,%rdi
call   1030 <strlen@plt>
cltq
cmpb   $0x3a,-0x1(%rax,%r13,1)
jne    124a <validate_s_v6addr+0x13a>
mov    %r13,%rdi
call   1030 <strlen@plt>
cltq
cmpb   $0x3a,-0x2(%rax,%r13,1)
jne    12e2 <validate_s_v6addr+0x1d2>
mov    %r13,%rdi
call   1030 <strlen@plt>
xor    %r12d,%r12d
mov    $0x0,%ebp
test   %eax,%eax
jle    1290 <validate_s_v6addr+0x180>
xor    %ebx,%ebx
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
xor    %eax,%eax
cmpb   $0x3a,0x0(%r13,%rbx,1)
sete   %al
add    %eax,%ebp
add    $0x1,%rbx
mov    %r13,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbx
jl     1270 <validate_s_v6addr+0x160>
mov    %r13,%rdi
call   1030 <strlen@plt>
cmp    $0x2,%eax
mov    $0xffffffff,%ebx
jl     1303 <validate_s_v6addr+0x1f3>
xor    %eax,%eax
xor    %r12d,%r12d
jmp    12c6 <validate_s_v6addr+0x1b6>
nopl   0x0(%rax)
mov    %r13,%rdi
call   1030 <strlen@plt>
add    $0xffffffff,%eax
movslq %eax,%rcx
mov    %rbx,%rax
cmp    %rcx,%rbx
jge    12f8 <validate_s_v6addr+0x1e8>
lea    0x1(%rax),%rbx
cmpb   $0x3a,0x0(%r13,%rax,1)
jne    12b0 <validate_s_v6addr+0x1a0>
xor    %ecx,%ecx
cmpb   $0x3a,0x1(%r13,%rax,1)
sete   %cl
add    %ecx,%r12d
jmp    12b0 <validate_s_v6addr+0x1a0>
mov    $0xffffffff,%ebx
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x1,%r12d
mov    $0xffffffff,%ebx
jg     12e7 <validate_s_v6addr+0x1d7>
cmpl   $0x1,0x4(%rsp)
jne    1314 <validate_s_v6addr+0x204>
test   %r12d,%r12d
jne    1314 <validate_s_v6addr+0x204>
cmp    $0x7,%ebp
jne    12e7 <validate_s_v6addr+0x1d7>
cmpl   $0x2,0x4(%rsp)
jne    1325 <validate_s_v6addr+0x215>
test   %r12d,%r12d
jne    1325 <validate_s_v6addr+0x215>
cmp    $0x6,%ebp
jne    12e7 <validate_s_v6addr+0x1d7>
cmpl   $0x1,0x4(%rsp)
jne    1336 <validate_s_v6addr+0x226>
test   %r12d,%r12d
je     1336 <validate_s_v6addr+0x226>
cmp    $0x7,%ebp
ja     12e7 <validate_s_v6addr+0x1d7>
cmpl   $0x2,0x4(%rsp)
jne    1347 <validate_s_v6addr+0x237>
test   %r12d,%r12d
je     1347 <validate_s_v6addr+0x237>
cmp    $0x6,%ebp
ja     12e7 <validate_s_v6addr+0x1d7>
mov    %r13,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jle    1381 <validate_s_v6addr+0x271>
xor    %r14d,%r14d
xor    %ebp,%ebp
xor    %ebx,%ebx
add    $0x1,%ebx
cmpb   $0x3a,0x0(%r13,%rbp,1)
cmove  %r14d,%ebx
cmp    $0x5,%ebx
jge    1385 <validate_s_v6addr+0x275>
add    $0x1,%rbp
mov    %r13,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbp
jl     135a <validate_s_v6addr+0x24a>
jmp    138a <validate_s_v6addr+0x27a>
xor    %ebx,%ebx
jmp    138a <validate_s_v6addr+0x27a>
mov    $0x5,%ebx
cmp    $0x5,%ebx
mov    $0x0,%ebx
setge  %bl
neg    %ebx
jmp    12e7 <validate_s_v6addr+0x1d7>

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

LLVM IR (-O2):
@.str = [24 x i8] c"0123456789ABCDEFabcdef:\00"
define i32 @validate_s_v6addr(i8* %0, i32 %1) {
%3 = tail call i32 @strlen(i8* %0)
%4 = icmp slt i32 %3, 2
br i1 %4, label %155, label %5
5: ; preds = %2
%6 = tail call i32 @strlen(i8* %0)
%7 = icmp sgt i32 %6, 39
br i1 %7, label %155, label %8
8: ; preds = %5
%9 = tail call i32 @strlen(i8* %0)
%10 = icmp sgt i32 %9, 0
br i1 %10, label %15, label %21
11: ; preds = %35
%12 = tail call i32 @strlen(i8* %0)
%13 = sext i32 %12 to i64
%14 = icmp slt i64 %36, %13
br i1 %14, label %15, label %21
15: ; preds = %8, %11
%16 = phi i64 [ %36, %11 ], [ 0, %8 ]
%17 = tail call i32 @strlen(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0))
%18 = icmp sgt i32 %17, 0
br i1 %18, label %19, label %155
19: ; preds = %15
%20 = getelementptr inbounds i8, i8* %0, i64 %16
br label %24
21: ; preds = %11, %8
%22 = tail call i32 @strlen(i8* %0)
%23 = icmp sgt i32 %22, 0
br i1 %23, label %41, label %51
24: ; preds = %19, %24
%25 = phi i64 [ 0, %19 ], [ %30, %24 ]
%26 = load i8, i8* %20
%27 = getelementptr inbounds [24 x i8], [24 x i8]* @.str, i64 0, i64 %25
%28 = load i8, i8* %27
%29 = icmp ne i8 %26, %28
%30 = add nuw nsw i64 %25, 1
%31 = tail call i32 @strlen(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0))
%32 = sext i32 %31 to i64
%33 = icmp slt i64 %30, %32
%34 = select i1 %33, i1 %29, i1 false
br i1 %34, label %24, label %35
35: ; preds = %24
%36 = add nuw nsw i64 %16, 1
br i1 %29, label %155, label %11
37: ; preds = %41
%38 = tail call i32 @strlen(i8* %0)
%39 = sext i32 %38 to i64
%40 = icmp slt i64 %50, %39
br i1 %40, label %41, label %51
41: ; preds = %21, %37
%42 = phi i64 [ %50, %37 ], [ 0, %21 ]
%43 = phi i32 [ %48, %37 ], [ 0, %21 ]
%44 = getelementptr inbounds i8, i8* %0, i64 %42
%45 = load i8, i8* %44
%46 = icmp eq i8 %45, 58
%47 = add nsw i32 %43, 1
%48 = select i1 %46, i32 %47, i32 0
%49 = icmp eq i32 %48, 3
%50 = add nuw nsw i64 %42, 1
br i1 %49, label %155, label %37
51: ; preds = %37, %21
%52 = load i8, i8* %0
%53 = icmp eq i8 %52, 58
br i1 %53, label %54, label %58
54: ; preds = %51
%55 = getelementptr inbounds i8, i8* %0, i64 1
%56 = load i8, i8* %55
%57 = icmp eq i8 %56, 58
br i1 %57, label %58, label %155
58: ; preds = %54, %51
%59 = icmp eq i32 %1, 1
br i1 %59, label %60, label %74
60: ; preds = %58
%61 = tail call i32 @strlen(i8* %0)
%62 = add nsw i32 %61, -1
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i8, i8* %0, i64 %63
%65 = load i8, i8* %64
%66 = icmp eq i8 %65, 58
br i1 %66, label %67, label %74
67: ; preds = %60
%68 = tail call i32 @strlen(i8* %0)
%69 = add nsw i32 %68, -2
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds i8, i8* %0, i64 %70
%72 = load i8, i8* %71
%73 = icmp eq i8 %72, 58
br i1 %73, label %74, label %155
74: ; preds = %67, %60, %58
%75 = tail call i32 @strlen(i8* %0)
%76 = icmp sgt i32 %75, 0
br i1 %76, label %81, label %77
77: ; preds = %81, %74
%78 = phi i32 [ 0, %74 ], [ %88, %81 ]
%79 = tail call i32 @strlen(i8* %0)
%80 = icmp sgt i32 %79, 1
br i1 %80, label %93, label %114
81: ; preds = %74, %81
%82 = phi i64 [ %89, %81 ], [ 0, %74 ]
%83 = phi i32 [ %88, %81 ], [ 0, %74 ]
%84 = getelementptr inbounds i8, i8* %0, i64 %82
%85 = load i8, i8* %84
%86 = icmp eq i8 %85, 58
%87 = zext i1 %86 to i32
%88 = add nuw nsw i32 %83, %87
%89 = add nuw nsw i64 %82, 1
%90 = tail call i32 @strlen(i8* %0)
%91 = sext i32 %90 to i64
%92 = icmp slt i64 %89, %91
br i1 %92, label %81, label %77
93: ; preds = %77, %106
%94 = phi i64 [ %99, %106 ], [ 0, %77 ]
%95 = phi i32 [ %107, %106 ], [ 0, %77 ]
%96 = getelementptr inbounds i8, i8* %0, i64 %94
%97 = load i8, i8* %96
%98 = icmp eq i8 %97, 58
%99 = add nuw nsw i64 %94, 1
br i1 %98, label %100, label %106
100: ; preds = %93
%101 = getelementptr inbounds i8, i8* %0, i64 %99
%102 = load i8, i8* %101
%103 = icmp eq i8 %102, 58
%104 = zext i1 %103 to i32
%105 = add nsw i32 %95, %104
br label %106
106: ; preds = %93, %100
%107 = phi i32 [ %105, %100 ], [ %95, %93 ]
%108 = tail call i32 @strlen(i8* %0)
%109 = add nsw i32 %108, -1
%110 = sext i32 %109 to i64
%111 = icmp slt i64 %99, %110
br i1 %111, label %93, label %112
112: ; preds = %106
%113 = icmp sgt i32 %107, 1
br i1 %113, label %155, label %114
114: ; preds = %77, %112
%115 = phi i32 [ %107, %112 ], [ 0, %77 ]
%116 = icmp eq i32 %115, 0
%117 = icmp ne i32 %78, 7
%118 = select i1 %116, i1 %117, i1 false
%119 = and i1 %59, %118
br i1 %119, label %155, label %120
120: ; preds = %114
%121 = icmp ne i32 %78, 6
%122 = select i1 %116, i1 %121, i1 false
%123 = icmp eq i32 %1, 2
%124 = and i1 %123, %122
br i1 %124, label %155, label %125
125: ; preds = %120
%126 = icmp ne i32 %115, 0
%127 = and i1 %59, %126
%128 = icmp ugt i32 %78, 7
%129 = select i1 %127, i1 %128, i1 false
br i1 %129, label %155, label %130
130: ; preds = %125
%131 = and i1 %123, %126
%132 = icmp ugt i32 %78, 6
%133 = select i1 %131, i1 %132, i1 false
br i1 %133, label %155, label %134
134: ; preds = %130
%135 = tail call i32 @strlen(i8* %0)
%136 = icmp sgt i32 %135, 0
br i1 %136, label %141, label %151
137: ; preds = %141
%138 = tail call i32 @strlen(i8* %0)
%139 = sext i32 %138 to i64
%140 = icmp slt i64 %150, %139
br i1 %140, label %141, label %151
141: ; preds = %134, %137
%142 = phi i64 [ %150, %137 ], [ 0, %134 ]
%143 = phi i32 [ %148, %137 ], [ 0, %134 ]
%144 = getelementptr inbounds i8, i8* %0, i64 %142
%145 = load i8, i8* %144
%146 = icmp eq i8 %145, 58
%147 = add nsw i32 %143, 1
%148 = select i1 %146, i32 0, i32 %147
%149 = icmp sgt i32 %148, 4
%150 = add nuw nsw i64 %142, 1
br i1 %149, label %151, label %137
151: ; preds = %137, %141, %134
%152 = phi i32 [ 0, %134 ], [ 5, %141 ], [ %148, %137 ]
%153 = icmp sgt i32 %152, 4
%154 = sext i1 %153 to i32
br label %155
155: ; preds = %15, %35, %41, %151, %130, %125, %120, %114, %112, %67, %54, %5, %2
%156 = phi i32 [ -1, %2 ], [ -1, %5 ], [ -1, %54 ], [ -1, %67 ], [ -1, %112 ], [ -1, %114 ], [ -1, %120 ], [ -1, %125 ], [ -1, %130 ], [ %154, %151 ], [ -1, %41 ], [ -1, %35 ], [ -1, %15 ]
ret i32 %156
}