void RandomFunc(unsigned int input[1], unsigned int output[1]) {
  unsigned int state[1];
  unsigned short copy11;
  char copy12;
  {
    state[0UL] = (input[0UL] - 51238316UL) - 339126204U;
    if ((state[0UL] >> 3U) & 1U) {
      if (state[0UL] & 1U) {
        if (state[0UL] & 1U) {
          copy11 = *((unsigned short *)(&state[0UL]) + 1);
          *((unsigned short *)(&state[0UL]) + 1) =
              *((unsigned short *)(&state[0UL]) + 0);
          *((unsigned short *)(&state[0UL]) + 0) = copy11;
          copy11 = *((unsigned short *)(&state[0UL]) + 0);
          *((unsigned short *)(&state[0UL]) + 0) =
              *((unsigned short *)(&state[0UL]) + 1);
          *((unsigned short *)(&state[0UL]) + 1) = copy11;
          state[0UL] |= ((state[0UL] + state[0UL]) & 63U) << 4UL;
        } else {
          state[0UL] |= (((state[0UL] << ((state[0UL] & 15U) | 1UL)) |
                          (state[0UL] >> (32 - ((state[0UL] & 15U) | 1UL)))) &
                         31U)
                        << 3UL;
          state[0UL] = (state[0UL] << ((state[0UL] & 15U) | 1UL)) |
                       (state[0UL] >> (32 - ((state[0UL] & 15U) | 1UL)));
        }
      } else if ((state[0UL] >> 3U) & 1U) {
        state[0UL] |=
            (((state[0UL] << (((state[0UL] >> 2U) & 15U) | 1UL)) |
              (state[0UL] >> (32 - (((state[0UL] >> 2U) & 15U) | 1UL)))) &
             31U)
            << 4UL;
        state[0UL] |= (state[0UL] & 31U) << 4UL;
      } else {
        state[0UL] |= (state[0UL] & 31U) << 3UL;
        state[0UL] |= (state[0UL] & 15U) << 3UL;
      }
    } else if ((state[0UL] >> 1U) & 1U) {
      copy12 = *((char *)(&state[0UL]) + 1);
      *((char *)(&state[0UL]) + 1) = *((char *)(&state[0UL]) + 2);
      *((char *)(&state[0UL]) + 2) = copy12;
      state[0UL] *= state[0UL];
    } else {
      state[0UL] <<= (state[0UL] & 7U) | 1UL;
      state[0UL] = (state[0UL] << (((state[0UL] >> 4U) & 15U) | 1UL)) |
                   (state[0UL] >> (32 - (((state[0UL] >> 4U) & 15U) | 1UL)));
    }
    output[0UL] = ((state[0UL] + 805529487UL) >> 3U) |
                  ((state[0UL] + 805529487UL) << 29U);
  }
}


x86 assembly (clang, -O0):
<RandomFunc>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
sub    $0x30dd5ac,%rax
sub    $0x1436a7bc,%rax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
shr    $0x3,%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     129c <RandomFunc+0x19c>
mov    -0x14(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     120c <RandomFunc+0x10c>
mov    -0x14(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1198 <RandomFunc+0x98>
mov    -0x12(%rbp),%ax
mov    %ax,-0x16(%rbp)
mov    -0x14(%rbp),%ax
mov    %ax,-0x12(%rbp)
mov    -0x16(%rbp),%ax
mov    %ax,-0x14(%rbp)
mov    -0x14(%rbp),%ax
mov    %ax,-0x16(%rbp)
mov    -0x12(%rbp),%ax
mov    %ax,-0x14(%rbp)
mov    -0x16(%rbp),%ax
mov    %ax,-0x12(%rbp)
mov    -0x14(%rbp),%eax
add    -0x14(%rbp),%eax
and    $0x3f,%eax
shl    $0x4,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    1207 <RandomFunc+0x107>
mov    -0x14(%rbp),%eax
mov    -0x14(%rbp),%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
or     $0x1,%rcx
shl    %cl,%eax
mov    -0x14(%rbp),%edx
mov    -0x14(%rbp),%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
mov    %ecx,%esi
or     $0x1,%rsi
mov    $0x20,%ecx
sub    %rsi,%rcx
shr    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
and    $0x1f,%eax
shl    $0x3,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x14(%rbp),%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
or     $0x1,%rcx
shl    %cl,%eax
mov    -0x14(%rbp),%edx
mov    -0x14(%rbp),%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
mov    %ecx,%esi
or     $0x1,%rsi
mov    $0x20,%ecx
sub    %rsi,%rcx
shr    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    %eax,-0x14(%rbp)
jmp    1297 <RandomFunc+0x197>
mov    -0x14(%rbp),%eax
shr    $0x3,%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1274 <RandomFunc+0x174>
mov    -0x14(%rbp),%eax
mov    -0x14(%rbp),%ecx
shr    $0x2,%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
or     $0x1,%rcx
shl    %cl,%eax
mov    -0x14(%rbp),%edx
mov    -0x14(%rbp),%ecx
shr    $0x2,%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
mov    %ecx,%esi
or     $0x1,%rsi
mov    $0x20,%ecx
sub    %rsi,%rcx
shr    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
and    $0x1f,%eax
shl    $0x4,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
and    $0x1f,%eax
shl    $0x4,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    1292 <RandomFunc+0x192>
mov    -0x14(%rbp),%eax
and    $0x1f,%eax
shl    $0x3,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
and    $0xf,%eax
shl    $0x3,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    1297 <RandomFunc+0x197>
jmp    1323 <RandomFunc+0x223>
mov    -0x14(%rbp),%eax
shr    $0x1,%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     12cf <RandomFunc+0x1cf>
mov    -0x13(%rbp),%al
mov    %al,-0x17(%rbp)
mov    -0x12(%rbp),%al
mov    %al,-0x13(%rbp)
mov    -0x17(%rbp),%al
mov    %al,-0x12(%rbp)
mov    -0x14(%rbp),%eax
imul   -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    131e <RandomFunc+0x21e>
mov    -0x14(%rbp),%eax
and    $0x7,%eax
mov    %eax,%eax
mov    %eax,%ecx
or     $0x1,%rcx
mov    -0x14(%rbp),%eax
shl    %cl,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x14(%rbp),%ecx
shr    $0x4,%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
or     $0x1,%rcx
shl    %cl,%eax
mov    -0x14(%rbp),%edx
mov    -0x14(%rbp),%ecx
shr    $0x4,%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
mov    %ecx,%esi
or     $0x1,%rsi
mov    $0x20,%ecx
sub    %rsi,%rcx
shr    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    %eax,-0x14(%rbp)
jmp    1323 <RandomFunc+0x223>
mov    -0x14(%rbp),%eax
add    $0x3003678f,%rax
shr    $0x3,%rax
mov    -0x14(%rbp),%ecx
add    $0x3003678f,%rcx
shl    $0x1d,%rcx
or     %rcx,%rax
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
mov    (%rdi),%ecx
lea    -0x17447d68(%rcx),%edx
movzwl %dx,%eax
mov    %edx,%r8d
shr    $0x10,%r8d
test   $0x8,%dl
jne    1146 <RandomFunc+0x46>
test   $0x2,%cl
jne    1171 <RandomFunc+0x71>
and    $0x6,%cl
or     $0x1,%cl
shl    %cl,%edx
mov    %edx,%ecx
shr    $0x4,%ecx
and    $0xe,%ecx
or     $0x1,%ecx
rol    %cl,%edx
mov    %edx,%edi
shr    $0x8,%edi
mov    %edx,%r8d
shr    $0x10,%r8d
mov    %edx,%eax
shr    $0x18,%eax
mov    %edx,%ecx
jmp    11bc <RandomFunc+0xbc>
test   $0x1,%cl
jne    11a8 <RandomFunc+0xa8>
mov    %edx,%ecx
shr    $0x2,%ecx
and    $0xe,%ecx
or     $0x1,%ecx
rol    %cl,%edx
and    $0x1f,%edx
shl    $0x4,%edx
or     %eax,%edx
mov    %edx,%ecx
and    $0x1f,%ecx
shl    $0x4,%ecx
or     %edx,%ecx
mov    %ecx,%edi
shr    $0x8,%edi
jmp    11b5 <RandomFunc+0xb5>
shr    $0x8,%eax
movzbl %dl,%edx
mov    %r8d,%ecx
and    $0xff00,%ecx
shl    $0x8,%r8d
movzwl %ax,%eax
or     %ecx,%eax
shl    $0x10,%eax
movzwl %r8w,%ecx
or     %edx,%ecx
or     %eax,%ecx
imul   %ecx,%ecx
movzbl %ch,%edi
mov    %ecx,%r8d
shr    $0x10,%r8d
mov    %ecx,%eax
shr    $0x18,%eax
jmp    11bc <RandomFunc+0xbc>
mov    %edx,%ecx
and    $0x1f,%ecx
shl    $0x5,%ecx
or     %edx,%ecx
movzbl %ch,%edi
movzwl %r8w,%eax
shr    $0x8,%eax
shl    $0x8,%edi
movzbl %cl,%ecx
or     %edi,%ecx
movzwl %ax,%eax
shl    $0x8,%eax
movzbl %r8b,%edx
or     %eax,%edx
shl    $0x10,%rdx
movzwl %cx,%eax
add    %rdx,%rax
add    $0x3003678f,%rax
mov    %rax,%rcx
shr    $0x3,%rcx
shl    $0x1d,%eax
or     %eax,%ecx
mov    %ecx,(%rsi)
ret

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

LLVM IR (-O2):
define void @RandomFunc(i32* nocapture %0, i32* nocapture writeonly %1) {
%3 = load i32, i32* %0
%4 = add i32 %3, -390364520
%5 = trunc i32 %4 to i16
%6 = lshr i16 %5, 8
%7 = lshr i32 %4, 16
%8 = trunc i32 %7 to i16
%9 = and i32 %4, 255
%10 = and i16 %8, -256
%11 = and i32 %4, 65535
%12 = and i32 %4, 8
%13 = icmp eq i32 %12, 0
br i1 %13, label %38, label %14
14: ; preds = %2
%15 = and i32 %3, 1
%16 = icmp eq i32 %15, 0
br i1 %16, label %24, label %17
17: ; preds = %14
%18 = shl i32 %4, 5
%19 = and i32 %18, 992
%20 = or i32 %19, %4
%21 = trunc i32 %20 to i16
%22 = lshr i16 %21, 8
%23 = lshr i16 %8, 8
br label %70
24: ; preds = %14
%25 = lshr i32 %4, 2
%26 = and i32 %25, 14
%27 = or i32 %26, 1
%28 = tail call i32 @llvm.fshl.i32(i32 %4, i32 %4, i32 %27)
%29 = shl i32 %28, 4
%30 = and i32 %29, 496
%31 = or i32 %30, %11
%32 = shl nuw nsw i32 %31, 4
%33 = and i32 %32, 496
%34 = or i32 %33, %31
%35 = trunc i32 %34 to i16
%36 = lshr i16 %35, 8
%37 = lshr i16 %8, 8
br label %70
38: ; preds = %2
%39 = and i32 %3, 2
%40 = icmp eq i32 %39, 0
br i1 %40, label %55, label %41
41: ; preds = %38
%42 = shl nuw nsw i32 %7, 8
%43 = or i16 %10, %6
%44 = zext i16 %43 to i32
%45 = shl nuw i32 %44, 16
%46 = and i32 %42, 65280
%47 = or i32 %9, %46
%48 = or i32 %45, %47
%49 = mul i32 %48, %48
%50 = trunc i32 %49 to i16
%51 = lshr i16 %50, 8
%52 = lshr i32 %49, 16
%53 = trunc i32 %52 to i16
%54 = lshr i16 %53, 8
br label %70
55: ; preds = %38
%56 = and i32 %3, 6
%57 = or i32 %56, 1
%58 = shl i32 %4, %57
%59 = lshr i32 %58, 4
%60 = and i32 %59, 14
%61 = or i32 %60, 1
%62 = tail call i32 @llvm.fshl.i32(i32 %58, i32 %58, i32 %61)
%63 = trunc i32 %62 to i16
%64 = lshr i32 %62, 8
%65 = trunc i32 %64 to i16
%66 = lshr i32 %62, 16
%67 = trunc i32 %66 to i16
%68 = lshr i32 %62, 24
%69 = trunc i32 %68 to i16
br label %70
70: ; preds = %41, %55, %17, %24
%71 = phi i16 [ %23, %17 ], [ %37, %24 ], [ %54, %41 ], [ %69, %55 ]
%72 = phi i16 [ %8, %17 ], [ %8, %24 ], [ %53, %41 ], [ %67, %55 ]
%73 = phi i16 [ %21, %17 ], [ %35, %24 ], [ %50, %41 ], [ %63, %55 ]
%74 = phi i16 [ %22, %17 ], [ %36, %24 ], [ %51, %41 ], [ %65, %55 ]
%75 = shl i16 %74, 8
%76 = and i16 %73, 255
%77 = or i16 %75, %76
%78 = shl nuw i16 %71, 8
%79 = and i16 %72, 255
%80 = or i16 %79, %78
%81 = zext i16 %80 to i64
%82 = shl nuw nsw i64 %81, 16
%83 = zext i16 %77 to i64
%84 = add nuw nsw i64 %82, 805529487
%85 = add nuw nsw i64 %84, %83
%86 = lshr i64 %85, 3
%87 = shl nuw nsw i64 %85, 29
%88 = or i64 %86, %87
%89 = trunc i64 %88 to i32
store i32 %89, i32* %1
ret void
}