// File: /workspace/github_cpp_makefile_star2_O1/eniac[P]Mantis/src/ast/ast_nodes_p4.cpp
// Function: BodyNode::toString[abi:cxx11]()
string BodyNode::toString() {
    ostringstream oss;
    // Called from the root BodyNode
    if (bodyOuter_) {
        bodyOuter_->indent_ = indent_;
        oss << bodyOuter_->toString();
    }
    if (str_) {
        str_->indent_ = indent_;
        oss << str_->toString();
        return oss.str();
    } else if (bodyInner_) {
        bodyInner_->indent_ = indent_ + 1; 
        oss << string("  ")*indent_ << "{\n"
            << bodyInner_->toString()
            << string("  ")*indent_ << "}\n";
        return oss.str();
    } else {
        assert(false);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x218, %rsp            # imm = 0x218
movq %rsi, %r14
movq %rdi, %rbx
leaq -0x240(%rbp), %rdi
callq 0x2e550
movq 0x40(%r14), %rsi
testq %rsi, %rsi
je 0x35921
movl 0x58(%r14), %eax
movl %eax, 0x58(%rsi)
movq (%rsi), %rax
leaq -0x48(%rbp), %rdi
callq *(%rax)
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
leaq -0x240(%rbp), %rdi
callq 0x2e440
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35921
callq 0x2e360
movq 0x50(%r14), %rsi
testq %rsi, %rsi
je 0x359a3
movl 0x58(%r14), %eax
movl %eax, 0x48(%rsi)
movq (%rsi), %rax
leaq -0x48(%rbp), %rdi
callq *(%rax)
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
leaq -0x240(%rbp), %rdi
callq 0x2e440
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35960
callq 0x2e360
leaq -0x238(%rbp), %rsi
movq %rbx, %rdi
callq 0x2e660
movq 0x58632(%rip), %rsi     # 0x8dfa8
leaq -0x240(%rbp), %rdi
callq 0x2e230
leaq -0x1d0(%rbp), %rdi
callq 0x2e150
movq %rbx, %rax
addq $0x218, %rsp            # imm = 0x218
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x48(%r14), %rax
testq %rax, %rax
je 0x35afd
movl 0x58(%r14), %ecx
incl %ecx
movl %ecx, 0x58(%rax)
leaq -0xb8(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x426a4(%rip), %rsi     # 0x78070
leaq 0x4269f(%rip), %rdx     # 0x78072
leaq -0xc8(%rbp), %rdi
callq 0x33112
movl 0x58(%r14), %edx
leaq -0x48(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
callq 0x356f7
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
leaq -0x240(%rbp), %rdi
callq 0x2e440
movq %rax, %r15
leaq 0x441bf(%rip), %rsi     # 0x79bd0
movl $0x2, %edx
movq %rax, %rdi
callq 0x2e440
movq 0x48(%r14), %rsi
movq (%rsi), %rax
leaq -0xa8(%rbp), %rdi
callq *(%rax)
movq -0xa8(%rbp), %rsi
movq -0xa0(%rbp), %rdx
movq %r15, %rdi
callq 0x2e440
movq %rax, %r15
leaq -0x58(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x4261a(%rip), %rsi     # 0x78070
leaq 0x42615(%rip), %rdx     # 0x78072
leaq -0x68(%rbp), %rdi
callq 0x33112
movl 0x58(%r14), %edx
leaq -0x88(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0x356f7
movq -0x88(%rbp), %rsi
movq -0x80(%rbp), %rdx
movq %r15, %rdi
callq 0x2e440
leaq 0x40c4d(%rip), %rsi     # 0x766e1
movl $0x2, %edx
movq %rax, %rdi
callq 0x2e440
leaq -0x78(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35ab3
callq 0x2e360
movq -0x68(%rbp), %rdi
cmpq %r13, %rdi
je 0x35ac1
callq 0x2e360
leaq -0x98(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35ad6
callq 0x2e360
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35ae8
callq 0x2e360
movq -0xc8(%rbp), %rdi
cmpq %r12, %rdi
jne 0x3595b
jmp 0x35960
leaq 0x40230(%rip), %rdi     # 0x75d34
leaq 0x4022f(%rip), %rsi     # 0x75d3a
leaq 0x40241(%rip), %rcx     # 0x75d53
movl $0x65, %edx
callq 0x2e2a0
movq %rax, %rbx
jmp 0x35b5e
jmp 0x35b23
movq %rax, %rbx
jmp 0x35b6c
jmp 0x35b83
movq %rax, %rbx
jmp 0x35b98
jmp 0x35bab
jmp 0x35b35
jmp 0x35bab
movq %rax, %rbx
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
jne 0x35ba4
jmp 0x35bae
jmp 0x35bab
movq %rax, %rbx
leaq -0x78(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35b5e
callq 0x2e360
movq -0x68(%rbp), %rdi
cmpq %r13, %rdi
je 0x35b6c
callq 0x2e360
leaq -0x98(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35b86
callq 0x2e360
jmp 0x35b86
movq %rax, %rbx
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35b98
callq 0x2e360
movq -0xc8(%rbp), %rdi
cmpq %r12, %rdi
je 0x35bae
callq 0x2e360
jmp 0x35bae
movq %rax, %rbx
movq 0x583f3(%rip), %rsi     # 0x8dfa8
leaq -0x240(%rbp), %rdi
callq 0x2e230
leaq -0x1d0(%rbp), %rdi
callq 0x2e150
movq %rbx, %rdi
callq 0x2e730
nop