#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] << 2) ^ (state[20] >> 6);
    x4 = (state[21] << 1) ^ (state[22] >> 7);
    t2 = x1 ^ x4;
    x1 = (state[29] << 3) ^ (state[30] >> 5);
    x4 = state[35];
    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] << 3) ^ (state[21] >> 5);
    t1 = t1 ^ (x2 & x3) ^ x5;
    x2 = (state[20] << 7) ^ (state[21] >> 1);
    x3 = state[21];
    x5 = state[32];
    t2 = t2 ^ (x2 & x3) ^ x5;
    x2 = (state[34] << 6) ^ (state[35] >> 2);
    x3 = (state[34] << 7) ^ (state[35] >> 1);
    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    1321 <Encrypt+0x211>
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    $0x2,%eax
mov    -0x8(%rbp),%rcx
mov    0x50(%rcx),%ecx
sar    $0x6,%ecx
xor    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    0x54(%rax),%eax
shl    $0x1,%eax
mov    -0x8(%rbp),%rcx
mov    0x58(%rcx),%ecx
sar    $0x7,%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    0x74(%rax),%eax
shl    $0x3,%eax
mov    -0x8(%rbp),%rcx
mov    0x78(%rcx),%ecx
sar    $0x5,%ecx
xor    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8c(%rax),%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    $0x3,%eax
mov    -0x8(%rbp),%rcx
mov    0x54(%rcx),%ecx
sar    $0x5,%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    0x50(%rax),%eax
shl    $0x7,%eax
mov    -0x8(%rbp),%rcx
mov    0x54(%rcx),%ecx
sar    $0x1,%ecx
xor    %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    0x54(%rax),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    0x80(%rax),%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    0x88(%rax),%eax
shl    $0x6,%eax
mov    -0x8(%rbp),%rcx
mov    0x8c(%rcx),%ecx
sar    $0x2,%ecx
xor    %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    0x88(%rax),%eax
shl    $0x7,%eax
mov    -0x8(%rbp),%rcx
mov    0x8c(%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,-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     124f <Encrypt+0x13f>
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),%edx
shl    $0x2,%eax
sar    $0x6,%edx
xor    %eax,%edx
mov    0x28(%rbx),%eax
shl    $0x5,%eax
mov    0x2c(%rbx),%ecx
sar    $0x3,%ecx
xor    %eax,%ecx
xor    %edx,%ecx
mov    0x4c(%rbx),%eax
shl    $0x2,%eax
mov    0x50(%rbx),%esi
sar    $0x6,%esi
xor    %eax,%esi
mov    0x54(%rbx),%eax
add    %eax,%eax
mov    0x58(%rbx),%edx
sar    $0x7,%edx
xor    %eax,%edx
xor    %esi,%edx
mov    0x74(%rbx),%esi
shl    $0x3,%esi
mov    0x78(%rbx),%r9d
sar    $0x5,%r9d
xor    %esi,%r9d
xor    0x8c(%rbx),%r9d
mov    %edx,%esi
xor    %ecx,%esi
xor    %r9d,%esi
xor    %esi,(%r14,%r12,4)
mov    0x28(%rbx),%edi
mov    0x2c(%rbx),%ebp
lea    0x0(,%rdi,8),%r8d
mov    %ebp,%esi
sar    $0x5,%esi
xor    %r8d,%esi
shl    $0x4,%edi
sar    $0x4,%ebp
xor    %edi,%ebp
and    %esi,%ebp
mov    0x50(%rbx),%esi
mov    0x54(%rbx),%r8d
mov    %r8d,%edi
mov    %r8d,%eax
sar    $0x5,%eax
xor    %ebp,%eax
lea    0x0(,%rsi,8),%ebp
xor    %ecx,%ebp
xor    %eax,%ebp
mov    %ebp,0x14(%rsp)
shl    $0x7,%esi
sar    %edi
xor    %esi,%edi
xor    0x80(%rbx),%edx
and    %r8d,%edi
xor    %edi,%edx
mov    %edx,0x10(%rsp)
mov    0x88(%rbx),%eax
mov    %eax,%ecx
shl    $0x6,%ecx
mov    0x8c(%rbx),%edx
mov    %edx,%esi
sar    $0x2,%esi
xor    %ecx,%esi
shl    $0x7,%eax
sar    %edx
xor    %eax,%edx
and    %esi,%edx
mov    0x1c(%rbx),%eax
mov    0x20(%rbx),%ecx
shl    $0x5,%eax
xor    %edx,%eax
sar    $0x3,%ecx
xor    %eax,%ecx
xor    %r9d,%ecx
mov    %ecx,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 = %180, %3
%17 = load i64, i64* %7
%18 = load i64, i64* %6
%19 = icmp ult i64 %17, %18
br i1 %19, label %20, label %183
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, 2
%46 = load i32*, i32** %4
%47 = getelementptr inbounds i32, i32* %46, i64 20
%48 = load i32, i32* %47
%49 = ashr i32 %48, 6
%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, 1
%55 = load i32*, i32** %4
%56 = getelementptr inbounds i32, i32* %55, i64 22
%57 = load i32, i32* %56
%58 = ashr i32 %57, 7
%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 29
%65 = load i32, i32* %64
%66 = shl i32 %65, 3
%67 = load i32*, i32** %4
%68 = getelementptr inbounds i32, i32* %67, i64 30
%69 = load i32, i32* %68
%70 = ashr i32 %69, 5
%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
store i32 %74, i32* %14
%75 = load i32, i32* %11
%76 = load i32, i32* %14
%77 = xor i32 %75, %76
store i32 %77, i32* %10
%78 = load i32, i32* %8
%79 = load i32, i32* %9
%80 = xor i32 %78, %79
%81 = load i32, i32* %10
%82 = xor i32 %80, %81
%83 = load i32*, i32** %5
%84 = load i64, i64* %7
%85 = getelementptr inbounds i32, i32* %83, i64 %84
%86 = load i32, i32* %85
%87 = xor i32 %86, %82
store i32 %87, i32* %85
%88 = load i32*, i32** %4
%89 = getelementptr inbounds i32, i32* %88, i64 10
%90 = load i32, i32* %89
%91 = shl i32 %90, 3
%92 = load i32*, i32** %4
%93 = getelementptr inbounds i32, i32* %92, i64 11
%94 = load i32, i32* %93
%95 = ashr i32 %94, 5
%96 = xor i32 %91, %95
store i32 %96, i32* %12
%97 = load i32*, i32** %4
%98 = getelementptr inbounds i32, i32* %97, i64 10
%99 = load i32, i32* %98
%100 = shl i32 %99, 4
%101 = load i32*, i32** %4
%102 = getelementptr inbounds i32, i32* %101, i64 11
%103 = load i32, i32* %102
%104 = ashr i32 %103, 4
%105 = xor i32 %100, %104
store i32 %105, i32* %13
%106 = load i32*, i32** %4
%107 = getelementptr inbounds i32, i32* %106, i64 20
%108 = load i32, i32* %107
%109 = shl i32 %108, 3
%110 = load i32*, i32** %4
%111 = getelementptr inbounds i32, i32* %110, i64 21
%112 = load i32, i32* %111
%113 = ashr i32 %112, 5
%114 = xor i32 %109, %113
store i32 %114, i32* %15
%115 = load i32, i32* %8
%116 = load i32, i32* %12
%117 = load i32, i32* %13
%118 = and i32 %116, %117
%119 = xor i32 %115, %118
%120 = load i32, i32* %15
%121 = xor i32 %119, %120
store i32 %121, i32* %8
%122 = load i32*, i32** %4
%123 = getelementptr inbounds i32, i32* %122, i64 20
%124 = load i32, i32* %123
%125 = shl i32 %124, 7
%126 = load i32*, i32** %4
%127 = getelementptr inbounds i32, i32* %126, i64 21
%128 = load i32, i32* %127
%129 = ashr i32 %128, 1
%130 = xor i32 %125, %129
store i32 %130, i32* %12
%131 = load i32*, i32** %4
%132 = getelementptr inbounds i32, i32* %131, i64 21
%133 = load i32, i32* %132
store i32 %133, i32* %13
%134 = load i32*, i32** %4
%135 = getelementptr inbounds i32, i32* %134, i64 32
%136 = load i32, i32* %135
store i32 %136, i32* %15
%137 = load i32, i32* %9
%138 = load i32, i32* %12
%139 = load i32, i32* %13
%140 = and i32 %138, %139
%141 = xor i32 %137, %140
%142 = load i32, i32* %15
%143 = xor i32 %141, %142
store i32 %143, i32* %9
%144 = load i32*, i32** %4
%145 = getelementptr inbounds i32, i32* %144, i64 34
%146 = load i32, i32* %145
%147 = shl i32 %146, 6
%148 = load i32*, i32** %4
%149 = getelementptr inbounds i32, i32* %148, i64 35
%150 = load i32, i32* %149
%151 = ashr i32 %150, 2
%152 = xor i32 %147, %151
store i32 %152, i32* %12
%153 = load i32*, i32** %4
%154 = getelementptr inbounds i32, i32* %153, i64 34
%155 = load i32, i32* %154
%156 = shl i32 %155, 7
%157 = load i32*, i32** %4
%158 = getelementptr inbounds i32, i32* %157, i64 35
%159 = load i32, i32* %158
%160 = ashr i32 %159, 1
%161 = xor i32 %156, %160
store i32 %161, i32* %13
%162 = load i32*, i32** %4
%163 = getelementptr inbounds i32, i32* %162, i64 7
%164 = load i32, i32* %163
%165 = shl i32 %164, 5
%166 = load i32*, i32** %4
%167 = getelementptr inbounds i32, i32* %166, i64 8
%168 = load i32, i32* %167
%169 = ashr i32 %168, 3
%170 = xor i32 %165, %169
store i32 %170, i32* %15
%171 = load i32, i32* %10
%172 = load i32, i32* %12
%173 = load i32, i32* %13
%174 = and i32 %172, %173
%175 = xor i32 %171, %174
%176 = load i32, i32* %15
%177 = xor i32 %175, %176
store i32 %177, i32* %10
%178 = load i32*, i32** %4
%179 = call i32 @Rotate(i32* %178, i32* %8, i32* %9, i32* %10)
br label %180
180: ; preds = %20
%181 = load i64, i64* %7
%182 = add i64 %181, 1
store i64 %182, i64* %7
br label %16
183: ; 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 %103, 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 29
%21 = getelementptr inbounds i32, i32* %0, i64 30
%22 = getelementptr inbounds i32, i32* %0, i64 35
%23 = getelementptr inbounds i32, i32* %0, i64 32
%24 = getelementptr inbounds i32, i32* %0, i64 34
br label %25
25: ; preds = %11, %25
%26 = phi i64 [ 0, %11 ], [ %101, %25 ]
%27 = load i32, i32* %12
%28 = shl i32 %27, 2
%29 = load i32, i32* %13
%30 = ashr i32 %29, 6
%31 = load i32, i32* %14
%32 = shl i32 %31, 5
%33 = load i32, i32* %15
%34 = ashr i32 %33, 3
%35 = xor i32 %30, %28
%36 = xor i32 %35, %32
%37 = xor i32 %36, %34
%38 = load i32, i32* %16
%39 = shl i32 %38, 2
%40 = load i32, i32* %17
%41 = ashr i32 %40, 6
%42 = load i32, i32* %18
%43 = shl i32 %42, 1
%44 = load i32, i32* %19
%45 = ashr i32 %44, 7
%46 = xor i32 %41, %39
%47 = xor i32 %46, %43
%48 = xor i32 %47, %45
%49 = load i32, i32* %20
%50 = shl i32 %49, 3
%51 = load i32, i32* %21
%52 = ashr i32 %51, 5
%53 = xor i32 %52, %50
%54 = load i32, i32* %22
%55 = xor i32 %53, %54
%56 = xor i32 %48, %37
%57 = xor i32 %56, %55
%58 = getelementptr inbounds i32, i32* %1, i64 %26
%59 = load i32, i32* %58
%60 = xor i32 %57, %59
store i32 %60, i32* %58
%61 = load i32, i32* %14
%62 = shl i32 %61, 3
%63 = load i32, i32* %15
%64 = ashr i32 %63, 5
%65 = xor i32 %64, %62
%66 = shl i32 %61, 4
%67 = ashr i32 %63, 4
%68 = xor i32 %67, %66
%69 = load i32, i32* %17
%70 = shl i32 %69, 3
%71 = load i32, i32* %18
%72 = ashr i32 %71, 5
%73 = and i32 %65, %68
%74 = xor i32 %70, %37
%75 = xor i32 %74, %73
%76 = xor i32 %75, %72
store i32 %76, i32* %4
%77 = shl i32 %69, 7
%78 = ashr i32 %71, 1
%79 = xor i32 %78, %77
%80 = load i32, i32* %23
%81 = and i32 %79, %71
%82 = xor i32 %80, %48
%83 = xor i32 %82, %81
store i32 %83, i32* %5
%84 = load i32, i32* %24
%85 = shl i32 %84, 6
%86 = load i32, i32* %22
%87 = ashr i32 %86, 2
%88 = xor i32 %87, %85
%89 = shl i32 %84, 7
%90 = ashr i32 %86, 1
%91 = xor i32 %90, %89
%92 = load i32, i32* %12
%93 = shl i32 %92, 5
%94 = load i32, i32* %13
%95 = ashr i32 %94, 3
%96 = and i32 %88, %91
%97 = xor i32 %93, %55
%98 = xor i32 %97, %96
%99 = xor i32 %98, %95
store i32 %99, i32* %6
%100 = call i32 @Rotate(i32* %0, i32* %4, i32* %5, i32* %6)
%101 = add nuw i64 %26, 1
%102 = icmp eq i64 %101, %2
br i1 %102, label %103, label %25
103: ; preds = %25, %3
ret void
}