void decrypt_32bits(unsigned long long *state, unsigned int *plaintextword,
                    unsigned int ciphertextword, unsigned int *ks,
                    unsigned int ca, unsigned int cb) {
  unsigned long long f;
  unsigned long long word_244, word_23, word_160, word_111, word_66, word_196,
      word_0, word_107, word_230;
  unsigned long long word_12, word_154, word_235, word_61, word_193;
  word_12 = state[0] >> 12;
  word_235 = state[5] >> 5;
  word_244 = state[5] >> 14;
  word_23 = state[0] >> 23;
  word_160 = state[3] >> 6;
  word_111 = state[2] >> 4;
  word_66 = state[1] >> 5;
  word_196 = state[4] >> 3;
  state[6] ^= (state[5] ^ word_235) & 0xffffffff;
  state[5] ^= (state[4] ^ word_196) & 0xffffffff;
  state[4] ^= (state[3] ^ word_160) & 0xffffffff;
  state[3] ^= (state[2] ^ word_111) & 0xffffffff;
  state[2] ^= (state[1] ^ word_66) & 0xffffffff;
  state[1] ^= (state[0] ^ word_23) & 0xffffffff;
  *ks = word_12 ^ state[3] ^
        (((word_235) & (state[1])) ^ ((word_235) & (state[4])) ^
         ((state[1]) & (state[4])));
  f = state[0] ^ (state[2] ^ 0xffffffff) ^
      (((word_244) & (word_23)) ^ ((word_244) & (word_160)) ^
       ((word_23) & (word_160))) ^
      (((state[5]) & (word_111)) ^ ((~state[5]) & (word_66))) ^
      (word_196 & ca) ^ (cb & *ks);
  *plaintextword = ciphertextword ^ *ks;
  f = (f ^ *plaintextword) & 0xffffffff;
  state[6] = state[6] ^ (f << 4);
  state[0] = (state[0] >> 32) | ((state[1] & 0xffffffff) << 29);
  state[1] = (state[1] >> 32) | ((state[2] & 0xffffffff) << 14);
  state[2] = (state[2] >> 32) | ((state[3] & 0xffffffff) << 15);
  state[3] = (state[3] >> 32) | ((state[4] & 0xffffffff) << 7);
  state[4] = (state[4] >> 32) | ((state[5] & 0xffffffff) << 5);
  state[5] = (state[5] >> 32) | ((state[6] & 0xffffffff) << 27);
  state[6] = state[6] >> 32;
  return;
}


x86 assembly (clang, -O0):
<decrypt_32bits>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
shr    $0xc,%rax
mov    %rax,-0x80(%rbp)
mov    -0x8(%rbp),%rax
mov    0x28(%rax),%rax
shr    $0x5,%rax
mov    %rax,-0x90(%rbp)
mov    -0x8(%rbp),%rax
mov    0x28(%rax),%rax
shr    $0xe,%rax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
shr    $0x17,%rax
mov    %rax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    0x18(%rax),%rax
shr    $0x6,%rax
mov    %rax,-0x48(%rbp)
mov    -0x8(%rbp),%rax
mov    0x10(%rax),%rax
shr    $0x4,%rax
mov    %rax,-0x50(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
shr    $0x5,%rax
mov    %rax,-0x58(%rbp)
mov    -0x8(%rbp),%rax
mov    0x20(%rax),%rax
shr    $0x3,%rax
mov    %rax,-0x60(%rbp)
mov    -0x8(%rbp),%rax
mov    0x28(%rax),%rcx
xor    -0x90(%rbp),%rcx
movabs $0xffffffff,%rax
and    %rax,%rcx
mov    -0x8(%rbp),%rax
xor    0x30(%rax),%rcx
mov    %rcx,0x30(%rax)
mov    -0x8(%rbp),%rax
mov    0x20(%rax),%rcx
xor    -0x60(%rbp),%rcx
movabs $0xffffffff,%rax
and    %rax,%rcx
mov    -0x8(%rbp),%rax
xor    0x28(%rax),%rcx
mov    %rcx,0x28(%rax)
mov    -0x8(%rbp),%rax
mov    0x18(%rax),%rcx
xor    -0x48(%rbp),%rcx
movabs $0xffffffff,%rax
and    %rax,%rcx
mov    -0x8(%rbp),%rax
xor    0x20(%rax),%rcx
mov    %rcx,0x20(%rax)
mov    -0x8(%rbp),%rax
mov    0x10(%rax),%rcx
xor    -0x50(%rbp),%rcx
movabs $0xffffffff,%rax
and    %rax,%rcx
mov    -0x8(%rbp),%rax
xor    0x18(%rax),%rcx
mov    %rcx,0x18(%rax)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rcx
xor    -0x58(%rbp),%rcx
movabs $0xffffffff,%rax
and    %rax,%rcx
mov    -0x8(%rbp),%rax
xor    0x10(%rax),%rcx
mov    %rcx,0x10(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
xor    -0x40(%rbp),%rcx
movabs $0xffffffff,%rax
and    %rax,%rcx
mov    -0x8(%rbp),%rax
xor    0x8(%rax),%rcx
mov    %rcx,0x8(%rax)
mov    -0x80(%rbp),%rax
mov    -0x8(%rbp),%rcx
xor    0x18(%rcx),%rax
mov    -0x90(%rbp),%rcx
mov    -0x8(%rbp),%rdx
and    0x8(%rdx),%rcx
mov    -0x90(%rbp),%rdx
mov    -0x8(%rbp),%rsi
and    0x20(%rsi),%rdx
xor    %rdx,%rcx
mov    -0x8(%rbp),%rdx
mov    0x8(%rdx),%rdx
mov    -0x8(%rbp),%rsi
and    0x20(%rsi),%rdx
xor    %rdx,%rcx
xor    %rcx,%rax
mov    %eax,%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    -0x8(%rbp),%rdx
movabs $0xffffffff,%rcx
xor    0x10(%rdx),%rcx
xor    %rcx,%rax
mov    -0x38(%rbp),%rcx
and    -0x40(%rbp),%rcx
mov    -0x38(%rbp),%rdx
and    -0x48(%rbp),%rdx
xor    %rdx,%rcx
mov    -0x40(%rbp),%rdx
and    -0x48(%rbp),%rdx
xor    %rdx,%rcx
xor    %rcx,%rax
mov    -0x8(%rbp),%rcx
mov    0x28(%rcx),%rcx
and    -0x50(%rbp),%rcx
mov    -0x8(%rbp),%rdx
mov    0x28(%rdx),%rdx
xor    $0xffffffffffffffff,%rdx
and    -0x58(%rbp),%rdx
xor    %rdx,%rcx
xor    %rcx,%rax
mov    -0x60(%rbp),%rcx
mov    -0x24(%rbp),%edx
and    %rdx,%rcx
xor    %rcx,%rax
mov    -0x28(%rbp),%ecx
mov    -0x20(%rbp),%rdx
and    (%rdx),%ecx
mov    %ecx,%ecx
xor    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%ecx
mov    -0x20(%rbp),%rax
xor    (%rax),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
xor    %rcx,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    0x30(%rax),%rcx
mov    -0x30(%rbp),%rax
shl    $0x4,%rax
xor    %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x30(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
shr    $0x20,%rcx
mov    -0x8(%rbp),%rdx
movabs $0xffffffff,%rax
and    0x8(%rdx),%rax
shl    $0x1d,%rax
or     %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rcx
shr    $0x20,%rcx
mov    -0x8(%rbp),%rdx
movabs $0xffffffff,%rax
and    0x10(%rdx),%rax
shl    $0xe,%rax
or     %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x8(%rbp),%rax
mov    0x10(%rax),%rcx
shr    $0x20,%rcx
mov    -0x8(%rbp),%rdx
movabs $0xffffffff,%rax
and    0x18(%rdx),%rax
shl    $0xf,%rax
or     %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x10(%rax)
mov    -0x8(%rbp),%rax
mov    0x18(%rax),%rcx
shr    $0x20,%rcx
mov    -0x8(%rbp),%rdx
movabs $0xffffffff,%rax
and    0x20(%rdx),%rax
shl    $0x7,%rax
or     %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x18(%rax)
mov    -0x8(%rbp),%rax
mov    0x20(%rax),%rcx
shr    $0x20,%rcx
mov    -0x8(%rbp),%rdx
movabs $0xffffffff,%rax
and    0x28(%rdx),%rax
shl    $0x5,%rax
or     %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x20(%rax)
mov    -0x8(%rbp),%rax
mov    0x28(%rax),%rcx
shr    $0x20,%rcx
mov    -0x8(%rbp),%rdx
movabs $0xffffffff,%rax
and    0x30(%rdx),%rax
shl    $0x1b,%rax
or     %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x28(%rax)
mov    -0x8(%rbp),%rax
mov    0x30(%rax),%rcx
shr    $0x20,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x30(%rax)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<decrypt_32bits>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r9d,-0x2c(%rsp)
mov    %r8d,-0x34(%rsp)
mov    %rcx,-0x18(%rsp)
mov    %edx,-0x30(%rsp)
mov    %rsi,-0x8(%rsp)
mov    %rdi,%r11
mov    (%rdi),%r10
mov    %r10,%rbx
shr    $0xc,%rbx
mov    %r10,%rcx
shr    $0x17,%rcx
mov    0x18(%rdi),%rax
mov    %rax,%r12
mov    %rax,-0x10(%rsp)
shr    $0x6,%r12
mov    0x10(%rdi),%rdx
mov    %rdx,%rbp
mov    %rdx,-0x20(%rsp)
shr    $0x4,%rbp
mov    0x20(%rdi),%rsi
mov    %rsi,-0x28(%rsp)
mov    %r12d,%r15d
xor    %eax,%r15d
xor    %rsi,%r15
mov    %ebp,%r13d
xor    %edx,%r13d
xor    %rax,%r13
mov    %r12d,%esi
xor    %ecx,%esi
and    %ecx,%r12d
mov    %ecx,%edx
xor    %r10d,%edx
mov    0x8(%rdi),%r9
xor    %r9,%rdx
mov    %r15d,%r8d
and    %edx,%r8d
xor    %r13d,%ebx
xor    %r8d,%ebx
mov    0x28(%rdi),%r14
mov    %r14,%r8
shr    $0x5,%r8
mov    %r15d,%eax
xor    %edx,%eax
and    %r8d,%eax
xor    %r14d,%r8d
xor    0x30(%rdi),%r8
xor    %eax,%ebx
mov    -0x18(%rsp),%rax
mov    %ebx,(%rax)
mov    %r14,%rax
shr    $0xe,%rax
and    %esi,%eax
xor    %r10d,%r12d
xor    %eax,%r12d
mov    %r9,%rax
shr    $0x5,%rax
mov    -0x28(%rsp),%rcx
mov    %rcx,%rsi
shr    $0x3,%rsi
mov    -0x34(%rsp),%edi
and    %esi,%edi
xor    %ecx,%esi
xor    %r14,%rsi
xor    %eax,%ebp
and    %esi,%ebp
xor    %eax,%ebp
xor    %r9d,%eax
xor    -0x20(%rsp),%rax
xor    %eax,%r12d
xor    %ebp,%r12d
mov    -0x2c(%rsp),%ecx
and    %ebx,%ecx
xor    %edi,%ecx
xor    -0x30(%rsp),%ebx
mov    -0x8(%rsp),%rdi
mov    %ebx,(%rdi)
xor    %r12d,%ebx
xor    %ecx,%ebx
movabs $0xffffffff0,%rbp
xor    %r8,%rbp
shl    $0x4,%rbx
xor    %rbx,%rbp
shr    $0x20,%r10
mov    %edx,%ecx
shl    $0x1d,%rcx
or     %r10,%rcx
mov    %rcx,(%r11)
shr    $0x20,%r9
mov    %eax,%eax
shl    $0xe,%rax
or     %r9,%rax
mov    %rax,0x8(%r11)
mov    -0x20(%rsp),%rcx
shr    $0x20,%rcx
mov    %r13d,%eax
shl    $0xf,%rax
or     %rcx,%rax
mov    %rax,0x10(%r11)
mov    %r15d,%eax
mov    -0x10(%rsp),%rcx
shr    $0x20,%rcx
shl    $0x7,%rax
or     %rcx,%rax
mov    %rax,0x18(%r11)
mov    -0x28(%rsp),%rcx
shr    $0x20,%rcx
mov    %esi,%eax
shl    $0x5,%rax
or     %rcx,%rax
mov    %rax,0x20(%r11)
shr    $0x20,%r14
mov    %ebp,%eax
shl    $0x1b,%rax
or     %r14,%rax
mov    %rax,0x28(%r11)
shr    $0x20,%rbp
mov    %rbp,0x30(%r11)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @decrypt_32bits(i64* %0, i32* %1, i32 %2, i32* %3, i32 %4, i32 %5) {
%7 = alloca i64*
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32*
%11 = alloca i32
%12 = alloca i32
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64
%19 = alloca i64
%20 = alloca i64
%21 = alloca i64
%22 = alloca i64
%23 = alloca i64
%24 = alloca i64
%25 = alloca i64
%26 = alloca i64
%27 = alloca i64
store i64* %0, i64** %7
store i32* %1, i32** %8
store i32 %2, i32* %9
store i32* %3, i32** %10
store i32 %4, i32* %11
store i32 %5, i32* %12
%28 = load i64*, i64** %7
%29 = getelementptr inbounds i64, i64* %28, i64 0
%30 = load i64, i64* %29
%31 = lshr i64 %30, 12
store i64 %31, i64* %23
%32 = load i64*, i64** %7
%33 = getelementptr inbounds i64, i64* %32, i64 5
%34 = load i64, i64* %33
%35 = lshr i64 %34, 5
store i64 %35, i64* %25
%36 = load i64*, i64** %7
%37 = getelementptr inbounds i64, i64* %36, i64 5
%38 = load i64, i64* %37
%39 = lshr i64 %38, 14
store i64 %39, i64* %14
%40 = load i64*, i64** %7
%41 = getelementptr inbounds i64, i64* %40, i64 0
%42 = load i64, i64* %41
%43 = lshr i64 %42, 23
store i64 %43, i64* %15
%44 = load i64*, i64** %7
%45 = getelementptr inbounds i64, i64* %44, i64 3
%46 = load i64, i64* %45
%47 = lshr i64 %46, 6
store i64 %47, i64* %16
%48 = load i64*, i64** %7
%49 = getelementptr inbounds i64, i64* %48, i64 2
%50 = load i64, i64* %49
%51 = lshr i64 %50, 4
store i64 %51, i64* %17
%52 = load i64*, i64** %7
%53 = getelementptr inbounds i64, i64* %52, i64 1
%54 = load i64, i64* %53
%55 = lshr i64 %54, 5
store i64 %55, i64* %18
%56 = load i64*, i64** %7
%57 = getelementptr inbounds i64, i64* %56, i64 4
%58 = load i64, i64* %57
%59 = lshr i64 %58, 3
store i64 %59, i64* %19
%60 = load i64*, i64** %7
%61 = getelementptr inbounds i64, i64* %60, i64 5
%62 = load i64, i64* %61
%63 = load i64, i64* %25
%64 = xor i64 %62, %63
%65 = and i64 %64, 4294967295
%66 = load i64*, i64** %7
%67 = getelementptr inbounds i64, i64* %66, i64 6
%68 = load i64, i64* %67
%69 = xor i64 %68, %65
store i64 %69, i64* %67
%70 = load i64*, i64** %7
%71 = getelementptr inbounds i64, i64* %70, i64 4
%72 = load i64, i64* %71
%73 = load i64, i64* %19
%74 = xor i64 %72, %73
%75 = and i64 %74, 4294967295
%76 = load i64*, i64** %7
%77 = getelementptr inbounds i64, i64* %76, i64 5
%78 = load i64, i64* %77
%79 = xor i64 %78, %75
store i64 %79, i64* %77
%80 = load i64*, i64** %7
%81 = getelementptr inbounds i64, i64* %80, i64 3
%82 = load i64, i64* %81
%83 = load i64, i64* %16
%84 = xor i64 %82, %83
%85 = and i64 %84, 4294967295
%86 = load i64*, i64** %7
%87 = getelementptr inbounds i64, i64* %86, i64 4
%88 = load i64, i64* %87
%89 = xor i64 %88, %85
store i64 %89, i64* %87
%90 = load i64*, i64** %7
%91 = getelementptr inbounds i64, i64* %90, i64 2
%92 = load i64, i64* %91
%93 = load i64, i64* %17
%94 = xor i64 %92, %93
%95 = and i64 %94, 4294967295
%96 = load i64*, i64** %7
%97 = getelementptr inbounds i64, i64* %96, i64 3
%98 = load i64, i64* %97
%99 = xor i64 %98, %95
store i64 %99, i64* %97
%100 = load i64*, i64** %7
%101 = getelementptr inbounds i64, i64* %100, i64 1
%102 = load i64, i64* %101
%103 = load i64, i64* %18
%104 = xor i64 %102, %103
%105 = and i64 %104, 4294967295
%106 = load i64*, i64** %7
%107 = getelementptr inbounds i64, i64* %106, i64 2
%108 = load i64, i64* %107
%109 = xor i64 %108, %105
store i64 %109, i64* %107
%110 = load i64*, i64** %7
%111 = getelementptr inbounds i64, i64* %110, i64 0
%112 = load i64, i64* %111
%113 = load i64, i64* %15
%114 = xor i64 %112, %113
%115 = and i64 %114, 4294967295
%116 = load i64*, i64** %7
%117 = getelementptr inbounds i64, i64* %116, i64 1
%118 = load i64, i64* %117
%119 = xor i64 %118, %115
store i64 %119, i64* %117
%120 = load i64, i64* %23
%121 = load i64*, i64** %7
%122 = getelementptr inbounds i64, i64* %121, i64 3
%123 = load i64, i64* %122
%124 = xor i64 %120, %123
%125 = load i64, i64* %25
%126 = load i64*, i64** %7
%127 = getelementptr inbounds i64, i64* %126, i64 1
%128 = load i64, i64* %127
%129 = and i64 %125, %128
%130 = load i64, i64* %25
%131 = load i64*, i64** %7
%132 = getelementptr inbounds i64, i64* %131, i64 4
%133 = load i64, i64* %132
%134 = and i64 %130, %133
%135 = xor i64 %129, %134
%136 = load i64*, i64** %7
%137 = getelementptr inbounds i64, i64* %136, i64 1
%138 = load i64, i64* %137
%139 = load i64*, i64** %7
%140 = getelementptr inbounds i64, i64* %139, i64 4
%141 = load i64, i64* %140
%142 = and i64 %138, %141
%143 = xor i64 %135, %142
%144 = xor i64 %124, %143
%145 = trunc i64 %144 to i32
%146 = load i32*, i32** %10
store i32 %145, i32* %146
%147 = load i64*, i64** %7
%148 = getelementptr inbounds i64, i64* %147, i64 0
%149 = load i64, i64* %148
%150 = load i64*, i64** %7
%151 = getelementptr inbounds i64, i64* %150, i64 2
%152 = load i64, i64* %151
%153 = xor i64 %152, 4294967295
%154 = xor i64 %149, %153
%155 = load i64, i64* %14
%156 = load i64, i64* %15
%157 = and i64 %155, %156
%158 = load i64, i64* %14
%159 = load i64, i64* %16
%160 = and i64 %158, %159
%161 = xor i64 %157, %160
%162 = load i64, i64* %15
%163 = load i64, i64* %16
%164 = and i64 %162, %163
%165 = xor i64 %161, %164
%166 = xor i64 %154, %165
%167 = load i64*, i64** %7
%168 = getelementptr inbounds i64, i64* %167, i64 5
%169 = load i64, i64* %168
%170 = load i64, i64* %17
%171 = and i64 %169, %170
%172 = load i64*, i64** %7
%173 = getelementptr inbounds i64, i64* %172, i64 5
%174 = load i64, i64* %173
%175 = xor i64 %174, -1
%176 = load i64, i64* %18
%177 = and i64 %175, %176
%178 = xor i64 %171, %177
%179 = xor i64 %166, %178
%180 = load i64, i64* %19
%181 = load i32, i32* %11
%182 = zext i32 %181 to i64
%183 = and i64 %180, %182
%184 = xor i64 %179, %183
%185 = load i32, i32* %12
%186 = load i32*, i32** %10
%187 = load i32, i32* %186
%188 = and i32 %185, %187
%189 = zext i32 %188 to i64
%190 = xor i64 %184, %189
store i64 %190, i64* %13
%191 = load i32, i32* %9
%192 = load i32*, i32** %10
%193 = load i32, i32* %192
%194 = xor i32 %191, %193
%195 = load i32*, i32** %8
store i32 %194, i32* %195
%196 = load i64, i64* %13
%197 = load i32*, i32** %8
%198 = load i32, i32* %197
%199 = zext i32 %198 to i64
%200 = xor i64 %196, %199
%201 = and i64 %200, 4294967295
store i64 %201, i64* %13
%202 = load i64*, i64** %7
%203 = getelementptr inbounds i64, i64* %202, i64 6
%204 = load i64, i64* %203
%205 = load i64, i64* %13
%206 = shl i64 %205, 4
%207 = xor i64 %204, %206
%208 = load i64*, i64** %7
%209 = getelementptr inbounds i64, i64* %208, i64 6
store i64 %207, i64* %209
%210 = load i64*, i64** %7
%211 = getelementptr inbounds i64, i64* %210, i64 0
%212 = load i64, i64* %211
%213 = lshr i64 %212, 32
%214 = load i64*, i64** %7
%215 = getelementptr inbounds i64, i64* %214, i64 1
%216 = load i64, i64* %215
%217 = and i64 %216, 4294967295
%218 = shl i64 %217, 29
%219 = or i64 %213, %218
%220 = load i64*, i64** %7
%221 = getelementptr inbounds i64, i64* %220, i64 0
store i64 %219, i64* %221
%222 = load i64*, i64** %7
%223 = getelementptr inbounds i64, i64* %222, i64 1
%224 = load i64, i64* %223
%225 = lshr i64 %224, 32
%226 = load i64*, i64** %7
%227 = getelementptr inbounds i64, i64* %226, i64 2
%228 = load i64, i64* %227
%229 = and i64 %228, 4294967295
%230 = shl i64 %229, 14
%231 = or i64 %225, %230
%232 = load i64*, i64** %7
%233 = getelementptr inbounds i64, i64* %232, i64 1
store i64 %231, i64* %233
%234 = load i64*, i64** %7
%235 = getelementptr inbounds i64, i64* %234, i64 2
%236 = load i64, i64* %235
%237 = lshr i64 %236, 32
%238 = load i64*, i64** %7
%239 = getelementptr inbounds i64, i64* %238, i64 3
%240 = load i64, i64* %239
%241 = and i64 %240, 4294967295
%242 = shl i64 %241, 15
%243 = or i64 %237, %242
%244 = load i64*, i64** %7
%245 = getelementptr inbounds i64, i64* %244, i64 2
store i64 %243, i64* %245
%246 = load i64*, i64** %7
%247 = getelementptr inbounds i64, i64* %246, i64 3
%248 = load i64, i64* %247
%249 = lshr i64 %248, 32
%250 = load i64*, i64** %7
%251 = getelementptr inbounds i64, i64* %250, i64 4
%252 = load i64, i64* %251
%253 = and i64 %252, 4294967295
%254 = shl i64 %253, 7
%255 = or i64 %249, %254
%256 = load i64*, i64** %7
%257 = getelementptr inbounds i64, i64* %256, i64 3
store i64 %255, i64* %257
%258 = load i64*, i64** %7
%259 = getelementptr inbounds i64, i64* %258, i64 4
%260 = load i64, i64* %259
%261 = lshr i64 %260, 32
%262 = load i64*, i64** %7
%263 = getelementptr inbounds i64, i64* %262, i64 5
%264 = load i64, i64* %263
%265 = and i64 %264, 4294967295
%266 = shl i64 %265, 5
%267 = or i64 %261, %266
%268 = load i64*, i64** %7
%269 = getelementptr inbounds i64, i64* %268, i64 4
store i64 %267, i64* %269
%270 = load i64*, i64** %7
%271 = getelementptr inbounds i64, i64* %270, i64 5
%272 = load i64, i64* %271
%273 = lshr i64 %272, 32
%274 = load i64*, i64** %7
%275 = getelementptr inbounds i64, i64* %274, i64 6
%276 = load i64, i64* %275
%277 = and i64 %276, 4294967295
%278 = shl i64 %277, 27
%279 = or i64 %273, %278
%280 = load i64*, i64** %7
%281 = getelementptr inbounds i64, i64* %280, i64 5
store i64 %279, i64* %281
%282 = load i64*, i64** %7
%283 = getelementptr inbounds i64, i64* %282, i64 6
%284 = load i64, i64* %283
%285 = lshr i64 %284, 32
%286 = load i64*, i64** %7
%287 = getelementptr inbounds i64, i64* %286, i64 6
store i64 %285, i64* %287
ret void
}

LLVM IR (-O2):
define void @decrypt_32bits(i64* nocapture %0, i32* nocapture writeonly %1, i32 %2, i32* nocapture writeonly %3, i32 %4, i32 %5) {
%7 = load i64, i64* %0
%8 = lshr i64 %7, 12
%9 = getelementptr inbounds i64, i64* %0, i64 5
%10 = load i64, i64* %9
%11 = lshr i64 %10, 5
%12 = lshr i64 %10, 14
%13 = lshr i64 %7, 23
%14 = getelementptr inbounds i64, i64* %0, i64 3
%15 = load i64, i64* %14
%16 = lshr i64 %15, 6
%17 = getelementptr inbounds i64, i64* %0, i64 2
%18 = load i64, i64* %17
%19 = lshr i64 %18, 4
%20 = getelementptr inbounds i64, i64* %0, i64 1
%21 = load i64, i64* %20
%22 = lshr i64 %21, 5
%23 = getelementptr inbounds i64, i64* %0, i64 4
%24 = load i64, i64* %23
%25 = lshr i64 %24, 3
%26 = xor i64 %11, %10
%27 = and i64 %26, 4294967295
%28 = getelementptr inbounds i64, i64* %0, i64 6
%29 = load i64, i64* %28
%30 = xor i64 %29, %27
%31 = xor i64 %25, %24
%32 = and i64 %31, 4294967295
%33 = xor i64 %32, %10
%34 = xor i64 %16, %15
%35 = and i64 %34, 4294967295
%36 = xor i64 %24, %35
%37 = xor i64 %19, %18
%38 = and i64 %37, 4294967295
%39 = xor i64 %38, %15
%40 = xor i64 %22, %21
%41 = and i64 %40, 4294967295
%42 = xor i64 %41, %18
%43 = xor i64 %13, %7
%44 = and i64 %43, 4294967295
%45 = xor i64 %21, %44
%46 = xor i64 %36, %45
%47 = and i64 %46, %11
%48 = and i64 %36, %45
%49 = xor i64 %39, %8
%50 = xor i64 %49, %48
%51 = xor i64 %50, %47
%52 = trunc i64 %51 to i32
store i32 %52, i32* %3
%53 = xor i64 %16, %13
%54 = and i64 %53, %12
%55 = and i64 %16, %13
%56 = and i64 %33, %19
%57 = xor i64 %33, -1
%58 = and i64 %22, %57
%59 = or i64 %56, %58
%60 = xor i64 %55, %7
%61 = xor i64 %60, %54
%62 = xor i64 %61, %42
%63 = xor i64 %62, %59
%64 = zext i32 %4 to i64
%65 = and i64 %25, %64
%66 = and i32 %52, %5
%67 = zext i32 %66 to i64
%68 = xor i32 %52, %2
store i32 %68, i32* %1
%69 = zext i32 %68 to i64
%70 = and i64 %63, 4294967295
%71 = xor i64 %65, %67
%72 = xor i64 %71, %69
%73 = xor i64 %72, %70
%74 = shl nuw nsw i64 %73, 4
%75 = xor i64 %30, %74
%76 = xor i64 %75, 68719476720
%77 = lshr i64 %7, 32
%78 = shl i64 %45, 29
%79 = and i64 %78, 2305843008676823040
%80 = or i64 %79, %77
store i64 %80, i64* %0
%81 = lshr i64 %21, 32
%82 = shl i64 %42, 14
%83 = and i64 %82, 70368744161280
%84 = or i64 %83, %81
store i64 %84, i64* %20
%85 = lshr i64 %18, 32
%86 = shl i64 %39, 15
%87 = and i64 %86, 140737488322560
%88 = or i64 %87, %85
store i64 %88, i64* %17
%89 = lshr i64 %15, 32
%90 = shl i64 %36, 7
%91 = and i64 %90, 549755813760
%92 = or i64 %91, %89
store i64 %92, i64* %14
%93 = lshr i64 %24, 32
%94 = shl i64 %33, 5
%95 = and i64 %94, 137438953440
%96 = or i64 %95, %93
store i64 %96, i64* %23
%97 = lshr i64 %10, 32
%98 = shl i64 %76, 27
%99 = and i64 %98, 576460752169205760
%100 = or i64 %99, %97
store i64 %100, i64* %9
%101 = lshr i64 %76, 32
store i64 %101, i64* %28
ret void
}