// File: /workspace/github_cpp_makefile_star2_O2/eniac[P]Mantis/src/compile/compile_c.cpp
// Function: generatePrologueNode(std::vector<AstNode*, std::allocator<AstNode*>>, std::__cxx11::basic_ostringstream<char, std::char_traits<char>, std::allocator<char>>&, std::__cxx11::basic_ostringstream<char, std::char_traits<char>, std::allocator<char>>&)
UnanchoredNode* generatePrologueNode(std::vector<AstNode*> nodeArray, ostringstream& oss_mbl_init, ostringstream& oss_init_end) {

    P4RInitBlockNode * init_node = findInitBlock(nodeArray);

    string * prologue_str = NULL;
    if (init_node != 0) {
        prologue_str = new string(
            str(boost::format(kPrologueT) % oss_mbl_init.str() % init_node -> body_ -> toString() % oss_init_end.str()));
    } else {
        // if no init_block
        prologue_str = new string(
            str(boost::format(kPrologueT) % oss_mbl_init.str() % "" % oss_init_end.str()));
    }

    UnanchoredNode* prologue_cnode = new UnanchoredNode(prologue_str, new string ("prologue"), new string("pd_prologue"));
    return prologue_cnode;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x158, %rsp            # imm = 0x158
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %rsi
leaq -0xa0(%rbp), %rbx
movq %rbx, %rdi
callq 0x4486c
movq %rbx, %rdi
callq 0x72576
movq %rax, %r12
leaq -0xa0(%rbp), %rdi
callq 0x44be0
pushq $0x20
popq %rdi
callq 0x413f0
movq %rax, %rbx
testq %r12, %r12
je 0x4ff7c
leaq 0x29736(%rip), %rsi     # 0x7962b
leaq -0x180(%rbp), %rdi
callq 0x58b7c
addq $0x8, %r15
leaq -0x48(%rbp), %rdi
movq %r15, %rsi
callq 0x416b0
leaq -0x180(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x5b849
movq %rax, %r15
movq 0x48(%r12), %rsi
movq (%rsi), %rax
leaq -0x68(%rbp), %rdi
callq *(%rax)
leaq -0x68(%rbp), %rsi
movq %r15, %rdi
callq 0x5b849
movq %rax, %r15
addq $0x8, %r14
leaq -0x88(%rbp), %rdi
movq %r14, %rsi
callq 0x416b0
leaq -0x88(%rbp), %rsi
movq %r15, %rdi
callq 0x5b849
movq %rbx, %rdi
movq %rax, %rsi
callq 0x5c6f6
leaq -0x88(%rbp), %rdi
callq 0x418c8
jmp 0x4ffe8
leaq 0x296a8(%rip), %rsi     # 0x7962b
leaq -0x180(%rbp), %rdi
callq 0x58b7c
addq $0x8, %r15
leaq -0x48(%rbp), %rdi
movq %r15, %rsi
callq 0x416b0
leaq -0x180(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x5b849
leaq 0x2a905(%rip), %rsi     # 0x7a8bb
movq %rax, %rdi
callq 0x5cafc
movq %rax, %r15
addq $0x8, %r14
leaq -0x68(%rbp), %rdi
movq %r14, %rsi
callq 0x416b0
leaq -0x68(%rbp), %rsi
movq %r15, %rdi
callq 0x5b849
movq %rbx, %rdi
movq %rax, %rsi
callq 0x5c6f6
leaq -0x68(%rbp), %rdi
callq 0x418c8
leaq -0x48(%rbp), %rdi
callq 0x418c8
leaq -0x180(%rbp), %rdi
callq 0x58c68
pushq $0x58
popq %rdi
callq 0x413f0
movq %rax, %r15
pushq $0x20
popq %rdi
callq 0x413f0
movq %rax, %r12
leaq 0x296a4(%rip), %rsi     # 0x796c7
leaq -0x180(%rbp), %rdx
movq %rax, %rdi
callq 0x411c0
pushq $0x20
popq %rdi
callq 0x413f0
movq %rax, %r13
leaq 0x29680(%rip), %rsi     # 0x796c4
leaq -0x48(%rbp), %rdx
movq %rax, %rdi
callq 0x411c0
movq %r15, %rdi
movq %rbx, %rsi
movq %r12, %rdx
movq %r13, %rcx
callq 0x4dd8e
movq %r15, %rax
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x50093
jmp 0x50084
jmp 0x50089
jmp 0x5008e
jmp 0x5008e
jmp 0x50093
jmp 0x50093
movq %rax, %r14
jmp 0x500eb
movq %rax, %r14
jmp 0x500f7
movq %rax, %r14
jmp 0x500d9
movq %rax, %r14
jmp 0x500e2
jmp 0x500b1
movq %rax, %r14
movq %r13, %rdi
jmp 0x500aa
jmp 0x500b1
movq %rax, %r14
movq %r12, %rdi
callq 0x413a0
jmp 0x500b4
movq %rax, %r14
movq %r15, %rdi
jmp 0x500fa
movq %rax, %r14
leaq -0xa0(%rbp), %rdi
callq 0x44be0
jmp 0x500ff
movq %rax, %r14
leaq -0x88(%rbp), %rdi
callq 0x418c8
leaq -0x68(%rbp), %rdi
callq 0x418c8
leaq -0x48(%rbp), %rdi
callq 0x418c8
leaq -0x180(%rbp), %rdi
callq 0x58c68
movq %rbx, %rdi
callq 0x413a0
movq %r14, %rdi
callq 0x41790