// File: /workspace/github_cpp_makefile_star2_O1/iPapatsoris[P]Maximum-Independent-Set/src/Mis.cpp
// Function: Mis::expandExcludedNodes(std::vector<unsigned int, std::allocator<unsigned int>>&)
void Mis::expandExcludedNodes(vector<uint32_t> &finalMis) {
    while (!hypernodeToInnernode.empty()) {
        auto hypernode = hypernodeToInnernode.begin();
        while (!hypernode->second.outerLevel) {
            hypernode++;
        }
        for (auto node : hypernode->second.nodes) {
            auto nestedHypernode = hypernodeToInnernode.find(node);
            if (nestedHypernode != hypernodeToInnernode.end()) {
                assert(!nestedHypernode->second.outerLevel);
                nestedHypernode->second.outerLevel = true;
            }
            mis.push_back(node);
        }
        for (auto node : hypernode->second.neighbors) {
            auto innerHypernode = hypernodeToInnernode.find(node);
            if (innerHypernode != hypernodeToInnernode.end()) {
                assert(!innerHypernode->second.outerLevel);
                innerHypernode->second.outerLevel = true;
            }
        }
        hypernodeToInnernode.erase(hypernode);
        expandIncludedNodes(mis, finalMis);
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, 0x10(%rsp)
cmpq $0x0, 0x30(%rdi)
je 0x17a86
movq %rdi, %r14
leaq 0x18(%rdi), %rax
movq %rax, 0x8(%rsp)
leaq 0x28(%rdi), %rbp
leaq 0x4(%rsp), %r12
movq %rbp, %r13
movq (%r13), %r13
cmpb $0x1, 0x40(%r13)
jne 0x1790c
movq 0x10(%r13), %rbx
movq 0x18(%r13), %r15
cmpq %r15, %rbx
je 0x179d0
movl (%rbx), %ecx
movl %ecx, 0x4(%rsp)
movq 0x18(%r14), %rdi
movq 0x20(%r14), %r8
movq %rcx, %rax
xorl %edx, %edx
divq %r8
movq %rdx, %rsi
movq (%rdi,%rdx,8), %rdx
movl $0x0, %eax
testq %rdx, %rdx
je 0x17987
movq (%rdx), %r9
movq %rdx, %rax
cmpl 0x8(%r9), %ecx
je 0x17987
movq %r9, %r10
movq (%r9), %r9
testq %r9, %r9
je 0x17985
movl 0x8(%r9), %edi
movq %rdi, %rax
xorl %edx, %edx
divq %r8
movl $0x0, %eax
cmpq %rsi, %rdx
jne 0x17987
movq %r10, %rax
cmpl %edi, %ecx
jne 0x1795b
jmp 0x17987
xorl %eax, %eax
testq %rax, %rax
je 0x17991
movq (%rax), %rax
jmp 0x17993
xorl %eax, %eax
testq %rax, %rax
je 0x179a6
cmpb $0x1, 0x40(%rax)
je 0x17a95
movb $0x1, 0x40(%rax)
movq 0x8(%r14), %rsi
cmpq 0x10(%r14), %rsi
je 0x179bc
movl %ecx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%r14)
jmp 0x179c7
movq %r14, %rdi
movq %r12, %rdx
callq 0xdeac
addq $0x4, %rbx
jmp 0x1791f
movq 0x28(%r13), %r8
movq 0x30(%r13), %r9
cmpq %r9, %r8
je 0x17a5b
movq 0x18(%r14), %r10
movq 0x20(%r14), %r11
movl (%r8), %ecx
movq %rcx, %rax
xorl %edx, %edx
divq %r11
movq %rdx, %rsi
movq (%r10,%rdx,8), %rdx
movl $0x0, %eax
testq %rdx, %rdx
je 0x17a37
movq (%rdx), %rbx
movq %rdx, %rax
cmpl 0x8(%rbx), %ecx
je 0x17a37
movq %rbx, %r15
movq (%rbx), %rbx
testq %rbx, %rbx
je 0x17a35
movl 0x8(%rbx), %edi
movq %rdi, %rax
xorl %edx, %edx
divq %r11
movl $0x0, %eax
cmpq %rsi, %rdx
jne 0x17a37
movq %r15, %rax
cmpl %edi, %ecx
jne 0x17a0c
jmp 0x17a37
xorl %eax, %eax
testq %rax, %rax
je 0x17a41
movq (%rax), %rax
jmp 0x17a43
xorl %eax, %eax
testq %rax, %rax
je 0x17a52
cmpb $0x1, 0x40(%rax)
je 0x17ab4
movb $0x1, 0x40(%rax)
addq $0x4, %r8
cmpq %r9, %r8
jne 0x179e5
movq 0x8(%rsp), %rdi
movq %r13, %rsi
callq 0x1897e
movq %r14, %rdi
movq %r14, %rsi
movq 0x10(%rsp), %rdx
callq 0x18480
cmpq $0x0, 0x30(%r14)
movq %rbp, %r13
jne 0x1790c
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x3478(%rip), %rdi      # 0x1af14
leaq 0x3373(%rip), %rsi      # 0x1ae16
leaq 0x348e(%rip), %rcx      # 0x1af38
movl $0x36, %edx
callq 0x2110
leaq 0x34af(%rip), %rdi      # 0x1af6a
leaq 0x3354(%rip), %rsi      # 0x1ae16
leaq 0x346f(%rip), %rcx      # 0x1af38
movl $0x3e, %edx
callq 0x2110
nop