#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
scalar_t__ inet_pton4(char const *, unsigned char *);
int /*<<< orphan*/ memcpy(unsigned char *, unsigned char *, int);
int /*<<< orphan*/ memset(unsigned char *, char, int);
char *strchr(char const *, int);
int inet_pton6(const char *src, unsigned char *dst) {
  static const char xdigits_l[] = "0123456789abcdef",
                    xdigits_u[] = "0123456789ABCDEF";
  unsigned char tmp[16], *tp, *endp, *colonp;
  const char *xdigits, *curtok;
  int ch, saw_xdigit;
  unsigned int val;
  memset((tp = tmp), '\0', 16);
  endp = tp + 16;
  colonp = NULL;
  if (*src == ':')
    if (*++src != ':')
      return (0);
  curtok = src;
  saw_xdigit = 0;
  val = 0;
  while ((ch = *src++) != '\0') {
    const char *pch;
    if ((pch = strchr((xdigits = xdigits_l), ch)) == NULL)
      pch = strchr((xdigits = xdigits_u), ch);
    if (pch != NULL) {
      val <<= 4;
      val |= (pch - xdigits);
      if (val > 0xffff)
        return (0);
      saw_xdigit = 1;
      continue;
    }
    if (ch == ':') {
      curtok = src;
      if (!saw_xdigit) {
        if (colonp)
          return (0);
        colonp = tp;
        continue;
      }
      if (tp + 2 > endp)
        return (0);
      *tp++ = (unsigned char)(val >> 8) & 0xff;
      *tp++ = (unsigned char)val & 0xff;
      saw_xdigit = 0;
      val = 0;
      continue;
    }
    if (ch == '.' && ((tp + 4) <= endp) && inet_pton4(curtok, tp) > 0) {
      tp += 4;
      saw_xdigit = 0;
      break;
    }
    return (0);
  }
  if (saw_xdigit) {
    if (tp + 2 > endp)
      return (0);
    *tp++ = (unsigned char)(val >> 8) & 0xff;
    *tp++ = (unsigned char)val & 0xff;
  }
  if (colonp != NULL) {
    const int n = tp - colonp;
    int i;
    for (i = 1; i <= n; i++) {
      endp[-i] = colonp[n - i];
      colonp[n - i] = 0;
    }
    tp = endp;
  }
  if (tp != endp)
    return (0);
  memcpy(dst, tmp, 16);
  return (1);
}


x86 assembly (clang, -O0):
<inet_pton6>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
lea    -0x30(%rbp),%rdi
mov    %rdi,-0x38(%rbp)
xor    %esi,%esi
mov    $0x10,%edx
call   1040 <memset@plt>
mov    -0x38(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x40(%rbp)
movq   $0x0,-0x48(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jne    11b8 <inet_pton6+0x78>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl 0x1(%rax),%eax
cmp    $0x3a,%eax
je     11b3 <inet_pton6+0x73>
movl   $0x0,-0x4(%rbp)
jmp    1492 <inet_pton6+0x352>
jmp    11b8 <inet_pton6+0x78>
mov    -0x10(%rbp),%rax
mov    %rax,-0x58(%rbp)
movl   $0x0,-0x60(%rbp)
movl   $0x0,-0x64(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
mov    %eax,-0x5c(%rbp)
cmp    $0x0,%eax
je     1386 <inet_pton6+0x246>
lea    0xe0d(%rip),%rax
mov    %rax,-0x50(%rbp)
mov    -0x5c(%rbp),%esi
lea    0xdff(%rip),%rdi
call   1030 <strchr@plt>
mov    %rax,-0x70(%rbp)
cmp    $0x0,%rax
jne    1232 <inet_pton6+0xf2>
lea    0xe05(%rip),%rax
mov    %rax,-0x50(%rbp)
mov    -0x5c(%rbp),%esi
lea    0xdf7(%rip),%rdi
call   1030 <strchr@plt>
mov    %rax,-0x70(%rbp)
cmpq   $0x0,-0x70(%rbp)
je     127f <inet_pton6+0x13f>
mov    -0x64(%rbp),%eax
shl    $0x4,%eax
mov    %eax,-0x64(%rbp)
mov    -0x70(%rbp),%rcx
mov    -0x50(%rbp),%rax
sub    %rax,%rcx
mov    -0x64(%rbp),%eax
or     %rcx,%rax
mov    %eax,-0x64(%rbp)
cmpl   $0xffff,-0x64(%rbp)
jbe    1273 <inet_pton6+0x133>
movl   $0x0,-0x4(%rbp)
jmp    1492 <inet_pton6+0x352>
movl   $0x1,-0x60(%rbp)
jmp    11ce <inet_pton6+0x8e>
cmpl   $0x3a,-0x5c(%rbp)
jne    132f <inet_pton6+0x1ef>
mov    -0x10(%rbp),%rax
mov    %rax,-0x58(%rbp)
cmpl   $0x0,-0x60(%rbp)
jne    12bf <inet_pton6+0x17f>
cmpq   $0x0,-0x48(%rbp)
je     12b2 <inet_pton6+0x172>
movl   $0x0,-0x4(%rbp)
jmp    1492 <inet_pton6+0x352>
mov    -0x38(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    11ce <inet_pton6+0x8e>
mov    -0x38(%rbp),%rax
add    $0x2,%rax
cmp    -0x40(%rbp),%rax
jbe    12dd <inet_pton6+0x19d>
movl   $0x0,-0x4(%rbp)
jmp    1492 <inet_pton6+0x352>
mov    -0x64(%rbp),%eax
shr    $0x8,%eax
movzbl %al,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
mov    -0x64(%rbp),%eax
movzbl %al,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
movl   $0x0,-0x60(%rbp)
movl   $0x0,-0x64(%rbp)
jmp    11ce <inet_pton6+0x8e>
cmpl   $0x2e,-0x5c(%rbp)
jne    137a <inet_pton6+0x23a>
mov    -0x38(%rbp),%rax
add    $0x4,%rax
cmp    -0x40(%rbp),%rax
ja     137a <inet_pton6+0x23a>
mov    -0x58(%rbp),%rdi
mov    -0x38(%rbp),%rsi
call   1060 <inet_pton4@plt>
cmp    $0x0,%rax
jle    137a <inet_pton6+0x23a>
mov    -0x38(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x60(%rbp)
jmp    1386 <inet_pton6+0x246>
movl   $0x0,-0x4(%rbp)
jmp    1492 <inet_pton6+0x352>
cmpl   $0x0,-0x60(%rbp)
je     13ed <inet_pton6+0x2ad>
mov    -0x38(%rbp),%rax
add    $0x2,%rax
cmp    -0x40(%rbp),%rax
jbe    13ae <inet_pton6+0x26e>
movl   $0x0,-0x4(%rbp)
jmp    1492 <inet_pton6+0x352>
mov    -0x64(%rbp),%eax
shr    $0x8,%eax
movzbl %al,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
mov    -0x64(%rbp),%eax
movzbl %al,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
cmpq   $0x0,-0x48(%rbp)
je     145f <inet_pton6+0x31f>
mov    -0x38(%rbp),%rax
mov    -0x48(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0x74(%rbp)
movl   $0x1,-0x78(%rbp)
mov    -0x78(%rbp),%eax
cmp    -0x74(%rbp),%eax
jg     1457 <inet_pton6+0x317>
mov    -0x48(%rbp),%rax
mov    -0x74(%rbp),%ecx
sub    -0x78(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x40(%rbp),%rax
xor    %ecx,%ecx
sub    -0x78(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x48(%rbp),%rax
mov    -0x74(%rbp),%ecx
sub    -0x78(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x78(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x78(%rbp)
jmp    140d <inet_pton6+0x2cd>
mov    -0x40(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x40(%rbp),%rax
je     1479 <inet_pton6+0x339>
movl   $0x0,-0x4(%rbp)
jmp    1492 <inet_pton6+0x352>
mov    -0x18(%rbp),%rdi
lea    -0x30(%rbp),%rsi
mov    $0x10,%edx
call   1050 <memcpy@plt>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<inet_pton6>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rsi,%r12
mov    %rdi,%rbx
lea    0x10(%rsp),%r15
xor    %ebp,%ebp
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1030 <memset@plt>
mov    (%rbx),%r14b
test   %r14b,%r14b
je     13aa <inet_pton6+0x26a>
mov    %r12,0x30(%rsp)
cmp    $0x3a,%r14b
mov    %r15,0x8(%rsp)
jne    119a <inet_pton6+0x5a>
cmpb   $0x3a,0x1(%rbx)
jne    13aa <inet_pton6+0x26a>
mov    %rbx,%rax
add    $0x1,%rbx
mov    $0x3a,%r14b
mov    %rbx,0x20(%rsp)
lea    0x1(%rbx),%r12
xor    %r13d,%r13d
lea    0xe53(%rip),%rbx
xor    %r15d,%r15d
xor    %eax,%eax
mov    %rax,(%rsp)
cs nopw 0x0(%rax,%rax,1)
movsbl %r14b,%ebp
mov    $0x11,%edx
mov    %rbx,%rdi
mov    %ebp,%esi
call   1040 <memchr@plt>
mov    %rbx,%rcx
test   %rax,%rax
jne    1208 <inet_pton6+0xc8>
mov    $0x11,%edx
mov    %r15d,0x2c(%rsp)
mov    %rbx,%r15
lea    0xe31(%rip),%rbx
mov    %rbx,%rdi
mov    %ebp,%esi
call   1040 <memchr@plt>
mov    %rbx,%rcx
mov    %r15,%rbx
mov    0x2c(%rsp),%edx
test   %rax,%rax
je     123b <inet_pton6+0xfb>
mov    %r13d,%edx
shl    $0x4,%edx
sub    %ecx,%eax
mov    %eax,%r13d
or     %edx,%r13d
xor    %eax,%eax
cmp    $0xffff,%r13d
ja     12b3 <inet_pton6+0x173>
mov    $0x1,%r15d
movzbl (%r12),%r14d
add    $0x1,%r12
test   %r14b,%r14b
jne    11c0 <inet_pton6+0x80>
jmp    12a8 <inet_pton6+0x168>
xor    %ebp,%ebp
cmp    $0x3a,%r14b
jne    13bb <inet_pton6+0x27b>
test   %edx,%edx
je     1284 <inet_pton6+0x144>
mov    0x8(%rsp),%rax
lea    0x2(%rax),%rcx
lea    0x20(%rsp),%rax
cmp    %rax,%rcx
ja     13aa <inet_pton6+0x26a>
rol    $0x8,%r13w
mov    0x8(%rsp),%rax
mov    %r13w,(%rax)
xor    %r15d,%r15d
mov    $0x1,%al
mov    %rcx,0x8(%rsp)
mov    %r12,0x20(%rsp)
xor    %r13d,%r13d
jmp    122b <inet_pton6+0xeb>
xor    %r15d,%r15d
mov    $0x1,%al
mov    %r12,0x20(%rsp)
mov    $0x0,%ebp
cmpq   $0x0,(%rsp)
mov    0x8(%rsp),%rcx
mov    %rcx,(%rsp)
je     122b <inet_pton6+0xeb>
jmp    13aa <inet_pton6+0x26a>
test   %al,%al
je     12ba <inet_pton6+0x17a>
mov    0x8(%rsp),%rbx
jmp    12e1 <inet_pton6+0x1a1>
xor    %ebp,%ebp
jmp    13aa <inet_pton6+0x26a>
mov    0x8(%rsp),%rax
lea    0x2(%rax),%rbx
xor    %ebp,%ebp
lea    0x20(%rsp),%rax
cmp    %rax,%rbx
ja     13aa <inet_pton6+0x26a>
rol    $0x8,%r13w
mov    0x8(%rsp),%rax
mov    %r13w,(%rax)
mov    (%rsp),%rax
test   %rax,%rax
je     1385 <inet_pton6+0x245>
sub    %rax,%rbx
test   %ebx,%ebx
jle    1391 <inet_pton6+0x251>
movslq %ebx,%r9
add    $0x1,%rbx
mov    %ebx,%eax
lea    -0x1(%rax),%r10
mov    $0x1,%esi
cmp    $0x4,%r10
jae    13e9 <inet_pton6+0x2a9>
lea    0x1(%rsi),%rcx
test   $0x1,%bl
jne    133f <inet_pton6+0x1ff>
mov    %r9,%rdx
sub    %rsi,%rdx
mov    (%rsp),%rbp
mov    0x0(%rbp,%rdx,1),%bl
lea    0x10(%rsp),%rdi
sub    %rsi,%rdi
mov    %bl,0x10(%rdi)
movb   $0x0,0x0(%rbp,%rdx,1)
mov    %rcx,%rsi
cmp    %rcx,%rax
je     1391 <inet_pton6+0x251>
add    %r9,(%rsp)
neg    %rsi
neg    %rax
mov    (%rsp),%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rdx,%rsi,1),%ecx
mov    %cl,0x20(%rsp,%rsi,1)
movb   $0x0,(%rdx,%rsi,1)
movzbl -0x1(%rdx,%rsi,1),%ecx
mov    %cl,0x1f(%rsp,%rsi,1)
movb   $0x0,-0x1(%rdx,%rsi,1)
add    $0xfffffffffffffffe,%rsi
cmp    %rsi,%rax
jne    1360 <inet_pton6+0x220>
jmp    1391 <inet_pton6+0x251>
xor    %ebp,%ebp
lea    0x20(%rsp),%rax
cmp    %rax,%rbx
jne    13aa <inet_pton6+0x26a>
lea    0x10(%rsp),%rsi
mov    0x30(%rsp),%rdi
mov    $0x10,%edx
call   1050 <memcpy@plt>
mov    $0x1,%ebp
mov    %ebp,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x2e,%r14b
jne    13aa <inet_pton6+0x26a>
mov    0x8(%rsp),%rsi
lea    0x4(%rsi),%rbx
lea    0x20(%rsp),%rax
cmp    %rax,%rbx
ja     13aa <inet_pton6+0x26a>
mov    0x20(%rsp),%rdi
call   1060 <inet_pton4@plt>
test   %rax,%rax
jg     12e1 <inet_pton6+0x1a1>
jmp    13aa <inet_pton6+0x26a>
lea    0x1f(%rsp),%rcx
mov    %rax,%rdi
neg    %rdi
add    %rsp,%rdi
add    $0x21,%rdi
cmp    %rcx,%rdi
ja     1315 <inet_pton6+0x1d5>
mov    $0x2,%edi
sub    %rax,%rdi
mov    (%rsp),%rdx
lea    (%r9,%rdx,1),%rcx
lea    (%r9,%rdx,1),%rbp
add    $0xffffffffffffffff,%rbp
add    %rcx,%rdi
add    $0xffffffffffffffff,%rdi
cmp    %rbp,%rdi
ja     1315 <inet_pton6+0x1d5>
lea    0x20(%rsp),%rdi
sub    %rax,%rdi
add    $0x1,%rdi
cmp    %rcx,%rdi
jae    145c <inet_pton6+0x31c>
mov    %r9,%rcx
sub    %rax,%rcx
mov    (%rsp),%rdx
add    %rdx,%rcx
add    $0x1,%rcx
lea    0x20(%rsp),%rdx
cmp    %rdx,%rcx
jb     1315 <inet_pton6+0x1d5>
cmp    $0x10,%r10
jae    1469 <inet_pton6+0x329>
xor    %edi,%edi
jmp    1508 <inet_pton6+0x3c8>
mov    %r10,%rdi
and    $0xfffffffffffffff0,%rdi
lea    -0x10(%rdi),%rcx
mov    %rcx,%r8
shr    $0x4,%r8
add    $0x1,%r8
test   %rcx,%rcx
je     14cb <inet_pton6+0x38b>
mov    %r8,%rsi
and    $0xfffffffffffffffe,%rsi
mov    (%rsp),%rdx
lea    (%r9,%rdx,1),%rcx
add    $0xfffffffffffffff0,%rcx
xor    %ebp,%ebp
xorps  %xmm0,%xmm0
movups (%rcx,%rbp,1),%xmm1
movaps %xmm1,0x10(%rsp,%rbp,1)
movups %xmm0,(%rcx,%rbp,1)
movups -0x10(%rcx,%rbp,1),%xmm1
movaps %xmm1,(%rsp,%rbp,1)
movups %xmm0,-0x10(%rcx,%rbp,1)
add    $0xffffffffffffffe0,%rbp
add    $0xfffffffffffffffe,%rsi
jne    149c <inet_pton6+0x35c>
mov    $0x1,%ecx
sub    %rbp,%rcx
jmp    14d4 <inet_pton6+0x394>
mov    $0x1,%ecx
mov    (%rsp),%rdx
test   $0x1,%r8b
je     14f9 <inet_pton6+0x3b9>
mov    %r9,%rsi
sub    %rcx,%rsi
movups -0xf(%rdx,%rsi,1),%xmm0
lea    0x10(%rsp),%rbp
sub    %rcx,%rbp
movaps %xmm0,0x1(%rbp)
xorps  %xmm0,%xmm0
movups %xmm0,-0xf(%rdx,%rsi,1)
cmp    %rdi,%r10
je     1391 <inet_pton6+0x251>
test   $0xc,%r10b
je     154f <inet_pton6+0x40f>
mov    %r10,%r8
and    $0xfffffffffffffffc,%r8
lea    0x1(%r8),%rsi
mov    (%rsp),%rcx
lea    (%r9,%rcx,1),%rbp
add    $0xfffffffffffffffc,%rbp
neg    %rdi
mov    %r8,%rcx
neg    %rcx
mov    0x0(%rbp,%rdi,1),%edx
mov    %edx,0x1c(%rsp,%rdi,1)
movl   $0x0,0x0(%rbp,%rdi,1)
add    $0xfffffffffffffffc,%rdi
cmp    %rdi,%rcx
jne    1528 <inet_pton6+0x3e8>
cmp    %r8,%r10
jne    1315 <inet_pton6+0x1d5>
jmp    1391 <inet_pton6+0x251>
or     $0x1,%rdi
mov    %rdi,%rsi
jmp    1315 <inet_pton6+0x1d5>

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

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