// File: /workspace/github_cpp_makefile_star2_O3/yasz24[P]eau2/tests/testSerialize.cpp
// Function: testDistributedDoubleColumn()
void testDistributedDoubleColumn() {
    Sys* system = new Sys();
    NetworkIP network;
    KVStore* kvs1 = new KVStore(1, 0, &network);
    DistributedDoubleColumn* dfc = new DistributedDoubleColumn(kvs1);
    for(int i = 0; i < 40; i++) {
        dfc->push_back(i);
    }
    char* serialized = dfc->serialize();
    //std::cout << serialized << "\n";   
    DistributedDoubleColumn* fda2 = new DistributedDoubleColumn(serialized, kvs1);
    String* s = new String(serialized);
    char* serial = fda2->serialize();
    String* s2 = new String(fda2->serialize());
    system->t_true(s2->equals(s));
    //std::cout << "here\n";
    // for(int i = 0; i < 10; i++) {
    //     system->t_true(dfc->get(i) == i);
    // }
    system->OK("Passed DistributedDoubleColumn");
    delete [] system;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movl $0x1, %edi
callq 0x7200
movq %rax, -0x30(%rbp)
xorl %eax, %eax
movq %rax, -0x80(%rbp)
leaq 0x21a96(%rip), %rcx     # 0x2b580
movq %rcx, -0x88(%rbp)
movq $0x1, -0x70(%rbp)
movq %rax, -0x68(%rbp)
movq %rax, -0x48(%rbp)
movl $0x118, %edi            # imm = 0x118
callq 0x7200
movq %rax, %r14
leaq -0x88(%rbp), %rcx
movl $0x1, %esi
movq %rax, %rdi
xorl %edx, %edx
callq 0xacb6
movl $0x20, %edi
callq 0x7200
movq %rax, %r15
movq %rax, %rdi
movq %r14, %rsi
callq 0x1004c
xorl %r12d, %r12d
movq (%r15), %rax
movq %r15, %rdi
movl %r12d, %esi
callq *0x98(%rax)
incl %r12d
cmpl $0x28, %r12d
jne 0x9b3f
movq (%r15), %rax
movq %r15, %rdi
callq *0x38(%rax)
movq %rax, %rbx
movl $0x20, %edi
callq 0x7200
movq %rax, %r15
movq %rax, %rdi
movq %rbx, %rsi
movq %r14, %rdx
callq 0x100ac
movl $0x20, %edi
callq 0x7200
movq %rax, %r14
movq %rbx, %rdi
callq 0x70f0
movq %rax, %r13
movq $0x0, 0x8(%r14)
leaq 0x2190b(%rip), %rax     # 0x2b4b0
movq %rax, (%r14)
movq %r13, 0x10(%r14)
movq %rbx, -0x40(%rbp)
leaq 0x1(%r13), %rbx
movq %rbx, %rdi
callq 0x7030
movq %rax, %r12
movq %r14, -0x38(%rbp)
movq %rax, 0x18(%r14)
movq %rax, %rdi
movq -0x40(%rbp), %rsi
movq %rbx, %rdx
callq 0x7180
movb $0x0, (%r12,%r13)
movq (%r15), %rax
movq %r15, %rdi
callq *0x38(%rax)
movl $0x20, %edi
callq 0x7200
movq %rax, %r12
movq (%r15), %rax
movq %r15, %rdi
callq *0x38(%rax)
movq %rax, %r15
movq %rax, %rdi
callq 0x70f0
movq %rax, %r13
movq $0x0, 0x8(%r12)
leaq 0x21898(%rip), %rax     # 0x2b4b0
movq %rax, (%r12)
movq %r13, 0x10(%r12)
leaq 0x1(%r13), %rbx
movq %rbx, %rdi
callq 0x7030
movq %rax, %r14
movq %rax, 0x18(%r12)
movq %rax, %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x7180
movb $0x0, (%r14,%r13)
movq %r12, %rdi
movq -0x38(%rbp), %rsi
callq 0x11406
testb %al, %al
je 0x9c96
leaq 0x167bb(%rip), %rsi     # 0x2041a
movq -0x30(%rbp), %rdi
callq 0x12738
movq -0x30(%rbp), %rdi
callq 0x7270
leaq 0x21908(%rip), %rax     # 0x2b580
movq %rax, -0x88(%rbp)
movl -0x60(%rbp), %edi
callq 0x7370
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x16a27(%rip), %rsi     # 0x206c4
movq -0x30(%rbp), %rdi
callq 0x12738
movl $0x1, %edi
callq 0x7260
jmp 0x9d02
jmp 0x9ce1
jmp 0x9cc8
jmp 0x9ce1
jmp 0x9cbe
jmp 0x9ce1
jmp 0x9ce1
movq %rax, %rbx
movq %r15, %rdi
jmp 0x9cd8
jmp 0x9ce1
movq %rax, %rbx
movq %r14, %rdi
jmp 0x9cd8
jmp 0x9ce1
movq %rax, %rbx
movq %r12, %rdi
callq 0x71d0
jmp 0x9ce4
jmp 0x9ce1
movq %rax, %rbx
leaq 0x21895(%rip), %rax     # 0x2b580
movq %rax, -0x88(%rbp)
movl -0x60(%rbp), %edi
callq 0x7370
movq %rbx, %rdi
callq 0x7350
movq %rax, %rdi
callq 0x11518