// File: /workspace/github_c_makefile_star2_O0/Liutos[P]Eloquent/interp.c
// Function: interp_trace_callbif
static void interp_trace_callbif(interp_t *interp, value_t *f, ...)
{
    ident_t *id = NULL;
    if (!is_traced(interp, f, &id))
        return;
    interp_trace_space(interp);
    fprintf(TRACE_OUTPUT, "[%d] ", interp->depth);
    fprintf(TRACE_OUTPUT, "%s", IDENT_NAME(id));
    fputc('(', TRACE_OUTPUT);
    va_list ap;
    va_start(ap, f);
    value_t *arg = va_arg(ap, value_t *);
    while (arg != NULL) {
        value_print(arg, TRACE_OUTPUT);
        arg = va_arg(ap, value_t *);
        if (arg != NULL)
            fprintf(TRACE_OUTPUT, ", ");
    }
    fprintf(TRACE_OUTPUT, ")\n");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x120, %rsp            # imm = 0x120
testb %al, %al
je 0x5aeb
movaps %xmm0, -0xc0(%rbp)
movaps %xmm1, -0xb0(%rbp)
movaps %xmm2, -0xa0(%rbp)
movaps %xmm3, -0x90(%rbp)
movaps %xmm4, -0x80(%rbp)
movaps %xmm5, -0x70(%rbp)
movaps %xmm6, -0x60(%rbp)
movaps %xmm7, -0x50(%rbp)
movq %r9, -0xc8(%rbp)
movq %r8, -0xd0(%rbp)
movq %rcx, -0xd8(%rbp)
movq %rdx, -0xe0(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq $0x0, -0x18(%rbp)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
leaq -0x18(%rbp), %rdx
callq 0x5db0
cmpl $0x0, %eax
jne 0x5b32
jmp 0x5cd6
movq -0x8(%rbp), %rdi
callq 0x5e30
movq 0x948e(%rip), %rax      # 0xefd0
movq (%rax), %rdi
movq -0x8(%rbp), %rax
movl (%rax), %edx
leaq 0x4aa7(%rip), %rsi      # 0xa5f9
movb $0x0, %al
callq 0x20c0
movq 0x9470(%rip), %rax      # 0xefd0
movq (%rax), %rdi
movq -0x18(%rbp), %rax
movq (%rax), %rdx
leaq 0x455c(%rip), %rsi      # 0xa0cd
movb $0x0, %al
callq 0x20c0
movq 0x9451(%rip), %rax      # 0xefd0
movq (%rax), %rsi
movl $0x28, %edi
callq 0x2090
leaq -0x30(%rbp), %rax
leaq -0xf0(%rbp), %rcx
movq %rcx, 0x10(%rax)
leaq 0x10(%rbp), %rcx
movq %rcx, 0x8(%rax)
movl $0x30, 0x4(%rax)
movl $0x10, (%rax)
leaq -0x30(%rbp), %rax
movq %rax, -0x100(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0xf4(%rbp)
cmpl $0x28, %eax
ja 0x5beb
movq -0x100(%rbp), %rcx
movl -0xf4(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0x108(%rbp)
jmp 0x5c08
movq -0x100(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x108(%rbp)
movq -0x108(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
je 0x5cbe
movq -0x38(%rbp), %rdi
movq 0x93a4(%rip), %rax      # 0xefd0
movq (%rax), %rsi
callq 0x2860
leaq -0x30(%rbp), %rax
movq %rax, -0x118(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x10c(%rbp)
cmpl $0x28, %eax
ja 0x5c6f
movq -0x118(%rbp), %rcx
movl -0x10c(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0x120(%rbp)
jmp 0x5c8c
movq -0x118(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x120(%rbp)
movq -0x120(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
je 0x5cb9
movq 0x9328(%rip), %rax      # 0xefd0
movq (%rax), %rdi
leaq 0x45b7(%rip), %rsi      # 0xa269
movb $0x0, %al
callq 0x20c0
jmp 0x5c16
movq 0x930b(%rip), %rax      # 0xefd0
movq (%rax), %rdi
leaq 0x459d(%rip), %rsi      # 0xa26c
movb $0x0, %al
callq 0x20c0
addq $0x120, %rsp            # imm = 0x120
popq %rbp
retq
nop