// File: yasz24[P]eau2/tests/testSerialize.cpp
// Function: testDistributedBoolColumn()
void testDistributedBoolColumn() {
    Sys* system = new Sys();
    NetworkIP network;
    KVStore* kvs1 = new KVStore(1, 0, &network);
    DistributedBoolColumn* dfc = new DistributedBoolColumn(kvs1);
    for(int i = 0; i < 40; i++) {
        dfc->push_back(i);
    }
    char* serialized = dfc->serialize();
    //std::cout << serialized << "\n";   
    DistributedBoolColumn* fda2 = new DistributedBoolColumn(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 DistributedBoolColumn");
    delete [] system;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x100, %rsp            # imm = 0x100
movl $0x1, %edi
callq 0x7250
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0xa8(%rbp)
callq 0xcd20
jmp 0xb509
movq -0xa8(%rbp), %rax
movq %rax, -0x8(%rbp)
leaq -0x60(%rbp), %rdi
callq 0xc820
movl $0x118, %edi            # imm = 0x118
callq 0x7250
movq %rax, -0xb0(%rbp)
jmp 0xb530
movq -0xb0(%rbp), %rdi
xorl %eax, %eax
movl %eax, %edx
movl $0x1, %esi
leaq -0x60(%rbp), %rcx
callq 0xc870
jmp 0xb54b
movq -0xb0(%rbp), %rax
movq %rax, -0x68(%rbp)
movl $0x20, %edi
callq 0x7250
movq %rax, -0xb8(%rbp)
jmp 0xb569
movq -0xb8(%rbp), %rdi
movq -0x68(%rbp), %rsi
callq 0x13e60
jmp 0xb57b
movq -0xb8(%rbp), %rax
movq %rax, -0x70(%rbp)
movl $0x0, -0x74(%rbp)
cmpl $0x28, -0x74(%rbp)
jge 0xb621
movq -0x70(%rbp), %rdi
movl -0x74(%rbp), %esi
movq (%rdi), %rax
movq 0x98(%rax), %rax
callq *%rax
jmp 0xb5ac
jmp 0xb5ae
movl -0x74(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x74(%rbp)
jmp 0xb58d
movq -0xa8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
callq 0x7220
jmp 0xb7fc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
jmp 0xb7f3
movq -0xb0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
callq 0x7220
jmp 0xb7f3
movq -0xb8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
callq 0x7220
jmp 0xb7f3
movq -0x70(%rbp), %rdi
movq (%rdi), %rax
movq 0x38(%rax), %rax
callq *%rax
movq %rax, -0xc0(%rbp)
jmp 0xb637
movq -0xc0(%rbp), %rax
movq %rax, -0x80(%rbp)
movl $0x20, %edi
callq 0x7250
movq %rax, -0xc8(%rbp)
jmp 0xb655
movq -0xc8(%rbp), %rdi
movq -0x80(%rbp), %rsi
movq -0x68(%rbp), %rdx
callq 0x13f00
jmp 0xb66b
movq -0xc8(%rbp), %rax
movq %rax, -0x88(%rbp)
movl $0x20, %edi
callq 0x7250
movq %rax, -0xd0(%rbp)
jmp 0xb68c
movq -0xd0(%rbp), %rdi
movq -0x80(%rbp), %rsi
callq 0xcce0
jmp 0xb69e
movq -0xd0(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq 0x38(%rax), %rax
callq *%rax
movq %rax, -0xd8(%rbp)
jmp 0xb6c5
movq -0xd8(%rbp), %rax
movq %rax, -0x98(%rbp)
movl $0x20, %edi
callq 0x7250
movq %rax, -0xe0(%rbp)
jmp 0xb6e6
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq 0x38(%rax), %rax
callq *%rax
movq %rax, -0xe8(%rbp)
jmp 0xb6ff
movq -0xe8(%rbp), %rsi
movq -0xe0(%rbp), %rdi
callq 0xcce0
jmp 0xb714
movq -0xe0(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xf8(%rbp)
movq -0xa0(%rbp), %rdi
movq -0x90(%rbp), %rsi
movq (%rdi), %rax
movq 0x18(%rax), %rax
callq *%rax
movb %al, -0xe9(%rbp)
jmp 0xb74c
movq -0xf8(%rbp), %rdi
movb -0xe9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
callq 0xcd30
jmp 0xb766
movq -0x8(%rbp), %rdi
leaq 0x23d70(%rip), %rsi     # 0x2f4e1
callq 0xcd70
jmp 0xb778
movq -0x8(%rbp), %rax
movq %rax, -0x100(%rbp)
cmpq $0x0, %rax
je 0xb795
movq -0x100(%rbp), %rdi
callq 0x72b0
leaq -0x60(%rbp), %rdi
callq 0xcbe0
addq $0x100, %rsp            # imm = 0x100
popq %rbp
retq
movq -0xc8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
callq 0x7220
jmp 0xb7f3
movq -0xd0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
callq 0x7220
jmp 0xb7f3
movq -0xe0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
callq 0x7220
leaq -0x60(%rbp), %rdi
callq 0xcbe0
movq -0x10(%rbp), %rdi
callq 0x7370
nopw %cs:(%rax,%rax)