#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 ssize_t;

/* Variables and functions */
unsigned char *malloc(int);
int /*<<< orphan*/ strncpy(char *, char *, int);
int ares_expand_string(const unsigned char *encoded, const unsigned char *abuf,
                       int alen, unsigned char **s, long *enclen) {
  unsigned char *q;
  union {
    ssize_t sig;
    size_t uns;
  } elen;
  if (encoded == abuf + alen)
    return 17;
  elen.uns = *encoded;
  if (encoded + elen.sig + 1 > abuf + alen)
    return 17;
  encoded++;
  *s = malloc(elen.uns + 1);
  if (*s == NULL)
    return 15;
  q = *s;
  strncpy((char *)q, (char *)encoded, elen.uns);
  q[elen.uns] = '\0';
  *s = q;
  *enclen = (long)(elen.sig + 1);
  return 0;
}


x86 assembly (clang, -O0):
<ares_expand_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
jne    115f <ares_expand_string+0x3f>
movl   $0x11,-0x4(%rbp)
jmp    1224 <ares_expand_string+0x104>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x40(%rbp),%rcx
add    %rcx,%rax
add    $0x1,%rax
mov    -0x18(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
jbe    1199 <ares_expand_string+0x79>
movl   $0x11,-0x4(%rbp)
jmp    1224 <ares_expand_string+0x104>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x28(%rbp),%rax
cmpq   $0x0,(%rax)
jne    11d8 <ares_expand_string+0xb8>
movl   $0xf,-0x4(%rbp)
jmp    1224 <ares_expand_string+0x104>
mov    -0x28(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x40(%rbp),%rax
mov    %eax,%edx
call   1030 <strncpy@plt>
mov    -0x38(%rbp),%rax
mov    -0x40(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x38(%rbp),%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ares_expand_string>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rcx,%r15
movslq %edx,%rcx
add    %rsi,%rcx
mov    $0x11,%eax
cmp    %rdi,%rcx
je     1193 <ares_expand_string+0x73>
mov    %rdi,%rbx
movzbl (%rdi),%r12d
lea    (%rdi,%r12,1),%rdx
add    $0x1,%rdx
cmp    %rcx,%rdx
ja     1193 <ares_expand_string+0x73>
mov    %r8,%r14
lea    0x1(%r12),%edi
call   1040 <malloc@plt>
mov    %rax,(%r15)
test   %rax,%rax
je     118e <ares_expand_string+0x6e>
mov    %rax,%r13
add    $0x1,%rbx
mov    %rax,%rdi
mov    %rbx,%rsi
mov    %r12d,%edx
call   1030 <strncpy@plt>
movb   $0x0,0x0(%r13,%r12,1)
mov    %r13,(%r15)
add    $0x1,%r12
mov    %r12,(%r14)
xor    %eax,%eax
jmp    1193 <ares_expand_string+0x73>
mov    $0xf,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
%union.anon = type { i64 }
define i32 @ares_expand_string(i8* %0, i8* %1, i32 %2, i8** %3, i64* %4) {
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i8**
%11 = alloca i64*
%12 = alloca i8*
%13 = alloca %union.anon
store i8* %0, i8** %7
store i8* %1, i8** %8
store i32 %2, i32* %9
store i8** %3, i8*** %10
store i64* %4, i64** %11
%14 = load i8*, i8** %7
%15 = load i8*, i8** %8
%16 = load i32, i32* %9
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i8, i8* %15, i64 %17
%19 = icmp eq i8* %14, %18
br i1 %19, label %20, label %21
20: ; preds = %5
store i32 17, i32* %6
br label %71
21: ; preds = %5
%22 = load i8*, i8** %7
%23 = load i8, i8* %22
%24 = zext i8 %23 to i64
%25 = bitcast %union.anon* %13 to i64*
store i64 %24, i64* %25
%26 = load i8*, i8** %7
%27 = bitcast %union.anon* %13 to i32*
%28 = load i32, i32* %27
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i8, i8* %26, i64 %29
%31 = getelementptr inbounds i8, i8* %30, i64 1
%32 = load i8*, i8** %8
%33 = load i32, i32* %9
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %32, i64 %34
%36 = icmp ugt i8* %31, %35
br i1 %36, label %37, label %38
37: ; preds = %21
store i32 17, i32* %6
br label %71
38: ; preds = %21
%39 = load i8*, i8** %7
%40 = getelementptr inbounds i8, i8* %39, i32 1
store i8* %40, i8** %7
%41 = bitcast %union.anon* %13 to i64*
%42 = load i64, i64* %41
%43 = add i64 %42, 1
%44 = trunc i64 %43 to i32
%45 = call i8* @malloc(i32 %44)
%46 = load i8**, i8*** %10
store i8* %45, i8** %46
%47 = load i8**, i8*** %10
%48 = load i8*, i8** %47
%49 = icmp eq i8* %48, null
br i1 %49, label %50, label %51
50: ; preds = %38
store i32 15, i32* %6
br label %71
51: ; preds = %38
%52 = load i8**, i8*** %10
%53 = load i8*, i8** %52
store i8* %53, i8** %12
%54 = load i8*, i8** %12
%55 = load i8*, i8** %7
%56 = bitcast %union.anon* %13 to i64*
%57 = load i64, i64* %56
%58 = trunc i64 %57 to i32
%59 = call i32 @strncpy(i8* %54, i8* %55, i32 %58)
%60 = load i8*, i8** %12
%61 = bitcast %union.anon* %13 to i64*
%62 = load i64, i64* %61
%63 = getelementptr inbounds i8, i8* %60, i64 %62
store i8 0, i8* %63
%64 = load i8*, i8** %12
%65 = load i8**, i8*** %10
store i8* %64, i8** %65
%66 = bitcast %union.anon* %13 to i32*
%67 = load i32, i32* %66
%68 = add nsw i32 %67, 1
%69 = sext i32 %68 to i64
%70 = load i64*, i64** %11
store i64 %69, i64* %70
store i32 0, i32* %6
br label %71
71: ; preds = %51, %50, %37, %20
%72 = load i32, i32* %6
ret i32 %72
}

LLVM IR (-O2):
define i32 @ares_expand_string(i8* %0, i8* readnone %1, i32 %2, i8** nocapture writeonly %3, i64* nocapture writeonly %4) {
%6 = sext i32 %2 to i64
%7 = getelementptr inbounds i8, i8* %1, i64 %6
%8 = icmp eq i8* %7, %0
br i1 %8, label %25, label %9
9: ; preds = %5
%10 = load i8, i8* %0
%11 = zext i8 %10 to i64
%12 = getelementptr inbounds i8, i8* %0, i64 %11
%13 = getelementptr inbounds i8, i8* %12, i64 1
%14 = icmp ugt i8* %13, %7
br i1 %14, label %25, label %15
15: ; preds = %9
%16 = zext i8 %10 to i32
%17 = add nuw nsw i32 %16, 1
%18 = tail call i8* @malloc(i32 %17)
store i8* %18, i8** %3
%19 = icmp eq i8* %18, null
br i1 %19, label %25, label %20
20: ; preds = %15
%21 = getelementptr inbounds i8, i8* %0, i64 1
%22 = tail call i32 @strncpy(i8* %18, i8* %21, i32 %16)
%23 = getelementptr inbounds i8, i8* %18, i64 %11
store i8 0, i8* %23
store i8* %18, i8** %3
%24 = add nuw nsw i64 %11, 1
store i64 %24, i64* %4
br label %25
25: ; preds = %15, %9, %5, %20
%26 = phi i32 [ 0, %20 ], [ 17, %5 ], [ 17, %9 ], [ 15, %15 ]
ret i32 %26
}