// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/aes128poetv2aes4ni/ni/poet.c
// Function: encrypt_final
void encrypt_final(poet_ctx_t *ctx,
                   const unsigned char *plaintext,
                   unsigned long long plen,
                   unsigned char *ciphertext,
                   unsigned long long* clen, 
                   unsigned char tag[TAGLEN])
{
    __m128i* k = ctx->aes_enc;
    __m128i* hk = ctx->aes_axu;
    __m128i x = ctx->x;
    __m128i y = ctx->y;
    __m128i z;
    const uint64_t plaintext_len = plen;

    if (clen) {
        *clen = plen;
    }

    x = aesfour_encrypt(x, hk);

    if (plen >= BLOCKLEN) {
        x = vxor(x, loadu(plaintext));
        z = x;
        xor_3blocks(x, y, z, hk[0], hk[0], k[0]); \
        plaintext += BLOCKLEN;
    }

    __m128i tmp_x;
    __m128i tmp_z;
    __m128i tmp_y;

    while (plen > 2*BLOCKLEN) {
        aes_encrypt_3blocks(x, y, z, hk, k, tmp_x, tmp_y, tmp_z, plaintext, ciphertext);
        plaintext += BLOCKLEN;
        ciphertext += BLOCKLEN;
        plen -= BLOCKLEN;
    }

    const __m128i s = aes_encrypt(encode_length(plaintext_len), k);

    if (plen == 0) { // Empty message
        z = vxor3(x, s, ctx->tau);
        aes_encrypt_2blocks(y, z, hk, k);
        z = vxor(z, y);
        z = vxor(z, s);
        storeu(tag, z);
    } else if (plen % BLOCKLEN == 0) { // No tag splitting
        z = vxor(z, s);
        x = vxor(x, s);
        aes_encrypt_3blocks_no_whitening(x, y, z, k, hk);
        storeu(ciphertext, vxor3(z, y, s));

        // Generate tag
        y = z;
        z = vxor(x, ctx->tau);
        aes_encrypt_2blocks(y, z, hk, k);
        z = vxor3(z, y, ctx->tau);
        storeu(tag, z);
    } else { // Tag splitting
        if (plen > BLOCKLEN) {
            aes_encrypt_3blocks_no_whitening(x, y, z, k, hk);
            storeu(ciphertext, vxor(z, y));
            ciphertext += BLOCKLEN;
            y = z; 
        }

        plen = plen % BLOCKLEN;
        z = zero_pad(load_n_bytes(plaintext, plen), BLOCKLEN - plen);
        z = vxor3(x, s, vor(z, shift_left(ctx->tau, plen)));
        x = z;

        xor_3blocks(x, y, z, hk[0], hk[0], k[0]);
        aes_encrypt_3blocks_no_whitening(x, y, z, k, hk);

        tmp_z = vxor3(z, s, y);
        store_partial_left(ciphertext, tmp_z, plen);
        store_partial_right(tag, tmp_z, BLOCKLEN - plen);

        // Generate tag
        y = z; 
        z = vxor(x, ctx->tau);
        xor_3blocks(x, y, z, hk[0], hk[0], k[0]);
        aes_encrypt_3blocks_no_whitening(x, y, z, k, hk);

        z = vxor3(z, ctx->tau, y);
        store_partial_from_left_to_right(tag, z, plen);
    }
}

// Assembly:
subq $0x14e8, %rsp           # imm = 0x14E8
movq %rdi, 0xf8(%rsp)
movq %rsi, 0xf0(%rsp)
movq %rdx, 0xe8(%rsp)
movq %rcx, 0xe0(%rsp)
movq %r8, 0xd8(%rsp)
movq %r9, 0xd0(%rsp)
movq 0xf8(%rsp), %rax
movq %rax, 0xc8(%rsp)
movq 0xf8(%rsp), %rax
addq $0x160, %rax            # imm = 0x160
movq %rax, 0xc0(%rsp)
movq 0xf8(%rsp), %rax
vmovdqa 0x1c0(%rax), %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
movq 0xf8(%rsp), %rax
vmovdqa 0x1d0(%rax), %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
movq 0xe8(%rsp), %rax
movq %rax, 0x88(%rsp)
cmpq $0x0, 0xd8(%rsp)
je 0x382d
movq 0xe8(%rsp), %rcx
movq 0xd8(%rsp), %rax
movq %rcx, (%rax)
vmovdqa 0xb0(%rsp), %xmm0
movq 0xc0(%rsp), %rdi
callq 0x65e0
vmovdqa %xmm0, 0xb0(%rsp)
cmpq $0x10, 0xe8(%rsp)
jb 0x3996
vmovdqa 0xb0(%rsp), %xmm0
vmovaps %xmm0, 0x30(%rsp)
movq 0xf0(%rsp), %rdi
callq 0x1e30
vmovaps 0x30(%rsp), %xmm1
vmovdqa %xmm1, 0x5f0(%rsp)
vmovdqa %xmm0, 0x5e0(%rsp)
vmovdqa 0x5f0(%rsp), %xmm0
vpxor 0x5e0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x5d0(%rsp)
vmovdqa %xmm0, 0x5c0(%rsp)
vmovdqa 0x5d0(%rsp), %xmm0
vpxor 0x5c0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x5b0(%rsp)
vmovdqa %xmm0, 0x5a0(%rsp)
vmovdqa 0x5b0(%rsp), %xmm0
vpxor 0x5a0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x590(%rsp)
vmovdqa %xmm0, 0x580(%rsp)
vmovdqa 0x590(%rsp), %xmm0
vpxor 0x580(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
movq 0xf0(%rsp), %rax
addq $0x10, %rax
movq %rax, 0xf0(%rsp)
jmp 0x3998
cmpq $0x20, 0xe8(%rsp)
jbe 0x40b9
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x13d0(%rsp)
vmovdqa %xmm0, 0x13c0(%rsp)
vmovdqa 0x13d0(%rsp), %xmm0
vmovdqa 0x13c0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x13b0(%rsp)
vmovdqa %xmm0, 0x13a0(%rsp)
vmovdqa 0x13b0(%rsp), %xmm0
vmovdqa 0x13a0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x1390(%rsp)
vmovdqa %xmm0, 0x1380(%rsp)
vmovdqa 0x1390(%rsp), %xmm0
vmovdqa 0x1380(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x1370(%rsp)
vmovdqa %xmm0, 0x1360(%rsp)
vmovdqa 0x1370(%rsp), %xmm0
vmovdqa 0x1360(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x1350(%rsp)
vmovdqa %xmm0, 0x1340(%rsp)
vmovdqa 0x1350(%rsp), %xmm0
vmovdqa 0x1340(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x1330(%rsp)
vmovdqa %xmm0, 0x1320(%rsp)
vmovdqa 0x1330(%rsp), %xmm0
vmovdqa 0x1320(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
movq 0xc0(%rsp), %rax
vmovdqa 0x40(%rax), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x570(%rsp)
vmovdqa %xmm0, 0x560(%rsp)
vmovdqa 0x570(%rsp), %xmm0
vpxor 0x560(%rsp), %xmm0, %xmm0
vmovaps %xmm0, 0x20(%rsp)
movq 0xf0(%rsp), %rdi
callq 0x3620
vmovaps 0x20(%rsp), %xmm1
vmovdqa %xmm1, 0x550(%rsp)
vmovdqa %xmm0, 0x540(%rsp)
vmovdqa 0x550(%rsp), %xmm0
vpxor 0x540(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
movq 0xc0(%rsp), %rax
vmovdqa 0x40(%rax), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x530(%rsp)
vmovdqa %xmm0, 0x520(%rsp)
vmovdqa 0x530(%rsp), %xmm0
vpxor 0x520(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x1310(%rsp)
vmovdqa %xmm0, 0x1300(%rsp)
vmovdqa 0x1310(%rsp), %xmm0
vmovdqa 0x1300(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x12f0(%rsp)
vmovdqa %xmm0, 0x12e0(%rsp)
vmovdqa 0x12f0(%rsp), %xmm0
vmovdqa 0x12e0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x12d0(%rsp)
vmovdqa %xmm0, 0x12c0(%rsp)
vmovdqa 0x12d0(%rsp), %xmm0
vmovdqa 0x12c0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x12b0(%rsp)
vmovdqa %xmm0, 0x12a0(%rsp)
vmovdqa 0x12b0(%rsp), %xmm0
vmovdqa 0x12a0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
vmovdqa 0x50(%rsp), %xmm0
vmovdqa %xmm1, 0x1290(%rsp)
vmovdqa %xmm0, 0x1280(%rsp)
vmovdqa 0x1290(%rsp), %xmm0
vmovdqa 0x1280(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x1270(%rsp)
vmovdqa %xmm0, 0x1260(%rsp)
vmovdqa 0x1270(%rsp), %xmm0
vmovdqa 0x1260(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x1250(%rsp)
vmovdqa %xmm0, 0x1240(%rsp)
vmovdqa 0x1250(%rsp), %xmm0
vmovdqa 0x1240(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x1230(%rsp)
vmovdqa %xmm0, 0x1220(%rsp)
vmovdqa 0x1230(%rsp), %xmm0
vmovdqa 0x1220(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x1210(%rsp)
vmovdqa %xmm0, 0x1200(%rsp)
vmovdqa 0x1210(%rsp), %xmm0
vmovdqa 0x1200(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x11f0(%rsp)
vmovdqa %xmm0, 0x11e0(%rsp)
vmovdqa 0x11f0(%rsp), %xmm0
vmovdqa 0x11e0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
movq 0xc8(%rsp), %rax
vmovdqa 0xa0(%rax), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x510(%rsp)
vmovdqa %xmm0, 0x500(%rsp)
vmovdqa 0x510(%rsp), %xmm0
vpxor 0x500(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x11d0(%rsp)
vmovdqa %xmm0, 0x11c0(%rsp)
vmovdqa 0x11d0(%rsp), %xmm0
vmovdqa 0x11c0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x14b0(%rsp)
vmovdqa %xmm0, 0x14a0(%rsp)
vmovdqa 0x14b0(%rsp), %xmm0
vmovdqa 0x14a0(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
movq 0xe0(%rsp), %rdi
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0x4f0(%rsp)
vmovdqa %xmm0, 0x4e0(%rsp)
vmovdqa 0x4f0(%rsp), %xmm0
vpxor 0x4e0(%rsp), %xmm0, %xmm0
callq 0x66f0
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x4d0(%rsp)
vmovdqa %xmm0, 0x4c0(%rsp)
vmovdqa 0x4d0(%rsp), %xmm0
vpxor 0x4c0(%rsp), %xmm0, %xmm1
movq 0xc0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x4b0(%rsp)
vmovdqa %xmm0, 0x4a0(%rsp)
vmovdqa 0x4b0(%rsp), %xmm0
vpxor 0x4a0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
movq 0xf0(%rsp), %rax
addq $0x10, %rax
movq %rax, 0xf0(%rsp)
movq 0xe0(%rsp), %rax
addq $0x10, %rax
movq %rax, 0xe0(%rsp)
movq 0xe8(%rsp), %rax
subq $0x10, %rax
movq %rax, 0xe8(%rsp)
jmp 0x3998
movq 0x88(%rsp), %rdi
callq 0x6730
movq 0xc8(%rsp), %rdi
callq 0x3370
vmovdqa %xmm0, 0x40(%rsp)
cmpq $0x0, 0xe8(%rsp)
jne 0x466b
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x490(%rsp)
vmovdqa %xmm0, 0x480(%rsp)
vmovdqa 0x490(%rsp), %xmm0
vpxor 0x480(%rsp), %xmm0, %xmm1
movq 0xf8(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0x470(%rsp)
vmovdqa %xmm0, 0x460(%rsp)
vmovdqa 0x470(%rsp), %xmm0
vpxor 0x460(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x450(%rsp)
vmovdqa %xmm0, 0x440(%rsp)
vmovdqa 0x450(%rsp), %xmm0
vpxor 0x440(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x430(%rsp)
vmovdqa %xmm0, 0x420(%rsp)
vmovdqa 0x430(%rsp), %xmm0
vpxor 0x420(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x11b0(%rsp)
vmovdqa %xmm0, 0x11a0(%rsp)
vmovdqa 0x11b0(%rsp), %xmm0
vmovdqa 0x11a0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x1190(%rsp)
vmovdqa %xmm0, 0x1180(%rsp)
vmovdqa 0x1190(%rsp), %xmm0
vmovdqa 0x1180(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x1170(%rsp)
vmovdqa %xmm0, 0x1160(%rsp)
vmovdqa 0x1170(%rsp), %xmm0
vmovdqa 0x1160(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x1150(%rsp)
vmovdqa %xmm0, 0x1140(%rsp)
vmovdqa 0x1150(%rsp), %xmm0
vmovdqa 0x1140(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x1130(%rsp)
vmovdqa %xmm0, 0x1120(%rsp)
vmovdqa 0x1130(%rsp), %xmm0
vmovdqa 0x1120(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x1110(%rsp)
vmovdqa %xmm0, 0x1100(%rsp)
vmovdqa 0x1110(%rsp), %xmm0
vmovdqa 0x1100(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x10f0(%rsp)
vmovdqa %xmm0, 0x10e0(%rsp)
vmovdqa 0x10f0(%rsp), %xmm0
vmovdqa 0x10e0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x10d0(%rsp)
vmovdqa %xmm0, 0x10c0(%rsp)
vmovdqa 0x10d0(%rsp), %xmm0
vmovdqa 0x10c0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x10b0(%rsp)
vmovdqa %xmm0, 0x10a0(%rsp)
vmovdqa 0x10b0(%rsp), %xmm0
vmovdqa 0x10a0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x1090(%rsp)
vmovdqa %xmm0, 0x1080(%rsp)
vmovdqa 0x1090(%rsp), %xmm0
vmovdqa 0x1080(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x1070(%rsp)
vmovdqa %xmm0, 0x1060(%rsp)
vmovdqa 0x1070(%rsp), %xmm0
vmovdqa 0x1060(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x1050(%rsp)
vmovdqa %xmm0, 0x1040(%rsp)
vmovdqa 0x1050(%rsp), %xmm0
vmovdqa 0x1040(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x1030(%rsp)
vmovdqa %xmm0, 0x1020(%rsp)
vmovdqa 0x1030(%rsp), %xmm0
vmovdqa 0x1020(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0x1490(%rsp)
vmovdqa %xmm0, 0x1480(%rsp)
vmovdqa 0x1490(%rsp), %xmm0
vmovdqa 0x1480(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0x410(%rsp)
vmovdqa %xmm0, 0x400(%rsp)
vmovdqa 0x410(%rsp), %xmm0
vpxor 0x400(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x3f0(%rsp)
vmovdqa %xmm0, 0x3e0(%rsp)
vmovdqa 0x3f0(%rsp), %xmm0
vpxor 0x3e0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
movq 0xd0(%rsp), %rdi
vmovdqa 0x90(%rsp), %xmm0
callq 0x6760
jmp 0x65d5
movq 0xe8(%rsp), %rax
andq $0xf, %rax
cmpq $0x0, %rax
jne 0x51e2
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x3d0(%rsp)
vmovdqa %xmm0, 0x3c0(%rsp)
vmovdqa 0x3d0(%rsp), %xmm0
vpxor 0x3c0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x3b0(%rsp)
vmovdqa %xmm0, 0x3a0(%rsp)
vmovdqa 0x3b0(%rsp), %xmm0
vpxor 0x3a0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x1010(%rsp)
vmovdqa %xmm0, 0x1000(%rsp)
vmovdqa 0x1010(%rsp), %xmm0
vmovdqa 0x1000(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xff0(%rsp)
vmovdqa %xmm0, 0xfe0(%rsp)
vmovdqa 0xff0(%rsp), %xmm0
vmovdqa 0xfe0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xfd0(%rsp)
vmovdqa %xmm0, 0xfc0(%rsp)
vmovdqa 0xfd0(%rsp), %xmm0
vmovdqa 0xfc0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xfb0(%rsp)
vmovdqa %xmm0, 0xfa0(%rsp)
vmovdqa 0xfb0(%rsp), %xmm0
vmovdqa 0xfa0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xf90(%rsp)
vmovdqa %xmm0, 0xf80(%rsp)
vmovdqa 0xf90(%rsp), %xmm0
vmovdqa 0xf80(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xf70(%rsp)
vmovdqa %xmm0, 0xf60(%rsp)
vmovdqa 0xf70(%rsp), %xmm0
vmovdqa 0xf60(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xf50(%rsp)
vmovdqa %xmm0, 0xf40(%rsp)
vmovdqa 0xf50(%rsp), %xmm0
vmovdqa 0xf40(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xf30(%rsp)
vmovdqa %xmm0, 0xf20(%rsp)
vmovdqa 0xf30(%rsp), %xmm0
vmovdqa 0xf20(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xf10(%rsp)
vmovdqa %xmm0, 0xf00(%rsp)
vmovdqa 0xf10(%rsp), %xmm0
vmovdqa 0xf00(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xef0(%rsp)
vmovdqa %xmm0, 0xee0(%rsp)
vmovdqa 0xef0(%rsp), %xmm0
vmovdqa 0xee0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xed0(%rsp)
vmovdqa %xmm0, 0xec0(%rsp)
vmovdqa 0xed0(%rsp), %xmm0
vmovdqa 0xec0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xeb0(%rsp)
vmovdqa %xmm0, 0xea0(%rsp)
vmovdqa 0xeb0(%rsp), %xmm0
vmovdqa 0xea0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0xe90(%rsp)
vmovdqa %xmm0, 0xe80(%rsp)
vmovdqa 0xe90(%rsp), %xmm0
vmovdqa 0xe80(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0xe70(%rsp)
vmovdqa %xmm0, 0xe60(%rsp)
vmovdqa 0xe70(%rsp), %xmm0
vmovdqa 0xe60(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0xe50(%rsp)
vmovdqa %xmm0, 0xe40(%rsp)
vmovdqa 0xe50(%rsp), %xmm0
vmovdqa 0xe40(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0xe30(%rsp)
vmovdqa %xmm0, 0xe20(%rsp)
vmovdqa 0xe30(%rsp), %xmm0
vmovdqa 0xe20(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0xe10(%rsp)
vmovdqa %xmm0, 0xe00(%rsp)
vmovdqa 0xe10(%rsp), %xmm0
vmovdqa 0xe00(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0x1470(%rsp)
vmovdqa %xmm0, 0x1460(%rsp)
vmovdqa 0x1470(%rsp), %xmm0
vmovdqa 0x1460(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
movq 0xe0(%rsp), %rdi
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0x390(%rsp)
vmovdqa %xmm0, 0x380(%rsp)
vmovdqa 0x390(%rsp), %xmm0
vpxor 0x380(%rsp), %xmm0, %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x370(%rsp)
vmovdqa %xmm0, 0x360(%rsp)
vmovdqa 0x370(%rsp), %xmm0
vpxor 0x360(%rsp), %xmm0, %xmm0
callq 0x6760
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xf8(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0x350(%rsp)
vmovdqa %xmm0, 0x340(%rsp)
vmovdqa 0x350(%rsp), %xmm0
vpxor 0x340(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x330(%rsp)
vmovdqa %xmm0, 0x320(%rsp)
vmovdqa 0x330(%rsp), %xmm0
vpxor 0x320(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x310(%rsp)
vmovdqa %xmm0, 0x300(%rsp)
vmovdqa 0x310(%rsp), %xmm0
vpxor 0x300(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xdf0(%rsp)
vmovdqa %xmm0, 0xde0(%rsp)
vmovdqa 0xdf0(%rsp), %xmm0
vmovdqa 0xde0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xdd0(%rsp)
vmovdqa %xmm0, 0xdc0(%rsp)
vmovdqa 0xdd0(%rsp), %xmm0
vmovdqa 0xdc0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xdb0(%rsp)
vmovdqa %xmm0, 0xda0(%rsp)
vmovdqa 0xdb0(%rsp), %xmm0
vmovdqa 0xda0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xd90(%rsp)
vmovdqa %xmm0, 0xd80(%rsp)
vmovdqa 0xd90(%rsp), %xmm0
vmovdqa 0xd80(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xd70(%rsp)
vmovdqa %xmm0, 0xd60(%rsp)
vmovdqa 0xd70(%rsp), %xmm0
vmovdqa 0xd60(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xd50(%rsp)
vmovdqa %xmm0, 0xd40(%rsp)
vmovdqa 0xd50(%rsp), %xmm0
vmovdqa 0xd40(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xd30(%rsp)
vmovdqa %xmm0, 0xd20(%rsp)
vmovdqa 0xd30(%rsp), %xmm0
vmovdqa 0xd20(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xd10(%rsp)
vmovdqa %xmm0, 0xd00(%rsp)
vmovdqa 0xd10(%rsp), %xmm0
vmovdqa 0xd00(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0xcf0(%rsp)
vmovdqa %xmm0, 0xce0(%rsp)
vmovdqa 0xcf0(%rsp), %xmm0
vmovdqa 0xce0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0xcd0(%rsp)
vmovdqa %xmm0, 0xcc0(%rsp)
vmovdqa 0xcd0(%rsp), %xmm0
vmovdqa 0xcc0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0xcb0(%rsp)
vmovdqa %xmm0, 0xca0(%rsp)
vmovdqa 0xcb0(%rsp), %xmm0
vmovdqa 0xca0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0xc90(%rsp)
vmovdqa %xmm0, 0xc80(%rsp)
vmovdqa 0xc90(%rsp), %xmm0
vmovdqa 0xc80(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0xc70(%rsp)
vmovdqa %xmm0, 0xc60(%rsp)
vmovdqa 0xc70(%rsp), %xmm0
vmovdqa 0xc60(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0x1450(%rsp)
vmovdqa %xmm0, 0x1440(%rsp)
vmovdqa 0x1450(%rsp), %xmm0
vmovdqa 0x1440(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0x2f0(%rsp)
vmovdqa %xmm0, 0x2e0(%rsp)
vmovdqa 0x2f0(%rsp), %xmm0
vpxor 0x2e0(%rsp), %xmm0, %xmm1
movq 0xf8(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0x2d0(%rsp)
vmovdqa %xmm0, 0x2c0(%rsp)
vmovdqa 0x2d0(%rsp), %xmm0
vpxor 0x2c0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
movq 0xd0(%rsp), %rdi
vmovdqa 0x90(%rsp), %xmm0
callq 0x6760
jmp 0x65d3
cmpq $0x10, 0xe8(%rsp)
jbe 0x5773
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xc50(%rsp)
vmovdqa %xmm0, 0xc40(%rsp)
vmovdqa 0xc50(%rsp), %xmm0
vmovdqa 0xc40(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xc30(%rsp)
vmovdqa %xmm0, 0xc20(%rsp)
vmovdqa 0xc30(%rsp), %xmm0
vmovdqa 0xc20(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xc10(%rsp)
vmovdqa %xmm0, 0xc00(%rsp)
vmovdqa 0xc10(%rsp), %xmm0
vmovdqa 0xc00(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xbf0(%rsp)
vmovdqa %xmm0, 0xbe0(%rsp)
vmovdqa 0xbf0(%rsp), %xmm0
vmovdqa 0xbe0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xbd0(%rsp)
vmovdqa %xmm0, 0xbc0(%rsp)
vmovdqa 0xbd0(%rsp), %xmm0
vmovdqa 0xbc0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xbb0(%rsp)
vmovdqa %xmm0, 0xba0(%rsp)
vmovdqa 0xbb0(%rsp), %xmm0
vmovdqa 0xba0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xb90(%rsp)
vmovdqa %xmm0, 0xb80(%rsp)
vmovdqa 0xb90(%rsp), %xmm0
vmovdqa 0xb80(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xb70(%rsp)
vmovdqa %xmm0, 0xb60(%rsp)
vmovdqa 0xb70(%rsp), %xmm0
vmovdqa 0xb60(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xb50(%rsp)
vmovdqa %xmm0, 0xb40(%rsp)
vmovdqa 0xb50(%rsp), %xmm0
vmovdqa 0xb40(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xb30(%rsp)
vmovdqa %xmm0, 0xb20(%rsp)
vmovdqa 0xb30(%rsp), %xmm0
vmovdqa 0xb20(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xb10(%rsp)
vmovdqa %xmm0, 0xb00(%rsp)
vmovdqa 0xb10(%rsp), %xmm0
vmovdqa 0xb00(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xaf0(%rsp)
vmovdqa %xmm0, 0xae0(%rsp)
vmovdqa 0xaf0(%rsp), %xmm0
vmovdqa 0xae0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0xad0(%rsp)
vmovdqa %xmm0, 0xac0(%rsp)
vmovdqa 0xad0(%rsp), %xmm0
vmovdqa 0xac0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0xab0(%rsp)
vmovdqa %xmm0, 0xaa0(%rsp)
vmovdqa 0xab0(%rsp), %xmm0
vmovdqa 0xaa0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0xa90(%rsp)
vmovdqa %xmm0, 0xa80(%rsp)
vmovdqa 0xa90(%rsp), %xmm0
vmovdqa 0xa80(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0xa70(%rsp)
vmovdqa %xmm0, 0xa60(%rsp)
vmovdqa 0xa70(%rsp), %xmm0
vmovdqa 0xa60(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0xa50(%rsp)
vmovdqa %xmm0, 0xa40(%rsp)
vmovdqa 0xa50(%rsp), %xmm0
vmovdqa 0xa40(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0x1430(%rsp)
vmovdqa %xmm0, 0x1420(%rsp)
vmovdqa 0x1430(%rsp), %xmm0
vmovdqa 0x1420(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
movq 0xe0(%rsp), %rdi
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0x2b0(%rsp)
vmovdqa %xmm0, 0x2a0(%rsp)
vmovdqa 0x2b0(%rsp), %xmm0
vpxor 0x2a0(%rsp), %xmm0, %xmm0
callq 0x6760
movq 0xe0(%rsp), %rax
addq $0x10, %rax
movq %rax, 0xe0(%rsp)
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
movq 0xe8(%rsp), %rax
andq $0xf, %rax
movq %rax, 0xe8(%rsp)
movq 0xf0(%rsp), %rdi
movq 0xe8(%rsp), %rsi
callq 0x36d0
movl $0x10, %eax
subq 0xe8(%rsp), %rax
movl %eax, %edi
callq 0x67a0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x290(%rsp)
vmovdqa %xmm0, 0x280(%rsp)
vmovdqa 0x290(%rsp), %xmm0
vpxor 0x280(%rsp), %xmm0, %xmm0
vmovaps %xmm0, 0x10(%rsp)
vmovdqa 0x90(%rsp), %xmm0
vmovaps %xmm0, (%rsp)
movq 0xf8(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
movq 0xe8(%rsp), %rdi
callq 0x67f0
vmovaps (%rsp), %xmm2
vmovaps 0x10(%rsp), %xmm1
vmovdqa %xmm2, 0x14d0(%rsp)
vmovdqa %xmm0, 0x14c0(%rsp)
vmovdqa 0x14d0(%rsp), %xmm0
vpor 0x14c0(%rsp), %xmm0, %xmm0
vmovdqa %xmm1, 0x270(%rsp)
vmovdqa %xmm0, 0x260(%rsp)
vmovdqa 0x270(%rsp), %xmm0
vpxor 0x260(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x250(%rsp)
vmovdqa %xmm0, 0x240(%rsp)
vmovdqa 0x250(%rsp), %xmm0
vpxor 0x240(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x230(%rsp)
vmovdqa %xmm0, 0x220(%rsp)
vmovdqa 0x230(%rsp), %xmm0
vpxor 0x220(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x210(%rsp)
vmovdqa %xmm0, 0x200(%rsp)
vmovdqa 0x210(%rsp), %xmm0
vpxor 0x200(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xa30(%rsp)
vmovdqa %xmm0, 0xa20(%rsp)
vmovdqa 0xa30(%rsp), %xmm0
vmovdqa 0xa20(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xa10(%rsp)
vmovdqa %xmm0, 0xa00(%rsp)
vmovdqa 0xa10(%rsp), %xmm0
vmovdqa 0xa00(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x9f0(%rsp)
vmovdqa %xmm0, 0x9e0(%rsp)
vmovdqa 0x9f0(%rsp), %xmm0
vmovdqa 0x9e0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x9d0(%rsp)
vmovdqa %xmm0, 0x9c0(%rsp)
vmovdqa 0x9d0(%rsp), %xmm0
vmovdqa 0x9c0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x9b0(%rsp)
vmovdqa %xmm0, 0x9a0(%rsp)
vmovdqa 0x9b0(%rsp), %xmm0
vmovdqa 0x9a0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x990(%rsp)
vmovdqa %xmm0, 0x980(%rsp)
vmovdqa 0x990(%rsp), %xmm0
vmovdqa 0x980(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x970(%rsp)
vmovdqa %xmm0, 0x960(%rsp)
vmovdqa 0x970(%rsp), %xmm0
vmovdqa 0x960(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x950(%rsp)
vmovdqa %xmm0, 0x940(%rsp)
vmovdqa 0x950(%rsp), %xmm0
vmovdqa 0x940(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x930(%rsp)
vmovdqa %xmm0, 0x920(%rsp)
vmovdqa 0x930(%rsp), %xmm0
vmovdqa 0x920(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x910(%rsp)
vmovdqa %xmm0, 0x900(%rsp)
vmovdqa 0x910(%rsp), %xmm0
vmovdqa 0x900(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x8f0(%rsp)
vmovdqa %xmm0, 0x8e0(%rsp)
vmovdqa 0x8f0(%rsp), %xmm0
vmovdqa 0x8e0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x8d0(%rsp)
vmovdqa %xmm0, 0x8c0(%rsp)
vmovdqa 0x8d0(%rsp), %xmm0
vmovdqa 0x8c0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x8b0(%rsp)
vmovdqa %xmm0, 0x8a0(%rsp)
vmovdqa 0x8b0(%rsp), %xmm0
vmovdqa 0x8a0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x890(%rsp)
vmovdqa %xmm0, 0x880(%rsp)
vmovdqa 0x890(%rsp), %xmm0
vmovdqa 0x880(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x870(%rsp)
vmovdqa %xmm0, 0x860(%rsp)
vmovdqa 0x870(%rsp), %xmm0
vmovdqa 0x860(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x850(%rsp)
vmovdqa %xmm0, 0x840(%rsp)
vmovdqa 0x850(%rsp), %xmm0
vmovdqa 0x840(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x830(%rsp)
vmovdqa %xmm0, 0x820(%rsp)
vmovdqa 0x830(%rsp), %xmm0
vmovdqa 0x820(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0x1410(%rsp)
vmovdqa %xmm0, 0x1400(%rsp)
vmovdqa 0x1410(%rsp), %xmm0
vmovdqa 0x1400(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x1f0(%rsp)
vmovdqa %xmm0, 0x1e0(%rsp)
vmovdqa 0x1f0(%rsp), %xmm0
vpxor 0x1e0(%rsp), %xmm0, %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0x1d0(%rsp)
vmovdqa %xmm0, 0x1c0(%rsp)
vmovdqa 0x1d0(%rsp), %xmm0
vpxor 0x1c0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
movq 0xe0(%rsp), %rdi
vmovdqa 0x60(%rsp), %xmm0
movq 0xe8(%rsp), %rsi
callq 0x68d0
movq 0xd0(%rsp), %rdi
vmovdqa 0x60(%rsp), %xmm0
movl $0x10, %esi
subq 0xe8(%rsp), %rsi
callq 0x6970
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xf8(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0x1b0(%rsp)
vmovdqa %xmm0, 0x1a0(%rsp)
vmovdqa 0x1b0(%rsp), %xmm0
vpxor 0x1a0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x190(%rsp)
vmovdqa %xmm0, 0x180(%rsp)
vmovdqa 0x190(%rsp), %xmm0
vpxor 0x180(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x170(%rsp)
vmovdqa %xmm0, 0x160(%rsp)
vmovdqa 0x170(%rsp), %xmm0
vpxor 0x160(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x150(%rsp)
vmovdqa %xmm0, 0x140(%rsp)
vmovdqa 0x150(%rsp), %xmm0
vpxor 0x140(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x810(%rsp)
vmovdqa %xmm0, 0x800(%rsp)
vmovdqa 0x810(%rsp), %xmm0
vmovdqa 0x800(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x7f0(%rsp)
vmovdqa %xmm0, 0x7e0(%rsp)
vmovdqa 0x7f0(%rsp), %xmm0
vmovdqa 0x7e0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x7d0(%rsp)
vmovdqa %xmm0, 0x7c0(%rsp)
vmovdqa 0x7d0(%rsp), %xmm0
vmovdqa 0x7c0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x7b0(%rsp)
vmovdqa %xmm0, 0x7a0(%rsp)
vmovdqa 0x7b0(%rsp), %xmm0
vmovdqa 0x7a0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x790(%rsp)
vmovdqa %xmm0, 0x780(%rsp)
vmovdqa 0x790(%rsp), %xmm0
vmovdqa 0x780(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x770(%rsp)
vmovdqa %xmm0, 0x760(%rsp)
vmovdqa 0x770(%rsp), %xmm0
vmovdqa 0x760(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x750(%rsp)
vmovdqa %xmm0, 0x740(%rsp)
vmovdqa 0x750(%rsp), %xmm0
vmovdqa 0x740(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x730(%rsp)
vmovdqa %xmm0, 0x720(%rsp)
vmovdqa 0x730(%rsp), %xmm0
vmovdqa 0x720(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x710(%rsp)
vmovdqa %xmm0, 0x700(%rsp)
vmovdqa 0x710(%rsp), %xmm0
vmovdqa 0x700(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x6f0(%rsp)
vmovdqa %xmm0, 0x6e0(%rsp)
vmovdqa 0x6f0(%rsp), %xmm0
vmovdqa 0x6e0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
movq 0xc0(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x6d0(%rsp)
vmovdqa %xmm0, 0x6c0(%rsp)
vmovdqa 0x6d0(%rsp), %xmm0
vmovdqa 0x6c0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x6b0(%rsp)
vmovdqa %xmm0, 0x6a0(%rsp)
vmovdqa 0x6b0(%rsp), %xmm0
vmovdqa 0x6a0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x690(%rsp)
vmovdqa %xmm0, 0x680(%rsp)
vmovdqa 0x690(%rsp), %xmm0
vmovdqa 0x680(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x670(%rsp)
vmovdqa %xmm0, 0x660(%rsp)
vmovdqa 0x670(%rsp), %xmm0
vmovdqa 0x660(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x650(%rsp)
vmovdqa %xmm0, 0x640(%rsp)
vmovdqa 0x650(%rsp), %xmm0
vmovdqa 0x640(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x630(%rsp)
vmovdqa %xmm0, 0x620(%rsp)
vmovdqa 0x630(%rsp), %xmm0
vmovdqa 0x620(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x610(%rsp)
vmovdqa %xmm0, 0x600(%rsp)
vmovdqa 0x610(%rsp), %xmm0
vmovdqa 0x600(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xc8(%rsp), %rax
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0x13f0(%rsp)
vmovdqa %xmm0, 0x13e0(%rsp)
vmovdqa 0x13f0(%rsp), %xmm0
vmovdqa 0x13e0(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x90(%rsp), %xmm1
movq 0xf8(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0x130(%rsp)
vmovdqa %xmm0, 0x120(%rsp)
vmovdqa 0x130(%rsp), %xmm0
vpxor 0x120(%rsp), %xmm0, %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0x110(%rsp)
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0x110(%rsp), %xmm0
vpxor 0x100(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
movq 0xd0(%rsp), %rdi
vmovdqa 0x90(%rsp), %xmm0
movq 0xe8(%rsp), %rsi
callq 0x6a10
jmp 0x65d5
addq $0x14e8, %rsp           # imm = 0x14E8
retq
nopl (%rax)