// File: /workspace/github_cpp_makefile_star2_O1/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 $0x28, %rsp
movq %rdi, %rbx
movabsq $-0x8000000000000000, %r12 # imm = 0x8000000000000000
movq 0x10(%rdi), %rax
movq %rax, 0x8(%rsp)
movq 0x18(%rdi), %rax
leaq 0x58(%rdi), %rcx
movq %rcx, 0x10(%rsp)
movslq %esi, %rcx
leaq (%rcx,%rcx,2), %rcx
leaq 0x90(%rax,%rcx,8), %rax
movq %rax, 0x18(%rsp)
leaq 0x3f(%r12), %rbp
movq %rdi, 0x20(%rsp)
movq 0x10(%rsp), %rdi
callq 0x94e0
testl %eax, %eax
jne 0x3a15f
movl 0xa8(%rbx), %r13d
movslq %r13d, %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
jne 0x39ebc
movl $0x3, %r14d
xorl %ebx, %ebx
movl %r15d, %r13d
jmp 0x3a109
leal 0x1(%rcx), %edx
movl %edx, 0xa8(%rbx)
leaq (%rcx,%rcx,2), %rdx
movq (%rax,%rdx,8), %rcx
movq 0x8(%rax,%rdx,8), %rax
movq %rax, %rsi
subq %rcx, %rsi
movq %rsi, %rdi
sarq $0x5, %rdi
testq %rdi, %rdi
jle 0x39ffb
movq 0x80(%rbx), %r8
andq $-0x20, %rsi
addq %rcx, %rsi
incq %rdi
addq $0x10, %rcx
movq %rcx, %rdx
movq -0x10(%rdx), %rcx
movslq 0x28(%rcx), %rcx
leaq 0x3f(%rcx), %r9
testq %rcx, %rcx
cmovnsq %rcx, %r9
sarq $0x6, %r9
leaq (%r8,%r9,8), %r9
movq %rcx, %r10
andq %rbp, %r10
xorl %r11d, %r11d
cmpq %r12, %r10
setbe %r11b
movq -0x8(%r9,%r11,8), %r9
btq %rcx, %r9
jae 0x3a0e9
movq -0x8(%rdx), %rcx
movslq 0x28(%rcx), %rcx
leaq 0x3f(%rcx), %r9
testq %rcx, %rcx
cmovnsq %rcx, %r9
sarq $0x6, %r9
leaq (%r8,%r9,8), %r9
movq %rcx, %r10
andq %rbp, %r10
xorl %r11d, %r11d
cmpq %r12, %r10
setbe %r11b
movq -0x8(%r9,%r11,8), %r9
btq %rcx, %r9
jae 0x3a0ef
movq (%rdx), %rcx
movslq 0x28(%rcx), %rcx
leaq 0x3f(%rcx), %r9
testq %rcx, %rcx
cmovnsq %rcx, %r9
sarq $0x6, %r9
leaq (%r8,%r9,8), %r9
movq %rcx, %r10
andq %rbp, %r10
xorl %r11d, %r11d
cmpq %r12, %r10
setbe %r11b
movq -0x8(%r9,%r11,8), %r9
btq %rcx, %r9
jae 0x3a0f9
movq 0x8(%rdx), %rcx
movslq 0x28(%rcx), %rcx
leaq 0x3f(%rcx), %r9
testq %rcx, %rcx
cmovnsq %rcx, %r9
sarq $0x6, %r9
leaq (%r8,%r9,8), %r9
movq %rcx, %r10
andq %rbp, %r10
xorl %r11d, %r11d
cmpq %r12, %r10
setbe %r11b
movq -0x8(%r9,%r11,8), %r9
btq %rcx, %r9
jae 0x3a0f5
decq %rdi
addq $0x20, %rdx
cmpq $0x1, %rdi
jg 0x39f00
movq %rsi, %rcx
movq %rax, %rsi
subq %rcx, %rsi
sarq $0x3, %rsi
cmpq $0x1, %rsi
je 0x3a0a6
cmpq $0x2, %rsi
je 0x3a066
movq %rax, %rdx
cmpq $0x3, %rsi
jne 0x3a0f9
movq (%rcx), %rdx
movslq 0x28(%rdx), %rdx
leaq 0x3f(%rdx), %rsi
testq %rdx, %rdx
cmovnsq %rdx, %rsi
sarq $0x6, %rsi
shlq $0x3, %rsi
addq 0x80(%rbx), %rsi
movq %rdx, %rdi
andq %rbp, %rdi
xorl %r8d, %r8d
cmpq %r12, %rdi
setbe %r8b
movq -0x8(%rsi,%r8,8), %rsi
btq %rdx, %rsi
jae 0x3a0e4
addq $0x8, %rcx
movq (%rcx), %rdx
movslq 0x28(%rdx), %rdx
leaq 0x3f(%rdx), %rsi
testq %rdx, %rdx
cmovnsq %rdx, %rsi
sarq $0x6, %rsi
shlq $0x3, %rsi
addq 0x80(%rbx), %rsi
movq %rdx, %rdi
andq %rbp, %rdi
xorl %r8d, %r8d
cmpq %r12, %rdi
setbe %r8b
movq -0x8(%rsi,%r8,8), %rsi
btq %rdx, %rsi
jae 0x3a0e4
addq $0x8, %rcx
movq (%rcx), %rdx
movslq 0x28(%rdx), %rdx
leaq 0x3f(%rdx), %rsi
testq %rdx, %rdx
cmovnsq %rdx, %rsi
sarq $0x6, %rsi
shlq $0x3, %rsi
addq 0x80(%rbx), %rsi
movq %rdx, %rdi
andq %rbp, %rdi
xorl %r8d, %r8d
cmpq %r12, %rdi
setbe %r8b
movq -0x8(%rsi,%r8,8), %rsi
btq %rdx, %rsi
cmovbq %rax, %rcx
movq %rcx, %rdx
jmp 0x3a0f9
addq $-0x10, %rdx
jmp 0x3a0f9
addq $-0x8, %rdx
jmp 0x3a0f9
addq $0x8, %rdx
xorl %r14d, %r14d
cmpq %rax, %rdx
setne %bl
sete %r14b
addl %r14d, %r14d
movq 0x10(%rsp), %rdi
callq 0x9270
testb %bl, %bl
movq 0x20(%rsp), %rbx
je 0x3a143
movslq %r13d, %rax
leaq (%rax,%rax,2), %rsi
shlq $0x3, %rsi
movq 0x8(%rsp), %rax
addq 0xf0(%rax), %rsi
movq %rbx, %rdi
movq 0x18(%rsp), %rdx
callq 0x3a166
xorl %r14d, %r14d
movl %r13d, %r15d
cmpl $0x3, %r14d
jne 0x39e63
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl %eax, %edi
callq 0x9210