// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/aes256otrpv3/ni_p8m1/encrypt.c
// Function: mul2_PIPE
__inline__ static void mul2_PIPE(__m128i *dat) {
	unsigned a, b;
	block tmp = le(dat[0]);
	block carry[PIPE];
	block up4, up8;

	const block sh1 = _mm_set_epi8(255, 255, 255, 255, 255, 255, 15, 14, 255, 255, 255, 255, 255, 255, 7, 6);
	const block sh2 = _mm_set_epi8(255, 255, 255, 255, 255, 255, 13, 12, 255, 255, 255, 255, 255, 255, 5, 4);
	const block sh3 = _mm_set_epi8(255, 255, 255, 255, 255, 255, 11, 10, 255, 255, 255, 255, 255, 255, 3, 2);
	const block sh4 = _mm_set_epi8(255, 255, 255, 255, 255, 255, 9, 8, 255, 255, 255, 255, 255, 255, 1, 0);
	const block *Txp = (const block*)TX;
	const block *Typ = (const block*)TY;

	a = _mm_extract_epi8(tmp, 15);
	b = _mm_extract_epi8(tmp, 7);
	up4 = _mm_unpacklo_epi64(Txp[a], Typ[b]);
	up8 = _mm_unpackhi_epi64(Txp[a], Typ[b]);
	carry[0] = _mm_shuffle_epi8(up4, sh1);
	carry[1] = _mm_shuffle_epi8(up4, sh2);
	carry[2] = _mm_shuffle_epi8(up4, sh3);
	carry[3] = _mm_shuffle_epi8(up4, sh4);
#if(PIPE>=5)
	carry[4] = _mm_shuffle_epi8(up8, sh1);
#endif
#if(PIPE>=6)
	carry[5] = _mm_shuffle_epi8(up8, sh2);
#endif
#if(PIPE>=7)
	carry[6] = _mm_shuffle_epi8(up8, sh3);
#endif
#if(PIPE==8)
	carry[7] = _mm_shuffle_epi8(up8, sh4);
#endif
	dat[1] = _mm_slli_epi64(tmp, 1);
	dat[2] = _mm_slli_epi64(tmp, 2);
	dat[3] = _mm_slli_epi64(tmp, 3);
	dat[4] = _mm_slli_epi64(tmp, 4);
#if(PIPE>=5)
	dat[5] = _mm_slli_epi64(tmp, 5);
#endif
#if(PIPE>=6)
	dat[6] = _mm_slli_epi64(tmp, 6);
#endif
#if(PIPE>=7)
	dat[7] = _mm_slli_epi64(tmp, 7);
#endif
#if (PIPE==8)
	dat[8] = (_mm_slli_epi64(tmp, 8));
#endif
	dat[1] = le(_mm_xor_si128(dat[1], carry[0]));
	dat[2] = le(_mm_xor_si128(dat[2], carry[1]));
	dat[3] = le(_mm_xor_si128(dat[3], carry[2]));
	dat[4] = le(_mm_xor_si128(dat[4], carry[3]));
#if(PIPE>=5)
	dat[5] = le(_mm_xor_si128(dat[5], carry[4]));
#endif
#if(PIPE>=6)
	dat[6] = le(_mm_xor_si128(dat[6], carry[5]));
#endif
#if(PIPE>=7)
	dat[7] = le(_mm_xor_si128(dat[7], carry[6]));
#endif
#if (PIPE==8)
	dat[8] = le(_mm_xor_si128(dat[8], carry[7]));
#endif
}

// Assembly:
subq $0x698, %rsp            # imm = 0x698
movq %rdi, 0x88(%rsp)
movq 0x88(%rsp), %rax
vmovdqa (%rax), %xmm1
movb $0x0, 0x54f(%rsp)
movb $0x1, 0x54e(%rsp)
movb $0x2, 0x54d(%rsp)
movb $0x3, 0x54c(%rsp)
movb $0x4, 0x54b(%rsp)
movb $0x5, 0x54a(%rsp)
movb $0x6, 0x549(%rsp)
movb $0x7, 0x548(%rsp)
movb $0x8, 0x547(%rsp)
movb $0x9, 0x546(%rsp)
movb $0xa, 0x545(%rsp)
movb $0xb, 0x544(%rsp)
movb $0xc, 0x543(%rsp)
movb $0xd, 0x542(%rsp)
movb $0xe, 0x541(%rsp)
movb $0xf, 0x540(%rsp)
movzbl 0x540(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x541(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x542(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x543(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x544(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x545(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x546(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x547(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x548(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x549(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x54a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x54b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x54c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x54d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x54e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x54f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x530(%rsp)
vmovdqa 0x530(%rsp), %xmm0
vmovdqa %xmm1, 0x3a0(%rsp)
vmovdqa %xmm0, 0x390(%rsp)
vmovdqa 0x3a0(%rsp), %xmm0
vmovdqa 0x390(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
movb $-0x1, 0x52f(%rsp)
movb $-0x1, 0x52e(%rsp)
movb $-0x1, 0x52d(%rsp)
movb $-0x1, 0x52c(%rsp)
movb $-0x1, 0x52b(%rsp)
movb $-0x1, 0x52a(%rsp)
movb $0xf, 0x529(%rsp)
movb $0xe, 0x528(%rsp)
movb $-0x1, 0x527(%rsp)
movb $-0x1, 0x526(%rsp)
movb $-0x1, 0x525(%rsp)
movb $-0x1, 0x524(%rsp)
movb $-0x1, 0x523(%rsp)
movb $-0x1, 0x522(%rsp)
movb $0x7, 0x521(%rsp)
movb $0x6, 0x520(%rsp)
movzbl 0x520(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x521(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x522(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x523(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x524(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x525(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x526(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x527(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x528(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x529(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x52a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x52b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x52c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x52d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x52e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x52f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x510(%rsp)
vmovdqa 0x510(%rsp), %xmm0
vmovdqa %xmm0, -0x40(%rsp)
movb $-0x1, 0x50f(%rsp)
movb $-0x1, 0x50e(%rsp)
movb $-0x1, 0x50d(%rsp)
movb $-0x1, 0x50c(%rsp)
movb $-0x1, 0x50b(%rsp)
movb $-0x1, 0x50a(%rsp)
movb $0xd, 0x509(%rsp)
movb $0xc, 0x508(%rsp)
movb $-0x1, 0x507(%rsp)
movb $-0x1, 0x506(%rsp)
movb $-0x1, 0x505(%rsp)
movb $-0x1, 0x504(%rsp)
movb $-0x1, 0x503(%rsp)
movb $-0x1, 0x502(%rsp)
movb $0x5, 0x501(%rsp)
movb $0x4, 0x500(%rsp)
movzbl 0x500(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x501(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x502(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x503(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x504(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x505(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x506(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x507(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x508(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x509(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x50a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x50b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x50c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x50d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x50e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x50f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x4f0(%rsp)
vmovdqa 0x4f0(%rsp), %xmm0
vmovdqa %xmm0, -0x50(%rsp)
movb $-0x1, 0x4ef(%rsp)
movb $-0x1, 0x4ee(%rsp)
movb $-0x1, 0x4ed(%rsp)
movb $-0x1, 0x4ec(%rsp)
movb $-0x1, 0x4eb(%rsp)
movb $-0x1, 0x4ea(%rsp)
movb $0xb, 0x4e9(%rsp)
movb $0xa, 0x4e8(%rsp)
movb $-0x1, 0x4e7(%rsp)
movb $-0x1, 0x4e6(%rsp)
movb $-0x1, 0x4e5(%rsp)
movb $-0x1, 0x4e4(%rsp)
movb $-0x1, 0x4e3(%rsp)
movb $-0x1, 0x4e2(%rsp)
movb $0x3, 0x4e1(%rsp)
movb $0x2, 0x4e0(%rsp)
movzbl 0x4e0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x4e1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x4e2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x4e3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x4e4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x4e5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x4e6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x4e7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x4e8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x4e9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x4ea(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x4eb(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x4ec(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x4ed(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x4ee(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x4ef(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x4d0(%rsp)
vmovdqa 0x4d0(%rsp), %xmm0
vmovdqa %xmm0, -0x60(%rsp)
movb $-0x1, 0x4cf(%rsp)
movb $-0x1, 0x4ce(%rsp)
movb $-0x1, 0x4cd(%rsp)
movb $-0x1, 0x4cc(%rsp)
movb $-0x1, 0x4cb(%rsp)
movb $-0x1, 0x4ca(%rsp)
movb $0x9, 0x4c9(%rsp)
movb $0x8, 0x4c8(%rsp)
movb $-0x1, 0x4c7(%rsp)
movb $-0x1, 0x4c6(%rsp)
movb $-0x1, 0x4c5(%rsp)
movb $-0x1, 0x4c4(%rsp)
movb $-0x1, 0x4c3(%rsp)
movb $-0x1, 0x4c2(%rsp)
movb $0x1, 0x4c1(%rsp)
movb $0x0, 0x4c0(%rsp)
movzbl 0x4c0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x4c1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x4c2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x4c3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x4c4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x4c5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x4c6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x4c7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x4c8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x4c9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x4ca(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x4cb(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x4cc(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x4cd(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x4ce(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x4cf(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x4b0(%rsp)
vmovdqa 0x4b0(%rsp), %xmm0
vmovdqa %xmm0, -0x70(%rsp)
movq 0x8fdf(%rip), %rax      # 0xbfe8
movq %rax, -0x78(%rsp)
movq 0x8fe3(%rip), %rax      # 0xbff8
movq %rax, -0x80(%rsp)
vmovdqa 0x70(%rsp), %xmm0
vpextrb $0xf, %xmm0, %eax
movl %eax, 0x84(%rsp)
vmovdqa 0x70(%rsp), %xmm0
vpextrb $0x7, %xmm0, %eax
movl %eax, 0x80(%rsp)
movq -0x78(%rsp), %rax
movl 0x84(%rsp), %ecx
shlq $0x4, %rcx
vmovdqa (%rax,%rcx), %xmm1
movq -0x80(%rsp), %rax
movl 0x80(%rsp), %ecx
shlq $0x4, %rcx
vmovdqa (%rax,%rcx), %xmm0
vmovdqa %xmm1, 0x560(%rsp)
vmovdqa %xmm0, 0x550(%rsp)
vmovdqa 0x560(%rsp), %xmm0
vmovdqa 0x550(%rsp), %xmm1
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, -0x20(%rsp)
movq -0x78(%rsp), %rax
movl 0x84(%rsp), %ecx
shlq $0x4, %rcx
vmovdqa (%rax,%rcx), %xmm1
movq -0x80(%rsp), %rax
movl 0x80(%rsp), %ecx
shlq $0x4, %rcx
vmovdqa (%rax,%rcx), %xmm0
vmovdqa %xmm1, 0x580(%rsp)
vmovdqa %xmm0, 0x570(%rsp)
vmovdqa 0x580(%rsp), %xmm0
vmovdqa 0x570(%rsp), %xmm1
vpunpckhqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[1],xmm1[1]
vmovdqa %xmm0, -0x30(%rsp)
vmovdqa -0x20(%rsp), %xmm1
vmovdqa -0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x380(%rsp)
vmovdqa %xmm0, 0x370(%rsp)
vmovdqa 0x380(%rsp), %xmm0
vmovdqa 0x370(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x10(%rsp)
vmovdqa -0x20(%rsp), %xmm1
vmovdqa -0x50(%rsp), %xmm0
vmovdqa %xmm1, 0x360(%rsp)
vmovdqa %xmm0, 0x350(%rsp)
vmovdqa 0x360(%rsp), %xmm0
vmovdqa 0x350(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, (%rsp)
vmovdqa -0x20(%rsp), %xmm1
vmovdqa -0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x340(%rsp)
vmovdqa %xmm0, 0x330(%rsp)
vmovdqa 0x340(%rsp), %xmm0
vmovdqa 0x330(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x10(%rsp)
vmovdqa -0x20(%rsp), %xmm1
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x320(%rsp)
vmovdqa %xmm0, 0x310(%rsp)
vmovdqa 0x320(%rsp), %xmm0
vmovdqa 0x310(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x20(%rsp)
vmovdqa -0x30(%rsp), %xmm1
vmovdqa -0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x300(%rsp)
vmovdqa %xmm0, 0x2f0(%rsp)
vmovdqa 0x300(%rsp), %xmm0
vmovdqa 0x2f0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x30(%rsp)
vmovdqa -0x30(%rsp), %xmm1
vmovdqa -0x50(%rsp), %xmm0
vmovdqa %xmm1, 0x2e0(%rsp)
vmovdqa %xmm0, 0x2d0(%rsp)
vmovdqa 0x2e0(%rsp), %xmm0
vmovdqa 0x2d0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa -0x30(%rsp), %xmm1
vmovdqa -0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x2c0(%rsp)
vmovdqa %xmm0, 0x2b0(%rsp)
vmovdqa 0x2c0(%rsp), %xmm0
vmovdqa 0x2b0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa -0x30(%rsp), %xmm1
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x2a0(%rsp)
vmovdqa %xmm0, 0x290(%rsp)
vmovdqa 0x2a0(%rsp), %xmm0
vmovdqa 0x290(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x680(%rsp)
movl $0x1, 0x67c(%rsp)
vmovdqa 0x680(%rsp), %xmm0
vmovd 0x67c(%rsp), %xmm1
vpsllq %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x10(%rax)
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x660(%rsp)
movl $0x2, 0x65c(%rsp)
vmovdqa 0x660(%rsp), %xmm0
vmovd 0x65c(%rsp), %xmm1
vpsllq %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x20(%rax)
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x640(%rsp)
movl $0x3, 0x63c(%rsp)
vmovdqa 0x640(%rsp), %xmm0
vmovd 0x63c(%rsp), %xmm1
vpsllq %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x30(%rax)
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x620(%rsp)
movl $0x4, 0x61c(%rsp)
vmovdqa 0x620(%rsp), %xmm0
vmovd 0x61c(%rsp), %xmm1
vpsllq %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x40(%rax)
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x600(%rsp)
movl $0x5, 0x5fc(%rsp)
vmovdqa 0x600(%rsp), %xmm0
vmovd 0x5fc(%rsp), %xmm1
vpsllq %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x50(%rax)
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x5e0(%rsp)
movl $0x6, 0x5dc(%rsp)
vmovdqa 0x5e0(%rsp), %xmm0
vmovd 0x5dc(%rsp), %xmm1
vpsllq %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x60(%rax)
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x5c0(%rsp)
movl $0x7, 0x5bc(%rsp)
vmovdqa 0x5c0(%rsp), %xmm0
vmovd 0x5bc(%rsp), %xmm1
vpsllq %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x70(%rax)
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x5a0(%rsp)
movl $0x8, 0x59c(%rsp)
vmovdqa 0x5a0(%rsp), %xmm0
vmovd 0x59c(%rsp), %xmm1
vpsllq %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x80(%rax)
movq 0x88(%rsp), %rax
vmovdqa 0x10(%rax), %xmm1
vmovdqa -0x10(%rsp), %xmm0
vmovdqa %xmm1, 0x180(%rsp)
vmovdqa %xmm0, 0x170(%rsp)
vmovdqa 0x180(%rsp), %xmm0
vmovdqa 0x170(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm1
movb $0x0, 0x4af(%rsp)
movb $0x1, 0x4ae(%rsp)
movb $0x2, 0x4ad(%rsp)
movb $0x3, 0x4ac(%rsp)
movb $0x4, 0x4ab(%rsp)
movb $0x5, 0x4aa(%rsp)
movb $0x6, 0x4a9(%rsp)
movb $0x7, 0x4a8(%rsp)
movb $0x8, 0x4a7(%rsp)
movb $0x9, 0x4a6(%rsp)
movb $0xa, 0x4a5(%rsp)
movb $0xb, 0x4a4(%rsp)
movb $0xc, 0x4a3(%rsp)
movb $0xd, 0x4a2(%rsp)
movb $0xe, 0x4a1(%rsp)
movb $0xf, 0x4a0(%rsp)
movzbl 0x4a0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x4a1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x4a2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x4a3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x4a4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x4a5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x4a6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x4a7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x4a8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x4a9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x4aa(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x4ab(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x4ac(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x4ad(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x4ae(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x4af(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x490(%rsp)
vmovdqa 0x490(%rsp), %xmm0
vmovdqa %xmm1, 0x280(%rsp)
vmovdqa %xmm0, 0x270(%rsp)
vmovdqa 0x280(%rsp), %xmm0
vmovdqa 0x270(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x10(%rax)
movq 0x88(%rsp), %rax
vmovdqa 0x20(%rax), %xmm1
vmovdqa (%rsp), %xmm0
vmovdqa %xmm1, 0x160(%rsp)
vmovdqa %xmm0, 0x150(%rsp)
vmovdqa 0x160(%rsp), %xmm0
vmovdqa 0x150(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm1
movb $0x0, 0x48f(%rsp)
movb $0x1, 0x48e(%rsp)
movb $0x2, 0x48d(%rsp)
movb $0x3, 0x48c(%rsp)
movb $0x4, 0x48b(%rsp)
movb $0x5, 0x48a(%rsp)
movb $0x6, 0x489(%rsp)
movb $0x7, 0x488(%rsp)
movb $0x8, 0x487(%rsp)
movb $0x9, 0x486(%rsp)
movb $0xa, 0x485(%rsp)
movb $0xb, 0x484(%rsp)
movb $0xc, 0x483(%rsp)
movb $0xd, 0x482(%rsp)
movb $0xe, 0x481(%rsp)
movb $0xf, 0x480(%rsp)
movzbl 0x480(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x481(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x482(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x483(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x484(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x485(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x486(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x487(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x488(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x489(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x48a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x48b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x48c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x48d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x48e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x48f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x470(%rsp)
vmovdqa 0x470(%rsp), %xmm0
vmovdqa %xmm1, 0x260(%rsp)
vmovdqa %xmm0, 0x250(%rsp)
vmovdqa 0x260(%rsp), %xmm0
vmovdqa 0x250(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x20(%rax)
movq 0x88(%rsp), %rax
vmovdqa 0x30(%rax), %xmm1
vmovdqa 0x10(%rsp), %xmm0
vmovdqa %xmm1, 0x140(%rsp)
vmovdqa %xmm0, 0x130(%rsp)
vmovdqa 0x140(%rsp), %xmm0
vmovdqa 0x130(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm1
movb $0x0, 0x46f(%rsp)
movb $0x1, 0x46e(%rsp)
movb $0x2, 0x46d(%rsp)
movb $0x3, 0x46c(%rsp)
movb $0x4, 0x46b(%rsp)
movb $0x5, 0x46a(%rsp)
movb $0x6, 0x469(%rsp)
movb $0x7, 0x468(%rsp)
movb $0x8, 0x467(%rsp)
movb $0x9, 0x466(%rsp)
movb $0xa, 0x465(%rsp)
movb $0xb, 0x464(%rsp)
movb $0xc, 0x463(%rsp)
movb $0xd, 0x462(%rsp)
movb $0xe, 0x461(%rsp)
movb $0xf, 0x460(%rsp)
movzbl 0x460(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x461(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x462(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x463(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x464(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x465(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x466(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x467(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x468(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x469(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x46a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x46b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x46c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x46d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x46e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x46f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x450(%rsp)
vmovdqa 0x450(%rsp), %xmm0
vmovdqa %xmm1, 0x240(%rsp)
vmovdqa %xmm0, 0x230(%rsp)
vmovdqa 0x240(%rsp), %xmm0
vmovdqa 0x230(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x30(%rax)
movq 0x88(%rsp), %rax
vmovdqa 0x40(%rax), %xmm1
vmovdqa 0x20(%rsp), %xmm0
vmovdqa %xmm1, 0x120(%rsp)
vmovdqa %xmm0, 0x110(%rsp)
vmovdqa 0x120(%rsp), %xmm0
vmovdqa 0x110(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm1
movb $0x0, 0x44f(%rsp)
movb $0x1, 0x44e(%rsp)
movb $0x2, 0x44d(%rsp)
movb $0x3, 0x44c(%rsp)
movb $0x4, 0x44b(%rsp)
movb $0x5, 0x44a(%rsp)
movb $0x6, 0x449(%rsp)
movb $0x7, 0x448(%rsp)
movb $0x8, 0x447(%rsp)
movb $0x9, 0x446(%rsp)
movb $0xa, 0x445(%rsp)
movb $0xb, 0x444(%rsp)
movb $0xc, 0x443(%rsp)
movb $0xd, 0x442(%rsp)
movb $0xe, 0x441(%rsp)
movb $0xf, 0x440(%rsp)
movzbl 0x440(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x441(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x442(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x443(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x444(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x445(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x446(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x447(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x448(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x449(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x44a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x44b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x44c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x44d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x44e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x44f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x430(%rsp)
vmovdqa 0x430(%rsp), %xmm0
vmovdqa %xmm1, 0x220(%rsp)
vmovdqa %xmm0, 0x210(%rsp)
vmovdqa 0x220(%rsp), %xmm0
vmovdqa 0x210(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x40(%rax)
movq 0x88(%rsp), %rax
vmovdqa 0x50(%rax), %xmm1
vmovdqa 0x30(%rsp), %xmm0
vmovdqa %xmm1, 0x100(%rsp)
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0x100(%rsp), %xmm0
vmovdqa 0xf0(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm1
movb $0x0, 0x42f(%rsp)
movb $0x1, 0x42e(%rsp)
movb $0x2, 0x42d(%rsp)
movb $0x3, 0x42c(%rsp)
movb $0x4, 0x42b(%rsp)
movb $0x5, 0x42a(%rsp)
movb $0x6, 0x429(%rsp)
movb $0x7, 0x428(%rsp)
movb $0x8, 0x427(%rsp)
movb $0x9, 0x426(%rsp)
movb $0xa, 0x425(%rsp)
movb $0xb, 0x424(%rsp)
movb $0xc, 0x423(%rsp)
movb $0xd, 0x422(%rsp)
movb $0xe, 0x421(%rsp)
movb $0xf, 0x420(%rsp)
movzbl 0x420(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x421(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x422(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x423(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x424(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x425(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x426(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x427(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x428(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x429(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x42a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x42b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x42c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x42d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x42e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x42f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x410(%rsp)
vmovdqa 0x410(%rsp), %xmm0
vmovdqa %xmm1, 0x200(%rsp)
vmovdqa %xmm0, 0x1f0(%rsp)
vmovdqa 0x200(%rsp), %xmm0
vmovdqa 0x1f0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x50(%rax)
movq 0x88(%rsp), %rax
vmovdqa 0x60(%rax), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0xe0(%rsp)
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa 0xd0(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm1
movb $0x0, 0x40f(%rsp)
movb $0x1, 0x40e(%rsp)
movb $0x2, 0x40d(%rsp)
movb $0x3, 0x40c(%rsp)
movb $0x4, 0x40b(%rsp)
movb $0x5, 0x40a(%rsp)
movb $0x6, 0x409(%rsp)
movb $0x7, 0x408(%rsp)
movb $0x8, 0x407(%rsp)
movb $0x9, 0x406(%rsp)
movb $0xa, 0x405(%rsp)
movb $0xb, 0x404(%rsp)
movb $0xc, 0x403(%rsp)
movb $0xd, 0x402(%rsp)
movb $0xe, 0x401(%rsp)
movb $0xf, 0x400(%rsp)
movzbl 0x400(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x401(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x402(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x403(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x404(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x405(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x406(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x407(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x408(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x409(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x40a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x40b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x40c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x40d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x40e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x40f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x3f0(%rsp)
vmovdqa 0x3f0(%rsp), %xmm0
vmovdqa %xmm1, 0x1e0(%rsp)
vmovdqa %xmm0, 0x1d0(%rsp)
vmovdqa 0x1e0(%rsp), %xmm0
vmovdqa 0x1d0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x60(%rax)
movq 0x88(%rsp), %rax
vmovdqa 0x70(%rax), %xmm1
vmovdqa 0x50(%rsp), %xmm0
vmovdqa %xmm1, 0xc0(%rsp)
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa 0xb0(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm1
movb $0x0, 0x3ef(%rsp)
movb $0x1, 0x3ee(%rsp)
movb $0x2, 0x3ed(%rsp)
movb $0x3, 0x3ec(%rsp)
movb $0x4, 0x3eb(%rsp)
movb $0x5, 0x3ea(%rsp)
movb $0x6, 0x3e9(%rsp)
movb $0x7, 0x3e8(%rsp)
movb $0x8, 0x3e7(%rsp)
movb $0x9, 0x3e6(%rsp)
movb $0xa, 0x3e5(%rsp)
movb $0xb, 0x3e4(%rsp)
movb $0xc, 0x3e3(%rsp)
movb $0xd, 0x3e2(%rsp)
movb $0xe, 0x3e1(%rsp)
movb $0xf, 0x3e0(%rsp)
movzbl 0x3e0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x3e1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x3e2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x3e3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x3e4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x3e5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x3e6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x3e7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x3e8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x3e9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x3ea(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x3eb(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x3ec(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x3ed(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x3ee(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x3ef(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x3d0(%rsp)
vmovdqa 0x3d0(%rsp), %xmm0
vmovdqa %xmm1, 0x1c0(%rsp)
vmovdqa %xmm0, 0x1b0(%rsp)
vmovdqa 0x1c0(%rsp), %xmm0
vmovdqa 0x1b0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x70(%rax)
movq 0x88(%rsp), %rax
vmovdqa 0x80(%rax), %xmm1
vmovdqa 0x60(%rsp), %xmm0
vmovdqa %xmm1, 0xa0(%rsp)
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa 0x90(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm1
movb $0x0, 0x3cf(%rsp)
movb $0x1, 0x3ce(%rsp)
movb $0x2, 0x3cd(%rsp)
movb $0x3, 0x3cc(%rsp)
movb $0x4, 0x3cb(%rsp)
movb $0x5, 0x3ca(%rsp)
movb $0x6, 0x3c9(%rsp)
movb $0x7, 0x3c8(%rsp)
movb $0x8, 0x3c7(%rsp)
movb $0x9, 0x3c6(%rsp)
movb $0xa, 0x3c5(%rsp)
movb $0xb, 0x3c4(%rsp)
movb $0xc, 0x3c3(%rsp)
movb $0xd, 0x3c2(%rsp)
movb $0xe, 0x3c1(%rsp)
movb $0xf, 0x3c0(%rsp)
movzbl 0x3c0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x3c1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x3c2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x3c3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x3c4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x3c5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x3c6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x3c7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x3c8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x3c9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x3ca(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x3cb(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x3cc(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x3cd(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x3ce(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x3cf(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x3b0(%rsp)
vmovdqa 0x3b0(%rsp), %xmm0
vmovdqa %xmm1, 0x1a0(%rsp)
vmovdqa %xmm0, 0x190(%rsp)
vmovdqa 0x1a0(%rsp), %xmm0
vmovdqa 0x190(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq 0x88(%rsp), %rax
vmovdqa %xmm0, 0x80(%rax)
addq $0x698, %rsp            # imm = 0x698
retq
nopw (%rax,%rax)