// File: /workspace/github_c_makefile_star2_O0/nh13[P]ksw/src/parasail/src/nw_diag_sse2_128_16.c
// Function: arr_store_si128
static inline void arr_store_si128(
        int *array,
        __m128i vWH,
        int32_t i,
        int32_t s1Len,
        int32_t j,
        int32_t s2Len)
{
    if (0 <= i+0 && i+0 < s1Len && 0 <= j-0 && j-0 < s2Len) {
        array[1LL*(i+0)*s2Len + (j-0)] = (int16_t)_mm_extract_epi16(vWH, 7);
    }
    if (0 <= i+1 && i+1 < s1Len && 0 <= j-1 && j-1 < s2Len) {
        array[1LL*(i+1)*s2Len + (j-1)] = (int16_t)_mm_extract_epi16(vWH, 6);
    }
    if (0 <= i+2 && i+2 < s1Len && 0 <= j-2 && j-2 < s2Len) {
        array[1LL*(i+2)*s2Len + (j-2)] = (int16_t)_mm_extract_epi16(vWH, 5);
    }
    if (0 <= i+3 && i+3 < s1Len && 0 <= j-3 && j-3 < s2Len) {
        array[1LL*(i+3)*s2Len + (j-3)] = (int16_t)_mm_extract_epi16(vWH, 4);
    }
    if (0 <= i+4 && i+4 < s1Len && 0 <= j-4 && j-4 < s2Len) {
        array[1LL*(i+4)*s2Len + (j-4)] = (int16_t)_mm_extract_epi16(vWH, 3);
    }
    if (0 <= i+5 && i+5 < s1Len && 0 <= j-5 && j-5 < s2Len) {
        array[1LL*(i+5)*s2Len + (j-5)] = (int16_t)_mm_extract_epi16(vWH, 2);
    }
    if (0 <= i+6 && i+6 < s1Len && 0 <= j-6 && j-6 < s2Len) {
        array[1LL*(i+6)*s2Len + (j-6)] = (int16_t)_mm_extract_epi16(vWH, 1);
    }
    if (0 <= i+7 && i+7 < s1Len && 0 <= j-7 && j-7 < s2Len) {
        array[1LL*(i+7)*s2Len + (j-7)] = (int16_t)_mm_extract_epi16(vWH, 0);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movdqa %xmm0, -0x20(%rbp)
movl %esi, -0x24(%rbp)
movl %edx, -0x28(%rbp)
movl %ecx, -0x2c(%rbp)
movl %r8d, -0x30(%rbp)
movl -0x24(%rbp), %ecx
addl $0x0, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aad2f
movl -0x24(%rbp), %eax
addl $0x0, %eax
cmpl -0x28(%rbp), %eax
jge 0x3aad2f
movl -0x2c(%rbp), %ecx
subl $0x0, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aad2f
movl -0x2c(%rbp), %eax
subl $0x0, %eax
cmpl -0x30(%rbp), %eax
jge 0x3aad2f
movaps -0x20(%rbp), %xmm0
pextrw $0x7, %xmm0, %eax
movzwl %ax, %eax
movswl %ax, %edx
movq -0x8(%rbp), %rax
movl -0x24(%rbp), %ecx
addl $0x0, %ecx
movslq %ecx, %rcx
shlq $0x0, %rcx
movslq -0x30(%rbp), %rsi
imulq %rsi, %rcx
movl -0x2c(%rbp), %esi
subl $0x0, %esi
movslq %esi, %rsi
addq %rsi, %rcx
movl %edx, (%rax,%rcx,4)
movl -0x24(%rbp), %ecx
addl $0x1, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aad94
movl -0x24(%rbp), %eax
addl $0x1, %eax
cmpl -0x28(%rbp), %eax
jge 0x3aad94
movl -0x2c(%rbp), %ecx
subl $0x1, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aad94
movl -0x2c(%rbp), %eax
subl $0x1, %eax
cmpl -0x30(%rbp), %eax
jge 0x3aad94
movaps -0x20(%rbp), %xmm0
pextrw $0x6, %xmm0, %eax
movzwl %ax, %eax
movswl %ax, %edx
movq -0x8(%rbp), %rax
movl -0x24(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
shlq $0x0, %rcx
movslq -0x30(%rbp), %rsi
imulq %rsi, %rcx
movl -0x2c(%rbp), %esi
subl $0x1, %esi
movslq %esi, %rsi
addq %rsi, %rcx
movl %edx, (%rax,%rcx,4)
movl -0x24(%rbp), %ecx
addl $0x2, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aadf9
movl -0x24(%rbp), %eax
addl $0x2, %eax
cmpl -0x28(%rbp), %eax
jge 0x3aadf9
movl -0x2c(%rbp), %ecx
subl $0x2, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aadf9
movl -0x2c(%rbp), %eax
subl $0x2, %eax
cmpl -0x30(%rbp), %eax
jge 0x3aadf9
movaps -0x20(%rbp), %xmm0
pextrw $0x5, %xmm0, %eax
movzwl %ax, %eax
movswl %ax, %edx
movq -0x8(%rbp), %rax
movl -0x24(%rbp), %ecx
addl $0x2, %ecx
movslq %ecx, %rcx
shlq $0x0, %rcx
movslq -0x30(%rbp), %rsi
imulq %rsi, %rcx
movl -0x2c(%rbp), %esi
subl $0x2, %esi
movslq %esi, %rsi
addq %rsi, %rcx
movl %edx, (%rax,%rcx,4)
movl -0x24(%rbp), %ecx
addl $0x3, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aae5e
movl -0x24(%rbp), %eax
addl $0x3, %eax
cmpl -0x28(%rbp), %eax
jge 0x3aae5e
movl -0x2c(%rbp), %ecx
subl $0x3, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aae5e
movl -0x2c(%rbp), %eax
subl $0x3, %eax
cmpl -0x30(%rbp), %eax
jge 0x3aae5e
movaps -0x20(%rbp), %xmm0
pextrw $0x4, %xmm0, %eax
movzwl %ax, %eax
movswl %ax, %edx
movq -0x8(%rbp), %rax
movl -0x24(%rbp), %ecx
addl $0x3, %ecx
movslq %ecx, %rcx
shlq $0x0, %rcx
movslq -0x30(%rbp), %rsi
imulq %rsi, %rcx
movl -0x2c(%rbp), %esi
subl $0x3, %esi
movslq %esi, %rsi
addq %rsi, %rcx
movl %edx, (%rax,%rcx,4)
movl -0x24(%rbp), %ecx
addl $0x4, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aaec3
movl -0x24(%rbp), %eax
addl $0x4, %eax
cmpl -0x28(%rbp), %eax
jge 0x3aaec3
movl -0x2c(%rbp), %ecx
subl $0x4, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aaec3
movl -0x2c(%rbp), %eax
subl $0x4, %eax
cmpl -0x30(%rbp), %eax
jge 0x3aaec3
movaps -0x20(%rbp), %xmm0
pextrw $0x3, %xmm0, %eax
movzwl %ax, %eax
movswl %ax, %edx
movq -0x8(%rbp), %rax
movl -0x24(%rbp), %ecx
addl $0x4, %ecx
movslq %ecx, %rcx
shlq $0x0, %rcx
movslq -0x30(%rbp), %rsi
imulq %rsi, %rcx
movl -0x2c(%rbp), %esi
subl $0x4, %esi
movslq %esi, %rsi
addq %rsi, %rcx
movl %edx, (%rax,%rcx,4)
movl -0x24(%rbp), %ecx
addl $0x5, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aaf28
movl -0x24(%rbp), %eax
addl $0x5, %eax
cmpl -0x28(%rbp), %eax
jge 0x3aaf28
movl -0x2c(%rbp), %ecx
subl $0x5, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aaf28
movl -0x2c(%rbp), %eax
subl $0x5, %eax
cmpl -0x30(%rbp), %eax
jge 0x3aaf28
movaps -0x20(%rbp), %xmm0
pextrw $0x2, %xmm0, %eax
movzwl %ax, %eax
movswl %ax, %edx
movq -0x8(%rbp), %rax
movl -0x24(%rbp), %ecx
addl $0x5, %ecx
movslq %ecx, %rcx
shlq $0x0, %rcx
movslq -0x30(%rbp), %rsi
imulq %rsi, %rcx
movl -0x2c(%rbp), %esi
subl $0x5, %esi
movslq %esi, %rsi
addq %rsi, %rcx
movl %edx, (%rax,%rcx,4)
movl -0x24(%rbp), %ecx
addl $0x6, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aaf8d
movl -0x24(%rbp), %eax
addl $0x6, %eax
cmpl -0x28(%rbp), %eax
jge 0x3aaf8d
movl -0x2c(%rbp), %ecx
subl $0x6, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aaf8d
movl -0x2c(%rbp), %eax
subl $0x6, %eax
cmpl -0x30(%rbp), %eax
jge 0x3aaf8d
movaps -0x20(%rbp), %xmm0
pextrw $0x1, %xmm0, %eax
movzwl %ax, %eax
movswl %ax, %edx
movq -0x8(%rbp), %rax
movl -0x24(%rbp), %ecx
addl $0x6, %ecx
movslq %ecx, %rcx
shlq $0x0, %rcx
movslq -0x30(%rbp), %rsi
imulq %rsi, %rcx
movl -0x2c(%rbp), %esi
subl $0x6, %esi
movslq %esi, %rsi
addq %rsi, %rcx
movl %edx, (%rax,%rcx,4)
movl -0x24(%rbp), %ecx
addl $0x7, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aafec
movl -0x24(%rbp), %eax
addl $0x7, %eax
cmpl -0x28(%rbp), %eax
jge 0x3aafec
movl -0x2c(%rbp), %ecx
subl $0x7, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0x3aafec
movl -0x2c(%rbp), %eax
subl $0x7, %eax
cmpl -0x30(%rbp), %eax
jge 0x3aafec
movl -0x20(%rbp), %eax
movzwl %ax, %eax
movswl %ax, %edx
movq -0x8(%rbp), %rax
movl -0x24(%rbp), %ecx
addl $0x7, %ecx
movslq %ecx, %rcx
shlq $0x0, %rcx
movslq -0x30(%rbp), %rsi
imulq %rsi, %rcx
movl -0x2c(%rbp), %esi
subl $0x7, %esi
movslq %esi, %rsi
addq %rsi, %rcx
movl %edx, (%rax,%rcx,4)
popq %rbp
retq
nop