// File: /workspace/github_cpp_makefile_star2_O1/eniac[P]Mantis/src/ast/ast_nodes_p4r.cpp
// Function: P4RReactionNode::P4RReactionNode(AstNode*, AstNode*, AstNode*)
P4RReactionNode::P4RReactionNode(AstNode* name, AstNode* args, AstNode* body) {
    nodeType_ = typeid(*this).name();
    name_ = dynamic_cast<NameNode*>(name);
    name_->parent_ = this;
    args_ = dynamic_cast<ReactionArgsNode*>(args);
    args_->parent_ = this;
    if(body->nodeType_.find("EmptyNode")!=string::npos) {
        // if body is empty node
        body_ = new BodyNode(NULL, NULL, new BodyWordNode(BodyWordNode::STRING, new StrNode(new string(""))));
    } else {
        body_ = dynamic_cast<BodyNode*>(body);
    }
    body_->parent_ = this;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rcx, %r14
movq %rdx, %r15
movq %rsi, %r12
movq %rdi, %rbx
movb $0x1, 0x8(%rdi)
addq $0x10, %rdi
leaq 0x20(%rbx), %rax
movq %rax, -0x50(%rbp)
movq %rax, 0x10(%rbx)
movl $0x65736162, 0x20(%rbx) # imm = 0x65736162
movq $0x4, 0x18(%rbx)
xorl %eax, %eax
movb %al, 0x24(%rbx)
movq $0x0, 0x30(%rbx)
movb %al, 0x38(%rbx)
leaq 0x4f759(%rip), %rax     # 0x8d308
movq %rax, (%rbx)
leaq 0x387b0(%rip), %rcx     # 0x76369
movl $0x4, %edx
movl $0x11, %r8d
xorl %esi, %esi
callq 0x2e640
leaq 0x4ea5e(%rip), %r13     # 0x8c630
leaq 0x4ee07(%rip), %rdx     # 0x8c9e0
movq %r12, %rdi
movq %r13, %rsi
xorl %ecx, %ecx
callq 0x2e430
movq %rax, 0x40(%rbx)
movq %rbx, 0x30(%rax)
leaq 0x4f853(%rip), %rdx     # 0x8d448
movq %r15, %rdi
movq %r13, %rsi
xorl %ecx, %ecx
callq 0x2e430
movq %rax, 0x48(%rbx)
movq %rbx, 0x30(%rax)
leaq 0x10(%r14), %rdi
leaq 0x38162(%rip), %rsi     # 0x75d77
movl $0x9, %ecx
xorl %edx, %edx
callq 0x2e710
cmpq $-0x1, %rax
je 0x3dcd1
movl $0x60, %edi
callq 0x2e3a0
movq %rax, %r14
movl $0x50, %edi
callq 0x2e3a0
movq %rax, -0x40(%rbp)
movl $0x48, %edi
callq 0x2e3a0
movq %rax, -0x48(%rbp)
movl $0x20, %edi
callq 0x2e3a0
movq %rax, %r13
addq $0x10, %rax
movq %rax, (%r13)
movb $0x1, %al
movq %rax, -0x38(%rbp)
leaq 0x39c65(%rip), %rdx     # 0x778db
movb $0x1, %r15b
movb $0x1, %r12b
movq %r13, %rdi
movq %rdx, %rsi
callq 0x33112
xorl %r15d, %r15d
movb $0x1, %r12b
movq -0x48(%rbp), %rdi
movq %r13, %rsi
callq 0x32b5a
xorl %r15d, %r15d
xorl %r12d, %r12d
movq -0x40(%rbp), %rdi
movl $0x3, %esi
movq -0x48(%rbp), %rdx
callq 0x3526c
xorl %r15d, %r15d
xorl %r12d, %r12d
movq $0x0, -0x38(%rbp)
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movq -0x40(%rbp), %rcx
callq 0x3578c
jmp 0x3dcec
leaq 0x4e958(%rip), %rsi     # 0x8c630
leaq 0x4ee39(%rip), %rdx     # 0x8cb18
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x2e430
movq %rax, %r14
movq %r14, 0x50(%rbx)
movq %rbx, 0x30(%r14)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, -0x30(%rbp)
movb $0x1, %r12b
movb $0x1, %al
movq %rax, -0x38(%rbp)
jmp 0x3dd3b
movq %rax, -0x30(%rbp)
movb $0x1, %al
movq %rax, -0x38(%rbp)
jmp 0x3dd49
movq %rax, -0x30(%rbp)
jmp 0x3dd58
movq %rax, -0x30(%rbp)
jmp 0x3dd60
movq %rax, -0x30(%rbp)
testb %r15b, %r15b
je 0x3dd3b
movq %r13, %rdi
callq 0x2e360
testb %r12b, %r12b
je 0x3dd49
movq -0x48(%rbp), %rdi
callq 0x2e360
cmpb $0x0, -0x38(%rbp)
je 0x3dd58
movq -0x40(%rbp), %rdi
callq 0x2e360
movq %r14, %rdi
callq 0x2e360
leaq 0x4ec29(%rip), %rax     # 0x8c990
movq %rax, (%rbx)
movq 0x10(%rbx), %rdi
cmpq -0x50(%rbp), %rdi
je 0x3dd79
callq 0x2e360
movq -0x30(%rbp), %rdi
callq 0x2e730