// File: Baobaobear[P]sort/./sortlib.hpp
// Function: void baobao::internal::tim_sort_stack_merge_13<false, baobao::TestClass*, baobao::TestClass*, std::less<baobao::TestClass>>(baobao::TestClass*, baobao::TestClass**, baobao::TestClass**&, baobao::TestClass*, std::less<baobao::TestClass>)
void tim_sort_stack_merge_13(RandomAccessBufferIterator buf, RandomAccessIterator* run_stack, RandomAccessIterator* &stack_top, RandomAccessIterator end, Comp compare)
{
    while (stack_top - run_stack >= 2 && end - stack_top[0] > stack_top[0] - stack_top[-1])
    {
        if (stack_top - run_stack > 2 && (stack_top[0] - stack_top[-2]) * 4 / 3 >= stack_top[-1] - stack_top[-3]) // a >= c
        {
            merge_2_part<safecopy>(buf, stack_top[-3], stack_top[-2], stack_top[-1], compare);
            stack_top[-2] = stack_top[-1];
            stack_top[-1] = stack_top[0];
            --stack_top;
            while (stack_top - run_stack > 2 && (stack_top[-1] - stack_top[-2]) * 4 / 3 >= (stack_top[-2] - stack_top[-3]))
            {
                merge_2_part<safecopy>(buf, stack_top[-3], stack_top[-2], stack_top[-1], compare);
                stack_top[-2] = stack_top[-1];
                stack_top[-1] = stack_top[0];
                --stack_top;
            }
        }
        else if ((stack_top[0] - stack_top[-1]) * 4 / 3 >= (stack_top[-1] - stack_top[-2])) // 1.333 * a > b
        {
            merge_2_part<safecopy>(buf, stack_top[-2], stack_top[-1], stack_top[0], compare);
            stack_top[-1] = stack_top[0];
            --stack_top;
        }
        else
        {
            break;
        }
    }
}

// Assembly:
subq $0x38, %rsp
movq %rdi, 0x28(%rsp)
movq %rsi, 0x20(%rsp)
movq %rdx, 0x18(%rsp)
movq %rcx, 0x10(%rsp)
movq 0x18(%rsp), %rax
movq (%rax), %rcx
movq 0x20(%rsp), %rax
subq %rax, %rcx
sarq $0x3, %rcx
xorl %eax, %eax
cmpq $0x2, %rcx
movb %al, 0xc(%rsp)
jl 0x110c7
movq 0x10(%rsp), %rax
movq 0x18(%rsp), %rcx
movq (%rcx), %rcx
movq (%rcx), %rcx
subq %rcx, %rax
sarq $0x5, %rax
movq 0x18(%rsp), %rcx
movq (%rcx), %rcx
movq (%rcx), %rcx
movq 0x18(%rsp), %rdx
movq (%rdx), %rdx
movq -0x8(%rdx), %rdx
subq %rdx, %rcx
sarq $0x5, %rcx
cmpq %rcx, %rax
setg %al
movb %al, 0xc(%rsp)
movb 0xc(%rsp), %al
testb $0x1, %al
jne 0x110d4
jmp 0x11356
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq 0x20(%rsp), %rcx
subq %rcx, %rax
sarq $0x3, %rax
cmpq $0x2, %rax
jle 0x112a8
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq (%rax), %rax
movq 0x18(%rsp), %rcx
movq (%rcx), %rcx
movq -0x10(%rcx), %rcx
subq %rcx, %rax
sarq $0x5, %rax
shlq $0x2, %rax
movl $0x3, %ecx
cqto
idivq %rcx
movq 0x18(%rsp), %rcx
movq (%rcx), %rcx
movq -0x8(%rcx), %rcx
movq 0x18(%rsp), %rdx
movq (%rdx), %rdx
movq -0x18(%rdx), %rdx
subq %rdx, %rcx
sarq $0x5, %rcx
cmpq %rcx, %rax
jl 0x112a8
movq 0x28(%rsp), %rdi
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq -0x18(%rax), %rsi
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq -0x10(%rax), %rdx
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq -0x8(%rax), %rcx
callq 0xd750
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq -0x8(%rax), %rcx
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq %rcx, -0x10(%rax)
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq (%rax), %rcx
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq %rcx, -0x8(%rax)
movq 0x18(%rsp), %rax
movq (%rax), %rcx
addq $-0x8, %rcx
movq %rcx, (%rax)
movq 0x18(%rsp), %rax
movq (%rax), %rcx
movq 0x20(%rsp), %rax
subq %rax, %rcx
sarq $0x3, %rcx
xorl %eax, %eax
cmpq $0x2, %rcx
movb %al, 0xb(%rsp)
jle 0x11228
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq -0x8(%rax), %rax
movq 0x18(%rsp), %rcx
movq (%rcx), %rcx
movq -0x10(%rcx), %rcx
subq %rcx, %rax
sarq $0x5, %rax
shlq $0x2, %rax
movl $0x3, %ecx
cqto
idivq %rcx
movq 0x18(%rsp), %rcx
movq (%rcx), %rcx
movq -0x10(%rcx), %rcx
movq 0x18(%rsp), %rdx
movq (%rdx), %rdx
movq -0x18(%rdx), %rdx
subq %rdx, %rcx
sarq $0x5, %rcx
cmpq %rcx, %rax
setge %al
movb %al, 0xb(%rsp)
movb 0xb(%rsp), %al
testb $0x1, %al
jne 0x11232
jmp 0x112a3
movq 0x28(%rsp), %rdi
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq -0x18(%rax), %rsi
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq -0x10(%rax), %rdx
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq -0x8(%rax), %rcx
callq 0xd750
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq -0x8(%rax), %rcx
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq %rcx, -0x10(%rax)
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq (%rax), %rcx
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq %rcx, -0x8(%rax)
movq 0x18(%rsp), %rax
movq (%rax), %rcx
addq $-0x8, %rcx
movq %rcx, (%rax)
jmp 0x111b2
jmp 0x11351
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq (%rax), %rax
movq 0x18(%rsp), %rcx
movq (%rcx), %rcx
movq -0x8(%rcx), %rcx
subq %rcx, %rax
sarq $0x5, %rax
shlq $0x2, %rax
movl $0x3, %ecx
cqto
idivq %rcx
movq 0x18(%rsp), %rcx
movq (%rcx), %rcx
movq -0x8(%rcx), %rcx
movq 0x18(%rsp), %rdx
movq (%rdx), %rdx
movq -0x10(%rdx), %rdx
subq %rdx, %rcx
sarq $0x5, %rcx
cmpq %rcx, %rax
jl 0x1134d
movq 0x28(%rsp), %rdi
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq -0x10(%rax), %rsi
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq -0x8(%rax), %rdx
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq (%rax), %rcx
callq 0xd750
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq (%rax), %rcx
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq %rcx, -0x8(%rax)
movq 0x18(%rsp), %rax
movq (%rax), %rcx
addq $-0x8, %rcx
movq %rcx, (%rax)
jmp 0x1134f
jmp 0x11356
jmp 0x11351
jmp 0x11068
addq $0x38, %rsp
retq
nopl (%rax,%rax)