// File: /workspace/github_c_makefile_star2_O0/GangZhuo[P]rbtree/rbtree.c
// Function: rbtree_remove
void rbtree_remove(rbtree_t *tree, rbnode_t *n)
{
	rbnode_t *x, *y;

	y = rbnode_is_leaf(n) ? n : rbtree_successor(tree, n);
	x = rbnode_is_nil(y->left) ? y->right : y->left;

	if (!rbnode_is_nil(x))
		x->parent = y->parent;

	if (rbnode_is_root(y))
		tree->root = x;
	else if (rbnode_is_left(y))
		y->parent->left = x;
	else
		y->parent->right = x;

	if (y != n) {

        if (rbnode_is_black(y))
            rbtree_remove_fixup(tree, x, y->parent);

		y->left = n->left;
		y->right = n->right;
		y->parent = n->parent;
		y->color = n->color;

		if (!rbnode_is_nil(n->left))
			n->left->parent = y;

		if (!rbnode_is_nil(n->right))
			n->right->parent = y;

		if (rbnode_is_root(n))
			tree->root = y;
		else if (rbnode_is_left(n))
			n->parent->left = y;
		else
			n->parent->right = y;
	}
    else if (rbnode_is_black(y))
        rbtree_remove_fixup(tree, x, y->parent);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
cmpq $0x0, 0x10(%rax)
je 0x1596
movq -0x10(%rbp), %rax
cmpq $0x0, 0x18(%rax)
jne 0x15a0
movq -0x10(%rbp), %rax
movq %rax, -0x28(%rbp)
jmp 0x15b1
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1780
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
cmpq $0x0, 0x10(%rax)
jne 0x15d2
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
jmp 0x15de
movq -0x20(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x18(%rbp)
cmpq $0x0, -0x18(%rbp)
je 0x15fd
movq -0x20(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x20(%rax)
movq -0x20(%rbp), %rax
cmpq $0x0, 0x20(%rax)
jne 0x1615
movq -0x18(%rbp), %rcx
movq -0x8(%rbp), %rax
movq %rcx, (%rax)
jmp 0x164b
movq -0x20(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
cmpq -0x20(%rbp), %rax
jne 0x1639
movq -0x18(%rbp), %rcx
movq -0x20(%rbp), %rax
movq 0x20(%rax), %rax
movq %rcx, 0x10(%rax)
jmp 0x1649
movq -0x18(%rbp), %rcx
movq -0x20(%rbp), %rax
movq 0x20(%rax), %rax
movq %rcx, 0x18(%rax)
jmp 0x164b
movq -0x20(%rbp), %rax
cmpq -0x10(%rbp), %rax
je 0x1743
cmpq $0x0, -0x20(%rbp)
je 0x166a
movq -0x20(%rbp), %rax
cmpl $0x0, 0x8(%rax)
jne 0x167f
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rax
movq 0x20(%rax), %rdx
callq 0x1820
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movl 0x8(%rax), %ecx
movq -0x20(%rbp), %rax
movl %ecx, 0x8(%rax)
movq -0x10(%rbp), %rax
cmpq $0x0, 0x10(%rax)
je 0x16d8
movq -0x20(%rbp), %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
cmpq $0x0, 0x18(%rax)
je 0x16f3
movq -0x20(%rbp), %rcx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
cmpq $0x0, 0x20(%rax)
jne 0x170b
movq -0x20(%rbp), %rcx
movq -0x8(%rbp), %rax
movq %rcx, (%rax)
jmp 0x1741
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
cmpq -0x10(%rbp), %rax
jne 0x172f
movq -0x20(%rbp), %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rcx, 0x10(%rax)
jmp 0x173f
movq -0x20(%rbp), %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rcx, 0x18(%rax)
jmp 0x1741
jmp 0x176b
cmpq $0x0, -0x20(%rbp)
je 0x1754
movq -0x20(%rbp), %rax
cmpl $0x0, 0x8(%rax)
jne 0x1769
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rax
movq 0x20(%rax), %rdx
callq 0x1820
jmp 0x176b
addq $0x30, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)