void RandomFunc(unsigned long input[1], unsigned long output[1]) {
  unsigned long state[1];
  unsigned long local2;
  unsigned long local1;
  unsigned short copy11;
  char copy12;
  unsigned short copy13;
  {
    state[0UL] = (input[0UL] | 51238316UL) >> 3UL;
    local1 = 0UL;
    while (local1 < input[1UL]) {
      local2 = 0UL;
      while (local2 < input[1UL]) {
        if (state[0UL] > (local2 & local1)) {
          state[local1] = state[local2] >> ((state[local2] & 7UL) | 1UL);
          copy11 = *((unsigned short *)(&state[0UL]) + 3);
          *((unsigned short *)(&state[0UL]) + 3) =
              *((unsigned short *)(&state[0UL]) + 1);
          *((unsigned short *)(&state[0UL]) + 1) = copy11;
        } else {
          copy12 = *((char *)(&state[local1]) + 7);
          *((char *)(&state[local1]) + 7) = *((char *)(&state[local1]) + 5);
          *((char *)(&state[local1]) + 5) = copy12;
          copy13 = *((unsigned short *)(&state[0UL]) + 2);
          *((unsigned short *)(&state[0UL]) + 2) =
              *((unsigned short *)(&state[0UL]) + 3);
          *((unsigned short *)(&state[0UL]) + 3) = copy13;
        }
        local2 += 2UL;
      }
      local1 += 2UL;
    }
    output[0UL] = state[0UL] & 916010988UL;
  }
}


x86 assembly (clang, -O0):
<RandomFunc>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
or     $0x30dd5ac,%rax
shr    $0x3,%rax
mov    %rax,-0x18(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
cmp    0x8(%rcx),%rax
jae    1210 <RandomFunc+0x110>
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x8(%rbp),%rcx
cmp    0x8(%rcx),%rax
jae    11ff <RandomFunc+0xff>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
and    -0x28(%rbp),%rcx
cmp    %rcx,%rax
jbe    11b0 <RandomFunc+0xb0>
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp,%rax,8),%rax
mov    -0x20(%rbp),%rcx
mov    -0x18(%rbp,%rcx,8),%rcx
and    $0x7,%rcx
or     $0x1,%rcx
shr    %cl,%rax
mov    %rax,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,-0x18(%rbp,%rax,8)
mov    -0x12(%rbp),%ax
mov    %ax,-0x2a(%rbp)
mov    -0x16(%rbp),%ax
mov    %ax,-0x12(%rbp)
mov    -0x2a(%rbp),%ax
mov    %ax,-0x16(%rbp)
jmp    11ee <RandomFunc+0xee>
mov    -0x28(%rbp),%rax
mov    -0x11(%rbp,%rax,8),%al
mov    %al,-0x2b(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x13(%rbp,%rax,8),%cl
mov    -0x28(%rbp),%rax
mov    %cl,-0x11(%rbp,%rax,8)
mov    -0x2b(%rbp),%cl
mov    -0x28(%rbp),%rax
mov    %cl,-0x13(%rbp,%rax,8)
mov    -0x14(%rbp),%ax
mov    %ax,-0x2e(%rbp)
mov    -0x12(%rbp),%ax
mov    %ax,-0x14(%rbp)
mov    -0x2e(%rbp),%ax
mov    %ax,-0x12(%rbp)
mov    -0x20(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x20(%rbp)
jmp    1143 <RandomFunc+0x43>
mov    -0x28(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x28(%rbp)
jmp    1129 <RandomFunc+0x29>
mov    -0x18(%rbp),%rcx
and    $0x369937ec,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
mov    (%rdi),%rax
shr    $0x3,%rax
or     $0x61bab5,%rax
mov    %rax,-0x8(%rsp)
mov    0x8(%rdi),%r8
test   %r8,%r8
je     118c <RandomFunc+0x8c>
xor    %edx,%edx
jmp    1129 <RandomFunc+0x29>
nop
add    $0x2,%rdx
cmp    %r8,%rdx
jae    1187 <RandomFunc+0x87>
xor    %edi,%edi
jmp    1150 <RandomFunc+0x50>
nopl   (%rax)
movzbl -0x3(%rsp,%rdx,8),%eax
movzbl -0x1(%rsp,%rdx,8),%ecx
mov    %al,-0x1(%rsp,%rdx,8)
mov    %cl,-0x3(%rsp,%rdx,8)
roll   $0x10,-0x4(%rsp)
add    $0x2,%rdi
cmp    %r8,%rdi
jae    1120 <RandomFunc+0x20>
mov    -0x8(%rsp),%rax
mov    %rdi,%rcx
and    %rdx,%rcx
cmp    %rcx,%rax
jbe    1130 <RandomFunc+0x30>
mov    %eax,%ecx
and    $0x6,%cl
or     $0x1,%cl
shr    %cl,%rax
mov    %rax,-0x8(%rsp)
mov    %rax,%rcx
shr    $0x30,%rcx
shr    $0x10,%rax
mov    %ax,-0x2(%rsp)
mov    %cx,-0x6(%rsp)
jmp    1147 <RandomFunc+0x47>
mov    -0x8(%rsp),%rax
and    $0x369937ec,%eax
mov    %rax,(%rsi)
ret

LLVM IR (-O0):
define void @RandomFunc(i64* %0, i64* %1) {
%3 = alloca i64*
%4 = alloca i64*
%5 = alloca [1 x i64]
%6 = alloca i64
%7 = alloca i64
%8 = alloca i16
%9 = alloca i8
%10 = alloca i16
store i64* %0, i64** %3
store i64* %1, i64** %4
%11 = load i64*, i64** %3
%12 = getelementptr inbounds i64, i64* %11, i64 0
%13 = load i64, i64* %12
%14 = or i64 %13, 51238316
%15 = lshr i64 %14, 3
%16 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
store i64 %15, i64* %16
store i64 0, i64* %7
br label %17
17: ; preds = %102, %2
%18 = load i64, i64* %7
%19 = load i64*, i64** %3
%20 = getelementptr inbounds i64, i64* %19, i64 1
%21 = load i64, i64* %20
%22 = icmp ult i64 %18, %21
br i1 %22, label %23, label %105
23: ; preds = %17
store i64 0, i64* %6
br label %24
24: ; preds = %99, %23
%25 = load i64, i64* %6
%26 = load i64*, i64** %3
%27 = getelementptr inbounds i64, i64* %26, i64 1
%28 = load i64, i64* %27
%29 = icmp ult i64 %25, %28
br i1 %29, label %30, label %102
30: ; preds = %24
%31 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%32 = load i64, i64* %31
%33 = load i64, i64* %6
%34 = load i64, i64* %7
%35 = and i64 %33, %34
%36 = icmp ugt i64 %32, %35
br i1 %36, label %37, label %64
37: ; preds = %30
%38 = load i64, i64* %6
%39 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %38
%40 = load i64, i64* %39
%41 = load i64, i64* %6
%42 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %41
%43 = load i64, i64* %42
%44 = and i64 %43, 7
%45 = or i64 %44, 1
%46 = lshr i64 %40, %45
%47 = load i64, i64* %7
%48 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %47
store i64 %46, i64* %48
%49 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%50 = bitcast i64* %49 to i16*
%51 = getelementptr inbounds i16, i16* %50, i64 3
%52 = load i16, i16* %51
store i16 %52, i16* %8
%53 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%54 = bitcast i64* %53 to i16*
%55 = getelementptr inbounds i16, i16* %54, i64 1
%56 = load i16, i16* %55
%57 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%58 = bitcast i64* %57 to i16*
%59 = getelementptr inbounds i16, i16* %58, i64 3
store i16 %56, i16* %59
%60 = load i16, i16* %8
%61 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%62 = bitcast i64* %61 to i16*
%63 = getelementptr inbounds i16, i16* %62, i64 1
store i16 %60, i16* %63
br label %99
64: ; preds = %30
%65 = load i64, i64* %7
%66 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %65
%67 = bitcast i64* %66 to i8*
%68 = getelementptr inbounds i8, i8* %67, i64 7
%69 = load i8, i8* %68
store i8 %69, i8* %9
%70 = load i64, i64* %7
%71 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %70
%72 = bitcast i64* %71 to i8*
%73 = getelementptr inbounds i8, i8* %72, i64 5
%74 = load i8, i8* %73
%75 = load i64, i64* %7
%76 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %75
%77 = bitcast i64* %76 to i8*
%78 = getelementptr inbounds i8, i8* %77, i64 7
store i8 %74, i8* %78
%79 = load i8, i8* %9
%80 = load i64, i64* %7
%81 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %80
%82 = bitcast i64* %81 to i8*
%83 = getelementptr inbounds i8, i8* %82, i64 5
store i8 %79, i8* %83
%84 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%85 = bitcast i64* %84 to i16*
%86 = getelementptr inbounds i16, i16* %85, i64 2
%87 = load i16, i16* %86
store i16 %87, i16* %10
%88 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%89 = bitcast i64* %88 to i16*
%90 = getelementptr inbounds i16, i16* %89, i64 3
%91 = load i16, i16* %90
%92 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%93 = bitcast i64* %92 to i16*
%94 = getelementptr inbounds i16, i16* %93, i64 2
store i16 %91, i16* %94
%95 = load i16, i16* %10
%96 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%97 = bitcast i64* %96 to i16*
%98 = getelementptr inbounds i16, i16* %97, i64 3
store i16 %95, i16* %98
br label %99
99: ; preds = %64, %37
%100 = load i64, i64* %6
%101 = add i64 %100, 2
store i64 %101, i64* %6
br label %24
102: ; preds = %24
%103 = load i64, i64* %7
%104 = add i64 %103, 2
store i64 %104, i64* %7
br label %17
105: ; preds = %17
%106 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%107 = load i64, i64* %106
%108 = and i64 %107, 916010988
%109 = load i64*, i64** %4
%110 = getelementptr inbounds i64, i64* %109, i64 0
store i64 %108, i64* %110
ret void
}

LLVM IR (-O2):
define void @RandomFunc(i64* nocapture %0, i64* nocapture writeonly %1) {
%3 = alloca [1 x i64]
%4 = bitcast [1 x i64]* %3 to i8*
%5 = load i64, i64* %0
%6 = lshr i64 %5, 3
%7 = or i64 %6, 6404789
%8 = getelementptr inbounds [1 x i64], [1 x i64]* %3, i64 0, i64 0
store i64 %7, i64* %8
%9 = getelementptr inbounds i64, i64* %0, i64 1
%10 = load i64, i64* %9
%11 = icmp eq i64 %10, 0
br i1 %11, label %49, label %12
12: ; preds = %2
%13 = bitcast [1 x i64]* %3 to i16*
%14 = getelementptr inbounds i16, i16* %13, i64 2
%15 = getelementptr inbounds i16, i16* %13, i64 3
%16 = getelementptr inbounds i16, i16* %13, i64 1
br label %17
17: ; preds = %12, %44
%18 = phi i64 [ 0, %12 ], [ %45, %44 ]
%19 = getelementptr inbounds [1 x i64], [1 x i64]* %3, i64 0, i64 %18
%20 = bitcast i64* %19 to i8*
%21 = getelementptr inbounds i8, i8* %20, i64 7
%22 = getelementptr inbounds i8, i8* %20, i64 5
br label %23
23: ; preds = %17, %41
%24 = phi i64 [ 0, %17 ], [ %42, %41 ]
%25 = load i64, i64* %8
%26 = and i64 %24, %18
%27 = icmp ugt i64 %25, %26
br i1 %27, label %28, label %36
28: ; preds = %23
%29 = and i64 %25, 6
%30 = or i64 %29, 1
%31 = lshr i64 %25, %30
store i64 %31, i64* %8
%32 = lshr i64 %31, 48
%33 = trunc i64 %32 to i16
%34 = lshr i64 %31, 16
%35 = trunc i64 %34 to i16
store i16 %35, i16* %15
store i16 %33, i16* %16
br label %41
36: ; preds = %23
%37 = load i8, i8* %21
%38 = load i8, i8* %22
store i8 %38, i8* %21
store i8 %37, i8* %22
%39 = load i16, i16* %14
%40 = load i16, i16* %15
store i16 %40, i16* %14
store i16 %39, i16* %15
br label %41
41: ; preds = %36, %28
%42 = add nuw i64 %24, 2
%43 = icmp ult i64 %42, %10
br i1 %43, label %23, label %44
44: ; preds = %41
%45 = add nuw i64 %18, 2
%46 = icmp ult i64 %45, %10
br i1 %46, label %17, label %47
47: ; preds = %44
%48 = load i64, i64* %8
br label %49
49: ; preds = %47, %2
%50 = phi i64 [ %48, %47 ], [ %7, %2 ]
%51 = and i64 %50, 916010988
store i64 %51, i64* %1
ret void
}