// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/aegis256/aesni/encrypt.c
// Function: aegis256_initialization
void aegis256_initialization(const unsigned char *key,
       const unsigned char *iv, __m128i *state)
{
        int i;

        __m128i  tmp;
        __m128i  keytmp1 = _mm_load_si128((__m128i*)key);
        __m128i  keytmp2 = _mm_load_si128((__m128i*)(key+16));
        __m128i  ivtmp1  = _mm_load_si128((__m128i*)iv);
        __m128i  ivtmp2  = _mm_load_si128((__m128i*)(iv+16));


  	state[0] = ivtmp1;
	state[1] = ivtmp2;
	state[2] = _mm_set_epi8(0xdd,0x28,0xb5,0x73,0x42,0x31,0x11,0x20,0xf1,0x2f,0xc2,0x6d,0x55,0x18,0x3d,0xdb);
        state[3] = _mm_set_epi8(0x62,0x79,0xe9,0x90,0x59,0x37,0x22,0x15,0x0d,0x08,0x05,0x03,0x02,0x01,0x1, 0x0);
        state[4] = _mm_xor_si128(keytmp1, _mm_set_epi8(0x62,0x79,0xe9,0x90,0x59,0x37,0x22,0x15,0x0d,0x08,0x05,0x03,0x02,0x01,0x1,0x0));
        state[5] = _mm_xor_si128(keytmp2, _mm_set_epi8(0xdd,0x28,0xb5,0x73,0x42,0x31,0x11,0x20,0xf1,0x2f,0xc2,0x6d,0x55,0x18,0x3d,0xdb));


        state[0] = _mm_xor_si128(state[0], keytmp1);
        state[1] = _mm_xor_si128(state[1], keytmp2);

        keytmp1 = _mm_xor_si128(keytmp1,ivtmp1);
        keytmp2 = _mm_xor_si128(keytmp2,ivtmp2);

        for (i = 0; i < 8; i++) {
             //state update function
             tmp = state[5];
             state[5] = _mm_aesenc_si128(state[4],state[5]);
             state[4] = _mm_aesenc_si128(state[3],state[4]);
             state[3] = _mm_aesenc_si128(state[2],state[3]);
             state[2] = _mm_aesenc_si128(state[1],state[2]);
             state[1] = _mm_aesenc_si128(state[0],state[1]);
             state[0] = _mm_aesenc_si128(tmp,state[0]);

             //xor msg with state[0]
             keytmp1  = _mm_xor_si128(keytmp1,ivtmp1);
             state[0] = _mm_xor_si128(state[0], keytmp1);


             //state update function
             tmp = state[5];
             state[5] = _mm_aesenc_si128(state[4],state[5]);
             state[4] = _mm_aesenc_si128(state[3],state[4]);
             state[3] = _mm_aesenc_si128(state[2],state[3]);
             state[2] = _mm_aesenc_si128(state[1],state[2]);
             state[1] = _mm_aesenc_si128(state[0],state[1]);
             state[0] = _mm_aesenc_si128(tmp,state[0]);

             //xor msg with state[0]
             keytmp2  = _mm_xor_si128(keytmp2, ivtmp2);
             state[0] = _mm_xor_si128(state[0], keytmp2);
        }
}

// Assembly:
subq $0x358, %rsp            # imm = 0x358
movq %rdi, -0x18(%rsp)
movq %rsi, -0x20(%rsp)
movq %rdx, -0x28(%rsp)
movq -0x18(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, -0x50(%rsp)
movq -0x18(%rsp), %rax
addq $0x10, %rax
movq %rax, (%rsp)
movq (%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, -0x60(%rsp)
movq -0x20(%rsp), %rax
movq %rax, -0x8(%rsp)
movq -0x8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, -0x70(%rsp)
movq -0x20(%rsp), %rax
addq $0x10, %rax
movq %rax, -0x10(%rsp)
movq -0x10(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x70(%rsp), %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, (%rax)
vmovdqa -0x80(%rsp), %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x10(%rax)
movb $-0x23, 0x8f(%rsp)
movb $0x28, 0x8e(%rsp)
movb $-0x4b, 0x8d(%rsp)
movb $0x73, 0x8c(%rsp)
movb $0x42, 0x8b(%rsp)
movb $0x31, 0x8a(%rsp)
movb $0x11, 0x89(%rsp)
movb $0x20, 0x88(%rsp)
movb $-0xf, 0x87(%rsp)
movb $0x2f, 0x86(%rsp)
movb $-0x3e, 0x85(%rsp)
movb $0x6d, 0x84(%rsp)
movb $0x55, 0x83(%rsp)
movb $0x18, 0x82(%rsp)
movb $0x3d, 0x81(%rsp)
movb $-0x25, 0x80(%rsp)
movzbl 0x80(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x81(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x82(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x83(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x84(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x85(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x86(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x87(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x88(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x89(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x8a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x8b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x8c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x8d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x8e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x8f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0x70(%rsp), %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x20(%rax)
movb $0x62, 0x6f(%rsp)
movb $0x79, 0x6e(%rsp)
movb $-0x17, 0x6d(%rsp)
movb $-0x70, 0x6c(%rsp)
movb $0x59, 0x6b(%rsp)
movb $0x37, 0x6a(%rsp)
movb $0x22, 0x69(%rsp)
movb $0x15, 0x68(%rsp)
movb $0xd, 0x67(%rsp)
movb $0x8, 0x66(%rsp)
movb $0x5, 0x65(%rsp)
movb $0x3, 0x64(%rsp)
movb $0x2, 0x63(%rsp)
movb $0x1, 0x62(%rsp)
movb $0x1, 0x61(%rsp)
movb $0x0, 0x60(%rsp)
movzbl 0x60(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x61(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x62(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x63(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x64(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x65(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x66(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x67(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x68(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x69(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x6a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x6b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x6c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x6d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x6e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x6f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x30(%rax)
vmovdqa -0x50(%rsp), %xmm1
movb $0x62, 0x4f(%rsp)
movb $0x79, 0x4e(%rsp)
movb $-0x17, 0x4d(%rsp)
movb $-0x70, 0x4c(%rsp)
movb $0x59, 0x4b(%rsp)
movb $0x37, 0x4a(%rsp)
movb $0x22, 0x49(%rsp)
movb $0x15, 0x48(%rsp)
movb $0xd, 0x47(%rsp)
movb $0x8, 0x46(%rsp)
movb $0x5, 0x45(%rsp)
movb $0x3, 0x44(%rsp)
movb $0x2, 0x43(%rsp)
movb $0x1, 0x42(%rsp)
movb $0x1, 0x41(%rsp)
movb $0x0, 0x40(%rsp)
movzbl 0x40(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x41(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x42(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x43(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x44(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x45(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x46(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x47(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x48(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x49(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x4a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x4b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x4c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x4d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x4e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x4f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x30(%rsp)
vmovdqa 0x30(%rsp), %xmm0
vmovdqa %xmm1, 0x1c0(%rsp)
vmovdqa %xmm0, 0x1b0(%rsp)
vmovdqa 0x1c0(%rsp), %xmm0
vmovdqa 0x1b0(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x40(%rax)
vmovdqa -0x60(%rsp), %xmm1
movb $-0x23, 0x2f(%rsp)
movb $0x28, 0x2e(%rsp)
movb $-0x4b, 0x2d(%rsp)
movb $0x73, 0x2c(%rsp)
movb $0x42, 0x2b(%rsp)
movb $0x31, 0x2a(%rsp)
movb $0x11, 0x29(%rsp)
movb $0x20, 0x28(%rsp)
movb $-0xf, 0x27(%rsp)
movb $0x2f, 0x26(%rsp)
movb $-0x3e, 0x25(%rsp)
movb $0x6d, 0x24(%rsp)
movb $0x55, 0x23(%rsp)
movb $0x18, 0x22(%rsp)
movb $0x3d, 0x21(%rsp)
movb $-0x25, 0x20(%rsp)
movzbl 0x20(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x21(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x22(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x23(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x24(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x25(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x26(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x27(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x28(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x29(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x2a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x2b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x2c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x2d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x2e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x2f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x10(%rsp)
vmovdqa 0x10(%rsp), %xmm0
vmovdqa %xmm1, 0x1a0(%rsp)
vmovdqa %xmm0, 0x190(%rsp)
vmovdqa 0x1a0(%rsp), %xmm0
vpxor 0x190(%rsp), %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x50(%rax)
movq -0x28(%rsp), %rax
vmovdqa (%rax), %xmm1
vmovdqa -0x50(%rsp), %xmm0
vmovdqa %xmm1, 0x180(%rsp)
vmovdqa %xmm0, 0x170(%rsp)
vmovdqa 0x180(%rsp), %xmm0
vpxor 0x170(%rsp), %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq -0x28(%rsp), %rax
vmovdqa 0x10(%rax), %xmm1
vmovdqa -0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x160(%rsp)
vmovdqa %xmm0, 0x150(%rsp)
vmovdqa 0x160(%rsp), %xmm0
vpxor 0x150(%rsp), %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x10(%rax)
vmovdqa -0x50(%rsp), %xmm1
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x140(%rsp)
vmovdqa %xmm0, 0x130(%rsp)
vmovdqa 0x140(%rsp), %xmm0
vpxor 0x130(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, -0x50(%rsp)
vmovdqa -0x60(%rsp), %xmm1
vmovdqa -0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x120(%rsp)
vmovdqa %xmm0, 0x110(%rsp)
vmovdqa 0x120(%rsp), %xmm0
vpxor 0x110(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, -0x60(%rsp)
movl $0x0, -0x2c(%rsp)
cmpl $0x8, -0x2c(%rsp)
jge 0x1c9a
movq -0x28(%rsp), %rax
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm0, -0x40(%rsp)
movq -0x28(%rsp), %rax
vmovdqa 0x40(%rax), %xmm1
movq -0x28(%rsp), %rax
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x340(%rsp)
vmovdqa %xmm0, 0x330(%rsp)
vmovdqa 0x340(%rsp), %xmm0
vmovdqa 0x330(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x50(%rax)
movq -0x28(%rsp), %rax
vmovdqa 0x30(%rax), %xmm1
movq -0x28(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x320(%rsp)
vmovdqa %xmm0, 0x310(%rsp)
vmovdqa 0x320(%rsp), %xmm0
vmovdqa 0x310(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x40(%rax)
movq -0x28(%rsp), %rax
vmovdqa 0x20(%rax), %xmm1
movq -0x28(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x300(%rsp)
vmovdqa %xmm0, 0x2f0(%rsp)
vmovdqa 0x300(%rsp), %xmm0
vmovdqa 0x2f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x30(%rax)
movq -0x28(%rsp), %rax
vmovdqa 0x10(%rax), %xmm1
movq -0x28(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x2e0(%rsp)
vmovdqa %xmm0, 0x2d0(%rsp)
vmovdqa 0x2e0(%rsp), %xmm0
vmovdqa 0x2d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x20(%rax)
movq -0x28(%rsp), %rax
vmovdqa (%rax), %xmm1
movq -0x28(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x2c0(%rsp)
vmovdqa %xmm0, 0x2b0(%rsp)
vmovdqa 0x2c0(%rsp), %xmm0
vmovdqa 0x2b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x10(%rax)
vmovdqa -0x40(%rsp), %xmm1
movq -0x28(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x2a0(%rsp)
vmovdqa %xmm0, 0x290(%rsp)
vmovdqa 0x2a0(%rsp), %xmm0
vmovdqa 0x290(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, (%rax)
vmovdqa -0x50(%rsp), %xmm1
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x100(%rsp)
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0x100(%rsp), %xmm0
vpxor 0xf0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, -0x50(%rsp)
movq -0x28(%rsp), %rax
vmovdqa (%rax), %xmm1
vmovdqa -0x50(%rsp), %xmm0
vmovdqa %xmm1, 0xe0(%rsp)
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vpxor 0xd0(%rsp), %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq -0x28(%rsp), %rax
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm0, -0x40(%rsp)
movq -0x28(%rsp), %rax
vmovdqa 0x40(%rax), %xmm1
movq -0x28(%rsp), %rax
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x280(%rsp)
vmovdqa %xmm0, 0x270(%rsp)
vmovdqa 0x280(%rsp), %xmm0
vmovdqa 0x270(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x50(%rax)
movq -0x28(%rsp), %rax
vmovdqa 0x30(%rax), %xmm1
movq -0x28(%rsp), %rax
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x260(%rsp)
vmovdqa %xmm0, 0x250(%rsp)
vmovdqa 0x260(%rsp), %xmm0
vmovdqa 0x250(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x40(%rax)
movq -0x28(%rsp), %rax
vmovdqa 0x20(%rax), %xmm1
movq -0x28(%rsp), %rax
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x240(%rsp)
vmovdqa %xmm0, 0x230(%rsp)
vmovdqa 0x240(%rsp), %xmm0
vmovdqa 0x230(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x30(%rax)
movq -0x28(%rsp), %rax
vmovdqa 0x10(%rax), %xmm1
movq -0x28(%rsp), %rax
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x220(%rsp)
vmovdqa %xmm0, 0x210(%rsp)
vmovdqa 0x220(%rsp), %xmm0
vmovdqa 0x210(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x20(%rax)
movq -0x28(%rsp), %rax
vmovdqa (%rax), %xmm1
movq -0x28(%rsp), %rax
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x200(%rsp)
vmovdqa %xmm0, 0x1f0(%rsp)
vmovdqa 0x200(%rsp), %xmm0
vmovdqa 0x1f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, 0x10(%rax)
vmovdqa -0x40(%rsp), %xmm1
movq -0x28(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x1e0(%rsp)
vmovdqa %xmm0, 0x1d0(%rsp)
vmovdqa 0x1e0(%rsp), %xmm0
vmovdqa 0x1d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, (%rax)
vmovdqa -0x60(%rsp), %xmm1
vmovdqa -0x80(%rsp), %xmm0
vmovdqa %xmm1, 0xc0(%rsp)
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xc0(%rsp), %xmm0
vpxor 0xb0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, -0x60(%rsp)
movq -0x28(%rsp), %rax
vmovdqa (%rax), %xmm1
vmovdqa -0x60(%rsp), %xmm0
vmovdqa %xmm1, 0xa0(%rsp)
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm0
vpxor 0x90(%rsp), %xmm0, %xmm0
movq -0x28(%rsp), %rax
vmovdqa %xmm0, (%rax)
movl -0x2c(%rsp), %eax
addl $0x1, %eax
movl %eax, -0x2c(%rsp)
jmp 0x1835
addq $0x358, %rsp            # imm = 0x358
retq
nopw %cs:(%rax,%rax)