// File: /workspace/github_c_makefile_star2_O2/mjosaarinen[P]brutus/crypto_aead/scream10v3/sse/scream.c
// Function: encrypt_tweakey
__attribute__((flatten)) void encrypt_tweakey (v16qi *restrict x, v16qi *restrict T3) {
#if NSTEPS > 15
#error Round constant not implemented
#endif
#define CST1(i) CV((2199*i)%256)
#define CST2(i) CV(((2199*i)>>8)%256)
  static const v16qi RC1[32] = {
    CST1( 0), CST1( 1), CST1( 2), CST1( 3), CST1( 4), CST1( 5), CST1( 6), CST1( 7),
    CST1( 8), CST1( 9), CST1(10), CST1(11), CST1(12), CST1(13), CST1(14), CST1(15),
    CST1(16), CST1(17), CST1(18), CST1(19), CST1(20), CST1(21), CST1(22), CST1(23),
    CST1(24), CST1(25), CST1(26), CST1(27), CST1(28), CST1(29), CST1(30), CST1(31),
  };
  static const v16qi RC2[32] = {
    CST2( 0), CST2( 1), CST2( 2), CST2( 3), CST2( 4), CST2( 5), CST2( 6), CST2( 7),
    CST2( 8), CST2( 9), CST2(10), CST2(11), CST2(12), CST2(13), CST2(14), CST2(15),
    CST2(16), CST2(17), CST2(18), CST2(19), CST2(20), CST2(21), CST2(22), CST2(23),
    CST2(24), CST2(25), CST2(26), CST2(27), CST2(28), CST2(29), CST2(30), CST2(31),
  };
#undef CST1
#undef CST2

  int t=0;
  int i,j;

  for (i=0; i<NSTEPS; i++) {
    // Key addition
    for (j=0; j<8; j++) {
      x[j] ^= T3[t++];
    }
    SBOX(x);
    // Round constants
    x[0] ^= RC1[2*i];

    // Key addition
    for (j=8; j<16; j++) {
      x[j] ^= T3[t++];
    }
    SBOX((x+8));
    // Round constants
    x[8] ^= RC2[2*i];

    // LBox
    LBox16P(x);

    // Sbox
    SBOX(x);
    // Round constants
    x[0] ^= RC1[2*i+1];

    SBOX((x+8));
    // Round constants
    x[8] ^= RC2[2*i+1];
    
    // LBox
    LBox16P(x);
    
    if (t == 48)
      t=0;
  }

  // Final key addition
  for (j=0; j<16; j++) {
      x[j] ^= T3[t++];
  }
}

// Assembly:
pushq %rbx
leaq 0x90(%rdi), %rax
xorl %ecx, %ecx
vpcmpeqd %xmm0, %xmm0, %xmm0
leaq 0x2ddf(%rip), %rdx      # 0x4010
leaq 0x2fd8(%rip), %r8       # 0x4210
vpbroadcastb 0x2dbf(%rip), %xmm1 # 0x4000
xorl %r10d, %r10d
cmpq $0xa, %rcx
je 0x19d9
movslq %r10d, %r9
movq %r9, %r11
shlq $0x4, %r11
addq %rsi, %r11
addq $0x8, %r9
xorl %r10d, %r10d
cmpq $0x80, %r10
je 0x1283
vmovdqa (%rdi,%r10), %xmm2
vpxor (%r11,%r10), %xmm2, %xmm2
vmovdqa %xmm2, (%rdi,%r10)
addq $0x10, %r10
jmp 0x1262
vmovdqa (%rdi), %xmm2
vmovdqa 0x10(%rdi), %xmm3
vmovdqa 0x20(%rdi), %xmm4
vmovdqa 0x30(%rdi), %xmm5
vmovdqa %xmm2, %xmm6
vpternlogq $0x78, %xmm3, %xmm4, %xmm6
vpxor %xmm4, %xmm6, %xmm7
vpxor 0x50(%rdi), %xmm7, %xmm8
vpxor %xmm3, %xmm5, %xmm9
vpternlogq $0x6a, 0x60(%rdi), %xmm5, %xmm6
vpxor %xmm4, %xmm9, %xmm10
vpternlogq $0x6a, 0x70(%rdi), %xmm7, %xmm9
vpxor %xmm5, %xmm7, %xmm7
vpternlogq $0x6a, 0x40(%rdi), %xmm10, %xmm7
vmovdqa %xmm6, %xmm10
vpternlogq $0x78, %xmm8, %xmm7, %xmm10
vpxor %xmm2, %xmm10, %xmm2
vmovdqa %xmm9, %xmm11
vpternlogq $0x1e, %xmm8, %xmm6, %xmm11
vpxor %xmm4, %xmm11, %xmm4
vmovdqa %xmm4, 0x20(%rdi)
vpand %xmm9, %xmm10, %xmm10
vpternlogq $0x96, %xmm3, %xmm7, %xmm10
vmovdqa %xmm10, 0x10(%rdi)
vpand %xmm7, %xmm11, %xmm3
vpternlogq $0x96, %xmm5, %xmm8, %xmm3
vmovdqa %xmm3, 0x30(%rdi)
movq %rcx, %r10
shlq $0x5, %r10
vpxor (%r10,%rdx), %xmm2, %xmm5
vpternlogq $0x78, %xmm4, %xmm10, %xmm2
vpxor %xmm3, %xmm10, %xmm10
vmovdqa %xmm4, %xmm11
vpternlogq $0x96, %xmm0, %xmm2, %xmm11
vpxor %xmm8, %xmm11, %xmm8
vmovdqa %xmm8, 0x50(%rdi)
vpternlogq $0xc6, %xmm3, %xmm6, %xmm2
vmovdqa %xmm2, 0x60(%rdi)
vpxor %xmm4, %xmm10, %xmm2
vpternlogq $0x78, %xmm10, %xmm11, %xmm9
vmovdqa %xmm9, 0x70(%rdi)
vpxor %xmm3, %xmm11, %xmm3
vpternlogq $0x6c, %xmm3, %xmm7, %xmm2
vmovdqa %xmm2, 0x40(%rdi)
leaq (%rcx,%rcx), %r10
vmovdqa %xmm5, (%rdi)
movl $0x80, %ebx
cmpq $0x100, %rbx            # imm = 0x100
je 0x139b
vmovdqa (%rdi,%rbx), %xmm2
incq %r9
vpxor (%r11,%rbx), %xmm2, %xmm2
vmovdqa %xmm2, (%rdi,%rbx)
addq $0x10, %rbx
jmp 0x1379
vmovdqa 0x80(%rdi), %xmm2
vmovdqa 0x90(%rdi), %xmm3
vmovdqa 0xa0(%rdi), %xmm4
vmovdqa 0xb0(%rdi), %xmm5
vmovdqa %xmm2, %xmm6
vpternlogq $0x78, %xmm3, %xmm4, %xmm6
vpxor %xmm3, %xmm5, %xmm7
vpxor %xmm4, %xmm6, %xmm8
vpxor 0xd0(%rdi), %xmm8, %xmm9
vpternlogq $0x6a, 0xe0(%rdi), %xmm5, %xmm6
vpxor %xmm4, %xmm7, %xmm10
vpternlogq $0x6a, 0xf0(%rdi), %xmm8, %xmm7
vpxor %xmm5, %xmm8, %xmm8
vpternlogq $0x6a, 0xc0(%rdi), %xmm10, %xmm8
vmovdqa %xmm6, %xmm10
vpternlogq $0x78, %xmm9, %xmm8, %xmm10
vpand %xmm7, %xmm10, %xmm11
vpternlogq $0x96, %xmm3, %xmm8, %xmm11
vmovdqa %xmm7, %xmm3
vpternlogq $0x1e, %xmm9, %xmm6, %xmm3
vpxor %xmm4, %xmm3, %xmm4
vmovdqa %xmm4, 0xa0(%rdi)
vmovdqa %xmm11, 0x90(%rdi)
vpand %xmm3, %xmm8, %xmm3
vpternlogq $0x96, %xmm5, %xmm9, %xmm3
vmovdqa %xmm3, 0xb0(%rdi)
vpxor %xmm2, %xmm10, %xmm2
shlq $0x4, %r10
vpxor (%r10,%r8), %xmm2, %xmm5
vpternlogq $0x78, %xmm4, %xmm11, %xmm2
vpxor %xmm3, %xmm11, %xmm10
vpxor %xmm4, %xmm10, %xmm11
vpternlogq $0x96, %xmm0, %xmm2, %xmm4
vpxor %xmm4, %xmm9, %xmm9
vmovdqa %xmm9, 0xd0(%rdi)
vpternlogq $0xc6, %xmm3, %xmm6, %xmm2
vmovdqa %xmm2, 0xe0(%rdi)
vpternlogq $0x78, %xmm10, %xmm4, %xmm7
vmovdqa %xmm7, 0xf0(%rdi)
vpxor %xmm3, %xmm4, %xmm2
vpternlogq $0x6c, %xmm2, %xmm8, %xmm11
vmovdqa %xmm11, 0xc0(%rdi)
vmovdqa %xmm5, 0x80(%rdi)
movq %rax, %r11
xorl %ebx, %ebx
cmpq $0x7, %rbx
ja 0x163f
vmovdqa -0x90(%r11), %xmm2
vmovdqa -0x80(%r11), %xmm3
vmovdqa -0x10(%r11), %xmm4
vmovdqa (%r11), %xmm5
movdqa 0x2f38(%rip), %xmm6     # 0x4410
vpsrld $0x4, %xmm2, %xmm7
vpand %xmm1, %xmm7, %xmm7
vpsrld $0x4, %xmm3, %xmm8
vpand %xmm1, %xmm8, %xmm8
vpshufb %xmm7, %xmm6, %xmm9
vmovdqa %xmm9, -0x90(%r11)
vpshufb %xmm8, %xmm6, %xmm6
vmovdqa %xmm6, -0x80(%r11)
movdqa 0x2f14(%rip), %xmm10    # 0x4420
vpshufb %xmm7, %xmm10, %xmm7
vmovdqa %xmm7, -0x10(%r11)
vpshufb %xmm8, %xmm10, %xmm8
vmovdqa %xmm8, (%r11)
movdqa 0x2f06(%rip), %xmm10    # 0x4430
vpand %xmm1, %xmm2, %xmm2
vpshufb %xmm2, %xmm10, %xmm11
vpxor %xmm9, %xmm11, %xmm9
vmovdqa %xmm9, -0x90(%r11)
vpand %xmm1, %xmm3, %xmm3
vpshufb %xmm3, %xmm10, %xmm10
vpxor %xmm6, %xmm10, %xmm6
vmovdqa %xmm6, -0x80(%r11)
movdqa 0x2ee3(%rip), %xmm10    # 0x4440
vpshufb %xmm2, %xmm10, %xmm2
vpxor %xmm7, %xmm2, %xmm2
vmovdqa %xmm2, -0x10(%r11)
vpshufb %xmm3, %xmm10, %xmm3
vpxor %xmm3, %xmm8, %xmm3
vmovdqa %xmm3, (%r11)
movdqa 0x2ece(%rip), %xmm7     # 0x4450
vpsrld $0x4, %xmm4, %xmm8
vpand %xmm1, %xmm8, %xmm8
vpsrld $0x4, %xmm5, %xmm10
vpand %xmm1, %xmm10, %xmm10
vpshufb %xmm8, %xmm7, %xmm11
vpxor %xmm9, %xmm11, %xmm9
vmovdqa %xmm9, -0x90(%r11)
vpshufb %xmm10, %xmm7, %xmm7
vpxor %xmm6, %xmm7, %xmm6
vmovdqa %xmm6, -0x80(%r11)
movdqa 0x2ea2(%rip), %xmm7     # 0x4460
vpshufb %xmm8, %xmm7, %xmm8
vpxor %xmm2, %xmm8, %xmm2
vmovdqa %xmm2, -0x10(%r11)
vpshufb %xmm10, %xmm7, %xmm7
vpxor %xmm3, %xmm7, %xmm3
vmovdqa %xmm3, (%r11)
movdqa 0x2e8d(%rip), %xmm7     # 0x4470
vpand %xmm1, %xmm4, %xmm4
vpand %xmm1, %xmm5, %xmm5
vpshufb %xmm4, %xmm7, %xmm8
vpxor %xmm9, %xmm8, %xmm8
vmovdqa %xmm8, -0x90(%r11)
vpshufb %xmm5, %xmm7, %xmm7
vpxor %xmm6, %xmm7, %xmm6
vmovdqa %xmm6, -0x80(%r11)
movdqa 0x2e6b(%rip), %xmm6     # 0x4480
vpshufb %xmm4, %xmm6, %xmm4
vpxor %xmm2, %xmm4, %xmm2
vmovdqa %xmm2, -0x10(%r11)
vpshufb %xmm5, %xmm6, %xmm2
vpxor %xmm3, %xmm2, %xmm2
vmovdqa %xmm2, (%r11)
addq $0x2, %rbx
addq $0x20, %r11
jmp 0x14ac
vmovdqa (%rdi), %xmm2
vmovdqa 0x10(%rdi), %xmm3
vmovdqa 0x20(%rdi), %xmm4
vmovdqa 0x30(%rdi), %xmm5
vmovdqa %xmm2, %xmm6
vpternlogq $0x78, %xmm3, %xmm4, %xmm6
vpxor %xmm3, %xmm5, %xmm7
vpxor %xmm4, %xmm6, %xmm8
vpxor 0x50(%rdi), %xmm8, %xmm9
vpternlogq $0x6a, 0x60(%rdi), %xmm5, %xmm6
vpxor %xmm4, %xmm7, %xmm10
vpternlogq $0x6a, 0x70(%rdi), %xmm8, %xmm7
vpxor %xmm5, %xmm8, %xmm8
vpternlogq $0x6a, 0x40(%rdi), %xmm10, %xmm8
vmovdqa %xmm6, %xmm10
vpternlogq $0x78, %xmm9, %xmm8, %xmm10
vpxor %xmm2, %xmm10, %xmm2
vmovdqa %xmm7, %xmm11
vpternlogq $0x1e, %xmm9, %xmm6, %xmm11
vpxor %xmm4, %xmm11, %xmm4
vmovdqa %xmm4, 0x20(%rdi)
vpand %xmm7, %xmm10, %xmm10
vpternlogq $0x96, %xmm3, %xmm8, %xmm10
vmovdqa %xmm10, 0x10(%rdi)
vpand %xmm11, %xmm8, %xmm3
vpternlogq $0x96, %xmm5, %xmm9, %xmm3
vmovdqa %xmm3, 0x30(%rdi)
vpxor 0x10(%r10,%rdx), %xmm2, %xmm5
vpternlogq $0x78, %xmm4, %xmm10, %xmm2
vpxor %xmm3, %xmm10, %xmm10
vpxor %xmm4, %xmm10, %xmm11
vpternlogq $0x96, %xmm0, %xmm2, %xmm4
vpxor %xmm4, %xmm9, %xmm9
vmovdqa %xmm9, 0x50(%rdi)
vpternlogq $0xc6, %xmm3, %xmm6, %xmm2
vmovdqa %xmm2, 0x60(%rdi)
vpternlogq $0x78, %xmm10, %xmm4, %xmm7
vmovdqa %xmm7, 0x70(%rdi)
vpxor %xmm3, %xmm4, %xmm2
vpternlogq $0x6c, %xmm2, %xmm8, %xmm11
vmovdqa %xmm11, 0x40(%rdi)
vmovdqa %xmm5, (%rdi)
vmovdqa 0x90(%rdi), %xmm2
vmovdqa 0xa0(%rdi), %xmm3
vmovdqa 0x80(%rdi), %xmm4
vmovdqa %xmm4, %xmm5
vpternlogq $0x78, %xmm2, %xmm3, %xmm5
vmovdqa 0xb0(%rdi), %xmm6
vpxor %xmm2, %xmm6, %xmm7
vpxor %xmm3, %xmm5, %xmm8
vpxor 0xd0(%rdi), %xmm8, %xmm9
vpternlogq $0x6a, 0xe0(%rdi), %xmm6, %xmm5
vpxor %xmm3, %xmm7, %xmm10
vpternlogq $0x6a, 0xf0(%rdi), %xmm8, %xmm7
vpxor %xmm6, %xmm8, %xmm8
vpternlogq $0x6a, 0xc0(%rdi), %xmm10, %xmm8
vmovdqa %xmm5, %xmm10
vpternlogq $0x78, %xmm9, %xmm8, %xmm10
vpxor %xmm4, %xmm10, %xmm4
vmovdqa %xmm7, %xmm11
vpternlogq $0x1e, %xmm9, %xmm5, %xmm11
vpxor %xmm3, %xmm11, %xmm3
vmovdqa %xmm3, 0xa0(%rdi)
vpand %xmm7, %xmm10, %xmm10
vpternlogq $0x96, %xmm2, %xmm8, %xmm10
vmovdqa %xmm10, 0x90(%rdi)
vpand %xmm11, %xmm8, %xmm2
vpternlogq $0x96, %xmm6, %xmm9, %xmm2
vmovdqa %xmm2, 0xb0(%rdi)
vpxor 0x10(%r10,%r8), %xmm4, %xmm6
vpternlogq $0x78, %xmm3, %xmm10, %xmm4
vpxor %xmm2, %xmm10, %xmm10
vpxor %xmm3, %xmm10, %xmm11
vpternlogq $0x96, %xmm0, %xmm4, %xmm3
vpxor %xmm3, %xmm9, %xmm9
vmovdqa %xmm9, 0xd0(%rdi)
vpternlogq $0xc6, %xmm2, %xmm5, %xmm4
vmovdqa %xmm4, 0xe0(%rdi)
vpternlogq $0x78, %xmm10, %xmm3, %xmm7
vmovdqa %xmm7, 0xf0(%rdi)
vpxor %xmm2, %xmm3, %xmm2
vpternlogq $0x6c, %xmm2, %xmm8, %xmm11
vmovdqa %xmm11, 0xc0(%rdi)
vmovdqa %xmm6, 0x80(%rdi)
movq %rax, %r10
xorl %r11d, %r11d
cmpq $0x7, %r11
ja 0x19c3
vmovdqa -0x90(%r10), %xmm2
vmovdqa -0x80(%r10), %xmm3
vmovdqa -0x10(%r10), %xmm4
vmovdqa (%r10), %xmm5
movdqa 0x2bb4(%rip), %xmm6     # 0x4410
vpsrld $0x4, %xmm2, %xmm7
vpand %xmm1, %xmm7, %xmm7
vpsrld $0x4, %xmm3, %xmm8
vpand %xmm1, %xmm8, %xmm8
vpshufb %xmm7, %xmm6, %xmm9
vmovdqa %xmm9, -0x90(%r10)
vpshufb %xmm8, %xmm6, %xmm6
vmovdqa %xmm6, -0x80(%r10)
movdqa 0x2b90(%rip), %xmm10    # 0x4420
vpshufb %xmm7, %xmm10, %xmm7
vmovdqa %xmm7, -0x10(%r10)
vpshufb %xmm8, %xmm10, %xmm8
vmovdqa %xmm8, (%r10)
movdqa 0x2b82(%rip), %xmm10    # 0x4430
vpand %xmm1, %xmm2, %xmm2
vpshufb %xmm2, %xmm10, %xmm11
vpxor %xmm9, %xmm11, %xmm9
vmovdqa %xmm9, -0x90(%r10)
vpand %xmm1, %xmm3, %xmm3
vpshufb %xmm3, %xmm10, %xmm10
vpxor %xmm6, %xmm10, %xmm6
vmovdqa %xmm6, -0x80(%r10)
movdqa 0x2b5f(%rip), %xmm10    # 0x4440
vpshufb %xmm2, %xmm10, %xmm2
vpxor %xmm7, %xmm2, %xmm2
vmovdqa %xmm2, -0x10(%r10)
vpshufb %xmm3, %xmm10, %xmm3
vpxor %xmm3, %xmm8, %xmm3
vmovdqa %xmm3, (%r10)
movdqa 0x2b4a(%rip), %xmm7     # 0x4450
vpsrld $0x4, %xmm4, %xmm8
vpand %xmm1, %xmm8, %xmm8
vpsrld $0x4, %xmm5, %xmm10
vpand %xmm1, %xmm10, %xmm10
vpshufb %xmm8, %xmm7, %xmm11
vpxor %xmm9, %xmm11, %xmm9
vmovdqa %xmm9, -0x90(%r10)
vpshufb %xmm10, %xmm7, %xmm7
vpxor %xmm6, %xmm7, %xmm6
vmovdqa %xmm6, -0x80(%r10)
movdqa 0x2b1e(%rip), %xmm7     # 0x4460
vpshufb %xmm8, %xmm7, %xmm8
vpxor %xmm2, %xmm8, %xmm2
vmovdqa %xmm2, -0x10(%r10)
vpshufb %xmm10, %xmm7, %xmm7
vpxor %xmm3, %xmm7, %xmm3
vmovdqa %xmm3, (%r10)
movdqa 0x2b09(%rip), %xmm7     # 0x4470
vpand %xmm1, %xmm4, %xmm4
vpand %xmm1, %xmm5, %xmm5
vpshufb %xmm4, %xmm7, %xmm8
vpxor %xmm9, %xmm8, %xmm8
vmovdqa %xmm8, -0x90(%r10)
vpshufb %xmm5, %xmm7, %xmm7
vpxor %xmm6, %xmm7, %xmm6
vmovdqa %xmm6, -0x80(%r10)
movdqa 0x2ae7(%rip), %xmm6     # 0x4480
vpshufb %xmm4, %xmm6, %xmm4
vpxor %xmm2, %xmm4, %xmm2
vmovdqa %xmm2, -0x10(%r10)
vpshufb %xmm5, %xmm6, %xmm2
vpxor %xmm3, %xmm2, %xmm2
vmovdqa %xmm2, (%r10)
addq $0x2, %r11
addq $0x20, %r10
jmp 0x1830
cmpq $0x30, %r9
movl $0x0, %r10d
cmovneq %r9, %r10
incq %rcx
jmp 0x1244
movslq %r10d, %rax
shlq $0x4, %rax
addq %rax, %rsi
xorl %eax, %eax
cmpq $0x100, %rax            # imm = 0x100
je 0x1a02
vmovdqa (%rdi,%rax), %xmm0
vpxor (%rsi,%rax), %xmm0, %xmm0
vmovdqa %xmm0, (%rdi,%rax)
addq $0x10, %rax
jmp 0x19e5
popq %rbx
retq