// File: /workspace/github_cpp_makefile_star2_O1/canzarlab[P]Trajan/src/Graph.cpp
// Function: LDAG::Init()
Graph* LDAG::Init()
{
    vn T;
    vb C(_n);
    TransitiveReduction(root, C);
    // Restore dfs ordering of indices
    Wipe(root);
    _n = 0;
    Renumerate(root);
    GenPaths(root, T);
    sort(P.begin(), P.end(), [](const vn& a, const vn& b)
    {
        return a.size() > b.size();
    });
    vvb D(_n, vb(_n));
    vector<vn> Q;
    for (int k = 0; k < P.size(); ++k)
    {
        ForeachPair(P[k], [&](vn& p, int i, int j)
        {
            if (D[i][j]) return;
            Q.push_back(p);
            ForeachPair(P[k], [&](vn& p, int i, int j)
            {
                D[i][j] = D[j][j] = true;
            });
        });
    }
    P = move(Q);
    return Graph::Init();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xd8, %rsp
movq %rdi, %rbp
xorps %xmm0, %xmm0
movaps %xmm0, 0xa0(%rsp)
movq $0x0, 0xb0(%rsp)
movq 0x70(%rdi), %rsi
leaq 0x70(%rsp), %rdx
movb $0x0, (%rdx)
leaq 0x30(%rsp), %rdi
leaq 0xc0(%rsp), %rcx
callq 0x311d8
movq 0x68(%rbp), %rsi
leaq 0x30(%rsp), %rdx
movq %rbp, %rdi
callq 0x2f214
movq 0x68(%rbp), %rsi
movq %rbp, %rdi
callq 0x2f340
movq $0x0, 0x70(%rbp)
movq 0x68(%rbp), %rsi
movq %rbp, %rdi
callq 0x2f378
movq 0x68(%rbp), %rsi
leaq 0xa0(%rsp), %rdx
movq %rbp, %rdi
callq 0x2f3b8
movq 0xf0(%rbp), %r15
movq 0xf8(%rbp), %r14
cmpq %r14, %r15
je 0x2edf7
movq %r14, %rbx
subq %r15, %rbx
movq %rbx, %rax
sarq $0x3, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rcx, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r15, %rdi
movq %r14, %rsi
callq 0x2f987
cmpq $0x181, %rbx            # imm = 0x181
jl 0x2edec
leaq 0x180(%r15), %r12
movq %r15, %rdi
movq %r12, %rsi
callq 0x2fe24
cmpq %r14, %r12
je 0x2edf7
movq %r12, %rdi
callq 0x2ff2f
addq $0x18, %r12
jmp 0x2edd9
movq %r15, %rdi
movq %r14, %rsi
callq 0x2fe24
movq 0x70(%rbp), %r14
leaq 0x10(%rsp), %rdx
movb $0x0, (%rdx)
leaq 0x70(%rsp), %rdi
leaq 0xf(%rsp), %rcx
movq %r14, %rsi
callq 0x311d8
leaq 0xc0(%rsp), %rdi
leaq 0x70(%rsp), %rdx
leaq 0x10(%rsp), %rcx
movq %r14, %rsi
callq 0x301c0
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x2ee6b
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x9340
xorl %eax, %eax
movq %rax, 0x70(%rsp)
movl %eax, 0x78(%rsp)
movq %rax, 0x80(%rsp)
movl %eax, 0x88(%rsp)
movq %rax, 0x90(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
movq 0xf0(%rbp), %rax
movq 0xf8(%rbp), %rcx
cmpq %rax, %rcx
je 0x2f094
movabsq $-0x8000000000000000, %r12 # imm = 0x8000000000000000
xorl %edi, %edi
leaq 0x3f(%r12), %r13
movq %rbp, 0x58(%rsp)
movq %rdi, 0xb8(%rsp)
leaq (%rdi,%rdi,2), %rdx
movq 0x8(%rax,%rdx,8), %rcx
movq %rdx, 0x60(%rsp)
cmpq (%rax,%rdx,8), %rcx
je 0x2f055
movq 0x60(%rsp), %rcx
leaq (%rax,%rcx,8), %rdx
movq $0x0, 0x28(%rsp)
movq %rdx, 0x68(%rsp)
movq (%rdx), %rax
movq 0x8(%rdx), %rcx
subq %rax, %rcx
cmpq $0x9, %rcx
jb 0x2f034
movl $0x1, %r14d
movq 0x28(%rsp), %rcx
movq (%rax,%rcx,8), %rcx
movslq 0x28(%rcx), %rcx
movq (%rax,%r14,8), %rax
movslq 0x28(%rax), %rax
movq 0xc0(%rsp), %rdx
leaq (%rcx,%rcx,4), %rcx
leaq 0x3f(%rax), %rsi
testq %rax, %rax
cmovnsq %rax, %rsi
sarq $0x6, %rsi
shlq $0x3, %rsi
addq (%rdx,%rcx,8), %rsi
movq %rax, %rcx
andq %r13, %rcx
xorl %edx, %edx
cmpq %r12, %rcx
setbe %dl
movq -0x8(%rsi,%rdx,8), %rcx
btq %rax, %rcx
jb 0x2f015
leaq 0x10(%rsp), %rdi
movq 0x68(%rsp), %rsi
callq 0x30258
movq 0x58(%rsp), %rax
movq 0xf0(%rax), %rcx
movq 0x60(%rsp), %rdx
movq (%rcx,%rdx,8), %rax
movq 0x8(%rcx,%rdx,8), %rdx
subq %rax, %rdx
je 0x2f015
sarq $0x3, %rdx
cmpq $0x1, %rdx
movq %rdx, %rsi
adcq $0x0, %rsi
movq 0xc0(%rsp), %rdi
xorl %r8d, %r8d
cmpq $0x2, %rdx
jb 0x2f00d
movq (%rax,%r8,8), %rcx
movslq 0x28(%rcx), %rcx
leaq (%rcx,%rcx,4), %rcx
movq (%rdi,%rcx,8), %r9
movl $0x1, %r10d
movq (%rax,%r10,8), %rcx
movslq 0x28(%rcx), %rcx
leaq (%rcx,%rcx,4), %r11
leaq 0x3f(%rcx), %rbp
testq %rcx, %rcx
cmovnsq %rcx, %rbp
sarq $0x6, %rbp
leaq (,%rbp,8), %rbx
addq (%rdi,%r11,8), %rbx
movq %rcx, %r11
andq %r13, %r11
xorl %r15d, %r15d
cmpq %r12, %r11
setbe %r15b
movl $0x1, %r11d
shlq %cl, %r11
orq %r11, -0x8(%rbx,%r15,8)
leaq (%r9,%rbp,8), %rcx
orq %r11, -0x8(%rcx,%r15,8)
incq %r10
cmpq %r10, %rdx
jne 0x2efb7
incq %r8
cmpq %rsi, %r8
jne 0x2ef9b
incq %r14
movq 0x68(%rsp), %rdx
movq (%rdx), %rax
movq 0x8(%rdx), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
cmpq %r14, %rcx
ja 0x2eefa
movq 0x28(%rsp), %rsi
incq %rsi
movq 0x8(%rdx), %rax
subq (%rdx), %rax
sarq $0x3, %rax
movq %rsi, 0x28(%rsp)
cmpq %rsi, %rax
ja 0x2eee0
movq 0xb8(%rsp), %rdi
incq %rdi
movq 0x58(%rsp), %rbp
movq 0xf0(%rbp), %rax
movq 0xf8(%rbp), %rcx
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x3, %rdx
movabsq $-0x5555555555555555, %rsi # imm = 0xAAAAAAAAAAAAAAAB
imulq %rsi, %rdx
cmpq %rdi, %rdx
ja 0x2eea9
leaq 0x70(%rsp), %rdi
xorps %xmm0, %xmm0
movaps %xmm0, (%rdi)
movq $0x0, 0x10(%rdi)
movq 0x100(%rbp), %rdx
movq 0x10(%rsp), %rsi
movq %rsi, 0xf0(%rbp)
movq 0x18(%rsp), %rsi
movq %rsi, 0xf8(%rbp)
movq 0x20(%rsp), %rsi
movq %rsi, 0x100(%rbp)
movq (%rdi), %rsi
movq 0x8(%rdi), %r8
movq 0x10(%rdi), %r9
movq %rax, (%rdi)
movq %rcx, 0x8(%rdi)
movq %rdx, 0x10(%rdi)
movq %rsi, 0x10(%rsp)
movq %r8, 0x18(%rsp)
movq %r9, 0x20(%rsp)
callq 0x300d6
movq %rbp, %rdi
callq 0x2eb88
leaq 0x10(%rsp), %rdi
callq 0x300d6
leaq 0xc0(%rsp), %rdi
callq 0xd968
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x2f14b
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x9340
xorl %eax, %eax
movq %rax, 0x30(%rsp)
movl %eax, 0x38(%rsp)
movq %rax, 0x40(%rsp)
movl %eax, 0x48(%rsp)
movq %rax, 0x50(%rsp)
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x2f168
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x9340
movq %rbp, %rax
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2f1a4
movq %rax, %rbx
movq 0x70(%rsp), %rsi
testq %rsi, %rsi
je 0x2f1be
leaq 0x70(%rsp), %rdi
callq 0x97ae
jmp 0x2f1be
jmp 0x2f19f
movq %rax, %rbx
jmp 0x2f1ee
movq %rax, %rbx
jmp 0x2f1be
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x300d6
leaq 0xc0(%rsp), %rdi
callq 0xd968
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x2f1ee
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x9340
xorl %eax, %eax
movq %rax, 0x30(%rsp)
movl %eax, 0x38(%rsp)
movq %rax, 0x40(%rsp)
movl %eax, 0x48(%rsp)
movq %rax, 0x50(%rsp)
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x2f20b
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x9340
movq %rbx, %rdi
callq 0x9670
nop