// File: chhylp123[P]hifiasm/tovlp.cpp
// Function: rs_sort_pt128x(pt128_t*, pt128_t*, int, int)
KRADIX_SORT_INIT(tb64, uint64_t, generic_key, 8)

typedef struct { uint32_t n, m; pt128_t *a; } pt128_v;
typedef struct { uint32_t n, m; pt_mz1_t *a; } pt_mz1_v;

static inline int mzcmp(const pt_mz1_t *a, const pt_mz1_t *b)
{
	return (a->x > b->x) - (a->x < b->x);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movl %ecx, -0x18(%rbp)
movb -0x14(%rbp), %cl
movl $0x1, %eax
shll %cl, %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
decl %eax
movl %eax, -0x28(%rbp)
movl -0x24(%rbp), %eax
movl %eax, %ecx
movq %rsp, %rax
movq %rax, -0x38(%rbp)
movq %rcx, %rdx
shlq $0x4, %rdx
movq %rsp, %rax
subq %rdx, %rax
movq %rax, -0x78(%rbp)
movq %rax, %rsp
movq %rcx, -0x40(%rbp)
movslq -0x24(%rbp), %rdx
shlq $0x4, %rdx
movq %rax, %rcx
addq %rdx, %rcx
movq %rcx, -0x48(%rbp)
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
cmpq -0x48(%rbp), %rax
je 0x275d73
movq -0x8(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x30(%rbp), %rax
movq %rcx, (%rax)
movq -0x30(%rbp), %rax
addq $0x10, %rax
movq %rax, -0x30(%rbp)
jmp 0x275d48
movq -0x8(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
cmpq -0x10(%rbp), %rax
je 0x275dc1
movq -0x78(%rbp), %rax
movq -0x20(%rbp), %rcx
movq (%rcx), %rdx
movl -0x18(%rbp), %ecx
shrq %cl, %rdx
movq %rdx, %rcx
movslq -0x28(%rbp), %rdx
andq %rdx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rcx
addq $0x10, %rcx
movq %rcx, 0x8(%rax)
movq -0x20(%rbp), %rax
addq $0x10, %rax
movq %rax, -0x20(%rbp)
jmp 0x275d7b
movq -0x78(%rbp), %rax
addq $0x10, %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
cmpq -0x48(%rbp), %rax
je 0x275e17
movq -0x30(%rbp), %rax
movq -0x8(%rax), %rcx
movq -0x8(%rbp), %rax
subq %rax, %rcx
sarq $0x4, %rcx
movq -0x30(%rbp), %rax
shlq $0x4, %rcx
addq 0x8(%rax), %rcx
movq %rcx, 0x8(%rax)
movq -0x30(%rbp), %rax
movq -0x8(%rax), %rcx
movq -0x30(%rbp), %rax
movq %rcx, (%rax)
movq -0x30(%rbp), %rax
addq $0x10, %rax
movq %rax, -0x30(%rbp)
jmp 0x275dcd
movq -0x78(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
cmpq -0x48(%rbp), %rax
je 0x275f41
movq -0x30(%rbp), %rax
movq (%rax), %rax
movq -0x30(%rbp), %rcx
cmpq 0x8(%rcx), %rax
je 0x275f30
movq -0x78(%rbp), %rax
movq -0x30(%rbp), %rcx
movq (%rcx), %rcx
movq (%rcx), %rdx
movl -0x18(%rbp), %ecx
shrq %cl, %rdx
movq %rdx, %rcx
movslq -0x28(%rbp), %rdx
andq %rdx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x50(%rbp)
cmpq -0x30(%rbp), %rax
je 0x275f20
movq -0x30(%rbp), %rax
movq (%rax), %rax
movq (%rax), %rcx
movq %rcx, -0x60(%rbp)
movq 0x8(%rax), %rax
movq %rax, -0x58(%rbp)
movq -0x78(%rbp), %rax
movq -0x60(%rbp), %rcx
movq %rcx, -0x70(%rbp)
movq -0x58(%rbp), %rcx
movq %rcx, -0x68(%rbp)
movq -0x50(%rbp), %rcx
movq (%rcx), %rcx
movq (%rcx), %rdx
movq %rdx, -0x60(%rbp)
movq 0x8(%rcx), %rcx
movq %rcx, -0x58(%rbp)
movq -0x50(%rbp), %rdx
movq (%rdx), %rcx
movq %rcx, %rsi
addq $0x10, %rsi
movq %rsi, (%rdx)
movq -0x70(%rbp), %rdx
movq %rdx, (%rcx)
movq -0x68(%rbp), %rdx
movq %rdx, 0x8(%rcx)
movq -0x60(%rbp), %rdx
movl -0x18(%rbp), %ecx
shrq %cl, %rdx
movq %rdx, %rcx
movslq -0x28(%rbp), %rdx
andq %rdx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
cmpq -0x30(%rbp), %rax
jne 0x275e8b
movq -0x30(%rbp), %rcx
movq (%rcx), %rax
movq %rax, %rdx
addq $0x10, %rdx
movq %rdx, (%rcx)
movq -0x60(%rbp), %rcx
movq %rcx, (%rax)
movq -0x58(%rbp), %rcx
movq %rcx, 0x8(%rax)
jmp 0x275f2e
movq -0x30(%rbp), %rax
movq (%rax), %rcx
addq $0x10, %rcx
movq %rcx, (%rax)
jmp 0x275f3c
movq -0x30(%rbp), %rax
addq $0x10, %rax
movq %rax, -0x30(%rbp)
jmp 0x275e1f
movq -0x78(%rbp), %rax
movq -0x8(%rbp), %rcx
movq %rcx, (%rax)
addq $0x10, %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
cmpq -0x48(%rbp), %rax
je 0x275f7b
movq -0x30(%rbp), %rax
movq -0x8(%rax), %rcx
movq -0x30(%rbp), %rax
movq %rcx, (%rax)
movq -0x30(%rbp), %rax
addq $0x10, %rax
movq %rax, -0x30(%rbp)
jmp 0x275f54
cmpl $0x0, -0x18(%rbp)
je 0x276036
movl -0x18(%rbp), %eax
cmpl -0x14(%rbp), %eax
jle 0x275f98
movl -0x18(%rbp), %eax
subl -0x14(%rbp), %eax
movl %eax, -0x7c(%rbp)
jmp 0x275f9f
xorl %eax, %eax
movl %eax, -0x7c(%rbp)
jmp 0x275f9f
movq -0x78(%rbp), %rax
movl -0x7c(%rbp), %ecx
movl %ecx, -0x18(%rbp)
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
cmpq -0x48(%rbp), %rax
je 0x276034
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x30(%rbp), %rcx
movq (%rcx), %rcx
subq %rcx, %rax
sarq $0x4, %rax
cmpq $0x40, %rax
jle 0x275fef
movq -0x30(%rbp), %rax
movq (%rax), %rdi
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rsi
movl -0x14(%rbp), %edx
movl -0x18(%rbp), %ecx
callq 0x275ce0
jmp 0x276021
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x30(%rbp), %rcx
movq (%rcx), %rcx
subq %rcx, %rax
sarq $0x4, %rax
cmpq $0x1, %rax
jle 0x27601f
movq -0x30(%rbp), %rax
movq (%rax), %rdi
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rsi
callq 0x275c10
jmp 0x276021
jmp 0x276023
movq -0x30(%rbp), %rax
addq $0x10, %rax
movq %rax, -0x30(%rbp)
jmp 0x275fad
jmp 0x276036
movq -0x38(%rbp), %rax
movq %rax, %rsp
movq %rbp, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)