#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 uint32_t;

/* Variables and functions */
int /*<<< orphan*/ roundAESkeyfirst(int *, int *, int *);
void MessageExpansion512(uint32_t rk[(14 * 4 * (4) * 3)], uint32_t salt[16],
                         uint32_t counter[4]) {
  int i, j, k;
  uint32_t input[4], output[4];
  for (k = 0; k < 7; k++) {
    for (i = 32 + 64 * k; i < 64 + 64 * k;) {
      input[0] = rk[i - 31];
      input[1] = rk[i - 30];
      input[2] = rk[i - 29];
      input[3] = rk[i - 32];
      roundAESkeyfirst(input, output, salt);
      for (j = 0; j < 4; j++)
        rk[i + j] = output[j] ^ rk[i + j - 4];
      if (i == 32) {
        rk[32] ^= counter[0];
        rk[33] ^= counter[1];
        rk[34] ^= counter[2];
        rk[35] ^= counter[3];
      }
      i += 4;
      input[0] = rk[i - 31];
      input[1] = rk[i - 30];
      input[2] = rk[i - 29];
      input[3] = rk[i - 32];
      roundAESkeyfirst(input, output, salt + 4);
      for (j = 0; j < 4; j++)
        rk[i + j] = output[j] ^ rk[i + j - 4];
      if (i == 164) {
        rk[164] ^= counter[3];
        rk[165] ^= counter[2];
        rk[166] ^= counter[1];
        rk[167] ^= counter[0];
      }
      i += 4;
      input[0] = rk[i - 31];
      input[1] = rk[i - 30];
      input[2] = rk[i - 29];
      input[3] = rk[i - 32];
      roundAESkeyfirst(input, output, salt + 8);
      for (j = 0; j < 4; j++)
        rk[i + j] = output[j] ^ rk[i + j - 4];
      if (i == 440) {
        rk[440] ^= counter[1];
        rk[441] ^= counter[0];
        rk[442] ^= counter[3];
        rk[443] ^= counter[2];
      }
      i += 4;
      input[0] = rk[i - 31];
      input[1] = rk[i - 30];
      input[2] = rk[i - 29];
      input[3] = rk[i - 32];
      roundAESkeyfirst(input, output, salt + 12);
      for (j = 0; j < 4; j++)
        rk[i + j] = output[j] ^ rk[i + j - 4];
      if (i == 316) {
        rk[316] ^= counter[2];
        rk[317] ^= counter[3];
        rk[318] ^= counter[0];
        rk[319] ^= counter[1];
      }
      i += 4;
    }
    if (k != 6)
      for (i = 64 + 64 * k; i < 96 + 64 * k; i++)
        rk[i] = rk[i - 32] ^ rk[i - 7];
  }
  return;
}


x86 assembly (clang, -O0):
<MessageExpansion512>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x7,-0x24(%rbp)
jge    163e <MessageExpansion512+0x52e>
mov    -0x24(%rbp),%eax
shl    $0x6,%eax
add    $0x20,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x24(%rbp),%ecx
shl    $0x6,%ecx
add    $0x40,%ecx
cmp    %ecx,%eax
jge    15c3 <MessageExpansion512+0x4b3>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1f,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1e,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1d,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x20,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
lea    -0x40(%rbp),%rdi
lea    -0x50(%rbp),%rsi
mov    -0x10(%rbp),%rdx
call   1030 <roundAESkeyfirst@plt>
movl   $0x0,-0x20(%rbp)
cmpl   $0x4,-0x20(%rbp)
jge    11fc <MessageExpansion512+0xec>
movslq -0x20(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
sub    $0x4,%ecx
movslq %ecx,%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11b9 <MessageExpansion512+0xa9>
cmpl   $0x20,-0x1c(%rbp)
jne    1261 <MessageExpansion512+0x151>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x80(%rax),%ecx
mov    %ecx,0x80(%rax)
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x84(%rax),%ecx
mov    %ecx,0x84(%rax)
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x88(%rax),%ecx
mov    %ecx,0x88(%rax)
mov    -0x18(%rbp),%rax
mov    0xc(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x8c(%rax),%ecx
mov    %ecx,0x8c(%rax)
mov    -0x1c(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1f,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1e,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1d,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x20,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
lea    -0x40(%rbp),%rdi
lea    -0x50(%rbp),%rsi
mov    -0x10(%rbp),%rdx
add    $0x10,%rdx
call   1030 <roundAESkeyfirst@plt>
movl   $0x0,-0x20(%rbp)
cmpl   $0x4,-0x20(%rbp)
jge    1315 <MessageExpansion512+0x205>
movslq -0x20(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
sub    $0x4,%ecx
movslq %ecx,%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12d2 <MessageExpansion512+0x1c2>
cmpl   $0xa4,-0x1c(%rbp)
jne    137d <MessageExpansion512+0x26d>
mov    -0x18(%rbp),%rax
mov    0xc(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x290(%rax),%ecx
mov    %ecx,0x290(%rax)
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x294(%rax),%ecx
mov    %ecx,0x294(%rax)
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x298(%rax),%ecx
mov    %ecx,0x298(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x29c(%rax),%ecx
mov    %ecx,0x29c(%rax)
mov    -0x1c(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1f,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1e,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1d,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x20,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
lea    -0x40(%rbp),%rdi
lea    -0x50(%rbp),%rsi
mov    -0x10(%rbp),%rdx
add    $0x20,%rdx
call   1030 <roundAESkeyfirst@plt>
movl   $0x0,-0x20(%rbp)
cmpl   $0x4,-0x20(%rbp)
jge    1431 <MessageExpansion512+0x321>
movslq -0x20(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
sub    $0x4,%ecx
movslq %ecx,%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    13ee <MessageExpansion512+0x2de>
cmpl   $0x1b8,-0x1c(%rbp)
jne    1499 <MessageExpansion512+0x389>
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x6e0(%rax),%ecx
mov    %ecx,0x6e0(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x6e4(%rax),%ecx
mov    %ecx,0x6e4(%rax)
mov    -0x18(%rbp),%rax
mov    0xc(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x6e8(%rax),%ecx
mov    %ecx,0x6e8(%rax)
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x6ec(%rax),%ecx
mov    %ecx,0x6ec(%rax)
mov    -0x1c(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1f,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1e,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1d,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x20,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
lea    -0x40(%rbp),%rdi
lea    -0x50(%rbp),%rsi
mov    -0x10(%rbp),%rdx
add    $0x30,%rdx
call   1030 <roundAESkeyfirst@plt>
movl   $0x0,-0x20(%rbp)
cmpl   $0x4,-0x20(%rbp)
jge    154d <MessageExpansion512+0x43d>
movslq -0x20(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
sub    $0x4,%ecx
movslq %ecx,%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    150a <MessageExpansion512+0x3fa>
cmpl   $0x13c,-0x1c(%rbp)
jne    15b5 <MessageExpansion512+0x4a5>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x4f0(%rax),%ecx
mov    %ecx,0x4f0(%rax)
mov    -0x18(%rbp),%rax
mov    0xc(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x4f4(%rax),%ecx
mov    %ecx,0x4f4(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x4f8(%rax),%ecx
mov    %ecx,0x4f8(%rax)
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x4fc(%rax),%ecx
mov    %ecx,0x4fc(%rax)
mov    -0x1c(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x1c(%rbp)
jmp    1141 <MessageExpansion512+0x31>
cmpl   $0x6,-0x24(%rbp)
je     162b <MessageExpansion512+0x51b>
mov    -0x24(%rbp),%eax
shl    $0x6,%eax
add    $0x40,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x24(%rbp),%ecx
shl    $0x6,%ecx
add    $0x60,%ecx
cmp    %ecx,%eax
jge    1626 <MessageExpansion512+0x516>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x20,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x7,%ecx
movslq %ecx,%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    15d9 <MessageExpansion512+0x4c9>
jmp    162b <MessageExpansion512+0x51b>
jmp    1630 <MessageExpansion512+0x520>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    112b <MessageExpansion512+0x1b>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<MessageExpansion512>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x88,%rsp
mov    %rdx,0x8(%rsp)
mov    %rdi,%r13
lea    0x10(%rsi),%rax
mov    %rax,0x70(%rsp)
lea    0x20(%rsi),%rax
mov    %rax,0x68(%rsp)
mov    %rsi,0x78(%rsp)
lea    0x30(%rsi),%rax
mov    %rax,0x60(%rsp)
lea    0x104(%rdi),%rax
mov    %rax,0x28(%rsp)
mov    $0x20,%r12d
xor    %ebp,%ebp
lea    0x10(%rsp),%r15
lea    0x30(%rsp),%rbx
xor    %edi,%edi
nopl   0x0(%rax)
mov    %rdi,0x48(%rsp)
shl    $0x6,%rdi
add    $0x40,%rdi
mov    %rdi,0x80(%rsp)
mov    %rbp,0x50(%rsp)
mov    %r12,0x58(%rsp)
jmp    11be <MessageExpansion512+0xae>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x10,%r12
add    $0x40,%rbp
cmp    0x80(%rsp),%r12
mov    %r15,%rbx
lea    0x10(%rsp),%r15
jae    13a0 <MessageExpansion512+0x290>
movdqu 0x0(%r13,%rbp,1),%xmm0
pshufd $0x39,%xmm0,%xmm0
movdqa %xmm0,0x10(%rsp)
mov    %r15,%rdi
mov    %rbx,%rsi
mov    0x78(%rsp),%rdx
call   1030 <roundAESkeyfirst@plt>
movups 0x70(%r13,%rbp,1),%xmm0
xorps  0x30(%rsp),%xmm0
movups %xmm0,0x80(%r13,%rbp,1)
test   %rbp,%rbp
jne    1225 <MessageExpansion512+0x115>
mov    0x8(%rsp),%rcx
mov    (%rcx),%eax
xor    %eax,0x80(%r13)
mov    0x4(%rcx),%eax
xor    %eax,0x84(%r13)
mov    0x8(%rcx),%eax
xor    %eax,0x88(%r13)
mov    0xc(%rcx),%eax
xor    %eax,0x8c(%r13)
mov    %r12,%r14
or     $0x4,%r14
movdqu 0x10(%r13,%rbp,1),%xmm0
pshufd $0x39,%xmm0,%xmm0
movdqa %xmm0,0x10(%rsp)
mov    %r15,%rdi
mov    %rbx,%rsi
mov    0x70(%rsp),%rdx
call   1030 <roundAESkeyfirst@plt>
movups 0x80(%r13,%rbp,1),%xmm0
xorps  0x30(%rsp),%xmm0
movups %xmm0,0x90(%r13,%rbp,1)
cmp    $0xa4,%r14
mov    %rbx,%r14
jne    129d <MessageExpansion512+0x18d>
mov    0x8(%rsp),%rcx
mov    0xc(%rcx),%eax
xor    %eax,0x290(%r13)
mov    0x8(%rcx),%eax
xor    %eax,0x294(%r13)
mov    0x4(%rcx),%eax
xor    %eax,0x298(%r13)
mov    (%rcx),%eax
xor    %eax,0x29c(%r13)
mov    %r12,%rbx
or     $0x8,%rbx
movdqu 0x20(%r13,%rbp,1),%xmm0
pshufd $0x39,%xmm0,%xmm0
movdqa %xmm0,0x10(%rsp)
mov    %r15,%rdi
mov    %r14,%rsi
mov    0x68(%rsp),%rdx
call   1030 <roundAESkeyfirst@plt>
movups 0x90(%r13,%rbp,1),%xmm0
xorps  0x30(%rsp),%xmm0
movups %xmm0,0xa0(%r13,%rbp,1)
cmp    $0x1b8,%rbx
jne    1312 <MessageExpansion512+0x202>
mov    0x8(%rsp),%rcx
mov    0x4(%rcx),%eax
xor    %eax,0x6e0(%r13)
mov    (%rcx),%eax
xor    %eax,0x6e4(%r13)
mov    0xc(%rcx),%eax
xor    %eax,0x6e8(%r13)
mov    0x8(%rcx),%eax
xor    %eax,0x6ec(%r13)
mov    %r12,%rbx
or     $0xc,%rbx
movdqu 0x30(%r13,%rbp,1),%xmm0
pshufd $0x39,%xmm0,%xmm0
movdqa %xmm0,0x10(%rsp)
mov    %r15,%rdi
mov    %r14,%r15
mov    %r14,%rsi
mov    0x60(%rsp),%rdx
call   1030 <roundAESkeyfirst@plt>
movups 0xa0(%r13,%rbp,1),%xmm0
xorps  0x30(%rsp),%xmm0
movups %xmm0,0xb0(%r13,%rbp,1)
cmp    $0x13c,%rbx
jne    11a0 <MessageExpansion512+0x90>
mov    0x8(%rsp),%rcx
mov    0x8(%rcx),%eax
xor    %eax,0x4f0(%r13)
mov    0xc(%rcx),%eax
xor    %eax,0x4f4(%r13)
mov    (%rcx),%eax
xor    %eax,0x4f8(%r13)
mov    0x4(%rcx),%eax
xor    %eax,0x4fc(%r13)
jmp    11a0 <MessageExpansion512+0x90>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    0x48(%rsp),%rdi
cmp    $0x6,%rdi
mov    0x58(%rsp),%r12
mov    0x50(%rsp),%rbp
je     1415 <MessageExpansion512+0x305>
mov    $0xffffffffffffffe0,%rax
mov    0x28(%rsp),%rsi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x60(%rsi,%rax,4),%ecx
mov    0x64(%rsi,%rax,4),%edx
xor    -0x4(%rsi,%rax,4),%ecx
mov    %ecx,0x7c(%rsi,%rax,4)
xor    (%rsi,%rax,4),%edx
mov    %edx,0x80(%rsi,%rax,4)
add    $0x2,%rax
jne    13d0 <MessageExpansion512+0x2c0>
add    $0x1,%rdi
add    $0x40,%r12
add    $0x100,%rbp
add    $0x100,%rsi
mov    %rsi,0x28(%rsp)
cmp    $0x7,%rdi
jne    1170 <MessageExpansion512+0x60>
add    $0x88,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @MessageExpansion512(i32* %0, i32* %1, i32* nocapture %2) {
%4 = alloca <4 x i32>
%5 = alloca <4 x i32>
%6 = bitcast <4 x i32>* %4 to i8*
%7 = bitcast <4 x i32>* %5 to i8*
%8 = getelementptr inbounds <4 x i32>, <4 x i32>* %4, i64 0, i64 0
%9 = getelementptr inbounds <4 x i32>, <4 x i32>* %5, i64 0, i64 0
%10 = getelementptr inbounds i32, i32* %0, i64 32
%11 = getelementptr inbounds i32, i32* %2, i64 1
%12 = getelementptr inbounds i32, i32* %0, i64 33
%13 = getelementptr inbounds i32, i32* %2, i64 2
%14 = getelementptr inbounds i32, i32* %0, i64 34
%15 = getelementptr inbounds i32, i32* %2, i64 3
%16 = getelementptr inbounds i32, i32* %0, i64 35
%17 = getelementptr inbounds i32, i32* %1, i64 4
%18 = getelementptr inbounds i32, i32* %0, i64 164
%19 = getelementptr inbounds i32, i32* %0, i64 165
%20 = getelementptr inbounds i32, i32* %0, i64 166
%21 = getelementptr inbounds i32, i32* %0, i64 167
%22 = getelementptr inbounds i32, i32* %1, i64 8
%23 = getelementptr inbounds i32, i32* %0, i64 440
%24 = getelementptr inbounds i32, i32* %0, i64 441
%25 = getelementptr inbounds i32, i32* %0, i64 442
%26 = getelementptr inbounds i32, i32* %0, i64 443
%27 = getelementptr inbounds i32, i32* %1, i64 12
%28 = getelementptr inbounds i32, i32* %0, i64 316
%29 = getelementptr inbounds i32, i32* %0, i64 317
%30 = getelementptr inbounds i32, i32* %0, i64 318
%31 = getelementptr inbounds i32, i32* %0, i64 319
br label %32
32: ; preds = %183, %3
%33 = phi i64 [ 0, %3 ], [ %184, %183 ]
%34 = phi i64 [ 96, %3 ], [ %187, %183 ]
%35 = phi i64 [ 64, %3 ], [ %186, %183 ]
%36 = phi i64 [ 32, %3 ], [ %185, %183 ]
%37 = shl nuw nsw i64 %33, 6
%38 = add nuw nsw i64 %37, 64
br label %39
39: ; preds = %32, %157
%40 = phi i64 [ %36, %32 ], [ %158, %157 ]
%41 = add nsw i64 %40, -32
%42 = getelementptr inbounds i32, i32* %0, i64 %41
%43 = bitcast i32* %42 to <4 x i32>*
%44 = load <4 x i32>, <4 x i32>* %43
%45 = shufflevector <4 x i32> %44, <4 x i32> poison, <4 x i32> <i32 1, i32 2, i32 3, i32 0>
store <4 x i32> %45, <4 x i32>* %4
%46 = call i32 @roundAESkeyfirst(i32* %8, i32* %9, i32* %1)
%47 = add nsw i64 %40, -4
%48 = getelementptr inbounds i32, i32* %0, i64 %47
%49 = getelementptr inbounds i32, i32* %0, i64 %40
%50 = load <4 x i32>, <4 x i32>* %5
%51 = bitcast i32* %48 to <4 x i32>*
%52 = load <4 x i32>, <4 x i32>* %51
%53 = xor <4 x i32> %52, %50
%54 = bitcast i32* %49 to <4 x i32>*
store <4 x i32> %53, <4 x i32>* %54
%55 = icmp eq i64 %40, 32
br i1 %55, label %56, label %69
56: ; preds = %39
%57 = load i32, i32* %2
%58 = load i32, i32* %10
%59 = xor i32 %58, %57
store i32 %59, i32* %10
%60 = load i32, i32* %11
%61 = load i32, i32* %12
%62 = xor i32 %61, %60
store i32 %62, i32* %12
%63 = load i32, i32* %13
%64 = load i32, i32* %14
%65 = xor i32 %64, %63
store i32 %65, i32* %14
%66 = load i32, i32* %15
%67 = load i32, i32* %16
%68 = xor i32 %67, %66
store i32 %68, i32* %16
br label %69
69: ; preds = %56, %39
%70 = or i64 %40, 4
%71 = add nsw i64 %40, -28
%72 = getelementptr inbounds i32, i32* %0, i64 %71
%73 = bitcast i32* %72 to <4 x i32>*
%74 = load <4 x i32>, <4 x i32>* %73
%75 = shufflevector <4 x i32> %74, <4 x i32> poison, <4 x i32> <i32 1, i32 2, i32 3, i32 0>
store <4 x i32> %75, <4 x i32>* %4
%76 = call i32 @roundAESkeyfirst(i32* %8, i32* %9, i32* %17)
%77 = getelementptr inbounds i32, i32* %0, i64 %70
%78 = load <4 x i32>, <4 x i32>* %5
%79 = bitcast i32* %49 to <4 x i32>*
%80 = load <4 x i32>, <4 x i32>* %79
%81 = xor <4 x i32> %80, %78
%82 = bitcast i32* %77 to <4 x i32>*
store <4 x i32> %81, <4 x i32>* %82
%83 = icmp eq i64 %70, 164
br i1 %83, label %84, label %97
84: ; preds = %69
%85 = load i32, i32* %15
%86 = load i32, i32* %18
%87 = xor i32 %86, %85
store i32 %87, i32* %18
%88 = load i32, i32* %13
%89 = load i32, i32* %19
%90 = xor i32 %89, %88
store i32 %90, i32* %19
%91 = load i32, i32* %11
%92 = load i32, i32* %20
%93 = xor i32 %92, %91
store i32 %93, i32* %20
%94 = load i32, i32* %2
%95 = load i32, i32* %21
%96 = xor i32 %95, %94
store i32 %96, i32* %21
br label %97
97: ; preds = %84, %69
%98 = or i64 %40, 8
%99 = add nsw i64 %40, -24
%100 = getelementptr inbounds i32, i32* %0, i64 %99
%101 = bitcast i32* %100 to <4 x i32>*
%102 = load <4 x i32>, <4 x i32>* %101
%103 = shufflevector <4 x i32> %102, <4 x i32> poison, <4 x i32> <i32 1, i32 2, i32 3, i32 0>
store <4 x i32> %103, <4 x i32>* %4
%104 = call i32 @roundAESkeyfirst(i32* %8, i32* %9, i32* %22)
%105 = or i64 %40, 4
%106 = getelementptr inbounds i32, i32* %0, i64 %105
%107 = getelementptr inbounds i32, i32* %0, i64 %98
%108 = load <4 x i32>, <4 x i32>* %5
%109 = bitcast i32* %106 to <4 x i32>*
%110 = load <4 x i32>, <4 x i32>* %109
%111 = xor <4 x i32> %110, %108
%112 = bitcast i32* %107 to <4 x i32>*
store <4 x i32> %111, <4 x i32>* %112
%113 = icmp eq i64 %98, 440
br i1 %113, label %114, label %127
114: ; preds = %97
%115 = load i32, i32* %11
%116 = load i32, i32* %23
%117 = xor i32 %116, %115
store i32 %117, i32* %23
%118 = load i32, i32* %2
%119 = load i32, i32* %24
%120 = xor i32 %119, %118
store i32 %120, i32* %24
%121 = load i32, i32* %15
%122 = load i32, i32* %25
%123 = xor i32 %122, %121
store i32 %123, i32* %25
%124 = load i32, i32* %13
%125 = load i32, i32* %26
%126 = xor i32 %125, %124
store i32 %126, i32* %26
br label %127
127: ; preds = %114, %97
%128 = or i64 %40, 12
%129 = add nsw i64 %40, -20
%130 = getelementptr inbounds i32, i32* %0, i64 %129
%131 = bitcast i32* %130 to <4 x i32>*
%132 = load <4 x i32>, <4 x i32>* %131
%133 = shufflevector <4 x i32> %132, <4 x i32> poison, <4 x i32> <i32 1, i32 2, i32 3, i32 0>
store <4 x i32> %133, <4 x i32>* %4
%134 = call i32 @roundAESkeyfirst(i32* %8, i32* %9, i32* %27)
%135 = or i64 %40, 8
%136 = getelementptr inbounds i32, i32* %0, i64 %135
%137 = getelementptr inbounds i32, i32* %0, i64 %128
%138 = load <4 x i32>, <4 x i32>* %5
%139 = bitcast i32* %136 to <4 x i32>*
%140 = load <4 x i32>, <4 x i32>* %139
%141 = xor <4 x i32> %140, %138
%142 = bitcast i32* %137 to <4 x i32>*
store <4 x i32> %141, <4 x i32>* %142
%143 = icmp eq i64 %128, 316
br i1 %143, label %144, label %157
144: ; preds = %127
%145 = load i32, i32* %13
%146 = load i32, i32* %28
%147 = xor i32 %146, %145
store i32 %147, i32* %28
%148 = load i32, i32* %15
%149 = load i32, i32* %29
%150 = xor i32 %149, %148
store i32 %150, i32* %29
%151 = load i32, i32* %2
%152 = load i32, i32* %30
%153 = xor i32 %152, %151
store i32 %153, i32* %30
%154 = load i32, i32* %11
%155 = load i32, i32* %31
%156 = xor i32 %155, %154
store i32 %156, i32* %31
br label %157
157: ; preds = %144, %127
%158 = add nuw nsw i64 %40, 16
%159 = icmp ult i64 %158, %38
br i1 %159, label %39, label %160
160: ; preds = %157
%161 = icmp eq i64 %33, 6
br i1 %161, label %189, label %162
162: ; preds = %160, %162
%163 = phi i64 [ %181, %162 ], [ %35, %160 ]
%164 = add nsw i64 %163, -32
%165 = getelementptr inbounds i32, i32* %0, i64 %164
%166 = load i32, i32* %165
%167 = add nsw i64 %163, -7
%168 = getelementptr inbounds i32, i32* %0, i64 %167
%169 = load i32, i32* %168
%170 = xor i32 %169, %166
%171 = getelementptr inbounds i32, i32* %0, i64 %163
store i32 %170, i32* %171
%172 = or i64 %163, 1
%173 = add nsw i64 %163, -31
%174 = getelementptr inbounds i32, i32* %0, i64 %173
%175 = load i32, i32* %174
%176 = add nsw i64 %163, -6
%177 = getelementptr inbounds i32, i32* %0, i64 %176
%178 = load i32, i32* %177
%179 = xor i32 %178, %175
%180 = getelementptr inbounds i32, i32* %0, i64 %172
store i32 %179, i32* %180
%181 = add nuw nsw i64 %163, 2
%182 = icmp eq i64 %181, %34
br i1 %182, label %183, label %162
183: ; preds = %162
%184 = add nuw nsw i64 %33, 1
%185 = add nuw nsw i64 %36, 64
%186 = add nuw nsw i64 %35, 64
%187 = add nuw nsw i64 %34, 64
%188 = icmp eq i64 %184, 7
br i1 %188, label %189, label %32
189: ; preds = %160, %183
ret void
}