#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 */
typedef int u_int;
typedef int u_char;

/* Variables and functions */
int /*<<< orphan*/ AF_INET;
scalar_t__ inet_pton(int /*<<< orphan*/, char const *, int *);
int /*<<< orphan*/ memcpy(int *, int *, int);
int /*<<< orphan*/ memset(int *, char, int);
char *strchr(char const *, int);
int vinet_pton6w(const char *src, u_char *dst) {
  static const char xdigits_l[] = "0123456789abcdef",
                    xdigits_u[] = "0123456789ABCDEF";
  u_char tmp[16], *tp, *endp, *colonp;
  const char *xdigits, *curtok;
  int ch, seen_xdigits;
  u_int val;
  memset((tp = tmp), '\0', 16);
  endp = tp + 16;
  colonp = NULL;
  if (*src == ':')
    if (*++src != ':')
      return (0);
  curtok = src;
  seen_xdigits = 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 (++seen_xdigits > 4)
        return (0);
      continue;
    }
    if (ch == ':') {
      curtok = src;
      if (!seen_xdigits) {
        if (colonp)
          return (0);
        colonp = tp;
        continue;
      } else if (*src == '\0') {
        return (0);
      }
      if (tp + 2 > endp)
        return (0);
      *tp++ = (u_char)(val >> 8) & 0xff;
      *tp++ = (u_char)val & 0xff;
      seen_xdigits = 0;
      val = 0;
      continue;
    }
    if (ch == '.' && ((tp + 4) <= endp) && inet_pton(AF_INET, curtok, tp) > 0) {
      tp += 4;
      seen_xdigits = 0;
      break;
    }
    return (0);
  }
  if (seen_xdigits) {
    if (tp + 2 > endp)
      return (0);
    *tp++ = (u_char)(val >> 8) & 0xff;
    *tp++ = (u_char)val & 0xff;
  }
  if (colonp != NULL) {
    const int n = tp - colonp;
    int i;
    if (tp == endp)
      return (0);
    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):
<vinet_pton6w>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
lea    -0x60(%rbp),%rdi
mov    %rdi,-0x68(%rbp)
xor    %esi,%esi
mov    $0x10,%edx
call   1040 <memset@plt>
mov    -0x68(%rbp),%rax
add    $0x40,%rax
mov    %rax,-0x70(%rbp)
movq   $0x0,-0x78(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jne    11b8 <vinet_pton6w+0x78>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl 0x1(%rax),%eax
cmp    $0x3a,%eax
je     11b3 <vinet_pton6w+0x73>
movl   $0x0,-0x4(%rbp)
jmp    1544 <vinet_pton6w+0x404>
jmp    11b8 <vinet_pton6w+0x78>
mov    -0x10(%rbp),%rax
mov    %rax,-0x88(%rbp)
movl   $0x0,-0x90(%rbp)
movl   $0x0,-0x94(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
mov    %eax,-0x8c(%rbp)
cmp    $0x0,%eax
je     13f5 <vinet_pton6w+0x2b5>
lea    0xe01(%rip),%rax
mov    %rax,-0x80(%rbp)
mov    -0x8c(%rbp),%esi
lea    0xdf0(%rip),%rdi
call   1030 <strchr@plt>
mov    %rax,-0xa0(%rbp)
cmp    $0x0,%rax
jne    124a <vinet_pton6w+0x10a>
lea    0xdf3(%rip),%rax
mov    %rax,-0x80(%rbp)
mov    -0x8c(%rbp),%esi
lea    0xde2(%rip),%rdi
call   1030 <strchr@plt>
mov    %rax,-0xa0(%rbp)
cmpq   $0x0,-0xa0(%rbp)
je     12ae <vinet_pton6w+0x16e>
mov    -0x94(%rbp),%eax
shl    $0x4,%eax
mov    %eax,-0x94(%rbp)
mov    -0xa0(%rbp),%rcx
mov    -0x80(%rbp),%rax
sub    %rax,%rcx
movslq -0x94(%rbp),%rax
or     %rcx,%rax
mov    %eax,-0x94(%rbp)
mov    -0x90(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x90(%rbp)
cmp    $0x4,%eax
jle    12a9 <vinet_pton6w+0x169>
movl   $0x0,-0x4(%rbp)
jmp    1544 <vinet_pton6w+0x404>
jmp    11d7 <vinet_pton6w+0x97>
cmpl   $0x3a,-0x8c(%rbp)
jne    138c <vinet_pton6w+0x24c>
mov    -0x10(%rbp),%rax
mov    %rax,-0x88(%rbp)
cmpl   $0x0,-0x90(%rbp)
jne    12f7 <vinet_pton6w+0x1b7>
cmpq   $0x0,-0x78(%rbp)
je     12ea <vinet_pton6w+0x1aa>
movl   $0x0,-0x4(%rbp)
jmp    1544 <vinet_pton6w+0x404>
mov    -0x68(%rbp),%rax
mov    %rax,-0x78(%rbp)
jmp    11d7 <vinet_pton6w+0x97>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1313 <vinet_pton6w+0x1d3>
movl   $0x0,-0x4(%rbp)
jmp    1544 <vinet_pton6w+0x404>
jmp    1318 <vinet_pton6w+0x1d8>
mov    -0x68(%rbp),%rax
add    $0x8,%rax
cmp    -0x70(%rbp),%rax
jbe    1336 <vinet_pton6w+0x1f6>
movl   $0x0,-0x4(%rbp)
jmp    1544 <vinet_pton6w+0x404>
mov    -0x94(%rbp),%ecx
sar    $0x8,%ecx
and    $0xff,%ecx
mov    -0x68(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x68(%rbp)
mov    %ecx,(%rax)
mov    -0x94(%rbp),%ecx
and    $0xff,%ecx
mov    -0x68(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x68(%rbp)
mov    %ecx,(%rax)
movl   $0x0,-0x90(%rbp)
movl   $0x0,-0x94(%rbp)
jmp    11d7 <vinet_pton6w+0x97>
cmpl   $0x2e,-0x8c(%rbp)
jne    13e9 <vinet_pton6w+0x2a9>
mov    -0x68(%rbp),%rax
add    $0x10,%rax
cmp    -0x70(%rbp),%rax
ja     13e9 <vinet_pton6w+0x2a9>
mov    0x2c36(%rip),%rax
mov    (%rax),%edi
mov    -0x88(%rbp),%rsi
mov    -0x68(%rbp),%rdx
call   1060 <inet_pton@plt>
cmp    $0x0,%rax
jle    13e9 <vinet_pton6w+0x2a9>
mov    -0x68(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x68(%rbp)
movl   $0x0,-0x90(%rbp)
jmp    13f5 <vinet_pton6w+0x2b5>
movl   $0x0,-0x4(%rbp)
jmp    1544 <vinet_pton6w+0x404>
cmpl   $0x0,-0x90(%rbp)
je     145d <vinet_pton6w+0x31d>
mov    -0x68(%rbp),%rax
add    $0x8,%rax
cmp    -0x70(%rbp),%rax
jbe    1420 <vinet_pton6w+0x2e0>
movl   $0x0,-0x4(%rbp)
jmp    1544 <vinet_pton6w+0x404>
mov    -0x94(%rbp),%ecx
sar    $0x8,%ecx
and    $0xff,%ecx
mov    -0x68(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x68(%rbp)
mov    %ecx,(%rax)
mov    -0x94(%rbp),%ecx
and    $0xff,%ecx
mov    -0x68(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x68(%rbp)
mov    %ecx,(%rax)
cmpq   $0x0,-0x78(%rbp)
je     1511 <vinet_pton6w+0x3d1>
mov    -0x68(%rbp),%rax
mov    -0x78(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,-0xa4(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x70(%rbp),%rax
jne    1497 <vinet_pton6w+0x357>
movl   $0x0,-0x4(%rbp)
jmp    1544 <vinet_pton6w+0x404>
movl   $0x1,-0xa8(%rbp)
mov    -0xa8(%rbp),%eax
cmp    -0xa4(%rbp),%eax
jg     1509 <vinet_pton6w+0x3c9>
mov    -0x78(%rbp),%rax
mov    -0xa4(%rbp),%ecx
sub    -0xa8(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x70(%rbp),%rax
xor    %ecx,%ecx
sub    -0xa8(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x78(%rbp),%rax
mov    -0xa4(%rbp),%ecx
sub    -0xa8(%rbp),%ecx
movslq %ecx,%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0xa8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xa8(%rbp)
jmp    14a1 <vinet_pton6w+0x361>
mov    -0x70(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x70(%rbp),%rax
je     152b <vinet_pton6w+0x3eb>
movl   $0x0,-0x4(%rbp)
jmp    1544 <vinet_pton6w+0x404>
mov    -0x18(%rbp),%rdi
lea    -0x60(%rbp),%rsi
mov    $0x10,%edx
call   1050 <memcpy@plt>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xb0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<vinet_pton6w>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %rsi,%r15
mov    %rdi,%rbx
lea    0x20(%rsp),%r14
xor    %ebp,%ebp
mov    %r14,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1030 <memset@plt>
mov    (%rbx),%r13b
test   %r13b,%r13b
je     13f9 <vinet_pton6w+0x2b9>
cmp    $0x3a,%r13b
mov    %r15,0x60(%rsp)
mov    %r14,0x8(%rsp)
jne    119a <vinet_pton6w+0x5a>
cmpb   $0x3a,0x1(%rbx)
jne    13f9 <vinet_pton6w+0x2b9>
mov    %rbx,%rax
add    $0x1,%rbx
mov    $0x3a,%r13b
mov    %rbx,0x18(%rsp)
lea    0x1(%rbx),%r12
xor    %eax,%eax
mov    %rax,0x10(%rsp)
lea    0xe4f(%rip),%r15
xor    %ebx,%ebx
xor    %eax,%eax
mov    %rax,(%rsp)
nopl   0x0(%rax)
movsbl %r13b,%ebp
mov    $0x11,%edx
mov    %r15,%rdi
mov    %ebp,%esi
call   1040 <memchr@plt>
mov    %r15,%rcx
test   %rax,%rax
jne    11f9 <vinet_pton6w+0xb9>
mov    $0x11,%edx
lea    0xe39(%rip),%r14
mov    %r14,%rdi
mov    %ebp,%esi
call   1040 <memchr@plt>
mov    %r14,%rcx
test   %rax,%rax
je     1226 <vinet_pton6w+0xe6>
cmp    $0x3,%ebx
jg     1399 <vinet_pton6w+0x259>
mov    0x10(%rsp),%rdx
shl    $0x4,%edx
sub    %ecx,%eax
or     %edx,%eax
add    $0x1,%ebx
mov    %rax,0x10(%rsp)
movzbl (%r12),%r13d
add    $0x1,%r12
test   %r13b,%r13b
jne    11c0 <vinet_pton6w+0x80>
jmp    12a2 <vinet_pton6w+0x162>
xor    %ebp,%ebp
cmp    $0x3a,%r13b
jne    139d <vinet_pton6w+0x25d>
test   %ebx,%ebx
je     127d <vinet_pton6w+0x13d>
cmpb   $0x0,(%r12)
je     13f9 <vinet_pton6w+0x2b9>
mov    0x8(%rsp),%rax
add    $0x8,%rax
lea    0x60(%rsp),%rcx
cmp    %rcx,%rax
ja     13f9 <vinet_pton6w+0x2b9>
mov    0x10(%rsp),%rbx
movzbl %bh,%ecx
mov    0x8(%rsp),%rdx
mov    %ecx,(%rdx)
movzbl %bl,%ecx
mov    %ecx,0x4(%rdx)
xor    %ebx,%ebx
mov    %rax,0x8(%rsp)
mov    %r12,0x18(%rsp)
xor    %eax,%eax
jmp    1211 <vinet_pton6w+0xd1>
xor    %ebx,%ebx
mov    %r12,0x18(%rsp)
mov    $0x0,%ebp
cmpq   $0x0,(%rsp)
mov    0x8(%rsp),%rax
mov    %rax,(%rsp)
je     1216 <vinet_pton6w+0xd6>
jmp    13f9 <vinet_pton6w+0x2b9>
test   %ebx,%ebx
je     12d6 <vinet_pton6w+0x196>
mov    0x8(%rsp),%rax
lea    0x8(%rax),%r14
xor    %ebp,%ebp
lea    0x60(%rsp),%rax
cmp    %rax,%r14
ja     13f9 <vinet_pton6w+0x2b9>
mov    0x10(%rsp),%rdx
movzbl %dh,%eax
mov    0x8(%rsp),%rcx
mov    %eax,(%rcx)
movzbl %dl,%eax
mov    %eax,0x4(%rcx)
jmp    12db <vinet_pton6w+0x19b>
mov    0x8(%rsp),%r14
cmpq   $0x0,(%rsp)
je     13d4 <vinet_pton6w+0x294>
lea    0x60(%rsp),%rax
cmp    %rax,%r14
je     1399 <vinet_pton6w+0x259>
sub    (%rsp),%r14
mov    %r14,%rcx
shr    $0x2,%rcx
test   %ecx,%ecx
jle    13e0 <vinet_pton6w+0x2a0>
movslq %ecx,%r9
add    $0x1,%ecx
lea    -0x1(%rcx),%rbp
mov    $0x1,%esi
cmp    $0x8,%rbp
jae    140a <vinet_pton6w+0x2ca>
lea    0x1(%rsi),%rax
test   $0x4,%r14b
je     134e <vinet_pton6w+0x20e>
mov    %r9,%rdx
sub    %rsi,%rdx
mov    (%rsp),%rbp
mov    0x0(%rbp,%rdx,4),%edi
shl    $0x2,%rsi
neg    %rsi
mov    %edi,0x60(%rsp,%rsi,1)
movl   $0x0,0x0(%rbp,%rdx,4)
mov    %rax,%rsi
cmp    %rax,%rcx
je     13e0 <vinet_pton6w+0x2a0>
mov    (%rsp),%rax
lea    (%rax,%r9,4),%rax
neg    %rsi
neg    %rcx
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rax,%rsi,4),%edx
mov    %edx,0x60(%rsp,%rsi,4)
movl   $0x0,(%rax,%rsi,4)
mov    -0x4(%rax,%rsi,4),%edx
mov    %edx,0x5c(%rsp,%rsi,4)
movl   $0x0,-0x4(%rax,%rsi,4)
add    $0xfffffffffffffffe,%rsi
cmp    %rsi,%rcx
jne    1370 <vinet_pton6w+0x230>
jmp    13e0 <vinet_pton6w+0x2a0>
xor    %ebp,%ebp
jmp    13f9 <vinet_pton6w+0x2b9>
cmp    $0x2e,%r13b
jne    13f9 <vinet_pton6w+0x2b9>
mov    0x8(%rsp),%rdx
lea    0x10(%rdx),%r14
lea    0x60(%rsp),%rax
cmp    %rax,%r14
ja     13f9 <vinet_pton6w+0x2b9>
mov    0x2c2b(%rip),%rax
mov    (%rax),%edi
mov    0x18(%rsp),%rsi
call   1060 <inet_pton@plt>
test   %rax,%rax
jg     12db <vinet_pton6w+0x19b>
jmp    13f9 <vinet_pton6w+0x2b9>
xor    %ebp,%ebp
lea    0x60(%rsp),%rax
cmp    %rax,%r14
jne    13f9 <vinet_pton6w+0x2b9>
lea    0x20(%rsp),%rsi
mov    0x60(%rsp),%rdi
mov    $0x10,%edx
call   1050 <memcpy@plt>
mov    $0x1,%ebp
mov    %ebp,%eax
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    -0x2(%rcx),%rax
mov    $0x4,%edx
mul    %rdx
lea    0x5c(%rsp),%rdi
seto   %dl
mov    %rdi,%rbx
sub    %rax,%rbx
cmp    %rdi,%rbx
ja     1320 <vinet_pton6w+0x1e0>
test   %dl,%dl
jne    1320 <vinet_pton6w+0x1e0>
mov    (%rsp),%rdi
lea    (%rdi,%r9,4),%rbx
add    $0xfffffffffffffffc,%rbx
mov    %rbx,%rdi
sub    %rax,%rdi
cmp    %rbx,%rdi
ja     1320 <vinet_pton6w+0x1e0>
test   %dl,%dl
jne    1320 <vinet_pton6w+0x1e0>
mov    $0x1,%esi
mov    $0x1,%eax
sub    %rcx,%rax
lea    (%rsp,%rax,4),%rax
add    $0x60,%rax
mov    (%rsp),%rdx
lea    (%rdx,%r9,4),%rdx
cmp    %rdx,%rax
jae    149a <vinet_pton6w+0x35a>
mov    %r9,%rax
sub    %rcx,%rax
mov    (%rsp),%rdx
lea    (%rdx,%rax,4),%rax
add    $0x4,%rax
lea    0x60(%rsp),%rdx
cmp    %rdx,%rax
jb     1320 <vinet_pton6w+0x1e0>
mov    %rbp,%rsi
and    $0xfffffffffffffff8,%rsi
lea    -0x8(%rsi),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     151d <vinet_pton6w+0x3dd>
mov    %r8,%rdx
and    $0xfffffffffffffffe,%rdx
mov    (%rsp),%rax
lea    (%rax,%r9,4),%rbx
add    $0xfffffffffffffff0,%rbx
mov    $0xffffffffffffffff,%rax
xorps  %xmm0,%xmm0
movups -0xc(%rbx,%rax,4),%xmm1
movups 0x4(%rbx,%rax,4),%xmm2
movaps %xmm2,0x54(%rsp,%rax,4)
movups %xmm1,0x44(%rsp,%rax,4)
movups %xmm0,0x4(%rbx,%rax,4)
movups %xmm0,-0xc(%rbx,%rax,4)
movups -0x2c(%rbx,%rax,4),%xmm1
movups -0x1c(%rbx,%rax,4),%xmm2
movaps %xmm2,0x34(%rsp,%rax,4)
movups %xmm1,0x24(%rsp,%rax,4)
movups %xmm0,-0x1c(%rbx,%rax,4)
movups %xmm0,-0x2c(%rbx,%rax,4)
add    $0xfffffffffffffff0,%rax
add    $0xfffffffffffffffe,%rdx
jne    14d2 <vinet_pton6w+0x392>
neg    %rax
jmp    1522 <vinet_pton6w+0x3e2>
mov    $0x1,%eax
test   $0x1,%r8b
je     1561 <vinet_pton6w+0x421>
mov    %r9,%rdx
sub    %rax,%rdx
mov    (%rsp),%rbx
movups -0x1c(%rbx,%rdx,4),%xmm0
movups -0xc(%rbx,%rdx,4),%xmm1
shl    $0x2,%rax
lea    0x20(%rsp),%rdi
sub    %rax,%rdi
neg    %rax
movaps %xmm1,0x54(%rsp,%rax,1)
movups %xmm0,0x24(%rdi)
xorps  %xmm0,%xmm0
movups %xmm0,-0xc(%rbx,%rdx,4)
movups %xmm0,-0x1c(%rbx,%rdx,4)
cmp    %rsi,%rbp
je     13e0 <vinet_pton6w+0x2a0>
or     $0x1,%rsi
jmp    1320 <vinet_pton6w+0x1e0>

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

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