// File: /workspace/github_c_makefile_star2_O0/rsa9000[P]regfanalysistools/rbtree.c
// Function: _rbtree_delete_fixup
static void __rbtree_delete_fixup(struct rbtree *t, struct rbtree_head *node)
{
	struct rbtree_head *sibling;

	while (node != t->rbt_root && rbt_is_black(node)) {
		if (node == rbt_get_p(node)->left) {
			sibling = rbt_get_p(node)->right;
			if (rbt_is_red(sibling)) {
				rbt_set_color(sibling, RBT_BLACK);
				rbt_set_color(rbt_get_p(node), RBT_RED);
				rbtree_left_rotate(t, rbt_get_p(node));
				sibling = rbt_get_p(node)->right;
			}
			if (rbt_is_black(sibling->left) && rbt_is_black(sibling->right)) {
				rbt_set_color(sibling, RBT_RED);
				node = rbt_get_p(node);
			} else {
				if (rbt_is_black(sibling->right)) {
					rbt_set_color(sibling->left, RBT_BLACK);
					rbt_set_color(sibling, RBT_RED);
					rbtree_right_rotate(t, sibling);
					sibling = rbt_get_p(node)->right;
				}
				rbt_copy_color(sibling, rbt_get_p(node));
				rbt_set_color(rbt_get_p(node), RBT_BLACK);
				rbt_set_color(sibling->right, RBT_BLACK);
				rbtree_left_rotate(t, rbt_get_p(node));
				node = t->rbt_root;
			}
		} else {
			sibling = rbt_get_p(node)->left;
			if (rbt_is_red(sibling)) {
				rbt_set_color(sibling, RBT_BLACK);
				rbt_set_color(rbt_get_p(node), RBT_RED);
				rbtree_right_rotate(t, rbt_get_p(node));
				sibling = rbt_get_p(node)->left;
			}
			if (rbt_is_black(sibling->left) && rbt_is_black(sibling->right)) {
				rbt_set_color(sibling, RBT_RED);
				node = rbt_get_p(node);
			} else {
				if (rbt_is_black(sibling->left)) {
					rbt_set_color(sibling->right, RBT_BLACK);
					rbt_set_color(sibling, RBT_RED);
					rbtree_left_rotate(t, sibling);
					sibling = rbt_get_p(node)->left;
				}
				rbt_copy_color(sibling, rbt_get_p(node));
				rbt_set_color(rbt_get_p(node), RBT_BLACK);
				rbt_set_color(sibling->left, RBT_BLACK);
				rbtree_right_rotate(t, rbt_get_p(node));
				node = t->rbt_root;
			}
		}
	}

	rbt_set_color(node, RBT_BLACK);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rcx
movq -0x8(%rbp), %rdx
xorl %eax, %eax
cmpq (%rdx), %rcx
movb %al, -0x19(%rbp)
je 0x4797
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0x19(%rbp)
movb -0x19(%rbp), %al
testb $0x1, %al
jne 0x47a3
jmp 0x4b64
movq -0x10(%rbp), %rax
movq -0x10(%rbp), %rcx
movq (%rcx), %rcx
andq $-0x2, %rcx
cmpq 0x8(%rcx), %rax
jne 0x498f
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq 0x10(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x1, %rax
jne 0x4841
movq -0x18(%rbp), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x0, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x1, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq %rcx, (%rax)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq (%rax), %rsi
andq $-0x2, %rsi
callq 0x3de0
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq 0x10(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x0, %rax
jne 0x4895
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x0, %rax
jne 0x4895
movq -0x18(%rbp), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x1, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq %rax, -0x10(%rbp)
jmp 0x498a
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x0, %rax
jne 0x48fe
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x0, %rcx
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rcx, (%rax)
movq -0x18(%rbp), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x1, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x3f20
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq 0x10(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rax
andq $0x1, %rax
andq $0x1, %rax
orq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x0, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq %rcx, (%rax)
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x0, %rcx
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq %rcx, (%rax)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq (%rax), %rsi
andq $-0x2, %rsi
callq 0x3de0
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x10(%rbp)
jmp 0x4b5f
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq 0x8(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x1, %rax
jne 0x4a14
movq -0x18(%rbp), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x0, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x1, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq %rcx, (%rax)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq (%rax), %rsi
andq $-0x2, %rsi
callq 0x3f20
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq 0x8(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x0, %rax
jne 0x4a68
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x0, %rax
jne 0x4a68
movq -0x18(%rbp), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x1, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq %rax, -0x10(%rbp)
jmp 0x4b5d
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x0, %rax
jne 0x4ad1
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x0, %rcx
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq %rcx, (%rax)
movq -0x18(%rbp), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x1, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x3de0
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq 0x8(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rax
andq $0x1, %rax
andq $0x1, %rax
orq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x0, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq %rcx, (%rax)
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x0, %rcx
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rcx, (%rax)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq (%rax), %rsi
andq $-0x2, %rsi
callq 0x3f20
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x10(%rbp)
jmp 0x4b5f
jmp 0x4770
movq -0x10(%rbp), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x0, %rcx
movq -0x10(%rbp), %rax
movq %rcx, (%rax)
addq $0x20, %rsp
popq %rbp
retq