#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 /*<<< orphan*/ Rotate(int *, int *, int *, int *);
void Setup(uint8_t *state, uint8_t *key, uint8_t *iv) {
  uint8_t i;
  uint8_t t1, t2, t3;
  uint8_t x1, x2, x3, x4, x5;
  for (i = 0; i < 10; i++) {
    state[i] = key[9 - i];
  }
  state[10] = 0x00;
  state[11] = 0x00;
  for (i = 0; i < 10; i++) {
    state[i + 12] = iv[9 - i];
  }
  state[22] = 0x00;
  for (i = 23; i < 36; i++) {
    state[i] = 0x00;
  }
  state[36] = 0x0E;
  for (i = 0; i < 144; i++) {
    x1 = (state[7] << 2) ^ (state[8] >> 6);
    x2 = (state[10] << 3) ^ (state[11] >> 5);
    x3 = (state[10] << 4) ^ (state[11] >> 4);
    x4 = (state[10] << 5) ^ (state[11] >> 3);
    x5 = (state[20] << 6) ^ (state[21] >> 2);
    t1 = x1 ^ (x2 & x3) ^ x4 ^ x5;
    x1 = (state[19] << 5) ^ (state[20] >> 3);
    x2 = (state[21] << 2) ^ (state[22] >> 6);
    x3 = (state[21] << 3) ^ (state[22] >> 5);
    x4 = (state[21] << 4) ^ (state[22] >> 4);
    x5 = (state[32] << 7) ^ (state[33] >> 1);
    t2 = x1 ^ (x2 & x3) ^ x4 ^ x5;
    x1 = (state[30] << 2) ^ (state[31] >> 6);
    x2 = (state[35] << 5) ^ (state[36] >> 3);
    x3 = (state[35] << 6) ^ (state[36] >> 2);
    x4 = (state[35] << 7) ^ (state[36] >> 1);
    x5 = (state[7] << 5) ^ (state[8] >> 3);
    t3 = x1 ^ (x2 & x3) ^ x4 ^ x5;
    Rotate(state, &t1, &t2, &t3);
  }
}


x86 assembly (clang, -O0):
<Setup>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0xa,-0x1c(%rbp)
jge    1160 <Setup+0x50>
mov    -0x10(%rbp),%rax
mov    $0x9,%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%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    112b <Setup+0x1b>
mov    -0x8(%rbp),%rax
movl   $0x0,0x28(%rax)
mov    -0x8(%rbp),%rax
movl   $0x0,0x2c(%rax)
movl   $0x0,-0x1c(%rbp)
cmpl   $0xa,-0x1c(%rbp)
jge    11b7 <Setup+0xa7>
mov    -0x18(%rbp),%rax
mov    $0x9,%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0xc,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    117d <Setup+0x6d>
mov    -0x8(%rbp),%rax
movl   $0x0,0x58(%rax)
movl   $0x17,-0x1c(%rbp)
cmpl   $0x24,-0x1c(%rbp)
jge    11f0 <Setup+0xe0>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11c9 <Setup+0xb9>
mov    -0x8(%rbp),%rax
movl   $0xe,0x90(%rax)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x90,-0x1c(%rbp)
jge    1400 <Setup+0x2f0>
mov    -0x8(%rbp),%rax
mov    0x1c(%rax),%eax
shl    $0x2,%eax
mov    -0x8(%rbp),%rcx
mov    0x20(%rcx),%ecx
sar    $0x6,%ecx
xor    %ecx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    0x28(%rax),%eax
shl    $0x3,%eax
mov    -0x8(%rbp),%rcx
mov    0x2c(%rcx),%ecx
sar    $0x5,%ecx
xor    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    0x28(%rax),%eax
shl    $0x4,%eax
mov    -0x8(%rbp),%rcx
mov    0x2c(%rcx),%ecx
sar    $0x4,%ecx
xor    %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    0x28(%rax),%eax
shl    $0x5,%eax
mov    -0x8(%rbp),%rcx
mov    0x2c(%rcx),%ecx
sar    $0x3,%ecx
xor    %ecx,%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    0x50(%rax),%eax
shl    $0x6,%eax
mov    -0x8(%rbp),%rcx
mov    0x54(%rcx),%ecx
sar    $0x2,%ecx
xor    %ecx,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x30(%rbp),%ecx
and    -0x34(%rbp),%ecx
xor    %ecx,%eax
xor    -0x38(%rbp),%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    0x4c(%rax),%eax
shl    $0x5,%eax
mov    -0x8(%rbp),%rcx
mov    0x50(%rcx),%ecx
sar    $0x3,%ecx
xor    %ecx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    0x54(%rax),%eax
shl    $0x2,%eax
mov    -0x8(%rbp),%rcx
mov    0x58(%rcx),%ecx
sar    $0x6,%ecx
xor    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    0x54(%rax),%eax
shl    $0x3,%eax
mov    -0x8(%rbp),%rcx
mov    0x58(%rcx),%ecx
sar    $0x5,%ecx
xor    %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    0x54(%rax),%eax
shl    $0x4,%eax
mov    -0x8(%rbp),%rcx
mov    0x58(%rcx),%ecx
sar    $0x4,%ecx
xor    %ecx,%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    0x80(%rax),%eax
shl    $0x7,%eax
mov    -0x8(%rbp),%rcx
mov    0x84(%rcx),%ecx
sar    $0x1,%ecx
xor    %ecx,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x30(%rbp),%ecx
and    -0x34(%rbp),%ecx
xor    %ecx,%eax
xor    -0x38(%rbp),%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    0x78(%rax),%eax
shl    $0x2,%eax
mov    -0x8(%rbp),%rcx
mov    0x7c(%rcx),%ecx
sar    $0x6,%ecx
xor    %ecx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8c(%rax),%eax
shl    $0x5,%eax
mov    -0x8(%rbp),%rcx
mov    0x90(%rcx),%ecx
sar    $0x3,%ecx
xor    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8c(%rax),%eax
shl    $0x6,%eax
mov    -0x8(%rbp),%rcx
mov    0x90(%rcx),%ecx
sar    $0x2,%ecx
xor    %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8c(%rax),%eax
shl    $0x7,%eax
mov    -0x8(%rbp),%rcx
mov    0x90(%rcx),%ecx
sar    $0x1,%ecx
xor    %ecx,%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    0x1c(%rax),%eax
shl    $0x5,%eax
mov    -0x8(%rbp),%rcx
mov    0x20(%rcx),%ecx
sar    $0x3,%ecx
xor    %ecx,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x30(%rbp),%ecx
and    -0x34(%rbp),%ecx
xor    %ecx,%eax
xor    -0x38(%rbp),%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rdi
lea    -0x20(%rbp),%rsi
lea    -0x24(%rbp),%rdx
lea    -0x28(%rbp),%rcx
call   1030 <Rotate@plt>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1205 <Setup+0xf5>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Setup>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdi,%rbx
mov    0x24(%rsi),%eax
mov    %eax,(%rdi)
mov    0x20(%rsi),%eax
mov    %eax,0x4(%rdi)
mov    0x1c(%rsi),%eax
mov    %eax,0x8(%rdi)
mov    0x18(%rsi),%eax
mov    %eax,0xc(%rdi)
mov    0x14(%rsi),%eax
mov    %eax,0x10(%rdi)
mov    0x10(%rsi),%eax
mov    %eax,0x14(%rdi)
mov    0xc(%rsi),%eax
mov    %eax,0x18(%rdi)
mov    0x8(%rsi),%edi
mov    %edi,0x1c(%rbx)
mov    0x4(%rsi),%r9d
mov    %r9d,0x20(%rbx)
mov    (%rsi),%ecx
mov    %ecx,0x24(%rbx)
movq   $0x0,0x28(%rbx)
mov    0x24(%rdx),%ecx
mov    %ecx,0x30(%rbx)
mov    0x20(%rdx),%ecx
mov    %ecx,0x34(%rbx)
mov    0x1c(%rdx),%ecx
mov    %ecx,0x38(%rbx)
mov    0x18(%rdx),%ecx
mov    %ecx,0x3c(%rbx)
mov    0x14(%rdx),%ecx
mov    %ecx,0x40(%rbx)
mov    0x10(%rdx),%ecx
mov    %ecx,0x44(%rbx)
mov    0xc(%rdx),%ecx
mov    %ecx,0x48(%rbx)
mov    0x8(%rdx),%eax
mov    %eax,0x14(%rsp)
mov    %eax,0x4c(%rbx)
mov    0x4(%rdx),%eax
mov    %eax,0x10(%rsp)
mov    %eax,0x50(%rbx)
mov    (%rdx),%ecx
mov    %ecx,0x54(%rbx)
xorps  %xmm0,%xmm0
movups %xmm0,0x58(%rbx)
movups %xmm0,0x68(%rbx)
movups %xmm0,0x78(%rbx)
movq   $0x0,0x88(%rbx)
movl   $0xe,0x90(%rbx)
xor    %r15d,%r15d
mov    $0xe,%r11d
movl   $0x8f,0x18(%rsp)
xor    %r13d,%r13d
movl   $0x0,0xc(%rsp)
xor    %ebp,%ebp
movl   $0x0,0x8(%rsp)
xor    %r14d,%r14d
xor    %r12d,%r12d
xor    %r8d,%r8d
nopl   0x0(%rax,%rax,1)
mov    %r9d,%eax
sar    $0x6,%eax
lea    0x0(,%rdi,4),%r10d
xor    %r10d,%eax
mov    %rdi,%r10
mov    %r12d,%edi
sar    $0x5,%edi
lea    0x0(,%r8,8),%esi
xor    %esi,%edi
mov    %r8d,%esi
shl    $0x4,%esi
mov    %r12d,%edx
sar    $0x4,%edx
xor    %esi,%edx
and    %edi,%edx
shl    $0x5,%r8d
sar    $0x3,%r12d
xor    %r8d,%r12d
xor    %eax,%r12d
mov    0x10(%rsp),%edi
mov    %edi,%eax
shl    $0x6,%eax
mov    %ecx,%esi
sar    $0x2,%esi
xor    %eax,%esi
xor    %r12d,%esi
xor    %edx,%esi
mov    %esi,0x24(%rsp)
lea    0x0(,%rcx,4),%eax
mov    %r14d,%edx
sar    $0x6,%edx
xor    %eax,%edx
lea    0x0(,%rcx,8),%eax
mov    %r14d,%esi
sar    $0x5,%esi
xor    %eax,%esi
and    %edx,%esi
sar    $0x3,%edi
shl    $0x4,%ecx
xor    %edi,%ecx
mov    0x14(%rsp),%eax
shl    $0x5,%eax
sar    $0x4,%r14d
xor    %eax,%r14d
xor    %ecx,%r14d
mov    0x8(%rsp),%eax
shl    $0x7,%eax
sar    %ebp
xor    %eax,%ebp
xor    %r14d,%ebp
xor    %esi,%ebp
mov    %ebp,0x20(%rsp)
mov    0xc(%rsp),%eax
shl    $0x2,%eax
sar    $0x6,%r13d
xor    %eax,%r13d
mov    %r15d,%eax
shl    $0x5,%eax
mov    %r11d,%ecx
sar    $0x3,%ecx
xor    %eax,%ecx
mov    %r15d,%eax
shl    $0x6,%eax
mov    %r11d,%edx
sar    $0x2,%edx
xor    %eax,%edx
and    %ecx,%edx
shl    $0x7,%r15d
sar    %r11d
xor    %r15d,%r11d
shl    $0x5,%r10d
sar    $0x3,%r9d
xor    %r10d,%r9d
xor    %r13d,%r9d
xor    %r11d,%r9d
xor    %edx,%r9d
mov    %r9d,0x1c(%rsp)
mov    %rbx,%rdi
lea    0x24(%rsp),%rsi
lea    0x20(%rsp),%rdx
lea    0x1c(%rsp),%rcx
call   1030 <Rotate@plt>
mov    0x18(%rsp),%eax
sub    $0x1,%eax
jb     136d <Setup+0x25d>
mov    %eax,0x18(%rsp)
mov    0x1c(%rbx),%edi
mov    0x20(%rbx),%r9d
mov    0x28(%rbx),%r8d
mov    0x2c(%rbx),%r12d
mov    0x50(%rbx),%eax
mov    %eax,0x10(%rsp)
mov    0x54(%rbx),%ecx
mov    0x4c(%rbx),%eax
mov    %eax,0x14(%rsp)
mov    0x58(%rbx),%r14d
mov    0x80(%rbx),%eax
mov    %eax,0x8(%rsp)
mov    0x84(%rbx),%ebp
mov    0x78(%rbx),%eax
mov    %eax,0xc(%rsp)
mov    0x7c(%rbx),%r13d
mov    0x8c(%rbx),%r15d
mov    0x90(%rbx),%r11d
jmp    1200 <Setup+0xf0>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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