#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 /*<<< orphan*/ u_char;

/* Variables and functions */
int /*<<< orphan*/ ENOSPC;
int /*<<< orphan*/ __set_errno(int /*<<< orphan*/);
int /*<<< orphan*/ addlen(size_t, char **, size_t *);
int dn_expand(int /*<<< orphan*/ const *, int /*<<< orphan*/ const *,
              int /*<<< orphan*/ const *, char *, size_t);
size_t prune_origin(char *, char const *);
int addname(const u_char *msg, size_t msglen, const u_char **pp,
            const char *origin, char **buf, size_t *buflen) {
  size_t newlen, save_buflen = *buflen;
  char *save_buf = *buf;
  int n;
  n = dn_expand(msg, msg + msglen, *pp, *buf, *buflen);
  if (n < 0)
    goto enospc;
  newlen = prune_origin(*buf, origin);
  if (**buf == '\0') {
    goto root;
  } else if (newlen == 0U) {
    if (newlen + 2 > *buflen)
      goto enospc;
    (*buf)[newlen++] = '@';
    (*buf)[newlen] = '\0';
  } else {
    if (((origin == NULL || origin[0] == '\0') ||
         (origin[0] != '.' && origin[1] != '\0' && (*buf)[newlen] == '\0')) &&
        (*buf)[newlen - 1] != '.') {
    root:
      if (newlen + 2 > *buflen)
        goto enospc;
      (*buf)[newlen++] = '.';
      (*buf)[newlen] = '\0';
    }
  }
  *pp += n;
  addlen(newlen, buf, buflen);
  **buf = '\0';
  return (newlen);
enospc:
  __set_errno(ENOSPC);
  *buf = save_buf;
  *buflen = save_buflen;
  return (-1);
}


x86 assembly (clang, -O0):
<addname>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x50(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x20(%rbp),%rax
mov    (%rax),%rdx
mov    -0x30(%rbp),%rax
mov    (%rax),%rcx
mov    -0x38(%rbp),%rax
mov    (%rax),%r8
call   1050 <dn_expand@plt>
mov    %eax,-0x54(%rbp)
cmpl   $0x0,-0x54(%rbp)
jge    11b5 <addname+0x75>
jmp    1334 <addname+0x1f4>
mov    -0x30(%rbp),%rax
mov    (%rax),%rdi
mov    -0x28(%rbp),%rsi
call   1040 <prune_origin@plt>
mov    %rax,-0x40(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    11e1 <addname+0xa1>
jmp    12a9 <addname+0x169>
cmpq   $0x0,-0x40(%rbp)
jne    1234 <addname+0xf4>
mov    -0x40(%rbp),%rax
add    $0x2,%rax
mov    -0x38(%rbp),%rcx
cmp    (%rcx),%rax
jbe    1206 <addname+0xc6>
jmp    1334 <addname+0x1f4>
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
movb   $0x40,(%rax,%rcx,1)
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
mov    -0x40(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    12f1 <addname+0x1b1>
cmpq   $0x0,-0x28(%rbp)
je     1288 <addname+0x148>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1288 <addname+0x148>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
je     12ec <addname+0x1ac>
mov    -0x28(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
je     12ec <addname+0x1ac>
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
mov    -0x40(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    12ec <addname+0x1ac>
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
mov    -0x40(%rbp),%rcx
sub    $0x1,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     12ec <addname+0x1ac>
jmp    12a9 <addname+0x169>
mov    -0x40(%rbp),%rax
add    $0x2,%rax
mov    -0x38(%rbp),%rcx
cmp    (%rcx),%rax
jbe    12c3 <addname+0x183>
jmp    1334 <addname+0x1f4>
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
movb   $0x2e,(%rax,%rcx,1)
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
mov    -0x40(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    12f1 <addname+0x1b1>
jmp    12f6 <addname+0x1b6>
mov    -0x54(%rbp),%edx
mov    -0x20(%rbp),%rax
mov    (%rax),%rcx
movslq %edx,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
mov    %rcx,(%rax)
mov    -0x40(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x38(%rbp),%rdx
call   1060 <addlen@plt>
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
movb   $0x0,(%rax)
mov    -0x40(%rbp),%rax
mov    %eax,-0x4(%rbp)
jmp    135f <addname+0x21f>
mov    0x2ca5(%rip),%rax
mov    (%rax),%edi
call   1030 <__set_errno@plt>
mov    -0x50(%rbp),%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x48(%rbp),%rcx
mov    -0x38(%rbp),%rax
mov    %rcx,(%rax)
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<addname>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r9,%r14
mov    %r8,%r12
mov    %rcx,%r13
mov    (%r9),%rbp
mov    (%r8),%r15
lea    (%rdi,%rsi,4),%rsi
mov    %rdx,(%rsp)
mov    (%rdx),%rdx
mov    %r15,%rcx
mov    %rbp,%r8
call   1050 <dn_expand@plt>
test   %eax,%eax
js     11da <addname+0x9a>
mov    (%r12),%rdi
mov    %r13,%rsi
mov    %eax,%ebx
call   1040 <prune_origin@plt>
mov    %ebx,%edx
mov    %rax,%rbx
mov    (%r12),%rax
cmpb   $0x0,(%rax)
je     11c1 <addname+0x81>
test   %rbx,%rbx
je     11d4 <addname+0x94>
test   %r13,%r13
je     11b4 <addname+0x74>
mov    0x0(%r13),%cl
test   %cl,%cl
je     11b4 <addname+0x74>
cmp    $0x2e,%cl
je     11bb <addname+0x7b>
cmpb   $0x0,0x1(%r13)
je     11bb <addname+0x7b>
cmpb   $0x0,(%rax,%rbx,1)
jne    11bb <addname+0x7b>
cmpb   $0x2e,-0x1(%rbx,%rax,1)
jne    11c1 <addname+0x81>
mov    (%rsp),%rcx
jmp    120a <addname+0xca>
lea    0x2(%rbx),%rcx
cmp    (%r14),%rcx
ja     11da <addname+0x9a>
movb   $0x2e,(%rax,%rbx,1)
add    $0x1,%rbx
jmp    11fe <addname+0xbe>
cmpq   $0x2,(%r14)
jae    11f6 <addname+0xb6>
mov    0x2dff(%rip),%rax
mov    (%rax),%edi
call   1030 <__set_errno@plt>
mov    %r15,(%r12)
mov    %rbp,(%r14)
mov    $0xffffffff,%ebx
jmp    1228 <addname+0xe8>
movb   $0x40,(%rax)
mov    $0x1,%ebx
mov    (%rsp),%rcx
mov    (%r12),%rax
movb   $0x0,(%rax,%rbx,1)
mov    %edx,%eax
shl    $0x2,%rax
add    %rax,(%rcx)
mov    %rbx,%rdi
mov    %r12,%rsi
mov    %r14,%rdx
call   1060 <addlen@plt>
mov    (%r12),%rax
movb   $0x0,(%rax)
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@ENOSPC = global i32 0
define i32 @addname(i32* %0, i64 %1, i32** nocapture %2, i8* %3, i8** %4, i64* %5) {
%7 = load i64, i64* %5
%8 = load i8*, i8** %4
%9 = getelementptr inbounds i32, i32* %0, i64 %1
%10 = load i32*, i32** %2
%11 = tail call i32 @dn_expand(i32* %0, i32* %9, i32* %10, i8* %8, i64 %7)
%12 = icmp slt i32 %11, 0
br i1 %12, label %61, label %13
13: ; preds = %6
%14 = load i8*, i8** %4
%15 = tail call i64 @prune_origin(i8* %14, i8* %3)
%16 = load i8*, i8** %4
%17 = load i8, i8* %16
%18 = icmp eq i8 %17, 0
br i1 %18, label %42, label %19
19: ; preds = %13
%20 = icmp eq i64 %15, 0
br i1 %20, label %21, label %25
21: ; preds = %19
%22 = load i64, i64* %5
%23 = icmp ult i64 %22, 2
br i1 %23, label %61, label %24
24: ; preds = %21
store i8 64, i8* %16
br label %49
25: ; preds = %19
%26 = icmp eq i8* %3, null
br i1 %26, label %37, label %27
27: ; preds = %25
%28 = load i8, i8* %3
switch i8 %28, label %29 [
i8 0, label %37
i8 46, label %53
]
29: ; preds = %27
%30 = getelementptr inbounds i8, i8* %3, i64 1
%31 = load i8, i8* %30
%32 = icmp eq i8 %31, 0
br i1 %32, label %53, label %33
33: ; preds = %29
%34 = getelementptr inbounds i8, i8* %16, i64 %15
%35 = load i8, i8* %34
%36 = icmp eq i8 %35, 0
br i1 %36, label %37, label %53
37: ; preds = %27, %33, %25
%38 = add i64 %15, -1
%39 = getelementptr inbounds i8, i8* %16, i64 %38
%40 = load i8, i8* %39
%41 = icmp eq i8 %40, 46
br i1 %41, label %53, label %42
42: ; preds = %37, %13
%43 = add i64 %15, 2
%44 = load i64, i64* %5
%45 = icmp ugt i64 %43, %44
br i1 %45, label %61, label %46
46: ; preds = %42
%47 = add i64 %15, 1
%48 = getelementptr inbounds i8, i8* %16, i64 %15
store i8 46, i8* %48
br label %49
49: ; preds = %46, %24
%50 = phi i64 [ 1, %24 ], [ %47, %46 ]
%51 = load i8*, i8** %4
%52 = getelementptr inbounds i8, i8* %51, i64 %50
store i8 0, i8* %52
br label %53
53: ; preds = %49, %27, %37, %33, %29
%54 = phi i64 [ %15, %37 ], [ %15, %33 ], [ %15, %29 ], [ %15, %27 ], [ %50, %49 ]
%55 = load i32*, i32** %2
%56 = zext i32 %11 to i64
%57 = getelementptr inbounds i32, i32* %55, i64 %56
store i32* %57, i32** %2
%58 = tail call i32 @addlen(i64 %54, i8** %4, i64* %5)
%59 = load i8*, i8** %4
store i8 0, i8* %59
%60 = trunc i64 %54 to i32
br label %64
61: ; preds = %42, %21, %6
%62 = load i32, i32* @ENOSPC
%63 = tail call i32 @__set_errno(i32 %62)
store i8* %8, i8** %4
store i64 %7, i64* %5
br label %64
64: ; preds = %61, %53
%65 = phi i32 [ -1, %61 ], [ %60, %53 ]
ret i32 %65
}