// File: /workspace/github_c_makefile_star2_O0/haxlang[P]hax/haxUtil.c
// Function: Hax_AppendResult
void
	/* VARARGS2 */ /* ARGSUSED */
Hax_AppendResult(
    Hax_Interp *interp,		/* Interpreter whose result is to be
				 * extended. */
    ...				/* One or more strings to add to the
				 * result, terminated with NULL. */)
{
    va_list argList, argList2;
    Interp *iPtr;
    char *string;
    int newSpace;

    /*
     * First, scan through all the arguments to see how much space is
     * needed.
     */

    va_start(argList, interp);
    va_copy(argList2, argList);
    iPtr = (Interp *) interp;
    newSpace = 0;
    while (1) {
	string = va_arg(argList, char *);
	if (string == NULL) {
	    break;
	}
	newSpace += strlen(string);
    }
    va_end(argList);

    /*
     * If the append buffer isn't already setup and large enough
     * to hold the new data, set it up.
     */

    if ((iPtr->result != iPtr->appendResult)
	   || ((newSpace + iPtr->appendUsed) >= iPtr->appendAvl)) {
       SetupAppendBuffer(iPtr, newSpace);
    }

    /*
     * Final step:  go through all the argument strings again, copying
     * them into the buffer.
     */

    while (1) {
	string = va_arg(argList2, char *);
	if (string == NULL) {
	    break;
	}
	strcpy(iPtr->appendResult + iPtr->appendUsed, string);
	iPtr->appendUsed += strlen(string);
    }
    va_end(argList2);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x140, %rsp            # imm = 0x140
testb %al, %al
je 0x18aa1
movaps %xmm0, -0xe0(%rbp)
movaps %xmm1, -0xd0(%rbp)
movaps %xmm2, -0xc0(%rbp)
movaps %xmm3, -0xb0(%rbp)
movaps %xmm4, -0xa0(%rbp)
movaps %xmm5, -0x90(%rbp)
movaps %xmm6, -0x80(%rbp)
movaps %xmm7, -0x70(%rbp)
movq %r9, -0xe8(%rbp)
movq %r8, -0xf0(%rbp)
movq %rcx, -0xf8(%rbp)
movq %rdx, -0x100(%rbp)
movq %rsi, -0x108(%rbp)
movq %rdi, -0x8(%rbp)
leaq -0x20(%rbp), %rax
leaq -0x110(%rbp), %rcx
movq %rcx, 0x10(%rax)
leaq 0x10(%rbp), %rcx
movq %rcx, 0x8(%rax)
movl $0x30, 0x4(%rax)
movl $0x8, (%rax)
leaq -0x40(%rbp), %rax
leaq -0x20(%rbp), %rcx
movq 0x10(%rcx), %rdx
movq %rdx, 0x10(%rax)
movups (%rcx), %xmm0
movups %xmm0, (%rax)
movq -0x8(%rbp), %rax
movq %rax, -0x48(%rbp)
movl $0x0, -0x54(%rbp)
leaq -0x20(%rbp), %rax
movq %rax, -0x120(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x114(%rbp)
cmpl $0x28, %eax
ja 0x18b4c
movq -0x120(%rbp), %rcx
movl -0x114(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0x128(%rbp)
jmp 0x18b69
movq -0x120(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x50(%rbp)
cmpq $0x0, -0x50(%rbp)
jne 0x18b80
jmp 0x18b9b
movq -0x50(%rbp), %rdi
callq 0x41b0
movq %rax, %rcx
movslq -0x54(%rbp), %rax
addq %rcx, %rax
movl %eax, -0x54(%rbp)
jmp 0x18b11
leaq -0x20(%rbp), %rax
movq -0x48(%rbp), %rax
movq (%rax), %rax
movq -0x48(%rbp), %rcx
cmpq 0x118(%rcx), %rax
jne 0x18bcc
movl -0x54(%rbp), %eax
movq -0x48(%rbp), %rcx
addl 0x124(%rcx), %eax
movq -0x48(%rbp), %rcx
cmpl 0x120(%rcx), %eax
jl 0x18bd8
movq -0x48(%rbp), %rdi
movl -0x54(%rbp), %esi
callq 0x18ca0
jmp 0x18bda
leaq -0x40(%rbp), %rax
movq %rax, -0x138(%rbp)
movl -0x40(%rbp), %eax
movl %eax, -0x12c(%rbp)
cmpl $0x28, %eax
ja 0x18c15
movq -0x138(%rbp), %rcx
movl -0x12c(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0x140(%rbp)
jmp 0x18c32
movq -0x138(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x50(%rbp)
cmpq $0x0, -0x50(%rbp)
jne 0x18c49
jmp 0x18c90
movq -0x48(%rbp), %rax
movq 0x118(%rax), %rdi
movq -0x48(%rbp), %rax
movslq 0x124(%rax), %rax
addq %rax, %rdi
movq -0x50(%rbp), %rsi
callq 0x40d0
movq -0x50(%rbp), %rdi
callq 0x41b0
movq %rax, %rdx
movq -0x48(%rbp), %rax
movslq 0x124(%rax), %rcx
addq %rdx, %rcx
movl %ecx, 0x124(%rax)
jmp 0x18bda
addq $0x140, %rsp            # imm = 0x140
popq %rbp
retq
nopl (%rax)