// File: /workspace/github_cpp_makefile_star2_O3/canzarlab[P]Trajan/src/AntichainConstraint.cpp
// Function: AntichainConstraint::AntichainJob(int)
void AntichainConstraint::AntichainJob(int id)
{
    LDAG &g1 = (LDAG&)t1, &g2 = (LDAG&)t2;
    while (true)
    {
        int i;
        {
            lock_guard<mutex> g(qmutex);
            if (pi == g1.P.size())
                break;
            i = pi++;
            if (all_of(g1.P[i].begin(), g1.P[i].end(), [&](newick_node* node){return B[node->taxoni];}))
                continue;
        }
        Antichain(g1.P[i], g2.R[id]);
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %esi, %r15d
movq %rdi, %rbx
movq 0x10(%rdi), %rax
movq %rax, 0x8(%rsp)
movq 0x18(%rdi), %r14
addq $0x58, %rdi
movq %rdi, (%rsp)
callq 0x94f0
testl %eax, %eax
jne 0x3992f
movabsq $-0x8000000000000000, %rbp # imm = 0x8000000000000000
movslq %r15d, %rax
leaq (%rax,%rax,2), %rax
leaq (%r14,%rax,8), %rax
addq $0x90, %rax
movq %rax, 0x10(%rsp)
leaq 0x3f(%rbp), %r15
movslq 0xa8(%rbx), %rcx
movq 0x8(%rsp), %rdx
movq 0xf0(%rdx), %rax
movq 0xf8(%rdx), %rdx
subq %rax, %rdx
sarq $0x3, %rdx
movabsq $-0x5555555555555555, %rsi # imm = 0xAAAAAAAAAAAAAAAB
imulq %rsi, %rdx
cmpq %rcx, %rdx
je 0x39936
leal 0x1(%rcx), %edx
movl %edx, 0xa8(%rbx)
leaq (%rcx,%rcx,2), %r12
movq (%rax,%r12,8), %r13
movq 0x8(%rax,%r12,8), %r14
movq 0x80(%rbx), %rcx
movq %r14, %rsi
subq %r13, %rsi
movq %rsi, %rdx
sarq $0x5, %rdx
testq %rdx, %rdx
jle 0x39807
andq $-0x20, %rsi
movq %rsi, %rax
addq %r13, %rax
incq %rdx
addq $0x10, %r13
movq -0x10(%r13), %rsi
movslq 0x28(%rsi), %rsi
leal 0x3f(%rsi), %edi
testq %rsi, %rsi
cmovnsl %esi, %edi
sarl $0x6, %edi
movslq %edi, %rdi
leaq (%rcx,%rdi,8), %rdi
movq %rsi, %r8
andq %r15, %r8
xorl %r9d, %r9d
cmpq %rbp, %r8
setbe %r9b
movq -0x8(%rdi,%r9,8), %rdi
btq %rsi, %rdi
jae 0x398d5
movq -0x8(%r13), %rsi
movslq 0x28(%rsi), %rsi
leal 0x3f(%rsi), %edi
testq %rsi, %rsi
cmovnsl %esi, %edi
sarl $0x6, %edi
movslq %edi, %rdi
leaq (%rcx,%rdi,8), %rdi
movq %rsi, %r8
andq %r15, %r8
xorl %r9d, %r9d
cmpq %rbp, %r8
setbe %r9b
movq -0x8(%rdi,%r9,8), %rdi
btq %rsi, %rdi
jae 0x398db
movq (%r13), %rsi
movslq 0x28(%rsi), %rsi
leal 0x3f(%rsi), %edi
testq %rsi, %rsi
cmovnsl %esi, %edi
sarl $0x6, %edi
movslq %edi, %rdi
leaq (%rcx,%rdi,8), %rdi
movq %rsi, %r8
andq %r15, %r8
xorl %r9d, %r9d
cmpq %rbp, %r8
setbe %r9b
movq -0x8(%rdi,%r9,8), %rdi
btq %rsi, %rdi
jae 0x398f0
movq 0x8(%r13), %rsi
movslq 0x28(%rsi), %rsi
leal 0x3f(%rsi), %edi
testq %rsi, %rsi
cmovnsl %esi, %edi
sarl $0x6, %edi
movslq %edi, %rdi
leaq (%rcx,%rdi,8), %rdi
movq %rsi, %r8
andq %r15, %r8
xorl %r9d, %r9d
cmpq %rbp, %r8
setbe %r9b
movq -0x8(%rdi,%r9,8), %rdi
btq %rsi, %rdi
jae 0x398ec
decq %rdx
addq $0x20, %r13
cmpq $0x1, %rdx
jg 0x39706
movq %r14, %rsi
subq %rax, %rsi
jmp 0x3980a
movq %r13, %rax
sarq $0x3, %rsi
cmpq $0x1, %rsi
je 0x3989a
cmpq $0x2, %rsi
je 0x39861
cmpq $0x3, %rsi
jne 0x398e1
movq (%rax), %rdx
movslq 0x28(%rdx), %rdx
leal 0x3f(%rdx), %esi
testq %rdx, %rdx
cmovnsl %edx, %esi
sarl $0x6, %esi
movslq %esi, %rsi
leaq (%rcx,%rsi,8), %rsi
movq %rdx, %rdi
andq %r15, %rdi
xorl %r8d, %r8d
cmpq %rbp, %rdi
setbe %r8b
movq -0x8(%rsi,%r8,8), %rsi
btq %rdx, %rsi
jae 0x398d0
addq $0x8, %rax
movq (%rax), %rdx
movslq 0x28(%rdx), %rdx
leal 0x3f(%rdx), %esi
testq %rdx, %rdx
cmovnsl %edx, %esi
sarl $0x6, %esi
movslq %esi, %rsi
leaq (%rcx,%rsi,8), %rsi
movq %rdx, %rdi
andq %r15, %rdi
xorl %r8d, %r8d
cmpq %rbp, %rdi
setbe %r8b
movq -0x8(%rsi,%r8,8), %rsi
btq %rdx, %rsi
jae 0x398d0
addq $0x8, %rax
movq (%rax), %rdx
movslq 0x28(%rdx), %rdx
leal 0x3f(%rdx), %esi
testq %rdx, %rdx
cmovnsl %edx, %esi
sarl $0x6, %esi
movslq %esi, %rsi
leaq (%rcx,%rsi,8), %rcx
movq %rdx, %rsi
andq %r15, %rsi
xorl %edi, %edi
cmpq %rbp, %rsi
setbe %dil
movq -0x8(%rcx,%rdi,8), %rcx
btq %rdx, %rcx
cmovbq %r14, %rax
movq %rax, %r13
jmp 0x398f0
addq $-0x10, %r13
jmp 0x398f0
addq $-0x8, %r13
jmp 0x398f0
movq (%rsp), %rdi
callq 0x9280
jmp 0x3991e
addq $0x8, %r13
movq (%rsp), %rdi
callq 0x9280
cmpq %r14, %r13
je 0x3991e
shlq $0x3, %r12
movq 0x8(%rsp), %rax
addq 0xf0(%rax), %r12
movq %rbx, %rdi
movq %r12, %rsi
movq 0x10(%rsp), %rdx
callq 0x3994e
movq (%rsp), %rdi
callq 0x94f0
testl %eax, %eax
je 0x3968a
movl %eax, %edi
callq 0x9220
movq (%rsp), %rdi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x9280
nop