// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/paeq128tnm/aesni/encrypt.cpp
// Function: GenerateNonceOpt(unsigned char*, unsigned char const*, unsigned long long, unsigned char const*, unsigned long long, unsigned char const*)
int GenerateNonceOpt(unsigned char* output, const unsigned char *m, unsigned long long mlen,
	const unsigned char *ad, unsigned long long adlen,
	const unsigned char *k)
	//Generate a nonce as a hash of the plaintext & AD by the AESQ-sponge function
{
	//Does not work for keys longer than 192 bits
	if (CRYPTO_KEYBYTES >24)
	{
		memset(output, 0, CRYPTO_NPUBBYTES);
		return -1;
	}

	__m128i State[4];  //sponge internal state
	__m128i StateOut[4];  //sponge internal state
	State[0] = State[1] = State[2] = State[3] = _mm_set_epi64x(0, 0);

	__m128i Injection[2]; //We inject into the first 32 bytes


	//Plaintext length -- 12 bytes and AD length - 12 bytes
	Injection[0] = _mm_set_epi64x(adlen << (CRYPTO_LENGTH*8-64), mlen);
	Injection[1] = _mm_set_epi64x(0, adlen >> (CRYPTO_LENGTH * 8 - 64));


	//Key and nonce length
	__m128i tmp = _mm_set_epi64x(CRYPTO_KEYBYTES + (CRYPTO_NPUBBYTES << 8), 0);
	Injection[1] = _mm_xor_si128(Injection[1], tmp);

	//Add key
	__m128i key = _mm_loadu_si128((__m128i*)k);
	Injection[1] = _mm_xor_si128(Injection[1], _mm_slli_si128(key, 2*CRYPTO_LENGTH+2-16)); //6 key bytes inserted

	//Iteration
	State[0] = _mm_xor_si128(State[0], Injection[0]);
	State[1] = _mm_xor_si128(State[1], Injection[1]);
	FPermAsm(State, StateOut);


	//Main loop
	unsigned state_index = 0;
	unsigned long long message_index = 0;
	unsigned long long ad_index = 0;
	unsigned char buf[32];

	//Remaining key bytes
	Injection[0] = _mm_srli_si128(key, CRYPTO_KEYBYTES - (2 * CRYPTO_LENGTH + 2 - 16));
	key = _mm_xor_si128(key, key);
	state_index = 2 * CRYPTO_LENGTH + 2 - 16;
	State[0] = _mm_xor_si128(StateOut[0], Injection[0]);
	State[1] = StateOut[1];
	State[2] = StateOut[2];
	State[3] = StateOut[3];

	//Injecting plaintext
	while (mlen >message_index) //we can load 32-byte chunks
	{
		if ((state_index == 0) && (mlen >= message_index + 32))
		{
			Injection[0] = _mm_loadu_si128((__m128i*)(m + message_index));
			Injection[1] = _mm_loadu_si128((__m128i*)(m + message_index+16));
			state_index = 32;
			message_index += 32;
		}
		else
		{
			memset(buf, 0, 32);
			if ((32 - state_index) <= (mlen - message_index))
			{
				memcpy(buf + state_index, m + message_index, 32 - state_index);
				message_index += 32-state_index;
				state_index = 32;

			}
			else
			{
				memcpy(buf + state_index, m + message_index, mlen - message_index);
				state_index += mlen - message_index;
				message_index = mlen;
			}
			Injection[0] = _mm_loadu_si128((__m128i*)buf);
			Injection[1] = _mm_loadu_si128((__m128i*)(buf + 16));
		}
		State[0] = _mm_xor_si128(State[0], Injection[0]);
		State[1] = _mm_xor_si128(State[1], Injection[1]);
		if (state_index == 32)
		{
			FPermAsm(State, StateOut);
			State[0] = StateOut[0];
			State[1] = StateOut[1];
			State[2] = StateOut[2];
			State[3] = StateOut[3];
			state_index = 0;
		}
	}//end of plaintext loading

	//Injecting AD
	while (adlen >ad_index) //we can load 32-byte chunks
	{
		if ((state_index == 0) && (adlen >= ad_index + 32))
		{
			Injection[0] = _mm_loadu_si128((__m128i*)(ad + ad_index));
			Injection[1] = _mm_loadu_si128((__m128i*)(ad + ad_index + 16));
			state_index = 32;
			ad_index += 32;
		}
		else
		{
			memset(buf, 0, 32);
			if ((32 - state_index) <= (adlen - ad_index))
			{
				memcpy(buf + state_index, ad + ad_index, 32 - state_index);
				ad_index += 32 - state_index;
				state_index = 32;
			}
			else
			{
				memcpy(buf + state_index, ad + ad_index, adlen - ad_index);
				state_index += adlen - ad_index;
				ad_index = adlen;
			}
			Injection[0] = _mm_loadu_si128((__m128i*)buf);
			Injection[1] = _mm_loadu_si128((__m128i*)(buf + 16));
		}
		State[0] = _mm_xor_si128(State[0], Injection[0]);
		State[1] = _mm_xor_si128(State[1], Injection[1]);
		if (state_index == 32)
		{
			FPermAsm(State, StateOut);

			State[0] = StateOut[0];
			State[1] = StateOut[1];
			State[2] = StateOut[2];
			State[3] = StateOut[3];
			state_index = 0;
		}
	}//end of AD loading

	//Injecting padding
	if (state_index < 31)
	{
		memset(buf, 0, 32);
		buf[state_index] = 1;
		buf[31] = 1;
		Injection[0] = _mm_loadu_si128((__m128i*)(buf ));
		Injection[1] = _mm_loadu_si128((__m128i*)(buf + 16)); 
		State[0] = _mm_xor_si128(State[0], Injection[0]);
		State[1] = _mm_xor_si128(State[1], Injection[1]);
		FPermAsm(State, StateOut);

		State[0] = StateOut[0];
		State[1] = StateOut[1];
		State[2] = StateOut[2];
		State[3] = StateOut[3];
	}
	else
	{
		Injection[1] = _mm_set_epi32(1 << 31, 0, 0, 0);
		State[1] = _mm_xor_si128(State[1], Injection[1]);
		FPermAsm(State, StateOut);

		State[0] = StateOut[0];
		State[1] = StateOut[1];
		State[2] = StateOut[2];
		State[3] = StateOut[3];
		State[1] = _mm_xor_si128(State[1], Injection[1]);
		FPermAsm(State, StateOut);

		State[0] = StateOut[0];
		State[1] = StateOut[1];
		State[2] = StateOut[2];
		State[3] = StateOut[3];
	}
	memcpy(output, StateOut, 32);
	return 0;

}

// Assembly:
subq $0x3e8, %rsp            # imm = 0x3E8
movq %rdi, 0x128(%rsp)
movq %rsi, 0x120(%rsp)
movq %rdx, 0x118(%rsp)
movq %rcx, 0x110(%rsp)
movq %r8, 0x108(%rsp)
movq %r9, 0x100(%rsp)
movq $0x0, 0x1a8(%rsp)
movq $0x0, 0x1a0(%rsp)
vmovq 0x1a8(%rsp), %xmm1
vmovq 0x1a0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x190(%rsp)
vmovdqa 0x190(%rsp), %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa %xmm0, 0xc0(%rsp)
movq 0x108(%rsp), %rcx
shlq $0x20, %rcx
movq 0x118(%rsp), %rax
movq %rcx, 0x188(%rsp)
movq %rax, 0x180(%rsp)
vmovq 0x188(%rsp), %xmm1
vmovq 0x180(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x170(%rsp)
vmovdqa 0x170(%rsp), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
movl 0x10c(%rsp), %eax
movq $0x0, 0x168(%rsp)
movq %rax, 0x160(%rsp)
vmovq 0x168(%rsp), %xmm1
vmovq 0x160(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x150(%rsp)
vmovdqa 0x150(%rsp), %xmm0
vmovdqa %xmm0, 0x70(%rsp)
movq $0x2010, 0x148(%rsp) # imm = 0x2010
movq $0x0, 0x140(%rsp)
vmovq 0x148(%rsp), %xmm1
vmovq 0x140(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x130(%rsp)
vmovdqa 0x130(%rsp), %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x50(%rsp), %xmm0
vmovdqa %xmm1, 0x380(%rsp)
vmovdqa %xmm0, 0x370(%rsp)
vmovdqa 0x380(%rsp), %xmm0
vmovdqa 0x370(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
movq 0x100(%rsp), %rax
movq %rax, 0x3e0(%rsp)
movq 0x3e0(%rsp), %rax
vmovdqu (%rax), %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vpslldq $0xa, %xmm0, %xmm0      # xmm0 = zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,xmm0[0,1,2,3,4,5]
vmovdqa %xmm1, 0x360(%rsp)
vmovdqa %xmm0, 0x350(%rsp)
vmovdqa 0x360(%rsp), %xmm0
vmovdqa 0x350(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xc0(%rsp), %xmm1
vmovdqa 0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x340(%rsp)
vmovdqa %xmm0, 0x330(%rsp)
vmovdqa 0x340(%rsp), %xmm0
vmovdqa 0x330(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x320(%rsp)
vmovdqa %xmm0, 0x310(%rsp)
vmovdqa 0x320(%rsp), %xmm0
vmovdqa 0x310(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
leaq 0xc0(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x10b0
movl $0x0, 0x3c(%rsp)
movq $0x0, 0x30(%rsp)
movq $0x0, 0x28(%rsp)
vmovdqa 0x40(%rsp), %xmm0
vpsrldq $0x6, %xmm0, %xmm0      # xmm0 = xmm0[6,7,8,9,10,11,12,13,14,15],zero,zero,zero,zero,zero,zero
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x40(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x300(%rsp)
vmovdqa %xmm0, 0x2f0(%rsp)
vmovdqa 0x300(%rsp), %xmm0
vpxor 0x2f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
movl $0xa, 0x3c(%rsp)
vmovdqa 0x80(%rsp), %xmm1
vmovdqa 0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x2e0(%rsp)
vmovdqa %xmm0, 0x2d0(%rsp)
vmovdqa 0x2e0(%rsp), %xmm0
vpxor 0x2d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
movq 0x118(%rsp), %rax
cmpq 0x30(%rsp), %rax
jbe 0x7921
cmpl $0x0, 0x3c(%rsp)
jne 0x7738
movq 0x118(%rsp), %rax
movq 0x30(%rsp), %rcx
addq $0x20, %rcx
cmpq %rcx, %rax
jb 0x7738
movq 0x120(%rsp), %rax
addq 0x30(%rsp), %rax
movq %rax, 0x3d8(%rsp)
movq 0x3d8(%rsp), %rax
vmovdqu (%rax), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
movq 0x120(%rsp), %rax
addq 0x30(%rsp), %rax
addq $0x10, %rax
movq %rax, 0x3d0(%rsp)
movq 0x3d0(%rsp), %rax
vmovdqu (%rax), %xmm0
vmovdqa %xmm0, 0x70(%rsp)
movl $0x20, 0x3c(%rsp)
movq 0x30(%rsp), %rax
addq $0x20, %rax
movq %rax, 0x30(%rsp)
jmp 0x7838
movq %rsp, %rdi
xorl %esi, %esi
movl $0x20, %edx
callq 0x1030
movl $0x20, %eax
subl 0x3c(%rsp), %eax
movl %eax, %eax
movq 0x118(%rsp), %rcx
subq 0x30(%rsp), %rcx
cmpq %rcx, %rax
ja 0x77ac
movq %rsp, %rdi
movl 0x3c(%rsp), %eax
addq %rax, %rdi
movq 0x120(%rsp), %rsi
addq 0x30(%rsp), %rsi
movl $0x20, %eax
subl 0x3c(%rsp), %eax
movl %eax, %eax
movl %eax, %edx
callq 0x10d0
movl $0x20, %eax
subl 0x3c(%rsp), %eax
movl %eax, %eax
addq 0x30(%rsp), %rax
movq %rax, 0x30(%rsp)
movl $0x20, 0x3c(%rsp)
jmp 0x77fa
movq %rsp, %rdi
movl 0x3c(%rsp), %eax
addq %rax, %rdi
movq 0x120(%rsp), %rsi
addq 0x30(%rsp), %rsi
movq 0x118(%rsp), %rdx
subq 0x30(%rsp), %rdx
callq 0x10d0
movq 0x118(%rsp), %rcx
subq 0x30(%rsp), %rcx
movl 0x3c(%rsp), %eax
addq %rcx, %rax
movl %eax, 0x3c(%rsp)
movq 0x118(%rsp), %rax
movq %rax, 0x30(%rsp)
movq %rsp, %rax
movq %rax, 0x3c8(%rsp)
movq 0x3c8(%rsp), %rax
vmovdqu (%rax), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
movq %rsp, %rax
addq $0x10, %rax
movq %rax, 0x3c0(%rsp)
movq 0x3c0(%rsp), %rax
vmovdqu (%rax), %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xc0(%rsp), %xmm1
vmovdqa 0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x2c0(%rsp)
vmovdqa %xmm0, 0x2b0(%rsp)
vmovdqa 0x2c0(%rsp), %xmm0
vpxor 0x2b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x2a0(%rsp)
vmovdqa %xmm0, 0x290(%rsp)
vmovdqa 0x2a0(%rsp), %xmm0
vpxor 0x290(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
cmpl $0x20, 0x3c(%rsp)
jne 0x791c
leaq 0xc0(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x10b0
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
movl $0x0, 0x3c(%rsp)
jmp 0x7697
jmp 0x7923
movq 0x108(%rsp), %rax
cmpq 0x28(%rsp), %rax
jbe 0x7bad
cmpl $0x0, 0x3c(%rsp)
jne 0x79c4
movq 0x108(%rsp), %rax
movq 0x28(%rsp), %rcx
addq $0x20, %rcx
cmpq %rcx, %rax
jb 0x79c4
movq 0x110(%rsp), %rax
addq 0x28(%rsp), %rax
movq %rax, 0x3b8(%rsp)
movq 0x3b8(%rsp), %rax
vmovdqu (%rax), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
movq 0x110(%rsp), %rax
addq 0x28(%rsp), %rax
addq $0x10, %rax
movq %rax, 0x3b0(%rsp)
movq 0x3b0(%rsp), %rax
vmovdqu (%rax), %xmm0
vmovdqa %xmm0, 0x70(%rsp)
movl $0x20, 0x3c(%rsp)
movq 0x28(%rsp), %rax
addq $0x20, %rax
movq %rax, 0x28(%rsp)
jmp 0x7ac4
movq %rsp, %rdi
xorl %esi, %esi
movl $0x20, %edx
callq 0x1030
movl $0x20, %eax
subl 0x3c(%rsp), %eax
movl %eax, %eax
movq 0x108(%rsp), %rcx
subq 0x28(%rsp), %rcx
cmpq %rcx, %rax
ja 0x7a38
movq %rsp, %rdi
movl 0x3c(%rsp), %eax
addq %rax, %rdi
movq 0x110(%rsp), %rsi
addq 0x28(%rsp), %rsi
movl $0x20, %eax
subl 0x3c(%rsp), %eax
movl %eax, %eax
movl %eax, %edx
callq 0x10d0
movl $0x20, %eax
subl 0x3c(%rsp), %eax
movl %eax, %eax
addq 0x28(%rsp), %rax
movq %rax, 0x28(%rsp)
movl $0x20, 0x3c(%rsp)
jmp 0x7a86
movq %rsp, %rdi
movl 0x3c(%rsp), %eax
addq %rax, %rdi
movq 0x110(%rsp), %rsi
addq 0x28(%rsp), %rsi
movq 0x108(%rsp), %rdx
subq 0x28(%rsp), %rdx
callq 0x10d0
movq 0x108(%rsp), %rcx
subq 0x28(%rsp), %rcx
movl 0x3c(%rsp), %eax
addq %rcx, %rax
movl %eax, 0x3c(%rsp)
movq 0x108(%rsp), %rax
movq %rax, 0x28(%rsp)
movq %rsp, %rax
movq %rax, 0x3a8(%rsp)
movq 0x3a8(%rsp), %rax
vmovdqu (%rax), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
movq %rsp, %rax
addq $0x10, %rax
movq %rax, 0x3a0(%rsp)
movq 0x3a0(%rsp), %rax
vmovdqu (%rax), %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xc0(%rsp), %xmm1
vmovdqa 0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x280(%rsp)
vmovdqa %xmm0, 0x270(%rsp)
vmovdqa 0x280(%rsp), %xmm0
vpxor 0x270(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x260(%rsp)
vmovdqa %xmm0, 0x250(%rsp)
vmovdqa 0x260(%rsp), %xmm0
vpxor 0x250(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
cmpl $0x20, 0x3c(%rsp)
jne 0x7ba8
leaq 0xc0(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x10b0
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
movl $0x0, 0x3c(%rsp)
jmp 0x7923
cmpl $0x1f, 0x3c(%rsp)
jae 0x7cec
movq %rsp, %rdi
xorl %esi, %esi
movl $0x20, %edx
callq 0x1030
movl 0x3c(%rsp), %eax
movb $0x1, (%rsp,%rax)
movb $0x1, 0x1f(%rsp)
movq %rsp, %rax
movq %rax, 0x398(%rsp)
movq 0x398(%rsp), %rax
vmovdqu (%rax), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
movq %rsp, %rax
addq $0x10, %rax
movq %rax, 0x390(%rsp)
movq 0x390(%rsp), %rax
vmovdqu (%rax), %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xc0(%rsp), %xmm1
vmovdqa 0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x240(%rsp)
vmovdqa %xmm0, 0x230(%rsp)
vmovdqa 0x240(%rsp), %xmm0
vpxor 0x230(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x220(%rsp)
vmovdqa %xmm0, 0x210(%rsp)
vmovdqa 0x220(%rsp), %xmm0
vpxor 0x210(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
leaq 0xc0(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x10b0
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
jmp 0x7e92
movl $0x80000000, 0x1cc(%rsp) # imm = 0x80000000
movl $0x0, 0x1c8(%rsp)
movl $0x0, 0x1c4(%rsp)
movl $0x0, 0x1c0(%rsp)
movl 0x1c4(%rsp), %edx
movl 0x1c8(%rsp), %ecx
movl 0x1cc(%rsp), %eax
vmovd 0x1c0(%rsp), %xmm0
vpinsrd $0x1, %edx, %xmm0, %xmm0
vpinsrd $0x2, %ecx, %xmm0, %xmm0
vpinsrd $0x3, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x1b0(%rsp)
vmovdqa 0x1b0(%rsp), %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x200(%rsp)
vmovdqa %xmm0, 0x1f0(%rsp)
vmovdqa 0x200(%rsp), %xmm0
vpxor 0x1f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
leaq 0xc0(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x10b0
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x1e0(%rsp)
vmovdqa %xmm0, 0x1d0(%rsp)
vmovdqa 0x1e0(%rsp), %xmm0
vpxor 0x1d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
leaq 0xc0(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x10b0
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
movq 0x128(%rsp), %rax
movq 0x80(%rsp), %rcx
movq %rcx, (%rax)
movq 0x88(%rsp), %rcx
movq %rcx, 0x8(%rax)
movq 0x90(%rsp), %rcx
movq %rcx, 0x10(%rax)
movq 0x98(%rsp), %rcx
movq %rcx, 0x18(%rax)
xorl %eax, %eax
addq $0x3e8, %rsp            # imm = 0x3E8
retq
nopw %cs:(%rax,%rax)