// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/lunarkeyakv2/Haswell/KeccakP-1600-AVX2.cpp
// Function: KeccakP1600_Permute_12rounds
void KeccakP1600_Permute_12rounds(void *state)
//***************************
{
    KECCAK_PERMUTE_VARS

    KECCAK_LOAD

    KECCAK_PERMUTE_12rounds()
    
    KECCAK_STORE
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
andq $-0x20, %rsp
subq $0x580, %rsp            # imm = 0x580
movq %rdi, 0x380(%rsp)
movq 0x380(%rsp), %rax
movq %rax, 0x58(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x3b8(%rsp)
movq 0x3b8(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x360(%rsp)
movq 0x58(%rsp), %rax
addq $0x20, %rax
movq %rax, 0x3b0(%rsp)
movq 0x3b0(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x340(%rsp)
movq 0x58(%rsp), %rax
addq $0x40, %rax
movq %rax, 0x3a8(%rsp)
movq 0x3a8(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x320(%rsp)
movq 0x58(%rsp), %rax
addq $0x60, %rax
movq %rax, 0x3a0(%rsp)
movq 0x3a0(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x300(%rsp)
movq 0x58(%rsp), %rax
addq $0x80, %rax
movq %rax, 0x398(%rsp)
movq 0x398(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x2e0(%rsp)
movq 0x58(%rsp), %rax
addq $0xa0, %rax
movq %rax, 0x390(%rsp)
movq 0x390(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x2c0(%rsp)
movq 0x58(%rsp), %rax
addq $0xc0, %rax
movq %rax, 0x388(%rsp)
movq 0x388(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x220(%rsp)
vmovdqa 0x360(%rsp), %ymm11
vmovdqa 0x340(%rsp), %ymm5
vmovdqa 0x320(%rsp), %ymm4
vmovdqa 0x300(%rsp), %ymm3
vmovdqa 0x2e0(%rsp), %ymm2
vmovdqa 0x2c0(%rsp), %ymm1
vmovdqa 0x220(%rsp), %ymm12
movq 0xc0422(%rip), %rdx     # 0xc7ff8
movq $0x180, %rax            # imm = 0x180
vpxor %ymm5, %ymm11, %ymm9
vpxor %ymm4, %ymm9, %ymm9
vpxor %ymm3, %ymm9, %ymm9
vpxor %ymm2, %ymm9, %ymm9
vpermq $0x93, %ymm9, %ymm8     # ymm8 = ymm9[3,0,1,2]
vpsrlq $0x3f, %ymm9, %ymm7
vpsllq $0x1, %ymm9, %ymm9
vperm2i128 $0x11, %ymm1, %ymm1, %ymm0 # ymm0 = ymm1[2,3,2,3]
vpxor %ymm0, %ymm1, %ymm0
vpunpckhqdq %ymm0, %ymm0, %ymm6 # ymm6 = ymm0[1,1,3,3]
vpxor %ymm6, %ymm0, %ymm6
vpxor %ymm6, %ymm12, %ymm6
vpxor %ymm7, %ymm9, %ymm7
vpblendd $0x3, %ymm6, %ymm8, %ymm0 # ymm0 = ymm6[0,1],ymm8[2,3,4,5,6,7]
vpsrlq $0x3f, %ymm6, %ymm9
vpsllq $0x1, %ymm6, %ymm6
vpxor %ymm6, %ymm9, %ymm6
vpblendd $0x3, %ymm6, %ymm7, %ymm6 # ymm6 = ymm6[0,1],ymm7[2,3,4,5,6,7]
vpxor %ymm7, %ymm8, %ymm7
vpxor %ymm7, %ymm12, %ymm9
vpermq $0x39, %ymm6, %ymm6     # ymm6 = ymm6[1,2,3,0]
vpxor %ymm6, %ymm0, %ymm0
vpxor %ymm0, %ymm11, %ymm11
vpxor %ymm0, %ymm5, %ymm5
vpbroadcastq %xmm7, %ymm7
vpxor %ymm7, %ymm1, %ymm1
vpxor %ymm0, %ymm4, %ymm4
vpxor %ymm0, %ymm3, %ymm3
vpxor %ymm0, %ymm2, %ymm2
vmovdqa 0xc0b76(%rip), %ymm6    # 0xc87e0
vmovdqa 0xc0b4e(%rip), %ymm12   # 0xc87c0
vmovdqa 0xc0ba6(%rip), %ymm7    # 0xc8820
vpsrlvq %ymm6, %ymm11, %ymm6
vpsllvq %ymm12, %ymm11, %ymm11
vmovdqa 0xc0b74(%rip), %ymm12   # 0xc8800
vmovdqa 0xc0bcc(%rip), %ymm0    # 0xc8860
vpsrlvq %ymm7, %ymm5, %ymm7
vpsllvq %ymm12, %ymm5, %ymm5
vmovdqa 0xc0b9a(%rip), %ymm12   # 0xc8840
vmovdqa 0xc0bf2(%rip), %ymm10   # 0xc88a0
vpsrlvq %ymm0, %ymm4, %ymm0
vpsllvq %ymm12, %ymm4, %ymm4
vpxor %ymm7, %ymm5, %ymm7
vpxor %ymm6, %ymm11, %ymm6
vpermq $0x1c, %ymm6, %ymm5     # ymm5 = ymm6[0,3,1,0]
vperm2i128 $0x11, %ymm6, %ymm6, %ymm6 # ymm6 = ymm6[2,3,2,3]
vpxor %ymm0, %ymm4, %ymm4
vpsrlvq %ymm10, %ymm3, %ymm0
vpermq $0x72, %ymm4, %ymm4     # ymm4 = ymm4[2,0,3,1]
vmovdqa 0xc0b9d(%rip), %ymm10   # 0xc8880
vpsllvq %ymm10, %ymm3, %ymm3
vpxor %ymm0, %ymm3, %ymm10
vpermq $0x87, %ymm10, %ymm3    # ymm3 = ymm10[3,1,0,2]
vmovdqa 0xc0be6(%rip), %ymm0    # 0xc88e0
vpsrlvq %ymm0, %ymm2, %ymm12
vmovdqa 0xc0bb9(%rip), %ymm0    # 0xc88c0
vpsllvq %ymm0, %ymm2, %ymm2
vpxor %ymm2, %ymm12, %ymm0
vpermq $0xc9, %ymm0, %ymm11    # ymm11 = ymm0[1,2,0,3]
vpunpckhqdq %ymm0, %ymm0, %ymm0 # ymm0 = ymm0[1,1,3,3]
vmovdqa 0xc0bfe(%rip), %ymm2    # 0xc8920
vpsrlvq %ymm2, %ymm1, %ymm12
vmovdqa 0xc0bd1(%rip), %ymm2    # 0xc8900
vpsllvq %ymm2, %ymm1, %ymm1
vpxor %ymm1, %ymm12, %ymm2
vpsrlq $0x32, %ymm9, %ymm1
vpsllq $0xe, %ymm9, %ymm12
vperm2i128 $0x11, %ymm2, %ymm2, %ymm8 # ymm8 = ymm2[2,3,2,3]
vpxor %ymm1, %ymm12, %ymm9
vmovdqa %xmm2, %xmm12
vpunpckhqdq %ymm2, %ymm2, %ymm1 # ymm1 = ymm2[1,1,3,3]
vpbroadcastq %xmm9, %ymm9
vpbroadcastq %xmm12, %ymm12
vpermq $0xff, %ymm2, %ymm2     # ymm2 = ymm2[3,3,3,3]
vpblendd $0x30, %ymm2, %ymm3, %ymm2 # ymm2 = ymm3[0,1,2,3],ymm2[4,5],ymm3[6,7]
vpblendd $0x3, %ymm9, %ymm11, %ymm3 # ymm3 = ymm9[0,1],ymm11[2,3,4,5,6,7]
vpblendd $0xc0, %ymm12, %ymm5, %ymm5 # ymm5 = ymm5[0,1,2,3,4,5],ymm12[6,7]
vpermq $0x2d, %ymm7, %ymm12    # ymm12 = ymm7[1,3,2,0]
vpblendd $0xc, %ymm1, %ymm12, %ymm1 # ymm1 = ymm12[0,1],ymm1[2,3],ymm12[4,5,6,7]
vpermq $0xff, %ymm7, %ymm7     # ymm7 = ymm7[3,3,3,3]
vpandn %ymm4, %ymm1, %ymm9
subq $0x20, %rax
vpxor %ymm5, %ymm9, %ymm9
vpandn %ymm2, %ymm4, %ymm12
vpandn %ymm3, %ymm2, %ymm11
vpxor (%rdx,%rax), %ymm9, %ymm9
vpxor %ymm4, %ymm11, %ymm11
vpxor %ymm1, %ymm12, %ymm12
vpandn %ymm5, %ymm3, %ymm4
vpandn %ymm1, %ymm5, %ymm1
vpxor %ymm2, %ymm4, %ymm2
vpxor %ymm3, %ymm1, %ymm1
vpunpcklqdq %ymm12, %ymm9, %ymm4 # ymm4 = ymm9[0],ymm12[0],ymm9[2],ymm12[2]
vpunpckhqdq %ymm12, %ymm9, %ymm12 # ymm12 = ymm9[1],ymm12[1],ymm9[3],ymm12[3]
vpunpcklqdq %ymm2, %ymm11, %ymm9 # ymm9 = ymm11[0],ymm2[0],ymm11[2],ymm2[2]
vpunpckhqdq %ymm2, %ymm11, %ymm2 # ymm2 = ymm11[1],ymm2[1],ymm11[3],ymm2[3]
vperm2i128 $0x20, %ymm9, %ymm4, %ymm11 # ymm11 = ymm4[0,1],ymm9[0,1]
vperm2i128 $0x20, %ymm2, %ymm12, %ymm5 # ymm5 = ymm12[0,1],ymm2[0,1]
vperm2i128 $0x13, %ymm12, %ymm2, %ymm3 # ymm3 = ymm12[2,3],ymm2[2,3]
vperm2i128 $0x13, %ymm4, %ymm9, %ymm4 # ymm4 = ymm4[2,3],ymm9[2,3]
vpandn %ymm10, %ymm8, %ymm2
vpandn %ymm0, %ymm10, %ymm12
vpandn %ymm8, %ymm7, %ymm9
vpxor %ymm2, %ymm7, %ymm2
vpxor %ymm12, %ymm8, %ymm8
vpxor %ymm6, %ymm9, %ymm9
vpandn %ymm6, %ymm0, %ymm12
vpxor %ymm12, %ymm10, %ymm10
vpandn %ymm7, %ymm6, %ymm12
vpunpcklqdq %ymm2, %ymm9, %ymm9 # ymm9 = ymm9[0],ymm2[0],ymm9[2],ymm2[2]
vpunpcklqdq %ymm10, %ymm8, %ymm8 # ymm8 = ymm8[0],ymm10[0],ymm8[2],ymm10[2]
vperm2i128 $0x20, %ymm8, %ymm9, %ymm2 # ymm2 = ymm9[0,1],ymm8[0,1]
vpxor %ymm0, %ymm12, %ymm12
jne 0x7bdd
vmovaps %ymm12, 0x20(%rsp)
vmovaps %ymm11, (%rsp)
vmovaps (%rsp), %ymm6
vmovaps 0x20(%rsp), %ymm0
vmovdqa %ymm6, 0x360(%rsp)
vmovdqa %ymm5, 0x340(%rsp)
vmovdqa %ymm4, 0x320(%rsp)
vmovdqa %ymm3, 0x300(%rsp)
vmovdqa %ymm2, 0x2e0(%rsp)
vmovdqa %ymm1, 0x2c0(%rsp)
vmovdqa %ymm0, 0x220(%rsp)
movq 0x58(%rsp), %rax
vmovdqa 0x360(%rsp), %ymm0
movq %rax, 0x568(%rsp)
vmovdqa %ymm0, 0x540(%rsp)
vmovdqa 0x540(%rsp), %ymm0
movq 0x568(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x58(%rsp), %rax
addq $0x20, %rax
vmovdqa 0x340(%rsp), %ymm0
movq %rax, 0x538(%rsp)
vmovdqa %ymm0, 0x500(%rsp)
vmovdqa 0x500(%rsp), %ymm0
movq 0x538(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x58(%rsp), %rax
addq $0x40, %rax
vmovdqa 0x320(%rsp), %ymm0
movq %rax, 0x4f8(%rsp)
vmovdqa %ymm0, 0x4c0(%rsp)
vmovdqa 0x4c0(%rsp), %ymm0
movq 0x4f8(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x58(%rsp), %rax
addq $0x60, %rax
vmovdqa 0x300(%rsp), %ymm0
movq %rax, 0x4b8(%rsp)
vmovdqa %ymm0, 0x480(%rsp)
vmovdqa 0x480(%rsp), %ymm0
movq 0x4b8(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x58(%rsp), %rax
addq $0x80, %rax
vmovdqa 0x2e0(%rsp), %ymm0
movq %rax, 0x478(%rsp)
vmovdqa %ymm0, 0x440(%rsp)
vmovdqa 0x440(%rsp), %ymm0
movq 0x478(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x58(%rsp), %rax
addq $0xa0, %rax
vmovdqa 0x2c0(%rsp), %ymm0
movq %rax, 0x438(%rsp)
vmovdqa %ymm0, 0x400(%rsp)
vmovdqa 0x400(%rsp), %ymm0
movq 0x438(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x58(%rsp), %rax
addq $0xc0, %rax
vmovdqa 0x220(%rsp), %ymm0
movq %rax, 0x3f8(%rsp)
vmovdqa %ymm0, 0x3c0(%rsp)
vmovdqa 0x3c0(%rsp), %ymm0
movq 0x3f8(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq %rbp, %rsp
popq %rbp
vzeroupper
retq
nopl (%rax)