// File: /workspace/github_cpp_makefile_star2_O3/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 0x355d9
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 0x355d9
callq 0x2e360
movq 0x50(%r14), %rsi
testq %rsi, %rsi
je 0x3565b
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 0x35618
callq 0x2e360
leaq -0x238(%rbp), %rsi
movq %rbx, %rdi
callq 0x2e660
movq 0x5897a(%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 0x357b5
movl 0x58(%r14), %ecx
incl %ecx
movl %ecx, 0x58(%rax)
leaq -0xb8(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x429ec(%rip), %rsi     # 0x78070
leaq 0x429e7(%rip), %rdx     # 0x78072
leaq -0xc8(%rbp), %rdi
callq 0x32e40
movl 0x58(%r14), %edx
leaq -0x48(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
callq 0x353a0
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
leaq -0x240(%rbp), %rdi
callq 0x2e440
movq %rax, %r15
leaq 0x44507(%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 0x42962(%rip), %rsi     # 0x78070
leaq 0x4295d(%rip), %rdx     # 0x78072
leaq -0x68(%rbp), %rdi
callq 0x32e40
movl 0x58(%r14), %edx
leaq -0x88(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0x353a0
movq -0x88(%rbp), %rsi
movq -0x80(%rbp), %rdx
movq %r15, %rdi
callq 0x2e440
leaq 0x40f95(%rip), %rsi     # 0x766e1
movl $0x2, %edx
movq %rax, %rdi
callq 0x2e440
leaq -0x78(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3576b
callq 0x2e360
movq -0x68(%rbp), %rdi
cmpq %r13, %rdi
je 0x35779
callq 0x2e360
leaq -0x98(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3578e
callq 0x2e360
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x357a0
callq 0x2e360
movq -0xc8(%rbp), %rdi
cmpq %r12, %rdi
jne 0x35613
jmp 0x35618
leaq 0x40578(%rip), %rdi     # 0x75d34
leaq 0x40577(%rip), %rsi     # 0x75d3a
leaq 0x40589(%rip), %rcx     # 0x75d53
movl $0x65, %edx
callq 0x2e2a0
movq %rax, %rbx
jmp 0x35816
jmp 0x357db
movq %rax, %rbx
jmp 0x35824
jmp 0x3583b
movq %rax, %rbx
jmp 0x35850
jmp 0x35863
jmp 0x357ed
jmp 0x35863
movq %rax, %rbx
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
jne 0x3585c
jmp 0x35866
jmp 0x35863
movq %rax, %rbx
leaq -0x78(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35816
callq 0x2e360
movq -0x68(%rbp), %rdi
cmpq %r13, %rdi
je 0x35824
callq 0x2e360
leaq -0x98(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3583e
callq 0x2e360
jmp 0x3583e
movq %rax, %rbx
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35850
callq 0x2e360
movq -0xc8(%rbp), %rdi
cmpq %r12, %rdi
je 0x35866
callq 0x2e360
jmp 0x35866
movq %rax, %rbx
movq 0x5873b(%rip), %rsi     # 0x8dfa8
leaq -0x240(%rbp), %rdi
callq 0x2e230
leaq -0x1d0(%rbp), %rdi
callq 0x2e150
movq %rbx, %rdi
callq 0x2e730
nop