// File: /workspace/github_cpp_makefile_star2_O1/eniac[P]Mantis/src/ast/ast_nodes_p4.cpp
// Function: TableNode::TableNode(AstNode*, AstNode*, AstNode*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
TableNode::TableNode(AstNode* name, AstNode* reads, AstNode* actions,
                     string options, string pragma) {
    nodeType_ = typeid(*this).name();
    name_ = dynamic_cast<NameNode*>(name);
    name_->parent_ = this;
    reads_ = dynamic_cast<TableReadStmtsNode*>(reads);
    if (reads_) reads_->parent_ = this;
    actions_ = dynamic_cast<TableActionStmtsNode*>(actions);
    actions_->parent_ = this;

    pragma_ = pragma;

    boost::algorithm::trim_right_if(options, boost::is_any_of("; \t\n"));
    if (options != "") {
        boost::split(options_, options, boost::is_any_of(";"));
    }
    for (int i = 0; i < options_.size(); i++){
        boost::algorithm::trim(options_[i]);
    }
    isMalleable_ = false;
    pragmaTransformed_ = false;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %r9, -0x70(%rbp)
movq %r8, %r12
movq %rcx, -0x68(%rbp)
movq %rdx, %r15
movq %rsi, %r13
movq %rdi, %rbx
movb $0x1, 0x8(%rdi)
addq $0x10, %rdi
leaq 0x20(%rbx), %rax
movq %rax, -0x60(%rbp)
movq %rax, 0x10(%rbx)
movl $0x65736162, 0x20(%rbx) # imm = 0x65736162
movq $0x4, 0x18(%rbx)
xorl %eax, %eax
movb %al, 0x24(%rbx)
movq %rax, 0x30(%rbx)
movb %al, 0x38(%rbx)
leaq 0x5587c(%rip), %rcx     # 0x8cc00
movq %rcx, (%rbx)
leaq 0x58(%rbx), %rcx
movq %rcx, -0x38(%rbp)
xorps %xmm0, %xmm0
movups %xmm0, 0x58(%rbx)
movq %rax, 0x68(%rbx)
leaq 0x70(%rbx), %rcx
movq %rcx, -0x40(%rbp)
leaq 0x80(%rbx), %rcx
movq %rcx, -0x58(%rbp)
movq %rcx, 0x70(%rbx)
movq %rax, 0x78(%rbx)
movb %al, 0x80(%rbx)
leaq 0x3eb8c(%rip), %rcx     # 0x75f4e
movl $0x4, %edx
movl $0xa, %r8d
xorl %esi, %esi
movq %rbx, -0x30(%rbp)
callq 0x2e640
leaq 0x55251(%rip), %rsi     # 0x8c630
leaq 0x555fa(%rip), %rdx     # 0x8c9e0
xorl %r14d, %r14d
movq %r13, %rdi
xorl %ecx, %ecx
callq 0x2e430
movq %rax, 0x40(%rbx)
movq %rbx, 0x30(%rax)
testq %r15, %r15
je 0x3741b
leaq 0x55229(%rip), %rsi     # 0x8c630
leaq 0x557fa(%rip), %rdx     # 0x8cc08
movq %r15, %rdi
xorl %ecx, %ecx
callq 0x2e430
movq %rax, %r14
movq %r14, 0x48(%rbx)
testq %r14, %r14
je 0x37428
movq %rbx, 0x30(%r14)
leaq 0x55201(%rip), %rsi     # 0x8c630
leaq 0x557ea(%rip), %rdx     # 0x8cc20
movq -0x68(%rbp), %rdi
xorl %ecx, %ecx
callq 0x2e430
movq %rax, 0x50(%rbx)
movq %rbx, 0x30(%rax)
movq -0x40(%rbp), %rdi
movq -0x70(%rbp), %rsi
callq 0x2e240
leaq 0x3e964(%rip), %rax     # 0x75dc1
leaq -0x50(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x3e95a(%rip), %rax     # 0x75dc5
movq %rax, 0x8(%rsi)
leaq -0xa8(%rbp), %rdi
callq 0x39e8e
leaq -0xa8(%rbp), %rsi
movq %r12, %rdi
callq 0x3961d
cmpq $0x11, -0x98(%rbp)
jb 0x374a5
movq -0xa8(%rbp), %rdi
testq %rdi, %rdi
je 0x374a5
callq 0x2e4f0
leaq 0x4042f(%rip), %rsi     # 0x778db
movq %r12, %rdi
callq 0x2e0f0
testl %eax, %eax
je 0x3750d
leaq 0x3f26e(%rip), %rax     # 0x7672d
leaq -0x50(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x3f261(%rip), %rax     # 0x7672e
movq %rax, 0x8(%rsi)
leaq -0x90(%rbp), %rdi
callq 0x39e8e
leaq -0x90(%rbp), %rdx
movq -0x38(%rbp), %rdi
movq %r12, %rsi
movl $0x1, %ecx
callq 0x39759
cmpq $0x11, -0x80(%rbp)
jb 0x3750d
movq -0x90(%rbp), %rdi
testq %rdi, %rdi
je 0x3750d
callq 0x2e4f0
movq 0x58(%rbx), %r13
cmpq %r13, 0x60(%rbx)
je 0x3757b
leaq -0x48(%rbp), %r15
xorl %r12d, %r12d
leaq -0x78(%rbp), %r14
xorl %ebx, %ebx
addq %r12, %r13
movq %r14, %rdi
callq 0x2e800
movw $0x2000, -0x50(%rbp)    # imm = 0x2000
movq %r15, %rdi
movq %r14, %rsi
callq 0x2e270
movq %r13, %rdi
leaq -0x50(%rbp), %rsi
callq 0x39c99
movq %r15, %rdi
callq 0x2e580
movq %r14, %rdi
callq 0x2e580
incq %rbx
movq -0x30(%rbp), %rax
movq 0x58(%rax), %r13
movq 0x60(%rax), %rax
subq %r13, %rax
sarq $0x5, %rax
addq $0x20, %r12
cmpq %rbx, %rax
ja 0x37524
movq -0x30(%rbp), %rax
movw $0x0, 0x90(%rax)
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
cmpq $0x11, -0x80(%rbp)
jb 0x375e6
movq -0x90(%rbp), %rdi
jmp 0x375c1
movq %rax, %r14
cmpq $0x11, -0x98(%rbp)
jb 0x375e6
movq -0xa8(%rbp), %rdi
testq %rdi, %rdi
je 0x375e6
callq 0x2e4f0
jmp 0x375e6
movq %rax, %r14
jmp 0x375e6
movq %rax, %r14
movq %r15, %rdi
callq 0x2e580
leaq -0x78(%rbp), %rdi
callq 0x2e580
movq -0x40(%rbp), %rax
movq (%rax), %rdi
cmpq -0x58(%rbp), %rdi
je 0x375f8
callq 0x2e360
movq -0x38(%rbp), %rdi
callq 0x398dc
leaq 0x55388(%rip), %rax     # 0x8c990
movq -0x30(%rbp), %rcx
movq %rax, (%rcx)
movq 0x10(%rcx), %rdi
cmpq -0x60(%rbp), %rdi
je 0x3761e
callq 0x2e360
movq %r14, %rdi
callq 0x2e730