// File: /workspace/github_c_makefile_star2_O1/mjosaarinen[P]brutus/crypto_aead/aezv3/aesni/aez_ni.c
// Function: cipher_aez_core
int cipher_aez_core(aez_ctx_t *ctx, __m128i t, int d, char *src, unsigned bytes, unsigned abytes, char *dst) {
    __m128i s, x, y, frag0, frag1, final0, final1;
    __m128i I=ctx->I, L=ctx->L, J=ctx->J[0], J4=ctx->J[2];
    unsigned i, frag_bytes, initial_bytes;

    if (!d) bytes += abytes;
    frag_bytes = bytes % 32;
    initial_bytes = bytes - frag_bytes - 32;

    /* Compute x and store intermediate results */
    x = pass_one(ctx, (__m128i*)src, initial_bytes, (__m128i*)dst);
    if (frag_bytes >= 16) {
        frag0 = load(src + initial_bytes);
        frag1 = one_zero_pad(load(src + initial_bytes + 16), 32-frag_bytes);
        x  = aes4(vxor(frag0, J4),     I, J, L, x);
        x  = vxor(x, aes4(vxor3(frag1, J4, J), I, J, L, zero));
    } else if (frag_bytes) {
        frag0 = one_zero_pad(load(src + initial_bytes), 16-frag_bytes);
        x = aes4(vxor(frag0, J4),     I, J, L, x);
    }

    /* Calculate s and final block values (y xor'd to final1 later) */
    final0 = vxor3(loadu(src + (bytes - 32)), x, t);
    if (d || !abytes) final1 = loadu(src+(bytes-32)+16);
    else              final1 = zero_pad(loadu(src+(bytes-32)+16), abytes);
    final0 = aes4(vxor(final1, ctx->J[d]), I, J, L, final0);
    final1 = vxor(final1, aes((__m128i*)ctx, vxor(final0, ctx->J[d])));
    s = vxor(final0, final1);
    final0 = vxor(final0, aes((__m128i*)ctx, vxor(final1, ctx->J[d^1])));
    /* Decryption: final0 should hold abytes zero bytes. If not, failure */
    if (d && !_mm_testc_si128(loadu(pad+abytes),final0)) return -1;
    final1 = aes4(vxor(final0, ctx->J[d^1]), I, J, L, final1);

    /* Compute y and store final results */
    y = pass_two(ctx, s, (__m128i*)dst, initial_bytes, (__m128i*)dst);
    if (frag_bytes >= 16) {
        frag0 = vxor(frag0, aes((__m128i*)ctx, vxor(s, J4)));
        frag1 = vxor(frag1, aes((__m128i*)ctx, vxor3(s, J4, J)));
        frag1 = one_zero_pad(frag1, 32-frag_bytes);
        y  = aes4(vxor(frag0, J4),     I, J, L, y);
        y  = vxor(y, aes4(vxor3(frag1, J4, J), I, J, L, zero));
       store(dst + initial_bytes, frag0);
       store(dst + initial_bytes + 16, frag1);
    } else if (frag_bytes) {
        frag0 = vxor(frag0, aes((__m128i*)ctx, vxor(s, J4)));
        frag0 = one_zero_pad(frag0, 16-frag_bytes);
        y = aes4(vxor(frag0, J4), I, J, L, y);
        store(dst + initial_bytes, frag0);
    }

    storeu(dst + (bytes - 32), vxor3(final1, y, t));
    if (!d || !abytes)
        storeu(dst + (bytes - 32) + 16, final0);
    else {
        for (i=0; i<16-abytes; i++)
            ((char*)dst + (bytes - 16))[i] = ((char*)&final0)[i];
    }
    return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xd8, %rsp
movq %rdi, %r12
vmovaps (%rdi), %xmm1
vmovaps %xmm1, 0x30(%rsp)
vmovaps 0x10(%rdi), %xmm1
vmovaps %xmm1, 0x40(%rsp)
movq %rdx, %r13
movl %esi, %r14d
vmovaps %xmm0, 0x80(%rsp)
vmovaps 0x20(%rdi), %xmm0
vmovaps %xmm0, 0x20(%rsp)
vmovdqa 0x40(%rdi), %xmm0
vmovdqa %xmm0, 0x10(%rsp)
xorl %ebp, %ebp
testl %esi, %esi
movl %r8d, 0x4(%rsp)
cmovel %r8d, %ebp
addl %ecx, %ebp
movl %ebp, %ebx
andl $0x1f, %ebx
movl %ebp, %r15d
andl $-0x20, %r15d
addl $-0x20, %r15d
movq %rdx, %rsi
movl %r15d, %edx
movq %r9, 0x8(%rsp)
movq %r9, %rcx
callq 0x1070
cmpl $0x10, %ebx
jb 0x26e8
movl %r15d, %eax
vmovdqu (%r13,%rax), %xmm10
movl %ebx, %ecx
leaq 0x1a91(%rip), %rdx      # 0x4100
subq %rcx, %rdx
vmovdqu 0x20(%rdx), %xmm1
vmovdqu 0x30(%rdx), %xmm2
vpternlogq $0xf8, 0x10(%r13,%rax), %xmm1, %xmm2
vmovdqa 0x10(%rsp), %xmm9
vpxor %xmm9, %xmm10, %xmm1
vmovdqa 0x30(%rsp), %xmm7
vaesenc %xmm7, %xmm1, %xmm1
vmovdqa 0x20(%rsp), %xmm8
vaesenc %xmm8, %xmm1, %xmm1
vmovdqa 0x40(%rsp), %xmm6
vaesenc %xmm6, %xmm1, %xmm1
vaesenc %xmm0, %xmm1, %xmm0
vmovdqa %xmm2, 0x90(%rsp)
vmovdqa %xmm2, %xmm1
vpternlogq $0x96, %xmm8, %xmm9, %xmm1
vaesenc %xmm7, %xmm1, %xmm1
vaesenc %xmm8, %xmm1, %xmm1
vaesenc %xmm6, %xmm1, %xmm1
vpxor %xmm2, %xmm2, %xmm2
vaesenc %xmm2, %xmm1, %xmm1
vpxor %xmm0, %xmm1, %xmm0
jmp 0x2741
vmovdqa 0x10(%rsp), %xmm9
vmovdqa 0x20(%rsp), %xmm8
vmovdqa 0x30(%rsp), %xmm7
vmovdqa 0x40(%rsp), %xmm6
testl %ebx, %ebx
je 0x2741
movl %r15d, %eax
movl %ebx, %ecx
leaq 0x19f0(%rip), %rdx      # 0x4100
subq %rcx, %rdx
vmovdqu 0x10(%rdx), %xmm1
vmovdqu 0x20(%rdx), %xmm10
vpternlogq $0xf8, (%r13,%rax), %xmm1, %xmm10
vpxor %xmm9, %xmm10, %xmm1
vaesenc %xmm7, %xmm1, %xmm1
vaesenc %xmm8, %xmm1, %xmm1
vaesenc %xmm6, %xmm1, %xmm1
vaesenc %xmm0, %xmm1, %xmm0
jmp 0x2741
movl 0x4(%rsp), %esi
leaq 0x20(%r12), %rcx
leal -0x20(%rbp), %edi
vmovdqa 0x80(%rsp), %xmm1
vpternlogq $0x96, (%r13,%rdi), %xmm1, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
testl %r14d, %r14d
setne %al
testl %esi, %esi
sete %dl
vmovdqu 0x10(%r13,%rdi), %xmm1
orb %al, %dl
movl %esi, %eax
jne 0x2789
leaq 0x197c(%rip), %rdx      # 0x4100
vpand (%rax,%rdx), %xmm1, %xmm1
movq 0x8(%rsp), %r13
movslq %r14d, %rdx
shlq $0x4, %rdx
movl %r14d, %esi
xorl $0x1, %esi
movslq %esi, %rsi
vmovdqa (%rcx,%rdx), %xmm2
vpxor %xmm1, %xmm2, %xmm3
vaesenc %xmm7, %xmm3, %xmm3
vaesenc %xmm8, %xmm3, %xmm3
vaesenc %xmm6, %xmm3, %xmm3
vaesenc %xmm0, %xmm3, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
shlq $0x4, %rsi
vpxor %xmm2, %xmm0, %xmm2
vmovdqa (%r12), %xmm3
vmovdqa 0x10(%r12), %xmm4
vmovdqa 0x20(%r12), %xmm5
vaesenc %xmm3, %xmm2, %xmm2
vaesenc %xmm4, %xmm2, %xmm2
vaesenc %xmm5, %xmm2, %xmm2
vaesenc %xmm3, %xmm2, %xmm2
vaesenc %xmm4, %xmm2, %xmm2
vaesenc %xmm5, %xmm2, %xmm2
vaesenc %xmm3, %xmm2, %xmm2
vaesenc %xmm4, %xmm2, %xmm2
vaesenc %xmm5, %xmm2, %xmm2
vaesenc %xmm3, %xmm2, %xmm2
vpxor %xmm1, %xmm2, %xmm11
vmovdqa (%rcx,%rsi), %xmm12
vpxor %xmm12, %xmm11, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm5, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm5, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm5, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vpxor %xmm0, %xmm1, %xmm2
vmovdqa %xmm2, 0x50(%rsp)
testl %r14d, %r14d
je 0x2875
leaq 0x189b(%rip), %rcx      # 0x4100
vmovdqu (%rax,%rcx), %xmm1
vptest %xmm2, %xmm1
jae 0x2b04
vmovdqa %xmm10, 0x60(%rsp)
movq %rdi, 0x8(%rsp)
vpxor %xmm0, %xmm11, %xmm0
movq %r12, %rdi
vmovdqa %xmm0, 0x70(%rsp)
movl %r15d, %edx
movq %r13, %rcx
vmovdqa %xmm2, 0xc0(%rsp)
vmovdqa %xmm11, 0xb0(%rsp)
vmovdqa %xmm12, 0xa0(%rsp)
callq 0x1060
vmovdqa 0xc0(%rsp), %xmm11
vmovdqa 0x20(%rsp), %xmm9
vmovdqa 0x30(%rsp), %xmm8
vmovdqa 0x40(%rsp), %xmm7
vpxor 0xa0(%rsp), %xmm11, %xmm1
vaesenc %xmm8, %xmm1, %xmm1
vaesenc %xmm9, %xmm1, %xmm1
vaesenc %xmm7, %xmm1, %xmm1
vaesenc 0xb0(%rsp), %xmm1, %xmm1
cmpl $0x10, %ebx
jb 0x2a03
vmovdqa (%r12), %xmm2
vmovdqa 0x10(%r12), %xmm3
vmovdqa 0x20(%r12), %xmm4
vmovdqa 0x10(%rsp), %xmm10
vpxor 0x70(%rsp), %xmm10, %xmm5
vaesenc %xmm2, %xmm5, %xmm6
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm4, %xmm6, %xmm6
vaesenc %xmm2, %xmm6, %xmm6
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm4, %xmm6, %xmm6
vaesenc %xmm2, %xmm6, %xmm6
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm4, %xmm6, %xmm6
vaesenc %xmm2, %xmm6, %xmm6
vpxor %xmm5, %xmm9, %xmm5
vaesenc %xmm2, %xmm5, %xmm5
vaesenc %xmm3, %xmm5, %xmm5
vaesenc %xmm4, %xmm5, %xmm5
vaesenc %xmm2, %xmm5, %xmm5
vaesenc %xmm3, %xmm5, %xmm5
vaesenc %xmm4, %xmm5, %xmm5
vaesenc %xmm2, %xmm5, %xmm5
vaesenc %xmm3, %xmm5, %xmm3
vaesenc %xmm4, %xmm3, %xmm3
vaesenc %xmm2, %xmm3, %xmm2
vpxor 0x90(%rsp), %xmm2, %xmm2
movl %ebx, %eax
leaq 0x176d(%rip), %rcx      # 0x4100
subq %rax, %rcx
vmovdqu 0x20(%rcx), %xmm3
vpternlogq $0xea, 0x30(%rcx), %xmm2, %xmm3
vpxor 0x60(%rsp), %xmm6, %xmm2
vpxor %xmm2, %xmm10, %xmm4
vaesenc %xmm8, %xmm4, %xmm4
vaesenc %xmm9, %xmm4, %xmm4
vaesenc %xmm7, %xmm4, %xmm4
vaesenc %xmm0, %xmm4, %xmm0
vpternlogq $0x96, %xmm9, %xmm3, %xmm10
vaesenc %xmm8, %xmm10, %xmm4
vaesenc %xmm9, %xmm4, %xmm4
vaesenc %xmm7, %xmm4, %xmm4
vpxor %xmm5, %xmm5, %xmm5
vaesenc %xmm5, %xmm4, %xmm4
vpxor %xmm0, %xmm4, %xmm0
movl %r15d, %eax
vmovdqu %xmm2, (%r13,%rax)
vmovdqu %xmm3, 0x10(%r13,%rax)
movl 0x4(%rsp), %esi
movq 0x8(%rsp), %rdx
jmp 0x2aab
vmovdqa 0x70(%rsp), %xmm2
testl %ebx, %ebx
movl 0x4(%rsp), %esi
movq 0x8(%rsp), %rdx
je 0x2aab
vmovdqa 0x10(%rsp), %xmm6
vpxor %xmm6, %xmm2, %xmm2
vmovdqa (%r12), %xmm3
vmovdqa 0x10(%r12), %xmm4
vmovdqa 0x20(%r12), %xmm5
vaesenc %xmm3, %xmm2, %xmm2
vaesenc %xmm4, %xmm2, %xmm2
vaesenc %xmm5, %xmm2, %xmm2
vaesenc %xmm3, %xmm2, %xmm2
vaesenc %xmm4, %xmm2, %xmm2
vaesenc %xmm5, %xmm2, %xmm2
vaesenc %xmm3, %xmm2, %xmm2
vaesenc %xmm4, %xmm2, %xmm2
vaesenc %xmm5, %xmm2, %xmm2
vaesenc %xmm3, %xmm2, %xmm2
vpxor 0x60(%rsp), %xmm2, %xmm2
movl %ebx, %eax
leaq 0x1687(%rip), %rcx      # 0x4100
subq %rax, %rcx
vmovdqu 0x10(%rcx), %xmm3
vpternlogq $0xea, 0x20(%rcx), %xmm2, %xmm3
vpxor %xmm6, %xmm3, %xmm2
vaesenc %xmm8, %xmm2, %xmm2
vaesenc %xmm9, %xmm2, %xmm2
vaesenc %xmm7, %xmm2, %xmm2
vaesenc %xmm0, %xmm2, %xmm0
movl %r15d, %eax
vmovdqu %xmm3, (%r13,%rax)
testl %esi, %esi
sete %al
testl %r14d, %r14d
sete %cl
vmovdqa 0x80(%rsp), %xmm2
vpternlogq $0x96, %xmm0, %xmm1, %xmm2
vmovdqu %xmm2, (%r13,%rdx)
orb %al, %cl
jne 0x2af8
xorl %r14d, %r14d
cmpl $0x10, %esi
je 0x2b0a
addl $-0x10, %ebp
addq %rbp, %r13
movl $0xf, %edx
subl %esi, %edx
incq %rdx
leaq 0x50(%rsp), %rsi
movq %r13, %rdi
callq 0x10c0
jmp 0x2b0a
vmovdqu %xmm11, 0x10(%r13,%rdx)
xorl %r14d, %r14d
jmp 0x2b0a
movl $0xffffffff, %r14d      # imm = 0xFFFFFFFF
movl %r14d, %eax
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq