// File: chhylp123[P]hifiasm/Correct.cpp
// Function: debug_DAGCon(Graph*)
void debug_DAGCon(Graph* DAGCon)
{
    uint64_t i = 0;
    for (i = 0; i < DAGCon->g_nodes.length; i++)
    {
        Node* currentStartNode = &(G_Node(*DAGCon, i));
        RSet iter_out;

        if(If_Node_Exist(*currentStartNode))
        {
            clear_RSet(&iter_out);
            Edge* e_self;
            Edge* e_reverse;
            while(getOutputEdges(&iter_out, DAGCon, currentStartNode, &e_self))
            {

                get_bi_direction_edges(DAGCon, e_self, &e_self, &e_reverse);


                if(Visit(*e_self) == 0)
                {
                    fprintf(stderr, "Visit(*e_self): %lu, error visit flag: in_node: %lu, out_node: %lu\n", 
                    (unsigned long)Visit(*e_self), (unsigned long)(*e_self).in_node, (unsigned long)(*e_self).out_node);
                }


                if(Visit(*e_reverse) == 0)
                {
                    fprintf(stderr, "Visit(*e_reverse): %lu, error visit flag: in_node: %lu, out_node: %lu\n", 
                    (unsigned long)Visit(*e_reverse), (unsigned long)(*e_reverse).in_node, (unsigned long)(*e_reverse).out_node);
                }


                if(e_self->in_node != e_reverse->in_node)
                {
                    fprintf(stderr, "different in-node\n");
                }
                if(e_self->out_node != e_reverse->out_node)
                {
                    fprintf(stderr, "different out-node\n");
                }
                if(e_self->weight != e_reverse->weight)
                {
                    fprintf(stderr, "different weight\n");
                }
            }

            clear_RSet(&iter_out);
            while(getInputEdges(&iter_out, DAGCon, currentStartNode, &e_self))
            {

                get_bi_direction_edges(DAGCon, e_self, &e_self, &e_reverse);


                if(Visit(*e_self) == 0)
                {
                    fprintf(stderr, "Visit(*e_self): %lu, error visit flag: in_node: %lu, out_node: %lu\n", 
                    (unsigned long)Visit(*e_self), (unsigned long)(*e_self).in_node, (unsigned long)(*e_self).out_node);
                }


                if(Visit(*e_reverse) == 0)
                {
                    fprintf(stderr, "Visit(*e_reverse): %lu, error visit flag: in_node: %lu, out_node: %lu\n", 
                    (unsigned long)Visit(*e_reverse), (unsigned long)(*e_reverse).in_node, (unsigned long)(*e_reverse).out_node);
                }


                if(e_self->in_node != e_reverse->in_node)
                {
                    fprintf(stderr, "different in-node\n");
                }
                if(e_self->out_node != e_reverse->out_node)
                {
                    fprintf(stderr, "different out-node\n");
                }
                if(e_self->weight != e_reverse->weight)
                {
                    fprintf(stderr, "different weight\n");
                }
            }
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movq $0x0, -0x10(%rbp)
movq $0x0, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq -0x8(%rbp), %rcx
cmpq 0x60(%rcx), %rax
jae 0x38d1d
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x10(%rbp), %rcx
shlq $0x7, %rcx
addq %rcx, %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movsbl 0x18(%rax), %eax
cmpl $0x44, %eax
je 0x38d0a
leaq -0x20(%rbp), %rdi
callq 0x2cce0
movq -0x8(%rbp), %rsi
movq -0x18(%rbp), %rdx
leaq -0x20(%rbp), %rdi
leaq -0x28(%rbp), %rcx
callq 0x9fc50
cmpl $0x0, %eax
je 0x38bd7
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rsi
leaq -0x28(%rbp), %rdx
leaq -0x30(%rbp), %rcx
callq 0x2c720
movq -0x28(%rbp), %rax
cmpq $0x0, 0x20(%rax)
jne 0x38b1c
movq 0x38b4ec(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
movq -0x28(%rbp), %rax
movq 0x20(%rax), %rdx
movq -0x28(%rbp), %rax
movq (%rax), %rcx
movq -0x28(%rbp), %rax
movq 0x8(%rax), %r8
leaq 0x349b0b(%rip), %rsi    # 0x382620
movb $0x0, %al
callq 0x22a0
movq -0x30(%rbp), %rax
cmpq $0x0, 0x20(%rax)
jne 0x38b56
movq 0x38b4b2(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
movq -0x30(%rbp), %rax
movq 0x20(%rax), %rdx
movq -0x30(%rbp), %rax
movq (%rax), %rcx
movq -0x30(%rbp), %rax
movq 0x8(%rax), %r8
leaq 0x349b15(%rip), %rsi    # 0x382664
movb $0x0, %al
callq 0x22a0
movq -0x28(%rbp), %rax
movq (%rax), %rax
movq -0x30(%rbp), %rcx
cmpq (%rcx), %rax
je 0x38b7e
movq 0x38b473(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
leaq 0x349b34(%rip), %rsi    # 0x3826ab
movb $0x0, %al
callq 0x22a0
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x30(%rbp), %rcx
cmpq 0x8(%rcx), %rax
je 0x38ba8
movq 0x38b449(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
leaq 0x349b1d(%rip), %rsi    # 0x3826be
movb $0x0, %al
callq 0x22a0
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x30(%rbp), %rcx
cmpq 0x10(%rcx), %rax
je 0x38bd2
movq 0x38b41f(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
leaq 0x349b07(%rip), %rsi    # 0x3826d2
movb $0x0, %al
callq 0x22a0
jmp 0x38aaf
leaq -0x20(%rbp), %rdi
callq 0x2cce0
movq -0x8(%rbp), %rsi
movq -0x18(%rbp), %rdx
leaq -0x20(%rbp), %rdi
leaq -0x28(%rbp), %rcx
callq 0x2cd00
cmpl $0x0, %eax
je 0x38d08
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rsi
leaq -0x28(%rbp), %rdx
leaq -0x30(%rbp), %rcx
callq 0x2c720
movq -0x28(%rbp), %rax
cmpq $0x0, 0x20(%rax)
jne 0x38c4d
movq 0x38b3bb(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
movq -0x28(%rbp), %rax
movq 0x20(%rax), %rdx
movq -0x28(%rbp), %rax
movq (%rax), %rcx
movq -0x28(%rbp), %rax
movq 0x8(%rax), %r8
leaq 0x3499da(%rip), %rsi    # 0x382620
movb $0x0, %al
callq 0x22a0
movq -0x30(%rbp), %rax
cmpq $0x0, 0x20(%rax)
jne 0x38c87
movq 0x38b381(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
movq -0x30(%rbp), %rax
movq 0x20(%rax), %rdx
movq -0x30(%rbp), %rax
movq (%rax), %rcx
movq -0x30(%rbp), %rax
movq 0x8(%rax), %r8
leaq 0x3499e4(%rip), %rsi    # 0x382664
movb $0x0, %al
callq 0x22a0
movq -0x28(%rbp), %rax
movq (%rax), %rax
movq -0x30(%rbp), %rcx
cmpq (%rcx), %rax
je 0x38caf
movq 0x38b342(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
leaq 0x349a03(%rip), %rsi    # 0x3826ab
movb $0x0, %al
callq 0x22a0
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x30(%rbp), %rcx
cmpq 0x8(%rcx), %rax
je 0x38cd9
movq 0x38b318(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
leaq 0x3499ec(%rip), %rsi    # 0x3826be
movb $0x0, %al
callq 0x22a0
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x30(%rbp), %rcx
cmpq 0x10(%rcx), %rax
je 0x38d03
movq 0x38b2ee(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
leaq 0x3499d6(%rip), %rsi    # 0x3826d2
movb $0x0, %al
callq 0x22a0
jmp 0x38be0
jmp 0x38d0a
jmp 0x38d0c
movq -0x10(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x10(%rbp)
jmp 0x38a6c
addq $0x30, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)