// File: /workspace/github_c_makefile_star2_O0/krinkinmu[P]64bit/rbtree.c
// Function: rb_erase
void rb_erase(struct rb_node *node, struct rb_tree *tree)
{
	struct rb_node *p, *c, *x;
	int color;

	if (node->left && node->right) {
		x = rb_next(node);
		c = x->right;
		color = rb_color(x);

		if (x == node->right) {
			p = x;
			x->left = node->left;
			x->parent = node->parent;
			rb_set_parent(x->left, x);
		} else {
			p = rb_parent(x);
			*x = *node;

			p->left = c;
			if (c)
				rb_set_parent(c, p);

			rb_set_parent(x->left, x);
			rb_set_parent(x->right, x);
		}
	} else {
		p = rb_parent(node);
		color = rb_color(node);
		x = c = node->left ? node->left : node->right;

		if (c)
			rb_set_parent(c, p);
	}

	if (rb_parent(node)) {
		if (rb_parent(node)->left == node)
			rb_parent(node)->left = x;
		else
			rb_parent(node)->right = x;
	} else
		tree->root = x;

	if (color == BLACK)
		rb_erase_fix(c, p, tree);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
cmpq $0x0, (%rax)
je 0xffffffff8010ba65
movq -0x8(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0xffffffff8010ba65
movq -0x8(%rbp), %rdi
callq 0xffffffff8010b470
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x28(%rbp), %rdi
callq 0xffffffff8010bb50
movl %eax, -0x2c(%rbp)
movq -0x28(%rbp), %rax
movq -0x8(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jne 0xffffffff8010b9f8
movq -0x28(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x8(%rbp), %rax
movq (%rax), %rcx
movq -0x28(%rbp), %rax
movq %rcx, (%rax)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x28(%rbp), %rax
movq (%rax), %rdi
movq -0x28(%rbp), %rsi
callq 0xffffffff8010bb70
jmp 0xffffffff8010ba63
movq -0x28(%rbp), %rdi
callq 0xffffffff8010b510
movq %rax, -0x18(%rbp)
movq -0x28(%rbp), %rax
movq -0x8(%rbp), %rcx
movq (%rcx), %rdx
movq %rdx, (%rax)
movq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rax)
movq 0x10(%rcx), %rcx
movq %rcx, 0x10(%rax)
movq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
cmpq $0x0, -0x20(%rbp)
je 0xffffffff8010ba42
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0xffffffff8010bb70
movq -0x28(%rbp), %rax
movq (%rax), %rdi
movq -0x28(%rbp), %rsi
callq 0xffffffff8010bb70
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rdi
movq -0x28(%rbp), %rsi
callq 0xffffffff8010bb70
jmp 0xffffffff8010bac3
movq -0x8(%rbp), %rdi
callq 0xffffffff8010b510
movq %rax, -0x18(%rbp)
movq -0x8(%rbp), %rdi
callq 0xffffffff8010bb50
movl %eax, -0x2c(%rbp)
movq -0x8(%rbp), %rax
cmpq $0x0, (%rax)
je 0xffffffff8010ba95
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x38(%rbp)
jmp 0xffffffff8010baa1
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x20(%rbp)
movq %rax, -0x28(%rbp)
cmpq $0x0, -0x20(%rbp)
je 0xffffffff8010bac1
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0xffffffff8010bb70
jmp 0xffffffff8010bac3
movq -0x8(%rbp), %rdi
callq 0xffffffff8010b510
cmpq $0x0, %rax
je 0xffffffff8010bb19
movq -0x8(%rbp), %rdi
callq 0xffffffff8010b510
movq (%rax), %rax
cmpq -0x8(%rbp), %rax
jne 0xffffffff8010bafe
movq -0x28(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rdi
callq 0xffffffff8010b510
movq -0x40(%rbp), %rcx
movq %rcx, (%rax)
jmp 0xffffffff8010bb17
movq -0x28(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rdi
callq 0xffffffff8010b510
movq -0x48(%rbp), %rcx
movq %rcx, 0x8(%rax)
jmp 0xffffffff8010bb24
movq -0x28(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, (%rax)
cmpl $0x1, -0x2c(%rbp)
jne 0xffffffff8010bb3b
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq -0x10(%rbp), %rdx
callq 0xffffffff8010bba0
addq $0x50, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)