#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 scalar_t__ uint8_t;
typedef int uint16_t;
typedef int int32_t;

/* Variables and functions */
int /*<<< orphan*/ free(char *);
char *malloc(int);
int ntohs(int);
char *realloc(char *, int);
char *_dns_parse_domain_name(const char *p, char **x, int32_t *remaining) {
  uint8_t *v8;
  uint16_t *v16, skip;
  uint16_t i, j, dlen, len;
  int more, compressed;
  char *name, *start, *y, *z;
  if (*remaining < 1)
    return NULL;
  z = *x + *remaining;
  start = *x;
  compressed = 0;
  more = 1;
  name = malloc(1);
  name[0] = '\0';
  len = 1;
  j = 0;
  skip = 0;
  while (more == 1) {
    if ((*x + 1) > z) {
      free(name);
      return NULL;
    }
    v8 = (uint8_t *)*x;
    dlen = *v8;
    if ((dlen & 0xc0) == 0xc0) {
      if ((*x + 2) > z) {
        free(name);
        return NULL;
      }
      v16 = (uint16_t *)*x;
      y = (char *)p + (ntohs(*v16) & 0x3fff);
      if ((*x == y) || (y > z)) {
        free(name);
        return NULL;
      }
      *x = y;
      if (compressed == 0)
        skip += 2;
      compressed = 1;
      continue;
    }
    if ((*x + 1) > z) {
      free(name);
      return NULL;
    }
    *x += 1;
    if (dlen > 0) {
      len += dlen;
      name = realloc(name, len);
    }
    if ((*x + dlen) > z) {
      free(name);
      return NULL;
    }
    for (i = 0; i < dlen; i++) {
      name[j++] = **x;
      *x += 1;
    }
    name[j] = '\0';
    if (compressed == 0)
      skip += (dlen + 1);
    if (dlen == 0)
      more = 0;
    else {
      if ((*x + 1) > z) {
        free(name);
        return NULL;
      }
      v8 = (uint8_t *)*x;
      if (*v8 != 0) {
        len += 1;
        name = realloc(name, len);
        name[j++] = '.';
        name[j] = '\0';
      }
    }
  }
  if ((start + skip) > z) {
    free(name);
    return NULL;
  }
  *x = start + skip;
  *remaining -= skip;
  return name;
}


x86 assembly (clang, -O0):
<_dns_parse_domain_name>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmpl   $0x1,(%rax)
jge    1171 <_dns_parse_domain_name+0x31>
movq   $0x0,-0x8(%rbp)
jmp    14ce <_dns_parse_domain_name+0x38e>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x20(%rbp),%rcx
movslq (%rcx),%rcx
add    %rcx,%rax
mov    %rax,-0x70(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x60(%rbp)
movl   $0x0,-0x4c(%rbp)
movl   $0x1,-0x48(%rbp)
mov    $0x1,%edi
call   1040 <malloc@plt>
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
movb   $0x0,(%rax)
movl   $0x1,-0x44(%rbp)
movl   $0x0,-0x3c(%rbp)
movl   $0x0,-0x34(%rbp)
cmpl   $0x1,-0x48(%rbp)
jne    147c <_dns_parse_domain_name+0x33c>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
add    $0x1,%rax
cmp    -0x70(%rbp),%rax
jbe    11fe <_dns_parse_domain_name+0xbe>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    14ce <_dns_parse_domain_name+0x38e>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%rax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
and    $0xc0,%eax
cmp    $0xc0,%eax
jne    12e4 <_dns_parse_domain_name+0x1a4>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
add    $0x2,%rax
cmp    -0x70(%rbp),%rax
jbe    1251 <_dns_parse_domain_name+0x111>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    14ce <_dns_parse_domain_name+0x38e>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%edi
call   1060 <ntohs@plt>
mov    %eax,%ecx
mov    -0x78(%rbp),%rax
and    $0x3fff,%ecx
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
cmp    -0x68(%rbp),%rax
je     12a4 <_dns_parse_domain_name+0x164>
mov    -0x68(%rbp),%rax
cmp    -0x70(%rbp),%rax
jbe    12ba <_dns_parse_domain_name+0x17a>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    14ce <_dns_parse_domain_name+0x38e>
mov    -0x68(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
cmpl   $0x0,-0x4c(%rbp)
jne    12d8 <_dns_parse_domain_name+0x198>
mov    -0x34(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x34(%rbp)
movl   $0x1,-0x4c(%rbp)
jmp    11c9 <_dns_parse_domain_name+0x89>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
add    $0x1,%rax
cmp    -0x70(%rbp),%rax
jbe    130f <_dns_parse_domain_name+0x1cf>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    14ce <_dns_parse_domain_name+0x38e>
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
cmpl   $0x0,-0x40(%rbp)
jle    1340 <_dns_parse_domain_name+0x200>
mov    -0x40(%rbp),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x58(%rbp),%rdi
mov    -0x44(%rbp),%esi
call   1050 <realloc@plt>
mov    %rax,-0x58(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movslq -0x40(%rbp),%rcx
add    %rcx,%rax
cmp    -0x70(%rbp),%rax
jbe    136e <_dns_parse_domain_name+0x22e>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    14ce <_dns_parse_domain_name+0x38e>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    13bb <_dns_parse_domain_name+0x27b>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    (%rax),%dl
mov    -0x58(%rbp),%rax
mov    -0x3c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x3c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1375 <_dns_parse_domain_name+0x235>
mov    -0x58(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
cmpl   $0x0,-0x4c(%rbp)
jne    13dd <_dns_parse_domain_name+0x29d>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x40(%rbp)
jne    13f3 <_dns_parse_domain_name+0x2b3>
movl   $0x0,-0x48(%rbp)
jmp    1477 <_dns_parse_domain_name+0x337>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
add    $0x1,%rax
cmp    -0x70(%rbp),%rax
jbe    141e <_dns_parse_domain_name+0x2de>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    14ce <_dns_parse_domain_name+0x38e>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmpq   $0x0,(%rax)
je     1472 <_dns_parse_domain_name+0x332>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x58(%rbp),%rdi
mov    -0x44(%rbp),%esi
call   1050 <realloc@plt>
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    -0x3c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x3c(%rbp)
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x58(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1477 <_dns_parse_domain_name+0x337>
jmp    11c9 <_dns_parse_domain_name+0x89>
mov    -0x60(%rbp),%rax
movslq -0x34(%rbp),%rcx
add    %rcx,%rax
cmp    -0x70(%rbp),%rax
jbe    14a7 <_dns_parse_domain_name+0x367>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    14ce <_dns_parse_domain_name+0x38e>
mov    -0x60(%rbp),%rcx
movslq -0x34(%rbp),%rax
add    %rax,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x34(%rbp),%edx
mov    -0x20(%rbp),%rax
mov    (%rax),%ecx
sub    %edx,%ecx
mov    %ecx,(%rax)
mov    -0x58(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<_dns_parse_domain_name>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdi,0x30(%rsp)
mov    (%rdx),%eax
test   %eax,%eax
jle    132c <_dns_parse_domain_name+0x1ec>
mov    %rsi,%rbx
mov    %rdx,0x20(%rsp)
mov    (%rsi),%rbp
mov    %rax,0x28(%rsp)
lea    (%rax,%rbp,1),%r13
movl   $0x1,0xc(%rsp)
mov    $0x1,%edi
call   1040 <malloc@plt>
mov    %rax,%rdi
movb   $0x0,(%rax)
lea    0x1(%rbp),%rcx
xor    %r12d,%r12d
xor    %r14d,%r14d
xor    %r15d,%r15d
mov    %rbp,0x18(%rsp)
mov    %rbp,%rax
mov    %rdi,0x10(%rsp)
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rax),%rbp
mov    %ebp,%edx
not    %edx
test   $0xc0,%dl
jne    1220 <_dns_parse_domain_name+0xe0>
add    $0x2,%rax
cmp    %r13,%rax
ja     1322 <_dns_parse_domain_name+0x1e2>
mov    %ebp,%edi
call   1060 <ntohs@plt>
and    $0x3fff,%eax
add    0x30(%rsp),%rax
cmp    %rax,(%rbx)
je     1322 <_dns_parse_domain_name+0x1e2>
cmp    %r13,%rax
ja     1322 <_dns_parse_domain_name+0x1e2>
lea    0x2(%r15),%edx
test   %r14d,%r14d
cmovne %r15d,%edx
mov    %rax,(%rbx)
lea    0x1(%rax),%rcx
mov    $0x1,%r14d
mov    %edx,%r15d
cmp    %r13,%rcx
jbe    11b0 <_dns_parse_domain_name+0x70>
jmp    1322 <_dns_parse_domain_name+0x1e2>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %rcx,(%rbx)
test   %ebp,%ebp
jle    125c <_dns_parse_domain_name+0x11c>
mov    0xc(%rsp),%esi
add    %ebp,%esi
mov    0x10(%rsp),%rdi
mov    %esi,0xc(%rsp)
call   1050 <realloc@plt>
mov    %rax,%rdi
mov    (%rbx),%rax
movslq %ebp,%rcx
add    %rax,%rcx
cmp    %r13,%rcx
ja     1327 <_dns_parse_domain_name+0x1e7>
movslq %r12d,%r12
cmp    $0x1,%ebp
jne    1276 <_dns_parse_domain_name+0x136>
xor    %esi,%esi
jmp    12ad <_dns_parse_domain_name+0x16d>
movslq %ebp,%rax
add    %rax,%rcx
cmp    %r13,%rcx
mov    0x10(%rsp),%rdi
mov    $0x0,%esi
jbe    12c1 <_dns_parse_domain_name+0x181>
jmp    1327 <_dns_parse_domain_name+0x1e7>
mov    %ebp,%ecx
and    $0xfffffffe,%ecx
xor    %esi,%esi
nopl   (%rax)
movzbl (%rax),%eax
mov    %al,(%rdi,%r12,1)
mov    (%rbx),%rax
lea    0x1(%rax),%rdx
mov    %rdx,(%rbx)
movzbl 0x1(%rax),%eax
mov    %al,0x1(%rdi,%r12,1)
add    $0x2,%r12
mov    (%rbx),%rax
add    $0x1,%rax
mov    %rax,(%rbx)
add    $0xfffffffe,%ecx
jne    1280 <_dns_parse_domain_name+0x140>
test   $0x1,%bpl
je     12c1 <_dns_parse_domain_name+0x181>
mov    (%rax),%al
mov    %al,(%rdi,%r12,1)
add    $0x1,%r12
addq   $0x1,(%rbx)
movslq %r12d,%rdx
movb   $0x0,(%rdi,%rdx,1)
lea    0x1(%rbp),%eax
test   %r14d,%r14d
cmovne %esi,%eax
add    %r15d,%eax
mov    %eax,%r15d
test   %ebp,%ebp
je     1340 <_dns_parse_domain_name+0x200>
mov    (%rbx),%rax
lea    0x1(%rax),%rcx
cmp    %r13,%rcx
ja     1327 <_dns_parse_domain_name+0x1e7>
cmpq   $0x0,(%rax)
je     1310 <_dns_parse_domain_name+0x1d0>
mov    0xc(%rsp),%esi
add    $0x1,%esi
mov    %esi,0xc(%rsp)
mov    %rdx,%rbp
call   1050 <realloc@plt>
mov    %rax,%rdi
lea    0x1(%rbp),%r12
movb   $0x2e,(%rax,%rbp,1)
movb   $0x0,0x1(%rax,%rbp,1)
mov    (%rbx),%rax
lea    0x1(%rax),%rcx
cmp    %r13,%rcx
jbe    119e <_dns_parse_domain_name+0x5e>
jmp    1327 <_dns_parse_domain_name+0x1e7>
mov    0x10(%rsp),%rdi
call   1030 <free@plt>
xor    %edi,%edi
mov    %rdi,%rax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    0x28(%rsp),%r15d
jg     1327 <_dns_parse_domain_name+0x1e7>
movslq %r15d,%rax
mov    0x18(%rsp),%rcx
add    %rax,%rcx
mov    %rcx,(%rbx)
mov    0x20(%rsp),%rax
sub    %r15d,(%rax)
jmp    132e <_dns_parse_domain_name+0x1ee>

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

LLVM IR (-O2):
define i8* @_dns_parse_domain_name(i8* %0, i8** nocapture %1, i32* nocapture %2) {
%4 = load i32, i32* %2
%5 = icmp slt i32 %4, 1
br i1 %5, label %154, label %6
6: ; preds = %3
%7 = load i8*, i8** %1
%8 = zext i32 %4 to i64
%9 = getelementptr inbounds i8, i8* %7, i64 %8
%10 = tail call dereferenceable_or_null(1) i8* @malloc(i32 1)
store i8 0, i8* %10
%11 = getelementptr inbounds i8, i8* %7, i64 1
br label %12
12: ; preds = %6, %138
%13 = phi i8* [ %11, %6 ], [ %143, %138 ]
%14 = phi i32 [ 0, %6 ], [ %139, %138 ]
%15 = phi i32 [ 1, %6 ], [ %140, %138 ]
%16 = phi i32 [ 0, %6 ], [ %25, %138 ]
%17 = phi i8* [ %10, %6 ], [ %141, %138 ]
%18 = phi i32 [ 0, %6 ], [ %119, %138 ]
%19 = phi i8* [ %7, %6 ], [ %142, %138 ]
br label %23
20: ; preds = %138, %49
%21 = phi i8* [ %17, %49 ], [ %141, %138 ]
%22 = tail call i32 @free(i8* %21)
br label %154
23: ; preds = %12, %49
%24 = phi i8* [ %13, %12 ], [ %53, %49 ]
%25 = phi i32 [ %16, %12 ], [ 1, %49 ]
%26 = phi i32 [ %18, %12 ], [ %52, %49 ]
%27 = phi i8* [ %19, %12 ], [ %42, %49 ]
%28 = bitcast i8* %27 to i64*
%29 = load i64, i64* %28
%30 = and i64 %29, 192
%31 = icmp eq i64 %30, 192
%32 = trunc i64 %29 to i32
br i1 %31, label %33, label %55
33: ; preds = %23
%34 = getelementptr inbounds i8, i8* %27, i64 2
%35 = icmp ugt i8* %34, %9
br i1 %35, label %36, label %38
36: ; preds = %33
%37 = tail call i32 @free(i8* %17)
br label %154
38: ; preds = %33
%39 = tail call i32 @ntohs(i32 %32)
%40 = and i32 %39, 16383
%41 = zext i32 %40 to i64
%42 = getelementptr inbounds i8, i8* %0, i64 %41
%43 = load i8*, i8** %1
%44 = icmp eq i8* %43, %42
%45 = icmp ugt i8* %42, %9
%46 = select i1 %44, i1 true, i1 %45
br i1 %46, label %47, label %49
47: ; preds = %38
%48 = tail call i32 @free(i8* %17)
br label %154
49: ; preds = %38
store i8* %42, i8** %1
%50 = icmp eq i32 %25, 0
%51 = add nsw i32 %26, 2
%52 = select i1 %50, i32 %51, i32 %26
%53 = getelementptr inbounds i8, i8* %42, i64 1
%54 = icmp ugt i8* %53, %9
br i1 %54, label %20, label %23
55: ; preds = %23
%56 = trunc i64 %29 to i32
store i8* %24, i8** %1
%57 = icmp sgt i32 %56, 0
br i1 %57, label %58, label %66
58: ; preds = %55
%59 = add nsw i32 %15, %56
%60 = tail call i8* @realloc(i8* %17, i32 %59)
%61 = load i8*, i8** %1
%62 = shl i64 %29, 32
%63 = ashr exact i64 %62, 32
%64 = getelementptr inbounds i8, i8* %61, i64 %63
%65 = icmp ugt i8* %64, %9
br i1 %65, label %77, label %71
66: ; preds = %55
%67 = shl i64 %29, 32
%68 = ashr exact i64 %67, 32
%69 = getelementptr inbounds i8, i8* %24, i64 %68
%70 = icmp ugt i8* %69, %9
br i1 %70, label %77, label %110
71: ; preds = %58
%72 = sext i32 %14 to i64
%73 = and i32 %56, 1
%74 = icmp eq i32 %56, 1
br i1 %74, label %96, label %75
75: ; preds = %71
%76 = and i32 %56, -2
br label %80
77: ; preds = %66, %58
%78 = phi i8* [ %17, %66 ], [ %60, %58 ]
%79 = tail call i32 @free(i8* %78)
br label %154
80: ; preds = %80, %75
%81 = phi i8* [ %61, %75 ], [ %93, %80 ]
%82 = phi i64 [ %72, %75 ], [ %90, %80 ]
%83 = phi i32 [ 0, %75 ], [ %94, %80 ]
%84 = load i8, i8* %81
%85 = add nsw i64 %82, 1
%86 = getelementptr inbounds i8, i8* %60, i64 %82
store i8 %84, i8* %86
%87 = load i8*, i8** %1
%88 = getelementptr inbounds i8, i8* %87, i64 1
store i8* %88, i8** %1
%89 = load i8, i8* %88
%90 = add nsw i64 %82, 2
%91 = getelementptr inbounds i8, i8* %60, i64 %85
store i8 %89, i8* %91
%92 = load i8*, i8** %1
%93 = getelementptr inbounds i8, i8* %92, i64 1
store i8* %93, i8** %1
%94 = add i32 %83, 2
%95 = icmp eq i32 %94, %76
br i1 %95, label %96, label %80
96: ; preds = %80, %71
%97 = phi i64 [ undef, %71 ], [ %90, %80 ]
%98 = phi i8* [ %61, %71 ], [ %93, %80 ]
%99 = phi i64 [ %72, %71 ], [ %90, %80 ]
%100 = icmp eq i32 %73, 0
br i1 %100, label %107, label %101
101: ; preds = %96
%102 = load i8, i8* %98
%103 = add nsw i64 %99, 1
%104 = getelementptr inbounds i8, i8* %60, i64 %99
store i8 %102, i8* %104
%105 = load i8*, i8** %1
%106 = getelementptr inbounds i8, i8* %105, i64 1
store i8* %106, i8** %1
br label %107
107: ; preds = %96, %101
%108 = phi i64 [ %97, %96 ], [ %103, %101 ]
%109 = trunc i64 %108 to i32
br label %110
110: ; preds = %66, %107
%111 = phi i32 [ %59, %107 ], [ %15, %66 ]
%112 = phi i8* [ %60, %107 ], [ %17, %66 ]
%113 = phi i32 [ %109, %107 ], [ %14, %66 ]
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds i8, i8* %112, i64 %114
store i8 0, i8* %115
%116 = icmp eq i32 %25, 0
%117 = add nsw i32 %56, 1
%118 = select i1 %116, i32 %117, i32 0
%119 = add nsw i32 %118, %26
%120 = icmp eq i32 %56, 0
br i1 %120, label %145, label %121
121: ; preds = %110
%122 = load i8*, i8** %1
%123 = getelementptr inbounds i8, i8* %122, i64 1
%124 = icmp ugt i8* %123, %9
br i1 %124, label %125, label %127
125: ; preds = %121
%126 = tail call i32 @free(i8* %112)
br label %154
127: ; preds = %121
%128 = bitcast i8* %122 to i64*
%129 = load i64, i64* %128
%130 = icmp eq i64 %129, 0
br i1 %130, label %138, label %131
131: ; preds = %127
%132 = add nsw i32 %111, 1
%133 = tail call i8* @realloc(i8* %112, i32 %132)
%134 = add nsw i32 %113, 1
%135 = getelementptr inbounds i8, i8* %133, i64 %114
store i8 46, i8* %135
%136 = sext i32 %134 to i64
%137 = getelementptr inbounds i8, i8* %133, i64 %136
store i8 0, i8* %137
br label %138
138: ; preds = %131, %127
%139 = phi i32 [ %113, %127 ], [ %134, %131 ]
%140 = phi i32 [ %111, %127 ], [ %132, %131 ]
%141 = phi i8* [ %112, %127 ], [ %133, %131 ]
%142 = load i8*, i8** %1
%143 = getelementptr inbounds i8, i8* %142, i64 1
%144 = icmp ugt i8* %143, %9
br i1 %144, label %20, label %12
145: ; preds = %110
%146 = icmp sgt i32 %119, %4
br i1 %146, label %147, label %149
147: ; preds = %145
%148 = tail call i32 @free(i8* %112)
br label %154
149: ; preds = %145
%150 = sext i32 %119 to i64
%151 = getelementptr inbounds i8, i8* %7, i64 %150
store i8* %151, i8** %1
%152 = load i32, i32* %2
%153 = sub nsw i32 %152, %119
store i32 %153, i32* %2
br label %154
154: ; preds = %3, %149, %147, %125, %77, %47, %36, %20
%155 = phi i8* [ null, %20 ], [ null, %36 ], [ null, %47 ], [ null, %77 ], [ null, %125 ], [ null, %147 ], [ %112, %149 ], [ null, %3 ]
ret i8* %155
}