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

	while (rbt_is_red(rbt_get_p(node))) {
		if (rbt_get_p(node) == rbt_get_gp(node)->left) {
			uncle = rbt_get_gp(node)->right;
			if (rbt_is_red(uncle)) {
				rbt_set_color(rbt_get_p(node), RBT_BLACK);
				rbt_set_color(uncle, RBT_BLACK);
				rbt_set_color(rbt_get_gp(node), RBT_RED);
				node = rbt_get_gp(node);
			} else {
				if (node == rbt_get_p(node)->right) {
					node = rbt_get_p(node);
					rbtree_left_rotate(t, node);
				}
				rbt_set_color(rbt_get_p(node), RBT_BLACK);
				rbt_set_color(rbt_get_gp(node), RBT_RED);
				rbtree_right_rotate(t, rbt_get_gp(node));
			}
		} else {
			uncle = rbt_get_gp(node)->left;
			if (rbt_is_red(uncle)) {
				rbt_set_color(rbt_get_p(node), RBT_BLACK);
				rbt_set_color(uncle, RBT_BLACK);
				rbt_set_color(rbt_get_gp(node), RBT_RED);
				node = rbt_get_gp(node);
			} else {
				if (node == rbt_get_p(node)->left) {
					node = rbt_get_p(node);
					rbtree_right_rotate(t, node);
				}
				rbt_set_color(rbt_get_p(node), RBT_BLACK);
				rbt_set_color(rbt_get_gp(node), RBT_RED);
				rbtree_left_rotate(t, rbt_get_gp(node));
			}
		}
	}

	rbt_set_color(t->rbt_root, RBT_BLACK);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x1, %rax
jne 0x44bf
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq -0x10(%rbp), %rcx
movq (%rcx), %rcx
andq $-0x2, %rcx
movq (%rcx), %rcx
andq $-0x2, %rcx
cmpq 0x8(%rcx), %rax
jne 0x4360
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %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 0x42b9
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 (%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), %rax
andq $-0x2, %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x1, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rax
andq $-0x2, %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rax
andq $-0x2, %rax
movq %rax, -0x10(%rbp)
jmp 0x435b
movq -0x10(%rbp), %rax
movq -0x10(%rbp), %rcx
movq (%rcx), %rcx
andq $-0x2, %rcx
cmpq 0x10(%rcx), %rax
jne 0x42ea
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq %rax, -0x10(%rbp)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x3de0
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 -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %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 (%rax), %rax
andq $-0x2, %rax
movq %rcx, (%rax)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rsi
andq $-0x2, %rsi
callq 0x3f20
jmp 0x44ba
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %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 0x4416
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 (%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), %rax
andq $-0x2, %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x1, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rax
andq $-0x2, %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rax
andq $-0x2, %rax
movq %rax, -0x10(%rbp)
jmp 0x44b8
movq -0x10(%rbp), %rax
movq -0x10(%rbp), %rcx
movq (%rcx), %rcx
andq $-0x2, %rcx
cmpq 0x8(%rcx), %rax
jne 0x4447
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq %rax, -0x10(%rbp)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x3f20
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 -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %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 (%rax), %rax
andq $-0x2, %rax
movq %rcx, (%rax)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq (%rax), %rax
andq $-0x2, %rax
movq (%rax), %rsi
andq $-0x2, %rsi
callq 0x3de0
jmp 0x44ba
jmp 0x41c0
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq (%rax), %rcx
andq $-0x2, %rcx
orq $0x0, %rcx
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq %rcx, (%rax)
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)