#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 i, j, k;
  int numcolon;
  int compressed;
  if (strlen(addr) < 2)
    return -1;
  if (strlen(addr) > 39)
    return -1;
  i = 0;
  j = 0;
  while (i < strlen(addr)) {
    j = 0;
    for (k = 0; k < strlen("0123456789ABCDEFabcdef:") && !j; k++) {
      if (addr[i] == "0123456789ABCDEFabcdef:"[k])
        j = 1;
    }
    if (!j)
      return -1;
    i++;
  }
  i = 0;
  j = 0;
  while (i < strlen(addr)) {
    if (addr[i] == ':')
      j++;
    else
      j = 0;
    if (j == 3)
      return -1;
    i++;
  }
  if (addr[0] == ':' && addr[1] != ':')
    return -1;
  if (type == 1 && addr[strlen(addr) - 1] == ':' &&
      addr[strlen(addr) - 2] != ':')
    return -1;
  numcolon = 0;
  for (i = 0; i < strlen(addr); i++) {
    if (addr[i] == ':')
      numcolon++;
  }
  compressed = 0;
  i = 0;
  while (i < strlen(addr) - 1) {
    if (addr[i] == ':' && addr[i + 1] == ':')
      compressed++;
    i++;
  }
  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;
  }
  j = 0;
  for (i = 0; i < strlen(addr); i++) {
    if (addr[i] != ':')
      j++;
    else
      j = 0;
    if (j > 4)
      break;
  }
  if (j > 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    156c <validate_s_v6addr+0x45c>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
cmp    $0x27,%eax
jle    115b <validate_s_v6addr+0x4b>
movl   $0xffffffff,-0x4(%rbp)
jmp    156c <validate_s_v6addr+0x45c>
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    1234 <validate_s_v6addr+0x124>
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    1210 <validate_s_v6addr+0x100>
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)
jmp    1202 <validate_s_v6addr+0xf2>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1193 <validate_s_v6addr+0x83>
cmpl   $0x0,-0x1c(%rbp)
jne    1226 <validate_s_v6addr+0x116>
movl   $0xffffffff,-0x4(%rbp)
jmp    156c <validate_s_v6addr+0x45c>
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    12ac <validate_s_v6addr+0x19c>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jne    1281 <validate_s_v6addr+0x171>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1288 <validate_s_v6addr+0x178>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x3,-0x1c(%rbp)
jne    129e <validate_s_v6addr+0x18e>
movl   $0xffffffff,-0x4(%rbp)
jmp    156c <validate_s_v6addr+0x45c>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1242 <validate_s_v6addr+0x132>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jne    12d9 <validate_s_v6addr+0x1c9>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x3a,%eax
je     12d9 <validate_s_v6addr+0x1c9>
movl   $0xffffffff,-0x4(%rbp)
jmp    156c <validate_s_v6addr+0x45c>
cmpl   $0x1,-0x14(%rbp)
jne    1343 <validate_s_v6addr+0x233>
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    1343 <validate_s_v6addr+0x233>
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     1343 <validate_s_v6addr+0x233>
movl   $0xffffffff,-0x4(%rbp)
jmp    156c <validate_s_v6addr+0x45c>
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    139e <validate_s_v6addr+0x28e>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jne    138b <validate_s_v6addr+0x27b>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1390 <validate_s_v6addr+0x280>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1351 <validate_s_v6addr+0x241>
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    1411 <validate_s_v6addr+0x301>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jne    1403 <validate_s_v6addr+0x2f3>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jne    1403 <validate_s_v6addr+0x2f3>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    13ac <validate_s_v6addr+0x29c>
cmpl   $0x1,-0x28(%rbp)
jle    1427 <validate_s_v6addr+0x317>
movl   $0xffffffff,-0x4(%rbp)
jmp    156c <validate_s_v6addr+0x45c>
cmpl   $0x0,-0x28(%rbp)
jne    1451 <validate_s_v6addr+0x341>
cmpl   $0x7,-0x24(%rbp)
je     1451 <validate_s_v6addr+0x341>
cmpl   $0x1,-0x14(%rbp)
jne    1451 <validate_s_v6addr+0x341>
movl   $0xffffffff,-0x4(%rbp)
jmp    156c <validate_s_v6addr+0x45c>
cmpl   $0x0,-0x28(%rbp)
jne    147b <validate_s_v6addr+0x36b>
cmpl   $0x6,-0x24(%rbp)
je     147b <validate_s_v6addr+0x36b>
cmpl   $0x2,-0x14(%rbp)
jne    147b <validate_s_v6addr+0x36b>
movl   $0xffffffff,-0x4(%rbp)
jmp    156c <validate_s_v6addr+0x45c>
cmpl   $0x0,-0x28(%rbp)
je     14aa <validate_s_v6addr+0x39a>
cmpl   $0x1,-0x14(%rbp)
jne    14aa <validate_s_v6addr+0x39a>
cmpl   $0x7,-0x24(%rbp)
jle    14a5 <validate_s_v6addr+0x395>
movl   $0xffffffff,-0x4(%rbp)
jmp    156c <validate_s_v6addr+0x45c>
jmp    14aa <validate_s_v6addr+0x39a>
cmpl   $0x0,-0x28(%rbp)
je     14d9 <validate_s_v6addr+0x3c9>
cmpl   $0x2,-0x14(%rbp)
jne    14d9 <validate_s_v6addr+0x3c9>
cmpl   $0x6,-0x24(%rbp)
jle    14d4 <validate_s_v6addr+0x3c4>
movl   $0xffffffff,-0x4(%rbp)
jmp    156c <validate_s_v6addr+0x45c>
jmp    14d9 <validate_s_v6addr+0x3c9>
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    154f <validate_s_v6addr+0x43f>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
je     1526 <validate_s_v6addr+0x416>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    152d <validate_s_v6addr+0x41d>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x4,-0x1c(%rbp)
jle    153c <validate_s_v6addr+0x42c>
jmp    154f <validate_s_v6addr+0x43f>
jmp    1541 <validate_s_v6addr+0x431>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    14e7 <validate_s_v6addr+0x3d7>
cmpl   $0x4,-0x1c(%rbp)
jle    1565 <validate_s_v6addr+0x455>
movl   $0xffffffff,-0x4(%rbp)
jmp    156c <validate_s_v6addr+0x45c>
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 %252
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 %252
20: ; preds = %15
store i32 0, i32* %6
store i32 0, i32* %7
br label %21
21: ; preds = %59, %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 %62
26: ; preds = %21
store i32 0, i32* %7
store i32 0, i32* %8
br label %27
27: ; preds = %52, %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 %55
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
br label %52
52: ; preds = %51
%53 = load i32, i32* %8
%54 = add nsw i32 %53, 1
store i32 %54, i32* %8
br label %27
55: ; preds = %35
%56 = load i32, i32* %7
%57 = icmp ne i32 %56, 0
br i1 %57, label %59, label %58
58: ; preds = %55
store i32 -1, i32* %3
br label %252
59: ; preds = %55
%60 = load i32, i32* %6
%61 = add nsw i32 %60, 1
store i32 %61, i32* %6
br label %21
62: ; preds = %21
store i32 0, i32* %6
store i32 0, i32* %7
br label %63
63: ; preds = %84, %62
%64 = load i32, i32* %6
%65 = load i8*, i8** %4
%66 = call i32 @strlen(i8* %65)
%67 = icmp slt i32 %64, %66
br i1 %67, label %68, label %87
68: ; preds = %63
%69 = load i8*, i8** %4
%70 = load i32, i32* %6
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i8, i8* %69, i64 %71
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = icmp eq i32 %74, 58
br i1 %75, label %76, label %79
76: ; preds = %68
%77 = load i32, i32* %7
%78 = add nsw i32 %77, 1
store i32 %78, i32* %7
br label %80
79: ; preds = %68
store i32 0, i32* %7
br label %80
80: ; preds = %79, %76
%81 = load i32, i32* %7
%82 = icmp eq i32 %81, 3
br i1 %82, label %83, label %84
83: ; preds = %80
store i32 -1, i32* %3
br label %252
84: ; preds = %80
%85 = load i32, i32* %6
%86 = add nsw i32 %85, 1
store i32 %86, i32* %6
br label %63
87: ; preds = %63
%88 = load i8*, i8** %4
%89 = getelementptr inbounds i8, i8* %88, i64 0
%90 = load i8, i8* %89
%91 = sext i8 %90 to i32
%92 = icmp eq i32 %91, 58
br i1 %92, label %93, label %100
93: ; preds = %87
%94 = load i8*, i8** %4
%95 = getelementptr inbounds i8, i8* %94, i64 1
%96 = load i8, i8* %95
%97 = sext i8 %96 to i32
%98 = icmp ne i32 %97, 58
br i1 %98, label %99, label %100
99: ; preds = %93
store i32 -1, i32* %3
br label %252
100: ; preds = %93, %87
%101 = load i32, i32* %5
%102 = icmp eq i32 %101, 1
br i1 %102, label %103, label %124
103: ; preds = %100
%104 = load i8*, i8** %4
%105 = load i8*, i8** %4
%106 = call i32 @strlen(i8* %105)
%107 = sub nsw i32 %106, 1
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i8, i8* %104, i64 %108
%110 = load i8, i8* %109
%111 = sext i8 %110 to i32
%112 = icmp eq i32 %111, 58
br i1 %112, label %113, label %124
113: ; preds = %103
%114 = load i8*, i8** %4
%115 = load i8*, i8** %4
%116 = call i32 @strlen(i8* %115)
%117 = sub nsw i32 %116, 2
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i8, i8* %114, i64 %118
%120 = load i8, i8* %119
%121 = sext i8 %120 to i32
%122 = icmp ne i32 %121, 58
br i1 %122, label %123, label %124
123: ; preds = %113
store i32 -1, i32* %3
br label %252
124: ; preds = %113, %103, %100
store i32 0, i32* %9
store i32 0, i32* %6
br label %125
125: ; preds = %142, %124
%126 = load i32, i32* %6
%127 = load i8*, i8** %4
%128 = call i32 @strlen(i8* %127)
%129 = icmp slt i32 %126, %128
br i1 %129, label %130, label %145
130: ; preds = %125
%131 = load i8*, i8** %4
%132 = load i32, i32* %6
%133 = sext i32 %132 to i64
%134 = getelementptr inbounds i8, i8* %131, i64 %133
%135 = load i8, i8* %134
%136 = sext i8 %135 to i32
%137 = icmp eq i32 %136, 58
br i1 %137, label %138, label %141
138: ; preds = %130
%139 = load i32, i32* %9
%140 = add nsw i32 %139, 1
store i32 %140, i32* %9
br label %141
141: ; preds = %138, %130
br label %142
142: ; preds = %141
%143 = load i32, i32* %6
%144 = add nsw i32 %143, 1
store i32 %144, i32* %6
br label %125
145: ; preds = %125
store i32 0, i32* %10
store i32 0, i32* %6
br label %146
146: ; preds = %172, %145
%147 = load i32, i32* %6
%148 = load i8*, i8** %4
%149 = call i32 @strlen(i8* %148)
%150 = sub nsw i32 %149, 1
%151 = icmp slt i32 %147, %150
br i1 %151, label %152, label %175
152: ; preds = %146
%153 = load i8*, i8** %4
%154 = load i32, i32* %6
%155 = sext i32 %154 to i64
%156 = getelementptr inbounds i8, i8* %153, i64 %155
%157 = load i8, i8* %156
%158 = sext i8 %157 to i32
%159 = icmp eq i32 %158, 58
br i1 %159, label %160, label %172
160: ; preds = %152
%161 = load i8*, i8** %4
%162 = load i32, i32* %6
%163 = add nsw i32 %162, 1
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds i8, i8* %161, i64 %164
%166 = load i8, i8* %165
%167 = sext i8 %166 to i32
%168 = icmp eq i32 %167, 58
br i1 %168, label %169, label %172
169: ; preds = %160
%170 = load i32, i32* %10
%171 = add nsw i32 %170, 1
store i32 %171, i32* %10
br label %172
172: ; preds = %169, %160, %152
%173 = load i32, i32* %6
%174 = add nsw i32 %173, 1
store i32 %174, i32* %6
br label %146
175: ; preds = %146
%176 = load i32, i32* %10
%177 = icmp sgt i32 %176, 1
br i1 %177, label %178, label %179
178: ; preds = %175
store i32 -1, i32* %3
br label %252
179: ; preds = %175
%180 = load i32, i32* %10
%181 = icmp ne i32 %180, 0
br i1 %181, label %189, label %182
182: ; preds = %179
%183 = load i32, i32* %9
%184 = icmp ne i32 %183, 7
br i1 %184, label %185, label %189
185: ; preds = %182
%186 = load i32, i32* %5
%187 = icmp eq i32 %186, 1
br i1 %187, label %188, label %189
188: ; preds = %185
store i32 -1, i32* %3
br label %252
189: ; preds = %185, %182, %179
%190 = load i32, i32* %10
%191 = icmp ne i32 %190, 0
br i1 %191, label %199, label %192
192: ; preds = %189
%193 = load i32, i32* %9
%194 = icmp ne i32 %193, 6
br i1 %194, label %195, label %199
195: ; preds = %192
%196 = load i32, i32* %5
%197 = icmp eq i32 %196, 2
br i1 %197, label %198, label %199
198: ; preds = %195
store i32 -1, i32* %3
br label %252
199: ; preds = %195, %192, %189
%200 = load i32, i32* %10
%201 = icmp ne i32 %200, 0
br i1 %201, label %202, label %210
202: ; preds = %199
%203 = load i32, i32* %5
%204 = icmp eq i32 %203, 1
br i1 %204, label %205, label %210
205: ; preds = %202
%206 = load i32, i32* %9
%207 = icmp sgt i32 %206, 7
br i1 %207, label %208, label %209
208: ; preds = %205
store i32 -1, i32* %3
br label %252
209: ; preds = %205
br label %210
210: ; preds = %209, %202, %199
%211 = load i32, i32* %10
%212 = icmp ne i32 %211, 0
br i1 %212, label %213, label %221
213: ; preds = %210
%214 = load i32, i32* %5
%215 = icmp eq i32 %214, 2
br i1 %215, label %216, label %221
216: ; preds = %213
%217 = load i32, i32* %9
%218 = icmp sgt i32 %217, 6
br i1 %218, label %219, label %220
219: ; preds = %216
store i32 -1, i32* %3
br label %252
220: ; preds = %216
br label %221
221: ; preds = %220, %213, %210
store i32 0, i32* %7
store i32 0, i32* %6
br label %222
222: ; preds = %244, %221
%223 = load i32, i32* %6
%224 = load i8*, i8** %4
%225 = call i32 @strlen(i8* %224)
%226 = icmp slt i32 %223, %225
br i1 %226, label %227, label %247
227: ; preds = %222
%228 = load i8*, i8** %4
%229 = load i32, i32* %6
%230 = sext i32 %229 to i64
%231 = getelementptr inbounds i8, i8* %228, i64 %230
%232 = load i8, i8* %231
%233 = sext i8 %232 to i32
%234 = icmp ne i32 %233, 58
br i1 %234, label %235, label %238
235: ; preds = %227
%236 = load i32, i32* %7
%237 = add nsw i32 %236, 1
store i32 %237, i32* %7
br label %239
238: ; preds = %227
store i32 0, i32* %7
br label %239
239: ; preds = %238, %235
%240 = load i32, i32* %7
%241 = icmp sgt i32 %240, 4
br i1 %241, label %242, label %243
242: ; preds = %239
br label %247
243: ; preds = %239
br label %244
244: ; preds = %243
%245 = load i32, i32* %6
%246 = add nsw i32 %245, 1
store i32 %246, i32* %6
br label %222
247: ; preds = %242, %222
%248 = load i32, i32* %7
%249 = icmp sgt i32 %248, 4
br i1 %249, label %250, label %251
250: ; preds = %247
store i32 -1, i32* %3
br label %252
251: ; preds = %247
store i32 0, i32* %3
br label %252
252: ; preds = %251, %250, %219, %208, %198, %188, %178, %123, %99, %83, %58, %19, %14
%253 = load i32, i32* %3
ret i32 %253
}

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
}