void RandomFunc(unsigned int input[1], unsigned int output[1]) {
  unsigned int state[1];
  unsigned short copy11;
  char copy12;
  {
    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 {
        state[0UL] = (state[0UL] >> (((state[0UL] >> 4U) & 15U) | 1UL)) |
                     (state[0UL] << (32 - (((state[0UL] >> 4U) & 15U) | 1UL)));
      }
    } else {
      state[0UL] |= (state[0UL] & 15U) << 3UL;
      state[0UL] += state[0UL];
    }
    output[0UL] = (state[0UL] | 93321148UL) ^ 465728139U;
  }
}


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     1222 <RandomFunc+0x122>
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    121d <RandomFunc+0x11d>
mov    -0x14(%rbp),%eax
mov    -0x14(%rbp),%ecx
shr    $0x4,%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
or     $0x1,%rcx
shr    %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
shl    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    %eax,-0x14(%rbp)
jmp    123a <RandomFunc+0x13a>
mov    -0x14(%rbp),%eax
and    $0xf,%eax
shl    $0x3,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
or     $0x58ff7bc,%rax
xor    $0x1bc2728b,%rax
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
push   %rbx
mov    $0x51e22cdb,%ebx
add    (%rdi),%ebx
movzbl %bl,%edi
movzwl %bx,%edx
test   $0x1,%dil
jne    1130 <RandomFunc+0x30>
movzwl %di,%eax
shl    $0x3,%eax
and    $0x78,%eax
or     %edx,%eax
add    %eax,%eax
shr    $0x7,%edx
mov    %ebx,%ecx
shr    $0xf,%ecx
shr    $0x17,%ebx
mov    %ebx,%edi
jmp    1183 <RandomFunc+0x83>
mov    %ebx,%ecx
shr    $0x10,%ecx
mov    %ebx,%eax
shr    $0x18,%eax
movzbl %cl,%ecx
test   $0x4,%bl
jne    1168 <RandomFunc+0x68>
shl    $0x8,%eax
or     %ecx,%eax
shl    $0x10,%eax
or     %edx,%eax
shr    $0x4,%ebx
and    $0xe,%ebx
or     $0x1,%ebx
mov    %ebx,%ecx
ror    %cl,%eax
movzbl %ah,%edx
mov    %eax,%ecx
shr    $0x10,%ecx
mov    %eax,%edi
shr    $0x18,%edi
jmp    1183 <RandomFunc+0x83>
test   $0x8,%bl
jne    11b1 <RandomFunc+0xb1>
and    $0xff00,%ebx
movzwl %ax,%eax
or     %eax,%ebx
and    $0x1f,%eax
shl    $0x5,%eax
or     %ebx,%eax
movzbl %ah,%edx
mov    %eax,%ebx
movzwl %dx,%eax
shl    $0x8,%eax
movzbl %bl,%edx
or     %eax,%edx
movzwl %di,%eax
shl    $0x8,%eax
movzbl %cl,%ecx
or     %eax,%ecx
shl    $0x10,%ecx
movzwl %dx,%eax
or     %ecx,%eax
or     $0x58ff7bc,%eax
xor    $0x1bc2728b,%eax
mov    %eax,(%rsi)
pop    %rbx
ret
mov    %ebx,%ecx
shr    %ecx
and    $0xe,%ecx
or     $0x1,%ecx
ror    %cl,%ebx
movzbl %bh,%edx
mov    %ebx,%ecx
shr    $0x10,%ecx
mov    %ebx,%edi
shr    $0x18,%edi
jmp    1185 <RandomFunc+0x85>

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