// File: /workspace/github_c_makefile_star2_O1/mjosaarinen[P]brutus/crypto_aead/deoxyseq256128v13/ref/tweakableBC.c
// Function: aesTweakEncrypt
void aesTweakEncrypt(uint32_t tweakey_size,
                     uint8_t pt[16],
                     uint8_t key[],
                     uint8_t ct[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;
    uint32_t rk[4*17];
    int Nr;

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

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

    /* 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];
    /* 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];
    /* 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];
    /* round 14: */
    s0 = Te0[t0 >> 24] ^ Te1[(t1 >> 16) & 0xff] ^ Te2[(t2 >>  8) & 0xff] ^ Te3[t3 & 0xff] ^ rk[56];
    s1 = Te0[t1 >> 24] ^ Te1[(t2 >> 16) & 0xff] ^ Te2[(t3 >>  8) & 0xff] ^ Te3[t0 & 0xff] ^ rk[57];
    s2 = Te0[t2 >> 24] ^ Te1[(t3 >> 16) & 0xff] ^ Te2[(t0 >>  8) & 0xff] ^ Te3[t1 & 0xff] ^ rk[58];
    s3 = Te0[t3 >> 24] ^ Te1[(t0 >> 16) & 0xff] ^ Te2[(t1 >>  8) & 0xff] ^ Te3[t2 & 0xff] ^ rk[59];

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

    /* Put the state into the ciphertext */
    PUTU32(ct     , s0);
    PUTU32(ct +  4, s1);
    PUTU32(ct +  8, s2);
    PUTU32(ct + 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), %r14
movq %r14, %rdi
movq %rdx, %rsi
movl %eax, %edx
callq 0x1080
movbel (%r15), %ebx
xorl (%r14), %ebx
movbel 0x4(%r15), %r9d
xorl 0x4(%r14), %r9d
movbel 0x8(%r15), %ecx
xorl 0x8(%r14), %ecx
movbel 0xc(%r15), %r12d
xorl 0xc(%r14), %r12d
movl %ebx, %edx
shrl $0x18, %edx
leaq 0x3ef0(%rip), %r10      # 0x66c0
movl %r9d, %eax
shrl $0xe, %eax
movl $0x3fc, %esi            # imm = 0x3FC
andl %esi, %eax
movl $0x3fc, %ebp            # imm = 0x3FC
leaq 0x42d7(%rip), %rdi      # 0x6ac0
movl (%rax,%rdi), %eax
xorl (%r10,%rdx,4), %eax
movl %ecx, %edx
shrl $0x8, %edx
movl $0xff, %r11d
andl %r11d, %edx
leaq 0x46bb(%rip), %r8       # 0x6ec0
xorl (%r8,%rdx,4), %eax
movl %r12d, %edx
andl %r11d, %edx
leaq 0x4aaa(%rip), %rsi      # 0x72c0
xorl (%rsi,%rdx,4), %eax
movl %r9d, %r15d
shrl $0x18, %r15d
movl %ecx, %edx
shrl $0xe, %edx
andl %ebp, %edx
movl (%rdx,%rdi), %edx
xorl (%r10,%r15,4), %edx
movl %r12d, %r15d
shrl $0x8, %r15d
andl %r11d, %r15d
xorl (%r8,%r15,4), %edx
movl %ebx, %r15d
andl %r11d, %r15d
xorl (%rsi,%r15,4), %edx
movl %ecx, %r13d
shrl $0x18, %r13d
movl %r12d, %r15d
shrl $0xe, %r15d
andl %ebp, %r15d
movl (%r15,%rdi), %r15d
xorl (%r10,%r13,4), %r15d
movl %ebx, %r13d
shrl $0x8, %r13d
andl %r11d, %r13d
xorl (%r8,%r13,4), %r15d
movl %r9d, %r13d
andl %r11d, %r13d
xorl (%rsi,%r13,4), %r15d
xorl 0x10(%r14), %eax
xorl 0x14(%r14), %edx
xorl 0x18(%r14), %r15d
shrl $0x18, %r12d
shrl $0xe, %ebx
movl $0x3fc, %r13d           # imm = 0x3FC
andl %r13d, %ebx
movl (%rbx,%rdi), %ebp
xorl (%r10,%r12,4), %ebp
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ebp
andl %r11d, %ecx
xorl (%rsi,%rcx,4), %ebp
xorl 0x1c(%r14), %ebp
movl %eax, %r9d
shrl $0x18, %r9d
movl %edx, %ecx
shrl $0xe, %ecx
andl %r13d, %ecx
movl (%rcx,%rdi), %ecx
xorl (%r10,%r9,4), %ecx
movl %r15d, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ecx
movl %ebp, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ecx
movl %edx, %r9d
shrl $0x18, %r9d
movl %r15d, %ebx
shrl $0xe, %ebx
andl %r13d, %ebx
movl (%rbx,%rdi), %ebx
xorl (%r10,%r9,4), %ebx
movl %ebp, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ebx
movl %eax, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ebx
movl %r15d, %r9d
shrl $0x18, %r9d
movl %ebp, %r12d
shrl $0xe, %r12d
andl %r13d, %r12d
movl (%r12,%rdi), %r13d
xorl (%r10,%r9,4), %r13d
movl %eax, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %r13d
movl %edx, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %r13d
xorl 0x20(%r14), %ecx
xorl 0x24(%r14), %ebx
xorl 0x28(%r14), %r13d
shrl $0x18, %ebp
shrl $0xe, %eax
movl $0x3fc, %r12d           # imm = 0x3FC
andl %r12d, %eax
movl (%rax,%rdi), %r9d
xorl (%r10,%rbp,4), %r9d
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %r9d
andl %r11d, %r15d
xorl (%rsi,%r15,4), %r9d
xorl 0x2c(%r14), %r9d
movl %ecx, %edx
shrl $0x18, %edx
movl %ebx, %eax
shrl $0xe, %eax
andl %r12d, %eax
movl $0x3fc, %ebp            # imm = 0x3FC
movl (%rax,%rdi), %eax
xorl (%r10,%rdx,4), %eax
movl %r13d, %edx
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %eax
movl %r9d, %edx
andl %r11d, %edx
xorl (%rsi,%rdx,4), %eax
movl %ebx, %r15d
shrl $0x18, %r15d
movl %r13d, %edx
shrl $0xe, %edx
andl %ebp, %edx
movl (%rdx,%rdi), %edx
xorl (%r10,%r15,4), %edx
movl %r9d, %r15d
shrl $0x8, %r15d
andl %r11d, %r15d
xorl (%r8,%r15,4), %edx
movl %ecx, %r15d
andl %r11d, %r15d
xorl (%rsi,%r15,4), %edx
movl %r13d, %r12d
shrl $0x18, %r12d
movl %r9d, %r15d
shrl $0xe, %r15d
andl %ebp, %r15d
movl (%r15,%rdi), %r15d
xorl (%r10,%r12,4), %r15d
movl %ecx, %r12d
shrl $0x8, %r12d
andl %r11d, %r12d
xorl (%r8,%r12,4), %r15d
movl %ebx, %r12d
andl %r11d, %r12d
xorl (%rsi,%r12,4), %r15d
xorl 0x30(%r14), %eax
xorl 0x34(%r14), %edx
xorl 0x38(%r14), %r15d
shrl $0x18, %r9d
shrl $0xe, %ecx
andl %ebp, %ecx
movl (%rcx,%rdi), %ebp
xorl (%r10,%r9,4), %ebp
shrl $0x8, %ebx
andl %r11d, %ebx
xorl (%r8,%rbx,4), %ebp
andl %r11d, %r13d
xorl (%rsi,%r13,4), %ebp
xorl 0x3c(%r14), %ebp
movl %eax, %r9d
shrl $0x18, %r9d
movl %edx, %ecx
shrl $0xe, %ecx
movl $0x3fc, %r12d           # imm = 0x3FC
andl %r12d, %ecx
movl (%rcx,%rdi), %ecx
xorl (%r10,%r9,4), %ecx
movl %r15d, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ecx
movl %ebp, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ecx
movl %edx, %r9d
shrl $0x18, %r9d
movl %r15d, %ebx
shrl $0xe, %ebx
andl %r12d, %ebx
movl $0x3fc, %r13d           # imm = 0x3FC
movl (%rbx,%rdi), %ebx
xorl (%r10,%r9,4), %ebx
movl %ebp, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ebx
movl %eax, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ebx
movl %r15d, %r9d
shrl $0x18, %r9d
movl %ebp, %r12d
shrl $0xe, %r12d
andl %r13d, %r12d
movl (%r12,%rdi), %r13d
xorl (%r10,%r9,4), %r13d
movl %eax, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %r13d
movl %edx, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %r13d
xorl 0x40(%r14), %ecx
xorl 0x44(%r14), %ebx
xorl 0x48(%r14), %r13d
shrl $0x18, %ebp
shrl $0xe, %eax
movl $0x3fc, %r12d           # imm = 0x3FC
andl %r12d, %eax
movl (%rax,%rdi), %r9d
xorl (%r10,%rbp,4), %r9d
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %r9d
andl %r11d, %r15d
xorl (%rsi,%r15,4), %r9d
xorl 0x4c(%r14), %r9d
movl %ecx, %edx
shrl $0x18, %edx
movl %ebx, %eax
shrl $0xe, %eax
andl %r12d, %eax
movl $0x3fc, %ebp            # imm = 0x3FC
movl (%rax,%rdi), %eax
xorl (%r10,%rdx,4), %eax
movl %r13d, %edx
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %eax
movl %r9d, %edx
andl %r11d, %edx
xorl (%rsi,%rdx,4), %eax
movl %ebx, %r15d
shrl $0x18, %r15d
movl %r13d, %edx
shrl $0xe, %edx
andl %ebp, %edx
movl (%rdx,%rdi), %edx
xorl (%r10,%r15,4), %edx
movl %r9d, %r15d
shrl $0x8, %r15d
andl %r11d, %r15d
xorl (%r8,%r15,4), %edx
movl %ecx, %r15d
andl %r11d, %r15d
xorl (%rsi,%r15,4), %edx
movl %r13d, %r12d
shrl $0x18, %r12d
movl %r9d, %r15d
shrl $0xe, %r15d
andl %ebp, %r15d
movl (%r15,%rdi), %r15d
xorl (%r10,%r12,4), %r15d
movl %ecx, %r12d
shrl $0x8, %r12d
andl %r11d, %r12d
xorl (%r8,%r12,4), %r15d
movl %ebx, %r12d
andl %r11d, %r12d
xorl (%rsi,%r12,4), %r15d
xorl 0x50(%r14), %eax
xorl 0x54(%r14), %edx
xorl 0x58(%r14), %r15d
shrl $0x18, %r9d
shrl $0xe, %ecx
andl %ebp, %ecx
movl (%rcx,%rdi), %ebp
xorl (%r10,%r9,4), %ebp
shrl $0x8, %ebx
andl %r11d, %ebx
xorl (%r8,%rbx,4), %ebp
andl %r11d, %r13d
xorl (%rsi,%r13,4), %ebp
xorl 0x5c(%r14), %ebp
movl %eax, %r9d
shrl $0x18, %r9d
movl %edx, %ecx
shrl $0xe, %ecx
movl $0x3fc, %r12d           # imm = 0x3FC
andl %r12d, %ecx
movl (%rcx,%rdi), %ecx
xorl (%r10,%r9,4), %ecx
movl %r15d, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ecx
movl %ebp, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ecx
movl %edx, %r9d
shrl $0x18, %r9d
movl %r15d, %ebx
shrl $0xe, %ebx
andl %r12d, %ebx
movl $0x3fc, %r13d           # imm = 0x3FC
movl (%rbx,%rdi), %ebx
xorl (%r10,%r9,4), %ebx
movl %ebp, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ebx
movl %eax, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ebx
movl %r15d, %r9d
shrl $0x18, %r9d
movl %ebp, %r12d
shrl $0xe, %r12d
andl %r13d, %r12d
movl (%r12,%rdi), %r13d
xorl (%r10,%r9,4), %r13d
movl %eax, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %r13d
movl %edx, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %r13d
xorl 0x60(%r14), %ecx
xorl 0x64(%r14), %ebx
xorl 0x68(%r14), %r13d
shrl $0x18, %ebp
shrl $0xe, %eax
movl $0x3fc, %r12d           # imm = 0x3FC
andl %r12d, %eax
movl (%rax,%rdi), %r9d
xorl (%r10,%rbp,4), %r9d
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %r9d
andl %r11d, %r15d
xorl (%rsi,%r15,4), %r9d
xorl 0x6c(%r14), %r9d
movl %ecx, %edx
shrl $0x18, %edx
movl %ebx, %eax
shrl $0xe, %eax
andl %r12d, %eax
movl $0x3fc, %ebp            # imm = 0x3FC
movl (%rax,%rdi), %eax
xorl (%r10,%rdx,4), %eax
movl %r13d, %edx
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %eax
movl %r9d, %edx
andl %r11d, %edx
xorl (%rsi,%rdx,4), %eax
movl %ebx, %r15d
shrl $0x18, %r15d
movl %r13d, %edx
shrl $0xe, %edx
andl %ebp, %edx
movl (%rdx,%rdi), %edx
xorl (%r10,%r15,4), %edx
movl %r9d, %r15d
shrl $0x8, %r15d
andl %r11d, %r15d
xorl (%r8,%r15,4), %edx
movl %ecx, %r15d
andl %r11d, %r15d
xorl (%rsi,%r15,4), %edx
movl %r13d, %r12d
shrl $0x18, %r12d
movl %r9d, %r15d
shrl $0xe, %r15d
andl %ebp, %r15d
movl (%r15,%rdi), %r15d
xorl (%r10,%r12,4), %r15d
movl %ecx, %r12d
shrl $0x8, %r12d
andl %r11d, %r12d
xorl (%r8,%r12,4), %r15d
movl %ebx, %r12d
andl %r11d, %r12d
xorl (%rsi,%r12,4), %r15d
xorl 0x70(%r14), %eax
xorl 0x74(%r14), %edx
xorl 0x78(%r14), %r15d
shrl $0x18, %r9d
shrl $0xe, %ecx
andl %ebp, %ecx
movl (%rcx,%rdi), %ebp
xorl (%r10,%r9,4), %ebp
shrl $0x8, %ebx
andl %r11d, %ebx
xorl (%r8,%rbx,4), %ebp
andl %r11d, %r13d
xorl (%rsi,%r13,4), %ebp
xorl 0x7c(%r14), %ebp
movl %eax, %r9d
shrl $0x18, %r9d
movl %edx, %ecx
shrl $0xe, %ecx
movl $0x3fc, %r12d           # imm = 0x3FC
andl %r12d, %ecx
movl (%rcx,%rdi), %ecx
xorl (%r10,%r9,4), %ecx
movl %r15d, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ecx
movl %ebp, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ecx
movl %edx, %r9d
shrl $0x18, %r9d
movl %r15d, %ebx
shrl $0xe, %ebx
andl %r12d, %ebx
movl $0x3fc, %r13d           # imm = 0x3FC
movl (%rbx,%rdi), %ebx
xorl (%r10,%r9,4), %ebx
movl %ebp, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ebx
movl %eax, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ebx
movl %r15d, %r9d
shrl $0x18, %r9d
movl %ebp, %r12d
shrl $0xe, %r12d
andl %r13d, %r12d
movl (%r12,%rdi), %r13d
xorl (%r10,%r9,4), %r13d
movl %eax, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %r13d
movl %edx, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %r13d
xorl 0x80(%r14), %ecx
xorl 0x84(%r14), %ebx
xorl 0x88(%r14), %r13d
shrl $0x18, %ebp
shrl $0xe, %eax
movl $0x3fc, %r12d           # imm = 0x3FC
andl %r12d, %eax
movl (%rax,%rdi), %r9d
xorl (%r10,%rbp,4), %r9d
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %r9d
andl %r11d, %r15d
xorl (%rsi,%r15,4), %r9d
xorl 0x8c(%r14), %r9d
movl %ecx, %edx
shrl $0x18, %edx
movl %ebx, %eax
shrl $0xe, %eax
andl %r12d, %eax
movl $0x3fc, %ebp            # imm = 0x3FC
movl (%rax,%rdi), %eax
xorl (%r10,%rdx,4), %eax
movl %r13d, %edx
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %eax
movl %r9d, %edx
andl %r11d, %edx
xorl (%rsi,%rdx,4), %eax
movl %ebx, %r15d
shrl $0x18, %r15d
movl %r13d, %edx
shrl $0xe, %edx
andl %ebp, %edx
movl (%rdx,%rdi), %edx
xorl (%r10,%r15,4), %edx
movl %r9d, %r15d
shrl $0x8, %r15d
andl %r11d, %r15d
xorl (%r8,%r15,4), %edx
movl %ecx, %r15d
andl %r11d, %r15d
xorl (%rsi,%r15,4), %edx
movl %r13d, %r12d
shrl $0x18, %r12d
movl %r9d, %r15d
shrl $0xe, %r15d
andl %ebp, %r15d
movl (%r15,%rdi), %r15d
xorl (%r10,%r12,4), %r15d
movl %ecx, %r12d
shrl $0x8, %r12d
andl %r11d, %r12d
xorl (%r8,%r12,4), %r15d
movl %ebx, %r12d
andl %r11d, %r12d
xorl (%rsi,%r12,4), %r15d
xorl 0x90(%r14), %eax
xorl 0x94(%r14), %edx
xorl 0x98(%r14), %r15d
shrl $0x18, %r9d
shrl $0xe, %ecx
andl %ebp, %ecx
movl (%rcx,%rdi), %ebp
xorl (%r10,%r9,4), %ebp
shrl $0x8, %ebx
andl %r11d, %ebx
xorl (%r8,%rbx,4), %ebp
andl %r11d, %r13d
xorl (%rsi,%r13,4), %ebp
xorl 0x9c(%r14), %ebp
movl %eax, %r9d
shrl $0x18, %r9d
movl %edx, %ecx
shrl $0xe, %ecx
movl $0x3fc, %r12d           # imm = 0x3FC
andl %r12d, %ecx
movl (%rcx,%rdi), %ecx
xorl (%r10,%r9,4), %ecx
movl %r15d, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ecx
movl %ebp, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ecx
movl %edx, %r9d
shrl $0x18, %r9d
movl %r15d, %ebx
shrl $0xe, %ebx
andl %r12d, %ebx
movl $0x3fc, %r13d           # imm = 0x3FC
movl (%rbx,%rdi), %ebx
xorl (%r10,%r9,4), %ebx
movl %ebp, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ebx
movl %eax, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ebx
movl %r15d, %r9d
shrl $0x18, %r9d
movl %ebp, %r12d
shrl $0xe, %r12d
andl %r13d, %r12d
movl (%r12,%rdi), %r13d
xorl (%r10,%r9,4), %r13d
movl %eax, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %r13d
movl %edx, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %r13d
xorl 0xa0(%r14), %ecx
xorl 0xa4(%r14), %ebx
xorl 0xa8(%r14), %r13d
shrl $0x18, %ebp
shrl $0xe, %eax
movl $0x3fc, %r12d           # imm = 0x3FC
andl %r12d, %eax
movl (%rax,%rdi), %r9d
xorl (%r10,%rbp,4), %r9d
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %r9d
andl %r11d, %r15d
xorl (%rsi,%r15,4), %r9d
xorl 0xac(%r14), %r9d
movl %ecx, %edx
shrl $0x18, %edx
movl %ebx, %eax
shrl $0xe, %eax
andl %r12d, %eax
movl $0x3fc, %ebp            # imm = 0x3FC
movl (%rax,%rdi), %eax
xorl (%r10,%rdx,4), %eax
movl %r13d, %edx
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %eax
movl %r9d, %edx
andl %r11d, %edx
xorl (%rsi,%rdx,4), %eax
movl %ebx, %r15d
shrl $0x18, %r15d
movl %r13d, %edx
shrl $0xe, %edx
andl %ebp, %edx
movl (%rdx,%rdi), %edx
xorl (%r10,%r15,4), %edx
movl %r9d, %r15d
shrl $0x8, %r15d
andl %r11d, %r15d
xorl (%r8,%r15,4), %edx
movl %ecx, %r15d
andl %r11d, %r15d
xorl (%rsi,%r15,4), %edx
movl %r13d, %r12d
shrl $0x18, %r12d
movl %r9d, %r15d
shrl $0xe, %r15d
andl %ebp, %r15d
movl (%r15,%rdi), %r15d
xorl (%r10,%r12,4), %r15d
movl %ecx, %r12d
shrl $0x8, %r12d
andl %r11d, %r12d
xorl (%r8,%r12,4), %r15d
movl %ebx, %r12d
andl %r11d, %r12d
xorl (%rsi,%r12,4), %r15d
xorl 0xb0(%r14), %eax
xorl 0xb4(%r14), %edx
xorl 0xb8(%r14), %r15d
shrl $0x18, %r9d
shrl $0xe, %ecx
andl %ebp, %ecx
movl (%rcx,%rdi), %r12d
xorl (%r10,%r9,4), %r12d
shrl $0x8, %ebx
andl %r11d, %ebx
xorl (%r8,%rbx,4), %r12d
andl %r11d, %r13d
xorl (%rsi,%r13,4), %r12d
xorl 0xbc(%r14), %r12d
movl %eax, %r9d
shrl $0x18, %r9d
movl %edx, %ecx
shrl $0xe, %ecx
andl %ebp, %ecx
movl (%rcx,%rdi), %ecx
xorl (%r10,%r9,4), %ecx
movl %r15d, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ecx
movl %r12d, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ecx
movl %edx, %r9d
shrl $0x18, %r9d
movl %r15d, %ebx
shrl $0xe, %ebx
andl %ebp, %ebx
movl (%rbx,%rdi), %ebx
xorl (%r10,%r9,4), %ebx
movl %r12d, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ebx
movl %eax, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ebx
movl %r15d, %r9d
shrl $0x18, %r9d
movl %r12d, %r13d
shrl $0xe, %r13d
andl %ebp, %r13d
movl (%r13,%rdi), %ebp
xorl (%r10,%r9,4), %ebp
movl %eax, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %ebp
movl %edx, %r9d
andl %r11d, %r9d
xorl (%rsi,%r9,4), %ebp
xorl 0xc0(%r14), %ecx
xorl 0xc4(%r14), %ebx
xorl 0xc8(%r14), %ebp
shrl $0x18, %r12d
shrl $0xe, %eax
movl $0x3fc, %r13d           # imm = 0x3FC
andl %r13d, %eax
movl (%rax,%rdi), %eax
xorl (%r10,%r12,4), %eax
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %eax
andl %r11d, %r15d
xorl (%rsi,%r15,4), %eax
xorl 0xcc(%r14), %eax
movl %ecx, %edx
shrl $0x18, %edx
movl %ebx, %r9d
shrl $0xe, %r9d
andl %r13d, %r9d
movl $0x3fc, %r12d           # imm = 0x3FC
movl (%r9,%rdi), %r15d
xorl (%r10,%rdx,4), %r15d
movl %ebp, %edx
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %r15d
movl %eax, %edx
andl %r11d, %edx
xorl (%rsi,%rdx,4), %r15d
movl %ebx, %edx
shrl $0x18, %edx
movl %ebp, %r9d
shrl $0xe, %r9d
andl %r12d, %r9d
movl (%r9,%rdi), %r13d
xorl (%r10,%rdx,4), %r13d
movl %eax, %edx
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %r13d
movl %ecx, %edx
andl %r11d, %edx
xorl (%rsi,%rdx,4), %r13d
movl %ebp, %edx
shrl $0x18, %edx
movl %eax, %r9d
shrl $0xe, %r9d
andl %r12d, %r9d
movl (%r9,%rdi), %r9d
xorl (%r10,%rdx,4), %r9d
movl %ecx, %edx
shrl $0x8, %edx
andl %r11d, %edx
xorl (%r8,%rdx,4), %r9d
movl %ebx, %edx
andl %r11d, %edx
xorl (%rsi,%rdx,4), %r9d
xorl 0xd0(%r14), %r15d
xorl 0xd4(%r14), %r13d
xorl 0xd8(%r14), %r9d
shrl $0x18, %eax
shrl $0xe, %ecx
andl %r12d, %ecx
movl (%rcx,%rdi), %r12d
xorl (%r10,%rax,4), %r12d
shrl $0x8, %ebx
andl %r11d, %ebx
xorl (%r8,%rbx,4), %r12d
andl %r11d, %ebp
xorl (%rsi,%rbp,4), %r12d
movq %rsi, %rbp
movl $0x3fc, %esi            # imm = 0x3FC
xorl 0xdc(%r14), %r12d
movl %r15d, %eax
shrl $0x18, %eax
movl %r13d, %ecx
shrl $0xe, %ecx
andl %esi, %ecx
movl (%rcx,%rdi), %ebx
xorl (%r10,%rax,4), %ebx
movl %r9d, %eax
shrl $0x8, %eax
andl %r11d, %eax
xorl (%r8,%rax,4), %ebx
movl %r12d, %eax
andl %r11d, %eax
xorl (%rbp,%rax,4), %ebx
movl %r13d, %ecx
shrl $0x18, %ecx
movl %r9d, %eax
shrl $0xe, %eax
andl %esi, %eax
movl (%rax,%rdi), %eax
xorl (%r10,%rcx,4), %eax
movl %r12d, %ecx
shrl $0x8, %ecx
andl %r11d, %ecx
xorl (%r8,%rcx,4), %eax
movl %r15d, %ecx
andl %r11d, %ecx
xorl (%rbp,%rcx,4), %eax
movl %r9d, %ecx
shrl $0x18, %ecx
movl %r12d, %edx
shrl $0xe, %edx
andl %esi, %edx
movl (%rdx,%rdi), %edx
xorl (%r10,%rcx,4), %edx
movl %r15d, %ecx
shrl $0x8, %ecx
andl %r11d, %ecx
xorl (%r8,%rcx,4), %edx
movl %r13d, %ecx
andl %r11d, %ecx
xorl (%rbp,%rcx,4), %edx
shrl $0x18, %r12d
shrl $0xe, %r15d
andl %esi, %r15d
movl (%r15,%rdi), %ecx
xorl (%r10,%r12,4), %ecx
shrl $0x8, %r13d
andl %r11d, %r13d
xorl (%r8,%r13,4), %ecx
andl %r11d, %r9d
xorl (%rbp,%r9,4), %ecx
xorl 0xe0(%r14), %ebx
xorl 0xe4(%r14), %eax
xorl 0xe8(%r14), %edx
xorl 0xec(%r14), %ecx
cmpl $0x180, 0x4(%rsp)       # imm = 0x180
jne 0x34b9
movl %ebx, %r9d
shrl $0x18, %r9d
movl %eax, %r14d
shrl $0xe, %r14d
andl %esi, %r14d
movl (%r14,%rdi), %r14d
xorl (%r10,%r9,4), %r14d
movl %edx, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %r14d
movl %ecx, %r9d
andl %r11d, %r9d
xorl (%rbp,%r9,4), %r14d
movl %eax, %r9d
shrl $0x18, %r9d
movl %edx, %r15d
shrl $0xe, %r15d
andl %esi, %r15d
movl (%r15,%rdi), %r15d
xorl (%r10,%r9,4), %r15d
movl %ecx, %r9d
shrl $0x8, %r9d
andl %r11d, %r9d
xorl (%r8,%r9,4), %r15d
movl %ebx, %r9d
movl %ebx, %r12d
shrl $0xe, %ebx
andl %esi, %ebx
movl (%rbx,%rdi), %r13d
andl %r11d, %r9d
xorl (%rbp,%r9,4), %r15d
movl %edx, %ebx
shrl $0x18, %ebx
movl %ecx, %r9d
shrl $0xe, %r9d
andl %esi, %r9d
movl (%r9,%rdi), %r9d
xorl (%r10,%rbx,4), %r9d
xorl 0x100(%rsp), %r14d
xorl 0x104(%rsp), %r15d
shrl $0x8, %r12d
andl %r11d, %r12d
xorl (%r8,%r12,4), %r9d
movl %eax, %ebx
andl %r11d, %ebx
xorl (%rbp,%rbx,4), %r9d
xorl 0x108(%rsp), %r9d
shrl $0x18, %ecx
xorl (%r10,%rcx,4), %r13d
shrl $0x8, %eax
andl %r11d, %eax
xorl (%r8,%rax,4), %r13d
andl %r11d, %edx
xorl (%rbp,%rdx,4), %r13d
xorl 0x10c(%rsp), %r13d
movl %r14d, %eax
shrl $0x18, %eax
movl %r15d, %ecx
shrl $0xe, %ecx
andl %esi, %ecx
movl (%rcx,%rdi), %ebx
xorl (%r10,%rax,4), %ebx
movl %r9d, %eax
shrl $0x8, %eax
andl %r11d, %eax
xorl (%r8,%rax,4), %ebx
movl %r13d, %eax
andl %r11d, %eax
xorl (%rbp,%rax,4), %ebx
xorl 0x110(%rsp), %ebx
movl %r15d, %ecx
shrl $0x18, %ecx
movl %r9d, %eax
shrl $0xe, %eax
andl %esi, %eax
movl (%rax,%rdi), %eax
xorl (%r10,%rcx,4), %eax
movl %r13d, %ecx
shrl $0x8, %ecx
andl %r11d, %ecx
xorl (%r8,%rcx,4), %eax
movl %r14d, %ecx
andl %r11d, %ecx
xorl (%rbp,%rcx,4), %eax
xorl 0x114(%rsp), %eax
movl %r9d, %ecx
shrl $0x18, %ecx
movl %r13d, %edx
shrl $0xe, %edx
andl %esi, %edx
movl (%rdx,%rdi), %edx
xorl (%r10,%rcx,4), %edx
movl %r14d, %ecx
shrl $0x8, %ecx
andl %r11d, %ecx
xorl (%r8,%rcx,4), %edx
movl %r15d, %ecx
andl %r11d, %ecx
xorl (%rbp,%rcx,4), %edx
xorl 0x118(%rsp), %edx
shrl $0x18, %r13d
shrl $0xe, %r14d
andl %esi, %r14d
movl (%r14,%rdi), %ecx
xorl (%r10,%r13,4), %ecx
shrl $0x8, %r15d
andl %r11d, %r15d
xorl (%r8,%r15,4), %ecx
andl %r11d, %r9d
xorl (%rbp,%r9,4), %ecx
xorl 0x11c(%rsp), %ecx
movl %ebx, %esi
shrl $0x18, %esi
movq 0x8(%rsp), %rdi
movb %sil, (%rdi)
movl %ebx, %esi
shrl $0x10, %esi
movb %sil, 0x1(%rdi)
movb %bh, 0x2(%rdi)
movb %bl, 0x3(%rdi)
movl %eax, %esi
shrl $0x18, %esi
movb %sil, 0x4(%rdi)
movl %eax, %esi
shrl $0x10, %esi
movb %sil, 0x5(%rdi)
movb %ah, 0x6(%rdi)
movb %al, 0x7(%rdi)
movl %edx, %eax
shrl $0x18, %eax
movb %al, 0x8(%rdi)
movl %edx, %eax
shrl $0x10, %eax
movb %al, 0x9(%rdi)
movb %dh, 0xa(%rdi)
movb %dl, 0xb(%rdi)
movl %ecx, %eax
shrl $0x18, %eax
movb %al, 0xc(%rdi)
movl %ecx, %eax
shrl $0x10, %eax
movb %al, 0xd(%rdi)
movb %ch, 0xe(%rdi)
movb %cl, 0xf(%rdi)
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq