// File: /workspace/github_c_makefile_star2_O1/mjosaarinen[P]brutus/crypto_aead/elmd1001v2/ref/aes_round_6.h
// Function: AES_decrypt_r6
void AES_decrypt_r6(const unsigned char *in, unsigned char *out,
		 const AES_KEY *key) {

	const u32 *rk;
	u32 s0, s1, s2, s3, t0, t1, t2, t3;

	assert(in && out && key);
	rk = key->rd_key;

	/*
	 * map byte array block to cipher state
	 * and add initial round key:
	 */
    t0 = GETU32(in     ) ^ rk[0];
    t1 = GETU32(in +  4) ^ rk[1];
    t2 = GETU32(in +  8) ^ rk[2];
    t3 = GETU32(in + 12) ^ rk[3];
    
    /* Mix Column inverse */
    		s0 =
			Td0[Te1[(t0 >> 24)       ] & 0xff] ^
			Td1[Te1[(t0 >> 16) & 0xff] & 0xff] ^
			Td2[Te1[(t0 >>  8) & 0xff] & 0xff] ^
			Td3[Te1[(t0      ) & 0xff] & 0xff];
		s1 =
			Td0[Te1[(t1 >> 24)       ] & 0xff] ^
			Td1[Te1[(t1 >> 16) & 0xff] & 0xff] ^
			Td2[Te1[(t1 >>  8) & 0xff] & 0xff] ^
			Td3[Te1[(t1      ) & 0xff] & 0xff];
		s2 =
			Td0[Te1[(t2 >> 24)       ] & 0xff] ^
			Td1[Te1[(t2 >> 16) & 0xff] & 0xff] ^
			Td2[Te1[(t2 >>  8) & 0xff] & 0xff] ^
			Td3[Te1[(t2      ) & 0xff] & 0xff];
		s3 =
			Td0[Te1[(t3 >> 24)       ] & 0xff] ^
			Td1[Te1[(t3 >> 16) & 0xff] & 0xff] ^
			Td2[Te1[(t3 >>  8) & 0xff] & 0xff] ^
			Td3[Te1[(t3      ) & 0xff] & 0xff];
	
    /* round 1: */
    t0 = Td0[s0 >> 24] ^ Td1[(s3 >> 16) & 0xff] ^ Td2[(s2 >>  8) & 0xff] ^ Td3[s1 & 0xff] ^ rk[ 4];
    t1 = Td0[s1 >> 24] ^ Td1[(s0 >> 16) & 0xff] ^ Td2[(s3 >>  8) & 0xff] ^ Td3[s2 & 0xff] ^ rk[ 5];
    t2 = Td0[s2 >> 24] ^ Td1[(s1 >> 16) & 0xff] ^ Td2[(s0 >>  8) & 0xff] ^ Td3[s3 & 0xff] ^ rk[ 6];
    t3 = Td0[s3 >> 24] ^ Td1[(s2 >> 16) & 0xff] ^ Td2[(s1 >>  8) & 0xff] ^ Td3[s0 & 0xff] ^ rk[ 7];
    /* round 2: */
    s0 = Td0[t0 >> 24] ^ Td1[(t3 >> 16) & 0xff] ^ Td2[(t2 >>  8) & 0xff] ^ Td3[t1 & 0xff] ^ rk[ 8];
    s1 = Td0[t1 >> 24] ^ Td1[(t0 >> 16) & 0xff] ^ Td2[(t3 >>  8) & 0xff] ^ Td3[t2 & 0xff] ^ rk[ 9];
    s2 = Td0[t2 >> 24] ^ Td1[(t1 >> 16) & 0xff] ^ Td2[(t0 >>  8) & 0xff] ^ Td3[t3 & 0xff] ^ rk[10];
    s3 = Td0[t3 >> 24] ^ Td1[(t2 >> 16) & 0xff] ^ Td2[(t1 >>  8) & 0xff] ^ Td3[t0 & 0xff] ^ rk[11];
    /* round 3: */
    t0 = Td0[s0 >> 24] ^ Td1[(s3 >> 16) & 0xff] ^ Td2[(s2 >>  8) & 0xff] ^ Td3[s1 & 0xff] ^ rk[12];
    t1 = Td0[s1 >> 24] ^ Td1[(s0 >> 16) & 0xff] ^ Td2[(s3 >>  8) & 0xff] ^ Td3[s2 & 0xff] ^ rk[13];
    t2 = Td0[s2 >> 24] ^ Td1[(s1 >> 16) & 0xff] ^ Td2[(s0 >>  8) & 0xff] ^ Td3[s3 & 0xff] ^ rk[14];
    t3 = Td0[s3 >> 24] ^ Td1[(s2 >> 16) & 0xff] ^ Td2[(s1 >>  8) & 0xff] ^ Td3[s0 & 0xff] ^ rk[15];
    /* round 4: */
    s0 = Td0[t0 >> 24] ^ Td1[(t3 >> 16) & 0xff] ^ Td2[(t2 >>  8) & 0xff] ^ Td3[t1 & 0xff] ^ rk[16];
    s1 = Td0[t1 >> 24] ^ Td1[(t0 >> 16) & 0xff] ^ Td2[(t3 >>  8) & 0xff] ^ Td3[t2 & 0xff] ^ rk[17];
    s2 = Td0[t2 >> 24] ^ Td1[(t1 >> 16) & 0xff] ^ Td2[(t0 >>  8) & 0xff] ^ Td3[t3 & 0xff] ^ rk[18];
    s3 = Td0[t3 >> 24] ^ Td1[(t2 >> 16) & 0xff] ^ Td2[(t1 >>  8) & 0xff] ^ Td3[t0 & 0xff] ^ rk[19];
    /* round 5: */
    t0 = Td0[s0 >> 24] ^ Td1[(s3 >> 16) & 0xff] ^ Td2[(s2 >>  8) & 0xff] ^ Td3[s1 & 0xff] ^ rk[20];
    t1 = Td0[s1 >> 24] ^ Td1[(s0 >> 16) & 0xff] ^ Td2[(s3 >>  8) & 0xff] ^ Td3[s2 & 0xff] ^ rk[21];
    t2 = Td0[s2 >> 24] ^ Td1[(s1 >> 16) & 0xff] ^ Td2[(s0 >>  8) & 0xff] ^ Td3[s3 & 0xff] ^ rk[22];
    t3 = Td0[s3 >> 24] ^ Td1[(s2 >> 16) & 0xff] ^ Td2[(s1 >>  8) & 0xff] ^ Td3[s0 & 0xff] ^ rk[23];
    
    rk += key->rounds << 2;

 
    /* apply last round and  map cipher state to byte array block: */
   	s0 =
   		(Td4[(t0 >> 24)       ] << 24) ^
   		(Td4[(t3 >> 16) & 0xff] << 16) ^
   		(Td4[(t2 >>  8) & 0xff] <<  8) ^
   		(Td4[(t1      ) & 0xff])       ^
   		rk[0];
	PUTU32(out     , s0);

   	s1 =
   		(Td4[(t1 >> 24)       ] << 24) ^
   		(Td4[(t0 >> 16) & 0xff] << 16) ^
   		(Td4[(t3 >>  8) & 0xff] <<  8) ^
   		(Td4[(t2      ) & 0xff])       ^
   		rk[1];
	PUTU32(out +  4, s1);

   	 s2 =
   		(Td4[(t2 >> 24)       ] << 24) ^
   		(Td4[(t1 >> 16) & 0xff] << 16) ^
   		(Td4[(t0 >>  8) & 0xff] <<  8) ^
   		(Td4[(t3      ) & 0xff])       ^
   		rk[2];
	PUTU32(out +  8, s2);

   	 s3 =
   		(Td4[(t3 >> 24)       ] << 24) ^
   		(Td4[(t2 >> 16) & 0xff] << 16) ^
   		(Td4[(t1 >>  8) & 0xff] <<  8) ^
   		(Td4[(t0      ) & 0xff])       ^
   		rk[3];
	PUTU32(out + 12, s3);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movbel (%rdi), %r14d
xorl (%rdx), %r14d
movbel 0x4(%rdi), %r12d
xorl 0x4(%rdx), %r12d
movbel 0x8(%rdi), %r8d
xorl 0x8(%rdx), %r8d
movbel 0xc(%rdi), %ebx
xorl 0xc(%rdx), %ebx
movl %r14d, %eax
shrl $0x18, %eax
leaq 0x311a(%rip), %r15      # 0x4c20
movzbl (%r15,%rax,4), %eax
leaq 0x353e(%rip), %rdi      # 0x5050
movl %r14d, %ecx
shrl $0xe, %ecx
movl $0x3fc, %r9d            # imm = 0x3FC
andl %r9d, %ecx
movl $0x3fc, %r10d           # imm = 0x3FC
movzbl (%rcx,%r15), %ecx
leaq 0x391d(%rip), %r9       # 0x5450
movl (%r9,%rcx,4), %r11d
movq %r9, %rbp
xorl (%rdi,%rax,4), %r11d
movl %r14d, %ecx
shrl $0x8, %ecx
movl $0xff, %eax
andl %eax, %ecx
movzbl (%r15,%rcx,4), %ecx
leaq 0x3cf9(%rip), %r13      # 0x5850
xorl (%r13,%rcx,4), %r11d
andl %eax, %r14d
movzbl (%r15,%r14,4), %ecx
leaq 0x40e5(%rip), %r9       # 0x5c50
xorl (%r9,%rcx,4), %r11d
movl %r12d, %ecx
shrl $0x18, %ecx
movzbl (%r15,%rcx,4), %ecx
movl %r12d, %r14d
shrl $0xe, %r14d
andl %r10d, %r14d
movzbl (%r14,%r15), %r14d
movl (%rbp,%r14,4), %r14d
xorl (%rdi,%rcx,4), %r14d
movl %r12d, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
movzbl (%r15,%rcx,4), %ecx
xorl (%r13,%rcx,4), %r14d
movq %r13, %r10
andl %eax, %r12d
movzbl (%r15,%r12,4), %ecx
xorl (%r9,%rcx,4), %r14d
movl %r8d, %ecx
shrl $0x18, %ecx
movzbl (%r15,%rcx,4), %ecx
movl %r8d, %r12d
shrl $0xe, %r12d
movl $0x3fc, %r13d           # imm = 0x3FC
andl %r13d, %r12d
movzbl (%r12,%r15), %r12d
movl (%rbp,%r12,4), %r12d
movq %rbp, %r13
xorl (%rdi,%rcx,4), %r12d
movl %r8d, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
movzbl (%r15,%rcx,4), %ecx
xorl (%r10,%rcx,4), %r12d
andl %eax, %r8d
movzbl (%r15,%r8,4), %ecx
xorl (%r9,%rcx,4), %r12d
movl %ebx, %ecx
shrl $0x18, %ecx
movzbl (%r15,%rcx,4), %ecx
movl %ebx, %r8d
shrl $0xe, %r8d
movl $0x3fc, %r9d            # imm = 0x3FC
andl %r9d, %r8d
movzbl (%r8,%r15), %r8d
movl (%rbp,%r8,4), %ebp
xorl (%rdi,%rcx,4), %ebp
movl %ebx, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
movzbl (%r15,%rcx,4), %ecx
xorl (%r10,%rcx,4), %ebp
movq %r10, %r9
andl %eax, %ebx
movzbl (%r15,%rbx,4), %ecx
leaq 0x400c(%rip), %r10      # 0x5c50
xorl (%r10,%rcx,4), %ebp
movl %r11d, %ecx
shrl $0x18, %ecx
movl %ebp, %r8d
shrl $0xe, %r8d
movl $0x3fc, %r15d           # imm = 0x3FC
andl %r15d, %r8d
movl (%r8,%r13), %ebx
xorl (%rdi,%rcx,4), %ebx
movl %r12d, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
xorl (%r9,%rcx,4), %ebx
movl %r14d, %ecx
andl %eax, %ecx
xorl (%r10,%rcx,4), %ebx
movl %r14d, %ecx
shrl $0x18, %ecx
movl %r11d, %r8d
shrl $0xe, %r8d
andl %r15d, %r8d
movl (%r8,%r13), %r15d
movq %r13, %r9
xorl (%rdi,%rcx,4), %r15d
movl %ebp, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
leaq 0x3bad(%rip), %r8       # 0x5850
xorl (%r8,%rcx,4), %r15d
movl %r12d, %ecx
andl %eax, %ecx
xorl (%r10,%rcx,4), %r15d
movl %r12d, %ecx
shrl $0x18, %ecx
movl %r14d, %r8d
shrl $0xe, %r8d
movl $0x3fc, %r10d           # imm = 0x3FC
andl %r10d, %r8d
movl (%r8,%r13), %r13d
xorl (%rdi,%rcx,4), %r13d
movl %r11d, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
leaq 0x3b73(%rip), %rdi      # 0x5850
xorl (%rdi,%rcx,4), %r13d
movl %ebp, %ecx
andl %eax, %ecx
leaq 0x3f64(%rip), %r10      # 0x5c50
xorl (%r10,%rcx,4), %r13d
xorl 0x10(%rdx), %ebx
xorl 0x14(%rdx), %r15d
xorl 0x18(%rdx), %r13d
shrl $0x18, %ebp
shrl $0xe, %r12d
movl $0x3fc, %ecx            # imm = 0x3FC
andl %ecx, %r12d
movl (%r12,%r9), %r8d
leaq 0x333b(%rip), %r12      # 0x5050
xorl (%r12,%rbp,4), %r8d
shrl $0x8, %r14d
andl %eax, %r14d
xorl (%rdi,%r14,4), %r8d
andl %eax, %r11d
xorl (%r10,%r11,4), %r8d
xorl 0x1c(%rdx), %r8d
movl %ebx, %ecx
shrl $0x18, %ecx
movl %r8d, %r11d
shrl $0xe, %r11d
movl $0x3fc, %r9d            # imm = 0x3FC
andl %r9d, %r11d
leaq 0x3705(%rip), %rbp      # 0x5450
movl (%r11,%rbp), %r11d
xorl (%r12,%rcx,4), %r11d
movl %r13d, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
xorl (%rdi,%rcx,4), %r11d
movl %r15d, %ecx
andl %eax, %ecx
xorl (%r10,%rcx,4), %r11d
movl %r15d, %ecx
shrl $0x18, %ecx
movl %ebx, %r14d
shrl $0xe, %r14d
andl %r9d, %r14d
movl (%r14,%rbp), %r14d
xorl (%r12,%rcx,4), %r14d
movq %r12, %r9
movl %r8d, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
xorl (%rdi,%rcx,4), %r14d
movl %r13d, %ecx
andl %eax, %ecx
xorl (%r10,%rcx,4), %r14d
movl %r13d, %ecx
shrl $0x18, %ecx
movl %r15d, %r12d
shrl $0xe, %r12d
movl $0x3fc, %r10d           # imm = 0x3FC
andl %r10d, %r12d
movl (%r12,%rbp), %r12d
movq %rbp, %r10
xorl (%r9,%rcx,4), %r12d
movl %ebx, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
xorl (%rdi,%rcx,4), %r12d
movl %r8d, %ecx
andl %eax, %ecx
leaq 0x3e80(%rip), %rbp      # 0x5c50
xorl (%rbp,%rcx,4), %r12d
xorl 0x20(%rdx), %r11d
xorl 0x24(%rdx), %r14d
xorl 0x28(%rdx), %r12d
shrl $0x18, %r8d
shrl $0xe, %r13d
movl $0x3fc, %ecx            # imm = 0x3FC
andl %ecx, %r13d
movl (%r13,%r10), %ebp
movq %r9, %r13
xorl (%r9,%r8,4), %ebp
shrl $0x8, %r15d
andl %eax, %r15d
xorl (%rdi,%r15,4), %ebp
movq %rdi, %r10
andl %eax, %ebx
leaq 0x3e3c(%rip), %r9       # 0x5c50
xorl (%r9,%rbx,4), %ebp
xorl 0x2c(%rdx), %ebp
movl %r11d, %ecx
shrl $0x18, %ecx
movl %ebp, %r8d
shrl $0xe, %r8d
movl $0x3fc, %r15d           # imm = 0x3FC
andl %r15d, %r8d
leaq 0x3618(%rip), %rdi      # 0x5450
movl (%r8,%rdi), %ebx
xorl (%r13,%rcx,4), %ebx
movl %r12d, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
xorl (%r10,%rcx,4), %ebx
movl %r14d, %ecx
andl %eax, %ecx
xorl (%r9,%rcx,4), %ebx
movq %r9, %r10
movl %r14d, %ecx
shrl $0x18, %ecx
movl %r11d, %r8d
shrl $0xe, %r8d
andl %r15d, %r8d
movl (%r8,%rdi), %r15d
xorl (%r13,%rcx,4), %r15d
movq %r13, %r9
movl %ebp, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
leaq 0x39cd(%rip), %r8       # 0x5850
xorl (%r8,%rcx,4), %r15d
movl %r12d, %ecx
andl %eax, %ecx
xorl (%r10,%rcx,4), %r15d
movl %r12d, %ecx
shrl $0x18, %ecx
movl %r14d, %r8d
shrl $0xe, %r8d
movl $0x3fc, %r13d           # imm = 0x3FC
andl %r13d, %r8d
movl (%r8,%rdi), %r13d
xorl (%r9,%rcx,4), %r13d
movl %r11d, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
leaq 0x3993(%rip), %r8       # 0x5850
xorl (%r8,%rcx,4), %r13d
movl %ebp, %ecx
andl %eax, %ecx
xorl (%r10,%rcx,4), %r13d
movq %r10, %rcx
xorl 0x30(%rdx), %ebx
xorl 0x34(%rdx), %r15d
xorl 0x38(%rdx), %r13d
shrl $0x18, %ebp
shrl $0xe, %r12d
movl $0x3fc, %r8d            # imm = 0x3FC
andl %r8d, %r12d
movl $0x3fc, %r10d           # imm = 0x3FC
movl (%r12,%rdi), %r8d
xorl (%r9,%rbp,4), %r8d
shrl $0x8, %r14d
andl %eax, %r14d
leaq 0x394d(%rip), %r12      # 0x5850
xorl (%r12,%r14,4), %r8d
andl %eax, %r11d
movq %rcx, %rbp
xorl (%rcx,%r11,4), %r8d
xorl 0x3c(%rdx), %r8d
movl %ebx, %ecx
shrl $0x18, %ecx
movl %r8d, %r11d
shrl $0xe, %r11d
andl %r10d, %r11d
movl (%r11,%rdi), %r14d
xorl (%r9,%rcx,4), %r14d
movl %r13d, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
xorl (%r12,%rcx,4), %r14d
movq %r12, %r10
movl %r15d, %ecx
andl %eax, %ecx
xorl (%rbp,%rcx,4), %r14d
movl %r15d, %ecx
shrl $0x18, %ecx
movl %ebx, %r11d
shrl $0xe, %r11d
movl $0x3fc, %r12d           # imm = 0x3FC
andl %r12d, %r11d
movl (%r11,%rdi), %r12d
xorl (%r9,%rcx,4), %r12d
movl %r8d, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
xorl (%r10,%rcx,4), %r12d
movl %r13d, %ecx
andl %eax, %ecx
xorl (%rbp,%rcx,4), %r12d
movl %r13d, %ecx
shrl $0x18, %ecx
movl %r15d, %r11d
shrl $0xe, %r11d
movl $0x3fc, %ebp            # imm = 0x3FC
andl %ebp, %r11d
movl (%r11,%rdi), %ebp
movq %r9, %r11
xorl (%r9,%rcx,4), %ebp
movl %ebx, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
movq %r10, %r9
xorl (%r10,%rcx,4), %ebp
movl %r8d, %ecx
andl %eax, %ecx
leaq 0x3c9d(%rip), %r10      # 0x5c50
xorl (%r10,%rcx,4), %ebp
xorl 0x40(%rdx), %r14d
xorl 0x44(%rdx), %r12d
xorl 0x48(%rdx), %ebp
shrl $0x18, %r8d
shrl $0xe, %r13d
movl $0x3fc, %ecx            # imm = 0x3FC
andl %ecx, %r13d
movl (%r13,%rdi), %r13d
xorl (%r11,%r8,4), %r13d
shrl $0x8, %r15d
andl %eax, %r15d
xorl (%r9,%r15,4), %r13d
andl %eax, %ebx
xorl (%r10,%rbx,4), %r13d
xorl 0x4c(%rdx), %r13d
movl %r14d, %ecx
shrl $0x18, %ecx
movl %r13d, %r8d
shrl $0xe, %r8d
movl $0x3fc, %r9d            # imm = 0x3FC
andl %r9d, %r8d
movl (%r8,%rdi), %r11d
leaq 0x303f(%rip), %r10      # 0x5050
xorl (%r10,%rcx,4), %r11d
movl %r12d, %ecx
shrl $0x18, %ecx
movl %r14d, %r8d
shrl $0xe, %r8d
andl %r9d, %r8d
movl (%r8,%rdi), %ebx
xorl (%r10,%rcx,4), %ebx
movl %ebp, %ecx
shrl $0x18, %ecx
movl %r12d, %r8d
shrl $0xe, %r8d
andl %r9d, %r8d
movl (%r8,%rdi), %r15d
xorl (%r10,%rcx,4), %r15d
movl %ebp, %ecx
movl %ebp, %r8d
shrl $0xe, %ebp
andl %r9d, %ebp
movl (%rbp,%rdi), %r9d
movl %r13d, %r10d
movl %r13d, %ebp
shrl $0x18, %r13d
leaq 0x2feb(%rip), %rdi      # 0x5050
xorl (%rdi,%r13,4), %r9d
shrl $0x8, %ecx
andl %eax, %ecx
leaq 0x37db(%rip), %rdi      # 0x5850
xorl (%rdi,%rcx,4), %r11d
movl %r12d, %ecx
andl %eax, %ecx
leaq 0x3bcb(%rip), %r13      # 0x5c50
xorl (%r13,%rcx,4), %r11d
shrl $0x8, %r10d
andl %eax, %r10d
xorl (%rdi,%r10,4), %ebx
andl %eax, %r8d
xorl (%r13,%r8,4), %ebx
movl %r14d, %ecx
shrl $0x8, %ecx
andl %eax, %ecx
xorl (%rdi,%rcx,4), %r15d
andl %eax, %ebp
xorl (%r13,%rbp,4), %r15d
xorl 0x50(%rdx), %r11d
xorl 0x54(%rdx), %ebx
xorl 0x58(%rdx), %r15d
shrl $0x8, %r12d
andl %eax, %r12d
xorl (%rdi,%r12,4), %r9d
andl %eax, %r14d
xorl (%r13,%r14,4), %r9d
xorl 0x5c(%rdx), %r9d
movl 0xf0(%rdx), %ecx
shll $0x2, %ecx
movslq %ecx, %rcx
movl %r11d, %r8d
shrl $0x18, %r8d
leaq 0x3f64(%rip), %rdi      # 0x6050
movzbl (%r8,%rdi), %r8d
shll $0x18, %r8d
movl %r9d, %r10d
shrl $0x10, %r10d
andl %eax, %r10d
movzbl (%r10,%rdi), %r10d
shll $0x10, %r10d
orl %r8d, %r10d
movl %r15d, %r8d
shrl $0x8, %r8d
andl %eax, %r8d
movzbl (%r8,%rdi), %r8d
shll $0x8, %r8d
orl %r10d, %r8d
movl %ebx, %r10d
andl %eax, %r10d
movzbl (%r10,%rdi), %r10d
orl %r8d, %r10d
xorl (%rdx,%rcx,4), %r10d
movbel %r10d, (%rsi)
movl %ebx, %r8d
shrl $0x18, %r8d
movzbl (%r8,%rdi), %r8d
shll $0x18, %r8d
movl %r11d, %r10d
shrl $0x10, %r10d
andl %eax, %r10d
movzbl (%r10,%rdi), %r10d
shll $0x10, %r10d
orl %r8d, %r10d
movl %r9d, %r8d
shrl $0x8, %r8d
andl %eax, %r8d
movzbl (%r8,%rdi), %r8d
shll $0x8, %r8d
orl %r10d, %r8d
movl %r15d, %r10d
andl %eax, %r10d
movzbl (%r10,%rdi), %r10d
orl %r8d, %r10d
xorl 0x4(%rdx,%rcx,4), %r10d
movbel %r10d, 0x4(%rsi)
movl %r15d, %r8d
shrl $0x18, %r8d
movzbl (%r8,%rdi), %r8d
shll $0x18, %r8d
movl %ebx, %r10d
shrl $0x10, %r10d
andl %eax, %r10d
movzbl (%r10,%rdi), %r10d
shll $0x10, %r10d
orl %r8d, %r10d
movl %r11d, %r8d
shrl $0x8, %r8d
andl %eax, %r8d
movzbl (%r8,%rdi), %r8d
shll $0x8, %r8d
orl %r10d, %r8d
movl %r9d, %r10d
andl %eax, %r10d
movzbl (%r10,%rdi), %r10d
orl %r8d, %r10d
xorl 0x8(%rdx,%rcx,4), %r10d
movbel %r10d, 0x8(%rsi)
shrl $0x18, %r9d
movzbl (%r9,%rdi), %r8d
shll $0x18, %r8d
shrl $0x10, %r15d
andl %eax, %r15d
movzbl (%r15,%rdi), %r9d
shll $0x10, %r9d
orl %r8d, %r9d
shrl $0x8, %ebx
andl %eax, %ebx
movzbl (%rbx,%rdi), %r8d
shll $0x8, %r8d
orl %r9d, %r8d
andl %eax, %r11d
movzbl (%r11,%rdi), %eax
orl %r8d, %eax
xorl 0xc(%rdx,%rcx,4), %eax
movbel %eax, 0xc(%rsi)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq