// File: /workspace/github_cpp_makefile_star2_O1/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:
cmpq $0x0, 0x60(%rdi)
je 0x4d0db
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
xorl %r12d, %r12d
movq 0x18(%rbx), %r13
movq %r12, %rax
shlq $0x7, %rax
cmpb $0x44, 0x18(%r13,%rax)
jne 0x4ce86
incq %r12
cmpq 0x60(%rbx), %r12
jb 0x4ce65
jmp 0x4d0cd
addq %rax, %r13
xorl %ebp, %ebp
movq 0x50(%r13), %rcx
movb $0x1, %al
cmpq %rcx, %rbp
jge 0x4ceed
movq 0x40(%r13), %r15
imulq $0x38, %rbp, %rdx
movb $0x1, %al
cmpq $-0x1, 0x8(%r15,%rdx)
je 0x4ceac
movb $0x1, %cl
jmp 0x4ced0
leaq (%r15,%rdx), %rsi
addq $0x40, %rsi
leaq -0x1(%rcx), %rdx
cmpq %rbp, %rdx
je 0x4ceea
incq %rbp
cmpq $-0x1, (%rsi)
leaq 0x38(%rsi), %rsi
je 0x4ceb8
cmpq %rcx, %rbp
setl %cl
testb %cl, %cl
je 0x4ceed
imulq $0x38, %rbp, %rcx
cmpq $-0x1, 0x8(%r15,%rcx)
je 0x4ceed
addq %rcx, %r15
incq %rbp
xorl %eax, %eax
jmp 0x4cef0
movq %rcx, %rbp
movq %r14, %r15
testb %al, %al
jne 0x4cfab
movq (%r15), %rdi
movq 0x8(%r15), %rax
movq 0x28(%r15), %rdx
movq 0x18(%rbx), %rcx
movq %rdi, %rsi
shlq $0x7, %rsi
addq %rcx, %rsi
addq $0x40, %rsi
cmpq 0x10(%rsi), %rdx
jae 0x4cf3c
movq (%rsi), %r14
imulq $0x38, %rdx, %r8
cmpq %rdi, (%r14,%r8)
jne 0x4cf3c
addq %r8, %r14
cmpq %rax, 0x8(%r14)
jne 0x4cf3c
shlq $0x7, %rax
imulq $0x38, 0x30(%r15), %r15
jmp 0x4cf4c
imulq $0x38, 0x30(%r15), %r14
addq (%rsi), %r14
shlq $0x7, %rax
imulq $0x38, %rdx, %r15
addq 0x60(%rcx,%rax), %r15
cmpq $0x0, 0x20(%r14)
je 0x4cf89
cmpq $0x0, 0x20(%r15)
je 0x4cf93
movq (%r14), %rax
cmpq (%r15), %rax
jne 0x4cf9d
movq 0x8(%r14), %rax
cmpq 0x8(%r15), %rax
jne 0x4cfa4
movq 0x10(%r14), %rax
cmpq 0x10(%r15), %rax
je 0x4ce8b
callq 0x57a8
jmp 0x4ce8b
movq %r14, %rdi
callq 0x5728
jmp 0x4cf58
movq %r15, %rdi
callq 0x574c
jmp 0x4cf5f
callq 0x5770
jmp 0x4cf67
callq 0x578c
jmp 0x4cf71
xorl %ebp, %ebp
movq 0x70(%r13), %rcx
movb $0x1, %al
cmpq %rcx, %rbp
jge 0x4d00f
movq 0x60(%r13), %r14
imulq $0x38, %rbp, %rdx
movb $0x1, %al
cmpq $-0x1, 0x8(%r14,%rdx)
je 0x4cfce
movb $0x1, %cl
jmp 0x4cff2
leaq (%r14,%rdx), %rsi
addq $0x40, %rsi
leaq -0x1(%rcx), %rdx
cmpq %rbp, %rdx
je 0x4d00c
incq %rbp
cmpq $-0x1, (%rsi)
leaq 0x38(%rsi), %rsi
je 0x4cfda
cmpq %rcx, %rbp
setl %cl
testb %cl, %cl
je 0x4d00f
imulq $0x38, %rbp, %rcx
cmpq $-0x1, 0x8(%r14,%rcx)
je 0x4d00f
addq %rcx, %r14
incq %rbp
xorl %eax, %eax
jmp 0x4d012
movq %rcx, %rbp
movq %r15, %r14
testb %al, %al
jne 0x4ce78
movq (%r14), %rdi
movq 0x8(%r14), %rax
movq 0x28(%r14), %rdx
movq 0x18(%rbx), %rcx
movq %rdi, %rsi
shlq $0x7, %rsi
addq %rcx, %rsi
addq $0x40, %rsi
cmpq 0x10(%rsi), %rdx
jae 0x4d05e
movq (%rsi), %r15
imulq $0x38, %rdx, %r8
cmpq %rdi, (%r15,%r8)
jne 0x4d05e
addq %r8, %r15
cmpq %rax, 0x8(%r15)
jne 0x4d05e
shlq $0x7, %rax
imulq $0x38, 0x30(%r14), %r14
jmp 0x4d06e
imulq $0x38, 0x30(%r14), %r15
addq (%rsi), %r15
shlq $0x7, %rax
imulq $0x38, %rdx, %r14
addq 0x60(%rcx,%rax), %r14
cmpq $0x0, 0x20(%r15)
je 0x4d0ab
cmpq $0x0, 0x20(%r14)
je 0x4d0b5
movq (%r15), %rax
cmpq (%r14), %rax
jne 0x4d0bf
movq 0x8(%r15), %rax
cmpq 0x8(%r14), %rax
jne 0x4d0c6
movq 0x10(%r15), %rax
cmpq 0x10(%r14), %rax
je 0x4cfad
callq 0x5844
jmp 0x4cfad
movq %r15, %rdi
callq 0x57c4
jmp 0x4d07a
movq %r14, %rdi
callq 0x57e8
jmp 0x4d081
callq 0x580c
jmp 0x4d089
callq 0x5828
jmp 0x4d093
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq