// File: splatlab[P]debgr/threadsafe-gqf/gqf.c
// Function: shift_remainders(quotient_filter*, unsigned long, unsigned long)
static inline void shift_remainders(QF *qf, const uint64_t start_index, const
																		uint64_t empty_index)
{
	uint64_t last_word = (empty_index + 1) * qf->metadata->bits_per_slot / 64;
	const uint64_t first_word = start_index * qf->metadata->bits_per_slot / 64;
	int bend = ((empty_index + 1) * qf->metadata->bits_per_slot) % 64;
	const int bstart = (start_index * qf->metadata->bits_per_slot) % 64;

	while (last_word != first_word) {
		*REMAINDER_WORD(qf, last_word) = shift_into_b(*REMAINDER_WORD(qf, last_word-1),
																									*REMAINDER_WORD(qf, last_word),
																									0, bend, qf->metadata->bits_per_slot);
		last_word--;
		bend = 64;
	}
	*REMAINDER_WORD(qf, last_word) = shift_into_b(0, *REMAINDER_WORD(qf, last_word),
																								bstart, bend, qf->metadata->bits_per_slot);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x18(%rbp), %rax
addq $0x1, %rax
movq -0x8(%rbp), %rcx
movq 0x8(%rcx), %rcx
imulq 0x38(%rcx), %rax
shrq $0x6, %rax
movq %rax, -0x20(%rbp)
movq -0x10(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x8(%rcx), %rcx
imulq 0x38(%rcx), %rax
shrq $0x6, %rax
movq %rax, -0x28(%rbp)
movq -0x18(%rbp), %rax
addq $0x1, %rax
movq -0x8(%rbp), %rcx
movq 0x8(%rcx), %rcx
imulq 0x38(%rcx), %rax
andq $0x3f, %rax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x8(%rcx), %rcx
imulq 0x38(%rcx), %rax
andq $0x3f, %rax
movl %eax, -0x30(%rbp)
movq -0x20(%rbp), %rax
cmpq -0x28(%rbp), %rax
je 0x28458
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rax
subq $0x1, %rax
movq -0x8(%rbp), %rcx
movq 0x8(%rcx), %rcx
xorl %edx, %edx
divq 0x38(%rcx)
movq %rax, %rsi
callq 0x27590
movq %rax, -0x58(%rbp)
movq -0x20(%rbp), %rax
subq $0x1, %rax
movq -0x8(%rbp), %rcx
movq 0x8(%rcx), %rcx
xorl %edx, %edx
divq 0x38(%rcx)
movq -0x58(%rbp), %rax
shlq $0x3, %rdx
movq 0x11(%rax,%rdx), %rax
movq %rax, -0x50(%rbp)
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x8(%rcx), %rcx
xorl %edx, %edx
divq 0x38(%rcx)
movq %rax, %rsi
callq 0x27590
movq -0x50(%rbp), %rdi
movq %rax, -0x48(%rbp)
movq -0x20(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x8(%rcx), %rcx
xorl %edx, %edx
divq 0x38(%rcx)
movq -0x48(%rbp), %rax
shlq $0x3, %rdx
movq 0x11(%rax,%rdx), %rsi
movl -0x2c(%rbp), %ecx
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x38(%rax), %rax
movl %eax, %r8d
xorl %edx, %edx
callq 0x288e0
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x8(%rcx), %rcx
xorl %edx, %edx
divq 0x38(%rcx)
movq %rax, %rsi
callq 0x27590
movq -0x40(%rbp), %rcx
movq %rax, -0x38(%rbp)
movq -0x20(%rbp), %rax
movq -0x8(%rbp), %rdx
movq 0x8(%rdx), %rsi
xorl %edx, %edx
divq 0x38(%rsi)
movq -0x38(%rbp), %rax
shlq $0x3, %rdx
movq %rcx, 0x11(%rax,%rdx)
movq -0x20(%rbp), %rax
addq $-0x1, %rax
movq %rax, -0x20(%rbp)
movl $0x40, -0x2c(%rbp)
jmp 0x2833e
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x8(%rcx), %rcx
xorl %edx, %edx
divq 0x38(%rcx)
movq %rax, %rsi
callq 0x27590
movq %rax, -0x70(%rbp)
movq -0x20(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x8(%rcx), %rcx
xorl %edx, %edx
divq 0x38(%rcx)
movq -0x70(%rbp), %rax
shlq $0x3, %rdx
movq 0x11(%rax,%rdx), %rsi
movl -0x30(%rbp), %edx
movl -0x2c(%rbp), %ecx
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x38(%rax), %rax
movl %eax, %r8d
xorl %eax, %eax
movl %eax, %edi
callq 0x288e0
movq %rax, -0x68(%rbp)
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x8(%rcx), %rcx
xorl %edx, %edx
divq 0x38(%rcx)
movq %rax, %rsi
callq 0x27590
movq -0x68(%rbp), %rcx
movq %rax, -0x60(%rbp)
movq -0x20(%rbp), %rax
movq -0x8(%rbp), %rdx
movq 0x8(%rdx), %rsi
xorl %edx, %edx
divq 0x38(%rsi)
movq -0x60(%rbp), %rax
shlq $0x3, %rdx
movq %rcx, 0x11(%rax,%rdx)
addq $0x70, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)