// File: /workspace/github_cpp_makefile_star2_O2/BenLangmead[P]bowtie/./multikey_qsort.h
// Function: void vecswap<unsigned long, unsigned long>(unsigned long*, unsigned long, unsigned long, unsigned long, unsigned long, unsigned long, unsigned long)
static inline void vecswap(TVal *s, size_t slen, TPos i, TPos j, TPos n, TPos begin, TPos end) {
	assert_geq(i, begin);
	assert_geq(j, begin);
	assert_lt(i, end);
	assert_lt(j, end);
	while(n-- > 0) {
		assert_geq(n, 0);
		TPos a = i+n;
		TPos b = j+n;
		assert_geq(a, begin);
		assert_geq(b, begin);
		assert_lt(a, end);
		assert_lt(b, end);
		swap(s, slen, a, b);
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r9, %rbp
movq %rdx, %r13
movq %rsi, 0x10(%rsp)
cmpq %r9, %rdx
jb 0xce90
movq %rcx, %r12
cmpq %rbp, %rcx
jb 0xcf0a
movq 0x50(%rsp), %r14
cmpq %r14, %r13
jae 0xcf84
cmpq %r14, %r12
jae 0xcffe
movq %r8, %rbx
movq %rdi, %r15
movq %r12, 0x8(%rsp)
decq %r12
movq %r13, (%rsp)
leaq -0x1(%r13), %r14
movq %r8, %r13
subq $0x1, %r13
jb 0xcc29
leaq (%r14,%rbx), %rdx
cmpq %rbp, %rdx
jb 0xcc38
leaq (%r12,%rbx), %rcx
cmpq %rbp, %rcx
movq 0x50(%rsp), %rax
jb 0xccb7
cmpq %rax, %rdx
jae 0xcde5
cmpq %rax, %rcx
jae 0xcd60
movq %r15, %rdi
movq 0x10(%rsp), %rsi
callq 0xca37
movq %r13, %rbx
jmp 0xcbe4
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x27379(%rip), %r14     # 0x33fb8
leaq 0x1b5ff(%rip), %rsi     # 0x28245
movq %r14, %rdi
callq 0x42d0
movq (%rsp), %rcx
leaq (%rcx,%rbx), %rsi
decq %rsi
movq %rax, %rdi
callq 0x40b0
leaq 0x1b5f4(%rip), %rsi     # 0x2825c
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
movq %rbp, %rsi
callq 0x40b0
leaq 0x1d796(%rip), %rsi     # 0x2a418
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
callq 0x4130
leaq 0x1e084(%rip), %rbx     # 0x2ad1d
movq %r14, %rdi
movq %rbx, %rsi
callq 0x42d0
leaq 0x1ca90(%rip), %rsi     # 0x2973b
movq %rax, %rdi
callq 0x42d0
pushq $0x77
jmp 0xcd35
movq 0x272fa(%rip), %r14     # 0x33fb8
leaq 0x1b580(%rip), %rsi     # 0x28245
movq %r14, %rdi
callq 0x42d0
movq 0x8(%rsp), %rcx
leaq (%rcx,%rbx), %rsi
decq %rsi
movq %rax, %rdi
callq 0x40b0
leaq 0x1b574(%rip), %rsi     # 0x2825c
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
movq %rbp, %rsi
callq 0x40b0
leaq 0x1d716(%rip), %rsi     # 0x2a418
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
callq 0x4130
leaq 0x1e004(%rip), %rbx     # 0x2ad1d
movq %r14, %rdi
movq %rbx, %rsi
callq 0x42d0
leaq 0x1ca10(%rip), %rsi     # 0x2973b
movq %rax, %rdi
callq 0x42d0
pushq $0x78
popq %rbp
movq %rax, %rdi
movl %ebp, %esi
callq 0x45d0
movq %rax, %rdi
callq 0x4130
leaq 0x1c8cc(%rip), %rdi     # 0x2961b
leaq 0x1ea80(%rip), %rcx     # 0x2b7d6
movq %rbx, %rsi
movl %ebp, %edx
callq 0x4190
movq 0x27251(%rip), %r15     # 0x33fb8
leaq 0x1b519(%rip), %rsi     # 0x28287
movq %r15, %rdi
callq 0x42d0
movq 0x8(%rsp), %rcx
leaq (%rcx,%rbx), %rsi
decq %rsi
movq %rax, %rdi
callq 0x40b0
leaq 0x1b50c(%rip), %rsi     # 0x2829d
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
movq 0x50(%rsp), %rsi
callq 0x40b0
leaq 0x1d66b(%rip), %rsi     # 0x2a418
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
callq 0x4130
leaq 0x1df59(%rip), %r14     # 0x2ad1d
movq %r15, %rdi
movq %r14, %rsi
callq 0x42d0
leaq 0x1c965(%rip), %rsi     # 0x2973b
movq %rax, %rdi
callq 0x42d0
pushq $0x7a
jmp 0xce65
movq 0x271cc(%rip), %r15     # 0x33fb8
movq %rax, %r14
leaq 0x1b491(%rip), %rsi     # 0x28287
movq %r15, %rdi
callq 0x42d0
movq (%rsp), %rcx
leaq (%rcx,%rbx), %rsi
decq %rsi
movq %rax, %rdi
callq 0x40b0
leaq 0x1b485(%rip), %rsi     # 0x2829d
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
movq %r14, %rsi
callq 0x40b0
leaq 0x1d5e6(%rip), %rsi     # 0x2a418
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
callq 0x4130
leaq 0x1ded4(%rip), %r14     # 0x2ad1d
movq %r15, %rdi
movq %r14, %rsi
callq 0x42d0
leaq 0x1c8e0(%rip), %rsi     # 0x2973b
movq %rax, %rdi
callq 0x42d0
pushq $0x79
popq %rbx
movq %rax, %rdi
movl %ebx, %esi
callq 0x45d0
movq %rax, %rdi
callq 0x4130
leaq 0x1c79c(%rip), %rdi     # 0x2961b
leaq 0x1e950(%rip), %rcx     # 0x2b7d6
movq %r14, %rsi
movl %ebx, %edx
callq 0x4190
movq 0x27121(%rip), %r14     # 0x33fb8
leaq 0x1b3a7(%rip), %rsi     # 0x28245
movq %r14, %rdi
callq 0x42d0
movq %rax, %rdi
movq %r13, %rsi
callq 0x40b0
leaq 0x1b3a4(%rip), %rsi     # 0x2825c
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
movq %rbp, %rsi
callq 0x40b0
leaq 0x1d546(%rip), %rsi     # 0x2a418
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
callq 0x4130
leaq 0x1de34(%rip), %rbx     # 0x2ad1d
movq %r14, %rdi
movq %rbx, %rsi
callq 0x42d0
leaq 0x1c840(%rip), %rsi     # 0x2973b
movq %rax, %rdi
callq 0x42d0
pushq $0x6f
jmp 0xcd35
movq 0x270a7(%rip), %r14     # 0x33fb8
leaq 0x1b32d(%rip), %rsi     # 0x28245
movq %r14, %rdi
callq 0x42d0
movq %rax, %rdi
movq %r12, %rsi
callq 0x40b0
leaq 0x1b32a(%rip), %rsi     # 0x2825c
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
movq %rbp, %rsi
callq 0x40b0
leaq 0x1d4cc(%rip), %rsi     # 0x2a418
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
callq 0x4130
leaq 0x1ddba(%rip), %rbx     # 0x2ad1d
movq %r14, %rdi
movq %rbx, %rsi
callq 0x42d0
leaq 0x1c7c6(%rip), %rsi     # 0x2973b
movq %rax, %rdi
callq 0x42d0
pushq $0x70
jmp 0xcd35
movq 0x2702d(%rip), %rbx     # 0x33fb8
leaq 0x1b2f5(%rip), %rsi     # 0x28287
movq %rbx, %rdi
callq 0x42d0
movq %rax, %rdi
movq %r13, %rsi
callq 0x40b0
leaq 0x1b2f1(%rip), %rsi     # 0x2829d
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
movq %r14, %rsi
callq 0x40b0
leaq 0x1d452(%rip), %rsi     # 0x2a418
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
callq 0x4130
leaq 0x1dd40(%rip), %r14     # 0x2ad1d
movq %rbx, %rdi
movq %r14, %rsi
callq 0x42d0
leaq 0x1c74c(%rip), %rsi     # 0x2973b
movq %rax, %rdi
callq 0x42d0
pushq $0x71
jmp 0xce65
movq 0x26fb3(%rip), %rbx     # 0x33fb8
leaq 0x1b27b(%rip), %rsi     # 0x28287
movq %rbx, %rdi
callq 0x42d0
movq %rax, %rdi
movq %r12, %rsi
callq 0x40b0
leaq 0x1b277(%rip), %rsi     # 0x2829d
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
movq 0x50(%rsp), %rsi
callq 0x40b0
leaq 0x1d3d6(%rip), %rsi     # 0x2a418
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
callq 0x4130
leaq 0x1dcc4(%rip), %r14     # 0x2ad1d
movq %rbx, %rdi
movq %r14, %rsi
callq 0x42d0
leaq 0x1c6d0(%rip), %rsi     # 0x2973b
movq %rax, %rdi
callq 0x42d0
pushq $0x72
jmp 0xce65