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

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ memset(unsigned int *, char, int);
int /*<<< orphan*/ sprintf(char *, char *, unsigned int);
char *strcpy(char *, char *);
char *inet_ntop6(const char *src2, char *dst) {
  const unsigned char *src = (unsigned char *)src2;
  char tmp[sizeof "ffff:ffff:ffff:ffff:ffff:ffff:255.255.255.255"], *tp;
  struct {
    int base, len;
  } best, cur;
  unsigned int words[16 / 2];
  int i;
  best.len = cur.len = 0;
  memset(words, '\0', sizeof words);
  for (i = 0; i < 16; i += 2)
    words[i / 2] = (src[i] << 8) | src[i + 1];
  best.base = -1;
  cur.base = -1;
  for (i = 0; i < (16 / 2); i++) {
    if (words[i] == 0) {
      if (cur.base == -1)
        cur.base = i, cur.len = 1;
      else
        cur.len++;
    } else {
      if (cur.base != -1) {
        if (best.base == -1 || cur.len > best.len)
          best = cur;
        cur.base = -1;
      }
    }
  }
  if (cur.base != -1) {
    if (best.base == -1 || cur.len > best.len)
      best = cur;
  }
  if (best.base != -1 && best.len < 2)
    best.base = -1;
  tp = tmp;
  for (i = 0; i < (16 / 2); i++) {
    if (best.base != -1 && i >= best.base && i < (best.base + best.len)) {
      if (i == best.base)
        *tp++ = ':';
      continue;
    }
    if (i != 0)
      *tp++ = ':';
    tp += sprintf(tp, "%x", words[i]);
  }
  if (best.base != -1 && (best.base + best.len) == (16 / 2))
    *tp++ = ':';
  *tp++ = '\0';
  return strcpy(dst, tmp);
}


x86 assembly (clang, -O0):
<inet_ntop6>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x64(%rbp)
movl   $0x0,-0x5c(%rbp)
lea    -0x90(%rbp),%rdi
xor    %esi,%esi
mov    $0x20,%edx
call   1040 <memset@plt>
movl   $0x0,-0x94(%rbp)
cmpl   $0x10,-0x94(%rbp)
jge    11d6 <inet_ntop6+0xa6>
mov    -0x18(%rbp),%rax
movslq -0x94(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
shl    $0x8,%ecx
mov    -0x18(%rbp),%rax
mov    -0x94(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
movzbl (%rax,%rdx,1),%eax
or     %eax,%ecx
mov    -0x94(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
cltq
mov    %ecx,-0x90(%rbp,%rax,4)
mov    -0x94(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x94(%rbp)
jmp    1176 <inet_ntop6+0x46>
movl   $0xffffffff,-0x60(%rbp)
movl   $0xffffffff,-0x68(%rbp)
movl   $0x0,-0x94(%rbp)
cmpl   $0x8,-0x94(%rbp)
jge    128a <inet_ntop6+0x15a>
movslq -0x94(%rbp),%rax
cmpl   $0x0,-0x90(%rbp,%rax,4)
jne    123d <inet_ntop6+0x10d>
cmpl   $0xffffffff,-0x68(%rbp)
jne    122f <inet_ntop6+0xff>
mov    -0x94(%rbp),%eax
mov    %eax,-0x68(%rbp)
movl   $0x1,-0x64(%rbp)
jmp    1238 <inet_ntop6+0x108>
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    1271 <inet_ntop6+0x141>
cmpl   $0xffffffff,-0x68(%rbp)
je     126c <inet_ntop6+0x13c>
cmpl   $0xffffffff,-0x60(%rbp)
je     125d <inet_ntop6+0x12d>
mov    -0x64(%rbp),%eax
cmp    -0x5c(%rbp),%eax
jle    1265 <inet_ntop6+0x135>
mov    -0x68(%rbp),%rax
mov    %rax,-0x60(%rbp)
movl   $0xffffffff,-0x68(%rbp)
jmp    1271 <inet_ntop6+0x141>
jmp    1276 <inet_ntop6+0x146>
mov    -0x94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x94(%rbp)
jmp    11ee <inet_ntop6+0xbe>
cmpl   $0xffffffff,-0x68(%rbp)
je     12b7 <inet_ntop6+0x187>
cmpl   $0xffffffff,-0x60(%rbp)
je     12aa <inet_ntop6+0x17a>
mov    -0x64(%rbp),%eax
cmp    -0x5c(%rbp),%eax
jle    12b2 <inet_ntop6+0x182>
mov    -0x68(%rbp),%rax
mov    %rax,-0x60(%rbp)
jmp    12b7 <inet_ntop6+0x187>
cmpl   $0xffffffff,-0x60(%rbp)
je     12d2 <inet_ntop6+0x1a2>
cmpl   $0x2,-0x5c(%rbp)
jge    12d2 <inet_ntop6+0x1a2>
movl   $0xffffffff,-0x60(%rbp)
lea    -0x50(%rbp),%rax
mov    %rax,-0x58(%rbp)
movl   $0x0,-0x94(%rbp)
cmpl   $0x8,-0x94(%rbp)
jge    13a5 <inet_ntop6+0x275>
cmpl   $0xffffffff,-0x60(%rbp)
je     1344 <inet_ntop6+0x214>
mov    -0x94(%rbp),%eax
cmp    -0x60(%rbp),%eax
jl     1344 <inet_ntop6+0x214>
mov    -0x94(%rbp),%eax
mov    -0x60(%rbp),%ecx
add    -0x5c(%rbp),%ecx
cmp    %ecx,%eax
jge    1344 <inet_ntop6+0x214>
mov    -0x94(%rbp),%eax
cmp    -0x60(%rbp),%eax
jne    133f <inet_ntop6+0x20f>
mov    -0x58(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x58(%rbp)
movb   $0x3a,(%rax)
jmp    1391 <inet_ntop6+0x261>
cmpl   $0x0,-0x94(%rbp)
je     1363 <inet_ntop6+0x233>
mov    -0x58(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x58(%rbp)
movb   $0x3a,(%rax)
mov    -0x58(%rbp),%rdi
movslq -0x94(%rbp),%rax
mov    -0x90(%rbp,%rax,4),%edx
lea    0xc84(%rip),%rsi
call   1050 <sprintf@plt>
mov    %eax,%ecx
mov    -0x58(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
mov    -0x94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x94(%rbp)
jmp    12e4 <inet_ntop6+0x1b4>
cmpl   $0xffffffff,-0x60(%rbp)
je     13d0 <inet_ntop6+0x2a0>
mov    -0x60(%rbp),%eax
add    -0x5c(%rbp),%eax
cmp    $0x8,%eax
jne    13d0 <inet_ntop6+0x2a0>
mov    -0x58(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x58(%rbp)
movb   $0x3a,(%rax)
mov    -0x58(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x58(%rbp)
movb   $0x0,(%rax)
mov    -0x10(%rbp),%rdi
lea    -0x50(%rbp),%rsi
call   1030 <strcpy@plt>
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<inet_ntop6>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x50,%rsp
mov    %rsi,%r14
mov    %rdi,%rbx
mov    %rsp,%rdi
xor    %r15d,%r15d
xor    %esi,%esi
mov    $0x20,%edx
call   1040 <memset@plt>
movzwl (%rbx),%edx
shl    $0x10,%edx
bswap  %edx
mov    %edx,(%rsp)
movzwl 0x2(%rbx),%esi
shl    $0x10,%esi
bswap  %esi
mov    %esi,0x4(%rsp)
movzwl 0x4(%rbx),%ebp
shl    $0x10,%ebp
bswap  %ebp
mov    %ebp,0x8(%rsp)
movzwl 0x6(%rbx),%edi
shl    $0x10,%edi
bswap  %edi
mov    %edi,0xc(%rsp)
movzwl 0x8(%rbx),%r11d
shl    $0x10,%r11d
bswap  %r11d
mov    %r11d,0x10(%rsp)
movzwl 0xa(%rbx),%r9d
shl    $0x10,%r9d
bswap  %r9d
mov    %r9d,0x14(%rsp)
movzwl 0xc(%rbx),%r8d
shl    $0x10,%r8d
bswap  %r8d
mov    %r8d,0x18(%rsp)
movzwl 0xe(%rbx),%r10d
shl    $0x10,%r10d
bswap  %r10d
mov    %r10d,0x1c(%rsp)
xor    %ecx,%ecx
xor    %r12d,%r12d
test   %edx,%edx
sete   %bl
setne  %al
test   %esi,%esi
je     12ef <inet_ntop6+0x1bf>
mov    %al,%r12b
neg    %r12d
mov    %bl,%cl
mov    $0xffffffff,%ebx
mov    %ecx,%r15d
test   %ebp,%ebp
je     130c <inet_ntop6+0x1dc>
mov    $0xffffffff,%ebp
cmp    $0xffffffff,%ebx
je     121a <inet_ntop6+0xea>
cmp    $0xffffffff,%r12d
sete   %sil
cmp    %r15d,%ecx
seta   %al
or     %sil,%al
cmovne %ecx,%r15d
cmovne %ebx,%r12d
test   %edi,%edi
je     132a <inet_ntop6+0x1fa>
mov    $0xffffffff,%edi
cmp    $0xffffffff,%ebp
je     1243 <inet_ntop6+0x113>
cmp    $0xffffffff,%r12d
sete   %al
cmp    %r15d,%ecx
seta   %bl
or     %al,%bl
cmovne %ecx,%r15d
cmovne %ebp,%r12d
test   %r11d,%r11d
je     1349 <inet_ntop6+0x219>
mov    $0xffffffff,%esi
cmp    $0xffffffff,%edi
je     126d <inet_ntop6+0x13d>
cmp    $0xffffffff,%r12d
sete   %al
cmp    %r15d,%ecx
seta   %bl
or     %al,%bl
cmovne %ecx,%r15d
cmovne %edi,%r12d
test   %r9d,%r9d
je     1368 <inet_ntop6+0x238>
mov    $0xffffffff,%edi
cmp    $0xffffffff,%esi
je     1297 <inet_ntop6+0x167>
cmp    $0xffffffff,%r12d
sete   %al
cmp    %r15d,%ecx
seta   %bl
or     %al,%bl
cmovne %ecx,%r15d
cmovne %esi,%r12d
test   %r8d,%r8d
je     1387 <inet_ntop6+0x257>
mov    $0xffffffff,%esi
cmp    $0xffffffff,%edi
je     12c1 <inet_ntop6+0x191>
cmp    $0xffffffff,%r12d
sete   %al
cmp    %r15d,%ecx
seta   %bl
or     %al,%bl
cmovne %ecx,%r15d
cmovne %edi,%r12d
test   %r10d,%r10d
je     13a6 <inet_ntop6+0x276>
cmp    $0xffffffff,%esi
je     13d5 <inet_ntop6+0x2a5>
cmp    $0xffffffff,%r12d
sete   %al
cmp    %r15d,%ecx
seta   %bl
or     %al,%bl
cmovne %ecx,%r15d
cmovne %esi,%r12d
jmp    13d5 <inet_ntop6+0x2a5>
xor    %ecx,%ecx
xor    %ebx,%ebx
test   %edx,%edx
sete   %cl
setne  %bl
add    $0x1,%ecx
mov    $0xffffffff,%r12d
test   %ebp,%ebp
jne    11f7 <inet_ntop6+0xc7>
add    $0x1,%ecx
cmp    $0xffffffff,%ebx
mov    $0x1,%eax
cmove  %eax,%ecx
mov    $0x2,%ebp
cmovne %ebx,%ebp
test   %edi,%edi
jne    1222 <inet_ntop6+0xf2>
add    $0x1,%ecx
cmp    $0xffffffff,%ebp
mov    $0x1,%eax
cmove  %eax,%ecx
mov    $0x3,%edi
cmovne %ebp,%edi
test   %r11d,%r11d
jne    124c <inet_ntop6+0x11c>
add    $0x1,%ecx
cmp    $0xffffffff,%edi
mov    $0x1,%eax
cmove  %eax,%ecx
mov    $0x4,%esi
cmovne %edi,%esi
test   %r9d,%r9d
jne    1276 <inet_ntop6+0x146>
add    $0x1,%ecx
cmp    $0xffffffff,%esi
mov    $0x1,%eax
cmove  %eax,%ecx
mov    $0x5,%edi
cmovne %esi,%edi
test   %r8d,%r8d
jne    12a0 <inet_ntop6+0x170>
add    $0x1,%ecx
cmp    $0xffffffff,%edi
mov    $0x1,%eax
cmove  %eax,%ecx
mov    $0x6,%esi
cmovne %edi,%esi
test   %r10d,%r10d
jne    12ca <inet_ntop6+0x19a>
add    $0x1,%ecx
cmp    $0xffffffff,%esi
mov    $0x1,%eax
cmovne %ecx,%eax
mov    $0x7,%ecx
cmovne %esi,%ecx
cmp    $0xffffffff,%r12d
sete   %sil
cmp    %r15d,%eax
seta   %bl
or     %sil,%bl
cmovne %eax,%r15d
cmovne %ecx,%r12d
cmp    $0x2,%r15d
mov    $0xffffffff,%ebx
cmovae %r12d,%ebx
cmp    $0xffffffff,%r12d
cmove  %r12d,%ebx
add    %ebx,%r15d
cmp    $0xffffffff,%ebx
je     140b <inet_ntop6+0x2db>
test   %ebx,%ebx
jg     140b <inet_ntop6+0x2db>
test   %r15d,%r15d
jle    140b <inet_ntop6+0x2db>
test   %ebx,%ebx
je     142d <inet_ntop6+0x2fd>
lea    0x20(%rsp),%rbp
cmp    $0xffffffff,%ebx
jne    143c <inet_ntop6+0x30c>
jmp    1456 <inet_ntop6+0x326>
lea    0xbee(%rip),%rsi
lea    0x20(%rsp),%rdi
call   1050 <sprintf@plt>
cltq
lea    (%rsp,%rax,1),%rbp
add    $0x20,%rbp
cmp    $0xffffffff,%ebx
jne    143c <inet_ntop6+0x30c>
jmp    1456 <inet_ntop6+0x326>
lea    0x21(%rsp),%rbp
movb   $0x3a,0x20(%rsp)
cmp    $0xffffffff,%ebx
je     1456 <inet_ntop6+0x326>
cmp    $0x1,%ebx
jg     1456 <inet_ntop6+0x326>
cmp    $0x2,%r15d
jl     1456 <inet_ntop6+0x326>
cmp    $0x1,%ebx
jne    1477 <inet_ntop6+0x347>
movb   $0x3a,0x0(%rbp)
add    $0x1,%rbp
jmp    1477 <inet_ntop6+0x347>
lea    0x1(%rbp),%rdi
movb   $0x3a,0x0(%rbp)
mov    0x4(%rsp),%edx
lea    0xb97(%rip),%rsi
call   1050 <sprintf@plt>
cltq
add    %rax,%rbp
add    $0x1,%rbp
cmp    $0xffffffff,%ebx
je     1496 <inet_ntop6+0x366>
cmp    $0x2,%ebx
jg     1496 <inet_ntop6+0x366>
cmp    $0x2,%r15d
jle    1496 <inet_ntop6+0x366>
cmp    $0x2,%ebx
jne    14b7 <inet_ntop6+0x387>
movb   $0x3a,0x0(%rbp)
add    $0x1,%rbp
jmp    14b7 <inet_ntop6+0x387>
lea    0x1(%rbp),%rdi
movb   $0x3a,0x0(%rbp)
mov    0x8(%rsp),%edx
lea    0xb57(%rip),%rsi
call   1050 <sprintf@plt>
cltq
add    %rax,%rbp
add    $0x1,%rbp
cmp    $0xffffffff,%ebx
je     14d6 <inet_ntop6+0x3a6>
cmp    $0x3,%ebx
jg     14d6 <inet_ntop6+0x3a6>
cmp    $0x3,%r15d
jle    14d6 <inet_ntop6+0x3a6>
cmp    $0x3,%ebx
jne    14f7 <inet_ntop6+0x3c7>
movb   $0x3a,0x0(%rbp)
add    $0x1,%rbp
jmp    14f7 <inet_ntop6+0x3c7>
lea    0x1(%rbp),%rdi
movb   $0x3a,0x0(%rbp)
mov    0xc(%rsp),%edx
lea    0xb17(%rip),%rsi
call   1050 <sprintf@plt>
cltq
add    %rax,%rbp
add    $0x1,%rbp
cmp    $0xffffffff,%ebx
je     1516 <inet_ntop6+0x3e6>
cmp    $0x4,%ebx
jg     1516 <inet_ntop6+0x3e6>
cmp    $0x4,%r15d
jle    1516 <inet_ntop6+0x3e6>
cmp    $0x4,%ebx
jne    1537 <inet_ntop6+0x407>
movb   $0x3a,0x0(%rbp)
add    $0x1,%rbp
jmp    1537 <inet_ntop6+0x407>
lea    0x1(%rbp),%rdi
movb   $0x3a,0x0(%rbp)
mov    0x10(%rsp),%edx
lea    0xad7(%rip),%rsi
call   1050 <sprintf@plt>
cltq
add    %rax,%rbp
add    $0x1,%rbp
cmp    $0xffffffff,%ebx
je     1556 <inet_ntop6+0x426>
cmp    $0x5,%ebx
jg     1556 <inet_ntop6+0x426>
cmp    $0x5,%r15d
jle    1556 <inet_ntop6+0x426>
cmp    $0x5,%ebx
jne    1577 <inet_ntop6+0x447>
movb   $0x3a,0x0(%rbp)
add    $0x1,%rbp
jmp    1577 <inet_ntop6+0x447>
lea    0x1(%rbp),%rdi
movb   $0x3a,0x0(%rbp)
mov    0x14(%rsp),%edx
lea    0xa97(%rip),%rsi
call   1050 <sprintf@plt>
cltq
add    %rax,%rbp
add    $0x1,%rbp
cmp    $0xffffffff,%ebx
je     1596 <inet_ntop6+0x466>
cmp    $0x6,%ebx
jg     1596 <inet_ntop6+0x466>
cmp    $0x6,%r15d
jle    1596 <inet_ntop6+0x466>
cmp    $0x6,%ebx
jne    15b7 <inet_ntop6+0x487>
movb   $0x3a,0x0(%rbp)
add    $0x1,%rbp
jmp    15b7 <inet_ntop6+0x487>
lea    0x1(%rbp),%rdi
movb   $0x3a,0x0(%rbp)
mov    0x18(%rsp),%edx
lea    0xa57(%rip),%rsi
call   1050 <sprintf@plt>
cltq
add    %rax,%rbp
add    $0x1,%rbp
cmp    $0xffffffff,%ebx
je     15d6 <inet_ntop6+0x4a6>
cmp    $0x7,%ebx
jg     15d6 <inet_ntop6+0x4a6>
cmp    $0x7,%r15d
jle    15d6 <inet_ntop6+0x4a6>
cmp    $0x7,%ebx
jne    15f7 <inet_ntop6+0x4c7>
movb   $0x3a,0x0(%rbp)
add    $0x1,%rbp
jmp    15f7 <inet_ntop6+0x4c7>
lea    0x1(%rbp),%rdi
movb   $0x3a,0x0(%rbp)
mov    0x1c(%rsp),%edx
lea    0xa17(%rip),%rsi
call   1050 <sprintf@plt>
cltq
add    %rax,%rbp
add    $0x1,%rbp
cmp    $0xffffffff,%ebx
je     160a <inet_ntop6+0x4da>
cmp    $0x8,%r15d
jne    160a <inet_ntop6+0x4da>
movb   $0x3a,0x0(%rbp)
add    $0x1,%rbp
movb   $0x0,0x0(%rbp)
lea    0x20(%rsp),%rsi
mov    %r14,%rdi
call   1030 <strcpy@plt>
mov    %r14,%rax
add    $0x50,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [3 x i8] c"%x\00"
define i8* @inet_ntop6(i8* nocapture %0, i8* returned %1) {
%3 = alloca [46 x i8]
%4 = alloca [8 x i32]
%5 = getelementptr inbounds [46 x i8], [46 x i8]* %3, i64 0, i64 0
%6 = bitcast [8 x i32]* %4 to i8*
%7 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 0
%8 = call i32 @memset(i32* %7, i8 signext 0, i32 32)
%9 = load i8, i8* %0
%10 = zext i8 %9 to i32
%11 = shl nuw nsw i32 %10, 8
%12 = getelementptr inbounds i8, i8* %0, i64 1
%13 = load i8, i8* %12
%14 = zext i8 %13 to i32
%15 = or i32 %11, %14
store i32 %15, i32* %7
%16 = getelementptr inbounds i8, i8* %0, i64 2
%17 = load i8, i8* %16
%18 = zext i8 %17 to i32
%19 = shl nuw nsw i32 %18, 8
%20 = getelementptr inbounds i8, i8* %0, i64 3
%21 = load i8, i8* %20
%22 = zext i8 %21 to i32
%23 = or i32 %19, %22
%24 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 1
store i32 %23, i32* %24
%25 = getelementptr inbounds i8, i8* %0, i64 4
%26 = load i8, i8* %25
%27 = zext i8 %26 to i32
%28 = shl nuw nsw i32 %27, 8
%29 = getelementptr inbounds i8, i8* %0, i64 5
%30 = load i8, i8* %29
%31 = zext i8 %30 to i32
%32 = or i32 %28, %31
%33 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 2
store i32 %32, i32* %33
%34 = getelementptr inbounds i8, i8* %0, i64 6
%35 = load i8, i8* %34
%36 = zext i8 %35 to i32
%37 = shl nuw nsw i32 %36, 8
%38 = getelementptr inbounds i8, i8* %0, i64 7
%39 = load i8, i8* %38
%40 = zext i8 %39 to i32
%41 = or i32 %37, %40
%42 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 3
store i32 %41, i32* %42
%43 = getelementptr inbounds i8, i8* %0, i64 8
%44 = load i8, i8* %43
%45 = zext i8 %44 to i32
%46 = shl nuw nsw i32 %45, 8
%47 = getelementptr inbounds i8, i8* %0, i64 9
%48 = load i8, i8* %47
%49 = zext i8 %48 to i32
%50 = or i32 %46, %49
%51 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 4
store i32 %50, i32* %51
%52 = getelementptr inbounds i8, i8* %0, i64 10
%53 = load i8, i8* %52
%54 = zext i8 %53 to i32
%55 = shl nuw nsw i32 %54, 8
%56 = getelementptr inbounds i8, i8* %0, i64 11
%57 = load i8, i8* %56
%58 = zext i8 %57 to i32
%59 = or i32 %55, %58
%60 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 5
store i32 %59, i32* %60
%61 = getelementptr inbounds i8, i8* %0, i64 12
%62 = load i8, i8* %61
%63 = zext i8 %62 to i32
%64 = shl nuw nsw i32 %63, 8
%65 = getelementptr inbounds i8, i8* %0, i64 13
%66 = load i8, i8* %65
%67 = zext i8 %66 to i32
%68 = or i32 %64, %67
%69 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 6
store i32 %68, i32* %69
%70 = getelementptr inbounds i8, i8* %0, i64 14
%71 = load i8, i8* %70
%72 = zext i8 %71 to i32
%73 = shl nuw nsw i32 %72, 8
%74 = getelementptr inbounds i8, i8* %0, i64 15
%75 = load i8, i8* %74
%76 = zext i8 %75 to i32
%77 = or i32 %73, %76
%78 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 7
store i32 %77, i32* %78
%79 = icmp eq i32 %15, 0
%80 = icmp eq i32 %23, 0
%81 = zext i1 %79 to i32
%82 = xor i1 %79, true
%83 = sext i1 %82 to i32
br i1 %80, label %84, label %88
84: ; preds = %2
%85 = xor i1 %79, true
%86 = zext i1 %85 to i32
%87 = select i1 %79, i32 2, i32 1
br label %88
88: ; preds = %2, %84
%89 = phi i32 [ 0, %84 ], [ %81, %2 ]
%90 = phi i32 [ -1, %84 ], [ %83, %2 ]
%91 = phi i32 [ %87, %84 ], [ %81, %2 ]
%92 = phi i32 [ %86, %84 ], [ -1, %2 ]
%93 = icmp eq i32 %32, 0
%94 = icmp eq i32 %92, -1
br i1 %93, label %102, label %95
95: ; preds = %88
br i1 %94, label %106, label %96
96: ; preds = %95
%97 = icmp eq i32 %90, -1
%98 = icmp ugt i32 %91, %89
%99 = select i1 %97, i1 true, i1 %98
%100 = select i1 %99, i32 %91, i32 %89
%101 = select i1 %99, i32 %92, i32 %90
br label %106
102: ; preds = %88
%103 = add nuw nsw i32 %91, 1
%104 = select i1 %94, i32 1, i32 %103
%105 = select i1 %94, i32 2, i32 %92
br label %106
106: ; preds = %102, %96, %95
%107 = phi i32 [ %100, %96 ], [ %89, %95 ], [ %89, %102 ]
%108 = phi i32 [ %101, %96 ], [ %90, %95 ], [ %90, %102 ]
%109 = phi i32 [ %91, %96 ], [ %91, %95 ], [ %104, %102 ]
%110 = phi i32 [ -1, %96 ], [ -1, %95 ], [ %105, %102 ]
%111 = icmp eq i32 %41, 0
%112 = icmp eq i32 %110, -1
br i1 %111, label %120, label %113
113: ; preds = %106
br i1 %112, label %124, label %114
114: ; preds = %113
%115 = icmp eq i32 %108, -1
%116 = icmp ugt i32 %109, %107
%117 = select i1 %115, i1 true, i1 %116
%118 = select i1 %117, i32 %109, i32 %107
%119 = select i1 %117, i32 %110, i32 %108
br label %124
120: ; preds = %106
%121 = add nuw nsw i32 %109, 1
%122 = select i1 %112, i32 1, i32 %121
%123 = select i1 %112, i32 3, i32 %110
br label %124
124: ; preds = %120, %114, %113
%125 = phi i32 [ %118, %114 ], [ %107, %113 ], [ %107, %120 ]
%126 = phi i32 [ %119, %114 ], [ %108, %113 ], [ %108, %120 ]
%127 = phi i32 [ %109, %114 ], [ %109, %113 ], [ %122, %120 ]
%128 = phi i32 [ -1, %114 ], [ -1, %113 ], [ %123, %120 ]
%129 = icmp eq i32 %50, 0
%130 = icmp eq i32 %128, -1
br i1 %129, label %138, label %131
131: ; preds = %124
br i1 %130, label %142, label %132
132: ; preds = %131
%133 = icmp eq i32 %126, -1
%134 = icmp ugt i32 %127, %125
%135 = select i1 %133, i1 true, i1 %134
%136 = select i1 %135, i32 %127, i32 %125
%137 = select i1 %135, i32 %128, i32 %126
br label %142
138: ; preds = %124
%139 = add nuw nsw i32 %127, 1
%140 = select i1 %130, i32 1, i32 %139
%141 = select i1 %130, i32 4, i32 %128
br label %142
142: ; preds = %138, %132, %131
%143 = phi i32 [ %136, %132 ], [ %125, %131 ], [ %125, %138 ]
%144 = phi i32 [ %137, %132 ], [ %126, %131 ], [ %126, %138 ]
%145 = phi i32 [ %127, %132 ], [ %127, %131 ], [ %140, %138 ]
%146 = phi i32 [ -1, %132 ], [ -1, %131 ], [ %141, %138 ]
%147 = icmp eq i32 %59, 0
%148 = icmp eq i32 %146, -1
br i1 %147, label %156, label %149
149: ; preds = %142
br i1 %148, label %160, label %150
150: ; preds = %149
%151 = icmp eq i32 %144, -1
%152 = icmp ugt i32 %145, %143
%153 = select i1 %151, i1 true, i1 %152
%154 = select i1 %153, i32 %145, i32 %143
%155 = select i1 %153, i32 %146, i32 %144
br label %160
156: ; preds = %142
%157 = add nuw nsw i32 %145, 1
%158 = select i1 %148, i32 1, i32 %157
%159 = select i1 %148, i32 5, i32 %146
br label %160
160: ; preds = %156, %150, %149
%161 = phi i32 [ %154, %150 ], [ %143, %149 ], [ %143, %156 ]
%162 = phi i32 [ %155, %150 ], [ %144, %149 ], [ %144, %156 ]
%163 = phi i32 [ %145, %150 ], [ %145, %149 ], [ %158, %156 ]
%164 = phi i32 [ -1, %150 ], [ -1, %149 ], [ %159, %156 ]
%165 = icmp eq i32 %68, 0
%166 = icmp eq i32 %164, -1
br i1 %165, label %174, label %167
167: ; preds = %160
br i1 %166, label %178, label %168
168: ; preds = %167
%169 = icmp eq i32 %162, -1
%170 = icmp ugt i32 %163, %161
%171 = select i1 %169, i1 true, i1 %170
%172 = select i1 %171, i32 %163, i32 %161
%173 = select i1 %171, i32 %164, i32 %162
br label %178
174: ; preds = %160
%175 = add nuw nsw i32 %163, 1
%176 = select i1 %166, i32 1, i32 %175
%177 = select i1 %166, i32 6, i32 %164
br label %178
178: ; preds = %174, %168, %167
%179 = phi i32 [ %172, %168 ], [ %161, %167 ], [ %161, %174 ]
%180 = phi i32 [ %173, %168 ], [ %162, %167 ], [ %162, %174 ]
%181 = phi i32 [ %163, %168 ], [ %163, %167 ], [ %176, %174 ]
%182 = phi i32 [ -1, %168 ], [ -1, %167 ], [ %177, %174 ]
%183 = icmp eq i32 %77, 0
%184 = icmp eq i32 %182, -1
br i1 %183, label %192, label %185
185: ; preds = %178
br i1 %184, label %201, label %186
186: ; preds = %185
%187 = icmp eq i32 %180, -1
%188 = icmp ugt i32 %181, %179
%189 = select i1 %187, i1 true, i1 %188
%190 = select i1 %189, i32 %181, i32 %179
%191 = select i1 %189, i32 %182, i32 %180
br label %201
192: ; preds = %178
%193 = add nuw nsw i32 %181, 1
%194 = select i1 %184, i32 1, i32 %193
%195 = select i1 %184, i32 7, i32 %182
%196 = icmp eq i32 %180, -1
%197 = icmp ugt i32 %194, %179
%198 = select i1 %196, i1 true, i1 %197
%199 = select i1 %198, i32 %194, i32 %179
%200 = select i1 %198, i32 %195, i32 %180
br label %201
201: ; preds = %185, %186, %192
%202 = phi i32 [ %199, %192 ], [ %179, %185 ], [ %190, %186 ]
%203 = phi i32 [ %200, %192 ], [ %180, %185 ], [ %191, %186 ]
%204 = icmp ne i32 %203, -1
%205 = icmp ult i32 %202, 2
%206 = select i1 %204, i1 %205, i1 false
%207 = select i1 %206, i32 -1, i32 %203
%208 = icmp ne i32 %207, -1
%209 = add nsw i32 %207, %202
%210 = icmp slt i32 %207, 1
%211 = and i1 %208, %210
%212 = icmp sgt i32 %209, 0
%213 = select i1 %211, i1 %212, i1 false
br i1 %213, label %218, label %214
214: ; preds = %201
%215 = call i32 @sprintf(i8* dereferenceable(1) %5, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %15)
%216 = sext i32 %215 to i64
%217 = getelementptr inbounds [46 x i8], [46 x i8]* %3, i64 0, i64 %216
br label %222
218: ; preds = %201
%219 = icmp eq i32 %207, 0
br i1 %219, label %220, label %222
220: ; preds = %218
%221 = getelementptr inbounds [46 x i8], [46 x i8]* %3, i64 0, i64 1
store i8 58, i8* %5
br label %222
222: ; preds = %220, %218, %214
%223 = phi i8* [ %221, %220 ], [ %5, %218 ], [ %217, %214 ]
%224 = icmp slt i32 %207, 2
%225 = and i1 %208, %224
%226 = icmp sgt i32 %209, 1
%227 = select i1 %225, i1 %226, i1 false
br i1 %227, label %228, label %232
228: ; preds = %222
%229 = icmp eq i32 %207, 1
br i1 %229, label %230, label %239
230: ; preds = %228
%231 = getelementptr inbounds i8, i8* %223, i64 1
store i8 58, i8* %223
br label %239
232: ; preds = %222
%233 = getelementptr inbounds i8, i8* %223, i64 1
store i8 58, i8* %223
%234 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 1
%235 = load i32, i32* %234
%236 = call i32 @sprintf(i8* dereferenceable(1) %233, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %235)
%237 = sext i32 %236 to i64
%238 = getelementptr inbounds i8, i8* %233, i64 %237
br label %239
239: ; preds = %228, %230, %232
%240 = phi i8* [ %231, %230 ], [ %223, %228 ], [ %238, %232 ]
%241 = icmp slt i32 %207, 3
%242 = and i1 %208, %241
%243 = icmp sgt i32 %209, 2
%244 = select i1 %242, i1 %243, i1 false
br i1 %244, label %252, label %245
245: ; preds = %239
%246 = getelementptr inbounds i8, i8* %240, i64 1
store i8 58, i8* %240
%247 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 2
%248 = load i32, i32* %247
%249 = call i32 @sprintf(i8* dereferenceable(1) %246, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %248)
%250 = sext i32 %249 to i64
%251 = getelementptr inbounds i8, i8* %246, i64 %250
br label %256
252: ; preds = %239
%253 = icmp eq i32 %207, 2
br i1 %253, label %254, label %256
254: ; preds = %252
%255 = getelementptr inbounds i8, i8* %240, i64 1
store i8 58, i8* %240
br label %256
256: ; preds = %254, %252, %245
%257 = phi i8* [ %255, %254 ], [ %240, %252 ], [ %251, %245 ]
%258 = icmp slt i32 %207, 4
%259 = and i1 %208, %258
%260 = icmp sgt i32 %209, 3
%261 = select i1 %259, i1 %260, i1 false
br i1 %261, label %269, label %262
262: ; preds = %256
%263 = getelementptr inbounds i8, i8* %257, i64 1
store i8 58, i8* %257
%264 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 3
%265 = load i32, i32* %264
%266 = call i32 @sprintf(i8* dereferenceable(1) %263, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %265)
%267 = sext i32 %266 to i64
%268 = getelementptr inbounds i8, i8* %263, i64 %267
br label %273
269: ; preds = %256
%270 = icmp eq i32 %207, 3
br i1 %270, label %271, label %273
271: ; preds = %269
%272 = getelementptr inbounds i8, i8* %257, i64 1
store i8 58, i8* %257
br label %273
273: ; preds = %271, %269, %262
%274 = phi i8* [ %272, %271 ], [ %257, %269 ], [ %268, %262 ]
%275 = icmp slt i32 %207, 5
%276 = and i1 %208, %275
%277 = icmp sgt i32 %209, 4
%278 = select i1 %276, i1 %277, i1 false
br i1 %278, label %286, label %279
279: ; preds = %273
%280 = getelementptr inbounds i8, i8* %274, i64 1
store i8 58, i8* %274
%281 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 4
%282 = load i32, i32* %281
%283 = call i32 @sprintf(i8* dereferenceable(1) %280, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %282)
%284 = sext i32 %283 to i64
%285 = getelementptr inbounds i8, i8* %280, i64 %284
br label %290
286: ; preds = %273
%287 = icmp eq i32 %207, 4
br i1 %287, label %288, label %290
288: ; preds = %286
%289 = getelementptr inbounds i8, i8* %274, i64 1
store i8 58, i8* %274
br label %290
290: ; preds = %288, %286, %279
%291 = phi i8* [ %289, %288 ], [ %274, %286 ], [ %285, %279 ]
%292 = icmp slt i32 %207, 6
%293 = and i1 %208, %292
%294 = icmp sgt i32 %209, 5
%295 = select i1 %293, i1 %294, i1 false
br i1 %295, label %303, label %296
296: ; preds = %290
%297 = getelementptr inbounds i8, i8* %291, i64 1
store i8 58, i8* %291
%298 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 5
%299 = load i32, i32* %298
%300 = call i32 @sprintf(i8* dereferenceable(1) %297, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %299)
%301 = sext i32 %300 to i64
%302 = getelementptr inbounds i8, i8* %297, i64 %301
br label %307
303: ; preds = %290
%304 = icmp eq i32 %207, 5
br i1 %304, label %305, label %307
305: ; preds = %303
%306 = getelementptr inbounds i8, i8* %291, i64 1
store i8 58, i8* %291
br label %307
307: ; preds = %305, %303, %296
%308 = phi i8* [ %306, %305 ], [ %291, %303 ], [ %302, %296 ]
%309 = icmp slt i32 %207, 7
%310 = and i1 %208, %309
%311 = icmp sgt i32 %209, 6
%312 = select i1 %310, i1 %311, i1 false
br i1 %312, label %320, label %313
313: ; preds = %307
%314 = getelementptr inbounds i8, i8* %308, i64 1
store i8 58, i8* %308
%315 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 6
%316 = load i32, i32* %315
%317 = call i32 @sprintf(i8* dereferenceable(1) %314, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %316)
%318 = sext i32 %317 to i64
%319 = getelementptr inbounds i8, i8* %314, i64 %318
br label %324
320: ; preds = %307
%321 = icmp eq i32 %207, 6
br i1 %321, label %322, label %324
322: ; preds = %320
%323 = getelementptr inbounds i8, i8* %308, i64 1
store i8 58, i8* %308
br label %324
324: ; preds = %322, %320, %313
%325 = phi i8* [ %323, %322 ], [ %308, %320 ], [ %319, %313 ]
%326 = icmp slt i32 %207, 8
%327 = and i1 %208, %326
%328 = icmp sgt i32 %209, 7
%329 = select i1 %327, i1 %328, i1 false
br i1 %329, label %337, label %330
330: ; preds = %324
%331 = getelementptr inbounds i8, i8* %325, i64 1
store i8 58, i8* %325
%332 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 7
%333 = load i32, i32* %332
%334 = call i32 @sprintf(i8* dereferenceable(1) %331, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %333)
%335 = sext i32 %334 to i64
%336 = getelementptr inbounds i8, i8* %331, i64 %335
br label %341
337: ; preds = %324
%338 = icmp eq i32 %207, 7
br i1 %338, label %339, label %341
339: ; preds = %337
%340 = getelementptr inbounds i8, i8* %325, i64 1
store i8 58, i8* %325
br label %341
341: ; preds = %339, %337, %330
%342 = phi i8* [ %340, %339 ], [ %325, %337 ], [ %336, %330 ]
%343 = icmp eq i32 %209, 8
%344 = select i1 %208, i1 %343, i1 false
br i1 %344, label %345, label %347
345: ; preds = %341
%346 = getelementptr inbounds i8, i8* %342, i64 1
store i8 58, i8* %342
br label %347
347: ; preds = %345, %341
%348 = phi i8* [ %346, %345 ], [ %342, %341 ]
store i8 0, i8* %348
%349 = call i8* @strcpy(i8* dereferenceable(1) %1, i8* %5)
ret i8* %1
}