// File: /workspace/github_c_makefile_star2_O3/mjosaarinen[P]brutus/crypto_aead/norx6461v2/ymm/norx.c
// Function: norx_aead_decrypt
int norx_aead_decrypt(
    unsigned char *m, size_t *mlen,
    const unsigned char *a, size_t alen,
    const unsigned char *c, size_t clen,
    const unsigned char *z, size_t zlen,
    const unsigned char *nonce,
    const unsigned char *key
    )
{
    __m256i A, B, C, D;

    if (clen < BYTES(NORX_T)) { return -1; }

    *mlen = clen - BYTES(NORX_T);

    INITIALISE(A, B, C, D, nonce, key);
    ABSORB_DATA(A, B, C, D, a, alen, HEADER_TAG);
    DECRYPT_DATA(A, B, C, D, m, c, clen - BYTES(NORX_T));
    ABSORB_DATA(A, B, C, D, z, zlen, TRAILER_TAG);
    FINALISE(A, B, C, D);

    /* Verify tag */
    A = _mm256_cmpeq_epi8(A, LOADU(c + clen - BYTES(NORX_T)));
    return (((_mm256_movemask_epi8(A) & 0xFFFFFFFFULL) + 1) >> 32) - 1;
}

// Assembly:
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpq $0x20, %r9
jb 0x2d72
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
andq $-0x40, %rsp
subq $0x1c0, %rsp            # imm = 0x1C0
movq %r9, %r12
movq %rcx, %r14
movq %rdx, %rcx
movq %rdi, %r13
movq 0x28(%rbp), %rax
movq 0x20(%rbp), %rdx
movq 0x18(%rbp), %r15
leaq -0x20(%r9), %rbx
movq %rbx, (%rsi)
vmovdqu (%rdx), %xmm0
vpblendd $0xf0, 0x1001(%rip), %ymm0, %ymm7 # ymm7 = ymm0[0,1,2,3],mem[4,5,6,7]
vmovdqu (%rax), %ymm4
vmovdqa 0x1015(%rip), %ymm6     # 0x3020
vmovdqa 0x102d(%rip), %ymm5     # 0x3040
movl $0x6, %eax
vpxor %ymm4, %ymm7, %ymm0
vpand %ymm4, %ymm7, %ymm1
vpaddq %ymm1, %ymm1, %ymm1
vpxor %ymm0, %ymm1, %ymm2
vpternlogq $0x96, %ymm1, %ymm0, %ymm6
vprolq $0x38, %ymm6, %ymm0
vpand %ymm0, %ymm5, %ymm1
vpaddq %ymm1, %ymm1, %ymm1
vpternlogq $0x96, %ymm0, %ymm5, %ymm1
vpxor %ymm4, %ymm1, %ymm3
vprolq $0x2d, %ymm3, %ymm3
vpand %ymm2, %ymm3, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpternlogq $0x96, %ymm2, %ymm3, %ymm4
vpxor %ymm0, %ymm4, %ymm0
vprolq $0x18, %ymm0, %ymm0
vpand %ymm0, %ymm1, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpternlogq $0x96, %ymm0, %ymm1, %ymm2
vpxor %ymm3, %ymm2, %ymm1
vprolq $0x1, %ymm1, %ymm1
vpermq $0x93, %ymm0, %ymm0     # ymm0 = ymm0[3,0,1,2]
vpermq $0x4e, %ymm2, %ymm2     # ymm2 = ymm2[2,3,0,1]
vpermq $0x39, %ymm1, %ymm1     # ymm1 = ymm1[1,2,3,0]
vpxor %ymm4, %ymm1, %ymm3
vpand %ymm4, %ymm1, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpxor %ymm3, %ymm4, %ymm5
vpternlogq $0x96, %ymm4, %ymm3, %ymm0
vprolq $0x38, %ymm0, %ymm0
vpand %ymm0, %ymm2, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm0, %ymm2, %ymm3
vpxor %ymm1, %ymm3, %ymm1
vprolq $0x2d, %ymm1, %ymm1
vpand %ymm5, %ymm1, %ymm2
vpaddq %ymm2, %ymm2, %ymm7
vpternlogq $0x96, %ymm5, %ymm1, %ymm7
vpxor %ymm0, %ymm7, %ymm0
vprolq $0x18, %ymm0, %ymm0
vpand %ymm0, %ymm3, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpternlogq $0x96, %ymm0, %ymm3, %ymm2
vpxor %ymm1, %ymm2, %ymm1
vprolq $0x1, %ymm1, %ymm1
vpermq $0x39, %ymm0, %ymm6     # ymm6 = ymm0[1,2,3,0]
vpermq $0x4e, %ymm2, %ymm5     # ymm5 = ymm2[2,3,0,1]
vpermq $0x93, %ymm1, %ymm4     # ymm4 = ymm1[3,0,1,2]
decl %eax
jne 0x2018
testq %r14, %r14
movq %r8, 0x30(%rsp)
movq %r12, 0x38(%rsp)
je 0x246d
cmpq $0x60, %r14
jb 0x22b6
leaq -0x60(%r14), %rdx
movabsq $-0x5555555555555555, %rax # imm = 0xAAAAAAAAAAAAAAAB
mulxq %rax, %rax, %rax
shrq %rax
andq $-0x20, %rax
leaq (%rax,%rax,2), %rax
xorl %edx, %edx
vpmovsxbq 0xf7e(%rip), %ymm0 # 0x30e0
vpxor %ymm0, %ymm6, %ymm6
movl $0x6, %esi
vpxor %ymm4, %ymm7, %ymm1
vpand %ymm4, %ymm7, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpxor %ymm1, %ymm2, %ymm3
vpternlogq $0x96, %ymm2, %ymm1, %ymm6
vprolq $0x38, %ymm6, %ymm1
vpand %ymm1, %ymm5, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpternlogq $0x96, %ymm1, %ymm5, %ymm2
vpxor %ymm4, %ymm2, %ymm4
vprolq $0x2d, %ymm4, %ymm4
vpand %ymm3, %ymm4, %ymm5
vpaddq %ymm5, %ymm5, %ymm5
vpternlogq $0x96, %ymm3, %ymm4, %ymm5
vpxor %ymm1, %ymm5, %ymm1
vprolq $0x18, %ymm1, %ymm1
vpand %ymm1, %ymm2, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm1, %ymm2, %ymm3
vpxor %ymm4, %ymm3, %ymm2
vprolq $0x1, %ymm2, %ymm2
vpermq $0x93, %ymm1, %ymm1     # ymm1 = ymm1[3,0,1,2]
vpermq $0x4e, %ymm3, %ymm3     # ymm3 = ymm3[2,3,0,1]
vpermq $0x39, %ymm2, %ymm2     # ymm2 = ymm2[1,2,3,0]
vpxor %ymm5, %ymm2, %ymm4
vpand %ymm5, %ymm2, %ymm5
vpaddq %ymm5, %ymm5, %ymm5
vpxor %ymm4, %ymm5, %ymm6
vpternlogq $0x96, %ymm5, %ymm4, %ymm1
vprolq $0x38, %ymm1, %ymm1
vpand %ymm1, %ymm3, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpternlogq $0x96, %ymm1, %ymm3, %ymm4
vpxor %ymm2, %ymm4, %ymm2
vprolq $0x2d, %ymm2, %ymm2
vpand %ymm6, %ymm2, %ymm3
vpaddq %ymm3, %ymm3, %ymm7
vpternlogq $0x96, %ymm6, %ymm2, %ymm7
vpxor %ymm1, %ymm7, %ymm1
vprolq $0x18, %ymm1, %ymm1
vpand %ymm1, %ymm4, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm1, %ymm4, %ymm3
vpxor %ymm2, %ymm3, %ymm2
vprolq $0x1, %ymm2, %ymm2
vpermq $0x39, %ymm1, %ymm6     # ymm6 = ymm1[1,2,3,0]
vpermq $0x4e, %ymm3, %ymm5     # ymm5 = ymm3[2,3,0,1]
vpermq $0x93, %ymm2, %ymm4     # ymm4 = ymm2[3,0,1,2]
decl %esi
jne 0x216b
vpxor (%rcx,%rdx), %ymm7, %ymm7
vpxor 0x20(%rcx,%rdx), %ymm4, %ymm4
vpxor 0x40(%rcx,%rdx), %ymm5, %ymm5
addq $0x60, %rdx
addq $-0x60, %r14
cmpq $0x5f, %r14
ja 0x2162
vmovdqa %ymm6, 0x60(%rsp)
vmovdqa %ymm5, 0x80(%rsp)
vmovdqa %ymm4, 0xa0(%rsp)
vmovdqa %ymm7, 0x40(%rsp)
addq $0x60, %rax
jmp 0x22d6
vmovdqa %ymm6, 0x60(%rsp)
vmovdqa %ymm5, 0x80(%rsp)
vmovdqa %ymm4, 0xa0(%rsp)
vmovdqa %ymm7, 0x40(%rsp)
xorl %eax, %eax
vpxor %xmm0, %xmm0, %xmm0
leaq 0xc0(%rsp), %r12
vmovdqa %ymm0, 0x40(%r12)
vmovdqa %ymm0, 0x20(%r12)
vmovdqa %ymm0, (%r12)
addq %rax, %rcx
movq %r12, %rdi
movq %rcx, %rsi
movq %r14, %rdx
vzeroupper
callq 0x1080
movb $0x1, 0xc0(%rsp,%r14)
orb $-0x80, 0x5f(%r12)
vmovdqa 0x60(%rsp), %ymm6
vpxor 0xd39(%rip), %ymm6, %ymm6 # 0x3060
movl $0x6, %eax
vmovdqa 0x40(%rsp), %ymm7
vmovdqa 0xa0(%rsp), %ymm4
vmovdqa 0x80(%rsp), %ymm5
vpxor %ymm4, %ymm7, %ymm0
vpand %ymm4, %ymm7, %ymm1
vpaddq %ymm1, %ymm1, %ymm1
vpxor %ymm0, %ymm1, %ymm2
vpternlogq $0x96, %ymm1, %ymm0, %ymm6
vprolq $0x38, %ymm6, %ymm0
vpand %ymm0, %ymm5, %ymm1
vpaddq %ymm1, %ymm1, %ymm1
vpternlogq $0x96, %ymm0, %ymm5, %ymm1
vpxor %ymm4, %ymm1, %ymm3
vprolq $0x2d, %ymm3, %ymm3
vpand %ymm2, %ymm3, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpternlogq $0x96, %ymm2, %ymm3, %ymm4
vpxor %ymm0, %ymm4, %ymm0
vprolq $0x18, %ymm0, %ymm0
vpand %ymm0, %ymm1, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpternlogq $0x96, %ymm0, %ymm1, %ymm2
vpxor %ymm3, %ymm2, %ymm1
vprolq $0x1, %ymm1, %ymm1
vpermq $0x93, %ymm0, %ymm0     # ymm0 = ymm0[3,0,1,2]
vpermq $0x4e, %ymm2, %ymm2     # ymm2 = ymm2[2,3,0,1]
vpermq $0x39, %ymm1, %ymm1     # ymm1 = ymm1[1,2,3,0]
vpxor %ymm4, %ymm1, %ymm3
vpand %ymm4, %ymm1, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpxor %ymm3, %ymm4, %ymm5
vpternlogq $0x96, %ymm4, %ymm3, %ymm0
vprolq $0x38, %ymm0, %ymm0
vpand %ymm0, %ymm2, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm0, %ymm2, %ymm3
vpxor %ymm1, %ymm3, %ymm1
vprolq $0x2d, %ymm1, %ymm1
vpand %ymm5, %ymm1, %ymm2
vpaddq %ymm2, %ymm2, %ymm7
vpternlogq $0x96, %ymm5, %ymm1, %ymm7
vpxor %ymm0, %ymm7, %ymm0
vprolq $0x18, %ymm0, %ymm0
vpand %ymm0, %ymm3, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpternlogq $0x96, %ymm0, %ymm3, %ymm2
vpxor %ymm1, %ymm2, %ymm1
vprolq $0x1, %ymm1, %ymm1
vpermq $0x39, %ymm0, %ymm6     # ymm6 = ymm0[1,2,3,0]
vpermq $0x4e, %ymm2, %ymm5     # ymm5 = ymm2[2,3,0,1]
vpermq $0x93, %ymm1, %ymm4     # ymm4 = ymm1[3,0,1,2]
decl %eax
jne 0x2344
vpxor 0xc0(%rsp), %ymm7, %ymm7
vpxor 0xe0(%rsp), %ymm4, %ymm4
vpxor 0x100(%rsp), %ymm5, %ymm5
movq 0x38(%rsp), %r12
movq 0x30(%rsp), %r8
testq %rbx, %rbx
je 0x27e4
xorl %r12d, %r12d
cmpq $0x60, %rbx
jb 0x25f8
vpmovsxbq 0xc58(%rip), %ymm0 # 0x30e4
vmovdqa %ymm7, %ymm1
vmovdqa %ymm4, %ymm3
vmovdqa %ymm5, %ymm2
vpxor %ymm0, %ymm6, %ymm6
movl $0x6, %eax
vpxor %ymm3, %ymm1, %ymm4
vpand %ymm3, %ymm1, %ymm1
vpaddq %ymm1, %ymm1, %ymm1
vpxor %ymm4, %ymm1, %ymm5
vpternlogq $0x96, %ymm1, %ymm4, %ymm6
vprolq $0x38, %ymm6, %ymm1
vpand %ymm1, %ymm2, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpternlogq $0x96, %ymm1, %ymm2, %ymm4
vpxor %ymm3, %ymm4, %ymm2
vprolq $0x2d, %ymm2, %ymm2
vpand %ymm5, %ymm2, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm5, %ymm2, %ymm3
vpxor %ymm1, %ymm3, %ymm1
vprolq $0x18, %ymm1, %ymm1
vpand %ymm1, %ymm4, %ymm5
vpaddq %ymm5, %ymm5, %ymm5
vpternlogq $0x96, %ymm1, %ymm4, %ymm5
vpxor %ymm2, %ymm5, %ymm2
vprolq $0x1, %ymm2, %ymm2
vpermq $0x93, %ymm1, %ymm1     # ymm1 = ymm1[3,0,1,2]
vpermq $0x4e, %ymm5, %ymm4     # ymm4 = ymm5[2,3,0,1]
vpermq $0x39, %ymm2, %ymm2     # ymm2 = ymm2[1,2,3,0]
vpxor %ymm3, %ymm2, %ymm5
vpand %ymm3, %ymm2, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpxor %ymm5, %ymm3, %ymm6
vpternlogq $0x96, %ymm3, %ymm5, %ymm1
vprolq $0x38, %ymm1, %ymm3
vpand %ymm3, %ymm4, %ymm1
vpaddq %ymm1, %ymm1, %ymm5
vpternlogq $0x96, %ymm3, %ymm4, %ymm5
vpxor %ymm2, %ymm5, %ymm1
vprolq $0x2d, %ymm1, %ymm2
vpand %ymm6, %ymm2, %ymm1
vpaddq %ymm1, %ymm1, %ymm1
vpternlogq $0x96, %ymm6, %ymm2, %ymm1
vpxor %ymm3, %ymm1, %ymm3
vprolq $0x18, %ymm3, %ymm3
vpand %ymm3, %ymm5, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpternlogq $0x96, %ymm3, %ymm5, %ymm4
vpxor %ymm2, %ymm4, %ymm2
vprolq $0x1, %ymm2, %ymm5
vpermq $0x39, %ymm3, %ymm6     # ymm6 = ymm3[1,2,3,0]
vpermq $0x4e, %ymm4, %ymm2     # ymm2 = ymm4[2,3,0,1]
vpermq $0x93, %ymm5, %ymm3     # ymm3 = ymm5[3,0,1,2]
decl %eax
jne 0x24a1
vmovdqu (%r8,%r12), %ymm7
vpxor %ymm1, %ymm7, %ymm1
vmovdqu %ymm1, (%r13,%r12)
vmovdqu 0x20(%r8,%r12), %ymm4
vpxor %ymm3, %ymm4, %ymm1
vmovdqu %ymm1, 0x20(%r13,%r12)
vmovdqu 0x40(%r8,%r12), %ymm5
vpxor %ymm2, %ymm5, %ymm1
vmovdqu %ymm1, 0x40(%r13,%r12)
addq $0x60, %r12
addq $-0x60, %rbx
vmovdqa %ymm7, %ymm1
vmovdqa %ymm4, %ymm3
vmovdqa %ymm5, %ymm2
cmpq $0x5f, %rbx
ja 0x2498
vpxor 0xa80(%rip), %ymm6, %ymm6 # 0x3080
movl $0x6, %eax
vpxor %ymm4, %ymm7, %ymm0
vpand %ymm4, %ymm7, %ymm1
vpaddq %ymm1, %ymm1, %ymm1
vpxor %ymm0, %ymm1, %ymm2
vpternlogq $0x96, %ymm1, %ymm0, %ymm6
vprolq $0x38, %ymm6, %ymm0
vpand %ymm0, %ymm5, %ymm1
vpaddq %ymm1, %ymm1, %ymm1
vpternlogq $0x96, %ymm0, %ymm5, %ymm1
vpxor %ymm4, %ymm1, %ymm3
vprolq $0x2d, %ymm3, %ymm3
vpand %ymm2, %ymm3, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpternlogq $0x96, %ymm2, %ymm3, %ymm4
vpxor %ymm0, %ymm4, %ymm0
vprolq $0x18, %ymm0, %ymm0
vpand %ymm0, %ymm1, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpternlogq $0x96, %ymm0, %ymm1, %ymm2
vpxor %ymm3, %ymm2, %ymm1
vprolq $0x1, %ymm1, %ymm1
vpermq $0x93, %ymm0, %ymm0     # ymm0 = ymm0[3,0,1,2]
vpermq $0x4e, %ymm2, %ymm2     # ymm2 = ymm2[2,3,0,1]
vpermq $0x39, %ymm1, %ymm1     # ymm1 = ymm1[1,2,3,0]
vpxor %ymm4, %ymm1, %ymm3
vpand %ymm4, %ymm1, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpxor %ymm3, %ymm4, %ymm5
vpternlogq $0x96, %ymm4, %ymm3, %ymm0
vprolq $0x38, %ymm0, %ymm0
vpand %ymm0, %ymm2, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm0, %ymm2, %ymm3
vpxor %ymm1, %ymm3, %ymm1
vprolq $0x2d, %ymm1, %ymm1
vpand %ymm5, %ymm1, %ymm2
vpaddq %ymm2, %ymm2, %ymm7
vpternlogq $0x96, %ymm5, %ymm1, %ymm7
vpxor %ymm0, %ymm7, %ymm0
vprolq $0x18, %ymm0, %ymm0
vpand %ymm0, %ymm3, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpternlogq $0x96, %ymm0, %ymm3, %ymm2
vpxor %ymm1, %ymm2, %ymm1
vprolq $0x1, %ymm1, %ymm1
vpermq $0x39, %ymm0, %ymm6     # ymm6 = ymm0[1,2,3,0]
vpermq $0x4e, %ymm2, %ymm5     # ymm5 = ymm2[2,3,0,1]
vpermq $0x93, %ymm1, %ymm4     # ymm4 = ymm1[3,0,1,2]
decl %eax
jne 0x2605
vmovdqa %ymm6, 0x60(%rsp)
leaq 0xc0(%rsp), %r14
vmovdqa %ymm7, (%r14)
vmovdqa %ymm4, 0x20(%r14)
vmovdqa %ymm5, 0x40(%r14)
leaq (%r8,%r12), %rsi
movq %r14, %rdi
movq %rbx, %rdx
vmovdqa %ymm7, 0x40(%rsp)
vmovdqa %ymm4, 0xa0(%rsp)
vmovdqa %ymm5, 0x80(%rsp)
vzeroupper
callq 0x1080
xorb $0x1, 0xc0(%rsp,%rbx)
xorb $-0x80, 0x5f(%r14)
vmovaps (%r14), %ymm0
vmovaps %ymm0, 0x160(%rsp)
vmovdqa 0x20(%r14), %ymm1
vmovdqa %ymm1, 0x140(%rsp)
vxorps 0x40(%rsp), %ymm0, %ymm0
vmovaps %ymm0, (%r14)
vpxor 0xa0(%rsp), %ymm1, %ymm0
vmovdqa %ymm0, 0x20(%r14)
vmovdqa 0x40(%r14), %ymm0
vmovdqa %ymm0, 0x40(%rsp)
vpxor 0x80(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x40(%r14)
addq %r12, %r13
movq %r13, %rdi
movq %r14, %rsi
movq %rbx, %rdx
vzeroupper
callq 0x1080
vmovdqa 0x40(%rsp), %ymm5
vmovdqa 0x140(%rsp), %ymm4
vmovdqa 0x160(%rsp), %ymm7
movq 0x38(%rsp), %r12
jmp 0x27ea
vmovdqa %ymm6, 0x60(%rsp)
testq %r15, %r15
movq 0x10(%rbp), %rsi
je 0x2984
cmpq $0x60, %r15
vmovdqa 0x60(%rsp), %ymm6
jb 0x2994
leaq -0x60(%r15), %rdx
movabsq $-0x5555555555555555, %rax # imm = 0xAAAAAAAAAAAAAAAB
mulxq %rax, %rax, %rax
shrq %rax
andq $-0x20, %rax
leaq (%rax,%rax,2), %rax
xorl %ecx, %ecx
vpmovsxbq 0x8b8(%rip), %ymm0 # 0x30e8
vpxor %ymm0, %ymm6, %ymm6
movl $0x6, %edx
vpxor %ymm4, %ymm7, %ymm1
vpand %ymm4, %ymm7, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpxor %ymm1, %ymm2, %ymm3
vpternlogq $0x96, %ymm2, %ymm1, %ymm6
vprolq $0x38, %ymm6, %ymm1
vpand %ymm1, %ymm5, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpternlogq $0x96, %ymm1, %ymm5, %ymm2
vpxor %ymm4, %ymm2, %ymm4
vprolq $0x2d, %ymm4, %ymm4
vpand %ymm3, %ymm4, %ymm5
vpaddq %ymm5, %ymm5, %ymm5
vpternlogq $0x96, %ymm3, %ymm4, %ymm5
vpxor %ymm1, %ymm5, %ymm1
vprolq $0x18, %ymm1, %ymm1
vpand %ymm1, %ymm2, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm1, %ymm2, %ymm3
vpxor %ymm4, %ymm3, %ymm2
vprolq $0x1, %ymm2, %ymm2
vpermq $0x93, %ymm1, %ymm1     # ymm1 = ymm1[3,0,1,2]
vpermq $0x4e, %ymm3, %ymm3     # ymm3 = ymm3[2,3,0,1]
vpermq $0x39, %ymm2, %ymm2     # ymm2 = ymm2[1,2,3,0]
vpxor %ymm5, %ymm2, %ymm4
vpand %ymm5, %ymm2, %ymm5
vpaddq %ymm5, %ymm5, %ymm5
vpxor %ymm4, %ymm5, %ymm6
vpternlogq $0x96, %ymm5, %ymm4, %ymm1
vprolq $0x38, %ymm1, %ymm1
vpand %ymm1, %ymm3, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpternlogq $0x96, %ymm1, %ymm3, %ymm4
vpxor %ymm2, %ymm4, %ymm2
vprolq $0x2d, %ymm2, %ymm2
vpand %ymm6, %ymm2, %ymm3
vpaddq %ymm3, %ymm3, %ymm7
vpternlogq $0x96, %ymm6, %ymm2, %ymm7
vpxor %ymm1, %ymm7, %ymm1
vprolq $0x18, %ymm1, %ymm1
vpand %ymm1, %ymm4, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm1, %ymm4, %ymm3
vpxor %ymm2, %ymm3, %ymm2
vprolq $0x1, %ymm2, %ymm2
vpermq $0x39, %ymm1, %ymm6     # ymm6 = ymm1[1,2,3,0]
vpermq $0x4e, %ymm3, %ymm5     # ymm5 = ymm3[2,3,0,1]
vpermq $0x93, %ymm2, %ymm4     # ymm4 = ymm2[3,0,1,2]
decl %edx
jne 0x2839
vpxor (%rsi,%rcx), %ymm7, %ymm7
vpxor 0x20(%rsi,%rcx), %ymm4, %ymm4
vpxor 0x40(%rsi,%rcx), %ymm5, %ymm5
addq $0x60, %rcx
addq $-0x60, %r15
cmpq $0x5f, %r15
ja 0x2830
vmovdqa %ymm6, 0x60(%rsp)
vmovdqa %ymm5, 0x80(%rsp)
vmovdqa %ymm4, 0xa0(%rsp)
vmovdqa %ymm7, 0x40(%rsp)
addq $0x60, %rax
jmp 0x29ae
movq 0x30(%rsp), %rcx
vmovdqa 0x60(%rsp), %ymm3
jmp 0x2b35
vmovdqa %ymm5, 0x80(%rsp)
vmovdqa %ymm4, 0xa0(%rsp)
vmovdqa %ymm7, 0x40(%rsp)
xorl %eax, %eax
vpxor %xmm0, %xmm0, %xmm0
leaq 0xc0(%rsp), %rbx
vmovdqa %ymm0, 0x40(%rbx)
vmovdqa %ymm0, 0x20(%rbx)
vmovdqa %ymm0, (%rbx)
addq %rax, %rsi
movq %rbx, %rdi
movq %r15, %rdx
vzeroupper
callq 0x1080
movb $0x1, 0xc0(%rsp,%r15)
orb $-0x80, 0x5f(%rbx)
vmovdqa 0x60(%rsp), %ymm3
vpxor 0x6ac(%rip), %ymm3, %ymm3 # 0x30a0
movl $0x6, %eax
vmovdqa 0x40(%rsp), %ymm7
vmovdqa 0xa0(%rsp), %ymm4
vmovdqa 0x80(%rsp), %ymm5
vpxor %ymm4, %ymm7, %ymm0
vpand %ymm4, %ymm7, %ymm1
vpaddq %ymm1, %ymm1, %ymm1
vpxor %ymm0, %ymm1, %ymm2
vpternlogq $0x96, %ymm1, %ymm0, %ymm3
vprolq $0x38, %ymm3, %ymm0
vpand %ymm0, %ymm5, %ymm1
vpaddq %ymm1, %ymm1, %ymm1
vpternlogq $0x96, %ymm0, %ymm5, %ymm1
vpxor %ymm4, %ymm1, %ymm3
vprolq $0x2d, %ymm3, %ymm3
vpand %ymm2, %ymm3, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpternlogq $0x96, %ymm2, %ymm3, %ymm4
vpxor %ymm0, %ymm4, %ymm0
vprolq $0x18, %ymm0, %ymm0
vpand %ymm0, %ymm1, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpternlogq $0x96, %ymm0, %ymm1, %ymm2
vpxor %ymm3, %ymm2, %ymm1
vprolq $0x1, %ymm1, %ymm1
vpermq $0x93, %ymm0, %ymm0     # ymm0 = ymm0[3,0,1,2]
vpermq $0x4e, %ymm2, %ymm2     # ymm2 = ymm2[2,3,0,1]
vpermq $0x39, %ymm1, %ymm1     # ymm1 = ymm1[1,2,3,0]
vpxor %ymm4, %ymm1, %ymm3
vpand %ymm4, %ymm1, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpxor %ymm3, %ymm4, %ymm5
vpternlogq $0x96, %ymm4, %ymm3, %ymm0
vprolq $0x38, %ymm0, %ymm0
vpand %ymm0, %ymm2, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm0, %ymm2, %ymm3
vpxor %ymm1, %ymm3, %ymm1
vprolq $0x2d, %ymm1, %ymm1
vpand %ymm5, %ymm1, %ymm2
vpaddq %ymm2, %ymm2, %ymm7
vpternlogq $0x96, %ymm5, %ymm1, %ymm7
vpxor %ymm0, %ymm7, %ymm0
vprolq $0x18, %ymm0, %ymm0
vpand %ymm0, %ymm3, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpternlogq $0x96, %ymm0, %ymm3, %ymm2
vpxor %ymm1, %ymm2, %ymm1
vprolq $0x1, %ymm1, %ymm1
vpermq $0x39, %ymm0, %ymm3     # ymm3 = ymm0[1,2,3,0]
vpermq $0x4e, %ymm2, %ymm5     # ymm5 = ymm2[2,3,0,1]
vpermq $0x93, %ymm1, %ymm4     # ymm4 = ymm1[3,0,1,2]
decl %eax
jne 0x2a11
vpxor 0xc0(%rsp), %ymm7, %ymm7
vpxor 0xe0(%rsp), %ymm4, %ymm4
vpxor 0x100(%rsp), %ymm5, %ymm5
movq 0x30(%rsp), %rcx
vpxor 0x583(%rip), %ymm3, %ymm0 # 0x30c0
movl $0x6, %eax
vpxor %ymm4, %ymm7, %ymm1
vpand %ymm4, %ymm7, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpxor %ymm1, %ymm2, %ymm3
vpternlogq $0x96, %ymm2, %ymm1, %ymm0
vprolq $0x38, %ymm0, %ymm0
vpand %ymm0, %ymm5, %ymm1
vpaddq %ymm1, %ymm1, %ymm1
vpternlogq $0x96, %ymm0, %ymm5, %ymm1
vpxor %ymm4, %ymm1, %ymm2
vprolq $0x2d, %ymm2, %ymm2
vpand %ymm3, %ymm2, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpternlogq $0x96, %ymm3, %ymm2, %ymm4
vpxor %ymm0, %ymm4, %ymm0
vprolq $0x18, %ymm0, %ymm0
vpand %ymm0, %ymm1, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm0, %ymm1, %ymm3
vpxor %ymm2, %ymm3, %ymm1
vprolq $0x1, %ymm1, %ymm1
vpermq $0x93, %ymm0, %ymm0     # ymm0 = ymm0[3,0,1,2]
vpermq $0x4e, %ymm3, %ymm2     # ymm2 = ymm3[2,3,0,1]
vpermq $0x39, %ymm1, %ymm1     # ymm1 = ymm1[1,2,3,0]
vpxor %ymm4, %ymm1, %ymm3
vpand %ymm4, %ymm1, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpxor %ymm3, %ymm4, %ymm5
vpternlogq $0x96, %ymm4, %ymm3, %ymm0
vprolq $0x38, %ymm0, %ymm0
vpand %ymm0, %ymm2, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm0, %ymm2, %ymm3
vpxor %ymm1, %ymm3, %ymm1
vprolq $0x2d, %ymm1, %ymm1
vpand %ymm5, %ymm1, %ymm2
vpaddq %ymm2, %ymm2, %ymm7
vpternlogq $0x96, %ymm5, %ymm1, %ymm7
vpxor %ymm0, %ymm7, %ymm0
vprolq $0x18, %ymm0, %ymm0
vpand %ymm0, %ymm3, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpternlogq $0x96, %ymm0, %ymm3, %ymm2
vpxor %ymm1, %ymm2, %ymm1
vprolq $0x1, %ymm1, %ymm1
vpermq $0x39, %ymm0, %ymm0     # ymm0 = ymm0[1,2,3,0]
vpermq $0x4e, %ymm2, %ymm5     # ymm5 = ymm2[2,3,0,1]
vpermq $0x93, %ymm1, %ymm4     # ymm4 = ymm1[3,0,1,2]
decl %eax
jne 0x2b42
movl $0x6, %eax
vpxor %ymm4, %ymm7, %ymm1
vpand %ymm4, %ymm7, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpxor %ymm1, %ymm2, %ymm3
vpternlogq $0x96, %ymm2, %ymm1, %ymm0
vprolq $0x38, %ymm0, %ymm0
vpand %ymm0, %ymm5, %ymm1
vpaddq %ymm1, %ymm1, %ymm1
vpternlogq $0x96, %ymm0, %ymm5, %ymm1
vpxor %ymm4, %ymm1, %ymm2
vprolq $0x2d, %ymm2, %ymm2
vpand %ymm3, %ymm2, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpternlogq $0x96, %ymm3, %ymm2, %ymm4
vpxor %ymm0, %ymm4, %ymm0
vprolq $0x18, %ymm0, %ymm0
vpand %ymm0, %ymm1, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm0, %ymm1, %ymm3
vpxor %ymm2, %ymm3, %ymm1
vprolq $0x1, %ymm1, %ymm1
vpermq $0x93, %ymm0, %ymm0     # ymm0 = ymm0[3,0,1,2]
vpermq $0x4e, %ymm3, %ymm2     # ymm2 = ymm3[2,3,0,1]
vpermq $0x39, %ymm1, %ymm1     # ymm1 = ymm1[1,2,3,0]
vpxor %ymm4, %ymm1, %ymm3
vpand %ymm4, %ymm1, %ymm4
vpaddq %ymm4, %ymm4, %ymm4
vpxor %ymm3, %ymm4, %ymm5
vpternlogq $0x96, %ymm4, %ymm3, %ymm0
vprolq $0x38, %ymm0, %ymm0
vpand %ymm0, %ymm2, %ymm3
vpaddq %ymm3, %ymm3, %ymm3
vpternlogq $0x96, %ymm0, %ymm2, %ymm3
vpxor %ymm1, %ymm3, %ymm1
vprolq $0x2d, %ymm1, %ymm1
vpand %ymm5, %ymm1, %ymm2
vpaddq %ymm2, %ymm2, %ymm7
vpternlogq $0x96, %ymm5, %ymm1, %ymm7
vpxor %ymm0, %ymm7, %ymm0
vprolq $0x18, %ymm0, %ymm0
vpand %ymm0, %ymm3, %ymm2
vpaddq %ymm2, %ymm2, %ymm2
vpternlogq $0x96, %ymm0, %ymm3, %ymm2
vpxor %ymm1, %ymm2, %ymm1
vprolq $0x1, %ymm1, %ymm1
vpermq $0x39, %ymm0, %ymm0     # ymm0 = ymm0[1,2,3,0]
vpermq $0x4e, %ymm2, %ymm5     # ymm5 = ymm2[2,3,0,1]
vpermq $0x93, %ymm1, %ymm4     # ymm4 = ymm1[3,0,1,2]
decl %eax
jne 0x2c4b
vpcmpeqb -0x20(%rcx,%r12), %ymm7, %k0
kmovd %k0, %eax
incq %rax
shrq $0x20, %rax
decl %eax
leaq -0x28(%rbp), %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
vzeroupper
retq
nop