// File: /workspace/github_cpp_makefile_star2_O3/eniac[P]Mantis/src/ast/ast_nodes_p4.cpp
// Function: ActionStmtNode::toString[abi:cxx11]()
string ActionStmtNode::toString() {
    ostringstream oss;
    if(type_==ActionStmtType::NAME_ARGLIST) {
        oss << " " 
            << name1_->toString()
            << "("
            << args_->toString() 
            << ");\n";
    } else if (type_==ActionStmtType::PROG_EXEC) {
        oss << " " 
            << name1_->toString() 
            << " . "
            << name2_->toString()
            << " ( "
            << args_->toString()
            << " );\n";
    } else {
        oss << "parsing error!\n";
    }
    return oss.str();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x1d8, %rsp            # imm = 0x1D8
movq %rsi, %r14
movq %rdi, %rbx
leaq -0x1f0(%rbp), %rdi
callq 0x2e550
movl 0x3c(%r14), %eax
cmpl $0x1, %eax
je 0x38a3b
testl %eax, %eax
jne 0x38b28
leaq 0x3f6b5(%rip), %rsi     # 0x78071
leaq -0x1f0(%rbp), %rdi
movl $0x1, %edx
callq 0x2e440
movq 0x40(%r14), %rsi
movq (%rsi), %rax
leaq -0x58(%rbp), %rdi
callq *(%rax)
movq -0x58(%rbp), %rsi
movq -0x50(%rbp), %rdx
leaq -0x1f0(%rbp), %rdi
callq 0x2e440
movq %rax, %r15
leaq 0x411c9(%rip), %rsi     # 0x79bc1
movl $0x1, %edx
movq %rax, %rdi
callq 0x2e440
movq 0x58(%r14), %rsi
movq (%rsi), %rax
leaq -0x38(%rbp), %rdi
callq *(%rax)
movq -0x38(%rbp), %rsi
movq -0x30(%rbp), %rdx
movq %r15, %rdi
callq 0x2e440
leaq 0x3d3fb(%rip), %rsi     # 0x75e24
movl $0x3, %edx
movq %rax, %rdi
callq 0x2e440
jmp 0x38b02
leaq 0x3f62f(%rip), %rsi     # 0x78071
leaq -0x1f0(%rbp), %rdi
movl $0x1, %edx
callq 0x2e440
movq 0x40(%r14), %rsi
movq (%rsi), %rax
leaq -0x58(%rbp), %rdi
callq *(%rax)
movq -0x58(%rbp), %rsi
movq -0x50(%rbp), %rdx
leaq -0x1f0(%rbp), %rdi
callq 0x2e440
movq %rax, %r15
leaq 0x3d39d(%rip), %rsi     # 0x75e1b
movl $0x3, %edx
movq %rax, %rdi
callq 0x2e440
movq 0x48(%r14), %rsi
movq (%rsi), %rax
leaq -0x38(%rbp), %rdi
callq *(%rax)
movq -0x38(%rbp), %rsi
movq -0x30(%rbp), %rdx
movq %r15, %rdi
callq 0x2e440
movq %rax, %r15
leaq 0x3d36d(%rip), %rsi     # 0x75e1f
movl $0x3, %edx
movq %rax, %rdi
callq 0x2e440
movq 0x58(%r14), %rsi
movq (%rsi), %rax
leaq -0x78(%rbp), %rdi
callq *(%rax)
movq -0x78(%rbp), %rsi
movq -0x70(%rbp), %rdx
movq %r15, %rdi
callq 0x2e440
leaq 0x3d340(%rip), %rsi     # 0x75e23
movl $0x4, %edx
movq %rax, %rdi
callq 0x2e440
leaq -0x68(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38b02
callq 0x2e360
leaq -0x28(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38b14
callq 0x2e360
leaq -0x48(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38b40
callq 0x2e360
jmp 0x38b40
leaq 0x3d2f9(%rip), %rsi     # 0x75e28
leaq -0x1f0(%rbp), %rdi
movl $0xf, %edx
callq 0x2e440
leaq -0x1e8(%rbp), %rsi
movq %rbx, %rdi
callq 0x2e660
movq 0x55452(%rip), %rsi     # 0x8dfa8
leaq -0x1f0(%rbp), %rdi
callq 0x2e230
leaq -0x180(%rbp), %rdi
callq 0x2e150
movq %rbx, %rax
addq $0x1d8, %rsp            # imm = 0x1D8
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
jmp 0x38ba2
jmp 0x38bbb
jmp 0x38bbb
jmp 0x38bd2
jmp 0x38bd2
movq %rax, %rbx
leaq -0x68(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38ba5
callq 0x2e360
jmp 0x38ba5
jmp 0x38ba2
movq %rax, %rbx
leaq -0x28(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38bbe
callq 0x2e360
jmp 0x38bbe
jmp 0x38bbb
movq %rax, %rbx
leaq -0x48(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38bd5
callq 0x2e360
jmp 0x38bd5
movq %rax, %rbx
movq 0x553cc(%rip), %rsi     # 0x8dfa8
leaq -0x1f0(%rbp), %rdi
callq 0x2e230
leaq -0x180(%rbp), %rdi
callq 0x2e150
movq %rbx, %rdi
callq 0x2e730