// File: /workspace/github_c_makefile_star2_O1/mjosaarinen[P]brutus/crypto_aead/aes128poetv1aes4/ref/aes.c
// Function: AES_encrypt
void AES_encrypt (const unsigned char *in, unsigned char *out,
                  const AES_KEY *key)
{

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

#ifndef FULL_UNROLL
    int r;
#endif /* ?FULL_UNROLL */

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

    /*
     * map byte array block to cipher state
     * and add initial round key:
     */
    s0 = GETU32(in     ) ^ rk[0];
    s1 = GETU32(in +  4) ^ rk[1];
    s2 = GETU32(in +  8) ^ rk[2];
    s3 = GETU32(in + 12) ^ rk[3];
#ifdef FULL_UNROLL
    /* round 1: */
    t0 = Te0[s0 >> 24] ^ Te1[(s1 >> 16) & 0xff] ^ Te2[(s2 >>  8) & 0xff] ^ Te3[s3 & 0xff] ^ rk[ 4];
    t1 = Te0[s1 >> 24] ^ Te1[(s2 >> 16) & 0xff] ^ Te2[(s3 >>  8) & 0xff] ^ Te3[s0 & 0xff] ^ rk[ 5];
    t2 = Te0[s2 >> 24] ^ Te1[(s3 >> 16) & 0xff] ^ Te2[(s0 >>  8) & 0xff] ^ Te3[s1 & 0xff] ^ rk[ 6];
    t3 = Te0[s3 >> 24] ^ Te1[(s0 >> 16) & 0xff] ^ Te2[(s1 >>  8) & 0xff] ^ Te3[s2 & 0xff] ^ rk[ 7];
    /* round 2: */
    s0 = Te0[t0 >> 24] ^ Te1[(t1 >> 16) & 0xff] ^ Te2[(t2 >>  8) & 0xff] ^ Te3[t3 & 0xff] ^ rk[ 8];
    s1 = Te0[t1 >> 24] ^ Te1[(t2 >> 16) & 0xff] ^ Te2[(t3 >>  8) & 0xff] ^ Te3[t0 & 0xff] ^ rk[ 9];
    s2 = Te0[t2 >> 24] ^ Te1[(t3 >> 16) & 0xff] ^ Te2[(t0 >>  8) & 0xff] ^ Te3[t1 & 0xff] ^ rk[10];
    s3 = Te0[t3 >> 24] ^ Te1[(t0 >> 16) & 0xff] ^ Te2[(t1 >>  8) & 0xff] ^ Te3[t2 & 0xff] ^ rk[11];
    /* round 3: */
    t0 = Te0[s0 >> 24] ^ Te1[(s1 >> 16) & 0xff] ^ Te2[(s2 >>  8) & 0xff] ^ Te3[s3 & 0xff] ^ rk[12];
    t1 = Te0[s1 >> 24] ^ Te1[(s2 >> 16) & 0xff] ^ Te2[(s3 >>  8) & 0xff] ^ Te3[s0 & 0xff] ^ rk[13];
    t2 = Te0[s2 >> 24] ^ Te1[(s3 >> 16) & 0xff] ^ Te2[(s0 >>  8) & 0xff] ^ Te3[s1 & 0xff] ^ rk[14];
    t3 = Te0[s3 >> 24] ^ Te1[(s0 >> 16) & 0xff] ^ Te2[(s1 >>  8) & 0xff] ^ Te3[s2 & 0xff] ^ rk[15];
    /* round 4: */
    s0 = Te0[t0 >> 24] ^ Te1[(t1 >> 16) & 0xff] ^ Te2[(t2 >>  8) & 0xff] ^ Te3[t3 & 0xff] ^ rk[16];
    s1 = Te0[t1 >> 24] ^ Te1[(t2 >> 16) & 0xff] ^ Te2[(t3 >>  8) & 0xff] ^ Te3[t0 & 0xff] ^ rk[17];
    s2 = Te0[t2 >> 24] ^ Te1[(t3 >> 16) & 0xff] ^ Te2[(t0 >>  8) & 0xff] ^ Te3[t1 & 0xff] ^ rk[18];
    s3 = Te0[t3 >> 24] ^ Te1[(t0 >> 16) & 0xff] ^ Te2[(t1 >>  8) & 0xff] ^ Te3[t2 & 0xff] ^ rk[19];
    /* round 5: */
    t0 = Te0[s0 >> 24] ^ Te1[(s1 >> 16) & 0xff] ^ Te2[(s2 >>  8) & 0xff] ^ Te3[s3 & 0xff] ^ rk[20];
    t1 = Te0[s1 >> 24] ^ Te1[(s2 >> 16) & 0xff] ^ Te2[(s3 >>  8) & 0xff] ^ Te3[s0 & 0xff] ^ rk[21];
    t2 = Te0[s2 >> 24] ^ Te1[(s3 >> 16) & 0xff] ^ Te2[(s0 >>  8) & 0xff] ^ Te3[s1 & 0xff] ^ rk[22];
    t3 = Te0[s3 >> 24] ^ Te1[(s0 >> 16) & 0xff] ^ Te2[(s1 >>  8) & 0xff] ^ Te3[s2 & 0xff] ^ rk[23];
    /* round 6: */
    s0 = Te0[t0 >> 24] ^ Te1[(t1 >> 16) & 0xff] ^ Te2[(t2 >>  8) & 0xff] ^ Te3[t3 & 0xff] ^ rk[24];
    s1 = Te0[t1 >> 24] ^ Te1[(t2 >> 16) & 0xff] ^ Te2[(t3 >>  8) & 0xff] ^ Te3[t0 & 0xff] ^ rk[25];
    s2 = Te0[t2 >> 24] ^ Te1[(t3 >> 16) & 0xff] ^ Te2[(t0 >>  8) & 0xff] ^ Te3[t1 & 0xff] ^ rk[26];
    s3 = Te0[t3 >> 24] ^ Te1[(t0 >> 16) & 0xff] ^ Te2[(t1 >>  8) & 0xff] ^ Te3[t2 & 0xff] ^ rk[27];
    /* round 7: */
    t0 = Te0[s0 >> 24] ^ Te1[(s1 >> 16) & 0xff] ^ Te2[(s2 >>  8) & 0xff] ^ Te3[s3 & 0xff] ^ rk[28];
    t1 = Te0[s1 >> 24] ^ Te1[(s2 >> 16) & 0xff] ^ Te2[(s3 >>  8) & 0xff] ^ Te3[s0 & 0xff] ^ rk[29];
    t2 = Te0[s2 >> 24] ^ Te1[(s3 >> 16) & 0xff] ^ Te2[(s0 >>  8) & 0xff] ^ Te3[s1 & 0xff] ^ rk[30];
    t3 = Te0[s3 >> 24] ^ Te1[(s0 >> 16) & 0xff] ^ Te2[(s1 >>  8) & 0xff] ^ Te3[s2 & 0xff] ^ rk[31];
    /* round 8: */
    s0 = Te0[t0 >> 24] ^ Te1[(t1 >> 16) & 0xff] ^ Te2[(t2 >>  8) & 0xff] ^ Te3[t3 & 0xff] ^ rk[32];
    s1 = Te0[t1 >> 24] ^ Te1[(t2 >> 16) & 0xff] ^ Te2[(t3 >>  8) & 0xff] ^ Te3[t0 & 0xff] ^ rk[33];
    s2 = Te0[t2 >> 24] ^ Te1[(t3 >> 16) & 0xff] ^ Te2[(t0 >>  8) & 0xff] ^ Te3[t1 & 0xff] ^ rk[34];
    s3 = Te0[t3 >> 24] ^ Te1[(t0 >> 16) & 0xff] ^ Te2[(t1 >>  8) & 0xff] ^ Te3[t2 & 0xff] ^ rk[35];
    /* round 9: */
    t0 = Te0[s0 >> 24] ^ Te1[(s1 >> 16) & 0xff] ^ Te2[(s2 >>  8) & 0xff] ^ Te3[s3 & 0xff] ^ rk[36];
    t1 = Te0[s1 >> 24] ^ Te1[(s2 >> 16) & 0xff] ^ Te2[(s3 >>  8) & 0xff] ^ Te3[s0 & 0xff] ^ rk[37];
    t2 = Te0[s2 >> 24] ^ Te1[(s3 >> 16) & 0xff] ^ Te2[(s0 >>  8) & 0xff] ^ Te3[s1 & 0xff] ^ rk[38];
    t3 = Te0[s3 >> 24] ^ Te1[(s0 >> 16) & 0xff] ^ Te2[(s1 >>  8) & 0xff] ^ Te3[s2 & 0xff] ^ rk[39];
    if (key->rounds > 10) {
        /* round 10: */
        s0 = Te0[t0 >> 24] ^ Te1[(t1 >> 16) & 0xff] ^ Te2[(t2 >>  8) & 0xff] ^ Te3[t3 & 0xff] ^ rk[40];
        s1 = Te0[t1 >> 24] ^ Te1[(t2 >> 16) & 0xff] ^ Te2[(t3 >>  8) & 0xff] ^ Te3[t0 & 0xff] ^ rk[41];
        s2 = Te0[t2 >> 24] ^ Te1[(t3 >> 16) & 0xff] ^ Te2[(t0 >>  8) & 0xff] ^ Te3[t1 & 0xff] ^ rk[42];
        s3 = Te0[t3 >> 24] ^ Te1[(t0 >> 16) & 0xff] ^ Te2[(t1 >>  8) & 0xff] ^ Te3[t2 & 0xff] ^ rk[43];
        /* round 11: */
        t0 = Te0[s0 >> 24] ^ Te1[(s1 >> 16) & 0xff] ^ Te2[(s2 >>  8) & 0xff] ^ Te3[s3 & 0xff] ^ rk[44];
        t1 = Te0[s1 >> 24] ^ Te1[(s2 >> 16) & 0xff] ^ Te2[(s3 >>  8) & 0xff] ^ Te3[s0 & 0xff] ^ rk[45];
        t2 = Te0[s2 >> 24] ^ Te1[(s3 >> 16) & 0xff] ^ Te2[(s0 >>  8) & 0xff] ^ Te3[s1 & 0xff] ^ rk[46];
        t3 = Te0[s3 >> 24] ^ Te1[(s0 >> 16) & 0xff] ^ Te2[(s1 >>  8) & 0xff] ^ Te3[s2 & 0xff] ^ rk[47];
        if (key->rounds > 12) {
            /* round 12: */
            s0 = Te0[t0 >> 24] ^ Te1[(t1 >> 16) & 0xff] ^ Te2[(t2 >>  8) & 0xff] ^ Te3[t3 & 0xff] ^ rk[48];
            s1 = Te0[t1 >> 24] ^ Te1[(t2 >> 16) & 0xff] ^ Te2[(t3 >>  8) & 0xff] ^ Te3[t0 & 0xff] ^ rk[49];
            s2 = Te0[t2 >> 24] ^ Te1[(t3 >> 16) & 0xff] ^ Te2[(t0 >>  8) & 0xff] ^ Te3[t1 & 0xff] ^ rk[50];
            s3 = Te0[t3 >> 24] ^ Te1[(t0 >> 16) & 0xff] ^ Te2[(t1 >>  8) & 0xff] ^ Te3[t2 & 0xff] ^ rk[51];
            /* round 13: */
            t0 = Te0[s0 >> 24] ^ Te1[(s1 >> 16) & 0xff] ^ Te2[(s2 >>  8) & 0xff] ^ Te3[s3 & 0xff] ^ rk[52];
            t1 = Te0[s1 >> 24] ^ Te1[(s2 >> 16) & 0xff] ^ Te2[(s3 >>  8) & 0xff] ^ Te3[s0 & 0xff] ^ rk[53];
            t2 = Te0[s2 >> 24] ^ Te1[(s3 >> 16) & 0xff] ^ Te2[(s0 >>  8) & 0xff] ^ Te3[s1 & 0xff] ^ rk[54];
            t3 = Te0[s3 >> 24] ^ Te1[(s0 >> 16) & 0xff] ^ Te2[(s1 >>  8) & 0xff] ^ Te3[s2 & 0xff] ^ rk[55];
        }
    }
    rk += key->rounds << 2;
#else  /* !FULL_UNROLL */
       /*
        * Nr - 1 full rounds:
        */
    r = key->rounds >> 1;
    for (;; ) {
        t0 =
            Te0[(s0 >> 24)       ] ^
            Te1[(s1 >> 16) & 0xff] ^
            Te2[(s2 >>  8) & 0xff] ^
            Te3[(s3      ) & 0xff] ^
            rk[4];
        t1 =
            Te0[(s1 >> 24)       ] ^
            Te1[(s2 >> 16) & 0xff] ^
            Te2[(s3 >>  8) & 0xff] ^
            Te3[(s0      ) & 0xff] ^
            rk[5];
        t2 =
            Te0[(s2 >> 24)       ] ^
            Te1[(s3 >> 16) & 0xff] ^
            Te2[(s0 >>  8) & 0xff] ^
            Te3[(s1      ) & 0xff] ^
            rk[6];
        t3 =
            Te0[(s3 >> 24)       ] ^
            Te1[(s0 >> 16) & 0xff] ^
            Te2[(s1 >>  8) & 0xff] ^
            Te3[(s2      ) & 0xff] ^
            rk[7];

        rk += 8;
        if (--r == 0) {
            break;
        }

        s0 =
            Te0[(t0 >> 24)       ] ^
            Te1[(t1 >> 16) & 0xff] ^
            Te2[(t2 >>  8) & 0xff] ^
            Te3[(t3      ) & 0xff] ^
            rk[0];
        s1 =
            Te0[(t1 >> 24)       ] ^
            Te1[(t2 >> 16) & 0xff] ^
            Te2[(t3 >>  8) & 0xff] ^
            Te3[(t0      ) & 0xff] ^
            rk[1];
        s2 =
            Te0[(t2 >> 24)       ] ^
            Te1[(t3 >> 16) & 0xff] ^
            Te2[(t0 >>  8) & 0xff] ^
            Te3[(t1      ) & 0xff] ^
            rk[2];
        s3 =
            Te0[(t3 >> 24)       ] ^
            Te1[(t0 >> 16) & 0xff] ^
            Te2[(t1 >>  8) & 0xff] ^
            Te3[(t2      ) & 0xff] ^
            rk[3];
    }
#endif /* ?FULL_UNROLL */
       /*
        * apply last round and
        * map cipher state to byte array block:
        */
    s0 =
        (Te2[(t0 >> 24)       ] & 0xff000000) ^
        (Te3[(t1 >> 16) & 0xff] & 0x00ff0000) ^
        (Te0[(t2 >>  8) & 0xff] & 0x0000ff00) ^
        (Te1[(t3      ) & 0xff] & 0x000000ff) ^
        rk[0];
    PUTU32(out, s0);
    s1 =
        (Te2[(t1 >> 24)       ] & 0xff000000) ^
        (Te3[(t2 >> 16) & 0xff] & 0x00ff0000) ^
        (Te0[(t3 >>  8) & 0xff] & 0x0000ff00) ^
        (Te1[(t0      ) & 0xff] & 0x000000ff) ^
        rk[1];
    PUTU32(out +  4, s1);
    s2 =
        (Te2[(t2 >> 24)       ] & 0xff000000) ^
        (Te3[(t3 >> 16) & 0xff] & 0x00ff0000) ^
        (Te0[(t0 >>  8) & 0xff] & 0x0000ff00) ^
        (Te1[(t1      ) & 0xff] & 0x000000ff) ^
        rk[2];
    PUTU32(out +  8, s2);
    s3 =
        (Te2[(t3 >> 24)       ] & 0xff000000) ^
        (Te3[(t0 >> 16) & 0xff] & 0x00ff0000) ^
        (Te0[(t1 >>  8) & 0xff] & 0x0000ff00) ^
        (Te1[(t2      ) & 0xff] & 0x000000ff) ^
        rk[3];
    PUTU32(out + 12, s3);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movbel (%rdi), %r8d
xorl (%rdx), %r8d
movbel 0x4(%rdi), %r15d
xorl 0x4(%rdx), %r15d
movbel 0x8(%rdi), %ebx
xorl 0x8(%rdx), %ebx
movbel 0xc(%rdi), %r13d
xorl 0xc(%rdx), %r13d
movl %r8d, %edi
shrl $0x18, %edi
leaq 0x3bdd(%rip), %rcx      # 0x5800
movl %r15d, %r9d
shrl $0xe, %r9d
movl $0x3fc, %eax            # imm = 0x3FC
andl %eax, %r9d
leaq 0x3fc7(%rip), %r10      # 0x5c00
movl (%r9,%r10), %r11d
xorl (%rcx,%rdi,4), %r11d
movl %ebx, %r9d
shrl $0x8, %r9d
movl $0xff, %edi
andl %edi, %r9d
leaq 0x33a9(%rip), %rax      # 0x5000
xorl (%rax,%r9,4), %r11d
movl %r13d, %r14d
andl %edi, %r14d
leaq 0x3798(%rip), %rcx      # 0x5400
xorl (%rcx,%r14,4), %r11d
movl %r15d, %r12d
shrl $0x18, %r12d
movl %ebx, %r14d
shrl $0xe, %r14d
movl $0x3fc, %r9d            # imm = 0x3FC
andl %r9d, %r14d
movl (%r14,%r10), %r14d
leaq 0x3b72(%rip), %r9       # 0x5800
xorl (%r9,%r12,4), %r14d
movl %r13d, %r12d
shrl $0x8, %r12d
andl %edi, %r12d
xorl (%rax,%r12,4), %r14d
movl %r8d, %r12d
andl %edi, %r12d
xorl (%rcx,%r12,4), %r14d
movl %ebx, %ebp
shrl $0x18, %ebp
movl %r13d, %r12d
shrl $0xe, %r12d
movl $0x3fc, %ecx            # imm = 0x3FC
andl %ecx, %r12d
movl (%r12,%r10), %r12d
xorl (%r9,%rbp,4), %r12d
movl %r8d, %ebp
shrl $0x8, %ebp
andl %edi, %ebp
xorl (%rax,%rbp,4), %r12d
movl %r15d, %ebp
andl %edi, %ebp
leaq 0x3722(%rip), %rcx      # 0x5400
xorl (%rcx,%rbp,4), %r12d
xorl 0x10(%rdx), %r11d
xorl 0x14(%rdx), %r14d
xorl 0x18(%rdx), %r12d
shrl $0x18, %r13d
shrl $0xe, %r8d
movl $0x3fc, %ebp            # imm = 0x3FC
andl %ebp, %r8d
movl (%r8,%r10), %ebp
xorl (%r9,%r13,4), %ebp
movq %r9, %r13
shrl $0x8, %r15d
andl %edi, %r15d
xorl (%rax,%r15,4), %ebp
andl %edi, %ebx
xorl (%rcx,%rbx,4), %ebp
xorl 0x1c(%rdx), %ebp
movl %r11d, %r8d
shrl $0x18, %r8d
movl %r14d, %ebx
shrl $0xe, %ebx
movl $0x3fc, %r9d            # imm = 0x3FC
andl %r9d, %ebx
movl (%rbx,%r10), %ebx
xorl (%r13,%r8,4), %ebx
movl %r12d, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
xorl (%rax,%r8,4), %ebx
movl %ebp, %r8d
andl %edi, %r8d
xorl (%rcx,%r8,4), %ebx
movl %r14d, %r8d
shrl $0x18, %r8d
movl %r12d, %r15d
shrl $0xe, %r15d
andl %r9d, %r15d
movl (%r15,%r10), %r15d
xorl (%r13,%r8,4), %r15d
movq %r13, %r9
movl %ebp, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
xorl (%rax,%r8,4), %r15d
movl %r11d, %r8d
andl %edi, %r8d
xorl (%rcx,%r8,4), %r15d
movl %r12d, %r8d
shrl $0x18, %r8d
movl %ebp, %r13d
shrl $0xe, %r13d
movl $0x3fc, %ecx            # imm = 0x3FC
andl %ecx, %r13d
movl (%r13,%r10), %r13d
xorl (%r9,%r8,4), %r13d
movl %r11d, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
xorl (%rax,%r8,4), %r13d
movl %r14d, %r8d
andl %edi, %r8d
leaq 0x363e(%rip), %rcx      # 0x5400
xorl (%rcx,%r8,4), %r13d
xorl 0x20(%rdx), %ebx
xorl 0x24(%rdx), %r15d
xorl 0x28(%rdx), %r13d
shrl $0x18, %ebp
shrl $0xe, %r11d
movl $0x3fc, %ecx            # imm = 0x3FC
andl %ecx, %r11d
movl (%r11,%r10), %r8d
xorl (%r9,%rbp,4), %r8d
shrl $0x8, %r14d
andl %edi, %r14d
xorl (%rax,%r14,4), %r8d
andl %edi, %r12d
leaq 0x3603(%rip), %rcx      # 0x5400
xorl (%rcx,%r12,4), %r8d
xorl 0x2c(%rdx), %r8d
movl %ebx, %r14d
shrl $0x18, %r14d
movl %r15d, %r11d
shrl $0xe, %r11d
movl $0x3fc, %ebp            # imm = 0x3FC
andl %ebp, %r11d
movl (%r11,%r10), %r11d
xorl (%r9,%r14,4), %r11d
movl %r13d, %r14d
shrl $0x8, %r14d
andl %edi, %r14d
xorl (%rax,%r14,4), %r11d
movl %r8d, %r14d
andl %edi, %r14d
xorl (%rcx,%r14,4), %r11d
movl %r15d, %r12d
shrl $0x18, %r12d
movl %r13d, %r14d
shrl $0xe, %r14d
andl %ebp, %r14d
movl (%r14,%r10), %r14d
xorl (%r9,%r12,4), %r14d
movl %r8d, %r12d
shrl $0x8, %r12d
andl %edi, %r12d
xorl (%rax,%r12,4), %r14d
movl %ebx, %r12d
andl %edi, %r12d
xorl (%rcx,%r12,4), %r14d
movl %r13d, %ebp
shrl $0x18, %ebp
movl %r8d, %r12d
shrl $0xe, %r12d
movl $0x3fc, %ecx            # imm = 0x3FC
andl %ecx, %r12d
movl (%r12,%r10), %r12d
xorl (%r9,%rbp,4), %r12d
movl %ebx, %ebp
shrl $0x8, %ebp
andl %edi, %ebp
xorl (%rax,%rbp,4), %r12d
movl %r15d, %ebp
andl %edi, %ebp
leaq 0x3560(%rip), %rcx      # 0x5400
xorl (%rcx,%rbp,4), %r12d
xorl 0x30(%rdx), %r11d
xorl 0x34(%rdx), %r14d
xorl 0x38(%rdx), %r12d
shrl $0x18, %r8d
shrl $0xe, %ebx
movl $0x3fc, %ebp            # imm = 0x3FC
andl %ebp, %ebx
movl (%rbx,%r10), %ebp
xorl (%r9,%r8,4), %ebp
shrl $0x8, %r15d
andl %edi, %r15d
xorl (%rax,%r15,4), %ebp
andl %edi, %r13d
xorl (%rcx,%r13,4), %ebp
xorl 0x3c(%rdx), %ebp
movl %r11d, %r8d
shrl $0x18, %r8d
movl %r14d, %ebx
shrl $0xe, %ebx
movl $0x3fc, %r15d           # imm = 0x3FC
andl %r15d, %ebx
movq %r10, %r13
movl (%rbx,%r10), %ebx
movq %r9, %r10
xorl (%r9,%r8,4), %ebx
movl %r12d, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
xorl (%rax,%r8,4), %ebx
movl %ebp, %r8d
andl %edi, %r8d
xorl (%rcx,%r8,4), %ebx
movq %rcx, %r9
movl %r14d, %r8d
shrl $0x18, %r8d
movl %r12d, %r15d
shrl $0xe, %r15d
movl $0x3fc, %ecx            # imm = 0x3FC
andl %ecx, %r15d
movl (%r15,%r13), %r15d
movq %r13, %rcx
xorl (%r10,%r8,4), %r15d
movl %ebp, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
xorl (%rax,%r8,4), %r15d
movl %r11d, %r8d
andl %edi, %r8d
xorl (%r9,%r8,4), %r15d
movl %r12d, %r8d
shrl $0x18, %r8d
movl %ebp, %r13d
shrl $0xe, %r13d
movl $0x3fc, %r9d            # imm = 0x3FC
andl %r9d, %r13d
movl (%r13,%rcx), %r13d
xorl (%r10,%r8,4), %r13d
movl %r11d, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
xorl (%rax,%r8,4), %r13d
movl %r14d, %r8d
andl %edi, %r8d
leaq 0x3472(%rip), %r9       # 0x5400
xorl (%r9,%r8,4), %r13d
xorl 0x40(%rdx), %ebx
xorl 0x44(%rdx), %r15d
xorl 0x48(%rdx), %r13d
shrl $0x18, %ebp
shrl $0xe, %r11d
movl $0x3fc, %r8d            # imm = 0x3FC
andl %r8d, %r11d
movl (%r11,%rcx), %r8d
xorl (%r10,%rbp,4), %r8d
shrl $0x8, %r14d
andl %edi, %r14d
xorl (%rax,%r14,4), %r8d
andl %edi, %r12d
movq %r9, %rcx
xorl (%r9,%r12,4), %r8d
xorl 0x4c(%rdx), %r8d
movl %ebx, %r14d
shrl $0x18, %r14d
movl %r15d, %r11d
shrl $0xe, %r11d
movl $0x3fc, %ebp            # imm = 0x3FC
andl %ebp, %r11d
leaq 0x3c15(%rip), %r10      # 0x5c00
movl (%r11,%r10), %r11d
leaq 0x380a(%rip), %r9       # 0x5800
xorl (%r9,%r14,4), %r11d
movl %r13d, %r14d
shrl $0x8, %r14d
andl %edi, %r14d
xorl (%rax,%r14,4), %r11d
movl %r8d, %r14d
andl %edi, %r14d
xorl (%rcx,%r14,4), %r11d
movl %r15d, %r12d
shrl $0x18, %r12d
movl %r13d, %r14d
shrl $0xe, %r14d
andl %ebp, %r14d
movl (%r14,%r10), %r14d
xorl (%r9,%r12,4), %r14d
movl %r8d, %r12d
shrl $0x8, %r12d
andl %edi, %r12d
xorl (%rax,%r12,4), %r14d
movl %ebx, %r12d
andl %edi, %r12d
xorl (%rcx,%r12,4), %r14d
movl %r13d, %ebp
shrl $0x18, %ebp
movl %r8d, %r12d
shrl $0xe, %r12d
movl $0x3fc, %ecx            # imm = 0x3FC
andl %ecx, %r12d
movl (%r12,%r10), %r12d
xorl (%r9,%rbp,4), %r12d
movl %ebx, %ebp
shrl $0x8, %ebp
andl %edi, %ebp
xorl (%rax,%rbp,4), %r12d
movl %r15d, %ebp
andl %edi, %ebp
leaq 0x3389(%rip), %rcx      # 0x5400
xorl (%rcx,%rbp,4), %r12d
xorl 0x50(%rdx), %r11d
xorl 0x54(%rdx), %r14d
xorl 0x58(%rdx), %r12d
shrl $0x18, %r8d
shrl $0xe, %ebx
movl $0x3fc, %ebp            # imm = 0x3FC
andl %ebp, %ebx
movl (%rbx,%r10), %ebp
xorl (%r9,%r8,4), %ebp
shrl $0x8, %r15d
andl %edi, %r15d
xorl (%rax,%r15,4), %ebp
andl %edi, %r13d
xorl (%rcx,%r13,4), %ebp
xorl 0x5c(%rdx), %ebp
movl %r11d, %r8d
shrl $0x18, %r8d
movl %r14d, %ebx
shrl $0xe, %ebx
movl $0x3fc, %r15d           # imm = 0x3FC
andl %r15d, %ebx
movq %r10, %r13
movl (%rbx,%r10), %ebx
movq %r9, %r10
xorl (%r9,%r8,4), %ebx
movl %r12d, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
xorl (%rax,%r8,4), %ebx
movq %rax, %r9
movl %ebp, %r8d
andl %edi, %r8d
xorl (%rcx,%r8,4), %ebx
movl %r14d, %r8d
shrl $0x18, %r8d
movl %r12d, %r15d
shrl $0xe, %r15d
movl $0x3fc, %eax            # imm = 0x3FC
andl %eax, %r15d
movl (%r15,%r13), %r15d
movq %r13, %rax
xorl (%r10,%r8,4), %r15d
movl %ebp, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
xorl (%r9,%r8,4), %r15d
movl %r11d, %r8d
andl %edi, %r8d
xorl (%rcx,%r8,4), %r15d
movl %r12d, %r8d
shrl $0x18, %r8d
movl %ebp, %r13d
shrl $0xe, %r13d
movl $0x3fc, %r9d            # imm = 0x3FC
andl %r9d, %r13d
movl (%r13,%rax), %r13d
xorl (%r10,%r8,4), %r13d
movl %r11d, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
leaq 0x2ea5(%rip), %r9       # 0x5000
xorl (%r9,%r8,4), %r13d
movl %r14d, %r8d
andl %edi, %r8d
xorl (%rcx,%r8,4), %r13d
xorl 0x60(%rdx), %ebx
xorl 0x64(%rdx), %r15d
xorl 0x68(%rdx), %r13d
shrl $0x18, %ebp
shrl $0xe, %r11d
movl $0x3fc, %r8d            # imm = 0x3FC
andl %r8d, %r11d
movl (%r11,%rax), %r8d
xorl (%r10,%rbp,4), %r8d
shrl $0x8, %r14d
andl %edi, %r14d
movq %r9, %rax
xorl (%r9,%r14,4), %r8d
andl %edi, %r12d
xorl (%rcx,%r12,4), %r8d
xorl 0x6c(%rdx), %r8d
movl %ebx, %r14d
shrl $0x18, %r14d
movl %r15d, %r11d
shrl $0xe, %r11d
movl $0x3fc, %ebp            # imm = 0x3FC
andl %ebp, %r11d
leaq 0x3a3e(%rip), %r10      # 0x5c00
movl (%r11,%r10), %r11d
leaq 0x3633(%rip), %r9       # 0x5800
xorl (%r9,%r14,4), %r11d
movl %r13d, %r14d
shrl $0x8, %r14d
andl %edi, %r14d
xorl (%rax,%r14,4), %r11d
movl %r8d, %r14d
andl %edi, %r14d
xorl (%rcx,%r14,4), %r11d
movl %r15d, %r12d
shrl $0x18, %r12d
movl %r13d, %r14d
shrl $0xe, %r14d
andl %ebp, %r14d
movl (%r14,%r10), %r14d
xorl (%r9,%r12,4), %r14d
movl %r8d, %r12d
shrl $0x8, %r12d
andl %edi, %r12d
xorl (%rax,%r12,4), %r14d
movl %ebx, %r12d
andl %edi, %r12d
xorl (%rcx,%r12,4), %r14d
movl %r13d, %r12d
shrl $0x18, %r12d
movl %r8d, %ebp
shrl $0xe, %ebp
movl $0x3fc, %eax            # imm = 0x3FC
andl %eax, %ebp
movl (%rbp,%r10), %ebp
xorl (%r9,%r12,4), %ebp
movl %ebx, %r12d
shrl $0x8, %r12d
andl %edi, %r12d
leaq 0x2db8(%rip), %rax      # 0x5000
xorl (%rax,%r12,4), %ebp
movl %r15d, %r12d
andl %edi, %r12d
xorl (%rcx,%r12,4), %ebp
xorl 0x70(%rdx), %r11d
xorl 0x74(%rdx), %r14d
xorl 0x78(%rdx), %ebp
shrl $0x18, %r8d
shrl $0xe, %ebx
movl $0x3fc, %r12d           # imm = 0x3FC
andl %r12d, %ebx
movq %r10, %r12
movl (%rbx,%r10), %ebx
xorl (%r9,%r8,4), %ebx
movq %r9, %r10
shrl $0x8, %r15d
andl %edi, %r15d
xorl (%rax,%r15,4), %ebx
andl %edi, %r13d
xorl (%rcx,%r13,4), %ebx
xorl 0x7c(%rdx), %ebx
movl %r11d, %r8d
shrl $0x18, %r8d
movl %r14d, %r15d
shrl $0xe, %r15d
movl $0x3fc, %r9d            # imm = 0x3FC
andl %r9d, %r15d
movq %r12, %r13
movl (%r15,%r12), %r15d
xorl (%r10,%r8,4), %r15d
movl %ebp, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
xorl (%rax,%r8,4), %r15d
movl %ebx, %r8d
andl %edi, %r8d
xorl (%rcx,%r8,4), %r15d
movl %r14d, %r8d
shrl $0x18, %r8d
movl %ebp, %r12d
shrl $0xe, %r12d
andl %r9d, %r12d
movl (%r12,%r13), %r12d
movq %r13, %r9
xorl (%r10,%r8,4), %r12d
movl %ebx, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
xorl (%rax,%r8,4), %r12d
movq %rax, %r10
movl %r11d, %r8d
andl %edi, %r8d
xorl (%rcx,%r8,4), %r12d
movl %ebp, %r8d
shrl $0x18, %r8d
movl %ebx, %r13d
shrl $0xe, %r13d
movl $0x3fc, %eax            # imm = 0x3FC
andl %eax, %r13d
movl (%r13,%r9), %r13d
leaq 0x34d9(%rip), %rax      # 0x5800
xorl (%rax,%r8,4), %r13d
movl %r11d, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
xorl (%r10,%r8,4), %r13d
movl %r14d, %r8d
andl %edi, %r8d
xorl (%rcx,%r8,4), %r13d
xorl 0x80(%rdx), %r15d
xorl 0x84(%rdx), %r12d
xorl 0x88(%rdx), %r13d
shrl $0x18, %ebx
shrl $0xe, %r11d
movl $0x3fc, %r8d            # imm = 0x3FC
andl %r8d, %r11d
movl (%r11,%r9), %r8d
xorl (%rax,%rbx,4), %r8d
shrl $0x8, %r14d
andl %edi, %r14d
xorl (%r10,%r14,4), %r8d
movq %r10, %rax
andl %edi, %ebp
xorl (%rcx,%rbp,4), %r8d
xorl 0x8c(%rdx), %r8d
movl %r15d, %ebx
shrl $0x18, %ebx
movl %r12d, %r11d
shrl $0xe, %r11d
movl $0x3fc, %ebp            # imm = 0x3FC
andl %ebp, %r11d
movl (%r11,%r9), %r11d
leaq 0x3455(%rip), %r10      # 0x5800
xorl (%r10,%rbx,4), %r11d
movl %r13d, %ebx
shrl $0x8, %ebx
andl %edi, %ebx
xorl (%rax,%rbx,4), %r11d
movl %r8d, %ebx
andl %edi, %ebx
xorl (%rcx,%rbx,4), %r11d
movl %r12d, %r14d
shrl $0x18, %r14d
movl %r13d, %ebx
shrl $0xe, %ebx
andl %ebp, %ebx
movl (%rbx,%r9), %ebx
xorl (%r10,%r14,4), %ebx
movl %r8d, %r14d
shrl $0x8, %r14d
andl %edi, %r14d
xorl (%rax,%r14,4), %ebx
movl %r15d, %r14d
andl %edi, %r14d
xorl (%rcx,%r14,4), %ebx
movl %r13d, %ebp
shrl $0x18, %ebp
movl %r8d, %r14d
shrl $0xe, %r14d
movl $0x3fc, %eax            # imm = 0x3FC
andl %eax, %r14d
movq %rcx, %r10
movq %r9, %rcx
leaq 0x33eb(%rip), %r9       # 0x5800
movl (%r14,%rcx), %r14d
xorl (%r9,%rbp,4), %r14d
movl %r15d, %ebp
shrl $0x8, %ebp
andl %edi, %ebp
leaq 0x2bd4(%rip), %rax      # 0x5000
xorl (%rax,%rbp,4), %r14d
movl %r12d, %ebp
andl %edi, %ebp
xorl (%r10,%rbp,4), %r14d
movq %rax, %rbp
movl $0x3fc, %eax            # imm = 0x3FC
shrl $0x18, %r8d
shrl $0xe, %r15d
andl %eax, %r15d
movl (%r15,%rcx), %r15d
movq %r9, %rcx
xorl (%r9,%r8,4), %r15d
shrl $0x8, %r12d
andl %edi, %r12d
xorl (%rbp,%r12,4), %r15d
xorl 0x90(%rdx), %r11d
movq %rsi, -0x8(%rsp)
xorl 0x94(%rdx), %ebx
xorl 0x98(%rdx), %r14d
andl %edi, %r13d
xorl (%r10,%r13,4), %r15d
xorl 0x9c(%rdx), %r15d
movl 0xf0(%rdx), %esi
cmpl $0xb, %esi
jl 0x2898
movl %esi, -0xc(%rsp)
movl %r11d, %esi
shrl $0x18, %esi
movl %ebx, %r8d
shrl $0xe, %r8d
andl %eax, %r8d
leaq 0x374c(%rip), %r9       # 0x5c00
movl (%r8,%r9), %r12d
movq %rcx, %r10
xorl (%rcx,%rsi,4), %r12d
movl %r14d, %esi
shrl $0x8, %esi
andl %edi, %esi
xorl (%rbp,%rsi,4), %r12d
movl %r15d, %esi
andl %edi, %esi
leaq 0x2f28(%rip), %rcx      # 0x5400
xorl (%rcx,%rsi,4), %r12d
xorl 0xa0(%rdx), %r12d
movl %ebx, %esi
shrl $0x18, %esi
movl %r14d, %r8d
shrl $0xe, %r8d
andl %eax, %r8d
movl (%r8,%r9), %ebp
xorl (%r10,%rsi,4), %ebp
movl %r15d, %esi
shrl $0x8, %esi
andl %edi, %esi
leaq 0x2af7(%rip), %r8       # 0x5000
xorl (%r8,%rsi,4), %ebp
movl %r11d, %esi
andl %edi, %esi
xorl (%rcx,%rsi,4), %ebp
xorl 0xa4(%rdx), %ebp
movl %r14d, %esi
shrl $0x18, %esi
movl %r15d, %r8d
shrl $0xe, %r8d
andl %eax, %r8d
movl (%r8,%r9), %r13d
xorl (%r10,%rsi,4), %r13d
movl %r11d, %esi
shrl $0x8, %esi
andl %edi, %esi
leaq 0x2abe(%rip), %r8       # 0x5000
xorl (%r8,%rsi,4), %r13d
movl %ebx, %esi
andl %edi, %esi
xorl (%rcx,%rsi,4), %r13d
xorl 0xa8(%rdx), %r13d
shrl $0x18, %r15d
shrl $0xe, %r11d
andl %eax, %r11d
movl (%r11,%r9), %esi
xorl (%r10,%r15,4), %esi
shrl $0x8, %ebx
andl %edi, %ebx
leaq 0x2a8c(%rip), %r8       # 0x5000
xorl (%r8,%rbx,4), %esi
andl %edi, %r14d
xorl (%rcx,%r14,4), %esi
xorl 0xac(%rdx), %esi
movl %r12d, %r8d
shrl $0x18, %r8d
movl %ebp, %r11d
shrl $0xe, %r11d
movl $0x3fc, %r14d           # imm = 0x3FC
andl %r14d, %r11d
movl (%r11,%r9), %r11d
xorl (%r10,%r8,4), %r11d
movl %r13d, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
movq %r10, %rax
leaq 0x2a48(%rip), %r10      # 0x5000
xorl (%r10,%r8,4), %r11d
movl %esi, %r8d
andl %edi, %r8d
xorl (%rcx,%r8,4), %r11d
movl %ebp, %r8d
shrl $0x18, %r8d
movl %r13d, %ebx
shrl $0xe, %ebx
andl %r14d, %ebx
movl $0x3fc, %r15d           # imm = 0x3FC
movl (%rbx,%r9), %ebx
xorl (%rax,%r8,4), %ebx
movl %esi, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
leaq 0x2a0b(%rip), %r10      # 0x5000
xorl (%r10,%r8,4), %ebx
movl %r12d, %r8d
andl %edi, %r8d
xorl (%rcx,%r8,4), %ebx
movl %r13d, %r8d
shrl $0x18, %r8d
movl %esi, %r14d
shrl $0xe, %r14d
andl %r15d, %r14d
movl (%r14,%r9), %r14d
xorl (%rax,%r8,4), %r14d
movl %r12d, %r8d
shrl $0x8, %r8d
andl %edi, %r8d
leaq 0x29d3(%rip), %r10      # 0x5000
xorl (%r10,%r8,4), %r14d
movl %ebp, %r8d
andl %edi, %r8d
xorl (%rcx,%r8,4), %r14d
shrl $0x18, %esi
shrl $0xe, %r12d
andl %r15d, %r12d
movl (%r12,%r9), %r15d
movq %rax, %r10
xorl (%rax,%rsi,4), %r15d
movl -0xc(%rsp), %esi
shrl $0x8, %ebp
andl %edi, %ebp
leaq 0x29a0(%rip), %rax      # 0x5000
xorl (%rax,%rbp,4), %r15d
leaq 0x2995(%rip), %rbp      # 0x5000
andl %edi, %r13d
xorl (%rcx,%r13,4), %r15d
xorl 0xb0(%rdx), %r11d
xorl 0xb4(%rdx), %ebx
xorl 0xb8(%rdx), %r14d
xorl 0xbc(%rdx), %r15d
cmpl $0xd, %esi
movq %r9, %rax
jl 0x28a4
movl %r11d, %esi
shrl $0x18, %esi
movl %ebx, %r8d
shrl $0xe, %r8d
movl $0x3fc, %ecx            # imm = 0x3FC
andl %ecx, %r8d
movl (%r8,%rax), %ebp
xorl (%r10,%rsi,4), %ebp
movl %r14d, %esi
shrl $0x8, %esi
movl $0xff, %r12d
andl %r12d, %esi
leaq 0x2934(%rip), %rcx      # 0x5000
xorl (%rcx,%rsi,4), %ebp
movl %r15d, %esi
andl %r12d, %esi
leaq 0x2d24(%rip), %rdi      # 0x5400
xorl (%rdi,%rsi,4), %ebp
xorl 0xc0(%rdx), %ebp
movl %ebx, %esi
shrl $0x18, %esi
movl %r14d, %r8d
shrl $0xe, %r8d
movl $0x3fc, %r9d            # imm = 0x3FC
andl %r9d, %r8d
movl (%r8,%rax), %r13d
xorl (%r10,%rsi,4), %r13d
movl %r15d, %esi
shrl $0x8, %esi
andl %r12d, %esi
leaq 0x28ee(%rip), %rcx      # 0x5000
xorl (%rcx,%rsi,4), %r13d
movl %r11d, %esi
andl %r12d, %esi
xorl (%rdi,%rsi,4), %r13d
xorl 0xc4(%rdx), %r13d
movl %r14d, %r8d
shrl $0x18, %r8d
movl %r15d, %esi
shrl $0xe, %esi
andl %r9d, %esi
movl (%rsi,%rax), %esi
xorl (%r10,%r8,4), %esi
movq %r10, %r9
movl %r11d, %r8d
shrl $0x8, %r8d
andl %r12d, %r8d
leaq 0x28ae(%rip), %rcx      # 0x5000
xorl (%rcx,%r8,4), %esi
movl %ebx, %r8d
andl %r12d, %r8d
xorl (%rdi,%r8,4), %esi
xorl 0xc8(%rdx), %esi
shrl $0x18, %r15d
shrl $0xe, %r11d
movl $0x3fc, %ecx            # imm = 0x3FC
andl %ecx, %r11d
movl (%r11,%rax), %r8d
xorl (%r10,%r15,4), %r8d
shrl $0x8, %ebx
andl %r12d, %ebx
leaq 0x2875(%rip), %rcx      # 0x5000
xorl (%rcx,%rbx,4), %r8d
andl %r12d, %r14d
xorl (%rdi,%r14,4), %r8d
xorl 0xcc(%rdx), %r8d
movl %ebp, %ebx
shrl $0x18, %ebx
movl %r13d, %r11d
shrl $0xe, %r11d
movl $0x3fc, %r10d           # imm = 0x3FC
andl %r10d, %r11d
movl (%r11,%rax), %r11d
xorl (%r9,%rbx,4), %r11d
movl %esi, %ebx
shrl $0x8, %ebx
andl %r12d, %ebx
leaq 0x2837(%rip), %rcx      # 0x5000
xorl (%rcx,%rbx,4), %r11d
movl %r8d, %ebx
andl %r12d, %ebx
xorl (%rdi,%rbx,4), %r11d
xorl 0xd0(%rdx), %r11d
movl %r13d, %r14d
shrl $0x18, %r14d
movl %esi, %ebx
shrl $0xe, %ebx
andl %r10d, %ebx
movl (%rbx,%rax), %ebx
xorl (%r9,%r14,4), %ebx
movl %r8d, %r14d
shrl $0x8, %r14d
andl %r12d, %r14d
leaq 0x27fb(%rip), %rcx      # 0x5000
xorl (%rcx,%r14,4), %ebx
movl %ebp, %r14d
andl %r12d, %r14d
xorl (%rdi,%r14,4), %ebx
xorl 0xd4(%rdx), %ebx
movl %esi, %r15d
shrl $0x18, %r15d
movl %r8d, %r14d
shrl $0xe, %r14d
andl %r10d, %r14d
movl (%r14,%rax), %r14d
xorl (%r9,%r15,4), %r14d
movl %ebp, %r15d
shrl $0x8, %r15d
andl %r12d, %r15d
leaq 0x27bd(%rip), %rcx      # 0x5000
xorl (%rcx,%r15,4), %r14d
movl %r13d, %r15d
andl %r12d, %r15d
xorl (%rdi,%r15,4), %r14d
xorl 0xd8(%rdx), %r14d
shrl $0x18, %r8d
shrl $0xe, %ebp
andl %r10d, %ebp
movq %rax, %rcx
movl (%rbp,%rax), %r15d
leaq 0x278f(%rip), %rbp      # 0x5000
movq %r9, %r10
xorl (%r9,%r8,4), %r15d
shrl $0x8, %r13d
andl %r12d, %r13d
xorl (%rbp,%r13,4), %r15d
andl %r12d, %esi
xorl (%rdi,%rsi,4), %r15d
movl -0xc(%rsp), %esi
xorl 0xdc(%rdx), %r15d
jmp 0x28a7
movq %rcx, %r10
leaq 0x335e(%rip), %rcx      # 0x5c00
jmp 0x28ac
movq %rax, %rcx
movl $0x3fc, %eax            # imm = 0x3FC
shll $0x2, %esi
movslq %esi, %rsi
movl %r11d, %r8d
shrl $0x18, %r8d
movzbl 0x3(%rbp,%r8,4), %r8d
shll $0x18, %r8d
movl %ebx, %r12d
shrl $0xe, %r12d
andl %eax, %r12d
movq %rbp, %rax
leaq 0x2b29(%rip), %r9       # 0x5400
movzbl 0x2(%r12,%r9), %ebp
shll $0x10, %ebp
orl %r8d, %ebp
movl %r14d, %r8d
shrl $0x8, %r8d
movl $0xff, %edi
andl %edi, %r8d
movzbl 0x1(%r10,%r8,4), %r8d
shll $0x8, %r8d
orl %ebp, %r8d
movl %r15d, %r12d
andl %edi, %r12d
movq %rcx, %r13
movzbl (%rcx,%r12,4), %ebp
orl %r8d, %ebp
xorl (%rdx,%rsi,4), %ebp
movl $0xff, %ecx
movq -0x8(%rsp), %rdi
movbel %ebp, (%rdi)
movl %ebx, %r8d
shrl $0x18, %r8d
movzbl 0x3(%rax,%r8,4), %r8d
shll $0x18, %r8d
movl %r14d, %r12d
shrl $0xe, %r12d
movl $0x3fc, %ebp            # imm = 0x3FC
andl %ebp, %r12d
movzbl 0x2(%r12,%r9), %ebp
shll $0x10, %ebp
orl %r8d, %ebp
movl %r15d, %r8d
shrl $0x8, %r8d
andl %ecx, %r8d
movzbl 0x1(%r10,%r8,4), %r8d
shll $0x8, %r8d
orl %ebp, %r8d
movl %r11d, %r12d
andl %ecx, %r12d
movzbl (%r13,%r12,4), %ebp
orl %r8d, %ebp
xorl 0x4(%rdx,%rsi,4), %ebp
movbel %ebp, 0x4(%rdi)
movl %r14d, %r8d
shrl $0x18, %r8d
movzbl 0x3(%rax,%r8,4), %r8d
shll $0x18, %r8d
movl %r15d, %r12d
shrl $0xe, %r12d
movl $0x3fc, %r9d            # imm = 0x3FC
andl %r9d, %r12d
leaq 0x2a5c(%rip), %r9       # 0x5400
movzbl 0x2(%r12,%r9), %ebp
shll $0x10, %ebp
orl %r8d, %ebp
movl %r11d, %r8d
shrl $0x8, %r8d
andl %ecx, %r8d
movzbl 0x1(%r10,%r8,4), %r8d
shll $0x8, %r8d
orl %ebp, %r8d
movl %ebx, %r12d
andl %ecx, %r12d
movzbl (%r13,%r12,4), %ebp
orl %r8d, %ebp
xorl 0x8(%rdx,%rsi,4), %ebp
movbel %ebp, 0x8(%rdi)
shrl $0x18, %r15d
movzbl 0x3(%rax,%r15,4), %r8d
shll $0x18, %r8d
shrl $0xe, %r11d
movl $0x3fc, %eax            # imm = 0x3FC
andl %eax, %r11d
movzbl 0x2(%r11,%r9), %r9d
shll $0x10, %r9d
orl %r8d, %r9d
shrl $0x8, %ebx
movl $0xff, %eax
andl %eax, %ebx
movzbl 0x1(%r10,%rbx,4), %ecx
shll $0x8, %ecx
orl %r9d, %ecx
andl %eax, %r14d
movzbl (%r13,%r14,4), %eax
orl %ecx, %eax
xorl 0xc(%rdx,%rsi,4), %eax
movbel %eax, 0xc(%rdi)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq