#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int uint8_t;

/* Variables and functions */
int READ_ROUND_KEY_BYTE(int);
void rrr_enc_dec_round(uint8_t *block, uint8_t *roundKey, uint8_t round) {
  uint8_t i, temp[4], z;
  for (i = 0; i < 4; i++)
    temp[i] = block[i];
  z = block[3];
  block[3] &= block[2];
  block[3] ^= block[1];
  block[1] |= block[2];
  block[1] ^= block[0];
  block[0] &= block[3];
  block[0] ^= z;
  z &= block[1];
  block[2] ^= z;
  ;
  for (i = 0; i < 4; i++) {
    z = block[i];
    z = (((z) << 1) | ((z) >> 7));
    z ^= block[i];
    z = (((z) << 1) | ((z) >> 7));
    block[i] ^= z;
    ;
    block[i] ^= READ_ROUND_KEY_BYTE(roundKey[0 + i]);
  }
  z = block[3];
  block[3] &= block[2];
  block[3] ^= block[1];
  block[1] |= block[2];
  block[1] ^= block[0];
  block[0] &= block[3];
  block[0] ^= z;
  z &= block[1];
  block[2] ^= z;
  ;
  for (i = 0; i < 4; i++) {
    z = block[i];
    z = (((z) << 1) | ((z) >> 7));
    z ^= block[i];
    z = (((z) << 1) | ((z) >> 7));
    block[i] ^= z;
    ;
    block[i] ^= READ_ROUND_KEY_BYTE(roundKey[4 + i]);
  }
  block[3] ^= round;
  z = block[3];
  block[3] &= block[2];
  block[3] ^= block[1];
  block[1] |= block[2];
  block[1] ^= block[0];
  block[0] &= block[3];
  block[0] ^= z;
  z &= block[1];
  block[2] ^= z;
  ;
  for (i = 0; i < 4; i++) {
    z = block[i];
    z = (((z) << 1) | ((z) >> 7));
    z ^= block[i];
    z = (((z) << 1) | ((z) >> 7));
    block[i] ^= z;
    ;
    block[i] ^= READ_ROUND_KEY_BYTE(roundKey[8 + i]);
  }
  z = block[3];
  block[3] &= block[2];
  block[3] ^= block[1];
  block[1] |= block[2];
  block[1] ^= block[0];
  block[0] &= block[3];
  block[0] ^= z;
  z &= block[1];
  block[2] ^= z;
  for (i = 0; i < 4; i++)
    block[i] ^= block[i + 4];
  for (i = 0; i < 4; i++)
    block[i + 4] = temp[i];
}


x86 assembly (clang, -O0):
<rrr_enc_dec_round>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    1155 <rrr_enc_dec_round+0x45>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x18(%rbp),%rax
mov    %ecx,-0x30(%rbp,%rax,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    112a <rrr_enc_dec_round+0x1a>
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
and    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
or     0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%ecx
mov    -0x8(%rbp),%rax
and    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x34(%rbp),%ecx
mov    -0x8(%rbp),%rax
xor    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
and    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%ecx
mov    -0x8(%rbp),%rax
xor    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
movl   $0x0,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    126c <rrr_enc_dec_round+0x15c>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
xor    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
mov    %eax,%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11dd <rrr_enc_dec_round+0xcd>
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
and    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
or     0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%ecx
mov    -0x8(%rbp),%rax
and    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x34(%rbp),%ecx
mov    -0x8(%rbp),%rax
xor    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
and    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%ecx
mov    -0x8(%rbp),%rax
xor    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
movl   $0x0,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    1383 <rrr_enc_dec_round+0x273>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
xor    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
mov    %eax,%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    12f4 <rrr_enc_dec_round+0x1e4>
mov    -0x14(%rbp),%ecx
mov    -0x8(%rbp),%rax
xor    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
and    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
or     0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%ecx
mov    -0x8(%rbp),%rax
and    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x34(%rbp),%ecx
mov    -0x8(%rbp),%rax
xor    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
and    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%ecx
mov    -0x8(%rbp),%rax
xor    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
movl   $0x0,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    14a7 <rrr_enc_dec_round+0x397>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
xor    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x8,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
mov    %eax,%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1418 <rrr_enc_dec_round+0x308>
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
and    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
or     0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%ecx
mov    -0x8(%rbp),%rax
and    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x34(%rbp),%ecx
mov    -0x8(%rbp),%rax
xor    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
and    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%ecx
mov    -0x8(%rbp),%rax
xor    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
movl   $0x0,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    1565 <rrr_enc_dec_round+0x455>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    152f <rrr_enc_dec_round+0x41f>
movl   $0x0,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    159c <rrr_enc_dec_round+0x48c>
movslq -0x18(%rbp),%rax
mov    -0x30(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    156c <rrr_enc_dec_round+0x45c>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rrr_enc_dec_round>:
push   %rbp
push   %r14
push   %rbx
sub    $0x10,%rsp
mov    %edx,%ebp
mov    %rsi,%r14
mov    %rdi,%rbx
movups (%rdi),%xmm0
movaps %xmm0,(%rsp)
mov    0xc(%rdi),%ecx
mov    0x8(%rdi),%edx
mov    %edx,%eax
and    %ecx,%eax
mov    (%rdi),%esi
mov    0x4(%rdi),%edi
xor    %edi,%eax
mov    %eax,0xc(%rbx)
or     %edx,%edi
xor    %esi,%edi
mov    %edi,0x4(%rbx)
and    %esi,%eax
xor    %ecx,%eax
and    %ecx,%edi
xor    %edx,%edi
mov    %edi,0x8(%rbx)
lea    (%rax,%rax,1),%ecx
mov    %eax,%edx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
lea    (%rdx,%rdx,1),%ecx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
mov    %edx,(%rbx)
mov    (%r14),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
xor    %eax,(%rbx)
mov    0x4(%rbx),%eax
lea    (%rax,%rax,1),%ecx
mov    %eax,%edx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
lea    (%rdx,%rdx,1),%ecx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
mov    %edx,0x4(%rbx)
mov    0x4(%r14),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
xor    %eax,0x4(%rbx)
mov    0x8(%rbx),%eax
lea    (%rax,%rax,1),%ecx
mov    %eax,%edx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
lea    (%rdx,%rdx,1),%ecx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
mov    %edx,0x8(%rbx)
mov    0x8(%r14),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
xor    %eax,0x8(%rbx)
mov    0xc(%rbx),%eax
lea    (%rax,%rax,1),%ecx
mov    %eax,%edx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
lea    (%rdx,%rdx,1),%ecx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
mov    %edx,0xc(%rbx)
mov    0xc(%r14),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
xor    0xc(%rbx),%eax
mov    0x8(%rbx),%edx
mov    %edx,%ecx
and    %eax,%ecx
mov    (%rbx),%esi
mov    0x4(%rbx),%edi
xor    %edi,%ecx
mov    %ecx,0xc(%rbx)
or     %edx,%edi
xor    %esi,%edi
mov    %edi,0x4(%rbx)
and    %esi,%ecx
xor    %eax,%ecx
and    %eax,%edi
xor    %edx,%edi
mov    %edi,0x8(%rbx)
lea    (%rcx,%rcx,1),%eax
mov    %ecx,%edx
sar    $0x7,%edx
or     %eax,%edx
xor    %ecx,%edx
lea    (%rdx,%rdx,1),%eax
sar    $0x7,%edx
or     %eax,%edx
xor    %ecx,%edx
mov    %edx,(%rbx)
mov    0x10(%r14),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
xor    %eax,(%rbx)
mov    0x4(%rbx),%eax
lea    (%rax,%rax,1),%ecx
mov    %eax,%edx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
lea    (%rdx,%rdx,1),%ecx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
mov    %edx,0x4(%rbx)
mov    0x14(%r14),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
xor    %eax,0x4(%rbx)
mov    0x8(%rbx),%eax
lea    (%rax,%rax,1),%ecx
mov    %eax,%edx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
lea    (%rdx,%rdx,1),%ecx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
mov    %edx,0x8(%rbx)
mov    0x18(%r14),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
xor    %eax,0x8(%rbx)
mov    0xc(%rbx),%eax
lea    (%rax,%rax,1),%ecx
mov    %eax,%edx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
lea    (%rdx,%rdx,1),%ecx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
mov    %edx,0xc(%rbx)
mov    0x1c(%r14),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
xor    0xc(%rbx),%eax
xor    %ebp,%eax
mov    0x8(%rbx),%edx
mov    %edx,%ecx
and    %eax,%ecx
mov    (%rbx),%esi
mov    0x4(%rbx),%edi
xor    %edi,%ecx
mov    %ecx,0xc(%rbx)
or     %edx,%edi
xor    %esi,%edi
mov    %edi,0x4(%rbx)
and    %esi,%ecx
xor    %eax,%ecx
and    %eax,%edi
xor    %edx,%edi
mov    %edi,0x8(%rbx)
lea    (%rcx,%rcx,1),%eax
mov    %ecx,%edx
sar    $0x7,%edx
or     %eax,%edx
xor    %ecx,%edx
lea    (%rdx,%rdx,1),%eax
sar    $0x7,%edx
or     %eax,%edx
xor    %ecx,%edx
mov    %edx,(%rbx)
mov    0x20(%r14),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
xor    %eax,(%rbx)
mov    0x4(%rbx),%eax
lea    (%rax,%rax,1),%ecx
mov    %eax,%edx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
lea    (%rdx,%rdx,1),%ecx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
mov    %edx,0x4(%rbx)
mov    0x24(%r14),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
xor    %eax,0x4(%rbx)
mov    0x8(%rbx),%eax
lea    (%rax,%rax,1),%ecx
mov    %eax,%edx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
lea    (%rdx,%rdx,1),%ecx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
mov    %edx,0x8(%rbx)
mov    0x28(%r14),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
xor    %eax,0x8(%rbx)
mov    0xc(%rbx),%eax
lea    (%rax,%rax,1),%ecx
mov    %eax,%edx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
lea    (%rdx,%rdx,1),%ecx
sar    $0x7,%edx
or     %ecx,%edx
xor    %eax,%edx
mov    %edx,0xc(%rbx)
mov    0x2c(%r14),%edi
call   1030 <READ_ROUND_KEY_BYTE@plt>
xor    0xc(%rbx),%eax
mov    0x8(%rbx),%ecx
mov    %ecx,%edx
and    %eax,%edx
mov    (%rbx),%esi
mov    0x4(%rbx),%edi
xor    %edi,%edx
or     %ecx,%edi
xor    %esi,%edi
and    %edx,%esi
xor    %eax,%esi
and    %edi,%eax
xor    %ecx,%eax
movdqu 0x10(%rbx),%xmm0
movd   %eax,%xmm1
movd   %edx,%xmm2
punpckldq %xmm2,%xmm1
movd   %esi,%xmm2
movd   %edi,%xmm3
punpckldq %xmm3,%xmm2
punpcklqdq %xmm1,%xmm2
pxor   %xmm0,%xmm2
movdqu %xmm2,(%rbx)
movaps (%rsp),%xmm0
movups %xmm0,0x10(%rbx)
add    $0x10,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define void @rrr_enc_dec_round(i32* %0, i32* %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
%8 = alloca [4 x i32]
%9 = alloca i32
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32 %2, i32* %6
store i32 0, i32* %7
br label %10
10: ; preds = %22, %3
%11 = load i32, i32* %7
%12 = icmp slt i32 %11, 4
br i1 %12, label %13, label %25
13: ; preds = %10
%14 = load i32*, i32** %4
%15 = load i32, i32* %7
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i32, i32* %14, i64 %16
%18 = load i32, i32* %17
%19 = load i32, i32* %7
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 %20
store i32 %18, i32* %21
br label %22
22: ; preds = %13
%23 = load i32, i32* %7
%24 = add nsw i32 %23, 1
store i32 %24, i32* %7
br label %10
25: ; preds = %10
%26 = load i32*, i32** %4
%27 = getelementptr inbounds i32, i32* %26, i64 3
%28 = load i32, i32* %27
store i32 %28, i32* %9
%29 = load i32*, i32** %4
%30 = getelementptr inbounds i32, i32* %29, i64 2
%31 = load i32, i32* %30
%32 = load i32*, i32** %4
%33 = getelementptr inbounds i32, i32* %32, i64 3
%34 = load i32, i32* %33
%35 = and i32 %34, %31
store i32 %35, i32* %33
%36 = load i32*, i32** %4
%37 = getelementptr inbounds i32, i32* %36, i64 1
%38 = load i32, i32* %37
%39 = load i32*, i32** %4
%40 = getelementptr inbounds i32, i32* %39, i64 3
%41 = load i32, i32* %40
%42 = xor i32 %41, %38
store i32 %42, i32* %40
%43 = load i32*, i32** %4
%44 = getelementptr inbounds i32, i32* %43, i64 2
%45 = load i32, i32* %44
%46 = load i32*, i32** %4
%47 = getelementptr inbounds i32, i32* %46, i64 1
%48 = load i32, i32* %47
%49 = or i32 %48, %45
store i32 %49, i32* %47
%50 = load i32*, i32** %4
%51 = getelementptr inbounds i32, i32* %50, i64 0
%52 = load i32, i32* %51
%53 = load i32*, i32** %4
%54 = getelementptr inbounds i32, i32* %53, i64 1
%55 = load i32, i32* %54
%56 = xor i32 %55, %52
store i32 %56, i32* %54
%57 = load i32*, i32** %4
%58 = getelementptr inbounds i32, i32* %57, i64 3
%59 = load i32, i32* %58
%60 = load i32*, i32** %4
%61 = getelementptr inbounds i32, i32* %60, i64 0
%62 = load i32, i32* %61
%63 = and i32 %62, %59
store i32 %63, i32* %61
%64 = load i32, i32* %9
%65 = load i32*, i32** %4
%66 = getelementptr inbounds i32, i32* %65, i64 0
%67 = load i32, i32* %66
%68 = xor i32 %67, %64
store i32 %68, i32* %66
%69 = load i32*, i32** %4
%70 = getelementptr inbounds i32, i32* %69, i64 1
%71 = load i32, i32* %70
%72 = load i32, i32* %9
%73 = and i32 %72, %71
store i32 %73, i32* %9
%74 = load i32, i32* %9
%75 = load i32*, i32** %4
%76 = getelementptr inbounds i32, i32* %75, i64 2
%77 = load i32, i32* %76
%78 = xor i32 %77, %74
store i32 %78, i32* %76
store i32 0, i32* %7
br label %79
79: ; preds = %125, %25
%80 = load i32, i32* %7
%81 = icmp slt i32 %80, 4
br i1 %81, label %82, label %128
82: ; preds = %79
%83 = load i32*, i32** %4
%84 = load i32, i32* %7
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i32, i32* %83, i64 %85
%87 = load i32, i32* %86
store i32 %87, i32* %9
%88 = load i32, i32* %9
%89 = shl i32 %88, 1
%90 = load i32, i32* %9
%91 = ashr i32 %90, 7
%92 = or i32 %89, %91
store i32 %92, i32* %9
%93 = load i32*, i32** %4
%94 = load i32, i32* %7
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i32, i32* %93, i64 %95
%97 = load i32, i32* %96
%98 = load i32, i32* %9
%99 = xor i32 %98, %97
store i32 %99, i32* %9
%100 = load i32, i32* %9
%101 = shl i32 %100, 1
%102 = load i32, i32* %9
%103 = ashr i32 %102, 7
%104 = or i32 %101, %103
store i32 %104, i32* %9
%105 = load i32, i32* %9
%106 = load i32*, i32** %4
%107 = load i32, i32* %7
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i32, i32* %106, i64 %108
%110 = load i32, i32* %109
%111 = xor i32 %110, %105
store i32 %111, i32* %109
%112 = load i32*, i32** %5
%113 = load i32, i32* %7
%114 = add nsw i32 0, %113
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds i32, i32* %112, i64 %115
%117 = load i32, i32* %116
%118 = call i32 @READ_ROUND_KEY_BYTE(i32 %117)
%119 = load i32*, i32** %4
%120 = load i32, i32* %7
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds i32, i32* %119, i64 %121
%123 = load i32, i32* %122
%124 = xor i32 %123, %118
store i32 %124, i32* %122
br label %125
125: ; preds = %82
%126 = load i32, i32* %7
%127 = add nsw i32 %126, 1
store i32 %127, i32* %7
br label %79
128: ; preds = %79
%129 = load i32*, i32** %4
%130 = getelementptr inbounds i32, i32* %129, i64 3
%131 = load i32, i32* %130
store i32 %131, i32* %9
%132 = load i32*, i32** %4
%133 = getelementptr inbounds i32, i32* %132, i64 2
%134 = load i32, i32* %133
%135 = load i32*, i32** %4
%136 = getelementptr inbounds i32, i32* %135, i64 3
%137 = load i32, i32* %136
%138 = and i32 %137, %134
store i32 %138, i32* %136
%139 = load i32*, i32** %4
%140 = getelementptr inbounds i32, i32* %139, i64 1
%141 = load i32, i32* %140
%142 = load i32*, i32** %4
%143 = getelementptr inbounds i32, i32* %142, i64 3
%144 = load i32, i32* %143
%145 = xor i32 %144, %141
store i32 %145, i32* %143
%146 = load i32*, i32** %4
%147 = getelementptr inbounds i32, i32* %146, i64 2
%148 = load i32, i32* %147
%149 = load i32*, i32** %4
%150 = getelementptr inbounds i32, i32* %149, i64 1
%151 = load i32, i32* %150
%152 = or i32 %151, %148
store i32 %152, i32* %150
%153 = load i32*, i32** %4
%154 = getelementptr inbounds i32, i32* %153, i64 0
%155 = load i32, i32* %154
%156 = load i32*, i32** %4
%157 = getelementptr inbounds i32, i32* %156, i64 1
%158 = load i32, i32* %157
%159 = xor i32 %158, %155
store i32 %159, i32* %157
%160 = load i32*, i32** %4
%161 = getelementptr inbounds i32, i32* %160, i64 3
%162 = load i32, i32* %161
%163 = load i32*, i32** %4
%164 = getelementptr inbounds i32, i32* %163, i64 0
%165 = load i32, i32* %164
%166 = and i32 %165, %162
store i32 %166, i32* %164
%167 = load i32, i32* %9
%168 = load i32*, i32** %4
%169 = getelementptr inbounds i32, i32* %168, i64 0
%170 = load i32, i32* %169
%171 = xor i32 %170, %167
store i32 %171, i32* %169
%172 = load i32*, i32** %4
%173 = getelementptr inbounds i32, i32* %172, i64 1
%174 = load i32, i32* %173
%175 = load i32, i32* %9
%176 = and i32 %175, %174
store i32 %176, i32* %9
%177 = load i32, i32* %9
%178 = load i32*, i32** %4
%179 = getelementptr inbounds i32, i32* %178, i64 2
%180 = load i32, i32* %179
%181 = xor i32 %180, %177
store i32 %181, i32* %179
store i32 0, i32* %7
br label %182
182: ; preds = %228, %128
%183 = load i32, i32* %7
%184 = icmp slt i32 %183, 4
br i1 %184, label %185, label %231
185: ; preds = %182
%186 = load i32*, i32** %4
%187 = load i32, i32* %7
%188 = sext i32 %187 to i64
%189 = getelementptr inbounds i32, i32* %186, i64 %188
%190 = load i32, i32* %189
store i32 %190, i32* %9
%191 = load i32, i32* %9
%192 = shl i32 %191, 1
%193 = load i32, i32* %9
%194 = ashr i32 %193, 7
%195 = or i32 %192, %194
store i32 %195, i32* %9
%196 = load i32*, i32** %4
%197 = load i32, i32* %7
%198 = sext i32 %197 to i64
%199 = getelementptr inbounds i32, i32* %196, i64 %198
%200 = load i32, i32* %199
%201 = load i32, i32* %9
%202 = xor i32 %201, %200
store i32 %202, i32* %9
%203 = load i32, i32* %9
%204 = shl i32 %203, 1
%205 = load i32, i32* %9
%206 = ashr i32 %205, 7
%207 = or i32 %204, %206
store i32 %207, i32* %9
%208 = load i32, i32* %9
%209 = load i32*, i32** %4
%210 = load i32, i32* %7
%211 = sext i32 %210 to i64
%212 = getelementptr inbounds i32, i32* %209, i64 %211
%213 = load i32, i32* %212
%214 = xor i32 %213, %208
store i32 %214, i32* %212
%215 = load i32*, i32** %5
%216 = load i32, i32* %7
%217 = add nsw i32 4, %216
%218 = sext i32 %217 to i64
%219 = getelementptr inbounds i32, i32* %215, i64 %218
%220 = load i32, i32* %219
%221 = call i32 @READ_ROUND_KEY_BYTE(i32 %220)
%222 = load i32*, i32** %4
%223 = load i32, i32* %7
%224 = sext i32 %223 to i64
%225 = getelementptr inbounds i32, i32* %222, i64 %224
%226 = load i32, i32* %225
%227 = xor i32 %226, %221
store i32 %227, i32* %225
br label %228
228: ; preds = %185
%229 = load i32, i32* %7
%230 = add nsw i32 %229, 1
store i32 %230, i32* %7
br label %182
231: ; preds = %182
%232 = load i32, i32* %6
%233 = load i32*, i32** %4
%234 = getelementptr inbounds i32, i32* %233, i64 3
%235 = load i32, i32* %234
%236 = xor i32 %235, %232
store i32 %236, i32* %234
%237 = load i32*, i32** %4
%238 = getelementptr inbounds i32, i32* %237, i64 3
%239 = load i32, i32* %238
store i32 %239, i32* %9
%240 = load i32*, i32** %4
%241 = getelementptr inbounds i32, i32* %240, i64 2
%242 = load i32, i32* %241
%243 = load i32*, i32** %4
%244 = getelementptr inbounds i32, i32* %243, i64 3
%245 = load i32, i32* %244
%246 = and i32 %245, %242
store i32 %246, i32* %244
%247 = load i32*, i32** %4
%248 = getelementptr inbounds i32, i32* %247, i64 1
%249 = load i32, i32* %248
%250 = load i32*, i32** %4
%251 = getelementptr inbounds i32, i32* %250, i64 3
%252 = load i32, i32* %251
%253 = xor i32 %252, %249
store i32 %253, i32* %251
%254 = load i32*, i32** %4
%255 = getelementptr inbounds i32, i32* %254, i64 2
%256 = load i32, i32* %255
%257 = load i32*, i32** %4
%258 = getelementptr inbounds i32, i32* %257, i64 1
%259 = load i32, i32* %258
%260 = or i32 %259, %256
store i32 %260, i32* %258
%261 = load i32*, i32** %4
%262 = getelementptr inbounds i32, i32* %261, i64 0
%263 = load i32, i32* %262
%264 = load i32*, i32** %4
%265 = getelementptr inbounds i32, i32* %264, i64 1
%266 = load i32, i32* %265
%267 = xor i32 %266, %263
store i32 %267, i32* %265
%268 = load i32*, i32** %4
%269 = getelementptr inbounds i32, i32* %268, i64 3
%270 = load i32, i32* %269
%271 = load i32*, i32** %4
%272 = getelementptr inbounds i32, i32* %271, i64 0
%273 = load i32, i32* %272
%274 = and i32 %273, %270
store i32 %274, i32* %272
%275 = load i32, i32* %9
%276 = load i32*, i32** %4
%277 = getelementptr inbounds i32, i32* %276, i64 0
%278 = load i32, i32* %277
%279 = xor i32 %278, %275
store i32 %279, i32* %277
%280 = load i32*, i32** %4
%281 = getelementptr inbounds i32, i32* %280, i64 1
%282 = load i32, i32* %281
%283 = load i32, i32* %9
%284 = and i32 %283, %282
store i32 %284, i32* %9
%285 = load i32, i32* %9
%286 = load i32*, i32** %4
%287 = getelementptr inbounds i32, i32* %286, i64 2
%288 = load i32, i32* %287
%289 = xor i32 %288, %285
store i32 %289, i32* %287
store i32 0, i32* %7
br label %290
290: ; preds = %336, %231
%291 = load i32, i32* %7
%292 = icmp slt i32 %291, 4
br i1 %292, label %293, label %339
293: ; preds = %290
%294 = load i32*, i32** %4
%295 = load i32, i32* %7
%296 = sext i32 %295 to i64
%297 = getelementptr inbounds i32, i32* %294, i64 %296
%298 = load i32, i32* %297
store i32 %298, i32* %9
%299 = load i32, i32* %9
%300 = shl i32 %299, 1
%301 = load i32, i32* %9
%302 = ashr i32 %301, 7
%303 = or i32 %300, %302
store i32 %303, i32* %9
%304 = load i32*, i32** %4
%305 = load i32, i32* %7
%306 = sext i32 %305 to i64
%307 = getelementptr inbounds i32, i32* %304, i64 %306
%308 = load i32, i32* %307
%309 = load i32, i32* %9
%310 = xor i32 %309, %308
store i32 %310, i32* %9
%311 = load i32, i32* %9
%312 = shl i32 %311, 1
%313 = load i32, i32* %9
%314 = ashr i32 %313, 7
%315 = or i32 %312, %314
store i32 %315, i32* %9
%316 = load i32, i32* %9
%317 = load i32*, i32** %4
%318 = load i32, i32* %7
%319 = sext i32 %318 to i64
%320 = getelementptr inbounds i32, i32* %317, i64 %319
%321 = load i32, i32* %320
%322 = xor i32 %321, %316
store i32 %322, i32* %320
%323 = load i32*, i32** %5
%324 = load i32, i32* %7
%325 = add nsw i32 8, %324
%326 = sext i32 %325 to i64
%327 = getelementptr inbounds i32, i32* %323, i64 %326
%328 = load i32, i32* %327
%329 = call i32 @READ_ROUND_KEY_BYTE(i32 %328)
%330 = load i32*, i32** %4
%331 = load i32, i32* %7
%332 = sext i32 %331 to i64
%333 = getelementptr inbounds i32, i32* %330, i64 %332
%334 = load i32, i32* %333
%335 = xor i32 %334, %329
store i32 %335, i32* %333
br label %336
336: ; preds = %293
%337 = load i32, i32* %7
%338 = add nsw i32 %337, 1
store i32 %338, i32* %7
br label %290
339: ; preds = %290
%340 = load i32*, i32** %4
%341 = getelementptr inbounds i32, i32* %340, i64 3
%342 = load i32, i32* %341
store i32 %342, i32* %9
%343 = load i32*, i32** %4
%344 = getelementptr inbounds i32, i32* %343, i64 2
%345 = load i32, i32* %344
%346 = load i32*, i32** %4
%347 = getelementptr inbounds i32, i32* %346, i64 3
%348 = load i32, i32* %347
%349 = and i32 %348, %345
store i32 %349, i32* %347
%350 = load i32*, i32** %4
%351 = getelementptr inbounds i32, i32* %350, i64 1
%352 = load i32, i32* %351
%353 = load i32*, i32** %4
%354 = getelementptr inbounds i32, i32* %353, i64 3
%355 = load i32, i32* %354
%356 = xor i32 %355, %352
store i32 %356, i32* %354
%357 = load i32*, i32** %4
%358 = getelementptr inbounds i32, i32* %357, i64 2
%359 = load i32, i32* %358
%360 = load i32*, i32** %4
%361 = getelementptr inbounds i32, i32* %360, i64 1
%362 = load i32, i32* %361
%363 = or i32 %362, %359
store i32 %363, i32* %361
%364 = load i32*, i32** %4
%365 = getelementptr inbounds i32, i32* %364, i64 0
%366 = load i32, i32* %365
%367 = load i32*, i32** %4
%368 = getelementptr inbounds i32, i32* %367, i64 1
%369 = load i32, i32* %368
%370 = xor i32 %369, %366
store i32 %370, i32* %368
%371 = load i32*, i32** %4
%372 = getelementptr inbounds i32, i32* %371, i64 3
%373 = load i32, i32* %372
%374 = load i32*, i32** %4
%375 = getelementptr inbounds i32, i32* %374, i64 0
%376 = load i32, i32* %375
%377 = and i32 %376, %373
store i32 %377, i32* %375
%378 = load i32, i32* %9
%379 = load i32*, i32** %4
%380 = getelementptr inbounds i32, i32* %379, i64 0
%381 = load i32, i32* %380
%382 = xor i32 %381, %378
store i32 %382, i32* %380
%383 = load i32*, i32** %4
%384 = getelementptr inbounds i32, i32* %383, i64 1
%385 = load i32, i32* %384
%386 = load i32, i32* %9
%387 = and i32 %386, %385
store i32 %387, i32* %9
%388 = load i32, i32* %9
%389 = load i32*, i32** %4
%390 = getelementptr inbounds i32, i32* %389, i64 2
%391 = load i32, i32* %390
%392 = xor i32 %391, %388
store i32 %392, i32* %390
store i32 0, i32* %7
br label %393
393: ; preds = %409, %339
%394 = load i32, i32* %7
%395 = icmp slt i32 %394, 4
br i1 %395, label %396, label %412
396: ; preds = %393
%397 = load i32*, i32** %4
%398 = load i32, i32* %7
%399 = add nsw i32 %398, 4
%400 = sext i32 %399 to i64
%401 = getelementptr inbounds i32, i32* %397, i64 %400
%402 = load i32, i32* %401
%403 = load i32*, i32** %4
%404 = load i32, i32* %7
%405 = sext i32 %404 to i64
%406 = getelementptr inbounds i32, i32* %403, i64 %405
%407 = load i32, i32* %406
%408 = xor i32 %407, %402
store i32 %408, i32* %406
br label %409
409: ; preds = %396
%410 = load i32, i32* %7
%411 = add nsw i32 %410, 1
store i32 %411, i32* %7
br label %393
412: ; preds = %393
store i32 0, i32* %7
br label %413
413: ; preds = %426, %412
%414 = load i32, i32* %7
%415 = icmp slt i32 %414, 4
br i1 %415, label %416, label %429
416: ; preds = %413
%417 = load i32, i32* %7
%418 = sext i32 %417 to i64
%419 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 %418
%420 = load i32, i32* %419
%421 = load i32*, i32** %4
%422 = load i32, i32* %7
%423 = add nsw i32 %422, 4
%424 = sext i32 %423 to i64
%425 = getelementptr inbounds i32, i32* %421, i64 %424
store i32 %420, i32* %425
br label %426
426: ; preds = %416
%427 = load i32, i32* %7
%428 = add nsw i32 %427, 1
store i32 %428, i32* %7
br label %413
429: ; preds = %413
ret void
}

LLVM IR (-O2):
define void @rrr_enc_dec_round(i32* nocapture %0, i32* nocapture %1, i32 %2) {
%4 = bitcast i32* %0 to i8*
%5 = alloca [4 x i32]
%6 = bitcast [4 x i32]* %5 to i8*
%7 = getelementptr inbounds i32, i32* %0, i64 3
%8 = load i32, i32* %7
%9 = getelementptr inbounds i32, i32* %0, i64 2
%10 = load i32, i32* %9
%11 = and i32 %10, %8
%12 = getelementptr inbounds i32, i32* %0, i64 1
%13 = load i32, i32* %12
%14 = xor i32 %13, %11
store i32 %14, i32* %7
%15 = or i32 %13, %10
%16 = load i32, i32* %0
%17 = xor i32 %16, %15
store i32 %17, i32* %12
%18 = and i32 %16, %14
%19 = xor i32 %18, %8
%20 = and i32 %17, %8
%21 = xor i32 %20, %10
store i32 %21, i32* %9
%22 = shl i32 %19, 1
%23 = ashr i32 %19, 7
%24 = or i32 %22, %23
%25 = xor i32 %24, %19
%26 = shl i32 %25, 1
%27 = ashr i32 %25, 7
%28 = or i32 %26, %27
%29 = xor i32 %28, %19
store i32 %29, i32* %0
%30 = load i32, i32* %1
%31 = tail call i32 @READ_ROUND_KEY_BYTE(i32 %30)
%32 = load i32, i32* %0
%33 = xor i32 %32, %31
store i32 %33, i32* %0
%34 = load i32, i32* %12
%35 = shl i32 %34, 1
%36 = ashr i32 %34, 7
%37 = or i32 %35, %36
%38 = xor i32 %37, %34
%39 = shl i32 %38, 1
%40 = ashr i32 %38, 7
%41 = or i32 %39, %40
%42 = xor i32 %41, %34
store i32 %42, i32* %12
%43 = getelementptr inbounds i32, i32* %1, i64 1
%44 = load i32, i32* %43
%45 = tail call i32 @READ_ROUND_KEY_BYTE(i32 %44)
%46 = load i32, i32* %12
%47 = xor i32 %46, %45
store i32 %47, i32* %12
%48 = load i32, i32* %9
%49 = shl i32 %48, 1
%50 = ashr i32 %48, 7
%51 = or i32 %49, %50
%52 = xor i32 %51, %48
%53 = shl i32 %52, 1
%54 = ashr i32 %52, 7
%55 = or i32 %53, %54
%56 = xor i32 %55, %48
store i32 %56, i32* %9
%57 = getelementptr inbounds i32, i32* %1, i64 2
%58 = load i32, i32* %57
%59 = tail call i32 @READ_ROUND_KEY_BYTE(i32 %58)
%60 = load i32, i32* %9
%61 = xor i32 %60, %59
store i32 %61, i32* %9
%62 = load i32, i32* %7
%63 = shl i32 %62, 1
%64 = ashr i32 %62, 7
%65 = or i32 %63, %64
%66 = xor i32 %65, %62
%67 = shl i32 %66, 1
%68 = ashr i32 %66, 7
%69 = or i32 %67, %68
%70 = xor i32 %69, %62
store i32 %70, i32* %7
%71 = getelementptr inbounds i32, i32* %1, i64 3
%72 = load i32, i32* %71
%73 = tail call i32 @READ_ROUND_KEY_BYTE(i32 %72)
%74 = load i32, i32* %7
%75 = xor i32 %74, %73
%76 = load i32, i32* %9
%77 = and i32 %76, %75
%78 = load i32, i32* %12
%79 = xor i32 %78, %77
store i32 %79, i32* %7
%80 = or i32 %78, %76
%81 = load i32, i32* %0
%82 = xor i32 %81, %80
store i32 %82, i32* %12
%83 = and i32 %81, %79
%84 = xor i32 %83, %75
%85 = and i32 %82, %75
%86 = xor i32 %85, %76
store i32 %86, i32* %9
%87 = shl i32 %84, 1
%88 = ashr i32 %84, 7
%89 = or i32 %87, %88
%90 = xor i32 %89, %84
%91 = shl i32 %90, 1
%92 = ashr i32 %90, 7
%93 = or i32 %91, %92
%94 = xor i32 %93, %84
store i32 %94, i32* %0
%95 = getelementptr inbounds i32, i32* %1, i64 4
%96 = load i32, i32* %95
%97 = tail call i32 @READ_ROUND_KEY_BYTE(i32 %96)
%98 = load i32, i32* %0
%99 = xor i32 %98, %97
store i32 %99, i32* %0
%100 = load i32, i32* %12
%101 = shl i32 %100, 1
%102 = ashr i32 %100, 7
%103 = or i32 %101, %102
%104 = xor i32 %103, %100
%105 = shl i32 %104, 1
%106 = ashr i32 %104, 7
%107 = or i32 %105, %106
%108 = xor i32 %107, %100
store i32 %108, i32* %12
%109 = getelementptr inbounds i32, i32* %1, i64 5
%110 = load i32, i32* %109
%111 = tail call i32 @READ_ROUND_KEY_BYTE(i32 %110)
%112 = load i32, i32* %12
%113 = xor i32 %112, %111
store i32 %113, i32* %12
%114 = load i32, i32* %9
%115 = shl i32 %114, 1
%116 = ashr i32 %114, 7
%117 = or i32 %115, %116
%118 = xor i32 %117, %114
%119 = shl i32 %118, 1
%120 = ashr i32 %118, 7
%121 = or i32 %119, %120
%122 = xor i32 %121, %114
store i32 %122, i32* %9
%123 = getelementptr inbounds i32, i32* %1, i64 6
%124 = load i32, i32* %123
%125 = tail call i32 @READ_ROUND_KEY_BYTE(i32 %124)
%126 = load i32, i32* %9
%127 = xor i32 %126, %125
store i32 %127, i32* %9
%128 = load i32, i32* %7
%129 = shl i32 %128, 1
%130 = ashr i32 %128, 7
%131 = or i32 %129, %130
%132 = xor i32 %131, %128
%133 = shl i32 %132, 1
%134 = ashr i32 %132, 7
%135 = or i32 %133, %134
%136 = xor i32 %135, %128
store i32 %136, i32* %7
%137 = getelementptr inbounds i32, i32* %1, i64 7
%138 = load i32, i32* %137
%139 = tail call i32 @READ_ROUND_KEY_BYTE(i32 %138)
%140 = load i32, i32* %7
%141 = xor i32 %140, %139
%142 = xor i32 %141, %2
%143 = load i32, i32* %9
%144 = and i32 %143, %142
%145 = load i32, i32* %12
%146 = xor i32 %145, %144
store i32 %146, i32* %7
%147 = or i32 %145, %143
%148 = load i32, i32* %0
%149 = xor i32 %148, %147
store i32 %149, i32* %12
%150 = and i32 %148, %146
%151 = xor i32 %150, %142
%152 = and i32 %149, %142
%153 = xor i32 %152, %143
store i32 %153, i32* %9
%154 = shl i32 %151, 1
%155 = ashr i32 %151, 7
%156 = or i32 %154, %155
%157 = xor i32 %156, %151
%158 = shl i32 %157, 1
%159 = ashr i32 %157, 7
%160 = or i32 %158, %159
%161 = xor i32 %160, %151
store i32 %161, i32* %0
%162 = getelementptr inbounds i32, i32* %1, i64 8
%163 = load i32, i32* %162
%164 = tail call i32 @READ_ROUND_KEY_BYTE(i32 %163)
%165 = load i32, i32* %0
%166 = xor i32 %165, %164
store i32 %166, i32* %0
%167 = load i32, i32* %12
%168 = shl i32 %167, 1
%169 = ashr i32 %167, 7
%170 = or i32 %168, %169
%171 = xor i32 %170, %167
%172 = shl i32 %171, 1
%173 = ashr i32 %171, 7
%174 = or i32 %172, %173
%175 = xor i32 %174, %167
store i32 %175, i32* %12
%176 = getelementptr inbounds i32, i32* %1, i64 9
%177 = load i32, i32* %176
%178 = tail call i32 @READ_ROUND_KEY_BYTE(i32 %177)
%179 = load i32, i32* %12
%180 = xor i32 %179, %178
store i32 %180, i32* %12
%181 = load i32, i32* %9
%182 = shl i32 %181, 1
%183 = ashr i32 %181, 7
%184 = or i32 %182, %183
%185 = xor i32 %184, %181
%186 = shl i32 %185, 1
%187 = ashr i32 %185, 7
%188 = or i32 %186, %187
%189 = xor i32 %188, %181
store i32 %189, i32* %9
%190 = getelementptr inbounds i32, i32* %1, i64 10
%191 = load i32, i32* %190
%192 = tail call i32 @READ_ROUND_KEY_BYTE(i32 %191)
%193 = load i32, i32* %9
%194 = xor i32 %193, %192
store i32 %194, i32* %9
%195 = load i32, i32* %7
%196 = shl i32 %195, 1
%197 = ashr i32 %195, 7
%198 = or i32 %196, %197
%199 = xor i32 %198, %195
%200 = shl i32 %199, 1
%201 = ashr i32 %199, 7
%202 = or i32 %200, %201
%203 = xor i32 %202, %195
store i32 %203, i32* %7
%204 = getelementptr inbounds i32, i32* %1, i64 11
%205 = load i32, i32* %204
%206 = tail call i32 @READ_ROUND_KEY_BYTE(i32 %205)
%207 = load i32, i32* %7
%208 = xor i32 %207, %206
%209 = load i32, i32* %9
%210 = and i32 %209, %208
%211 = load i32, i32* %12
%212 = xor i32 %211, %210
%213 = or i32 %211, %209
%214 = load i32, i32* %0
%215 = xor i32 %214, %213
%216 = and i32 %214, %212
%217 = xor i32 %216, %208
%218 = and i32 %215, %208
%219 = xor i32 %218, %209
%220 = getelementptr i32, i32* %0, i64 4
%221 = bitcast i32* %220 to <4 x i32>*
%222 = load <4 x i32>, <4 x i32>* %221
%223 = insertelement <4 x i32> poison, i32 %217, i64 0
%224 = insertelement <4 x i32> %223, i32 %215, i64 1
%225 = insertelement <4 x i32> %224, i32 %219, i64 2
%226 = insertelement <4 x i32> %225, i32 %212, i64 3
%227 = xor <4 x i32> %226, %222
%228 = bitcast i32* %0 to <4 x i32>*
store <4 x i32> %227, <4 x i32>* %228
%229 = bitcast i32* %220 to i8*
ret void
}