// File: /workspace/github_c_makefile_star2_O1/mjosaarinen[P]brutus/crypto_aead/deoxyseq256128v13/ref/tweakableBC.c
// Function: aesTweakDecrypt
void aesTweakDecrypt(uint32_t tweakey_size,
                     const uint8_t ct[16],
                     const uint8_t key[],
                     uint8_t pt[16])
{

    uint32_t s0;
    uint32_t s1;
    uint32_t s2;
    uint32_t s3;
    uint32_t t0;
    uint32_t t1;
    uint32_t t2;
    uint32_t t3;
    int Nr;
    uint32_t rk[4*17];

    /* Produce the round tweakeys */
    Nr=deoxysKeySetupDec256 (rk, key, tweakey_size/128);

    /* Get the plaintext + key/tweak prewhitening */
    s0 = GETU32(ct     ) ^ rk[0];
    s1 = GETU32(ct +  4) ^ rk[1];
    s2 = GETU32(ct +  8) ^ rk[2];
    s3 = GETU32(ct + 12) ^ rk[3];

    /* Apply the inverse of the MixColumn transformation to use the Td AES tables */
    s0 =
        Td0[Te4[(s0 >> 24)       ] & 0xff] ^
        Td1[Te4[(s0 >> 16) & 0xff] & 0xff] ^
        Td2[Te4[(s0 >>  8) & 0xff] & 0xff] ^
        Td3[Te4[(s0      ) & 0xff] & 0xff];
    s1 =
        Td0[Te4[(s1 >> 24)       ] & 0xff] ^
        Td1[Te4[(s1 >> 16) & 0xff] & 0xff] ^
        Td2[Te4[(s1 >>  8) & 0xff] & 0xff] ^
        Td3[Te4[(s1      ) & 0xff] & 0xff];
    s2 =
        Td0[Te4[(s2 >> 24)       ] & 0xff] ^
        Td1[Te4[(s2 >> 16) & 0xff] & 0xff] ^
        Td2[Te4[(s2 >>  8) & 0xff] & 0xff] ^
        Td3[Te4[(s2      ) & 0xff] & 0xff];
    s3 =
        Td0[Te4[(s3 >> 24)       ] & 0xff] ^
        Td1[Te4[(s3 >> 16) & 0xff] & 0xff] ^
        Td2[Te4[(s3 >>  8) & 0xff] & 0xff] ^
        Td3[Te4[(s3      ) & 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];
    /* round 6: */
    s0 = Td0[t0 >> 24] ^ Td1[(t3 >> 16) & 0xff] ^ Td2[(t2 >>  8) & 0xff] ^ Td3[t1 & 0xff] ^ rk[24];
    s1 = Td0[t1 >> 24] ^ Td1[(t0 >> 16) & 0xff] ^ Td2[(t3 >>  8) & 0xff] ^ Td3[t2 & 0xff] ^ rk[25];
    s2 = Td0[t2 >> 24] ^ Td1[(t1 >> 16) & 0xff] ^ Td2[(t0 >>  8) & 0xff] ^ Td3[t3 & 0xff] ^ rk[26];
    s3 = Td0[t3 >> 24] ^ Td1[(t2 >> 16) & 0xff] ^ Td2[(t1 >>  8) & 0xff] ^ Td3[t0 & 0xff] ^ rk[27];
    /* round 7: */
    t0 = Td0[s0 >> 24] ^ Td1[(s3 >> 16) & 0xff] ^ Td2[(s2 >>  8) & 0xff] ^ Td3[s1 & 0xff] ^ rk[28];
    t1 = Td0[s1 >> 24] ^ Td1[(s0 >> 16) & 0xff] ^ Td2[(s3 >>  8) & 0xff] ^ Td3[s2 & 0xff] ^ rk[29];
    t2 = Td0[s2 >> 24] ^ Td1[(s1 >> 16) & 0xff] ^ Td2[(s0 >>  8) & 0xff] ^ Td3[s3 & 0xff] ^ rk[30];
    t3 = Td0[s3 >> 24] ^ Td1[(s2 >> 16) & 0xff] ^ Td2[(s1 >>  8) & 0xff] ^ Td3[s0 & 0xff] ^ rk[31];
    /* round 8: */
    s0 = Td0[t0 >> 24] ^ Td1[(t3 >> 16) & 0xff] ^ Td2[(t2 >>  8) & 0xff] ^ Td3[t1 & 0xff] ^ rk[32];
    s1 = Td0[t1 >> 24] ^ Td1[(t0 >> 16) & 0xff] ^ Td2[(t3 >>  8) & 0xff] ^ Td3[t2 & 0xff] ^ rk[33];
    s2 = Td0[t2 >> 24] ^ Td1[(t1 >> 16) & 0xff] ^ Td2[(t0 >>  8) & 0xff] ^ Td3[t3 & 0xff] ^ rk[34];
    s3 = Td0[t3 >> 24] ^ Td1[(t2 >> 16) & 0xff] ^ Td2[(t1 >>  8) & 0xff] ^ Td3[t0 & 0xff] ^ rk[35];
    /* round 9: */
    t0 = Td0[s0 >> 24] ^ Td1[(s3 >> 16) & 0xff] ^ Td2[(s2 >>  8) & 0xff] ^ Td3[s1 & 0xff] ^ rk[36];
    t1 = Td0[s1 >> 24] ^ Td1[(s0 >> 16) & 0xff] ^ Td2[(s3 >>  8) & 0xff] ^ Td3[s2 & 0xff] ^ rk[37];
    t2 = Td0[s2 >> 24] ^ Td1[(s1 >> 16) & 0xff] ^ Td2[(s0 >>  8) & 0xff] ^ Td3[s3 & 0xff] ^ rk[38];
    t3 = Td0[s3 >> 24] ^ Td1[(s2 >> 16) & 0xff] ^ Td2[(s1 >>  8) & 0xff] ^ Td3[s0 & 0xff] ^ rk[39];
    /* round 10: */
    s0 = Td0[t0 >> 24] ^ Td1[(t3 >> 16) & 0xff] ^ Td2[(t2 >>  8) & 0xff] ^ Td3[t1 & 0xff] ^ rk[40];
    s1 = Td0[t1 >> 24] ^ Td1[(t0 >> 16) & 0xff] ^ Td2[(t3 >>  8) & 0xff] ^ Td3[t2 & 0xff] ^ rk[41];
    s2 = Td0[t2 >> 24] ^ Td1[(t1 >> 16) & 0xff] ^ Td2[(t0 >>  8) & 0xff] ^ Td3[t3 & 0xff] ^ rk[42];
    s3 = Td0[t3 >> 24] ^ Td1[(t2 >> 16) & 0xff] ^ Td2[(t1 >>  8) & 0xff] ^ Td3[t0 & 0xff] ^ rk[43];
    /* round 11: */
    t0 = Td0[s0 >> 24] ^ Td1[(s3 >> 16) & 0xff] ^ Td2[(s2 >>  8) & 0xff] ^ Td3[s1 & 0xff] ^ rk[44];
    t1 = Td0[s1 >> 24] ^ Td1[(s0 >> 16) & 0xff] ^ Td2[(s3 >>  8) & 0xff] ^ Td3[s2 & 0xff] ^ rk[45];
    t2 = Td0[s2 >> 24] ^ Td1[(s1 >> 16) & 0xff] ^ Td2[(s0 >>  8) & 0xff] ^ Td3[s3 & 0xff] ^ rk[46];
    t3 = Td0[s3 >> 24] ^ Td1[(s2 >> 16) & 0xff] ^ Td2[(s1 >>  8) & 0xff] ^ Td3[s0 & 0xff] ^ rk[47];
    /* round 12: */
    s0 = Td0[t0 >> 24] ^ Td1[(t3 >> 16) & 0xff] ^ Td2[(t2 >>  8) & 0xff] ^ Td3[t1 & 0xff] ^ rk[48];
    s1 = Td0[t1 >> 24] ^ Td1[(t0 >> 16) & 0xff] ^ Td2[(t3 >>  8) & 0xff] ^ Td3[t2 & 0xff] ^ rk[49];
    s2 = Td0[t2 >> 24] ^ Td1[(t1 >> 16) & 0xff] ^ Td2[(t0 >>  8) & 0xff] ^ Td3[t3 & 0xff] ^ rk[50];
    s3 = Td0[t3 >> 24] ^ Td1[(t2 >> 16) & 0xff] ^ Td2[(t1 >>  8) & 0xff] ^ Td3[t0 & 0xff] ^ rk[51];
    /* round 13: */
    t0 = Td0[s0 >> 24] ^ Td1[(s3 >> 16) & 0xff] ^ Td2[(s2 >>  8) & 0xff] ^ Td3[s1 & 0xff] ^ rk[52];
    t1 = Td0[s1 >> 24] ^ Td1[(s0 >> 16) & 0xff] ^ Td2[(s3 >>  8) & 0xff] ^ Td3[s2 & 0xff] ^ rk[53];
    t2 = Td0[s2 >> 24] ^ Td1[(s1 >> 16) & 0xff] ^ Td2[(s0 >>  8) & 0xff] ^ Td3[s3 & 0xff] ^ rk[54];
    t3 = Td0[s3 >> 24] ^ Td1[(s2 >> 16) & 0xff] ^ Td2[(s1 >>  8) & 0xff] ^ Td3[s0 & 0xff] ^ rk[55];
    /* round 14: */
    s0 = Td0[t0 >> 24] ^ Td1[(t3 >> 16) & 0xff] ^ Td2[(t2 >>  8) & 0xff] ^ Td3[t1 & 0xff] ^ rk[56];
    s1 = Td0[t1 >> 24] ^ Td1[(t0 >> 16) & 0xff] ^ Td2[(t3 >>  8) & 0xff] ^ Td3[t2 & 0xff] ^ rk[57];
    s2 = Td0[t2 >> 24] ^ Td1[(t1 >> 16) & 0xff] ^ Td2[(t0 >>  8) & 0xff] ^ Td3[t3 & 0xff] ^ rk[58];
    s3 = Td0[t3 >> 24] ^ Td1[(t2 >> 16) & 0xff] ^ Td2[(t1 >>  8) & 0xff] ^ Td3[t0 & 0xff] ^ rk[59];

    if (384 == tweakey_size) {
        /* round 15: */
        t0 = Td0[s0 >> 24] ^ Td1[(s3 >> 16) & 0xff] ^ Td2[(s2 >>  8) & 0xff] ^ Td3[s1 & 0xff] ^ rk[60];
        t1 = Td0[s1 >> 24] ^ Td1[(s0 >> 16) & 0xff] ^ Td2[(s3 >>  8) & 0xff] ^ Td3[s2 & 0xff] ^ rk[61];
        t2 = Td0[s2 >> 24] ^ Td1[(s1 >> 16) & 0xff] ^ Td2[(s0 >>  8) & 0xff] ^ Td3[s3 & 0xff] ^ rk[62];
        t3 = Td0[s3 >> 24] ^ Td1[(s2 >> 16) & 0xff] ^ Td2[(s1 >>  8) & 0xff] ^ Td3[s0 & 0xff] ^ rk[63];
        /* round 16: */
        s0 = Td0[t0 >> 24] ^ Td1[(t3 >> 16) & 0xff] ^ Td2[(t2 >>  8) & 0xff] ^ Td3[t1 & 0xff] ^ rk[64];
        s1 = Td0[t1 >> 24] ^ Td1[(t0 >> 16) & 0xff] ^ Td2[(t3 >>  8) & 0xff] ^ Td3[t2 & 0xff] ^ rk[65];
        s2 = Td0[t2 >> 24] ^ Td1[(t1 >> 16) & 0xff] ^ Td2[(t0 >>  8) & 0xff] ^ Td3[t3 & 0xff] ^ rk[66];
        s3 = Td0[t3 >> 24] ^ Td1[(t2 >> 16) & 0xff] ^ Td2[(t1 >>  8) & 0xff] ^ Td3[t0 & 0xff] ^ rk[67];
    }

    /* Apply the MixColum to invert the last one performe in the Td table */
    s0 =
        Te0[Td4[(s0 >> 24)       ] & 0xff] ^
        Te1[Td4[(s0 >> 16) & 0xff] & 0xff] ^
        Te2[Td4[(s0 >>  8) & 0xff] & 0xff] ^
        Te3[Td4[(s0      ) & 0xff] & 0xff];
    s1 =
        Te0[Td4[(s1 >> 24)       ] & 0xff] ^
        Te1[Td4[(s1 >> 16) & 0xff] & 0xff] ^
        Te2[Td4[(s1 >>  8) & 0xff] & 0xff] ^
        Te3[Td4[(s1      ) & 0xff] & 0xff];
    s2 =
        Te0[Td4[(s2 >> 24)       ] & 0xff] ^
        Te1[Td4[(s2 >> 16) & 0xff] & 0xff] ^
        Te2[Td4[(s2 >>  8) & 0xff] & 0xff] ^
        Te3[Td4[(s2      ) & 0xff] & 0xff];
    s3 =
        Te0[Td4[(s3 >> 24)       ] & 0xff] ^
        Te1[Td4[(s3 >> 16) & 0xff] & 0xff] ^
        Te2[Td4[(s3 >>  8) & 0xff] & 0xff] ^
        Te3[Td4[(s3      ) & 0xff] & 0xff];

    /* Put the state into the ciphertext */
    PUTU32(pt     , s0);
    PUTU32(pt +  4, s1);
    PUTU32(pt +  8, s2);
    PUTU32(pt + 12, s3);

}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x128, %rsp            # imm = 0x128
movq %rcx, 0x8(%rsp)
movq %rsi, %r15
movl %edi, %eax
movl %edi, 0x4(%rsp)
shrl $0x7, %eax
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
movq %rdx, %rsi
movl %eax, %edx
callq 0x10e0
movbel (%r15), %r8d
xorl (%rbx), %r8d
movbel 0x4(%r15), %ecx
xorl 0x4(%rbx), %ecx
movbel 0x8(%r15), %r13d
xorl 0x8(%rbx), %r13d
movbel 0xc(%r15), %r10d
xorl 0xc(%rbx), %r10d
movl %r8d, %eax
shrl $0x18, %eax
leaq 0x212f(%rip), %rbx      # 0x56c0
movzbl (%rbx,%rax,4), %eax
leaq 0x1d24(%rip), %rdx      # 0x52c0
movl %r8d, %esi
shrl $0xe, %esi
movl $0x3fc, %r14d           # imm = 0x3FC
andl %r14d, %esi
movzbl (%rsi,%rbx), %edi
leaq 0x250a(%rip), %rsi      # 0x5ac0
movl (%rsi,%rdi,4), %r9d
xorl (%rdx,%rax,4), %r9d
movl %r8d, %eax
shrl $0x8, %eax
movl $0xff, %edi
andl %edi, %eax
movzbl (%rbx,%rax,4), %r11d
leaq 0x28e9(%rip), %rax      # 0x5ec0
xorl (%rax,%r11,4), %r9d
andl %edi, %r8d
movzbl (%rbx,%r8,4), %r11d
leaq 0x2cd6(%rip), %r8       # 0x62c0
xorl (%r8,%r11,4), %r9d
movl %ecx, %r11d
shrl $0x18, %r11d
movzbl (%rbx,%r11,4), %r15d
movl %ecx, %r11d
shrl $0xe, %r11d
andl %r14d, %r11d
movzbl (%r11,%rbx), %r11d
movl (%rsi,%r11,4), %r11d
xorl (%rdx,%r15,4), %r11d
movl %ecx, %r15d
shrl $0x8, %r15d
andl %edi, %r15d
movzbl (%rbx,%r15,4), %r15d
xorl (%rax,%r15,4), %r11d
andl %edi, %ecx
movzbl (%rbx,%rcx,4), %ecx
xorl (%r8,%rcx,4), %r11d
movl %r13d, %ecx
shrl $0x18, %ecx
movzbl (%rbx,%rcx,4), %ecx
movl %r13d, %r15d
shrl $0xe, %r15d
andl %r14d, %r15d
movzbl (%r15,%rbx), %r15d
movl (%rsi,%r15,4), %r12d
xorl (%rdx,%rcx,4), %r12d
movl %r13d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
movzbl (%rbx,%rcx,4), %ecx
xorl (%rax,%rcx,4), %r12d
andl %edi, %r13d
movzbl (%rbx,%r13,4), %ecx
xorl (%r8,%rcx,4), %r12d
movl %r10d, %ecx
shrl $0x18, %ecx
movzbl (%rbx,%rcx,4), %ecx
movl %r10d, %r15d
shrl $0xe, %r15d
andl %r14d, %r15d
movzbl (%r15,%rbx), %r15d
movl (%rsi,%r15,4), %ebp
xorl (%rdx,%rcx,4), %ebp
movl %r10d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
movzbl (%rbx,%rcx,4), %ecx
xorl (%rax,%rcx,4), %ebp
andl %edi, %r10d
movzbl (%rbx,%r10,4), %ecx
xorl (%r8,%rcx,4), %ebp
movl %r9d, %ecx
shrl $0x18, %ecx
movl %ebp, %r10d
shrl $0xe, %r10d
andl %r14d, %r10d
movl (%r10,%rsi), %r10d
xorl (%rdx,%rcx,4), %r10d
movl %r12d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r10d
movl %r11d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r10d
movl %r11d, %ecx
shrl $0x18, %ecx
movl %r9d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %r15d
xorl (%rdx,%rcx,4), %r15d
movl %ebp, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r15d
movl %r12d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r15d
movl %r12d, %ecx
shrl $0x18, %ecx
movl %r11d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %r13d
xorl (%rdx,%rcx,4), %r13d
movl %r9d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r13d
movl %ebp, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r13d
leaq 0x10(%rsp), %rcx
xorl 0x10(%rcx), %r10d
xorl 0x14(%rcx), %r15d
xorl 0x18(%rcx), %r13d
shrl $0x18, %ebp
shrl $0xe, %r12d
andl %r14d, %r12d
movl (%r12,%rsi), %ebx
xorl (%rdx,%rbp,4), %ebx
shrl $0x8, %r11d
andl %edi, %r11d
xorl (%rax,%r11,4), %ebx
andl %edi, %r9d
xorl (%r8,%r9,4), %ebx
xorl 0x1c(%rcx), %ebx
movq %rcx, %rbp
movl %r10d, %ecx
shrl $0x18, %ecx
movl %ebx, %r9d
shrl $0xe, %r9d
andl %r14d, %r9d
movl (%r9,%rsi), %r9d
xorl (%rdx,%rcx,4), %r9d
movl %r13d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r9d
movl %r15d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r9d
movl %r15d, %ecx
shrl $0x18, %ecx
movl %r10d, %r11d
shrl $0xe, %r11d
andl %r14d, %r11d
movl (%r11,%rsi), %r11d
xorl (%rdx,%rcx,4), %r11d
movl %ebx, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r11d
movl %r13d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r11d
movl %r13d, %ecx
shrl $0x18, %ecx
movl %r15d, %r12d
shrl $0xe, %r12d
andl %r14d, %r12d
movl (%r12,%rsi), %r12d
xorl (%rdx,%rcx,4), %r12d
movl %r10d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r12d
movl %ebx, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r12d
movq %rbp, %rcx
xorl 0x20(%rbp), %r9d
xorl 0x24(%rbp), %r11d
xorl 0x28(%rbp), %r12d
shrl $0x18, %ebx
shrl $0xe, %r13d
andl %r14d, %r13d
movl (%r13,%rsi), %ebp
xorl (%rdx,%rbx,4), %ebp
shrl $0x8, %r15d
andl %edi, %r15d
xorl (%rax,%r15,4), %ebp
andl %edi, %r10d
xorl (%r8,%r10,4), %ebp
xorl 0x2c(%rcx), %ebp
movl %r9d, %ecx
shrl $0x18, %ecx
movl %ebp, %r10d
shrl $0xe, %r10d
andl %r14d, %r10d
movl (%r10,%rsi), %r10d
xorl (%rdx,%rcx,4), %r10d
movl %r12d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r10d
movl %r11d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r10d
movl %r11d, %ecx
shrl $0x18, %ecx
movl %r9d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %r15d
xorl (%rdx,%rcx,4), %r15d
movl %ebp, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r15d
movl %r12d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r15d
movl %r12d, %ecx
shrl $0x18, %ecx
movl %r11d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %r13d
xorl (%rdx,%rcx,4), %r13d
movl %r9d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r13d
movl %ebp, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r13d
leaq 0x10(%rsp), %rcx
xorl 0x30(%rcx), %r10d
xorl 0x34(%rcx), %r15d
xorl 0x38(%rcx), %r13d
shrl $0x18, %ebp
shrl $0xe, %r12d
andl %r14d, %r12d
movl (%r12,%rsi), %ebx
xorl (%rdx,%rbp,4), %ebx
shrl $0x8, %r11d
andl %edi, %r11d
xorl (%rax,%r11,4), %ebx
andl %edi, %r9d
xorl (%r8,%r9,4), %ebx
xorl 0x3c(%rcx), %ebx
movq %rcx, %rbp
movl %r10d, %ecx
shrl $0x18, %ecx
movl %ebx, %r9d
shrl $0xe, %r9d
andl %r14d, %r9d
movl (%r9,%rsi), %r9d
xorl (%rdx,%rcx,4), %r9d
movl %r13d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r9d
movl %r15d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r9d
movl %r15d, %ecx
shrl $0x18, %ecx
movl %r10d, %r11d
shrl $0xe, %r11d
andl %r14d, %r11d
movl (%r11,%rsi), %r11d
xorl (%rdx,%rcx,4), %r11d
movl %ebx, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r11d
movl %r13d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r11d
movl %r13d, %ecx
shrl $0x18, %ecx
movl %r15d, %r12d
shrl $0xe, %r12d
andl %r14d, %r12d
movl (%r12,%rsi), %r12d
xorl (%rdx,%rcx,4), %r12d
movl %r10d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r12d
movl %ebx, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r12d
movq %rbp, %rcx
xorl 0x40(%rbp), %r9d
xorl 0x44(%rbp), %r11d
xorl 0x48(%rbp), %r12d
shrl $0x18, %ebx
shrl $0xe, %r13d
andl %r14d, %r13d
movl (%r13,%rsi), %ebp
xorl (%rdx,%rbx,4), %ebp
shrl $0x8, %r15d
andl %edi, %r15d
xorl (%rax,%r15,4), %ebp
andl %edi, %r10d
xorl (%r8,%r10,4), %ebp
xorl 0x4c(%rcx), %ebp
movl %r9d, %ecx
shrl $0x18, %ecx
movl %ebp, %r10d
shrl $0xe, %r10d
andl %r14d, %r10d
movl (%r10,%rsi), %r10d
xorl (%rdx,%rcx,4), %r10d
movl %r12d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r10d
movl %r11d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r10d
movl %r11d, %ecx
shrl $0x18, %ecx
movl %r9d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %r15d
xorl (%rdx,%rcx,4), %r15d
movl %ebp, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r15d
movl %r12d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r15d
movl %r12d, %ecx
shrl $0x18, %ecx
movl %r11d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %r13d
xorl (%rdx,%rcx,4), %r13d
movl %r9d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r13d
movl %ebp, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r13d
leaq 0x10(%rsp), %rcx
xorl 0x50(%rcx), %r10d
xorl 0x54(%rcx), %r15d
xorl 0x58(%rcx), %r13d
shrl $0x18, %ebp
shrl $0xe, %r12d
andl %r14d, %r12d
movl (%r12,%rsi), %ebx
xorl (%rdx,%rbp,4), %ebx
shrl $0x8, %r11d
andl %edi, %r11d
xorl (%rax,%r11,4), %ebx
andl %edi, %r9d
xorl (%r8,%r9,4), %ebx
xorl 0x5c(%rcx), %ebx
movq %rcx, %rbp
movl %r10d, %ecx
shrl $0x18, %ecx
movl %ebx, %r9d
shrl $0xe, %r9d
andl %r14d, %r9d
movl (%r9,%rsi), %r9d
xorl (%rdx,%rcx,4), %r9d
movl %r13d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r9d
movl %r15d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r9d
movl %r15d, %ecx
shrl $0x18, %ecx
movl %r10d, %r11d
shrl $0xe, %r11d
andl %r14d, %r11d
movl (%r11,%rsi), %r11d
xorl (%rdx,%rcx,4), %r11d
movl %ebx, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r11d
movl %r13d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r11d
movl %r13d, %ecx
shrl $0x18, %ecx
movl %r15d, %r12d
shrl $0xe, %r12d
andl %r14d, %r12d
movl (%r12,%rsi), %r12d
xorl (%rdx,%rcx,4), %r12d
movl %r10d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r12d
movl %ebx, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r12d
movq %rbp, %rcx
xorl 0x60(%rbp), %r9d
xorl 0x64(%rbp), %r11d
xorl 0x68(%rbp), %r12d
shrl $0x18, %ebx
shrl $0xe, %r13d
andl %r14d, %r13d
movl (%r13,%rsi), %ebp
xorl (%rdx,%rbx,4), %ebp
shrl $0x8, %r15d
andl %edi, %r15d
xorl (%rax,%r15,4), %ebp
andl %edi, %r10d
xorl (%r8,%r10,4), %ebp
xorl 0x6c(%rcx), %ebp
movl %r9d, %ecx
shrl $0x18, %ecx
movl %ebp, %r10d
shrl $0xe, %r10d
andl %r14d, %r10d
movl (%r10,%rsi), %r10d
xorl (%rdx,%rcx,4), %r10d
movl %r12d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r10d
movl %r11d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r10d
movl %r11d, %ecx
shrl $0x18, %ecx
movl %r9d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %r15d
xorl (%rdx,%rcx,4), %r15d
movl %ebp, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r15d
movl %r12d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r15d
movl %r12d, %ecx
shrl $0x18, %ecx
movl %r11d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %r13d
xorl (%rdx,%rcx,4), %r13d
movl %r9d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r13d
movl %ebp, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r13d
leaq 0x10(%rsp), %rcx
xorl 0x70(%rcx), %r10d
xorl 0x74(%rcx), %r15d
xorl 0x78(%rcx), %r13d
shrl $0x18, %ebp
shrl $0xe, %r12d
andl %r14d, %r12d
movl (%r12,%rsi), %ebx
xorl (%rdx,%rbp,4), %ebx
shrl $0x8, %r11d
andl %edi, %r11d
xorl (%rax,%r11,4), %ebx
andl %edi, %r9d
xorl (%r8,%r9,4), %ebx
xorl 0x7c(%rcx), %ebx
movq %rcx, %rbp
movl %r10d, %ecx
shrl $0x18, %ecx
movl %ebx, %r9d
shrl $0xe, %r9d
andl %r14d, %r9d
movl (%r9,%rsi), %r9d
xorl (%rdx,%rcx,4), %r9d
movl %r13d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r9d
movl %r15d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r9d
movl %r15d, %ecx
shrl $0x18, %ecx
movl %r10d, %r11d
shrl $0xe, %r11d
andl %r14d, %r11d
movl (%r11,%rsi), %r11d
xorl (%rdx,%rcx,4), %r11d
movl %ebx, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r11d
movl %r13d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r11d
movl %r13d, %ecx
shrl $0x18, %ecx
movl %r15d, %r12d
shrl $0xe, %r12d
andl %r14d, %r12d
movl (%r12,%rsi), %r12d
xorl (%rdx,%rcx,4), %r12d
movl %r10d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r12d
movl %ebx, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r12d
movq %rbp, %rcx
xorl 0x80(%rbp), %r9d
xorl 0x84(%rbp), %r11d
xorl 0x88(%rbp), %r12d
shrl $0x18, %ebx
shrl $0xe, %r13d
andl %r14d, %r13d
movl (%r13,%rsi), %ebp
xorl (%rdx,%rbx,4), %ebp
shrl $0x8, %r15d
andl %edi, %r15d
xorl (%rax,%r15,4), %ebp
andl %edi, %r10d
xorl (%r8,%r10,4), %ebp
xorl 0x8c(%rcx), %ebp
movl %r9d, %ecx
shrl $0x18, %ecx
movl %ebp, %r10d
shrl $0xe, %r10d
andl %r14d, %r10d
movl (%r10,%rsi), %r10d
xorl (%rdx,%rcx,4), %r10d
movl %r12d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r10d
movl %r11d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r10d
movl %r11d, %ecx
shrl $0x18, %ecx
movl %r9d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %r15d
xorl (%rdx,%rcx,4), %r15d
movl %ebp, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r15d
movl %r12d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r15d
movl %r12d, %ecx
shrl $0x18, %ecx
movl %r11d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %r13d
xorl (%rdx,%rcx,4), %r13d
movl %r9d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r13d
movl %ebp, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r13d
leaq 0x10(%rsp), %rcx
xorl 0x90(%rcx), %r10d
xorl 0x94(%rcx), %r15d
xorl 0x98(%rcx), %r13d
shrl $0x18, %ebp
shrl $0xe, %r12d
andl %r14d, %r12d
movl (%r12,%rsi), %ebx
xorl (%rdx,%rbp,4), %ebx
shrl $0x8, %r11d
andl %edi, %r11d
xorl (%rax,%r11,4), %ebx
andl %edi, %r9d
xorl (%r8,%r9,4), %ebx
xorl 0x9c(%rcx), %ebx
movq %rcx, %rbp
movl %r10d, %ecx
shrl $0x18, %ecx
movl %ebx, %r9d
shrl $0xe, %r9d
andl %r14d, %r9d
movl (%r9,%rsi), %r9d
xorl (%rdx,%rcx,4), %r9d
movl %r13d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r9d
movl %r15d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r9d
movl %r15d, %ecx
shrl $0x18, %ecx
movl %r10d, %r11d
shrl $0xe, %r11d
andl %r14d, %r11d
movl (%r11,%rsi), %r11d
xorl (%rdx,%rcx,4), %r11d
movl %ebx, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r11d
movl %r13d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r11d
movl %r13d, %ecx
shrl $0x18, %ecx
movl %r15d, %r12d
shrl $0xe, %r12d
andl %r14d, %r12d
movl (%r12,%rsi), %r12d
xorl (%rdx,%rcx,4), %r12d
movl %r10d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r12d
movl %ebx, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r12d
movq %rbp, %rcx
xorl 0xa0(%rbp), %r9d
xorl 0xa4(%rbp), %r11d
xorl 0xa8(%rbp), %r12d
shrl $0x18, %ebx
shrl $0xe, %r13d
andl %r14d, %r13d
movl (%r13,%rsi), %ebp
xorl (%rdx,%rbx,4), %ebp
shrl $0x8, %r15d
andl %edi, %r15d
xorl (%rax,%r15,4), %ebp
andl %edi, %r10d
xorl (%r8,%r10,4), %ebp
xorl 0xac(%rcx), %ebp
movl %r9d, %ecx
shrl $0x18, %ecx
movl %ebp, %r10d
shrl $0xe, %r10d
andl %r14d, %r10d
movl (%r10,%rsi), %r10d
xorl (%rdx,%rcx,4), %r10d
movl %r12d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r10d
movl %r11d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r10d
movl %r11d, %ecx
shrl $0x18, %ecx
movl %r9d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %r15d
xorl (%rdx,%rcx,4), %r15d
movl %ebp, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r15d
movl %r12d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r15d
movl %r12d, %ecx
shrl $0x18, %ecx
movl %r11d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %r13d
xorl (%rdx,%rcx,4), %r13d
movl %r9d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r13d
movl %ebp, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r13d
leaq 0x10(%rsp), %rcx
xorl 0xb0(%rcx), %r10d
xorl 0xb4(%rcx), %r15d
xorl 0xb8(%rcx), %r13d
shrl $0x18, %ebp
shrl $0xe, %r12d
andl %r14d, %r12d
movl (%r12,%rsi), %r12d
xorl (%rdx,%rbp,4), %r12d
shrl $0x8, %r11d
andl %edi, %r11d
xorl (%rax,%r11,4), %r12d
andl %edi, %r9d
xorl (%r8,%r9,4), %r12d
xorl 0xbc(%rcx), %r12d
movq %rcx, %rbp
movl %r10d, %ecx
shrl $0x18, %ecx
movl %r12d, %r9d
shrl $0xe, %r9d
andl %r14d, %r9d
movl (%r9,%rsi), %r9d
xorl (%rdx,%rcx,4), %r9d
movl %r13d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r9d
movl %r15d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r9d
movl %r15d, %ecx
shrl $0x18, %ecx
movl %r10d, %r11d
shrl $0xe, %r11d
andl %r14d, %r11d
movl (%r11,%rsi), %r11d
xorl (%rdx,%rcx,4), %r11d
movl %r12d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r11d
movl %r13d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r11d
movl %r13d, %ecx
shrl $0x18, %ecx
movl %r15d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %ebx
xorl (%rdx,%rcx,4), %ebx
movl %r10d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %ebx
movl %r12d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %ebx
movq %rbp, %rcx
xorl 0xc0(%rbp), %r9d
xorl 0xc4(%rbp), %r11d
xorl 0xc8(%rbp), %ebx
shrl $0x18, %r12d
shrl $0xe, %r13d
andl %r14d, %r13d
movl (%r13,%rsi), %ebp
xorl (%rdx,%r12,4), %ebp
shrl $0x8, %r15d
andl %edi, %r15d
xorl (%rax,%r15,4), %ebp
andl %edi, %r10d
xorl (%r8,%r10,4), %ebp
xorl 0xcc(%rcx), %ebp
movl %r9d, %ecx
shrl $0x18, %ecx
movl %ebp, %r10d
shrl $0xe, %r10d
andl %r14d, %r10d
movl (%r10,%rsi), %r12d
xorl (%rdx,%rcx,4), %r12d
movl %ebx, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r12d
movl %r11d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r12d
movl %r11d, %ecx
shrl $0x18, %ecx
movl %r9d, %r10d
shrl $0xe, %r10d
andl %r14d, %r10d
movl (%r10,%rsi), %r13d
xorl (%rdx,%rcx,4), %r13d
movl %ebp, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r13d
movl %ebx, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r13d
movl %ebx, %ecx
shrl $0x18, %ecx
movl %r11d, %r10d
shrl $0xe, %r10d
andl %r14d, %r10d
movl (%r10,%rsi), %r15d
xorl (%rdx,%rcx,4), %r15d
movl %r9d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r15d
movl %ebp, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r15d
leaq 0x10(%rsp), %rcx
xorl 0xd0(%rcx), %r12d
xorl 0xd4(%rcx), %r13d
xorl 0xd8(%rcx), %r15d
shrl $0x18, %ebp
shrl $0xe, %ebx
andl %r14d, %ebx
movl (%rbx,%rsi), %ebx
xorl (%rdx,%rbp,4), %ebx
movl $0x3fc, %ebp            # imm = 0x3FC
shrl $0x8, %r11d
andl %edi, %r11d
xorl (%rax,%r11,4), %ebx
andl %edi, %r9d
xorl (%r8,%r9,4), %ebx
xorl 0xdc(%rcx), %ebx
movq %rcx, %r14
movl %r12d, %ecx
shrl $0x18, %ecx
movl %ebx, %r9d
shrl $0xe, %r9d
andl %ebp, %r9d
movl (%r9,%rsi), %r9d
xorl (%rdx,%rcx,4), %r9d
movl %r15d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r9d
movl %r13d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r9d
movl %r13d, %ecx
shrl $0x18, %ecx
movl %r12d, %r10d
shrl $0xe, %r10d
andl %ebp, %r10d
movl (%r10,%rsi), %r10d
xorl (%rdx,%rcx,4), %r10d
movl %ebx, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r10d
movl %r15d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r10d
movl %r15d, %ecx
shrl $0x18, %ecx
movl %r13d, %r11d
shrl $0xe, %r11d
andl %ebp, %r11d
movl (%r11,%rsi), %r11d
xorl (%rdx,%rcx,4), %r11d
movl %r12d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r11d
movl %ebx, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r11d
shrl $0x18, %ebx
shrl $0xe, %r15d
andl %ebp, %r15d
movl (%r15,%rsi), %r15d
xorl (%rdx,%rbx,4), %r15d
shrl $0x8, %r13d
andl %edi, %r13d
xorl (%rax,%r13,4), %r15d
andl %edi, %r12d
xorl (%r8,%r12,4), %r15d
xorl 0xe0(%r14), %r9d
xorl 0xe4(%r14), %r10d
xorl 0xe8(%r14), %r11d
xorl 0xec(%r14), %r15d
cmpl $0x180, 0x4(%rsp)       # imm = 0x180
jne 0x42da
movl %r9d, %ecx
shrl $0x18, %ecx
movl %r15d, %ebx
shrl $0xe, %ebx
andl %ebp, %ebx
movl (%rbx,%rsi), %r14d
xorl (%rdx,%rcx,4), %r14d
movl %r11d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r14d
movl %r10d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r14d
xorl 0x100(%rsp), %r14d
movl %r10d, %ecx
shrl $0x18, %ecx
movl %r9d, %ebx
shrl $0xe, %ebx
andl %ebp, %ebx
movl (%rbx,%rsi), %r12d
xorl (%rdx,%rcx,4), %r12d
movl %r15d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r12d
movl %r11d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r12d
xorl 0x104(%rsp), %r12d
movl %r11d, %ecx
shrl $0x18, %ecx
movl %r10d, %ebx
shrl $0xe, %ebx
andl %ebp, %ebx
movl (%rbx,%rsi), %ebx
xorl (%rdx,%rcx,4), %ebx
movl %r9d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %ebx
movl %r15d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %ebx
xorl 0x108(%rsp), %ebx
shrl $0x18, %r15d
shrl $0xe, %r11d
andl %ebp, %r11d
movl (%r11,%rsi), %r13d
xorl (%rdx,%r15,4), %r13d
shrl $0x8, %r10d
andl %edi, %r10d
xorl (%rax,%r10,4), %r13d
andl %edi, %r9d
xorl (%r8,%r9,4), %r13d
xorl 0x10c(%rsp), %r13d
movl %r14d, %ecx
shrl $0x18, %ecx
movl %r13d, %r9d
shrl $0xe, %r9d
andl %ebp, %r9d
movl (%r9,%rsi), %r9d
xorl (%rdx,%rcx,4), %r9d
movl %ebx, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r9d
movl %r12d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r9d
xorl 0x110(%rsp), %r9d
movl %r12d, %ecx
shrl $0x18, %ecx
movl %r14d, %r10d
shrl $0xe, %r10d
andl %ebp, %r10d
movl (%r10,%rsi), %r10d
xorl (%rdx,%rcx,4), %r10d
movl %r13d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r10d
movl %ebx, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r10d
xorl 0x114(%rsp), %r10d
movl %ebx, %ecx
shrl $0x18, %ecx
movl %r12d, %r11d
shrl $0xe, %r11d
andl %ebp, %r11d
movl (%r11,%rsi), %r11d
xorl (%rdx,%rcx,4), %r11d
movl %r14d, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
xorl (%rax,%rcx,4), %r11d
movl %r13d, %ecx
andl %edi, %ecx
xorl (%r8,%rcx,4), %r11d
xorl 0x118(%rsp), %r11d
shrl $0x18, %r13d
shrl $0xe, %ebx
andl %ebp, %ebx
movl (%rbx,%rsi), %r15d
xorl (%rdx,%r13,4), %r15d
shrl $0x8, %r12d
andl %edi, %r12d
xorl (%rax,%r12,4), %r15d
andl %edi, %r14d
xorl (%r8,%r14,4), %r15d
xorl 0x11c(%rsp), %r15d
movl %r9d, %eax
shrl $0x18, %eax
leaq 0x33d9(%rip), %rsi      # 0x76c0
movzbl (%rsi,%rax,4), %eax
leaq 0x23ce(%rip), %r12      # 0x66c0
movl %r9d, %ecx
shrl $0xe, %ecx
andl %ebp, %ecx
movzbl (%rcx,%rsi), %ecx
leaq 0x27bb(%rip), %r8       # 0x6ac0
movl (%r8,%rcx,4), %edx
xorl (%r12,%rax,4), %edx
movl %r9d, %eax
shrl $0x8, %eax
andl %edi, %eax
movzbl (%rsi,%rax,4), %eax
leaq 0x2ba0(%rip), %r14      # 0x6ec0
xorl (%r14,%rax,4), %edx
andl %edi, %r9d
movzbl (%rsi,%r9,4), %eax
leaq 0x2f8d(%rip), %r9       # 0x72c0
xorl (%r9,%rax,4), %edx
movl %r10d, %eax
shrl $0x18, %eax
movzbl (%rsi,%rax,4), %eax
movl %r10d, %ecx
shrl $0xe, %ecx
andl %ebp, %ecx
movzbl (%rcx,%rsi), %ecx
movl (%r8,%rcx,4), %ebx
xorl (%r12,%rax,4), %ebx
movl %r10d, %eax
shrl $0x8, %eax
andl %edi, %eax
movzbl (%rsi,%rax,4), %eax
xorl (%r14,%rax,4), %ebx
andl %edi, %r10d
movzbl (%rsi,%r10,4), %eax
xorl (%r9,%rax,4), %ebx
movl %r11d, %eax
shrl $0x18, %eax
movzbl (%rsi,%rax,4), %eax
movl %r11d, %ecx
shrl $0xe, %ecx
andl %ebp, %ecx
movzbl (%rcx,%rsi), %ecx
movl (%r8,%rcx,4), %ecx
xorl (%r12,%rax,4), %ecx
movl %r11d, %eax
shrl $0x8, %eax
andl %edi, %eax
movzbl (%rsi,%rax,4), %eax
xorl (%r14,%rax,4), %ecx
andl %edi, %r11d
movzbl (%rsi,%r11,4), %eax
xorl (%r9,%rax,4), %ecx
movl %r15d, %eax
shrl $0x18, %eax
movzbl (%rsi,%rax,4), %r10d
movl %r15d, %eax
shrl $0xe, %eax
andl %ebp, %eax
movzbl (%rax,%rsi), %eax
movl (%r8,%rax,4), %eax
xorl (%r12,%r10,4), %eax
movl %r15d, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
movzbl (%rsi,%r8,4), %r8d
xorl (%r14,%r8,4), %eax
andl %edi, %r15d
movzbl (%rsi,%r15,4), %esi
xorl (%r9,%rsi,4), %eax
movl %edx, %esi
shrl $0x18, %esi
movq 0x8(%rsp), %rdi
movb %sil, (%rdi)
movl %edx, %esi
shrl $0x10, %esi
movb %sil, 0x1(%rdi)
movb %dh, 0x2(%rdi)
movb %dl, 0x3(%rdi)
movl %ebx, %edx
shrl $0x18, %edx
movb %dl, 0x4(%rdi)
movl %ebx, %edx
shrl $0x10, %edx
movb %dl, 0x5(%rdi)
movb %bh, 0x6(%rdi)
movb %bl, 0x7(%rdi)
movl %ecx, %edx
shrl $0x18, %edx
movb %dl, 0x8(%rdi)
movl %ecx, %edx
shrl $0x10, %edx
movb %dl, 0x9(%rdi)
movb %ch, 0xa(%rdi)
movb %cl, 0xb(%rdi)
movl %eax, %ecx
shrl $0x18, %ecx
movb %cl, 0xc(%rdi)
movl %eax, %ecx
shrl $0x10, %ecx
movb %cl, 0xd(%rdi)
movb %ah, 0xe(%rdi)
movb %al, 0xf(%rdi)
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nopl (%rax)