#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 MessageExpansion256(uint32_t rk[(12 * 4 * (3))], uint32_t salt[8],
                         uint32_t counter[2]) {
  int i, j, k;
  uint32_t input[4], output[4];
  for (k = 0; k < 4; k++) {
    for (i = 16 + 32 * k; i < 32 + 32 * k;) {
      input[0] = rk[i - 15];
      input[1] = rk[i - 14];
      input[2] = rk[i - 13];
      input[3] = rk[i - 16];
      roundAESkeyfirst(input, output, salt);
      for (j = 0; j < 4; j++)
        rk[i + j] = output[j] ^ rk[i + j - 4];
      if (i == 16) {
        rk[16] ^= counter[0];
        rk[17] ^= counter[1];
      }
      if (i == 84) {
        rk[86] ^= counter[1];
        rk[87] ^= counter[0];
      }
      i += 4;
      input[0] = rk[i - 15];
      input[1] = rk[i - 14];
      input[2] = rk[i - 13];
      input[3] = rk[i - 16];
      roundAESkeyfirst(input, output, salt + 4);
      for (j = 0; j < 4; j++)
        rk[i + j] = output[j] ^ rk[i + j - 4];
      if (i == 56) {
        rk[57] ^= counter[1];
        rk[58] ^= counter[0];
      }
      if (i == 124) {
        rk[124] ^= counter[0];
        rk[127] ^= counter[1];
      }
      i += 4;
    }
    for (i = 32 + 32 * k; i < 48 + 32 * k; i++)
      rk[i] = rk[i - 16] ^ rk[i - 3];
  }
  return;
}


x86 assembly (clang, -O0):
<MessageExpansion256>:
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   $0x4,-0x24(%rbp)
jge    13fa <MessageExpansion256+0x2ea>
mov    -0x24(%rbp),%eax
shl    $0x5,%eax
add    $0x10,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x24(%rbp),%ecx
shl    $0x5,%ecx
add    $0x20,%ecx
cmp    %ecx,%eax
jge    138e <MessageExpansion256+0x27e>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0xf,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0xe,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0xd,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x10,%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 <MessageExpansion256+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 <MessageExpansion256+0xa9>
cmpl   $0x10,-0x1c(%rbp)
jne    1227 <MessageExpansion256+0x117>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x40(%rax),%ecx
mov    %ecx,0x40(%rax)
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x44(%rax),%ecx
mov    %ecx,0x44(%rax)
cmpl   $0x54,-0x1c(%rbp)
jne    125e <MessageExpansion256+0x14e>
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x158(%rax),%ecx
mov    %ecx,0x158(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x15c(%rax),%ecx
mov    %ecx,0x15c(%rax)
mov    -0x1c(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0xf,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0xe,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0xd,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x10,%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    1312 <MessageExpansion256+0x202>
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    12cf <MessageExpansion256+0x1bf>
cmpl   $0x38,-0x1c(%rbp)
jne    1349 <MessageExpansion256+0x239>
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0xe4(%rax),%ecx
mov    %ecx,0xe4(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0xe8(%rax),%ecx
mov    %ecx,0xe8(%rax)
cmpl   $0x7c,-0x1c(%rbp)
jne    1380 <MessageExpansion256+0x270>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x1f0(%rax),%ecx
mov    %ecx,0x1f0(%rax)
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
xor    0x1fc(%rax),%ecx
mov    %ecx,0x1fc(%rax)
mov    -0x1c(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x1c(%rbp)
jmp    1141 <MessageExpansion256+0x31>
mov    -0x24(%rbp),%eax
shl    $0x5,%eax
add    $0x20,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x24(%rbp),%ecx
shl    $0x5,%ecx
add    $0x30,%ecx
cmp    %ecx,%eax
jge    13e7 <MessageExpansion256+0x2d7>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x10,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x3,%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    139a <MessageExpansion256+0x28a>
jmp    13ec <MessageExpansion256+0x2dc>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    112b <MessageExpansion256+0x1b>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<MessageExpansion256>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdx,0x8(%rsp)
mov    %rsi,%r13
lea    0x10(%rsi),%r12
mov    %rdi,(%rsp)
lea    0xbc(%rdi),%r14
xor    %r15d,%r15d
lea    0x20(%rsp),%rbx
lea    0x10(%rsp),%rbp
jmp    120f <MessageExpansion256+0xff>
nopw   0x0(%rax,%rax,1)
mov    -0x48(%r14,%r15,4),%eax
xor    -0x7c(%r14,%r15,4),%eax
mov    -0x44(%r14,%r15,4),%ecx
mov    %eax,-0x3c(%r14,%r15,4)
xor    -0x78(%r14,%r15,4),%ecx
mov    %ecx,-0x38(%r14,%r15,4)
mov    -0x40(%r14,%r15,4),%edx
xor    -0x74(%r14,%r15,4),%edx
mov    %edx,-0x34(%r14,%r15,4)
xor    -0x70(%r14,%r15,4),%eax
mov    %eax,-0x30(%r14,%r15,4)
xor    -0x6c(%r14,%r15,4),%ecx
mov    %ecx,-0x2c(%r14,%r15,4)
xor    -0x68(%r14,%r15,4),%edx
mov    %edx,-0x28(%r14,%r15,4)
xor    -0x64(%r14,%r15,4),%eax
mov    %eax,-0x24(%r14,%r15,4)
xor    -0x60(%r14,%r15,4),%ecx
mov    %ecx,-0x20(%r14,%r15,4)
xor    -0x5c(%r14,%r15,4),%edx
mov    %edx,-0x1c(%r14,%r15,4)
xor    -0x58(%r14,%r15,4),%eax
mov    %eax,-0x18(%r14,%r15,4)
xor    -0x54(%r14,%r15,4),%ecx
mov    %ecx,-0x14(%r14,%r15,4)
xor    -0x50(%r14,%r15,4),%edx
mov    %edx,-0x10(%r14,%r15,4)
xor    -0x4c(%r14,%r15,4),%eax
mov    %eax,-0xc(%r14,%r15,4)
xor    -0x48(%r14,%r15,4),%ecx
mov    %ecx,-0x8(%r14,%r15,4)
xor    -0x44(%r14,%r15,4),%edx
mov    %edx,-0x4(%r14,%r15,4)
xor    -0x40(%r14,%r15,4),%eax
mov    %eax,(%r14,%r15,4)
add    $0x20,%r15
cmp    $0x80,%r15
je     1324 <MessageExpansion256+0x214>
movdqu -0xbc(%r14,%r15,4),%xmm0
ff ff ff
pshufd $0x39,%xmm0,%xmm0
movdqa %xmm0,0x20(%rsp)
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    %r13,%rdx
call   1030 <roundAESkeyfirst@plt>
movups -0x8c(%r14,%r15,4),%xmm0
ff ff
xorps  0x10(%rsp),%xmm0
movups %xmm0,-0x7c(%r14,%r15,4)
test   %r15,%r15
jne    125f <MessageExpansion256+0x14f>
mov    0x8(%rsp),%rcx
mov    (%rcx),%eax
mov    (%rsp),%rdx
xor    %eax,0x40(%rdx)
mov    0x4(%rcx),%eax
xor    %eax,0x44(%rdx)
movdqu -0xac(%r14,%r15,4),%xmm0
ff ff ff
pshufd $0x39,%xmm0,%xmm0
movdqa %xmm0,0x20(%rsp)
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    %r12,%rdx
call   1030 <roundAESkeyfirst@plt>
movups -0x7c(%r14,%r15,4),%xmm0
xorps  0x10(%rsp),%xmm0
movdqu -0x9c(%r14,%r15,4),%xmm1
ff ff ff
movups %xmm0,-0x6c(%r14,%r15,4)
pshufd $0x39,%xmm1,%xmm0
movdqa %xmm0,0x20(%rsp)
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    %r13,%rdx
call   1030 <roundAESkeyfirst@plt>
movups -0x6c(%r14,%r15,4),%xmm0
xorps  0x10(%rsp),%xmm0
movdqu -0x8c(%r14,%r15,4),%xmm1
ff ff ff
movups %xmm0,-0x5c(%r14,%r15,4)
pshufd $0x39,%xmm1,%xmm0
movdqa %xmm0,0x20(%rsp)
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    %r12,%rdx
call   1030 <roundAESkeyfirst@plt>
movups -0x5c(%r14,%r15,4),%xmm0
xorps  0x10(%rsp),%xmm0
movups %xmm0,-0x4c(%r14,%r15,4)
cmp    $0x60,%r15
jne    1150 <MessageExpansion256+0x40>
mov    0x8(%rsp),%rcx
mov    (%rcx),%eax
mov    (%rsp),%rdx
xor    %eax,0x1f0(%rdx)
mov    0x4(%rcx),%eax
xor    %eax,0x1fc(%rdx)
jmp    1150 <MessageExpansion256+0x40>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @MessageExpansion256(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 = %253, %3
%13 = load i32, i32* %9
%14 = icmp slt i32 %13, 4
br i1 %14, label %15, label %256
15: ; preds = %12
%16 = load i32, i32* %9
%17 = mul nsw i32 32, %16
%18 = add nsw i32 16, %17
store i32 %18, i32* %7
br label %19
19: ; preds = %218, %15
%20 = load i32, i32* %7
%21 = load i32, i32* %9
%22 = mul nsw i32 32, %21
%23 = add nsw i32 32, %22
%24 = icmp slt i32 %20, %23
br i1 %24, label %25, label %221
25: ; preds = %19
%26 = load i32*, i32** %4
%27 = load i32, i32* %7
%28 = sub nsw i32 %27, 15
%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, 14
%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, 13
%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, 16
%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, 16
br i1 %86, label %87, label %102
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 16
%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 17
%100 = load i32, i32* %99
%101 = xor i32 %100, %97
store i32 %101, i32* %99
br label %102
102: ; preds = %87, %84
%103 = load i32, i32* %7
%104 = icmp eq i32 %103, 84
br i1 %104, label %105, label %120
105: ; preds = %102
%106 = load i32*, i32** %6
%107 = getelementptr inbounds i32, i32* %106, i64 1
%108 = load i32, i32* %107
%109 = load i32*, i32** %4
%110 = getelementptr inbounds i32, i32* %109, i64 86
%111 = load i32, i32* %110
%112 = xor i32 %111, %108
store i32 %112, i32* %110
%113 = load i32*, i32** %6
%114 = getelementptr inbounds i32, i32* %113, i64 0
%115 = load i32, i32* %114
%116 = load i32*, i32** %4
%117 = getelementptr inbounds i32, i32* %116, i64 87
%118 = load i32, i32* %117
%119 = xor i32 %118, %115
store i32 %119, i32* %117
br label %120
120: ; preds = %105, %102
%121 = load i32, i32* %7
%122 = add nsw i32 %121, 4
store i32 %122, i32* %7
%123 = load i32*, i32** %4
%124 = load i32, i32* %7
%125 = sub nsw i32 %124, 15
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds i32, i32* %123, i64 %126
%128 = load i32, i32* %127
%129 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
store i32 %128, i32* %129
%130 = load i32*, i32** %4
%131 = load i32, i32* %7
%132 = sub nsw i32 %131, 14
%133 = sext i32 %132 to i64
%134 = getelementptr inbounds i32, i32* %130, i64 %133
%135 = load i32, i32* %134
%136 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 1
store i32 %135, i32* %136
%137 = load i32*, i32** %4
%138 = load i32, i32* %7
%139 = sub nsw i32 %138, 13
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds i32, i32* %137, i64 %140
%142 = load i32, i32* %141
%143 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 2
store i32 %142, i32* %143
%144 = load i32*, i32** %4
%145 = load i32, i32* %7
%146 = sub nsw i32 %145, 16
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds i32, i32* %144, i64 %147
%149 = load i32, i32* %148
%150 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 3
store i32 %149, i32* %150
%151 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%152 = getelementptr inbounds [4 x i32], [4 x i32]* %11, i64 0, i64 0
%153 = load i32*, i32** %5
%154 = getelementptr inbounds i32, i32* %153, i64 4
%155 = call i32 @roundAESkeyfirst(i32* %151, i32* %152, i32* %154)
store i32 0, i32* %8
br label %156
156: ; preds = %179, %120
%157 = load i32, i32* %8
%158 = icmp slt i32 %157, 4
br i1 %158, label %159, label %182
159: ; preds = %156
%160 = load i32, i32* %8
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds [4 x i32], [4 x i32]* %11, i64 0, i64 %161
%163 = load i32, i32* %162
%164 = load i32*, i32** %4
%165 = load i32, i32* %7
%166 = load i32, i32* %8
%167 = add nsw i32 %165, %166
%168 = sub nsw i32 %167, 4
%169 = sext i32 %168 to i64
%170 = getelementptr inbounds i32, i32* %164, i64 %169
%171 = load i32, i32* %170
%172 = xor i32 %163, %171
%173 = load i32*, i32** %4
%174 = load i32, i32* %7
%175 = load i32, i32* %8
%176 = add nsw i32 %174, %175
%177 = sext i32 %176 to i64
%178 = getelementptr inbounds i32, i32* %173, i64 %177
store i32 %172, i32* %178
br label %179
179: ; preds = %159
%180 = load i32, i32* %8
%181 = add nsw i32 %180, 1
store i32 %181, i32* %8
br label %156
182: ; preds = %156
%183 = load i32, i32* %7
%184 = icmp eq i32 %183, 56
br i1 %184, label %185, label %200
185: ; preds = %182
%186 = load i32*, i32** %6
%187 = getelementptr inbounds i32, i32* %186, i64 1
%188 = load i32, i32* %187
%189 = load i32*, i32** %4
%190 = getelementptr inbounds i32, i32* %189, i64 57
%191 = load i32, i32* %190
%192 = xor i32 %191, %188
store i32 %192, i32* %190
%193 = load i32*, i32** %6
%194 = getelementptr inbounds i32, i32* %193, i64 0
%195 = load i32, i32* %194
%196 = load i32*, i32** %4
%197 = getelementptr inbounds i32, i32* %196, i64 58
%198 = load i32, i32* %197
%199 = xor i32 %198, %195
store i32 %199, i32* %197
br label %200
200: ; preds = %185, %182
%201 = load i32, i32* %7
%202 = icmp eq i32 %201, 124
br i1 %202, label %203, label %218
203: ; preds = %200
%204 = load i32*, i32** %6
%205 = getelementptr inbounds i32, i32* %204, i64 0
%206 = load i32, i32* %205
%207 = load i32*, i32** %4
%208 = getelementptr inbounds i32, i32* %207, i64 124
%209 = load i32, i32* %208
%210 = xor i32 %209, %206
store i32 %210, i32* %208
%211 = load i32*, i32** %6
%212 = getelementptr inbounds i32, i32* %211, i64 1
%213 = load i32, i32* %212
%214 = load i32*, i32** %4
%215 = getelementptr inbounds i32, i32* %214, i64 127
%216 = load i32, i32* %215
%217 = xor i32 %216, %213
store i32 %217, i32* %215
br label %218
218: ; preds = %203, %200
%219 = load i32, i32* %7
%220 = add nsw i32 %219, 4
store i32 %220, i32* %7
br label %19
221: ; preds = %19
%222 = load i32, i32* %9
%223 = mul nsw i32 32, %222
%224 = add nsw i32 32, %223
store i32 %224, i32* %7
br label %225
225: ; preds = %249, %221
%226 = load i32, i32* %7
%227 = load i32, i32* %9
%228 = mul nsw i32 32, %227
%229 = add nsw i32 48, %228
%230 = icmp slt i32 %226, %229
br i1 %230, label %231, label %252
231: ; preds = %225
%232 = load i32*, i32** %4
%233 = load i32, i32* %7
%234 = sub nsw i32 %233, 16
%235 = sext i32 %234 to i64
%236 = getelementptr inbounds i32, i32* %232, i64 %235
%237 = load i32, i32* %236
%238 = load i32*, i32** %4
%239 = load i32, i32* %7
%240 = sub nsw i32 %239, 3
%241 = sext i32 %240 to i64
%242 = getelementptr inbounds i32, i32* %238, i64 %241
%243 = load i32, i32* %242
%244 = xor i32 %237, %243
%245 = load i32*, i32** %4
%246 = load i32, i32* %7
%247 = sext i32 %246 to i64
%248 = getelementptr inbounds i32, i32* %245, i64 %247
store i32 %244, i32* %248
br label %249
249: ; preds = %231
%250 = load i32, i32* %7
%251 = add nsw i32 %250, 1
store i32 %251, i32* %7
br label %225
252: ; preds = %225
br label %253
253: ; preds = %252
%254 = load i32, i32* %9
%255 = add nsw i32 %254, 1
store i32 %255, i32* %9
br label %12
256: ; preds = %12
ret void
}

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