// File: eniac[P]Mantis/src/ast/ast_nodes_p4r.cpp
// Function: P4RMalleableValueNode::toString[abi:cxx11]()
string P4RMalleableValueNode::toString() {
    if (removed_) {
        return "";
    }

    ostringstream oss;
    oss << "Malleable value " << name_->toString() << " {\n" 
        << " " << varWidth_->toString() << "\n"
        << " " << varInit_->toString() << "\n"
        << "}";
    return oss.str();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x270, %rsp            # imm = 0x270
movq %rdi, -0x218(%rbp)
movq %rdi, %rax
movq %rax, -0x210(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x208(%rbp)
testb $0x1, 0x38(%rax)
je 0xc8769
leaq -0x11(%rbp), %rdi
movq %rdi, -0x220(%rbp)
callq 0xaaa70
movq -0x218(%rbp), %rdi
movq -0x220(%rbp), %rdx
leaq 0x73469(%rip), %rsi     # 0x13bba3
callq 0xaa7d0
jmp 0xc8741
leaq -0x11(%rbp), %rdi
callq 0xaa5f0
jmp 0xc8990
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x11(%rbp), %rdi
callq 0xaa5f0
jmp 0xc89a0
leaq -0x1a0(%rbp), %rdi
movq %rdi, -0x230(%rbp)
callq 0xaa7b0
movq -0x230(%rbp), %rdi
leaq 0x71b1a(%rip), %rsi     # 0x13a2a4
callq 0xaa540
movq %rax, -0x228(%rbp)
jmp 0xc8798
movq -0x208(%rbp), %rax
movq 0x40(%rax), %rsi
movq (%rsi), %rax
movq (%rax), %rax
leaq -0x1c0(%rbp), %rdi
callq *%rax
jmp 0xc87b4
movq -0x228(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
callq 0xaa4c0
movq %rax, -0x238(%rbp)
jmp 0xc87d0
movq -0x238(%rbp), %rdi
leaq 0x757b9(%rip), %rsi     # 0x13df97
callq 0xaa540
movq %rax, -0x240(%rbp)
jmp 0xc87ec
movq -0x240(%rbp), %rdi
leaq 0x73b3f(%rip), %rsi     # 0x13c339
callq 0xaa540
movq %rax, -0x248(%rbp)
jmp 0xc8808
movq -0x208(%rbp), %rax
movq 0x48(%rax), %rsi
movq (%rsi), %rax
movq (%rax), %rax
leaq -0x1e0(%rbp), %rdi
callq *%rax
jmp 0xc8824
movq -0x248(%rbp), %rdi
leaq -0x1e0(%rbp), %rsi
callq 0xaa4c0
movq %rax, -0x250(%rbp)
jmp 0xc8840
movq -0x250(%rbp), %rdi
leaq 0x71586(%rip), %rsi     # 0x139dd4
callq 0xaa540
movq %rax, -0x258(%rbp)
jmp 0xc885c
movq -0x258(%rbp), %rdi
leaq 0x73acf(%rip), %rsi     # 0x13c339
callq 0xaa540
movq %rax, -0x260(%rbp)
jmp 0xc8878
movq -0x208(%rbp), %rax
movq 0x50(%rax), %rsi
movq (%rsi), %rax
movq (%rax), %rax
leaq -0x200(%rbp), %rdi
callq *%rax
jmp 0xc8894
movq -0x260(%rbp), %rdi
leaq -0x200(%rbp), %rsi
callq 0xaa4c0
movq %rax, -0x268(%rbp)
jmp 0xc88b0
movq -0x268(%rbp), %rdi
leaq 0x71516(%rip), %rsi     # 0x139dd4
callq 0xaa540
movq %rax, -0x270(%rbp)
jmp 0xc88cc
movq -0x270(%rbp), %rdi
leaq 0x736be(%rip), %rsi     # 0x13bf98
callq 0xaa540
jmp 0xc88e1
leaq -0x200(%rbp), %rdi
callq 0xaabe8
leaq -0x1e0(%rbp), %rdi
callq 0xaabe8
leaq -0x1c0(%rbp), %rdi
callq 0xaabe8
movq -0x218(%rbp), %rdi
leaq -0x1a0(%rbp), %rsi
callq 0xaa580
jmp 0xc891a
leaq -0x1a0(%rbp), %rdi
callq 0xaa130
jmp 0xc8990
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0xc8982
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0xc8976
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0xc896a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x200(%rbp), %rdi
callq 0xaabe8
leaq -0x1e0(%rbp), %rdi
callq 0xaabe8
leaq -0x1c0(%rbp), %rdi
callq 0xaabe8
leaq -0x1a0(%rbp), %rdi
callq 0xaa130
jmp 0xc89a0
movq -0x210(%rbp), %rax
addq $0x270, %rsp            # imm = 0x270
popq %rbp
retq
movq -0x20(%rbp), %rdi
callq 0xaaa60
nopl (%rax)