// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/aes256otrsv3/ni_p8m2/encrypt.c
// Function: mul2_PIPE
__inline__ static void mul2_PIPE(__m128i *dat) {
	const __m128i mask = _mm_set_epi32(135, 1, 1, 1);
	__m128i intmp = le(dat[0]);
	__m128i tmp;

	tmp = _mm_srai_epi32(intmp, 31);
	tmp = _mm_and_si128(tmp, mask);
	tmp = _mm_shuffle_epi32(tmp, _MM_SHUFFLE(2, 1, 0, 3));
	intmp = _mm_slli_epi32(intmp, 1); 
	intmp = _mm_xor_si128(intmp, tmp);

	dat[1] = le(intmp);

	tmp = _mm_srai_epi32(intmp, 31);
	tmp = _mm_and_si128(tmp, mask);
	tmp = _mm_shuffle_epi32(tmp, _MM_SHUFFLE(2, 1, 0, 3));
	intmp = _mm_slli_epi32(intmp, 1); 
	intmp = _mm_xor_si128(intmp, tmp);

	dat[2] = le(intmp);

	tmp = _mm_srai_epi32(intmp, 31);
	tmp = _mm_and_si128(tmp, mask);
	tmp = _mm_shuffle_epi32(tmp, _MM_SHUFFLE(2, 1, 0, 3));
	intmp = _mm_slli_epi32(intmp, 1); 
	intmp = _mm_xor_si128(intmp, tmp);
	dat[3] = le(intmp);
	tmp = _mm_srai_epi32(intmp, 31);
	tmp = _mm_and_si128(tmp, mask);
	tmp = _mm_shuffle_epi32(tmp, _MM_SHUFFLE(2, 1, 0, 3));
	intmp = _mm_slli_epi32(intmp, 1); 
	intmp = _mm_xor_si128(intmp, tmp);
	dat[4] = le(intmp);
#if (PIPE>=5)
	tmp = _mm_srai_epi32(intmp, 31);
	tmp = _mm_and_si128(tmp, mask);
	tmp = _mm_shuffle_epi32(tmp, _MM_SHUFFLE(2, 1, 0, 3));
	intmp = _mm_slli_epi32(intmp, 1); 
	intmp = _mm_xor_si128(intmp, tmp);
	dat[5] = le(intmp);
#endif
#if (PIPE>=6)
	tmp = _mm_srai_epi32(intmp, 31);
	tmp = _mm_and_si128(tmp, mask);
	tmp = _mm_shuffle_epi32(tmp, _MM_SHUFFLE(2, 1, 0, 3));
	intmp = _mm_slli_epi32(intmp, 1); 
	intmp = _mm_xor_si128(intmp, tmp);
	dat[6] = le(intmp);
#endif
#if (PIPE>=7)
	tmp = _mm_srai_epi32(intmp, 31);
	tmp = _mm_and_si128(tmp, mask);
	tmp = _mm_shuffle_epi32(tmp, _MM_SHUFFLE(2, 1, 0, 3));
	intmp = _mm_slli_epi32(intmp, 1); 
	intmp = _mm_xor_si128(intmp, tmp);
	dat[7] = le(intmp);
#endif
#if (PIPE==8)
	tmp = _mm_srai_epi32(intmp, 31);
	tmp = _mm_and_si128(tmp, mask);
	tmp = _mm_shuffle_epi32(tmp, _MM_SHUFFLE(2, 1, 0, 3));
	intmp = _mm_slli_epi32(intmp, 1); 
	intmp = _mm_xor_si128(intmp, tmp);
	dat[8] = le(intmp);
#endif
}

// Assembly:
subq $0x628, %rsp            # imm = 0x628
movq %rdi, -0x48(%rsp)
movl $0x87, 0x1fc(%rsp)
movl $0x1, 0x1f8(%rsp)
movl $0x1, 0x1f4(%rsp)
movl $0x1, 0x1f0(%rsp)
movl 0x1f4(%rsp), %edx
movl 0x1f8(%rsp), %ecx
movl 0x1fc(%rsp), %eax
vmovd 0x1f0(%rsp), %xmm0
vpinsrd $0x1, %edx, %xmm0, %xmm0
vpinsrd $0x2, %ecx, %xmm0, %xmm0
vpinsrd $0x3, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x1e0(%rsp)
vmovdqa 0x1e0(%rsp), %xmm0
vmovdqa %xmm0, -0x60(%rsp)
movq -0x48(%rsp), %rax
vmovdqa (%rax), %xmm1
movb $0x0, 0x1df(%rsp)
movb $0x1, 0x1de(%rsp)
movb $0x2, 0x1dd(%rsp)
movb $0x3, 0x1dc(%rsp)
movb $0x4, 0x1db(%rsp)
movb $0x5, 0x1da(%rsp)
movb $0x6, 0x1d9(%rsp)
movb $0x7, 0x1d8(%rsp)
movb $0x8, 0x1d7(%rsp)
movb $0x9, 0x1d6(%rsp)
movb $0xa, 0x1d5(%rsp)
movb $0xb, 0x1d4(%rsp)
movb $0xc, 0x1d3(%rsp)
movb $0xd, 0x1d2(%rsp)
movb $0xe, 0x1d1(%rsp)
movb $0xf, 0x1d0(%rsp)
movzbl 0x1d0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x1d1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x1d2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x1d3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x1d4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x1d5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x1d6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x1d7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x1d8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x1d9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x1da(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x1db(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x1dc(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x1dd(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x1de(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x1df(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x1c0(%rsp)
vmovdqa 0x1c0(%rsp), %xmm0
vmovdqa %xmm1, 0x310(%rsp)
vmovdqa %xmm0, 0x300(%rsp)
vmovdqa 0x310(%rsp), %xmm0
vmovdqa 0x300(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x410(%rsp)
movl $0x1f, 0x40c(%rsp)
vmovdqa 0x410(%rsp), %xmm0
vmovd 0x40c(%rsp), %xmm1
vpsrad %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm1
vmovdqa -0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x510(%rsp)
vmovdqa %xmm0, 0x500(%rsp)
vmovdqa 0x510(%rsp), %xmm0
vmovdqa 0x500(%rsp), %xmm1
vpand %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm0
vpshufd $0x93, %xmm0, %xmm0     # xmm0 = xmm0[3,0,1,2]
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x610(%rsp)
movl $0x1, 0x60c(%rsp)
vmovdqa 0x610(%rsp), %xmm0
vmovd 0x60c(%rsp), %xmm1
vpslld %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
vmovdqa -0x80(%rsp), %xmm0
vmovdqa %xmm1, 0xb0(%rsp)
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa 0xa0(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
movb $0x0, 0x1bf(%rsp)
movb $0x1, 0x1be(%rsp)
movb $0x2, 0x1bd(%rsp)
movb $0x3, 0x1bc(%rsp)
movb $0x4, 0x1bb(%rsp)
movb $0x5, 0x1ba(%rsp)
movb $0x6, 0x1b9(%rsp)
movb $0x7, 0x1b8(%rsp)
movb $0x8, 0x1b7(%rsp)
movb $0x9, 0x1b6(%rsp)
movb $0xa, 0x1b5(%rsp)
movb $0xb, 0x1b4(%rsp)
movb $0xc, 0x1b3(%rsp)
movb $0xd, 0x1b2(%rsp)
movb $0xe, 0x1b1(%rsp)
movb $0xf, 0x1b0(%rsp)
movzbl 0x1b0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x1b1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x1b2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x1b3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x1b4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x1b5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x1b6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x1b7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x1b8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x1b9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x1ba(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x1bb(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x1bc(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x1bd(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x1be(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x1bf(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x1a0(%rsp)
vmovdqa 0x1a0(%rsp), %xmm0
vmovdqa %xmm1, 0x2f0(%rsp)
vmovdqa %xmm0, 0x2e0(%rsp)
vmovdqa 0x2f0(%rsp), %xmm0
vmovdqa 0x2e0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq -0x48(%rsp), %rax
vmovdqa %xmm0, 0x10(%rax)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x3f0(%rsp)
movl $0x1f, 0x3ec(%rsp)
vmovdqa 0x3f0(%rsp), %xmm0
vmovd 0x3ec(%rsp), %xmm1
vpsrad %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm1
vmovdqa -0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x4f0(%rsp)
vmovdqa %xmm0, 0x4e0(%rsp)
vmovdqa 0x4f0(%rsp), %xmm0
vmovdqa 0x4e0(%rsp), %xmm1
vpand %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm0
vpshufd $0x93, %xmm0, %xmm0     # xmm0 = xmm0[3,0,1,2]
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x5f0(%rsp)
movl $0x1, 0x5ec(%rsp)
vmovdqa 0x5f0(%rsp), %xmm0
vmovd 0x5ec(%rsp), %xmm1
vpslld %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
vmovdqa -0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x90(%rsp)
vmovdqa %xmm0, 0x80(%rsp)
vmovdqa 0x90(%rsp), %xmm0
vmovdqa 0x80(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
movb $0x0, 0x19f(%rsp)
movb $0x1, 0x19e(%rsp)
movb $0x2, 0x19d(%rsp)
movb $0x3, 0x19c(%rsp)
movb $0x4, 0x19b(%rsp)
movb $0x5, 0x19a(%rsp)
movb $0x6, 0x199(%rsp)
movb $0x7, 0x198(%rsp)
movb $0x8, 0x197(%rsp)
movb $0x9, 0x196(%rsp)
movb $0xa, 0x195(%rsp)
movb $0xb, 0x194(%rsp)
movb $0xc, 0x193(%rsp)
movb $0xd, 0x192(%rsp)
movb $0xe, 0x191(%rsp)
movb $0xf, 0x190(%rsp)
movzbl 0x190(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x191(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x192(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x193(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x194(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x195(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x196(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x197(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x198(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x199(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x19a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x19b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x19c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x19d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x19e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x19f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x180(%rsp)
vmovdqa 0x180(%rsp), %xmm0
vmovdqa %xmm1, 0x2d0(%rsp)
vmovdqa %xmm0, 0x2c0(%rsp)
vmovdqa 0x2d0(%rsp), %xmm0
vmovdqa 0x2c0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq -0x48(%rsp), %rax
vmovdqa %xmm0, 0x20(%rax)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x3d0(%rsp)
movl $0x1f, 0x3cc(%rsp)
vmovdqa 0x3d0(%rsp), %xmm0
vmovd 0x3cc(%rsp), %xmm1
vpsrad %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm1
vmovdqa -0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x4d0(%rsp)
vmovdqa %xmm0, 0x4c0(%rsp)
vmovdqa 0x4d0(%rsp), %xmm0
vmovdqa 0x4c0(%rsp), %xmm1
vpand %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm0
vpshufd $0x93, %xmm0, %xmm0     # xmm0 = xmm0[3,0,1,2]
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x5d0(%rsp)
movl $0x1, 0x5cc(%rsp)
vmovdqa 0x5d0(%rsp), %xmm0
vmovd 0x5cc(%rsp), %xmm1
vpslld %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
vmovdqa -0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x70(%rsp)
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x70(%rsp), %xmm0
vmovdqa 0x60(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
movb $0x0, 0x17f(%rsp)
movb $0x1, 0x17e(%rsp)
movb $0x2, 0x17d(%rsp)
movb $0x3, 0x17c(%rsp)
movb $0x4, 0x17b(%rsp)
movb $0x5, 0x17a(%rsp)
movb $0x6, 0x179(%rsp)
movb $0x7, 0x178(%rsp)
movb $0x8, 0x177(%rsp)
movb $0x9, 0x176(%rsp)
movb $0xa, 0x175(%rsp)
movb $0xb, 0x174(%rsp)
movb $0xc, 0x173(%rsp)
movb $0xd, 0x172(%rsp)
movb $0xe, 0x171(%rsp)
movb $0xf, 0x170(%rsp)
movzbl 0x170(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x171(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x172(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x173(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x174(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x175(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x176(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x177(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x178(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x179(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x17a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x17b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x17c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x17d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x17e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x17f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x160(%rsp)
vmovdqa 0x160(%rsp), %xmm0
vmovdqa %xmm1, 0x2b0(%rsp)
vmovdqa %xmm0, 0x2a0(%rsp)
vmovdqa 0x2b0(%rsp), %xmm0
vmovdqa 0x2a0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq -0x48(%rsp), %rax
vmovdqa %xmm0, 0x30(%rax)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x3b0(%rsp)
movl $0x1f, 0x3ac(%rsp)
vmovdqa 0x3b0(%rsp), %xmm0
vmovd 0x3ac(%rsp), %xmm1
vpsrad %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm1
vmovdqa -0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x4b0(%rsp)
vmovdqa %xmm0, 0x4a0(%rsp)
vmovdqa 0x4b0(%rsp), %xmm0
vmovdqa 0x4a0(%rsp), %xmm1
vpand %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm0
vpshufd $0x93, %xmm0, %xmm0     # xmm0 = xmm0[3,0,1,2]
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x5b0(%rsp)
movl $0x1, 0x5ac(%rsp)
vmovdqa 0x5b0(%rsp), %xmm0
vmovd 0x5ac(%rsp), %xmm1
vpslld %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
vmovdqa -0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x50(%rsp)
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x50(%rsp), %xmm0
vmovdqa 0x40(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
movb $0x0, 0x15f(%rsp)
movb $0x1, 0x15e(%rsp)
movb $0x2, 0x15d(%rsp)
movb $0x3, 0x15c(%rsp)
movb $0x4, 0x15b(%rsp)
movb $0x5, 0x15a(%rsp)
movb $0x6, 0x159(%rsp)
movb $0x7, 0x158(%rsp)
movb $0x8, 0x157(%rsp)
movb $0x9, 0x156(%rsp)
movb $0xa, 0x155(%rsp)
movb $0xb, 0x154(%rsp)
movb $0xc, 0x153(%rsp)
movb $0xd, 0x152(%rsp)
movb $0xe, 0x151(%rsp)
movb $0xf, 0x150(%rsp)
movzbl 0x150(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x151(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x152(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x153(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x154(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x155(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x156(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x157(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x158(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x159(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x15a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x15b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x15c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x15d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x15e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x15f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x140(%rsp)
vmovdqa 0x140(%rsp), %xmm0
vmovdqa %xmm1, 0x290(%rsp)
vmovdqa %xmm0, 0x280(%rsp)
vmovdqa 0x290(%rsp), %xmm0
vmovdqa 0x280(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq -0x48(%rsp), %rax
vmovdqa %xmm0, 0x40(%rax)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x390(%rsp)
movl $0x1f, 0x38c(%rsp)
vmovdqa 0x390(%rsp), %xmm0
vmovd 0x38c(%rsp), %xmm1
vpsrad %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm1
vmovdqa -0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x490(%rsp)
vmovdqa %xmm0, 0x480(%rsp)
vmovdqa 0x490(%rsp), %xmm0
vmovdqa 0x480(%rsp), %xmm1
vpand %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm0
vpshufd $0x93, %xmm0, %xmm0     # xmm0 = xmm0[3,0,1,2]
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x590(%rsp)
movl $0x1, 0x58c(%rsp)
vmovdqa 0x590(%rsp), %xmm0
vmovd 0x58c(%rsp), %xmm1
vpslld %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
vmovdqa -0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x30(%rsp)
vmovdqa %xmm0, 0x20(%rsp)
vmovdqa 0x30(%rsp), %xmm0
vmovdqa 0x20(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
movb $0x0, 0x13f(%rsp)
movb $0x1, 0x13e(%rsp)
movb $0x2, 0x13d(%rsp)
movb $0x3, 0x13c(%rsp)
movb $0x4, 0x13b(%rsp)
movb $0x5, 0x13a(%rsp)
movb $0x6, 0x139(%rsp)
movb $0x7, 0x138(%rsp)
movb $0x8, 0x137(%rsp)
movb $0x9, 0x136(%rsp)
movb $0xa, 0x135(%rsp)
movb $0xb, 0x134(%rsp)
movb $0xc, 0x133(%rsp)
movb $0xd, 0x132(%rsp)
movb $0xe, 0x131(%rsp)
movb $0xf, 0x130(%rsp)
movzbl 0x130(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x131(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x132(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x133(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x134(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x135(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x136(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x137(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x138(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x139(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x13a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x13b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x13c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x13d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x13e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x13f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x120(%rsp)
vmovdqa 0x120(%rsp), %xmm0
vmovdqa %xmm1, 0x270(%rsp)
vmovdqa %xmm0, 0x260(%rsp)
vmovdqa 0x270(%rsp), %xmm0
vmovdqa 0x260(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq -0x48(%rsp), %rax
vmovdqa %xmm0, 0x50(%rax)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x370(%rsp)
movl $0x1f, 0x36c(%rsp)
vmovdqa 0x370(%rsp), %xmm0
vmovd 0x36c(%rsp), %xmm1
vpsrad %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm1
vmovdqa -0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x470(%rsp)
vmovdqa %xmm0, 0x460(%rsp)
vmovdqa 0x470(%rsp), %xmm0
vmovdqa 0x460(%rsp), %xmm1
vpand %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm0
vpshufd $0x93, %xmm0, %xmm0     # xmm0 = xmm0[3,0,1,2]
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x570(%rsp)
movl $0x1, 0x56c(%rsp)
vmovdqa 0x570(%rsp), %xmm0
vmovd 0x56c(%rsp), %xmm1
vpslld %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
vmovdqa -0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x10(%rsp)
vmovdqa %xmm0, (%rsp)
vmovdqa 0x10(%rsp), %xmm0
vmovdqa (%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
movb $0x0, 0x11f(%rsp)
movb $0x1, 0x11e(%rsp)
movb $0x2, 0x11d(%rsp)
movb $0x3, 0x11c(%rsp)
movb $0x4, 0x11b(%rsp)
movb $0x5, 0x11a(%rsp)
movb $0x6, 0x119(%rsp)
movb $0x7, 0x118(%rsp)
movb $0x8, 0x117(%rsp)
movb $0x9, 0x116(%rsp)
movb $0xa, 0x115(%rsp)
movb $0xb, 0x114(%rsp)
movb $0xc, 0x113(%rsp)
movb $0xd, 0x112(%rsp)
movb $0xe, 0x111(%rsp)
movb $0xf, 0x110(%rsp)
movzbl 0x110(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x111(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x112(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x113(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x114(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x115(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x116(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x117(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x118(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x119(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x11a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x11b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x11c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x11d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x11e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x11f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0x100(%rsp), %xmm0
vmovdqa %xmm1, 0x250(%rsp)
vmovdqa %xmm0, 0x240(%rsp)
vmovdqa 0x250(%rsp), %xmm0
vmovdqa 0x240(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq -0x48(%rsp), %rax
vmovdqa %xmm0, 0x60(%rax)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x350(%rsp)
movl $0x1f, 0x34c(%rsp)
vmovdqa 0x350(%rsp), %xmm0
vmovd 0x34c(%rsp), %xmm1
vpsrad %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm1
vmovdqa -0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x450(%rsp)
vmovdqa %xmm0, 0x440(%rsp)
vmovdqa 0x450(%rsp), %xmm0
vmovdqa 0x440(%rsp), %xmm1
vpand %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm0
vpshufd $0x93, %xmm0, %xmm0     # xmm0 = xmm0[3,0,1,2]
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x550(%rsp)
movl $0x1, 0x54c(%rsp)
vmovdqa 0x550(%rsp), %xmm0
vmovd 0x54c(%rsp), %xmm1
vpslld %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
vmovdqa -0x80(%rsp), %xmm0
vmovdqa %xmm1, -0x10(%rsp)
vmovdqa %xmm0, -0x20(%rsp)
vmovdqa -0x10(%rsp), %xmm0
vmovdqa -0x20(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
movb $0x0, 0xff(%rsp)
movb $0x1, 0xfe(%rsp)
movb $0x2, 0xfd(%rsp)
movb $0x3, 0xfc(%rsp)
movb $0x4, 0xfb(%rsp)
movb $0x5, 0xfa(%rsp)
movb $0x6, 0xf9(%rsp)
movb $0x7, 0xf8(%rsp)
movb $0x8, 0xf7(%rsp)
movb $0x9, 0xf6(%rsp)
movb $0xa, 0xf5(%rsp)
movb $0xb, 0xf4(%rsp)
movb $0xc, 0xf3(%rsp)
movb $0xd, 0xf2(%rsp)
movb $0xe, 0xf1(%rsp)
movb $0xf, 0xf0(%rsp)
movzbl 0xf0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0xf1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0xf2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0xf3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0xf4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0xf5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0xf6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0xf7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0xf8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0xf9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0xfa(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0xfb(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0xfc(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0xfd(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0xfe(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0xff(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm1, 0x230(%rsp)
vmovdqa %xmm0, 0x220(%rsp)
vmovdqa 0x230(%rsp), %xmm0
vmovdqa 0x220(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq -0x48(%rsp), %rax
vmovdqa %xmm0, 0x70(%rax)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x330(%rsp)
movl $0x1f, 0x32c(%rsp)
vmovdqa 0x330(%rsp), %xmm0
vmovd 0x32c(%rsp), %xmm1
vpsrad %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm1
vmovdqa -0x60(%rsp), %xmm0
vmovdqa %xmm1, 0x430(%rsp)
vmovdqa %xmm0, 0x420(%rsp)
vmovdqa 0x430(%rsp), %xmm0
vmovdqa 0x420(%rsp), %xmm1
vpand %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x80(%rsp), %xmm0
vpshufd $0x93, %xmm0, %xmm0     # xmm0 = xmm0[3,0,1,2]
vmovdqa %xmm0, -0x80(%rsp)
vmovdqa -0x70(%rsp), %xmm0
vmovdqa %xmm0, 0x530(%rsp)
movl $0x1, 0x52c(%rsp)
vmovdqa 0x530(%rsp), %xmm0
vmovd 0x52c(%rsp), %xmm1
vpslld %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
vmovdqa -0x80(%rsp), %xmm0
vmovdqa %xmm1, -0x30(%rsp)
vmovdqa %xmm0, -0x40(%rsp)
vmovdqa -0x30(%rsp), %xmm0
vmovdqa -0x40(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, -0x70(%rsp)
vmovdqa -0x70(%rsp), %xmm1
movb $0x0, 0xdf(%rsp)
movb $0x1, 0xde(%rsp)
movb $0x2, 0xdd(%rsp)
movb $0x3, 0xdc(%rsp)
movb $0x4, 0xdb(%rsp)
movb $0x5, 0xda(%rsp)
movb $0x6, 0xd9(%rsp)
movb $0x7, 0xd8(%rsp)
movb $0x8, 0xd7(%rsp)
movb $0x9, 0xd6(%rsp)
movb $0xa, 0xd5(%rsp)
movb $0xb, 0xd4(%rsp)
movb $0xc, 0xd3(%rsp)
movb $0xd, 0xd2(%rsp)
movb $0xe, 0xd1(%rsp)
movb $0xf, 0xd0(%rsp)
movzbl 0xd0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0xd1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0xd2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0xd3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0xd4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0xd5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0xd6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0xd7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0xd8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0xd9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0xda(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0xdb(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0xdc(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0xdd(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0xde(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0xdf(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0x210(%rsp)
vmovdqa %xmm0, 0x200(%rsp)
vmovdqa 0x210(%rsp), %xmm0
vmovdqa 0x200(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm0
movq -0x48(%rsp), %rax
vmovdqa %xmm0, 0x80(%rax)
addq $0x628, %rsp            # imm = 0x628
retq
nopl (%rax)