// File: /workspace/github_c_makefile_star2_O3/nh13[P]ksw/src/parasail/tests/test_verify_cigars.c
// Function: check_functions
static void check_functions(
        parasail_function_group_t f,
        parasail_sequences_t *sequences,
        unsigned long pair_limit_,
        const parasail_matrix_t *matrix_,
        gap_score_t gap)
{
    const parasail_function_info_t *functions = f.fs;
    unsigned long matrix_index = 0;
    unsigned long gap_index = 0;
    unsigned long function_index = 0;
    long long pair_index = 0;
    long long pair_limit = (long long)pair_limit_;
    parasail_function_t *reference_function = NULL;
    const parasail_matrix_t ** matrices = parasail_matrices;
    const parasail_matrix_t * single_matrix[] = {
        matrix_,
        NULL
    };

    if (NULL != matrix_) {
        matrices = single_matrix;
    }

    printf("checking %s functions\n", f.name);
    for (matrix_index=0; NULL!=matrices[matrix_index]; ++matrix_index) {
        const parasail_matrix_t *matrix = matrices[matrix_index];
        const char *matrixname = matrix->name;
        if (verbose) printf("\t%s\n", matrixname);
        for (gap_index=0; INT_MIN!=gap_scores[gap_index].open; ++gap_index) {
            int open = gap_scores[gap_index].open;
            int extend = gap_scores[gap_index].extend;
            if (gap.open != INT_MIN && gap.extend != INT_MIN) {
                open = gap.open;
                extend = gap.extend;
            }
            if (verbose) printf("\t\topen=%d extend=%d ref=%s\n", open, extend, functions[0].name);
            reference_function = functions[0].pointer;
            for (function_index=1;
                    NULL!=functions[function_index].pointer;
                    ++function_index) {
				unsigned long saturated = 0;
                if (verbose) printf("\t\t\t%s\n", functions[function_index].name);
#pragma omp parallel for
                for (pair_index=0; pair_index<pair_limit; ++pair_index) {
                    parasail_result_t *reference_result = NULL;
                    parasail_result_t *result = NULL;
                    unsigned long a = 0;
                    unsigned long b = 1;
                    parasail_cigar_t *ref_cigar = NULL;
                    parasail_cigar_t *tst_cigar = NULL;
                    char *ref_cigar_str = NULL;
                    char *tst_cigar_str = NULL;
                    size_t size_a = 0;
                    size_t size_b = 0;
                    k_combination2(pair_index, &a, &b);
                    size_a = sequences->seqs[a].seq.l;
                    size_b = sequences->seqs[b].seq.l;
                    if (verbose) printf("\t\t\t\tpair=%lld (%lu,%lu)\n", pair_index, a, b);
                    reference_result = reference_function(
                            sequences->seqs[a].seq.s, size_a,
                            sequences->seqs[b].seq.s, size_b,
                            open, extend,
                            matrix);
                    result = functions[function_index].pointer(
                            sequences->seqs[a].seq.s, size_a,
                            sequences->seqs[b].seq.s, size_b,
                            open, extend,
                            matrix);
                    if (parasail_result_is_saturated(result)) {
                        /* no point in comparing a result that saturated */
                        parasail_result_free(reference_result);
                        parasail_result_free(result);
#pragma omp atomic
                        saturated += 1;
                        continue;
                    }
                    ref_cigar = parasail_result_get_cigar(reference_result,
                            sequences->seqs[a].seq.s, size_a,
                            sequences->seqs[b].seq.s, size_b,
                            matrix);
                    if (NULL == ref_cigar) {
#pragma omp critical(printer)
                        {
                            printf("%s(%lu,%lu,%d,%d,%s) invalid ref cigar\n",
                                    functions[function_index].name,
                                    a, b, open, extend,
                                    matrixname);
                        }
                        parasail_result_free(reference_result);
                        parasail_result_free(result);
                        continue;
                    }
                    tst_cigar = parasail_result_get_cigar(result,
                            sequences->seqs[a].seq.s, size_a,
                            sequences->seqs[b].seq.s, size_b,
                            matrix);
                    if (NULL == tst_cigar) {
#pragma omp critical(printer)
                        {
                            printf("%s(%lu,%lu,%d,%d,%s) invalid test cigar\n",
                                    functions[function_index].name,
                                    a, b, open, extend,
                                    matrixname);
                        }
                        parasail_cigar_free(ref_cigar);
                        parasail_result_free(reference_result);
                        parasail_result_free(result);
                        continue;
                    }
                    ref_cigar_str = parasail_cigar_decode(ref_cigar);
                    tst_cigar_str = parasail_cigar_decode(tst_cigar);
                    if (reference_result->score != result->score) {
#pragma omp critical(printer)
                        {
                            printf("%s(%lu,%lu,%d,%d,%s) wrong score (%d!=%d)\n",
                                    functions[function_index].name,
                                    a, b, open, extend,
                                    matrixname,
                                    reference_result->score, result->score);
                        }
                    }
                    if (reference_result->end_query != result->end_query) {
#pragma omp critical(printer)
                        {
                            printf("%s(%lu,%lu,%d,%d,%s) wrong end_query (%d!=%d)\n",
                                    functions[function_index].name,
                                    a, b, open, extend,
                                    matrixname,
                                    reference_result->end_query, result->end_query);
                        }
                    }
                    if (reference_result->end_ref != result->end_ref) {
#pragma omp critical(printer)
                        {
                            printf("%s(%lu,%lu,%d,%d,%s) wrong end_ref (%d!=%d)\n",
                                    functions[function_index].name,
                                    a, b, open, extend,
                                    matrixname,
                                    reference_result->end_ref, result->end_ref);
                        }
                    }
                    if (ref_cigar->len != tst_cigar->len) {
#pragma omp critical(printer)
                        {
                            printf("%s(%lu,%lu,%d,%d,%s) wrong cigar len (%d!=%d)\n",
                                    functions[function_index].name,
                                    a, b, open, extend,
                                    matrixname,
                                    ref_cigar->len, tst_cigar->len);
                        }
                    }
                    if (ref_cigar->beg_query != tst_cigar->beg_query) {
#pragma omp critical(printer)
                        {
                            printf("%s(%lu,%lu,%d,%d,%s) wrong cigar beg_query (%d!=%d)\n",
                                    functions[function_index].name,
                                    a, b, open, extend,
                                    matrixname,
                                    ref_cigar->beg_query, tst_cigar->beg_query);
                        }
                    }
                    if (ref_cigar->beg_ref != tst_cigar->beg_ref) {
#pragma omp critical(printer)
                        {
                            printf("%s(%lu,%lu,%d,%d,%s) wrong cigar beg_ref (%d!=%d)\n",
                                    functions[function_index].name,
                                    a, b, open, extend,
                                    matrixname,
                                    ref_cigar->beg_ref, tst_cigar->beg_ref);
                        }
                    }
                    if (diff_cigar(ref_cigar->seq, tst_cigar->seq, ref_cigar->len, tst_cigar->len)) {
#pragma omp critical(printer)
                        {
                            printf("%s(%lu,%lu,%d,%d,%s) bad cigar seq\n",
                                    functions[function_index].name,
                                    a, b, open, extend,
                                    matrixname);
                        }
                    }
                    free(ref_cigar_str);
                    free(tst_cigar_str);
                    parasail_cigar_free(ref_cigar);
                    parasail_cigar_free(tst_cigar);
                    parasail_result_free(reference_result);
                    parasail_result_free(result);
                }
                if (verbose && saturated) {
                    printf("%s %d %d %s saturated %lu times\n",
                            functions[function_index].name,
                            open, extend,
                            matrixname,
                            saturated);
                }
            }
            if (gap.open != INT_MIN && gap.extend != INT_MIN) {
                /* user-specified gap, don't loop */
                break;
            }
        }
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xe8, %rsp
movq %r9, 0x80(%rsp)
movq %rcx, 0x88(%rsp)
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %rsi
leaq 0xd0(%rsp), %rax
movq %r8, (%rax)
movq $0x0, 0x8(%rax)
testq %r8, %r8
leaq 0x50f2c2(%rip), %r15    # 0x694320
cmovneq %rax, %r15
leaq 0x3dab00(%rip), %rdi    # 0x55fb69
xorl %eax, %eax
callq 0x129040
movq %r15, 0x98(%rsp)
movq (%r15), %rdx
testq %rdx, %rdx
je 0x18585e
movq 0x80(%rsp), %rax
movq %rax, %rcx
shrq $0x20, %rcx
negl %eax
setno %al
movq %rcx, 0xb0(%rsp)
cmpl $0x80000000, %ecx       # imm = 0x80000000
setne %cl
andb %al, %cl
movb %cl, 0xf(%rsp)
leaq 0x48(%r14), %rax
movq %rax, 0xa8(%rsp)
movb 0x52412b(%rip), %al     # 0x6a91ec
movl %eax, %ecx
xorl %edi, %edi
movq %r14, 0xb8(%rsp)
movq %rbx, 0x30(%rsp)
movq %rdx, 0xc0(%rsp)
movq (%rdx), %rsi
testb $0x1, %cl
movq %rsi, 0x50(%rsp)
movq %rdi, 0xa0(%rsp)
je 0x185107
leaq 0x3daaa8(%rip), %rdi    # 0x55fb9e
xorl %eax, %eax
callq 0x129040
movb 0x5240e9(%rip), %al     # 0x6a91ec
movl %eax, %ecx
jmp 0x185109
xorl %ecx, %ecx
movl 0x512021(%rip), %esi    # 0x697130
movl %esi, %edx
negl %edx
jo 0x18583d
movl %eax, %ecx
movl %eax, %edx
leaq 0x51200c(%rip), %rdi    # 0x697130
xorl %r15d, %r15d
movq 0x80(%rsp), %r8
movl %r8d, 0x8(%rsp)
movq 0xb0(%rsp), %r8
movl %r8d, 0x4(%rsp)
cmpb $0x0, 0xf(%rsp)
jne 0x185153
movl 0x4(%rdi), %edi
movl %edi, 0x4(%rsp)
movl %esi, 0x8(%rsp)
testb $0x1, %dl
je 0x18517e
movq 0x8(%r14), %rcx
leaq 0x3daa1d(%rip), %rdi    # 0x55fb80
movl 0x8(%rsp), %esi
movl 0x4(%rsp), %edx
xorl %eax, %eax
callq 0x129040
movb 0x524074(%rip), %al     # 0x6a91ec
movl %eax, %ecx
movl %eax, %edx
jmp 0x185180
xorl %edx, %edx
cmpq $0x0, 0x48(%r14)
je 0x185816
movq (%r14), %rax
movq %rax, 0xc8(%rsp)
movl $0x1, %r12d
movl %ecx, %eax
movq 0xa8(%rsp), %rcx
movq %rcx, 0x10(%rsp)
movq %r15, 0x58(%rsp)
testb $0x1, %al
je 0x1851cb
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rsi
leaq 0x3da9d8(%rip), %rdi    # 0x55fb9c
xorl %eax, %eax
callq 0x129040
cmpq $0x0, 0x88(%rsp)
jle 0x1857f2
xorl %r9d, %r9d
xorl %ebp, %ebp
movq %r12, 0x60(%rsp)
cvtsi2sd %rbp, %xmm0
movsd %xmm0, 0x40(%rsp)
addsd %xmm0, %xmm0
ucomisd 0x3da865(%rip), %xmm0   # 0x55fa60
movq %r9, 0x70(%rsp)
jb 0x185208
sqrtsd %xmm0, %xmm0
jmp 0x18520d
callq 0x1290f0
callq 0x129200
movsd 0x3da826(%rip), %xmm2   # 0x55fa40
addsd %xmm2, %xmm0
movsd 0x3da822(%rip), %xmm3   # 0x55fa48
movapd %xmm3, %xmm1
maxsd %xmm0, %xmm1
movapd %xmm1, %xmm0
addsd %xmm2, %xmm0
mulsd %xmm1, %xmm0
mulsd 0x3da80e(%rip), %xmm0   # 0x55fa50
movsd 0x40(%rsp), %xmm4
movapd %xmm4, %xmm2
subsd %xmm0, %xmm2
ucomisd %xmm1, %xmm2
jb 0x185260
addsd %xmm1, %xmm0
addsd %xmm3, %xmm1
jmp 0x185248
cvttsd2si %xmm2, %rax
movsd 0x3da7eb(%rip), %xmm0   # 0x55fa58
subsd %xmm0, %xmm2
cvttsd2si %xmm2, %rcx
movq %rax, %r14
sarq $0x3f, %r14
andq %rcx, %r14
orq %rax, %r14
cvttsd2si %xmm1, %rax
subsd %xmm0, %xmm1
cvttsd2si %xmm1, %rcx
movq %rax, %r15
sarq $0x3f, %r15
andq %rcx, %r15
orq %rax, %r15
movq (%rbx), %rax
movq %r14, %r12
shlq $0x6, %r12
movq 0x20(%rax,%r12), %r13
movq %r15, %rbx
shlq $0x6, %rbx
movq 0x20(%rax,%rbx), %rcx
cmpb $0x1, 0x523f2c(%rip)    # 0x6a91ec
movq %r13, 0x48(%rsp)
jne 0x1852f1
leaq 0x3da8d5(%rip), %rdi    # 0x55fba3
movq %rbp, %rsi
movq %r14, %rdx
movq %rcx, %r13
movq %r15, %rcx
xorl %eax, %eax
callq 0x129040
movq %r13, %rcx
movq 0x48(%rsp), %r13
movq 0x30(%rsp), %rax
movq (%rax), %rax
movq %r15, 0x18(%rsp)
movq %r14, 0x20(%rsp)
movq %rbp, 0x90(%rsp)
movq 0x28(%rax,%r12), %rdi
movq 0x28(%rax,%rbx), %rdx
subq $0x8, %rsp
movq %r13, %r14
movl %r14d, %esi
movq %rcx, %r13
movl 0x10(%rsp), %r15d
movl %r15d, %r8d
movl 0xc(%rsp), %ebp
movl %ebp, %r9d
movq %rbx, 0x40(%rsp)
movq 0xc8(%rsp), %rbx
pushq %rbx
callq *0xd8(%rsp)
addq $0x10, %rsp
movq %rax, 0x40(%rsp)
movq 0x30(%rsp), %rax
movq (%rax), %rax
movq %r12, 0x78(%rsp)
movq 0x28(%rax,%r12), %rdi
movq 0x38(%rsp), %r12
movq 0x28(%rax,%r12), %rdx
subq $0x8, %rsp
movl %r14d, %esi
movq %rbx, %r14
movq %r13, 0x70(%rsp)
movl %r13d, %ecx
movl %r15d, %r8d
movl %ebp, %r9d
pushq %rbx
movq 0x20(%rsp), %rax
callq *(%rax)
addq $0x10, %rsp
movq %rax, %r15
movq %rax, %rdi
callq 0x18bdaa
testl %eax, %eax
je 0x1853cc
movq 0x40(%rsp), %rdi
callq 0x18af38
movq %r15, %rdi
callq 0x18af38
movq 0x70(%rsp), %r9
incq %r9
movq 0x30(%rsp), %rbx
movq 0x58(%rsp), %r15
movq 0x60(%rsp), %r12
movq 0x90(%rsp), %rbp
jmp 0x18579c
movq 0x30(%rsp), %rax
movq (%rax), %rax
movq 0x78(%rsp), %rbx
movq 0x28(%rax,%rbx), %rsi
movq 0x28(%rax,%r12), %rcx
movq 0x40(%rsp), %rdi
movq 0x48(%rsp), %r13
movl %r13d, %edx
movq 0x68(%rsp), %r8
movq %r14, %r9
callq 0x18a353
movq %rax, 0x28(%rsp)
testq %rax, %rax
movq 0x90(%rsp), %rbp
je 0x18568b
movq 0x30(%rsp), %rax
movq (%rax), %rax
movq 0x28(%rax,%rbx), %rsi
movq 0x28(%rax,%r12), %rcx
movq %r15, %rdi
movl %r13d, %edx
movq 0x68(%rsp), %r8
movq %r14, %r9
callq 0x18a353
testq %rax, %rax
je 0x1856c4
movq %rax, %rbx
movq 0x28(%rsp), %rdi
callq 0x1859b5
movq %rax, 0x68(%rsp)
movq %rbx, 0x38(%rsp)
movq %rbx, %rdi
callq 0x1859b5
movq %rax, 0x78(%rsp)
movq 0x40(%rsp), %r13
movl (%r13), %r10d
movq %r15, 0x48(%rsp)
movl (%r15), %r11d
cmpl %r11d, %r10d
movq 0x50(%rsp), %r14
movq 0x58(%rsp), %r15
movq 0x60(%rsp), %r12
je 0x1854c3
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rsi
subq $0x8, %rsp
leaq 0x3da76f(%rip), %rdi    # 0x55fc0d
movq 0x28(%rsp), %rdx
movq 0x20(%rsp), %rcx
movl 0x10(%rsp), %r8d
movl 0xc(%rsp), %r9d
xorl %eax, %eax
pushq %r11
pushq %r10
pushq %r14
callq 0x129040
addq $0x20, %rsp
movl 0x4(%r13), %r10d
movq 0x48(%rsp), %rax
movl 0x4(%rax), %r11d
cmpl %r11d, %r10d
movq 0x30(%rsp), %rbx
je 0x185513
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rsi
subq $0x8, %rsp
leaq 0x3da74a(%rip), %rdi    # 0x55fc38
movq 0x28(%rsp), %rdx
movq 0x20(%rsp), %rcx
movl 0x10(%rsp), %r8d
movl 0xc(%rsp), %r9d
xorl %eax, %eax
pushq %r11
pushq %r10
pushq %r14
callq 0x129040
addq $0x20, %rsp
movl 0x8(%r13), %r10d
movq 0x48(%rsp), %rax
movl 0x8(%rax), %r11d
cmpl %r11d, %r10d
je 0x18555e
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rsi
subq $0x8, %rsp
leaq 0x3da72e(%rip), %rdi    # 0x55fc67
movq 0x28(%rsp), %rdx
movq 0x20(%rsp), %rcx
movl 0x10(%rsp), %r8d
movl 0xc(%rsp), %r9d
xorl %eax, %eax
pushq %r11
pushq %r10
pushq %r14
callq 0x129040
addq $0x20, %rsp
movq 0x28(%rsp), %rax
movl 0x8(%rax), %r10d
movq 0x38(%rsp), %rcx
movl 0x8(%rcx), %r11d
cmpl %r11d, %r10d
je 0x1855b3
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rsi
subq $0x8, %rsp
leaq 0x3da70b(%rip), %rdi    # 0x55fc94
movq 0x28(%rsp), %rdx
movq 0x20(%rsp), %rcx
movl 0x10(%rsp), %r8d
movl 0xc(%rsp), %r9d
xorl %eax, %eax
pushq %r11
pushq %r10
pushq %r14
callq 0x129040
movq 0x58(%rsp), %rcx
addq $0x20, %rsp
movq 0x28(%rsp), %rax
movl 0xc(%rax), %r10d
movl 0xc(%rcx), %r11d
cmpl %r11d, %r10d
je 0x185603
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rsi
subq $0x8, %rsp
leaq 0x3da6ea(%rip), %rdi    # 0x55fcc3
movq 0x28(%rsp), %rdx
movq 0x20(%rsp), %rcx
movl 0x10(%rsp), %r8d
movl 0xc(%rsp), %r9d
xorl %eax, %eax
pushq %r11
pushq %r10
pushq %r14
callq 0x129040
movq 0x58(%rsp), %rcx
addq $0x20, %rsp
movq 0x28(%rsp), %rax
movl 0x10(%rax), %r10d
movl 0x10(%rcx), %r11d
cmpl %r11d, %r10d
je 0x18564e
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rsi
subq $0x8, %rsp
leaq 0x3da6cf(%rip), %rdi    # 0x55fcf8
movq 0x28(%rsp), %rdx
movq 0x20(%rsp), %rcx
movl 0x10(%rsp), %r8d
movl 0xc(%rsp), %r9d
xorl %eax, %eax
pushq %r11
pushq %r10
pushq %r14
callq 0x129040
addq $0x20, %rsp
movq 0x28(%rsp), %rax
movslq 0x8(%rax), %rax
testq %rax, %rax
jle 0x18575d
movq 0x28(%rsp), %rcx
movq (%rcx), %rcx
movq 0x38(%rsp), %rdx
movq (%rdx), %rdx
xorl %esi, %esi
movl (%rcx,%rsi,4), %edi
cmpl (%rdx,%rsi,4), %edi
jne 0x185728
incq %rsi
cmpq %rsi, %rax
jne 0x185672
jmp 0x18575d
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rsi
subq $0x8, %rsp
leaq 0x3da51d(%rip), %rdi    # 0x55fbbc
movq 0x28(%rsp), %rdx
movq 0x20(%rsp), %rcx
movl 0x10(%rsp), %r8d
movl 0xc(%rsp), %r9d
xorl %eax, %eax
pushq 0x58(%rsp)
callq 0x129040
addq $0x10, %rsp
jmp 0x185705
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rsi
subq $0x8, %rsp
leaq 0x3da50c(%rip), %rdi    # 0x55fbe4
movq 0x28(%rsp), %rdx
movq 0x20(%rsp), %rcx
movl 0x10(%rsp), %r8d
movl 0xc(%rsp), %r9d
xorl %eax, %eax
pushq 0x58(%rsp)
callq 0x129040
addq $0x10, %rsp
movq 0x28(%rsp), %rdi
callq 0x185985
movq 0x40(%rsp), %rdi
callq 0x18af38
movq %r15, %rdi
callq 0x18af38
movq 0x30(%rsp), %rbx
movq 0x58(%rsp), %r15
movq 0x60(%rsp), %r12
jmp 0x185797
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rsi
subq $0x8, %rsp
leaq 0x3da5ef(%rip), %rdi    # 0x55fd2b
movq 0x28(%rsp), %rdx
movq 0x20(%rsp), %rcx
movl 0x10(%rsp), %r8d
movl 0xc(%rsp), %r9d
xorl %eax, %eax
pushq %r14
callq 0x129040
addq $0x10, %rsp
movq 0x68(%rsp), %rdi
callq 0x129170
movq 0x78(%rsp), %rdi
callq 0x129170
movq 0x28(%rsp), %rdi
callq 0x185985
movq 0x38(%rsp), %rdi
callq 0x185985
movq %r13, %rdi
callq 0x18af38
movq 0x48(%rsp), %rdi
callq 0x18af38
movq 0x70(%rsp), %r9
movq %rbp, %rax
incq %rax
movq %rax, %rbp
cmpq 0x88(%rsp), %rax
movq 0xb8(%rsp), %r14
jne 0x1851e4
movb 0x523a2b(%rip), %al     # 0x6a91ec
testq %r9, %r9
setne %cl
andb %al, %cl
cmpb $0x1, %cl
jne 0x1857f8
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rsi
leaq 0x3da571(%rip), %rdi    # 0x55fd4f
movl 0x8(%rsp), %edx
movl 0x4(%rsp), %ecx
movq 0x50(%rsp), %r8
xorl %eax, %eax
callq 0x129040
movb 0x5239f4(%rip), %al     # 0x6a91ec
incq %r12
leaq (%r12,%r12,8), %rcx
leaq (%r14,%rcx,8), %rcx
movq %rcx, 0x10(%rsp)
cmpq $0x0, (%rcx)
movl %eax, %ecx
movl %eax, %edx
jne 0x1851b0
cmpb $0x0, 0xf(%rsp)
jne 0x18583d
leaq 0x51190c(%rip), %rsi    # 0x697130
leaq (%rsi,%r15,8), %rdi
addq $0x8, %rdi
incq %r15
movl (%rdi), %esi
movl %esi, %r8d
negl %r8d
jno 0x185127
movq 0x98(%rsp), %rdx
movq 0xa0(%rsp), %rdi
movq 0x8(%rdx,%rdi,8), %rdx
incq %rdi
testq %rdx, %rdx
jne 0x1850d2
addq $0xe8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq