// File: /workspace/github_cpp_makefile_star2_O3/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), %r15
testq %r15, %r15
je 0x70fc
movsd 0x20(%r15), %xmm0
movsd %xmm0, (%rsp)
ucomisd 0xb0(%rbx), %xmm0
jbe 0x70fc
movl $0x38, %edi
callq 0x2160
movq %rax, %r14
leaq 0xa1c3(%rip), %rax      # 0x111a0
movq (%rax), %rbp
testq %rbp, %rbp
je 0x7045
cmpq $0x0, 0x10(%rbx)
jne 0x6ff3
cmpq $0x0, 0x8(%rbx)
jne 0x7047
movq 0x28(%r15), %r13
testq %r13, %r13
je 0x7047
cmpq %rbx, 0x18(%r13)
jne 0x7047
movl $0x28, %edi
callq 0x2160
movq %rax, %r12
leaq 0xa172(%rip), %rax      # 0x11188
movq (%rax), %rcx
movq %rcx, (%r12)
incq %rcx
movq %rcx, (%rax)
movq %rbp, 0x8(%r12)
movq 0x28(%r13), %rbp
movq %rbp, 0x10(%r12)
cmpl $0x0, 0x14(%r13)
je 0x7276
movq 0x20(%rbx), %rax
jmp 0x7278
xorl %ebp, %ebp
xorl %r12d, %r12d
movl 0x30(%r15), %eax
leaq 0xa133(%rip), %rcx      # 0x11188
movq (%rcx), %rdx
movq %rdx, (%r14)
incq %rdx
movq %rdx, (%rcx)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rbp, %rbp
je 0x7082
movq %r14, %rcx
addq $0x8, %rcx
movq %rbp, (%rcx)
movsd (%rsp), %xmm0
movsd %xmm0, 0x20(%r14)
movq %r12, 0x28(%r14)
movl %eax, 0x30(%r14)
movl $0x38, %esi
movq %r15, %rdi
callq 0x2170
xorl %r15d, %r15d
movq %r15, 0xc8(%rbx)
movb $0x0, 0x60(%rbx)
movl $0x38, %edi
callq 0x2160
leaq 0xa0e7(%rip), %rcx      # 0x111a8
movq (%rcx), %rdx
movq %rdx, (%rax)
incq %rdx
movq %rdx, (%rcx)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rax)
leaq 0x287(%rip), %rcx       # 0x7364
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), %r15
testq %r15, %r15
je 0x71a1
movsd 0x20(%r15), %xmm1
movsd 0xb0(%rbx), %xmm0
movsd %xmm1, (%rsp)
ucomisd %xmm1, %xmm0
jbe 0x71a1
movl $0x38, %edi
callq 0x2160
movq %rax, %r14
leaq 0xa067(%rip), %rax      # 0x111a0
movq (%rax), %rbp
testq %rbp, %rbp
je 0x71b0
cmpq $0x0, 0x10(%rbx)
jne 0x714f
cmpq $0x0, 0x8(%rbx)
jne 0x71b2
movq 0x28(%r15), %r13
testq %r13, %r13
je 0x71b2
cmpq %rbx, 0x18(%r13)
jne 0x71b2
movl $0x28, %edi
callq 0x2160
movq %rax, %r12
leaq 0xa016(%rip), %rax      # 0x11188
movq (%rax), %rcx
movq %rcx, (%r12)
incq %rcx
movq %rcx, (%rax)
movq %rbp, 0x8(%r12)
movq 0x28(%r13), %rbp
movq %rbp, 0x10(%r12)
cmpl $0x0, 0x14(%r13)
je 0x72e0
movq 0x20(%rbx), %rax
jmp 0x72e2
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %ebp, %ebp
xorl %r12d, %r12d
movl 0x30(%r15), %eax
leaq 0x9fc8(%rip), %rcx      # 0x11188
movq (%rcx), %rdx
movq %rdx, (%r14)
incq %rdx
movq %rdx, (%rcx)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rbp, %rbp
je 0x71ed
movq %r14, %rcx
addq $0x8, %rcx
movq %rbp, (%rcx)
movsd (%rsp), %xmm0
movsd %xmm0, 0x20(%r14)
movq %r12, 0x28(%r14)
movl %eax, 0x30(%r14)
movl $0x38, %esi
movq %r15, %rdi
callq 0x2170
xorl %r15d, %r15d
movq %r15, 0xd0(%rbx)
movb $0x0, 0x61(%rbx)
movl $0x38, %edi
callq 0x2160
leaq 0x9f7c(%rip), %rcx      # 0x111a8
movq (%rcx), %rdx
movq %rdx, (%rax)
incq %rdx
movq %rdx, (%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rax)
leaq 0x11e(%rip), %rcx       # 0x7364
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
xorl %eax, %eax
movq %rax, 0x18(%r12)
movq 0x30(%r13), %rax
movq %rax, 0x20(%r12)
testq %rbp, %rbp
je 0x72b8
movl $0x18, %edi
callq 0x2160
movq %r12, 0x10(%rax)
movq 0x40(%rbp), %rcx
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0x72a9
movq %rax, (%rdx)
movq %rdx, 0x8(%rax)
movq %rcx, (%rax)
movq %rax, 0x8(%rcx)
movq 0x28(%r15), %r13
movq (%r13), %rax
movq %r13, %rdi
callq *0x18(%rax)
movq $0x0, 0x28(%r15)
movq 0xc8(%rbx), %r15
leaq 0x9ec8(%rip), %rax      # 0x111a0
movq (%rax), %rbp
jmp 0x704a
xorl %eax, %eax
movq %rax, 0x18(%r12)
movq 0x30(%r13), %rax
movq %rax, 0x20(%r12)
testq %rbp, %rbp
je 0x7322
movl $0x18, %edi
callq 0x2160
movq %r12, 0x10(%rax)
movq 0x40(%rbp), %rcx
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0x7313
movq %rax, (%rdx)
movq %rdx, 0x8(%rax)
movq %rcx, (%rax)
movq %rax, 0x8(%rcx)
movq 0x28(%r15), %r13
movq (%r13), %rax
movq %r13, %rdi
callq *0x18(%rax)
movq $0x0, 0x28(%r15)
movq 0xd0(%rbx), %r15
leaq 0x9e5e(%rip), %rax      # 0x111a0
movq (%rax), %rbp
jmp 0x71b5
jmp 0x734c
movq %rax, %rbx
movl $0x38, %esi
movq %r14, %rdi
callq 0x2170
movq %rbx, %rdi
callq 0x2280