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


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
add    $0x51e22cdb,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     124c <RandomFunc+0x14c>
mov    -0x14(%rbp),%eax
shr    $0x2,%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     11e4 <RandomFunc+0xe4>
mov    -0x14(%rbp),%eax
shr    $0x3,%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     11bb <RandomFunc+0xbb>
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    -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),%eax
mov    -0x14(%rbp),%ecx
shr    $0x1,%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
or     $0x1,%rcx
shr    %cl,%eax
mov    -0x14(%rbp),%edx
mov    -0x14(%rbp),%ecx
shr    $0x1,%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
mov    %ecx,%esi
or     $0x1,%rsi
mov    $0x20,%ecx
sub    %rsi,%rcx
shl    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    %eax,-0x14(%rbp)
jmp    11df <RandomFunc+0xdf>
mov    -0x14(%rbp),%al
mov    %al,-0x17(%rbp)
mov    -0x11(%rbp),%al
mov    %al,-0x14(%rbp)
mov    -0x17(%rbp),%al
mov    %al,-0x11(%rbp)
mov    -0x14(%rbp),%eax
add    -0x14(%rbp),%eax
and    $0x3f,%eax
shl    $0x4,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    1247 <RandomFunc+0x147>
mov    -0x14(%rbp),%eax
shr    $0x2,%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     121d <RandomFunc+0x11d>
mov    -0x14(%rbp),%eax
imul   -0x14(%rbp),%eax
and    $0xf,%eax
shl    $0x3,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
and    $0xf,%eax
shl    $0x2,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    1242 <RandomFunc+0x142>
mov    -0x14(%rbp),%eax
imul   -0x14(%rbp),%eax
and    $0x3f,%eax
shl    $0x4,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%al
mov    %al,-0x18(%rbp)
mov    -0x13(%rbp),%al
mov    %al,-0x14(%rbp)
mov    -0x18(%rbp),%al
mov    %al,-0x13(%rbp)
jmp    1247 <RandomFunc+0x147>
jmp    1267 <RandomFunc+0x167>
mov    -0x14(%rbp),%eax
add    -0x14(%rbp),%eax
and    $0x7,%eax
shl    $0x2,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%ecx
add    $0x3fdb2fd6,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
push   %rbx
mov    $0x51e22cdb,%edx
add    (%rdi),%edx
movzbl %dl,%edi
movzwl %dx,%ecx
test   $0x1,%dil
jne    1130 <RandomFunc+0x30>
movzwl %di,%eax
shl    $0x3,%eax
and    $0x18,%eax
or     %ecx,%eax
add    %eax,%eax
shr    $0x7,%ecx
mov    %edx,%ebx
shr    $0xf,%ebx
shr    $0x17,%edx
mov    %edx,%edi
jmp    117f <RandomFunc+0x7f>
mov    %edx,%eax
shr    $0x10,%eax
mov    %edx,%r8d
shr    $0x18,%r8d
movzbl %al,%ebx
test   $0x4,%dl
jne    1163 <RandomFunc+0x63>
mov    %r8d,%edi
shl    $0x8,%edi
or     %ebx,%edi
mov    %ecx,%eax
imul   %ecx,%eax
and    $0x3f,%eax
shl    $0x4,%eax
or     %eax,%ecx
movzbl %ch,%edx
mov    %edi,%ebx
mov    %r8d,%edi
jmp    1181 <RandomFunc+0x81>
test   $0x8,%dl
jne    11a5 <RandomFunc+0xa5>
and    $0xff00,%edx
movzwl %r8w,%eax
or     %eax,%edx
and    $0x1f,%eax
shl    $0x5,%eax
or     %edx,%eax
movzbl %ah,%ecx
mov    %eax,%edx
shl    $0x8,%ecx
movzbl %dl,%eax
or     %ecx,%eax
movzwl %di,%ecx
shl    $0x8,%ecx
movzbl %bl,%edx
or     %ecx,%edx
shl    $0x10,%edx
movzwl %ax,%eax
add    %edx,%eax
add    $0x3fdb2fd6,%eax
mov    %eax,(%rsi)
pop    %rbx
ret
mov    %edx,%ecx
shr    %ecx
and    $0xe,%ecx
or     $0x1,%ecx
ror    %cl,%edx
movzbl %dh,%ecx
mov    %edx,%ebx
shr    $0x10,%ebx
mov    %edx,%edi
shr    $0x18,%edi
jmp    1181 <RandomFunc+0x81>

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

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