// File: /workspace/github_c_makefile_star2_O1/mrkite[P]regs/docmaker/avl.cc
// Function: AVL::insertOnce(std::shared_ptr<AVLNode_>, unsigned int)
AVLNode AVL::insertOnce(AVLNode node, uint32_t key) {
  if (node == nullptr) {
    node = std::make_shared<AVLNode_>();
    node->key = key;
    node->left = nullptr;
    node->right = nullptr;
    node->down = nullptr;
    node->height = 1;
    node->matched = false;
    return node;
  }
  if (key < node->key) {
    node->left = insertOnce(node->left, key);
  } else if (key > node->key) {
    node->right = insertOnce(node->right, key);
  } else {  // key already exists
    return node;
  }
  node->height = 1 + max(Height(node->left), Height(node->right));
  int balance = getBalance(node);
  if (balance > 1 && key < node->left->key) {
    return rotateRight(node);
  }
  if (balance < -1 && key > node->right->key) {
    return rotateLeft(node);
  }
  if (balance > 1 && key > node->left->key) {
    node->left = rotateLeft(node->left);
    return rotateRight(node);
  }
  if (balance < -1 && key < node->right->key) {
    node->right = rotateRight(node->right);
    return rotateLeft(node);
  }
  return node;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x98, %rsp
movl %ecx, %ebp
movq %rdx, %r14
movq %rdi, %rbx
movq (%rdx), %rax
testq %rax, %rax
je 0x7c2c
cmpl %ebp, (%rax)
jbe 0x7ce0
movq 0x8(%rax), %rcx
movq %rcx, 0x28(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x30(%rsp)
testq %rax, %rax
je 0x7d12
movq 0x63ad(%rip), %rcx      # 0xdfc8
cmpb $0x0, (%rcx)
je 0x7d0e
incl 0x8(%rax)
jmp 0x7d12
movl $0x50, %edi
callq 0x3200
movabsq $0x100000001, %rcx      # imm = 0x100000001
movq %rcx, 0x8(%rax)
leaq 0x60b5(%rip), %rcx      # 0xdd00
movq %rcx, (%rax)
leaq 0x10(%rax), %rcx
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, 0x20(%rax)
movups %xmm0, 0x30(%rax)
movups %xmm0, 0x40(%rax)
movq %rcx, (%r14)
movq 0x8(%r14), %rdi
movq %rax, 0x8(%r14)
testq %rdi, %rdi
je 0x7c7a
callq 0x7814
movq (%r14), %rax
movl %ebp, (%rax)
xorl %ecx, %ecx
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rdi
movq %rcx, 0x10(%rax)
testq %rdi, %rdi
je 0x7c97
callq 0x7814
movq (%r14), %rax
xorl %ecx, %ecx
movq %rcx, 0x18(%rax)
movq 0x20(%rax), %rdi
movq %rcx, 0x20(%rax)
testq %rdi, %rdi
je 0x7cb2
callq 0x7814
movq (%r14), %rax
xorl %ecx, %ecx
movq %rcx, 0x28(%rax)
movq 0x30(%rax), %rdi
movq %rcx, 0x30(%rax)
testq %rdi, %rdi
je 0x7ccd
callq 0x7814
movq (%r14), %rax
movl $0x1, 0x38(%rax)
movb $0x0, 0x3c(%rax)
jmp 0x8000
jae 0x8000
movq 0x18(%rax), %rcx
movq %rcx, 0x18(%rsp)
movq 0x20(%rax), %rax
movq %rax, 0x20(%rsp)
testq %rax, %rax
je 0x7d5b
movq 0x62c4(%rip), %rcx      # 0xdfc8
cmpb $0x0, (%rcx)
je 0x7d57
incl 0x8(%rax)
jmp 0x7d5b
lock
incl 0x8(%rax)
movq %rsp, %rdi
leaq 0x28(%rsp), %rdx
movl %ebp, %ecx
callq 0x7bd0
movq (%r14), %rax
movaps (%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, (%rsp)
movq 0x10(%rax), %rdi
movups %xmm0, 0x8(%rax)
testq %rdi, %rdi
je 0x7d41
callq 0x7814
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x7d50
callq 0x7814
movq 0x30(%rsp), %rdi
jmp 0x7d9e
lock
incl 0x8(%rax)
movq %rsp, %rdi
leaq 0x18(%rsp), %rdx
movl %ebp, %ecx
callq 0x7bd0
movq (%r14), %rax
movaps (%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, (%rsp)
movq 0x20(%rax), %rdi
movups %xmm0, 0x18(%rax)
testq %rdi, %rdi
je 0x7d8a
callq 0x7814
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x7d99
callq 0x7814
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x7da8
callq 0x7814
movq (%r14), %rcx
movq 0x8(%rcx), %rax
movq 0x10(%rcx), %r15
testq %r15, %r15
je 0x7dcf
movq 0x6209(%rip), %rcx      # 0xdfc8
cmpb $0x0, (%rcx)
je 0x7dca
incl 0x8(%r15)
jmp 0x7dcf
lock
incl 0x8(%r15)
testq %rax, %rax
je 0x7dd9
movl 0x38(%rax), %eax
jmp 0x7ddb
xorl %eax, %eax
movq (%r14), %rdx
movq 0x18(%rdx), %rcx
movq 0x20(%rdx), %rdi
testq %rdi, %rdi
je 0x7e00
movq 0x61d6(%rip), %rdx      # 0xdfc8
cmpb $0x0, (%rdx)
je 0x7dfc
incl 0x8(%rdi)
jmp 0x7e00
lock
incl 0x8(%rdi)
testq %rcx, %rcx
je 0x7e0a
movl 0x38(%rcx), %ecx
jmp 0x7e0c
xorl %ecx, %ecx
cmpl %ecx, %eax
cmovgl %eax, %ecx
incl %ecx
movq (%r14), %rax
movl %ecx, 0x38(%rax)
testq %rdi, %rdi
je 0x7e23
callq 0x7814
testq %r15, %r15
je 0x7e30
movq %r15, %rdi
callq 0x7814
movq (%r14), %rax
movq 0x8(%r14), %r15
testq %r15, %r15
je 0x7e53
movq 0x6185(%rip), %rcx      # 0xdfc8
cmpb $0x0, (%rcx)
je 0x7e4e
incl 0x8(%r15)
jmp 0x7e53
lock
incl 0x8(%r15)
testq %rax, %rax
je 0x7e78
movq 0x8(%rax), %rcx
movq 0x10(%rax), %r12
testq %r12, %r12
je 0x7e83
movq 0x615c(%rip), %rdx      # 0xdfc8
cmpb $0x0, (%rdx)
je 0x7e7d
incl 0x8(%r12)
jmp 0x7e83
xorl %r13d, %r13d
jmp 0x7ee7
lock
incl 0x8(%r12)
testq %rcx, %rcx
je 0x7e8e
movl 0x38(%rcx), %r13d
jmp 0x7e91
xorl %r13d, %r13d
movq 0x18(%rax), %rcx
movq 0x20(%rax), %rdi
testq %rdi, %rdi
je 0x7eb3
movq 0x6123(%rip), %rax      # 0xdfc8
cmpb $0x0, (%rax)
je 0x7eaf
incl 0x8(%rdi)
jmp 0x7eb3
lock
incl 0x8(%rdi)
movl %ebp, 0x14(%rsp)
movq %rbx, %rbp
testq %rcx, %rcx
je 0x7ec4
movl 0x38(%rcx), %ebx
jmp 0x7ec6
xorl %ebx, %ebx
testq %rdi, %rdi
je 0x7ed0
callq 0x7814
subl %ebx, %r13d
testq %r12, %r12
je 0x7ee0
movq %r12, %rdi
callq 0x7814
movq %rbp, %rbx
movl 0x14(%rsp), %ebp
testq %r15, %r15
je 0x7ef4
movq %r15, %rdi
callq 0x7814
cmpl $0x2, %r13d
jl 0x7f3a
movq (%r14), %rax
movq 0x8(%rax), %rcx
cmpl %ebp, (%rcx)
jbe 0x7f3a
movq %rax, 0x88(%rsp)
movq 0x8(%r14), %rax
movq %rax, 0x90(%rsp)
testq %rax, %rax
je 0x8021
movq 0x609f(%rip), %rcx      # 0xdfc8
cmpb $0x0, (%rcx)
je 0x801d
incl 0x8(%rax)
jmp 0x8021
cmpl $-0x2, %r13d
jg 0x7f7d
movq (%r14), %rax
movq 0x18(%rax), %rcx
cmpl %ebp, (%rcx)
jae 0x7f7d
movq %rax, 0x78(%rsp)
movq 0x8(%r14), %rax
movq %rax, 0x80(%rsp)
testq %rax, %rax
je 0x8032
movq 0x605c(%rip), %rcx      # 0xdfc8
cmpb $0x0, (%rcx)
je 0x802e
incl 0x8(%rax)
jmp 0x8032
cmpl $0x2, %r13d
jl 0x7fbd
movq (%r14), %rax
movq 0x8(%rax), %rcx
cmpl %ebp, (%rcx)
jae 0x7fbd
movq %rcx, 0x48(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x50(%rsp)
testq %rax, %rax
je 0x8040
movq 0x601c(%rip), %rcx      # 0xdfc8
cmpb $0x0, (%rcx)
je 0x803c
incl 0x8(%rax)
jmp 0x8040
cmpl $-0x2, %r13d
jg 0x7ffd
movq (%r14), %rax
movq 0x18(%rax), %rcx
cmpl %ebp, (%rcx)
jbe 0x7ffd
movq %rcx, 0x38(%rsp)
movq 0x20(%rax), %rax
movq %rax, 0x40(%rsp)
testq %rax, %rax
je 0x80d2
movq 0x5fdc(%rip), %rcx      # 0xdfc8
cmpb $0x0, (%rcx)
je 0x80ce
incl 0x8(%rax)
jmp 0x80d2
movq (%r14), %rax
movq %rax, (%rbx)
xorl %eax, %eax
movq %rax, 0x8(%rbx)
movq 0x8(%r14), %rcx
movq %rax, 0x8(%r14)
movq %rcx, 0x8(%rbx)
movq %rax, (%r14)
jmp 0x8169
lock
incl 0x8(%rax)
leaq 0x88(%rsp), %r14
jmp 0x80be
lock
incl 0x8(%rax)
leaq 0x78(%rsp), %r14
jmp 0x8150
lock
incl 0x8(%rax)
movq %rsp, %r15
leaq 0x48(%rsp), %rsi
movq %r15, %rdi
callq 0x8368
movq (%r14), %rax
movaps (%r15), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, (%r15)
movq 0x10(%rax), %rdi
movups %xmm0, 0x8(%rax)
testq %rdi, %rdi
je 0x8070
callq 0x7814
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x807f
callq 0x7814
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x808e
callq 0x7814
movq (%r14), %rax
movq %rax, 0x68(%rsp)
movq 0x8(%r14), %rax
movq %rax, 0x70(%rsp)
testq %rax, %rax
je 0x80b9
movq 0x5f1d(%rip), %rcx      # 0xdfc8
cmpb $0x0, (%rcx)
je 0x80b5
incl 0x8(%rax)
jmp 0x80b9
lock
incl 0x8(%rax)
leaq 0x68(%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x81a2
jmp 0x815b
lock
incl 0x8(%rax)
movq %rsp, %r15
leaq 0x38(%rsp), %rsi
movq %r15, %rdi
callq 0x81a2
movq (%r14), %rax
movaps (%r15), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, (%r15)
movq 0x20(%rax), %rdi
movups %xmm0, 0x18(%rax)
testq %rdi, %rdi
je 0x8102
callq 0x7814
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x8111
callq 0x7814
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x8120
callq 0x7814
movq (%r14), %rax
movq %rax, 0x58(%rsp)
movq 0x8(%r14), %rax
movq %rax, 0x60(%rsp)
testq %rax, %rax
je 0x814b
movq 0x5e8b(%rip), %rcx      # 0xdfc8
cmpb $0x0, (%rcx)
je 0x8147
incl 0x8(%rax)
jmp 0x814b
lock
incl 0x8(%rax)
leaq 0x58(%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x8368
movq 0x8(%r14), %rdi
testq %rdi, %rdi
je 0x8169
callq 0x7814
movq %rbx, %rax
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x20(%rsp), %rdi
jmp 0x8190
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x819a
callq 0x7814
movq %rbx, %rdi
callq 0x33e0