#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 */
scalar_t__ inet_pton4(char const *, int *);
int /*<<< orphan*/ memcpy(int *, int *, int);
int /*<<< orphan*/ memset(int *, char, int);
char *strchr(char const *, int);
int inet_pton6(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_pton4(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):
<inet_pton6>:
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 <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    153b <inet_pton6+0x3fb>
jmp    11b8 <inet_pton6+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     13ec <inet_pton6+0x2ac>
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 <inet_pton6+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 <inet_pton6+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 <inet_pton6+0x169>
movl   $0x0,-0x4(%rbp)
jmp    153b <inet_pton6+0x3fb>
jmp    11d7 <inet_pton6+0x97>
cmpl   $0x3a,-0x8c(%rbp)
jne    138c <inet_pton6+0x24c>
mov    -0x10(%rbp),%rax
mov    %rax,-0x88(%rbp)
cmpl   $0x0,-0x90(%rbp)
jne    12f7 <inet_pton6+0x1b7>
cmpq   $0x0,-0x78(%rbp)
je     12ea <inet_pton6+0x1aa>
movl   $0x0,-0x4(%rbp)
jmp    153b <inet_pton6+0x3fb>
mov    -0x68(%rbp),%rax
mov    %rax,-0x78(%rbp)
jmp    11d7 <inet_pton6+0x97>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1313 <inet_pton6+0x1d3>
movl   $0x0,-0x4(%rbp)
jmp    153b <inet_pton6+0x3fb>
jmp    1318 <inet_pton6+0x1d8>
mov    -0x68(%rbp),%rax
add    $0x8,%rax
cmp    -0x70(%rbp),%rax
jbe    1336 <inet_pton6+0x1f6>
movl   $0x0,-0x4(%rbp)
jmp    153b <inet_pton6+0x3fb>
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 <inet_pton6+0x97>
cmpl   $0x2e,-0x8c(%rbp)
jne    13e0 <inet_pton6+0x2a0>
mov    -0x68(%rbp),%rax
add    $0x10,%rax
cmp    -0x70(%rbp),%rax
ja     13e0 <inet_pton6+0x2a0>
mov    -0x88(%rbp),%rdi
mov    -0x68(%rbp),%rsi
call   1060 <inet_pton4@plt>
cmp    $0x0,%rax
jle    13e0 <inet_pton6+0x2a0>
mov    -0x68(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x68(%rbp)
movl   $0x0,-0x90(%rbp)
jmp    13ec <inet_pton6+0x2ac>
movl   $0x0,-0x4(%rbp)
jmp    153b <inet_pton6+0x3fb>
cmpl   $0x0,-0x90(%rbp)
je     1454 <inet_pton6+0x314>
mov    -0x68(%rbp),%rax
add    $0x8,%rax
cmp    -0x70(%rbp),%rax
jbe    1417 <inet_pton6+0x2d7>
movl   $0x0,-0x4(%rbp)
jmp    153b <inet_pton6+0x3fb>
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     1508 <inet_pton6+0x3c8>
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    148e <inet_pton6+0x34e>
movl   $0x0,-0x4(%rbp)
jmp    153b <inet_pton6+0x3fb>
movl   $0x1,-0xa8(%rbp)
mov    -0xa8(%rbp),%eax
cmp    -0xa4(%rbp),%eax
jg     1500 <inet_pton6+0x3c0>
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    1498 <inet_pton6+0x358>
mov    -0x70(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x70(%rbp),%rax
je     1522 <inet_pton6+0x3e2>
movl   $0x0,-0x4(%rbp)
jmp    153b <inet_pton6+0x3fb>
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):
<inet_pton6>:
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     13f0 <inet_pton6+0x2b0>
cmp    $0x3a,%r13b
mov    %r15,0x60(%rsp)
mov    %r14,0x8(%rsp)
jne    119a <inet_pton6+0x5a>
cmpb   $0x3a,0x1(%rbx)
jne    13f0 <inet_pton6+0x2b0>
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 <inet_pton6+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 <inet_pton6+0xe6>
cmp    $0x3,%ebx
jg     1399 <inet_pton6+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 <inet_pton6+0x80>
jmp    12a2 <inet_pton6+0x162>
xor    %ebp,%ebp
cmp    $0x3a,%r13b
jne    139d <inet_pton6+0x25d>
test   %ebx,%ebx
je     127d <inet_pton6+0x13d>
cmpb   $0x0,(%r12)
je     13f0 <inet_pton6+0x2b0>
mov    0x8(%rsp),%rax
add    $0x8,%rax
lea    0x60(%rsp),%rcx
cmp    %rcx,%rax
ja     13f0 <inet_pton6+0x2b0>
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 <inet_pton6+0xd1>
xor    %ebx,%ebx
mov    %r12,0x18(%rsp)
mov    $0x0,%ebp
cmpq   $0x0,(%rsp)
mov    0x8(%rsp),%rax
mov    %rax,(%rsp)
je     1216 <inet_pton6+0xd6>
jmp    13f0 <inet_pton6+0x2b0>
test   %ebx,%ebx
je     12d6 <inet_pton6+0x196>
mov    0x8(%rsp),%rax
lea    0x8(%rax),%r14
xor    %ebp,%ebp
lea    0x60(%rsp),%rax
cmp    %rax,%r14
ja     13f0 <inet_pton6+0x2b0>
mov    0x10(%rsp),%rdx
movzbl %dh,%eax
mov    0x8(%rsp),%rcx
mov    %eax,(%rcx)
movzbl %dl,%eax
mov    %eax,0x4(%rcx)
jmp    12db <inet_pton6+0x19b>
mov    0x8(%rsp),%r14
cmpq   $0x0,(%rsp)
je     13cb <inet_pton6+0x28b>
lea    0x60(%rsp),%rax
cmp    %rax,%r14
je     1399 <inet_pton6+0x259>
sub    (%rsp),%r14
mov    %r14,%rcx
shr    $0x2,%rcx
test   %ecx,%ecx
jle    13d7 <inet_pton6+0x297>
movslq %ecx,%r9
add    $0x1,%ecx
lea    -0x1(%rcx),%rbp
mov    $0x1,%esi
cmp    $0x8,%rbp
jae    1401 <inet_pton6+0x2c1>
lea    0x1(%rsi),%rax
test   $0x4,%r14b
je     134e <inet_pton6+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     13d7 <inet_pton6+0x297>
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 <inet_pton6+0x230>
jmp    13d7 <inet_pton6+0x297>
xor    %ebp,%ebp
jmp    13f0 <inet_pton6+0x2b0>
cmp    $0x2e,%r13b
jne    13f0 <inet_pton6+0x2b0>
mov    0x8(%rsp),%rsi
lea    0x10(%rsi),%r14
lea    0x60(%rsp),%rax
cmp    %rax,%r14
ja     13f0 <inet_pton6+0x2b0>
mov    0x18(%rsp),%rdi
call   1060 <inet_pton4@plt>
test   %rax,%rax
jg     12db <inet_pton6+0x19b>
jmp    13f0 <inet_pton6+0x2b0>
xor    %ebp,%ebp
lea    0x60(%rsp),%rax
cmp    %rax,%r14
jne    13f0 <inet_pton6+0x2b0>
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 <inet_pton6+0x1e0>
test   %dl,%dl
jne    1320 <inet_pton6+0x1e0>
mov    (%rsp),%rdi
lea    (%rdi,%r9,4),%rbx
add    $0xfffffffffffffffc,%rbx
mov    %rbx,%rdi
sub    %rax,%rdi
cmp    %rbx,%rdi
ja     1320 <inet_pton6+0x1e0>
test   %dl,%dl
jne    1320 <inet_pton6+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    1491 <inet_pton6+0x351>
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 <inet_pton6+0x1e0>
mov    %rbp,%rsi
and    $0xfffffffffffffff8,%rsi
lea    -0x8(%rsi),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     1514 <inet_pton6+0x3d4>
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    14c9 <inet_pton6+0x389>
neg    %rax
jmp    1519 <inet_pton6+0x3d9>
mov    $0x1,%eax
test   $0x1,%r8b
je     1558 <inet_pton6+0x418>
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     13d7 <inet_pton6+0x297>
or     $0x1,%rsi
jmp    1320 <inet_pton6+0x1e0>

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, 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 %194
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 %122
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 %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 %194
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 %194
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 %194
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 %194
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 %121
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 %121
113: ; preds = %108
%114 = load i8*, i8** %11
%115 = load i32*, i32** %7
%116 = call i64 @inet_pton4(i8* %114, i32* %115)
%117 = icmp sgt i64 %116, 0
br i1 %117, label %118, label %121
118: ; preds = %113
%119 = load i32*, i32** %7
%120 = getelementptr inbounds i32, i32* %119, i64 4
store i32* %120, i32** %7
store i32 0, i32* %13
br label %122
121: ; preds = %113, %108, %105
store i32 0, i32* %3
br label %194
122: ; preds = %118, %36
%123 = load i32, i32* %13
%124 = icmp ne i32 %123, 0
br i1 %124, label %125, label %141
125: ; preds = %122
%126 = load i32*, i32** %7
%127 = getelementptr inbounds i32, i32* %126, i64 2
%128 = load i32*, i32** %8
%129 = icmp ugt i32* %127, %128
br i1 %129, label %130, label %131
130: ; preds = %125
store i32 0, i32* %3
br label %194
131: ; preds = %125
%132 = load i32, i32* %14
%133 = ashr i32 %132, 8
%134 = and i32 %133, 255
%135 = load i32*, i32** %7
%136 = getelementptr inbounds i32, i32* %135, i32 1
store i32* %136, i32** %7
store i32 %134, i32* %135
%137 = load i32, i32* %14
%138 = and i32 %137, 255
%139 = load i32*, i32** %7
%140 = getelementptr inbounds i32, i32* %139, i32 1
store i32* %140, i32** %7
store i32 %138, i32* %139
br label %141
141: ; preds = %131, %122
%142 = load i32*, i32** %9
%143 = icmp ne i32* %142, null
br i1 %143, label %144, label %185
144: ; preds = %141
%145 = load i32*, i32** %7
%146 = load i32*, i32** %9
%147 = ptrtoint i32* %145 to i64
%148 = ptrtoint i32* %146 to i64
%149 = sub i64 %147, %148
%150 = sdiv exact i64 %149, 4
%151 = trunc i64 %150 to i32
store i32 %151, i32* %16
%152 = load i32*, i32** %7
%153 = load i32*, i32** %8
%154 = icmp eq i32* %152, %153
br i1 %154, label %155, label %156
155: ; preds = %144
store i32 0, i32* %3
br label %194
156: ; preds = %144
store i32 1, i32* %17
br label %157
157: ; preds = %180, %156
%158 = load i32, i32* %17
%159 = load i32, i32* %16
%160 = icmp sle i32 %158, %159
br i1 %160, label %161, label %183
161: ; preds = %157
%162 = load i32*, i32** %9
%163 = load i32, i32* %16
%164 = load i32, i32* %17
%165 = sub nsw i32 %163, %164
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds i32, i32* %162, i64 %166
%168 = load i32, i32* %167
%169 = load i32*, i32** %8
%170 = load i32, i32* %17
%171 = sub nsw i32 0, %170
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds i32, i32* %169, i64 %172
store i32 %168, i32* %173
%174 = load i32*, i32** %9
%175 = load i32, i32* %16
%176 = load i32, i32* %17
%177 = sub nsw i32 %175, %176
%178 = sext i32 %177 to i64
%179 = getelementptr inbounds i32, i32* %174, i64 %178
store i32 0, i32* %179
br label %180
180: ; preds = %161
%181 = load i32, i32* %17
%182 = add nsw i32 %181, 1
store i32 %182, i32* %17
br label %157
183: ; preds = %157
%184 = load i32*, i32** %8
store i32* %184, i32** %7
br label %185
185: ; preds = %183, %141
%186 = load i32*, i32** %7
%187 = load i32*, i32** %8
%188 = icmp ne i32* %186, %187
br i1 %188, label %189, label %190
189: ; preds = %185
store i32 0, i32* %3
br label %194
190: ; preds = %185
%191 = load i32*, i32** %5
%192 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 0
%193 = call i32 @memcpy(i32* %191, i32* %192, i32 16)
store i32 1, i32* %3
br label %194
194: ; preds = %190, %189, %155, %130, %121, %94, %87, %79, %67, %32
%195 = load i32, i32* %3
ret i32 %195
}

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