// File: /workspace/github_cpp_makefile_star2_O3/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, 0x40(%rsp)
movq $0x0, 0x50(%rsp)
movq 0x70(%rdi), %rsi
leaq 0x88(%rsp), %rdx
movb $0x0, (%rdx)
leaq 0xb0(%rsp), %rdi
leaq 0x70(%rsp), %rcx
callq 0x306d4
movq 0x68(%rbp), %rsi
leaq 0xb0(%rsp), %rdx
movq %rbp, %rdi
callq 0x2e738
movq 0x68(%rbp), %rsi
movq %rbp, %rdi
callq 0x2e846
movq $0x0, 0x70(%rbp)
movq 0x68(%rbp), %rsi
movq %rbp, %rdi
callq 0x2e87e
movq 0x68(%rbp), %rsi
leaq 0x40(%rsp), %rdx
movq %rbp, %rdi
callq 0x2e8be
movq 0xf0(%rbp), %r15
movq 0xf8(%rbp), %r14
cmpq %r14, %r15
je 0x2e380
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 0x2eeaf
cmpq $0x181, %rbx            # imm = 0x181
jl 0x2e375
leaq 0x180(%r15), %r12
movq %r15, %rdi
movq %r12, %rsi
callq 0x2f340
cmpq %r14, %r12
je 0x2e380
movq %r12, %rdi
callq 0x2f459
addq $0x18, %r12
jmp 0x2e362
movq %r15, %rdi
movq %r14, %rsi
callq 0x2f340
movq 0x70(%rbp), %r14
leaq 0x10(%rsp), %rdx
movb $0x0, (%rdx)
leaq 0x88(%rsp), %rdi
leaq 0x7(%rsp), %rcx
movq %r14, %rsi
callq 0x306d4
leaq 0x70(%rsp), %rdi
leaq 0x88(%rsp), %rdx
leaq 0x10(%rsp), %rcx
movq %r14, %rsi
callq 0x2f702
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x2e3d8
movq 0xa8(%rsp), %rsi
subq %rdi, %rsi
callq 0x9350
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
movq 0xf0(%rbp), %rax
movq 0xf8(%rbp), %rcx
cmpq %rax, %rcx
je 0x2e5fc
movabsq $-0x8000000000000000, %r12 # imm = 0x8000000000000000
xorl %edi, %edi
leaq 0x3f(%r12), %r13
movq %rbp, 0x30(%rsp)
leaq (%rdi,%rdi,2), %r8
movq (%rax,%r8,8), %rdx
movq 0x8(%rax,%r8,8), %rsi
cmpq %rdx, %rsi
je 0x2e5cc
movq %rdi, 0x60(%rsp)
movq %r8, 0x68(%rsp)
leaq (%rax,%r8,8), %rax
movq %rax, 0x38(%rsp)
movq $0x0, 0x8(%rsp)
movq %rsi, %rax
subq %rdx, %rax
cmpq $0x9, %rax
jb 0x2e59a
movl $0x1, %r14d
movq 0x8(%rsp), %rax
movq (%rdx,%rax,8), %rax
movslq 0x28(%rax), %rax
movq (%rdx,%r14,8), %rcx
movslq 0x28(%rcx), %rcx
leal 0x3f(%rcx), %edx
testq %rcx, %rcx
movq 0x70(%rsp), %rsi
leaq (%rax,%rax,4), %rax
cmovnsl %ecx, %edx
sarl $0x6, %edx
movslq %edx, %rdx
shlq $0x3, %rdx
addq (%rsi,%rax,8), %rdx
movq %rcx, %rax
andq %r13, %rax
xorl %esi, %esi
cmpq %r12, %rax
setbe %sil
movq -0x8(%rdx,%rsi,8), %rax
btq %rcx, %rax
jb 0x2e576
leaq 0x10(%rsp), %rdi
movq 0x38(%rsp), %rsi
callq 0x2f79a
movq 0x30(%rsp), %rax
movq 0xf0(%rax), %rcx
movq 0x68(%rsp), %rdx
movq (%rcx,%rdx,8), %rax
movq 0x8(%rcx,%rdx,8), %rdx
subq %rax, %rdx
je 0x2e576
sarq $0x3, %rdx
cmpq $0x1, %rdx
movq %rdx, %rsi
adcq $0x0, %rsi
movq 0x70(%rsp), %rdi
xorl %r8d, %r8d
cmpq $0x2, %rdx
jb 0x2e56e
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
leal 0x3f(%rcx), %r11d
testq %rcx, %rcx
leaq (%rcx,%rcx,4), %rbp
cmovnsl %ecx, %r11d
sarl $0x6, %r11d
movslq %r11d, %r11
leaq (,%r11,8), %rbx
addq (%rdi,%rbp,8), %rbx
movq %rcx, %rbp
andq %r13, %rbp
xorl %r15d, %r15d
cmpq %r12, %rbp
setbe %r15b
movl $0x1, %ebp
shlq %cl, %rbp
orq %rbp, -0x8(%rbx,%r15,8)
leaq (%r9,%r11,8), %rcx
orq %rbp, -0x8(%rcx,%r15,8)
incq %r10
cmpq %r10, %rdx
jne 0x2e516
incq %r8
cmpq %rsi, %r8
jne 0x2e4fa
incq %r14
movq 0x38(%rsp), %rax
movq (%rax), %rdx
movq 0x8(%rax), %rsi
movq %rsi, %rax
subq %rdx, %rax
sarq $0x3, %rax
cmpq %r14, %rax
ja 0x2e45e
jmp 0x2e59e
shrq $0x3, %rax
movq 0x8(%rsp), %rdi
incq %rdi
movq %rdi, 0x8(%rsp)
cmpq %rdi, %rax
ja 0x2e448
movq 0x30(%rsp), %rbp
movq 0xf0(%rbp), %rax
movq 0xf8(%rbp), %rcx
movq 0x60(%rsp), %rdi
incq %rdi
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x3, %rdx
movabsq $-0x5555555555555555, %rsi # imm = 0xAAAAAAAAAAAAAAAB
imulq %rsi, %rdx
cmpq %rdi, %rdx
ja 0x2e416
movaps 0x10(%rsp), %xmm0
movq 0x20(%rsp), %rdx
jmp 0x2e5fe
xorl %edx, %edx
movq 0x100(%rbp), %rsi
movups %xmm0, 0xf0(%rbp)
movq %rdx, 0x100(%rbp)
leaq 0x88(%rsp), %rdi
movq %rax, (%rdi)
movq %rcx, 0x8(%rdi)
movq %rsi, 0x10(%rdi)
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
callq 0x2f606
movq %rbp, %rdi
callq 0x2e146
leaq 0x10(%rsp), %rdi
callq 0x2f606
leaq 0x70(%rsp), %rdi
callq 0xd91a
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x2e675
movq 0xd0(%rsp), %rsi
subq %rdi, %rsi
callq 0x9350
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x2e68c
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x9350
movq %rbp, %rax
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2e6ce
movq %rax, %rbx
movq 0x88(%rsp), %rsi
testq %rsi, %rsi
je 0x2e6e5
leaq 0x88(%rsp), %rdi
callq 0x9792
jmp 0x2e6e5
jmp 0x2e6c9
movq %rax, %rbx
jmp 0x2e719
movq %rax, %rbx
jmp 0x2e6e5
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x2f606
leaq 0x70(%rsp), %rdi
callq 0xd91a
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x2e719
movq 0xd0(%rsp), %rsi
subq %rdi, %rsi
callq 0x9350
movq $0x0, 0xb0(%rsp)
movl $0x0, 0xb8(%rsp)
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x2e730
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x9350
movq %rbx, %rdi
callq 0x9680