// File: /workspace/github_c_makefile_star2_O0/c-zhou[P]oatk/graph.c
// Function: scc_util
static void scc_util(asmg_t *g, uint64_t v, int *disc, int *low, kdq_u64_t *st, int *stb, int *depth, int *scc, int *n_scc)
{
    uint64_t i, w, n;
    asmg_arc_t *a;

    disc[v] = low[v] = ++*depth;
    kdq_push(uint64_t, st, v);
    stb[v] = 1;

    a = asmg_arc_a(g, v);
    n = asmg_arc_n(g, v);
    for (i = 0; i < n; ++i) {
        if (a[i].del) continue;
        w = a[i].w;
        if (g->vtx[w>>1].del) continue;
        if (disc[w] == -1) {
            scc_util(g, w, disc, low, st, stb, depth, scc, n_scc);
            low[v] = MIN(low[v], low[w]);
        } else if (stb[w] == 1) {
            low[v] = MIN(low[v], disc[w]);
        }
    }
    
    if (low[v] == disc[v]) {
        do {
            w = *kdq_pop(uint64_t, st);
            stb[w] = 0;
            scc[w] = *n_scc;
        } while (w != v);
        ++*n_scc;
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq 0x20(%rbp), %rax
movq 0x18(%rbp), %rax
movq 0x10(%rbp), %rax
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq %r9, -0x30(%rbp)
movq 0x10(%rbp), %rax
movl (%rax), %edx
addl $0x1, %edx
movl %edx, (%rax)
movq -0x20(%rbp), %rax
movq -0x10(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movq -0x28(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x23eb0
movq -0x30(%rbp), %rax
movq -0x10(%rbp), %rcx
movl $0x1, (%rax,%rcx,4)
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x30(%rcx), %rcx
movq -0x10(%rbp), %rdx
imulq $0x30, (%rcx,%rdx,8), %rcx
addq %rcx, %rax
movq %rax, -0x50(%rbp)
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x48(%rbp)
movq $0x0, -0x38(%rbp)
movq -0x38(%rbp), %rax
cmpq -0x48(%rbp), %rax
jae 0x24701
movq -0x50(%rbp), %rax
imulq $0x30, -0x38(%rbp), %rcx
addq %rcx, %rax
movl 0x20(%rax), %eax
shrl $0x1e, %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x245d2
jmp 0x246f0
movq -0x50(%rbp), %rax
imulq $0x30, -0x38(%rbp), %rcx
addq %rcx, %rax
movq 0x8(%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x40(%rbp), %rcx
shrq %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movl 0x20(%rax), %eax
shrl $0x1e, %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x2460f
jmp 0x246f0
movq -0x18(%rbp), %rax
movq -0x40(%rbp), %rcx
cmpl $-0x1, (%rax,%rcx,4)
jne 0x2469a
movq -0x8(%rbp), %rdi
movq -0x40(%rbp), %rsi
movq -0x18(%rbp), %rdx
movq -0x20(%rbp), %rcx
movq -0x28(%rbp), %r8
movq -0x30(%rbp), %r9
movq 0x10(%rbp), %r11
movq 0x18(%rbp), %r10
movq 0x20(%rbp), %rax
movq %r11, (%rsp)
movq %r10, 0x8(%rsp)
movq %rax, 0x10(%rsp)
callq 0x24500
movq -0x20(%rbp), %rax
movq -0x10(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movq -0x20(%rbp), %rcx
movq -0x40(%rbp), %rdx
cmpl (%rcx,%rdx,4), %eax
jge 0x2467c
movq -0x20(%rbp), %rax
movq -0x10(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x54(%rbp)
jmp 0x2468a
movq -0x20(%rbp), %rax
movq -0x40(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x54(%rbp)
movl -0x54(%rbp), %edx
movq -0x20(%rbp), %rax
movq -0x10(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
jmp 0x246ee
movq -0x30(%rbp), %rax
movq -0x40(%rbp), %rcx
cmpl $0x1, (%rax,%rcx,4)
jne 0x246ec
movq -0x20(%rbp), %rax
movq -0x10(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movq -0x18(%rbp), %rcx
movq -0x40(%rbp), %rdx
cmpl (%rcx,%rdx,4), %eax
jge 0x246d0
movq -0x20(%rbp), %rax
movq -0x10(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x58(%rbp)
jmp 0x246de
movq -0x18(%rbp), %rax
movq -0x40(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x58(%rbp)
movl -0x58(%rbp), %edx
movq -0x20(%rbp), %rax
movq -0x10(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
jmp 0x246ee
jmp 0x246f0
movq -0x38(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x38(%rbp)
jmp 0x245a5
movq -0x20(%rbp), %rax
movq -0x10(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movq -0x18(%rbp), %rcx
movq -0x10(%rbp), %rdx
cmpl (%rcx,%rdx,4), %eax
jne 0x24760
jmp 0x2471b
movq -0x28(%rbp), %rdi
callq 0x25e20
movq (%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x30(%rbp), %rax
movq -0x40(%rbp), %rcx
movl $0x0, (%rax,%rcx,4)
movq 0x20(%rbp), %rax
movl (%rax), %edx
movq 0x18(%rbp), %rax
movq -0x40(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movq -0x40(%rbp), %rax
cmpq -0x10(%rbp), %rax
jne 0x2471b
movq 0x20(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
addq $0x70, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)