void RandomFunc(unsigned int input[1], unsigned int output[1]) {
  unsigned int state[1];
  unsigned int local1;
  unsigned short copy11;
  char copy12;
  char copy13;
  char copy14;
  char copy16;
  {
    state[0UL] = input[0UL] ^ 700325083U;
    local1 = 0UL;
    while (local1 < input[1UL]) {
      if (state[0UL] != local1) {
        if (state[0UL] == local1) {
          copy11 = *((unsigned short *)(&state[0UL]) + 0);
          *((unsigned short *)(&state[0UL]) + 0) =
              *((unsigned short *)(&state[0UL]) + 1);
          *((unsigned short *)(&state[0UL]) + 1) = copy11;
          copy12 = *((char *)(&state[local1]) + 3);
          *((char *)(&state[local1]) + 3) = *((char *)(&state[local1]) + 0);
          *((char *)(&state[local1]) + 0) = copy12;
        } else {
          copy13 = *((char *)(&state[local1]) + 2);
          *((char *)(&state[local1]) + 2) = *((char *)(&state[local1]) + 1);
          *((char *)(&state[local1]) + 1) = copy13;
          copy13 = *((char *)(&state[local1]) + 3);
          *((char *)(&state[local1]) + 3) = *((char *)(&state[local1]) + 2);
          *((char *)(&state[local1]) + 2) = copy13;
          copy14 = *((char *)(&state[local1]) + 2);
          *((char *)(&state[local1]) + 2) = *((char *)(&state[local1]) + 1);
          *((char *)(&state[local1]) + 1) = copy14;
        }
      } else {
        copy16 = *((char *)(&state[0UL]) + 1);
        *((char *)(&state[0UL]) + 1) = *((char *)(&state[0UL]) + 2);
        *((char *)(&state[0UL]) + 2) = copy16;
        copy16 = *((char *)(&state[0UL]) + 3);
        *((char *)(&state[0UL]) + 3) = *((char *)(&state[0UL]) + 0);
        *((char *)(&state[0UL]) + 0) = copy16;
      }
      local1 += 2UL;
    }
    output[0UL] = state[0UL] | 1982645256U;
  }
}


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
xor    $0x29be1cdb,%eax
mov    %eax,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x8(%rbp),%rcx
cmp    0x4(%rcx),%eax
jae    1226 <RandomFunc+0x126>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     11f3 <RandomFunc+0xf3>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    1188 <RandomFunc+0x88>
mov    -0x14(%rbp),%ax
mov    %ax,-0x1a(%rbp)
mov    -0x12(%rbp),%ax
mov    %ax,-0x14(%rbp)
mov    -0x1a(%rbp),%ax
mov    %ax,-0x12(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x11(%rbp,%rax,4),%al
mov    %al,-0x1b(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp,%rax,4),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x11(%rbp,%rax,4)
mov    -0x1b(%rbp),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x14(%rbp,%rax,4)
jmp    11ee <RandomFunc+0xee>
mov    -0x18(%rbp),%eax
mov    -0x12(%rbp,%rax,4),%al
mov    %al,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x13(%rbp,%rax,4),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x12(%rbp,%rax,4)
mov    -0x1c(%rbp),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x13(%rbp,%rax,4)
mov    -0x18(%rbp),%eax
mov    -0x11(%rbp,%rax,4),%al
mov    %al,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x12(%rbp,%rax,4),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x11(%rbp,%rax,4)
mov    -0x1c(%rbp),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x12(%rbp,%rax,4)
mov    -0x18(%rbp),%eax
mov    -0x12(%rbp,%rax,4),%al
mov    %al,-0x1d(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x13(%rbp,%rax,4),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x12(%rbp,%rax,4)
mov    -0x1d(%rbp),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x13(%rbp,%rax,4)
jmp    1217 <RandomFunc+0x117>
mov    -0x13(%rbp),%al
mov    %al,-0x1e(%rbp)
mov    -0x12(%rbp),%al
mov    %al,-0x13(%rbp)
mov    -0x1e(%rbp),%al
mov    %al,-0x12(%rbp)
mov    -0x11(%rbp),%al
mov    %al,-0x1e(%rbp)
mov    -0x14(%rbp),%al
mov    %al,-0x11(%rbp)
mov    -0x1e(%rbp),%al
mov    %al,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x2,%rax
mov    %eax,-0x18(%rbp)
jmp    1121 <RandomFunc+0x21>
mov    -0x14(%rbp),%ecx
or     $0x762cc408,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
mov    $0x29be1cdb,%ecx
xor    (%rdi),%ecx
mov    %ecx,-0x4(%rsp)
mov    0x4(%rdi),%r8d
test   %r8,%r8
je     1153 <RandomFunc+0x53>
xor    %edx,%edx
jmp    1133 <RandomFunc+0x33>
nopl   0x0(%rax,%rax,1)
bswap  %ecx
mov    %ecx,-0x4(%rsp)
add    $0x2,%rdx
mov    -0x4(%rsp),%ecx
cmp    %r8,%rdx
jae    1153 <RandomFunc+0x53>
mov    %ecx,%edi
cmp    %rdi,%rdx
je     1120 <RandomFunc+0x20>
movzwl -0x2(%rsp,%rdx,4),%ecx
rol    $0x8,%cx
movzbl -0x3(%rsp,%rdx,4),%eax
mov    %al,-0x1(%rsp,%rdx,4)
mov    %cx,-0x3(%rsp,%rdx,4)
jmp    1126 <RandomFunc+0x26>
or     $0x762cc408,%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 i32
%7 = alloca i16
%8 = alloca i8
%9 = alloca i8
%10 = alloca i8
%11 = alloca i8
store i32* %0, i32** %3
store i32* %1, i32** %4
%12 = load i32*, i32** %3
%13 = getelementptr inbounds i32, i32* %12, i64 0
%14 = load i32, i32* %13
%15 = xor i32 %14, 700325083
%16 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
store i32 %15, i32* %16
store i32 0, i32* %6
br label %17
17: ; preds = %174, %2
%18 = load i32, i32* %6
%19 = load i32*, i32** %3
%20 = getelementptr inbounds i32, i32* %19, i64 1
%21 = load i32, i32* %20
%22 = icmp ult i32 %18, %21
br i1 %22, label %23, label %179
23: ; preds = %17
%24 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%25 = load i32, i32* %24
%26 = load i32, i32* %6
%27 = icmp ne i32 %25, %26
br i1 %27, label %28, label %143
28: ; preds = %23
%29 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%30 = load i32, i32* %29
%31 = load i32, i32* %6
%32 = icmp eq i32 %30, %31
br i1 %32, label %33, label %72
33: ; preds = %28
%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 0
%37 = load i16, i16* %36
store i16 %37, i16* %7
%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 1
%41 = load i16, i16* %40
%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 0
store i16 %41, i16* %44
%45 = load i16, i16* %7
%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
store i16 %45, i16* %48
%49 = load i32, i32* %6
%50 = zext i32 %49 to i64
%51 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %50
%52 = bitcast i32* %51 to i8*
%53 = getelementptr inbounds i8, i8* %52, i64 3
%54 = load i8, i8* %53
store i8 %54, i8* %8
%55 = load i32, i32* %6
%56 = zext i32 %55 to i64
%57 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %56
%58 = bitcast i32* %57 to i8*
%59 = getelementptr inbounds i8, i8* %58, i64 0
%60 = load i8, i8* %59
%61 = load i32, i32* %6
%62 = zext i32 %61 to i64
%63 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %62
%64 = bitcast i32* %63 to i8*
%65 = getelementptr inbounds i8, i8* %64, i64 3
store i8 %60, i8* %65
%66 = load i8, i8* %8
%67 = load i32, i32* %6
%68 = zext i32 %67 to i64
%69 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %68
%70 = bitcast i32* %69 to i8*
%71 = getelementptr inbounds i8, i8* %70, i64 0
store i8 %66, i8* %71
br label %142
72: ; preds = %28
%73 = load i32, i32* %6
%74 = zext i32 %73 to i64
%75 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %74
%76 = bitcast i32* %75 to i8*
%77 = getelementptr inbounds i8, i8* %76, i64 2
%78 = load i8, i8* %77
store i8 %78, i8* %9
%79 = load i32, i32* %6
%80 = zext i32 %79 to i64
%81 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %80
%82 = bitcast i32* %81 to i8*
%83 = getelementptr inbounds i8, i8* %82, i64 1
%84 = load i8, i8* %83
%85 = load i32, i32* %6
%86 = zext i32 %85 to i64
%87 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %86
%88 = bitcast i32* %87 to i8*
%89 = getelementptr inbounds i8, i8* %88, i64 2
store i8 %84, i8* %89
%90 = load i8, i8* %9
%91 = load i32, i32* %6
%92 = zext i32 %91 to i64
%93 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %92
%94 = bitcast i32* %93 to i8*
%95 = getelementptr inbounds i8, i8* %94, i64 1
store i8 %90, i8* %95
%96 = load i32, i32* %6
%97 = zext i32 %96 to i64
%98 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %97
%99 = bitcast i32* %98 to i8*
%100 = getelementptr inbounds i8, i8* %99, i64 3
%101 = load i8, i8* %100
store i8 %101, i8* %9
%102 = load i32, i32* %6
%103 = zext i32 %102 to i64
%104 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %103
%105 = bitcast i32* %104 to i8*
%106 = getelementptr inbounds i8, i8* %105, i64 2
%107 = load i8, i8* %106
%108 = load i32, i32* %6
%109 = zext i32 %108 to i64
%110 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %109
%111 = bitcast i32* %110 to i8*
%112 = getelementptr inbounds i8, i8* %111, i64 3
store i8 %107, i8* %112
%113 = load i8, i8* %9
%114 = load i32, i32* %6
%115 = zext i32 %114 to i64
%116 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %115
%117 = bitcast i32* %116 to i8*
%118 = getelementptr inbounds i8, i8* %117, i64 2
store i8 %113, i8* %118
%119 = load i32, i32* %6
%120 = zext i32 %119 to i64
%121 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %120
%122 = bitcast i32* %121 to i8*
%123 = getelementptr inbounds i8, i8* %122, i64 2
%124 = load i8, i8* %123
store i8 %124, i8* %10
%125 = load i32, i32* %6
%126 = zext i32 %125 to i64
%127 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %126
%128 = bitcast i32* %127 to i8*
%129 = getelementptr inbounds i8, i8* %128, i64 1
%130 = load i8, i8* %129
%131 = load i32, i32* %6
%132 = zext i32 %131 to i64
%133 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %132
%134 = bitcast i32* %133 to i8*
%135 = getelementptr inbounds i8, i8* %134, i64 2
store i8 %130, i8* %135
%136 = load i8, i8* %10
%137 = load i32, i32* %6
%138 = zext i32 %137 to i64
%139 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %138
%140 = bitcast i32* %139 to i8*
%141 = getelementptr inbounds i8, i8* %140, i64 1
store i8 %136, i8* %141
br label %142
142: ; preds = %72, %33
br label %174
143: ; preds = %23
%144 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%145 = bitcast i32* %144 to i8*
%146 = getelementptr inbounds i8, i8* %145, i64 1
%147 = load i8, i8* %146
store i8 %147, i8* %11
%148 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%149 = bitcast i32* %148 to i8*
%150 = getelementptr inbounds i8, i8* %149, i64 2
%151 = load i8, i8* %150
%152 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%153 = bitcast i32* %152 to i8*
%154 = getelementptr inbounds i8, i8* %153, i64 1
store i8 %151, i8* %154
%155 = load i8, i8* %11
%156 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%157 = bitcast i32* %156 to i8*
%158 = getelementptr inbounds i8, i8* %157, i64 2
store i8 %155, i8* %158
%159 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%160 = bitcast i32* %159 to i8*
%161 = getelementptr inbounds i8, i8* %160, i64 3
%162 = load i8, i8* %161
store i8 %162, i8* %11
%163 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%164 = bitcast i32* %163 to i8*
%165 = getelementptr inbounds i8, i8* %164, i64 0
%166 = load i8, i8* %165
%167 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%168 = bitcast i32* %167 to i8*
%169 = getelementptr inbounds i8, i8* %168, i64 3
store i8 %166, i8* %169
%170 = load i8, i8* %11
%171 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%172 = bitcast i32* %171 to i8*
%173 = getelementptr inbounds i8, i8* %172, i64 0
store i8 %170, i8* %173
br label %174
174: ; preds = %143, %142
%175 = load i32, i32* %6
%176 = zext i32 %175 to i64
%177 = add i64 %176, 2
%178 = trunc i64 %177 to i32
store i32 %178, i32* %6
br label %17
179: ; preds = %17
%180 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%181 = load i32, i32* %180
%182 = or i32 %181, 1982645256
%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 = alloca [1 x i32]
%4 = bitcast [1 x i32]* %3 to i8*
%5 = load i32, i32* %0
%6 = xor i32 %5, 700325083
%7 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 0
store i32 %6, i32* %7
%8 = getelementptr inbounds i32, i32* %0, i64 1
%9 = load i32, i32* %8
%10 = icmp eq i32 %9, 0
br i1 %10, label %42, label %11
11: ; preds = %2
%12 = getelementptr inbounds i8, i8* %4, i64 1
%13 = getelementptr inbounds i8, i8* %4, i64 2
%14 = getelementptr inbounds i8, i8* %4, i64 3
%15 = zext i32 %9 to i64
br label %16
16: ; preds = %38, %11
%17 = phi i32 [ %6, %11 ], [ %41, %38 ]
%18 = phi i64 [ 0, %11 ], [ %39, %38 ]
%19 = zext i32 %17 to i64
%20 = icmp eq i64 %18, %19
br i1 %20, label %30, label %21
21: ; preds = %16
%22 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 %18
%23 = bitcast i32* %22 to i8*
%24 = getelementptr inbounds i8, i8* %23, i64 2
%25 = load i8, i8* %24
%26 = getelementptr inbounds i8, i8* %23, i64 1
%27 = load i8, i8* %26
%28 = getelementptr inbounds i8, i8* %23, i64 3
%29 = load i8, i8* %28
store i8 %27, i8* %28
store i8 %25, i8* %24
store i8 %29, i8* %26
br label %38
30: ; preds = %16
%31 = lshr i32 %17, 8
%32 = trunc i32 %31 to i8
%33 = lshr i32 %17, 16
%34 = trunc i32 %33 to i8
%35 = lshr i32 %17, 24
%36 = trunc i32 %35 to i8
%37 = trunc i32 %17 to i8
store i8 %34, i8* %12
store i8 %32, i8* %13
store i8 %37, i8* %14
store i8 %36, i8* %4
br label %38
38: ; preds = %21, %30
%39 = add nuw nsw i64 %18, 2
%40 = icmp ult i64 %39, %15
%41 = load i32, i32* %7
br i1 %40, label %16, label %42
42: ; preds = %38, %2
%43 = phi i32 [ %6, %2 ], [ %41, %38 ]
%44 = or i32 %43, 1982645256
store i32 %44, i32* %1
ret void
}