#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;
typedef size_t uint16_t;

/* Variables and functions */
int /*<<< orphan*/ Rotate(int *, int *, int *, int *);
void Encrypt(uint8_t *state, uint8_t *stream, uint16_t length) {
  uint16_t i;
  uint8_t t1, t2, t3;
  uint8_t x1, x2, x3, x4, x5;
  for (i = 0; i < length; i++) {
    x1 = (state[7] << 2) ^ (state[8] >> 6);
    x4 = (state[10] << 5) ^ (state[11] >> 3);
    t1 = x1 ^ x4;
    x1 = (state[19] << 5) ^ (state[20] >> 3);
    x4 = (state[21] << 4) ^ (state[22] >> 4);
    t2 = x1 ^ x4;
    x1 = (state[30] << 2) ^ (state[31] >> 6);
    x4 = (state[35] << 7) ^ (state[36] >> 1);
    t3 = x1 ^ x4;
    stream[i] ^= t1 ^ t2 ^ t3;
    x2 = (state[10] << 3) ^ (state[11] >> 5);
    x3 = (state[10] << 4) ^ (state[11] >> 4);
    x5 = (state[20] << 6) ^ (state[21] >> 2);
    t1 = t1 ^ (x2 & x3) ^ x5;
    x2 = (state[21] << 2) ^ (state[22] >> 6);
    x3 = (state[21] << 3) ^ (state[22] >> 5);
    x5 = (state[32] << 7) ^ (state[33] >> 1);
    t2 = t2 ^ (x2 & x3) ^ x5;
    x2 = (state[35] << 5) ^ (state[36] >> 3);
    x3 = (state[35] << 6) ^ (state[36] >> 2);
    x5 = (state[7] << 5) ^ (state[8] >> 3);
    t3 = t3 ^ (x2 & x3) ^ x5;
    Rotate(state, &t1, &t2, &t3);
  }
}


x86 assembly (clang, -O0):
<Encrypt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1354 <Encrypt+0x244>
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,-0x30(%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,-0x3c(%rbp)
mov    -0x30(%rbp),%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x24(%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,-0x30(%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,-0x3c(%rbp)
mov    -0x30(%rbp),%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x28(%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,-0x30(%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,-0x3c(%rbp)
mov    -0x30(%rbp),%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x24(%rbp),%edx
xor    -0x28(%rbp),%edx
xor    -0x2c(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
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,-0x34(%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,-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,-0x40(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x34(%rbp),%ecx
and    -0x38(%rbp),%ecx
xor    %ecx,%eax
xor    -0x40(%rbp),%eax
mov    %eax,-0x24(%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,-0x34(%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,-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,-0x40(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x34(%rbp),%ecx
and    -0x38(%rbp),%ecx
xor    %ecx,%eax
xor    -0x40(%rbp),%eax
mov    %eax,-0x28(%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,-0x34(%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,-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,-0x40(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x34(%rbp),%ecx
and    -0x38(%rbp),%ecx
xor    %ecx,%eax
xor    -0x40(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rdi
lea    -0x24(%rbp),%rsi
lea    -0x28(%rbp),%rdx
lea    -0x2c(%rbp),%rcx
call   1030 <Rotate@plt>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    112c <Encrypt+0x1c>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Encrypt>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
test   %rdx,%rdx
je     1277 <Encrypt+0x167>
mov    %rdx,%r15
mov    %rsi,%r14
mov    %rdi,%rbx
xor    %r12d,%r12d
lea    0xc(%rsp),%r13
nopl   0x0(%rax,%rax,1)
mov    0x1c(%rbx),%eax
mov    0x20(%rbx),%ecx
shl    $0x2,%eax
sar    $0x6,%ecx
xor    %eax,%ecx
mov    0x28(%rbx),%eax
shl    $0x5,%eax
mov    0x2c(%rbx),%edx
sar    $0x3,%edx
xor    %eax,%edx
xor    %ecx,%edx
mov    0x4c(%rbx),%eax
shl    $0x5,%eax
mov    0x50(%rbx),%esi
sar    $0x3,%esi
xor    %eax,%esi
mov    0x54(%rbx),%eax
shl    $0x4,%eax
mov    0x58(%rbx),%ecx
sar    $0x4,%ecx
xor    %eax,%ecx
xor    %esi,%ecx
mov    0x78(%rbx),%eax
shl    $0x2,%eax
mov    0x7c(%rbx),%esi
sar    $0x6,%esi
xor    %eax,%esi
mov    0x8c(%rbx),%edi
shl    $0x7,%edi
mov    0x90(%rbx),%r9d
sar    %r9d
xor    %edi,%r9d
xor    %esi,%r9d
mov    %ecx,%esi
xor    %edx,%esi
xor    %r9d,%esi
xor    %esi,(%r14,%r12,4)
mov    0x28(%rbx),%esi
mov    0x2c(%rbx),%edi
lea    0x0(,%rsi,8),%r8d
mov    %edi,%ebp
sar    $0x5,%ebp
xor    %r8d,%ebp
shl    $0x4,%esi
sar    $0x4,%edi
xor    %esi,%edi
and    %ebp,%edi
mov    0x50(%rbx),%esi
shl    $0x6,%esi
mov    0x54(%rbx),%ebp
mov    %ebp,%eax
sar    $0x2,%eax
xor    %edi,%eax
xor    %edx,%esi
xor    %eax,%esi
mov    %esi,0x14(%rsp)
lea    0x0(,%rbp,4),%eax
mov    0x58(%rbx),%edx
mov    0x80(%rbx),%esi
mov    %edx,%edi
sar    $0x6,%edi
xor    %eax,%edi
shl    $0x3,%ebp
sar    $0x5,%edx
xor    %ebp,%edx
and    %edi,%edx
shl    $0x7,%esi
mov    0x84(%rbx),%eax
sar    %eax
xor    %edx,%eax
xor    %ecx,%esi
xor    %eax,%esi
mov    %esi,0x10(%rsp)
mov    0x8c(%rbx),%eax
mov    %eax,%ecx
shl    $0x5,%ecx
mov    0x90(%rbx),%edx
mov    %edx,%esi
sar    $0x3,%esi
xor    %ecx,%esi
shl    $0x6,%eax
sar    $0x2,%edx
xor    %eax,%edx
and    %esi,%edx
mov    0x1c(%rbx),%eax
mov    0x20(%rbx),%ecx
shl    $0x5,%eax
sar    $0x3,%ecx
xor    %edx,%ecx
xor    %r9d,%eax
xor    %ecx,%eax
mov    %eax,0xc(%rsp)
mov    %rbx,%rdi
lea    0x14(%rsp),%rsi
lea    0x10(%rsp),%rdx
mov    %r13,%rcx
call   1030 <Rotate@plt>
add    $0x1,%r12
cmp    %r12,%r15
jne    1140 <Encrypt+0x30>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @Encrypt(i32* %0, i32* nocapture %1, i64 %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 = icmp eq i64 %2, 0
br i1 %10, label %116, label %11
11: ; preds = %3
%12 = getelementptr inbounds i32, i32* %0, i64 7
%13 = getelementptr inbounds i32, i32* %0, i64 8
%14 = getelementptr inbounds i32, i32* %0, i64 10
%15 = getelementptr inbounds i32, i32* %0, i64 11
%16 = getelementptr inbounds i32, i32* %0, i64 19
%17 = getelementptr inbounds i32, i32* %0, i64 20
%18 = getelementptr inbounds i32, i32* %0, i64 21
%19 = getelementptr inbounds i32, i32* %0, i64 22
%20 = getelementptr inbounds i32, i32* %0, i64 30
%21 = getelementptr inbounds i32, i32* %0, i64 31
%22 = getelementptr inbounds i32, i32* %0, i64 35
%23 = getelementptr inbounds i32, i32* %0, i64 36
%24 = getelementptr inbounds i32, i32* %0, i64 32
%25 = getelementptr inbounds i32, i32* %0, i64 33
br label %26
26: ; preds = %11, %26
%27 = phi i64 [ 0, %11 ], [ %114, %26 ]
%28 = load i32, i32* %12
%29 = shl i32 %28, 2
%30 = load i32, i32* %13
%31 = ashr i32 %30, 6
%32 = load i32, i32* %14
%33 = shl i32 %32, 5
%34 = load i32, i32* %15
%35 = ashr i32 %34, 3
%36 = xor i32 %31, %29
%37 = xor i32 %36, %33
%38 = xor i32 %37, %35
%39 = load i32, i32* %16
%40 = shl i32 %39, 5
%41 = load i32, i32* %17
%42 = ashr i32 %41, 3
%43 = load i32, i32* %18
%44 = shl i32 %43, 4
%45 = load i32, i32* %19
%46 = ashr i32 %45, 4
%47 = xor i32 %42, %40
%48 = xor i32 %47, %44
%49 = xor i32 %48, %46
%50 = load i32, i32* %20
%51 = shl i32 %50, 2
%52 = load i32, i32* %21
%53 = ashr i32 %52, 6
%54 = load i32, i32* %22
%55 = shl i32 %54, 7
%56 = load i32, i32* %23
%57 = ashr i32 %56, 1
%58 = xor i32 %53, %51
%59 = xor i32 %58, %55
%60 = xor i32 %59, %57
%61 = xor i32 %49, %38
%62 = xor i32 %61, %60
%63 = getelementptr inbounds i32, i32* %1, i64 %27
%64 = load i32, i32* %63
%65 = xor i32 %62, %64
store i32 %65, i32* %63
%66 = load i32, i32* %14
%67 = shl i32 %66, 3
%68 = load i32, i32* %15
%69 = ashr i32 %68, 5
%70 = xor i32 %69, %67
%71 = shl i32 %66, 4
%72 = ashr i32 %68, 4
%73 = xor i32 %72, %71
%74 = load i32, i32* %17
%75 = shl i32 %74, 6
%76 = load i32, i32* %18
%77 = ashr i32 %76, 2
%78 = and i32 %70, %73
%79 = xor i32 %75, %38
%80 = xor i32 %79, %78
%81 = xor i32 %80, %77
store i32 %81, i32* %4
%82 = shl i32 %76, 2
%83 = load i32, i32* %19
%84 = ashr i32 %83, 6
%85 = xor i32 %84, %82
%86 = shl i32 %76, 3
%87 = ashr i32 %83, 5
%88 = xor i32 %87, %86
%89 = load i32, i32* %24
%90 = shl i32 %89, 7
%91 = load i32, i32* %25
%92 = ashr i32 %91, 1
%93 = and i32 %85, %88
%94 = xor i32 %90, %49
%95 = xor i32 %94, %93
%96 = xor i32 %95, %92
store i32 %96, i32* %5
%97 = load i32, i32* %22
%98 = shl i32 %97, 5
%99 = load i32, i32* %23
%100 = ashr i32 %99, 3
%101 = xor i32 %100, %98
%102 = shl i32 %97, 6
%103 = ashr i32 %99, 2
%104 = xor i32 %103, %102
%105 = load i32, i32* %12
%106 = shl i32 %105, 5
%107 = load i32, i32* %13
%108 = ashr i32 %107, 3
%109 = and i32 %101, %104
%110 = xor i32 %106, %60
%111 = xor i32 %110, %109
%112 = xor i32 %111, %108
store i32 %112, i32* %6
%113 = call i32 @Rotate(i32* %0, i32* %4, i32* %5, i32* %6)
%114 = add nuw i64 %27, 1
%115 = icmp eq i64 %114, %2
br i1 %115, label %116, label %26
116: ; preds = %26, %3
ret void
}