// File: /workspace/github_cpp_makefile_star2_O1/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 0x38e25
testl %eax, %eax
jne 0x38f12
leaq 0x3f2cb(%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 0x40ddf(%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 0x3d011(%rip), %rsi     # 0x75e24
movl $0x3, %edx
movq %rax, %rdi
callq 0x2e440
jmp 0x38eec
leaq 0x3f245(%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 0x3cfb3(%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 0x3cf83(%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 0x3cf56(%rip), %rsi     # 0x75e23
movl $0x4, %edx
movq %rax, %rdi
callq 0x2e440
leaq -0x68(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38eec
callq 0x2e360
leaq -0x28(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38efe
callq 0x2e360
leaq -0x48(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38f2a
callq 0x2e360
jmp 0x38f2a
leaq 0x3cf0f(%rip), %rsi     # 0x75e28
leaq -0x1f0(%rbp), %rdi
movl $0xf, %edx
callq 0x2e440
leaq -0x1e8(%rbp), %rsi
movq %rbx, %rdi
callq 0x2e660
movq 0x55068(%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 0x38f8c
jmp 0x38fa5
jmp 0x38fa5
jmp 0x38fbc
jmp 0x38fbc
movq %rax, %rbx
leaq -0x68(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38f8f
callq 0x2e360
jmp 0x38f8f
jmp 0x38f8c
movq %rax, %rbx
leaq -0x28(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38fa8
callq 0x2e360
jmp 0x38fa8
jmp 0x38fa5
movq %rax, %rbx
leaq -0x48(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38fbf
callq 0x2e360
jmp 0x38fbf
movq %rax, %rbx
movq 0x54fe2(%rip), %rsi     # 0x8dfa8
leaq -0x1f0(%rbp), %rdi
callq 0x2e230
leaq -0x180(%rbp), %rdi
callq 0x2e150
movq %rbx, %rdi
callq 0x2e730