void RandomFunc(unsigned int input[1], unsigned int output[1]) {
  unsigned int state[1];
  unsigned int local1;
  char copy11;
  char copy12;
  char copy13;
  char copy14;
  char copy15;
  char copy18;
  {
    state[0UL] = (input[0UL] | 51238316UL) >> 3U;
    local1 = 0UL;
    while (local1 < input[1UL]) {
      if (state[0UL] > local1) {
        if (state[0UL] > local1) {
          copy11 = *((char *)(&state[local1]) + 1);
          *((char *)(&state[local1]) + 1) = *((char *)(&state[local1]) + 2);
          *((char *)(&state[local1]) + 2) = copy11;
          copy11 = *((char *)(&state[local1]) + 2);
          *((char *)(&state[local1]) + 2) = *((char *)(&state[local1]) + 0);
          *((char *)(&state[local1]) + 0) = copy11;
          copy12 = *((char *)(&state[0UL]) + 0);
          *((char *)(&state[0UL]) + 0) = *((char *)(&state[0UL]) + 3);
          *((char *)(&state[0UL]) + 3) = copy12;
          copy12 = *((char *)(&state[0UL]) + 3);
          *((char *)(&state[0UL]) + 3) = *((char *)(&state[0UL]) + 0);
          *((char *)(&state[0UL]) + 0) = copy12;
        } else {
          copy13 = *((char *)(&state[local1]) + 0);
          *((char *)(&state[local1]) + 0) = *((char *)(&state[local1]) + 1);
          *((char *)(&state[local1]) + 1) = copy13;
          copy14 = *((char *)(&state[0UL]) + 2);
          *((char *)(&state[0UL]) + 2) = *((char *)(&state[0UL]) + 3);
          *((char *)(&state[0UL]) + 3) = copy14;
        }
      } else if (state[0UL] <= local1) {
        copy15 = *((char *)(&state[local1]) + 2);
        *((char *)(&state[local1]) + 2) = *((char *)(&state[local1]) + 3);
        *((char *)(&state[local1]) + 3) = copy15;
      } else {
        copy18 = *((char *)(&state[local1]) + 3);
        *((char *)(&state[local1]) + 3) = *((char *)(&state[local1]) + 2);
        *((char *)(&state[local1]) + 2) = copy18;
      }
      local1 += 2UL;
    }
    output[0UL] = (state[0UL] & 237099718UL) >> 5U;
  }
}


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
or     $0x30dd5ac,%rax
shr    $0x3,%rax
mov    %eax,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x8(%rbp),%rcx
cmp    0x4(%rcx),%eax
jae    125d <RandomFunc+0x15d>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jbe    11f4 <RandomFunc+0xf4>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jbe    11bb <RandomFunc+0xbb>
mov    -0x18(%rbp),%eax
mov    -0x13(%rbp,%rax,4),%al
mov    %al,-0x19(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x12(%rbp,%rax,4),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x13(%rbp,%rax,4)
mov    -0x19(%rbp),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x12(%rbp,%rax,4)
mov    -0x18(%rbp),%eax
mov    -0x12(%rbp,%rax,4),%al
mov    %al,-0x19(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp,%rax,4),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x12(%rbp,%rax,4)
mov    -0x19(%rbp),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x14(%rbp,%rax,4)
mov    -0x14(%rbp),%al
mov    %al,-0x1a(%rbp)
mov    -0x11(%rbp),%al
mov    %al,-0x14(%rbp)
mov    -0x1a(%rbp),%al
mov    %al,-0x11(%rbp)
mov    -0x11(%rbp),%al
mov    %al,-0x1a(%rbp)
mov    -0x14(%rbp),%al
mov    %al,-0x11(%rbp)
mov    -0x1a(%rbp),%al
mov    %al,-0x14(%rbp)
jmp    11ef <RandomFunc+0xef>
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp,%rax,4),%al
mov    %al,-0x1b(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x13(%rbp,%rax,4),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x14(%rbp,%rax,4)
mov    -0x1b(%rbp),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x13(%rbp,%rax,4)
mov    -0x12(%rbp),%al
mov    %al,-0x1c(%rbp)
mov    -0x11(%rbp),%al
mov    %al,-0x12(%rbp)
mov    -0x1c(%rbp),%al
mov    %al,-0x11(%rbp)
jmp    124e <RandomFunc+0x14e>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
ja     1227 <RandomFunc+0x127>
mov    -0x18(%rbp),%eax
mov    -0x12(%rbp,%rax,4),%al
mov    %al,-0x1d(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x11(%rbp,%rax,4),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x12(%rbp,%rax,4)
mov    -0x1d(%rbp),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x11(%rbp,%rax,4)
jmp    1249 <RandomFunc+0x149>
mov    -0x18(%rbp),%eax
mov    -0x11(%rbp,%rax,4),%al
mov    %al,-0x1e(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x12(%rbp,%rax,4),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x11(%rbp,%rax,4)
mov    -0x1e(%rbp),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x12(%rbp,%rax,4)
jmp    124e <RandomFunc+0x14e>
mov    -0x18(%rbp),%eax
add    $0x2,%rax
mov    %eax,-0x18(%rbp)
jmp    1126 <RandomFunc+0x26>
mov    -0x14(%rbp),%eax
and    $0xe21dac6,%rax
shr    $0x5,%rax
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
mov    (%rdi),%ecx
shr    $0x3,%ecx
or     $0x61bab5,%ecx
mov    %ecx,-0x4(%rsp)
mov    0x4(%rdi),%edi
test   %rdi,%rdi
je     114f <RandomFunc+0x4f>
xor    %edx,%edx
jmp    1133 <RandomFunc+0x33>
nopl   0x0(%rax,%rax,1)
rolw   $0x8,-0x2(%rsp,%rdx,4)
add    $0x2,%rdx
mov    -0x4(%rsp),%ecx
cmp    %rdi,%rdx
jae    114f <RandomFunc+0x4f>
mov    %ecx,%ecx
cmp    %rcx,%rdx
jae    1120 <RandomFunc+0x20>
movzwl -0x3(%rsp,%rdx,4),%ecx
movzbl -0x4(%rsp,%rdx,4),%eax
mov    %al,-0x2(%rsp,%rdx,4)
mov    %cx,-0x4(%rsp,%rdx,4)
jmp    1126 <RandomFunc+0x26>
shr    $0x5,%ecx
and    $0x710ed6,%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 i8
%8 = alloca i8
%9 = alloca i8
%10 = alloca i8
%11 = alloca i8
%12 = alloca i8
store i32* %0, i32** %3
store i32* %1, i32** %4
%13 = load i32*, i32** %3
%14 = getelementptr inbounds i32, i32* %13, i64 0
%15 = load i32, i32* %14
%16 = zext i32 %15 to i64
%17 = or i64 %16, 51238316
%18 = lshr i64 %17, 3
%19 = trunc i64 %18 to i32
%20 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
store i32 %19, i32* %20
store i32 0, i32* %6
br label %21
21: ; preds = %208, %2
%22 = load i32, i32* %6
%23 = load i32*, i32** %3
%24 = getelementptr inbounds i32, i32* %23, i64 1
%25 = load i32, i32* %24
%26 = icmp ult i32 %22, %25
br i1 %26, label %27, label %213
27: ; preds = %21
%28 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%29 = load i32, i32* %28
%30 = load i32, i32* %6
%31 = icmp ugt i32 %29, %30
br i1 %31, label %32, label %154
32: ; preds = %27
%33 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%34 = load i32, i32* %33
%35 = load i32, i32* %6
%36 = icmp ugt i32 %34, %35
br i1 %36, label %37, label %114
37: ; preds = %32
%38 = load i32, i32* %6
%39 = zext i32 %38 to i64
%40 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %39
%41 = bitcast i32* %40 to i8*
%42 = getelementptr inbounds i8, i8* %41, i64 1
%43 = load i8, i8* %42
store i8 %43, i8* %7
%44 = load i32, i32* %6
%45 = zext i32 %44 to i64
%46 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %45
%47 = bitcast i32* %46 to i8*
%48 = getelementptr inbounds i8, i8* %47, i64 2
%49 = load i8, i8* %48
%50 = load i32, i32* %6
%51 = zext i32 %50 to i64
%52 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %51
%53 = bitcast i32* %52 to i8*
%54 = getelementptr inbounds i8, i8* %53, i64 1
store i8 %49, i8* %54
%55 = load i8, i8* %7
%56 = load i32, i32* %6
%57 = zext i32 %56 to i64
%58 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %57
%59 = bitcast i32* %58 to i8*
%60 = getelementptr inbounds i8, i8* %59, i64 2
store i8 %55, i8* %60
%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 2
%66 = load i8, i8* %65
store i8 %66, i8* %7
%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
%72 = load i8, i8* %71
%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
store i8 %72, i8* %77
%78 = load i8, i8* %7
%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 0
store i8 %78, i8* %83
%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* %8
%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* %8
%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 = bitcast i32* %99 to i8*
%101 = getelementptr inbounds i8, i8* %100, i64 3
%102 = load i8, i8* %101
store i8 %102, i8* %8
%103 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%104 = bitcast i32* %103 to i8*
%105 = getelementptr inbounds i8, i8* %104, i64 0
%106 = load i8, i8* %105
%107 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%108 = bitcast i32* %107 to i8*
%109 = getelementptr inbounds i8, i8* %108, i64 3
store i8 %106, i8* %109
%110 = load i8, i8* %8
%111 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%112 = bitcast i32* %111 to i8*
%113 = getelementptr inbounds i8, i8* %112, i64 0
store i8 %110, i8* %113
br label %153
114: ; preds = %32
%115 = load i32, i32* %6
%116 = zext i32 %115 to i64
%117 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %116
%118 = bitcast i32* %117 to i8*
%119 = getelementptr inbounds i8, i8* %118, i64 0
%120 = load i8, i8* %119
store i8 %120, i8* %9
%121 = load i32, i32* %6
%122 = zext i32 %121 to i64
%123 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %122
%124 = bitcast i32* %123 to i8*
%125 = getelementptr inbounds i8, i8* %124, i64 1
%126 = load i8, i8* %125
%127 = load i32, i32* %6
%128 = zext i32 %127 to i64
%129 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %128
%130 = bitcast i32* %129 to i8*
%131 = getelementptr inbounds i8, i8* %130, i64 0
store i8 %126, i8* %131
%132 = load i8, i8* %9
%133 = load i32, i32* %6
%134 = zext i32 %133 to i64
%135 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %134
%136 = bitcast i32* %135 to i8*
%137 = getelementptr inbounds i8, i8* %136, i64 1
store i8 %132, i8* %137
%138 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%139 = bitcast i32* %138 to i8*
%140 = getelementptr inbounds i8, i8* %139, i64 2
%141 = load i8, i8* %140
store i8 %141, i8* %10
%142 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%143 = bitcast i32* %142 to i8*
%144 = getelementptr inbounds i8, i8* %143, i64 3
%145 = load i8, i8* %144
%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 2
store i8 %145, i8* %148
%149 = load i8, i8* %10
%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 3
store i8 %149, i8* %152
br label %153
153: ; preds = %114, %37
br label %208
154: ; preds = %27
%155 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%156 = load i32, i32* %155
%157 = load i32, i32* %6
%158 = icmp ule i32 %156, %157
br i1 %158, label %159, label %183
159: ; preds = %154
%160 = load i32, i32* %6
%161 = zext i32 %160 to i64
%162 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %161
%163 = bitcast i32* %162 to i8*
%164 = getelementptr inbounds i8, i8* %163, i64 2
%165 = load i8, i8* %164
store i8 %165, i8* %11
%166 = load i32, i32* %6
%167 = zext i32 %166 to i64
%168 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %167
%169 = bitcast i32* %168 to i8*
%170 = getelementptr inbounds i8, i8* %169, i64 3
%171 = load i8, i8* %170
%172 = load i32, i32* %6
%173 = zext i32 %172 to i64
%174 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %173
%175 = bitcast i32* %174 to i8*
%176 = getelementptr inbounds i8, i8* %175, i64 2
store i8 %171, i8* %176
%177 = load i8, i8* %11
%178 = load i32, i32* %6
%179 = zext i32 %178 to i64
%180 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %179
%181 = bitcast i32* %180 to i8*
%182 = getelementptr inbounds i8, i8* %181, i64 3
store i8 %177, i8* %182
br label %207
183: ; preds = %154
%184 = load i32, i32* %6
%185 = zext i32 %184 to i64
%186 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %185
%187 = bitcast i32* %186 to i8*
%188 = getelementptr inbounds i8, i8* %187, i64 3
%189 = load i8, i8* %188
store i8 %189, i8* %12
%190 = load i32, i32* %6
%191 = zext i32 %190 to i64
%192 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %191
%193 = bitcast i32* %192 to i8*
%194 = getelementptr inbounds i8, i8* %193, i64 2
%195 = load i8, i8* %194
%196 = load i32, i32* %6
%197 = zext i32 %196 to i64
%198 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %197
%199 = bitcast i32* %198 to i8*
%200 = getelementptr inbounds i8, i8* %199, i64 3
store i8 %195, i8* %200
%201 = load i8, i8* %12
%202 = load i32, i32* %6
%203 = zext i32 %202 to i64
%204 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %203
%205 = bitcast i32* %204 to i8*
%206 = getelementptr inbounds i8, i8* %205, i64 2
store i8 %201, i8* %206
br label %207
207: ; preds = %183, %159
br label %208
208: ; preds = %207, %153
%209 = load i32, i32* %6
%210 = zext i32 %209 to i64
%211 = add i64 %210, 2
%212 = trunc i64 %211 to i32
store i32 %212, i32* %6
br label %21
213: ; preds = %21
%214 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%215 = load i32, i32* %214
%216 = zext i32 %215 to i64
%217 = and i64 %216, 237099718
%218 = lshr i64 %217, 5
%219 = trunc i64 %218 to i32
%220 = load i32*, i32** %4
%221 = getelementptr inbounds i32, i32* %220, i64 0
store i32 %219, i32* %221
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 = lshr i32 %5, 3
%7 = or i32 %6, 6404789
%8 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 0
store i32 %7, i32* %8
%9 = getelementptr inbounds i32, i32* %0, i64 1
%10 = load i32, i32* %9
%11 = icmp eq i32 %10, 0
br i1 %11, label %36, label %12
12: ; preds = %2
%13 = zext i32 %10 to i64
br label %14
14: ; preds = %32, %12
%15 = phi i32 [ %7, %12 ], [ %35, %32 ]
%16 = phi i64 [ 0, %12 ], [ %33, %32 ]
%17 = zext i32 %15 to i64
%18 = icmp ult i64 %16, %17
%19 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 %16
%20 = bitcast i32* %19 to i8*
br i1 %18, label %21, label %27
21: ; preds = %14
%22 = getelementptr inbounds i8, i8* %20, i64 1
%23 = load i8, i8* %22
%24 = getelementptr inbounds i8, i8* %20, i64 2
%25 = load i8, i8* %24
store i8 %25, i8* %22
%26 = load i8, i8* %20
store i8 %26, i8* %24
store i8 %23, i8* %20
br label %32
27: ; preds = %14
%28 = getelementptr inbounds i8, i8* %20, i64 2
%29 = load i8, i8* %28
%30 = getelementptr inbounds i8, i8* %20, i64 3
%31 = load i8, i8* %30
store i8 %31, i8* %28
store i8 %29, i8* %30
br label %32
32: ; preds = %27, %21
%33 = add nuw nsw i64 %16, 2
%34 = icmp ult i64 %33, %13
%35 = load i32, i32* %8
br i1 %34, label %14, label %36
36: ; preds = %32, %2
%37 = phi i32 [ %7, %2 ], [ %35, %32 ]
%38 = lshr i32 %37, 5
%39 = and i32 %38, 7409366
store i32 %39, i32* %1
ret void
}