// File: /workspace/github_cpp_makefile_star2_O3/kelwinfc[P]ci4721-Fernandez-Gyomrey/src/AST/dump.cpp
// Function: AST_function::dump(std::ostream&, int)
void AST_function::dump(ostream &strm, int indentation){
    strm << setw(3) << line << ": ";
    dump_indentation(strm, indentation);
    
    strm << "Declaration of Function " 
         << func->getName()
         << " -> "
         << types.types[func->getType()]->name
         << endl;
    
    strm << setw(3)
         << (formal_parameters->args.size() ? formal_parameters->line : line)
         << ":     (" << endl;
    dump_indentation(strm, indentation);
    
    formal_parameters->dump(strm, indentation+1);

    strm << setw(3)
         << (formal_parameters->args.size() ?
            formal_parameters->args.back()->getLine() : line)
         << ":     )" << endl;
    
    instructions->dump(strm, indentation+1);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x20, %rsp
movl %edx, %ebx
movq %rsi, %r14
movq %rdi, %r15
movq (%rsi), %rax
movq -0x18(%rax), %rax
movq $0x3, 0x10(%rsi,%rax)
movl 0x8(%rdi), %esi
movq %r14, %rdi
callq 0x6540
leaq 0x26243(%rip), %rsi     # 0x2d6b7
movl $0x2, %edx
movq %rax, %rdi
callq 0x6370
testl %ebx, %ebx
jle 0x74a2
leaq 0x282c5(%rip), %r12     # 0x2f751
movl %ebx, %ebp
movl $0x4, %edx
movq %r14, %rdi
movq %r12, %rsi
callq 0x6370
decl %ebp
jne 0x748e
leaq 0x26023(%rip), %rsi     # 0x2d4cc
movl $0x18, %edx
movq %r14, %rdi
callq 0x6370
movq 0x98(%r15), %rsi
movq %rsp, %r12
movq %r12, %rdi
callq 0x17ff4
movq (%r12), %rsi
movq 0x8(%r12), %rdx
movq %r14, %rdi
callq 0x6370
movq %rax, %r12
leaq 0x26002(%rip), %rsi     # 0x2d4e5
movl $0x4, %edx
movq %rax, %rdi
callq 0x6370
movq 0x98(%r15), %rdi
callq 0x1801a
cltq
leaq 0x37f0b(%rip), %rcx     # 0x3f410
movq (%rcx), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r12, %rdi
callq 0x6370
movq %rax, %r12
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x62c0
movsbl %al, %esi
movq %r12, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x6200
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7561
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x6300
movq (%r14), %rax
movq -0x18(%rax), %rax
movq $0x3, 0x10(%r14,%rax)
movq 0xa0(%r15), %rax
movq 0x18(%rax), %rcx
cmpq 0x10(%rax), %rcx
cmoveq %r15, %rax
movl 0x8(%rax), %esi
movq %r14, %rdi
callq 0x6540
movq %rax, %r12
leaq 0x25f51(%rip), %rsi     # 0x2d4ea
movl $0x7, %edx
movq %rax, %rdi
callq 0x6370
movq (%r12), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x62c0
movsbl %al, %esi
movq %r12, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x6200
testl %ebx, %ebx
jle 0x75ef
leaq 0x28178(%rip), %r12     # 0x2f751
movl %ebx, %ebp
movl $0x4, %edx
movq %r14, %rdi
movq %r12, %rsi
callq 0x6370
decl %ebp
jne 0x75db
movq 0xa0(%r15), %rdi
incl %ebx
movq (%rdi), %rax
movq %r14, %rsi
movl %ebx, %edx
callq *(%rax)
movq (%r14), %rax
movq -0x18(%rax), %rax
movq $0x3, 0x10(%r14,%rax)
movq 0xa0(%r15), %rcx
movq 0x18(%rcx), %rax
cmpq 0x10(%rcx), %rax
je 0x7630
movq -0x8(%rax), %rdi
callq 0x1801e
movl %eax, %esi
jmp 0x7634
movl 0x8(%r15), %esi
movq %r14, %rdi
callq 0x6540
movq %rax, %r12
leaq 0x25eac(%rip), %rsi     # 0x2d4f2
movl $0x7, %edx
movq %rax, %rdi
callq 0x6370
movq (%r12), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x62c0
movsbl %al, %esi
movq %r12, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x6200
movq 0xa8(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movl %ebx, %edx
callq *(%rax)
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x76b7
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x6300
movq %rbx, %rdi
callq 0x6560
nop