// File: /workspace/github_c_makefile_star2_O2/mjosaarinen[P]brutus/crypto_aead/lakekeyakv2/generic32lc/KeccakP-800-opt32.c
// Function: KeccakP800_Permute_22rounds
void KeccakP800_Permute_22rounds(void *state)
{
    declareBCDE
    #ifndef KeccakP800_fullUnrolling
    unsigned int i;
    #endif
    UINT32 *Astate = (UINT32*)state;

    rounds22
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movl (%rdi), %r10d
movl 0x4(%rdi), %edx
movl 0x14(%rdi), %eax
movl %eax, -0x30(%rsp)
xorl %r10d, %eax
movl 0x28(%rdi), %esi
movl 0x3c(%rdi), %ecx
movl %esi, -0x68(%rsp)
movl %esi, %ebp
movl %ecx, -0x40(%rsp)
xorl %ecx, %ebp
xorl %eax, %ebp
movl 0x18(%rdi), %ecx
movl %ecx, -0x7c(%rsp)
movl %edx, -0x28(%rsp)
xorl %edx, %ecx
movl 0x2c(%rdi), %eax
movl 0x40(%rdi), %edx
movl %eax, -0x58(%rsp)
movl %eax, %r9d
movl %edx, -0x70(%rsp)
xorl %edx, %r9d
xorl %ecx, %r9d
movl 0x8(%rdi), %ecx
movl 0x1c(%rdi), %edx
movl %edx, -0x60(%rsp)
movl %ecx, -0x20(%rsp)
xorl %ecx, %edx
movl 0x30(%rdi), %ecx
movl 0x44(%rdi), %esi
movl %ecx, -0x80(%rsp)
movl %esi, -0x64(%rsp)
xorl %esi, %ecx
xorl %edx, %ecx
movl 0xc(%rdi), %esi
movl 0x20(%rdi), %edx
movl %edx, -0x34(%rsp)
movl %esi, -0x5c(%rsp)
xorl %esi, %edx
movl 0x34(%rdi), %r12d
movl 0x48(%rdi), %esi
movl %r12d, -0x48(%rsp)
movl %esi, %r15d
xorl %esi, %r12d
xorl %edx, %r12d
movl 0x10(%rdi), %edx
movl 0x24(%rdi), %esi
movl %esi, -0x44(%rsp)
movl %edx, -0x3c(%rsp)
xorl %edx, %esi
movl 0x38(%rdi), %edx
movl 0x4c(%rdi), %eax
movl %edx, -0x24(%rsp)
movl %edx, %r8d
movl %eax, -0x6c(%rsp)
xorl %eax, %r8d
xorl %esi, %r8d
movl 0x50(%rdi), %eax
movl %eax, -0x74(%rsp)
xorl %eax, %ebp
movl 0x54(%rdi), %eax
movl %eax, %edx
xorl %eax, %r9d
movl %r9d, -0x4c(%rsp)
movl 0x58(%rdi), %r9d
xorl %r9d, %ecx
movl %ecx, -0x50(%rsp)
movl 0x5c(%rdi), %esi
movl %esi, -0x78(%rsp)
xorl %esi, %r12d
movq %rdi, -0x8(%rsp)
movl 0x60(%rdi), %ecx
xorl %ecx, %r8d
movl %r8d, -0x54(%rsp)
xorl %ebx, %ebx
cmpq $0x15, %rbx
ja 0xa57c
movl %edx, -0x38(%rsp)
rorxl $0x1f, %r12d, %eax
movl -0x4c(%rsp), %edx
xorl %edx, %eax
movl %eax, %esi
rorxl $0x1f, %edx, %r13d
movl -0x54(%rsp), %eax
xorl %eax, %r13d
rorxl $0x1f, %eax, %r14d
movl -0x50(%rsp), %eax
xorl %eax, %r14d
rorxl $0x1f, %eax, %eax
xorl %ebp, %eax
rorxl $0x1f, %ebp, %edi
xorl %r12d, %edi
xorl %r13d, %r10d
movl -0x80(%rsp), %edx
xorl %esi, %edx
movl %esi, %r12d
rorxl $0x15, %edx, %esi
xorl %r14d, %r15d
rorxl $0xb, %r15d, %r8d
xorl %edi, %ecx
rorxl $0x12, %ecx, %edx
movl %esi, %r11d
notl %r11d
orl %r8d, %r11d
movl %r11d, %r15d
movl %edx, %r11d
andl %r8d, %r11d
movl %edx, %ebp
orl %r10d, %ebp
xorl %r8d, %ebp
movl %ebp, -0x54(%rsp)
movl -0x7c(%rsp), %r8d
movl %eax, %ecx
xorl %eax, %r8d
rorxl $0x14, %r8d, %r8d
xorl %esi, %r11d
movl %r11d, -0x4c(%rsp)
movl %esi, %eax
orl %r8d, %eax
movq 0xe0c9(%rip), %rsi      # 0x17ff8
movq %rbx, -0x10(%rsp)
xorl (%rsi,%rbx,4), %eax
xorl %r10d, %eax
movl %eax, -0x1c(%rsp)
xorl %r8d, %r15d
movl %r15d, -0x80(%rsp)
andl %r8d, %r10d
xorl %edx, %r10d
movl -0x5c(%rsp), %edx
xorl %r14d, %edx
rorxl $0x4, %edx, %edx
movl -0x44(%rsp), %esi
xorl %edi, %esi
rorxl $0xc, %esi, %r15d
movl -0x68(%rsp), %esi
xorl %r13d, %esi
rorxl $0x1d, %esi, %r8d
movl -0x70(%rsp), %eax
xorl %ecx, %eax
rorxl $0x13, %eax, %ebx
movl %r12d, %ebp
xorl %r12d, %r9d
rorxl $0x3, %r9d, %esi
movl %esi, %r9d
notl %r9d
orl %ebx, %r9d
movl %esi, %r11d
orl %edx, %r11d
xorl %ebx, %r11d
movl %r11d, -0x50(%rsp)
andl %r8d, %ebx
xorl %r8d, %r9d
movl %r9d, -0x68(%rsp)
orl %r15d, %r8d
xorl %edx, %r8d
movl %r8d, -0x70(%rsp)
xorl %r15d, %ebx
movl %ebx, -0x44(%rsp)
andl %edx, %r15d
xorl %esi, %r15d
movl %r15d, -0x7c(%rsp)
movl -0x28(%rsp), %edx
xorl %ecx, %edx
movl %ecx, %r11d
rorxl $0x1f, %edx, %edx
movl -0x60(%rsp), %esi
xorl %r12d, %esi
rorxl $0x1a, %esi, %ecx
movl -0x48(%rsp), %esi
xorl %r14d, %esi
rorxl $0x7, %esi, %r15d
movl -0x6c(%rsp), %esi
xorl %edi, %esi
rorxl $0x18, %esi, %esi
movl -0x74(%rsp), %eax
xorl %r13d, %eax
rorxl $0xe, %eax, %r8d
movl %esi, %r9d
andl %r15d, %r9d
andnl %r8d, %esi, %eax
xorl %r15d, %eax
movl %eax, -0x5c(%rsp)
orl %ecx, %r15d
xorl %edx, %r15d
movl %r15d, -0x60(%rsp)
xorl %ecx, %r9d
movl %r9d, -0x6c(%rsp)
andl %edx, %ecx
xorl %r8d, %ecx
movl %ecx, -0x14(%rsp)
movl %r8d, %r12d
orl %edx, %r12d
notl %esi
xorl %esi, %r12d
movl %r12d, -0x48(%rsp)
movl -0x3c(%rsp), %edx
xorl %edi, %edx
rorxl $0x5, %edx, %r8d
movl -0x30(%rsp), %edx
xorl %r13d, %edx
movl %r13d, %r15d
rorxl $0x1c, %edx, %ebx
movl -0x58(%rsp), %edx
xorl %r11d, %edx
movl %r10d, %eax
movl %r10d, -0x2c(%rsp)
rorxl $0x16, %edx, %r10d
movl -0x64(%rsp), %edx
xorl %ebp, %edx
rorxl $0x11, %edx, %r9d
movl -0x78(%rsp), %edx
xorl %r14d, %edx
rorxl $0x8, %edx, %edx
movl %r9d, %r13d
orl %r10d, %r13d
notl %r9d
movl %edx, %esi
orl %r9d, %esi
xorl %r10d, %esi
movl %esi, -0x64(%rsp)
andl %ebx, %r10d
xorl %r8d, %r10d
movl %r10d, -0x74(%rsp)
xorl %ebx, %r13d
orl %r8d, %ebx
xorl %edx, %ebx
movl %ebx, -0x3c(%rsp)
movl %edx, %esi
andl %r8d, %esi
xorl %r9d, %esi
movl -0x50(%rsp), %r8d
xorl -0x54(%rsp), %r8d
xorl %esi, %r12d
xorl %r8d, %r12d
movl -0x7c(%rsp), %r9d
xorl %eax, %r9d
movl %ecx, %r8d
xorl %ebx, %r8d
xorl %r9d, %r8d
movl -0x20(%rsp), %edx
xorl %ebp, %edx
movl -0x34(%rsp), %ecx
xorl %r14d, %ecx
movl -0x24(%rsp), %r10d
xorl %edi, %r10d
movl -0x40(%rsp), %eax
xorl %r15d, %eax
movl -0x38(%rsp), %r14d
xorl %r11d, %r14d
rorxl $0x2, %edx, %r9d
rorxl $0x9, %ecx, %ecx
rorxl $0x19, %r10d, %edi
rorxl $0x1e, %r14d, %ebx
andnl %edi, %ecx, %r11d
xorl %r9d, %r11d
movl %r11d, -0x58(%rsp)
movl %ebx, %r10d
orl %r9d, %r10d
movl %r10d, %r14d
movl %ecx, %r10d
andl %r9d, %ecx
rorxl $0x17, %eax, %r9d
notl %r10d
xorl %ebx, %ecx
andl %r9d, %ebx
xorl %r9d, %r14d
movl %r14d, -0x40(%rsp)
movl %r9d, %eax
orl %edi, %eax
xorl %r10d, %eax
movl %eax, -0x78(%rsp)
movl -0x44(%rsp), %r15d
movl %r15d, %r9d
xorl -0x6c(%rsp), %r9d
xorl -0x80(%rsp), %r9d
movl %r13d, %r10d
xorl %eax, %r10d
xorl %r9d, %r10d
xorl %edi, %ebx
movl -0x4c(%rsp), %edi
movl -0x5c(%rsp), %ebp
xorl %ebp, %edi
xorl -0x68(%rsp), %edi
movl -0x64(%rsp), %r9d
xorl %ebx, %r9d
xorl %edi, %r9d
movl -0x70(%rsp), %eax
xorl -0x60(%rsp), %eax
xorl -0x74(%rsp), %eax
xorl %r11d, %eax
movl -0x1c(%rsp), %edi
xorl %edi, %eax
xorl %r14d, %r12d
xorl %ecx, %r8d
rorxl $0x1f, %r12d, %edx
xorl %r10d, %edx
rorxl $0x1f, %r10d, %r10d
xorl %r8d, %r10d
movl %r10d, %r11d
movl %r10d, -0x18(%rsp)
rorxl $0x1f, %r8d, %r14d
xorl %r9d, %r14d
rorxl $0x1f, %r9d, %r9d
xorl %eax, %r9d
rorxl $0x1f, %eax, %r10d
xorl %r12d, %r10d
xorl %r11d, %edi
movl %edi, %r8d
movl %r15d, %eax
xorl %r9d, %eax
movl %r9d, %r15d
rorxl $0x14, %eax, %r9d
xorl %edx, %ebp
rorxl $0x15, %ebp, %r12d
xorl %r14d, %esi
rorxl $0xb, %esi, %esi
xorl %r10d, %ecx
rorxl $0x12, %ecx, %eax
movl %r9d, %ecx
orl %r12d, %ecx
movl %ecx, %edi
movl %esi, %ecx
andl %eax, %ecx
xorl %r12d, %ecx
movl %ecx, -0x20(%rsp)
notl %r12d
orl %esi, %r12d
movl %r12d, %r11d
movl %eax, %ecx
orl %r8d, %ecx
xorl %esi, %ecx
movl %ecx, -0x5c(%rsp)
movq -0x10(%rsp), %rcx
movq 0xddae(%rip), %rsi      # 0x17ff8
xorl 0x4(%rsi,%rcx,4), %edi
xorl %r8d, %edi
movl %edi, -0x38(%rsp)
xorl %r9d, %r11d
movl %r11d, -0x28(%rsp)
andl %r9d, %r8d
xorl %eax, %r8d
movl %r8d, -0x1c(%rsp)
movl -0x54(%rsp), %eax
xorl %r14d, %eax
rorxl $0x4, %eax, %edi
movl -0x7c(%rsp), %eax
xorl %r10d, %eax
rorxl $0xc, %eax, %eax
movl -0x60(%rsp), %ecx
movl -0x18(%rsp), %ebp
xorl %ebp, %ecx
rorxl $0x1d, %ecx, %ecx
xorl %r15d, %r13d
rorxl $0x13, %r13d, %esi
movl %edx, %r11d
xorl %edx, %ebx
rorxl $0x3, %ebx, %edx
movl %eax, %r8d
orl %ecx, %r8d
xorl %edi, %r8d
movl %r8d, -0x30(%rsp)
movl %edx, %r8d
orl %edi, %r8d
andl %eax, %edi
xorl %edx, %edi
movl %edi, -0x44(%rsp)
notl %edx
orl %esi, %edx
xorl %esi, %r8d
movl %r8d, -0x34(%rsp)
andl %ecx, %esi
xorl %eax, %esi
movl %esi, -0x7c(%rsp)
xorl %ecx, %edx
movl %edx, -0x60(%rsp)
movl -0x80(%rsp), %eax
xorl %r15d, %eax
movl %r15d, %r13d
rorxl $0x1f, %eax, %edi
movl -0x68(%rsp), %eax
xorl %r11d, %eax
rorxl $0x1a, %eax, %eax
movl -0x48(%rsp), %ecx
xorl %r14d, %ecx
rorxl $0x7, %ecx, %ecx
movl -0x3c(%rsp), %edx
xorl %r10d, %edx
rorxl $0x18, %edx, %edx
movl -0x58(%rsp), %esi
xorl %ebp, %esi
rorxl $0xe, %esi, %esi
movl %eax, %r12d
orl %ecx, %r12d
andnl %esi, %edx, %r8d
xorl %ecx, %r8d
movl %r8d, -0x80(%rsp)
andl %edx, %ecx
notl %edx
movl %edi, %r8d
orl %esi, %r8d
xorl %edx, %r8d
movl %r8d, -0x48(%rsp)
xorl %edi, %r12d
movl %r12d, -0x68(%rsp)
xorl %eax, %ecx
movl %ecx, -0x58(%rsp)
andl %eax, %edi
xorl %esi, %edi
movl %edi, -0x24(%rsp)
movl -0x2c(%rsp), %eax
xorl %r10d, %eax
rorxl $0x5, %eax, %esi
movl -0x6c(%rsp), %eax
xorl %r15d, %eax
rorxl $0x16, %eax, %ecx
movl -0x64(%rsp), %eax
xorl %r11d, %eax
rorxl $0x11, %eax, %edx
movl -0x40(%rsp), %r15d
xorl %r14d, %r15d
rorxl $0x8, %r15d, %r8d
movl %ecx, %edi
orl %edx, %edi
movl %edi, %r15d
notl %edx
movl %r8d, %eax
orl %edx, %eax
movl %r8d, %ebx
movl %esi, %edi
andl %esi, %ebx
xorl %edx, %ebx
movl %ebx, -0x2c(%rsp)
movl -0x70(%rsp), %edx
movl %ebp, %esi
xorl %ebp, %edx
rorxl $0x1c, %edx, %edx
xorl %ecx, %eax
movl %eax, %ebp
movl %eax, -0x64(%rsp)
movl %ecx, %eax
andl %edx, %eax
xorl %edi, %eax
movl %eax, -0x40(%rsp)
xorl %edx, %r15d
movl %r15d, -0x70(%rsp)
orl %edx, %edi
xorl %r8d, %edi
movl %edi, %ebx
movl %edi, -0x6c(%rsp)
xorl -0x4c(%rsp), %r11d
xorl -0x50(%rsp), %r14d
xorl -0x14(%rsp), %r10d
xorl -0x74(%rsp), %esi
movl %esi, %r8d
xorl -0x78(%rsp), %r13d
rorxl $0x2, %r11d, %edi
rorxl $0x9, %r14d, %ecx
rorxl $0x19, %r10d, %esi
andnl %esi, %ecx, %edx
xorl %edi, %edx
movl %edx, -0x74(%rsp)
xorl -0x30(%rsp), %edx
movl %r12d, %r9d
xorl %eax, %r9d
xorl %edx, %r9d
movl %r9d, -0x78(%rsp)
rorxl $0x17, %r8d, %edx
rorxl $0x1e, %r13d, %r14d
movl %r14d, %r8d
orl %edi, %r8d
andl %ecx, %edi
notl %ecx
xorl %r14d, %edi
andl %edx, %r14d
xorl %esi, %r14d
movl %esi, %eax
orl %edx, %eax
xorl %ecx, %eax
movl %eax, %ecx
xorl -0x58(%rsp), %ecx
movl -0x7c(%rsp), %esi
movl -0x28(%rsp), %r11d
xorl %r11d, %esi
xorl %r15d, %esi
xorl %ecx, %esi
movl %esi, -0x4c(%rsp)
movl -0x80(%rsp), %esi
movl -0x20(%rsp), %r9d
xorl %r9d, %esi
movl -0x60(%rsp), %r15d
movl %r15d, %ecx
xorl %ebp, %ecx
xorl %r14d, %ecx
xorl %esi, %ecx
movl %ecx, -0x50(%rsp)
xorl %edx, %r8d
movl -0x2c(%rsp), %r10d
movl %r10d, %edx
xorl -0x5c(%rsp), %edx
movl -0x34(%rsp), %r12d
movl -0x48(%rsp), %ebp
xorl %ebp, %r12d
xorl %edx, %r12d
movl %ebx, %esi
movl -0x44(%rsp), %ebx
xorl %ebx, %esi
movl -0x1c(%rsp), %edx
movl %edx, %ecx
movl -0x24(%rsp), %r13d
xorl %r13d, %ecx
xorl %edi, %ecx
xorl %esi, %ecx
movl %ecx, -0x54(%rsp)
movq -0x8(%rsp), %rsi
movl -0x38(%rsp), %ecx
movl %ecx, (%rsi)
movl %r11d, 0x4(%rsi)
movl %edi, %ecx
movl %r9d, 0x8(%rsi)
movl -0x5c(%rsp), %edi
movl %edi, 0xc(%rsi)
movl %edx, 0x10(%rsi)
movl %edx, -0x3c(%rsp)
movl %r14d, %r9d
movl -0x30(%rsp), %edx
movl %edx, 0x14(%rsi)
movl -0x7c(%rsp), %edx
movl %edx, 0x18(%rsi)
movl %r15d, 0x1c(%rsi)
movl -0x34(%rsp), %edx
movl %edx, 0x20(%rsi)
movl %ebx, 0x24(%rsi)
movl -0x68(%rsp), %edx
movl %edx, 0x28(%rsi)
movl -0x58(%rsp), %edx
movl %edx, 0x2c(%rsi)
movl -0x80(%rsp), %edx
movl %edx, 0x30(%rsi)
movl %ebp, 0x34(%rsi)
movl %r13d, 0x38(%rsi)
movl -0x40(%rsp), %edx
movl %edx, 0x3c(%rsi)
movl -0x70(%rsp), %edx
movl %edx, 0x40(%rsi)
movl -0x64(%rsp), %edx
movl %edx, 0x44(%rsi)
movl %r10d, %r15d
movl %r10d, 0x48(%rsi)
movl -0x6c(%rsp), %edx
movl %edx, 0x4c(%rsi)
movl -0x78(%rsp), %ebp
movl -0x74(%rsp), %edx
movl %edx, 0x50(%rsi)
movl -0x38(%rsp), %r10d
xorl %r10d, %ebp
movl %eax, %edx
movl %eax, 0x54(%rsi)
movl %r14d, 0x58(%rsi)
movl %r8d, 0x5c(%rsi)
movl %r8d, -0x78(%rsp)
xorl %r8d, %r12d
movl %ecx, 0x60(%rsi)
movq -0x10(%rsp), %rbx
addq $0x2, %rbx
jmp 0x9e83
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq