#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 */
char *lib_realloc(char *, unsigned int);
void xmvsprintf_add(char **buf, unsigned int *bufsize, unsigned int *position,
                    char write) {
  if (*position == *bufsize) {
    *bufsize *= 2;
    *buf = lib_realloc(*buf, *bufsize);
  }
  (*buf)[*position] = write;
  *position += 1;
}


x86 assembly (clang, -O0):
<xmvsprintf_add>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %cl,%al
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %al,-0x19(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jne    1162 <xmvsprintf_add+0x52>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
shl    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%rdi
mov    -0x10(%rbp),%rax
mov    (%rax),%esi
call   1030 <lib_realloc@plt>
mov    %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x19(%rbp),%dl
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<xmvsprintf_add>:
push   %rbp
push   %r14
push   %rbx
mov    %ecx,%r14d
mov    %rdx,%rbx
mov    %rsi,%rax
mov    %rdi,%rbp
mov    (%rdx),%esi
cmp    (%rax),%esi
jne    113b <xmvsprintf_add+0x2b>
add    %esi,%esi
mov    %esi,(%rax)
mov    0x0(%rbp),%rdi
call   1030 <lib_realloc@plt>
mov    %rax,0x0(%rbp)
mov    (%rbx),%esi
jmp    113f <xmvsprintf_add+0x2f>
mov    0x0(%rbp),%rax
mov    %esi,%ecx
mov    %r14b,(%rax,%rcx,1)
addl   $0x1,(%rbx)
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define void @xmvsprintf_add(i8** %0, i32* %1, i32* %2, i8 signext %3) {
%5 = alloca i8**
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i8
store i8** %0, i8*** %5
store i32* %1, i32** %6
store i32* %2, i32** %7
store i8 %3, i8* %8
%9 = load i32*, i32** %7
%10 = load i32, i32* %9
%11 = load i32*, i32** %6
%12 = load i32, i32* %11
%13 = icmp eq i32 %10, %12
br i1 %13, label %14, label %24
14: ; preds = %4
%15 = load i32*, i32** %6
%16 = load i32, i32* %15
%17 = mul i32 %16, 2
store i32 %17, i32* %15
%18 = load i8**, i8*** %5
%19 = load i8*, i8** %18
%20 = load i32*, i32** %6
%21 = load i32, i32* %20
%22 = call i8* @lib_realloc(i8* %19, i32 %21)
%23 = load i8**, i8*** %5
store i8* %22, i8** %23
br label %24
24: ; preds = %14, %4
%25 = load i8, i8* %8
%26 = load i8**, i8*** %5
%27 = load i8*, i8** %26
%28 = load i32*, i32** %7
%29 = load i32, i32* %28
%30 = zext i32 %29 to i64
%31 = getelementptr inbounds i8, i8* %27, i64 %30
store i8 %25, i8* %31
%32 = load i32*, i32** %7
%33 = load i32, i32* %32
%34 = add i32 %33, 1
store i32 %34, i32* %32
ret void
}

LLVM IR (-O2):
define void @xmvsprintf_add(i8** nocapture %0, i32* nocapture %1, i32* nocapture %2, i8 signext %3) {
%5 = load i32, i32* %2
%6 = load i32, i32* %1
%7 = icmp eq i32 %5, %6
br i1 %7, label %10, label %8
8: ; preds = %4
%9 = load i8*, i8** %0
br label %15
10: ; preds = %4
%11 = shl i32 %5, 1
store i32 %11, i32* %1
%12 = load i8*, i8** %0
%13 = tail call i8* @lib_realloc(i8* %12, i32 %11)
store i8* %13, i8** %0
%14 = load i32, i32* %2
br label %15
15: ; preds = %8, %10
%16 = phi i32 [ %5, %8 ], [ %14, %10 ]
%17 = phi i8* [ %9, %8 ], [ %13, %10 ]
%18 = zext i32 %16 to i64
%19 = getelementptr inbounds i8, i8* %17, i64 %18
store i8 %3, i8* %19
%20 = load i32, i32* %2
%21 = add i32 %20, 1
store i32 %21, i32* %2
ret void
}