// File: /workspace/github_c_makefile_star2_O2/mjosaarinen[P]brutus/crypto_aead/aegis256/aesni/encrypt.c
// Function: crypto_aead_decrypt
int crypto_aead_decrypt(
	unsigned char *m,unsigned long long *mlen,
	unsigned char *nsec,
	const unsigned char *c,unsigned long long clen,
	const unsigned char *ad,unsigned long long adlen,
	const unsigned char *npub,
	const unsigned char *k
	)
{
        unsigned long long i;
        unsigned char plaintextblock[16], ciphertextblock[16];
        unsigned char tag[16];
        unsigned char check = 0;
        __m128i aegis256_state[6];

        if (clen < 16) return -1;         

        aegis256_initialization(k, npub, aegis256_state);

        //process the associated data  
        for (i = 0; (i+16) <= adlen; i += 16) {
              aegis256_enc_aut_step(ad+i, ciphertextblock, aegis256_state);
        }

        //deal with the partial block of associated data  
        //in this program, we assume that the message length is multiple of bytes.
        if (  (adlen & 0xf) != 0 )  {  
              memset(plaintextblock, 0, 16);
              memcpy(plaintextblock, ad+i, adlen & 0xf);  
              aegis256_enc_aut_step(plaintextblock, ciphertextblock, aegis256_state);
        }

        //decrypt the ciphertext
        *mlen = clen - 16; 
        for (i = 0; (i+16) <= *mlen; i += 16) {  
              aegis256_dec_aut_step(m+i, c+i, aegis256_state);  
        }

        // Deal with the partial block
        // In this program, we assume that the message length is multiple of bytes.
        if (  (*mlen & 0xf) != 0 )  {
              memset(ciphertextblock, 0, 16);
              memcpy(ciphertextblock, c+i, *mlen & 0xf);
              aegis256_dec_aut_step(plaintextblock, ciphertextblock, aegis256_state);
              memcpy(m+i, plaintextblock, *mlen & 0xf);

              //need to modify the state here (because in the last block, keystream is wrongly used to update the state)
              memset(plaintextblock, 0, *mlen & 0xf);
              aegis256_state[0] = _mm_xor_si128( aegis256_state[0], _mm_load_si128((__m128i*)plaintextblock)  ) ;
        }

        //we assume that the tag length is multiple of bytes
        aegis256_tag_generation(*mlen, adlen, 16, tag, aegis256_state);

        //verification
        for (i = 0; i  < 16; i++) check |= (tag[i] ^ c[i+*mlen]);  
        if (check == 0) return 0;
        else return -1;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movq %rsi, 0x8(%rsp)
cmpq $0x10, %r8
jae 0x14c2
pushq $-0x1
popq %rax
jmp 0x1664
movq %r9, %rbp
movq %r8, %r13
movq %rdi, %r12
movq %rcx, 0x28(%rsp)
movq 0x100(%rsp), %rdi
movq 0xf8(%rsp), %rsi
leaq 0x50(%rsp), %r14
movq %r14, %rdx
callq 0x1090
pushq $0x10
popq %r15
leaq 0x10(%rsp), %rbx
cmpq 0xf0(%rsp), %r15
ja 0x1518
movq %rbp, %rdi
movq %rbx, %rsi
movq %r14, %rdx
callq 0x1050
addq $0x10, %rbp
addq $0x10, %r15
jmp 0x14f6
movq 0xf0(%rsp), %rbx
andq $0xf, %rbx
je 0x1560
pushq $0x10
popq %rdx
subq %rbx, %rdx
leaq (%rsp,%rbx), %rdi
addq $0x30, %rdi
xorl %esi, %esi
callq 0x1030
leaq 0x30(%rsp), %r14
movq %r14, %rdi
movq %rbp, %rsi
movq %rbx, %rdx
callq 0x10a0
leaq 0x10(%rsp), %rsi
leaq 0x50(%rsp), %rdx
movq %r14, %rdi
callq 0x1050
addq $-0x10, %r13
movq 0x8(%rsp), %rax
movq %r13, (%rax)
pushq $0x10
popq %rbx
leaq 0x50(%rsp), %r14
movq 0x28(%rsp), %r15
movq %r15, %rbp
cmpq %r13, %rbx
ja 0x15a5
movq %r12, %rdi
movq %rbp, %rsi
movq %r14, %rdx
callq 0x1040
movq 0x8(%rsp), %rax
movq (%rax), %r13
addq $0x10, %r12
addq $0x10, %rbp
addq $0x10, %rbx
jmp 0x157c
movq %r13, %rbx
andq $0xf, %rbx
je 0x1625
pushq $0x10
popq %rdx
subq %rbx, %rdx
leaq (%rsp,%rbx), %rdi
addq $0x10, %rdi
xorl %esi, %esi
callq 0x1030
leaq 0x10(%rsp), %r14
movq %r14, %rdi
movq %rbp, %rsi
movq %rbx, %rdx
callq 0x10a0
leaq 0x30(%rsp), %rbx
leaq 0x50(%rsp), %rbp
movq %rbx, %rdi
movq %r14, %rsi
movq %rbp, %rdx
callq 0x1040
movq 0x8(%rsp), %r14
movq (%r14), %rdx
andl $0xf, %edx
movq %r12, %rdi
movq %rbx, %rsi
callq 0x10a0
movq (%r14), %r13
movl %r13d, %edx
andl $0xf, %edx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x1030
vmovaps (%rbx), %xmm0
vxorps (%rbp), %xmm0, %xmm0
vmovaps %xmm0, (%rbp)
pushq $0x10
popq %rdx
leaq 0x40(%rsp), %rcx
leaq 0x50(%rsp), %r8
movq %r13, %rdi
movq 0xf0(%rsp), %rsi
callq 0x10c0
addq %r13, %r15
xorl %eax, %eax
xorl %ecx, %ecx
cmpq $0x10, %rax
je 0x165e
movb (%r15,%rax), %dl
xorb 0x40(%rsp,%rax), %dl
orb %dl, %cl
incq %rax
jmp 0x1649
xorl %eax, %eax
negb %cl
sbbl %eax, %eax
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop