// File: /workspace/github_cpp_makefile_star2_O1/kiudee[P]VAHD-Projekt/Node.cpp
// Function: Node::checkValid()
void Node::checkValid()
{
    IdObj *tempido;
    if (left != NULL && left->num > num) {
        tempido = new IdObj(left->num, extractIdentity(left->out), left->debugID);
        delete left;
        left = NULL;
        leftstable = false;

        call(Node::BuildList, tempido);
    }
    if (right != NULL && right->num < num) {
        tempido = new IdObj(right->num, extractIdentity(right->out), right->debugID);
        delete right;
        right = NULL;
        rightstable = false;

        call(Node::BuildList, tempido);
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0xc8(%rdi), %r13
testq %r13, %r13
je 0x815f
movsd 0x20(%r13), %xmm0
ucomisd 0xb0(%rbx), %xmm0
jbe 0x815f
movl $0x38, %edi
callq 0x3160
movq %rax, %r14
movsd 0x20(%r13), %xmm0
movsd %xmm0, (%rsp)
leaq 0xa12f(%rip), %rax      # 0x121a0
movq (%rax), %r12
testq %r12, %r12
je 0x809a
cmpq $0x0, 0x10(%rbx)
jne 0x8087
cmpq $0x0, 0x8(%rbx)
jne 0x809a
movq 0x28(%r13), %rbp
testq %rbp, %rbp
je 0x809a
cmpq %rbx, 0x18(%rbp)
je 0x82ae
xorl %r15d, %r15d
movq 0xc8(%rbx), %rdi
movl 0x30(%rdi), %eax
leaq 0xa0da(%rip), %rcx      # 0x12188
movq (%rcx), %rdx
movq %rdx, (%r14)
incq %rdx
movq %rdx, (%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
leaq 0xa0cf(%rip), %rcx      # 0x121a0
movq (%rcx), %rcx
testq %rcx, %rcx
je 0x80e3
movq %r14, %rdx
addq $0x8, %rdx
movq %rcx, (%rdx)
movsd (%rsp), %xmm0
movsd %xmm0, 0x20(%r14)
movq %r15, 0x28(%r14)
movl %eax, 0x30(%r14)
testq %rdi, %rdi
je 0x8105
movl $0x38, %esi
callq 0x3170
xorl %r15d, %r15d
movq %r15, 0xc8(%rbx)
movb $0x0, 0x60(%rbx)
movl $0x38, %edi
callq 0x3160
leaq 0xa084(%rip), %rcx      # 0x121a8
movq (%rcx), %rdx
movq %rdx, (%rax)
incq %rdx
movq %rdx, (%rcx)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rax)
leaq 0x2d0(%rip), %rcx       # 0x8410
movq %rcx, 0x18(%rax)
movq %r15, 0x20(%rax)
movq %r14, 0x28(%rax)
movq %r15, 0x30(%rax)
movq (%rbx), %rcx
movq %rbx, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq *0x48(%rcx)
movq 0xd0(%rbx), %r13
testq %r13, %r13
je 0x829f
movsd 0xb0(%rbx), %xmm0
ucomisd 0x20(%r13), %xmm0
jbe 0x829f
movl $0x38, %edi
callq 0x3160
movq %rax, %r14
movsd 0x20(%r13), %xmm0
movsd %xmm0, (%rsp)
leaq 0x9ffe(%rip), %rax      # 0x121a0
movq (%rax), %r12
testq %r12, %r12
je 0x81cb
cmpq $0x0, 0x10(%rbx)
jne 0x81b8
cmpq $0x0, 0x8(%rbx)
jne 0x81cb
movq 0x28(%r13), %rbp
testq %rbp, %rbp
je 0x81cb
cmpq %rbx, 0x18(%rbp)
je 0x82f8
xorl %r15d, %r15d
movq 0xd0(%rbx), %rdi
movl 0x30(%rdi), %eax
leaq 0x9fa9(%rip), %rcx      # 0x12188
movq (%rcx), %rdx
movq %rdx, (%r14)
incq %rdx
movq %rdx, (%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
leaq 0x9f9e(%rip), %rcx      # 0x121a0
movq (%rcx), %rcx
testq %rcx, %rcx
je 0x8214
movq %r14, %rdx
addq $0x8, %rdx
movq %rcx, (%rdx)
movsd (%rsp), %xmm0
movsd %xmm0, 0x20(%r14)
movq %r15, 0x28(%r14)
movl %eax, 0x30(%r14)
testq %rdi, %rdi
je 0x8236
movl $0x38, %esi
callq 0x3170
xorl %r15d, %r15d
movq %r15, 0xd0(%rbx)
movb $0x0, 0x61(%rbx)
movl $0x38, %edi
callq 0x3160
leaq 0x9f53(%rip), %rcx      # 0x121a8
movq (%rcx), %rdx
movq %rdx, (%rax)
incq %rdx
movq %rdx, (%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rax)
leaq 0x1a1(%rip), %rcx       # 0x8410
movq %rcx, 0x18(%rax)
movq %r15, 0x20(%rax)
movq %r14, 0x28(%rax)
movq %r15, 0x30(%rax)
movq (%rbx), %rcx
movq 0x48(%rcx), %rcx
movq %rbx, %rdi
movq %rbx, %rsi
movq %rax, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmpq *%rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x28, %edi
callq 0x3160
movq %rax, %r15
leaq 0x9ec6(%rip), %rax      # 0x12188
movq (%rax), %rcx
movq %rcx, (%r15)
incq %rcx
movq %rcx, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r15)
movups %xmm0, 0x18(%r15)
movq %r12, 0x8(%r15)
movups %xmm0, 0x10(%r15)
movq 0x28(%rbp), %r12
movq %r12, 0x10(%r15)
cmpl $0x0, 0x14(%rbp)
je 0x8342
movq 0x20(%rbx), %rax
jmp 0x8344
movl $0x28, %edi
callq 0x3160
movq %rax, %r15
leaq 0x9e7c(%rip), %rax      # 0x12188
movq (%rax), %rcx
movq %rcx, (%r15)
incq %rcx
movq %rcx, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r15)
movups %xmm0, 0x18(%r15)
movq %r12, 0x8(%r15)
movups %xmm0, 0x10(%r15)
movq 0x28(%rbp), %r12
movq %r12, 0x10(%r15)
cmpl $0x0, 0x14(%rbp)
je 0x839c
movq 0x20(%rbx), %rax
jmp 0x839e
xorl %eax, %eax
movq %rax, 0x18(%r15)
movq 0x30(%rbp), %rax
movq %rax, 0x20(%r15)
testq %r12, %r12
je 0x8385
movl $0x18, %edi
callq 0x3160
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movq %r15, 0x10(%rax)
movq 0x40(%r12), %rcx
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0x837a
movq %rax, (%rdx)
movq %rdx, 0x8(%rax)
movq %rcx, (%rax)
movq %rax, 0x8(%rcx)
movq 0x28(%r13), %rdi
movq (%rdi), %rax
callq *0x18(%rax)
movq $0x0, 0x28(%r13)
jmp 0x809d
xorl %eax, %eax
movq %rax, 0x18(%r15)
movq 0x30(%rbp), %rax
movq %rax, 0x20(%r15)
testq %r12, %r12
je 0x83df
movl $0x18, %edi
callq 0x3160
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movq %r15, 0x10(%rax)
movq 0x40(%r12), %rcx
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0x83d4
movq %rax, (%rdx)
movq %rdx, 0x8(%rax)
movq %rcx, (%rax)
movq %rax, 0x8(%rcx)
movq 0x28(%r13), %rdi
movq (%rdi), %rax
callq *0x18(%rax)
movq $0x0, 0x28(%r13)
jmp 0x81ce
jmp 0x83f8
movq %rax, %rbx
movl $0x38, %esi
movq %r14, %rdi
callq 0x3170
movq %rbx, %rdi
callq 0x3280