void RandomFunc(unsigned long input[1], unsigned long output[1]) {
  unsigned long state[1];
  unsigned long local1;
  char copy12;
  char copy13;
  unsigned short copy14;
  unsigned short copy15;
  {
    state[0UL] = input[0UL] + 0xffffffffff660b45UL;
    local1 = 0UL;
    while (local1 < input[1UL]) {
      if (state[0UL] > local1) {
        if (state[0UL] > local1) {
          state[local1] -= state[0UL];
          state[local1] = state[0UL] + state[0UL];
        } else {
          state[local1] += state[local1];
        }
      } else if (state[0UL] < local1) {
        copy12 = *((char *)(&state[local1]) + 2);
        *((char *)(&state[local1]) + 2) = *((char *)(&state[local1]) + 7);
        *((char *)(&state[local1]) + 7) = copy12;
        copy13 = *((char *)(&state[local1]) + 7);
        *((char *)(&state[local1]) + 7) = *((char *)(&state[local1]) + 5);
        *((char *)(&state[local1]) + 5) = copy13;
        copy13 = *((char *)(&state[local1]) + 2);
        *((char *)(&state[local1]) + 2) = *((char *)(&state[local1]) + 6);
        *((char *)(&state[local1]) + 6) = copy13;
      } else {
        copy14 = *((unsigned short *)(&state[local1]) + 3);
        *((unsigned short *)(&state[local1]) + 3) =
            *((unsigned short *)(&state[local1]) + 0);
        *((unsigned short *)(&state[local1]) + 0) = copy14;
        copy15 = *((unsigned short *)(&state[0UL]) + 1);
        *((unsigned short *)(&state[0UL]) + 1) =
            *((unsigned short *)(&state[0UL]) + 3);
        *((unsigned short *)(&state[0UL]) + 3) = copy15;
      }
      local1 += 2UL;
    }
    output[0UL] = (state[0UL] + 855068995UL) - 715007585UL;
  }
}


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
add    $0xffffffffff660b45,%rax
mov    %rax,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x8(%rbp),%rcx
cmp    0x8(%rcx),%rax
jae    1279 <RandomFunc+0x179>
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jbe    119a <RandomFunc+0x9a>
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jbe    117e <RandomFunc+0x7e>
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp,%rax,8),%rcx
sub    %rdx,%rcx
mov    %rcx,-0x18(%rbp,%rax,8)
mov    -0x18(%rbp),%rcx
add    -0x18(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,-0x18(%rbp,%rax,8)
jmp    1195 <RandomFunc+0x95>
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp,%rax,8),%rcx
mov    -0x20(%rbp),%rax
add    -0x18(%rbp,%rax,8),%rcx
mov    %rcx,-0x18(%rbp,%rax,8)
jmp    1268 <RandomFunc+0x168>
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    121f <RandomFunc+0x11f>
mov    -0x20(%rbp),%rax
mov    -0x16(%rbp,%rax,8),%al
mov    %al,-0x21(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x11(%rbp,%rax,8),%cl
mov    -0x20(%rbp),%rax
mov    %cl,-0x16(%rbp,%rax,8)
mov    -0x21(%rbp),%cl
mov    -0x20(%rbp),%rax
mov    %cl,-0x11(%rbp,%rax,8)
mov    -0x20(%rbp),%rax
mov    -0x11(%rbp,%rax,8),%al
mov    %al,-0x22(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x13(%rbp,%rax,8),%cl
mov    -0x20(%rbp),%rax
mov    %cl,-0x11(%rbp,%rax,8)
mov    -0x22(%rbp),%cl
mov    -0x20(%rbp),%rax
mov    %cl,-0x13(%rbp,%rax,8)
mov    -0x20(%rbp),%rax
mov    -0x16(%rbp,%rax,8),%al
mov    %al,-0x22(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x12(%rbp,%rax,8),%cl
mov    -0x20(%rbp),%rax
mov    %cl,-0x16(%rbp,%rax,8)
mov    -0x22(%rbp),%cl
mov    -0x20(%rbp),%rax
mov    %cl,-0x12(%rbp,%rax,8)
jmp    1263 <RandomFunc+0x163>
mov    -0x20(%rbp),%rax
mov    -0x12(%rbp,%rax,8),%ax
mov    %ax,-0x24(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp,%rax,8),%cx
mov    -0x20(%rbp),%rax
mov    %cx,-0x12(%rbp,%rax,8)
mov    -0x24(%rbp),%cx
mov    -0x20(%rbp),%rax
mov    %cx,-0x18(%rbp,%rax,8)
mov    -0x16(%rbp),%ax
mov    %ax,-0x26(%rbp)
mov    -0x12(%rbp),%ax
mov    %ax,-0x16(%rbp)
mov    -0x26(%rbp),%ax
mov    %ax,-0x12(%rbp)
jmp    1268 <RandomFunc+0x168>
mov    -0x20(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x20(%rbp)
jmp    1125 <RandomFunc+0x25>
mov    -0x18(%rbp),%rcx
add    $0x32f75143,%rcx
sub    $0x2a9e2661,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
mov    $0xffffffffff660b45,%rdx
add    (%rdi),%rdx
mov    %rdx,-0x8(%rsp)
mov    0x8(%rdi),%r8
test   %r8,%r8
je     1195 <RandomFunc+0x95>
xor    %ecx,%ecx
jmp    1137 <RandomFunc+0x37>
nopl   0x0(%rax)
movq   $0x0,-0x8(%rsp)
add    $0x2,%rcx
mov    -0x8(%rsp),%rdx
cmp    %r8,%rcx
jae    1195 <RandomFunc+0x95>
mov    %rdx,%rdi
shr    $0x10,%rdi
cmp    %rcx,%rdx
ja     1120 <RandomFunc+0x20>
jae    1170 <RandomFunc+0x70>
movzbl -0x1(%rsp,%rcx,8),%edi
movzbl -0x6(%rsp,%rcx,8),%eax
movzbl -0x3(%rsp,%rcx,8),%edx
mov    %dl,-0x1(%rsp,%rcx,8)
mov    %al,-0x3(%rsp,%rcx,8)
movzbl -0x2(%rsp,%rcx,8),%eax
mov    %al,-0x6(%rsp,%rcx,8)
mov    %dil,-0x2(%rsp,%rcx,8)
jmp    1129 <RandomFunc+0x29>
nopl   0x0(%rax)
movzwl -0x8(%rsp,%rcx,8),%eax
movzwl -0x2(%rsp,%rcx,8),%edx
mov    %ax,-0x2(%rsp,%rcx,8)
mov    %dx,-0x8(%rsp,%rcx,8)
movzwl -0x2(%rsp),%eax
mov    %ax,-0x6(%rsp)
mov    %di,-0x2(%rsp)
jmp    1129 <RandomFunc+0x29>
add    $0x8592ae2,%rdx
mov    %rdx,(%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 i8
%8 = alloca i8
%9 = alloca i16
%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 = add i64 %13, -10089659
%15 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
store i64 %14, i64* %15
store i64 0, i64* %6
br label %16
16: ; preds = %154, %2
%17 = load i64, i64* %6
%18 = load i64*, i64** %3
%19 = getelementptr inbounds i64, i64* %18, i64 1
%20 = load i64, i64* %19
%21 = icmp ult i64 %17, %20
br i1 %21, label %22, label %157
22: ; preds = %16
%23 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%24 = load i64, i64* %23
%25 = load i64, i64* %6
%26 = icmp ugt i64 %24, %25
br i1 %26, label %27, label %55
27: ; preds = %22
%28 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%29 = load i64, i64* %28
%30 = load i64, i64* %6
%31 = icmp ugt i64 %29, %30
br i1 %31, label %32, label %46
32: ; preds = %27
%33 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%34 = load i64, i64* %33
%35 = load i64, i64* %6
%36 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %35
%37 = load i64, i64* %36
%38 = sub i64 %37, %34
store i64 %38, i64* %36
%39 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%40 = load i64, i64* %39
%41 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%42 = load i64, i64* %41
%43 = add i64 %40, %42
%44 = load i64, i64* %6
%45 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %44
store i64 %43, i64* %45
br label %54
46: ; preds = %27
%47 = load i64, i64* %6
%48 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %47
%49 = load i64, i64* %48
%50 = load i64, i64* %6
%51 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %50
%52 = load i64, i64* %51
%53 = add i64 %52, %49
store i64 %53, i64* %51
br label %54
54: ; preds = %46, %32
br label %154
55: ; preds = %22
%56 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%57 = load i64, i64* %56
%58 = load i64, i64* %6
%59 = icmp ult i64 %57, %58
br i1 %59, label %60, label %118
60: ; preds = %55
%61 = load i64, i64* %6
%62 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %61
%63 = bitcast i64* %62 to i8*
%64 = getelementptr inbounds i8, i8* %63, i64 2
%65 = load i8, i8* %64
store i8 %65, i8* %7
%66 = load i64, i64* %6
%67 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %66
%68 = bitcast i64* %67 to i8*
%69 = getelementptr inbounds i8, i8* %68, i64 7
%70 = load i8, i8* %69
%71 = load i64, i64* %6
%72 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %71
%73 = bitcast i64* %72 to i8*
%74 = getelementptr inbounds i8, i8* %73, i64 2
store i8 %70, i8* %74
%75 = load i8, i8* %7
%76 = load i64, i64* %6
%77 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %76
%78 = bitcast i64* %77 to i8*
%79 = getelementptr inbounds i8, i8* %78, i64 7
store i8 %75, i8* %79
%80 = load i64, i64* %6
%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 7
%84 = load i8, i8* %83
store i8 %84, i8* %8
%85 = load i64, i64* %6
%86 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %85
%87 = bitcast i64* %86 to i8*
%88 = getelementptr inbounds i8, i8* %87, i64 5
%89 = load i8, i8* %88
%90 = load i64, i64* %6
%91 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %90
%92 = bitcast i64* %91 to i8*
%93 = getelementptr inbounds i8, i8* %92, i64 7
store i8 %89, i8* %93
%94 = load i8, i8* %8
%95 = load i64, i64* %6
%96 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %95
%97 = bitcast i64* %96 to i8*
%98 = getelementptr inbounds i8, i8* %97, i64 5
store i8 %94, i8* %98
%99 = load i64, i64* %6
%100 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %99
%101 = bitcast i64* %100 to i8*
%102 = getelementptr inbounds i8, i8* %101, i64 2
%103 = load i8, i8* %102
store i8 %103, i8* %8
%104 = load i64, i64* %6
%105 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %104
%106 = bitcast i64* %105 to i8*
%107 = getelementptr inbounds i8, i8* %106, i64 6
%108 = load i8, i8* %107
%109 = load i64, i64* %6
%110 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %109
%111 = bitcast i64* %110 to i8*
%112 = getelementptr inbounds i8, i8* %111, i64 2
store i8 %108, i8* %112
%113 = load i8, i8* %8
%114 = load i64, i64* %6
%115 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %114
%116 = bitcast i64* %115 to i8*
%117 = getelementptr inbounds i8, i8* %116, i64 6
store i8 %113, i8* %117
br label %153
118: ; preds = %55
%119 = load i64, i64* %6
%120 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %119
%121 = bitcast i64* %120 to i16*
%122 = getelementptr inbounds i16, i16* %121, i64 3
%123 = load i16, i16* %122
store i16 %123, i16* %9
%124 = load i64, i64* %6
%125 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %124
%126 = bitcast i64* %125 to i16*
%127 = getelementptr inbounds i16, i16* %126, i64 0
%128 = load i16, i16* %127
%129 = load i64, i64* %6
%130 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %129
%131 = bitcast i64* %130 to i16*
%132 = getelementptr inbounds i16, i16* %131, i64 3
store i16 %128, i16* %132
%133 = load i16, i16* %9
%134 = load i64, i64* %6
%135 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %134
%136 = bitcast i64* %135 to i16*
%137 = getelementptr inbounds i16, i16* %136, i64 0
store i16 %133, i16* %137
%138 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%139 = bitcast i64* %138 to i16*
%140 = getelementptr inbounds i16, i16* %139, i64 1
%141 = load i16, i16* %140
store i16 %141, i16* %10
%142 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%143 = bitcast i64* %142 to i16*
%144 = getelementptr inbounds i16, i16* %143, i64 3
%145 = load i16, i16* %144
%146 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%147 = bitcast i64* %146 to i16*
%148 = getelementptr inbounds i16, i16* %147, i64 1
store i16 %145, i16* %148
%149 = load i16, i16* %10
%150 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%151 = bitcast i64* %150 to i16*
%152 = getelementptr inbounds i16, i16* %151, i64 3
store i16 %149, i16* %152
br label %153
153: ; preds = %118, %60
br label %154
154: ; preds = %153, %54
%155 = load i64, i64* %6
%156 = add i64 %155, 2
store i64 %156, i64* %6
br label %16
157: ; preds = %16
%158 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%159 = load i64, i64* %158
%160 = add i64 %159, 855068995
%161 = sub i64 %160, 715007585
%162 = load i64*, i64** %4
%163 = getelementptr inbounds i64, i64* %162, i64 0
store i64 %161, i64* %163
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 = add i64 %5, -10089659
%7 = getelementptr inbounds [1 x i64], [1 x i64]* %3, i64 0, i64 0
store i64 %6, i64* %7
%8 = getelementptr inbounds i64, i64* %0, i64 1
%9 = load i64, i64* %8
%10 = icmp eq i64 %9, 0
br i1 %10, label %45, label %11
11: ; preds = %2
%12 = bitcast [1 x i64]* %3 to i16*
%13 = getelementptr inbounds i16, i16* %12, i64 1
%14 = getelementptr inbounds i16, i16* %12, i64 3
br label %15
15: ; preds = %41, %11
%16 = phi i64 [ %6, %11 ], [ %44, %41 ]
%17 = phi i64 [ 0, %11 ], [ %42, %41 ]
%18 = lshr i64 %16, 16
%19 = trunc i64 %18 to i16
%20 = icmp ugt i64 %16, %17
br i1 %20, label %21, label %22
21: ; preds = %15
store i64 0, i64* %7
br label %41
22: ; preds = %15
%23 = icmp ult i64 %16, %17
%24 = getelementptr inbounds [1 x i64], [1 x i64]* %3, i64 0, i64 %17
br i1 %23, label %25, label %35
25: ; preds = %22
%26 = bitcast i64* %24 to i8*
%27 = getelementptr inbounds i8, i8* %26, i64 2
%28 = load i8, i8* %27
%29 = getelementptr inbounds i8, i8* %26, i64 7
%30 = load i8, i8* %29
%31 = getelementptr inbounds i8, i8* %26, i64 5
%32 = load i8, i8* %31
store i8 %32, i8* %29
store i8 %28, i8* %31
%33 = getelementptr inbounds i8, i8* %26, i64 6
%34 = load i8, i8* %33
store i8 %34, i8* %27
store i8 %30, i8* %33
br label %41
35: ; preds = %22
%36 = bitcast i64* %24 to i16*
%37 = getelementptr inbounds i16, i16* %36, i64 3
%38 = load i16, i16* %37
%39 = load i16, i16* %36
store i16 %39, i16* %37
store i16 %38, i16* %36
%40 = load i16, i16* %14
store i16 %40, i16* %13
store i16 %19, i16* %14
br label %41
41: ; preds = %25, %35, %21
%42 = add nuw i64 %17, 2
%43 = icmp ult i64 %42, %9
%44 = load i64, i64* %7
br i1 %43, label %15, label %45
45: ; preds = %41, %2
%46 = phi i64 [ %6, %2 ], [ %44, %41 ]
%47 = add i64 %46, 140061410
store i64 %47, i64* %1
ret void
}