// File: /workspace/github_cpp_makefile_star2_O1/chhylp123[P]hifiasm/gfa_ut.cpp
// Function: prt_specfic_sge(asg_t*, unsigned int, unsigned int, char const*)
void prt_specfic_sge(asg_t *g, uint32_t src, uint32_t dst, const char* cmd)
{
    uint32_t k, v, w, nv; asg_arc_t *av;
    fprintf(stderr, "[M::%s::%s] src::%.*s(id::%u), dst::%.*s(id::%u)\n", __func__, cmd, 
    (int)Get_NAME_LENGTH(R_INF, src), Get_NAME(R_INF, src), src, 
    (int)Get_NAME_LENGTH(R_INF, dst), Get_NAME(R_INF, dst), dst);
    v = src<<1; 
    nv = asg_arc_n(g, v); av = asg_arc_a(g, v);
    for (k = 0; k < nv; ++k) {
        if ((av[k].v>>1) == dst) {
            w = av[k].v;
            fprintf(stderr, "[M::%s::]\t%.*s(%c)\t%.*s(%c)\tou::%u\n", __func__,
					(int)Get_NAME_LENGTH(R_INF, (v>>1)), Get_NAME(R_INF, (v>>1)), "+-"[v&1],
					(int)Get_NAME_LENGTH(R_INF, (w>>1)), Get_NAME(R_INF, (w>>1)), "+-"[w&1], av[k].ou);
        }
    }

    v = (src<<1)+1; 
    nv = asg_arc_n(g, v); av = asg_arc_a(g, v);
    for (k = 0; k < nv; ++k) {
        if ((av[k].v>>1) == dst) {
            w = av[k].v;
            fprintf(stderr, "[M::%s::]\t%.*s(%c)\t%.*s(%c)\tou::%u\n", __func__,
					(int)Get_NAME_LENGTH(R_INF, (v>>1)), Get_NAME(R_INF, (v>>1)), "+-"[v&1],
					(int)Get_NAME_LENGTH(R_INF, (w>>1)), Get_NAME(R_INF, (w>>1)), "+-"[w&1], av[k].ou);
        }
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl %edx, %ebx
movl %esi, %r14d
movq %rdi, %rbp
movq 0x25e67d(%rip), %rax    # 0x289fe0
movq (%rax), %rdi
leaq 0x25f8c3(%rip), %rax    # 0x28b230
movq 0x8(%rax), %r10
movq 0x40(%rax), %rax
leal 0x1(%r14), %edx
movl (%rax,%rdx,8), %r8d
movl %esi, %edx
movq (%rax,%rdx,8), %r9
subl %r9d, %r8d
addq %r10, %r9
leal 0x1(%rbx), %edx
movl (%rax,%rdx,8), %r11d
movl %ebx, %edx
movq (%rax,%rdx,8), %rax
subl %eax, %r11d
addq %rax, %r10
leaq 0x20e058(%rip), %rsi    # 0x2399fb
leaq 0x20e083(%rip), %rdx    # 0x239a2d
xorl %eax, %eax
pushq %rbx
pushq %r10
pushq %r11
pushq %r14
callq 0x22b0
addq $0x20, %rsp
movq %r14, (%rsp)
leal (%r14,%r14), %ecx
movq 0x28(%rbp), %rax
movq %rcx, 0x8(%rsp)
movq (%rax,%rcx,8), %rax
testl %eax, %eax
je 0x2bab8
movq 0x8(%rbp), %rcx
movq %rax, %rdx
shrq $0x20, %rdx
movq (%rsp), %rsi
andl $0x7fffffff, %esi       # imm = 0x7FFFFFFF
movq %rsi, 0x18(%rsp)
incl %esi
movq %rsi, 0x10(%rsp)
movl %eax, %eax
imulq $0x18, %rdx, %rdx
leaq (%rdx,%rcx), %r12
addq $0x10, %r12
imulq $0x18, %rax, %r15
xorl %r13d, %r13d
movq %rbp, 0x20(%rsp)
movl -0x8(%r12,%r13), %eax
movl %eax, %edx
shrl %edx
cmpl %ebx, %edx
je 0x2ba2f
addq $0x18, %r13
cmpq %r13, %r15
jne 0x2ba14
jmp 0x2bab8
movq 0x25e5aa(%rip), %rcx    # 0x289fe0
movq (%rcx), %rdi
leaq 0x25f7f0(%rip), %rcx    # 0x28b230
movq 0x8(%rcx), %r10
movq 0x40(%rcx), %rsi
movq 0x10(%rsp), %rcx
movl (%rsi,%rcx,8), %ecx
movq 0x18(%rsp), %r8
movq (%rsi,%r8,8), %r8
subl %r8d, %ecx
addq %r10, %r8
movl 0x8(%rsi,%rdx,8), %r11d
movl %edx, %edx
movq (%rsi,%rdx,8), %rdx
subl %edx, %r11d
addq %rdx, %r10
andl $0x1, %eax
leaq 0x1fa749(%rip), %rdx    # 0x2261c3
movsbl (%rax,%rdx), %ebp
movzwl (%r12,%r13), %r14d
andl $0x3fff, %r14d          # imm = 0x3FFF
leaq 0x20dfac(%rip), %rsi    # 0x239a3d
leaq 0x20df95(%rip), %rdx    # 0x239a2d
pushq $0x2b
popq %r9
xorl %eax, %eax
pushq %r14
pushq %rbp
movq 0x30(%rsp), %rbp
pushq %r10
pushq %r11
callq 0x22b0
addq $0x20, %rsp
jmp 0x2ba21
movq 0x28(%rbp), %rax
movl 0x8(%rsp), %ecx
movq 0x8(%rax,%rcx,8), %rax
testl %eax, %eax
je 0x2bba1
movq 0x8(%rbp), %rcx
movq %rax, %rdx
shrq $0x20, %rdx
movq (%rsp), %rdi
andl $0x7fffffff, %edi       # imm = 0x7FFFFFFF
movq %rdi, (%rsp)
leal 0x1(%rdi), %esi
movq %rsi, 0x8(%rsp)
movl %eax, %eax
imulq $0x18, %rdx, %rdx
leaq (%rdx,%rcx), %r15
addq $0x10, %r15
imulq $0x18, %rax, %r13
xorl %r14d, %r14d
movl -0x8(%r15,%r14), %eax
movl %eax, %edx
shrl %edx
cmpl %ebx, %edx
je 0x2bb1e
addq $0x18, %r14
cmpq %r14, %r13
jne 0x2bb03
jmp 0x2bba1
movq 0x25e4bb(%rip), %rcx    # 0x289fe0
movq (%rcx), %rdi
leaq 0x25f701(%rip), %rcx    # 0x28b230
movq 0x8(%rcx), %r10
movq 0x40(%rcx), %rsi
movq 0x8(%rsp), %rcx
movl (%rsi,%rcx,8), %ecx
movq (%rsp), %r8
movq (%rsi,%r8,8), %r8
subl %r8d, %ecx
addq %r10, %r8
movl 0x8(%rsi,%rdx,8), %r11d
movl %edx, %edx
movq (%rsi,%rdx,8), %rdx
subl %edx, %r11d
addq %rdx, %r10
andl $0x1, %eax
leaq 0x1fa65b(%rip), %rdx    # 0x2261c3
movsbl (%rax,%rdx), %ebp
movzwl (%r15,%r14), %r12d
andl $0x3fff, %r12d          # imm = 0x3FFF
leaq 0x20debe(%rip), %rsi    # 0x239a3d
leaq 0x20dea7(%rip), %rdx    # 0x239a2d
pushq $0x2d
popq %r9
xorl %eax, %eax
pushq %r12
pushq %rbp
pushq %r10
pushq %r11
callq 0x22b0
addq $0x20, %rsp
jmp 0x2bb10
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq