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


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    11f4 <RandomFunc+0xf4>
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jbe    1156 <RandomFunc+0x56>
mov    -0x18(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    1178 <RandomFunc+0x78>
mov    -0x18(%rbp),%rcx
add    -0x18(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,-0x18(%rbp,%rax,8)
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp,%rax,8),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
je     11b9 <RandomFunc+0xb9>
mov    -0x18(%rbp),%rcx
mov    -0x20(%rbp),%rax
add    -0x18(%rbp,%rax,8),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,-0x18(%rbp,%rax,8)
mov    -0x16(%rbp),%ax
mov    %ax,-0x22(%rbp)
mov    -0x12(%rbp),%ax
mov    %ax,-0x16(%rbp)
mov    -0x22(%rbp),%ax
mov    %ax,-0x12(%rbp)
jmp    11e3 <RandomFunc+0xe3>
mov    -0x14(%rbp),%ax
mov    %ax,-0x24(%rbp)
mov    -0x12(%rbp),%ax
mov    %ax,-0x14(%rbp)
mov    -0x24(%rbp),%ax
mov    %ax,-0x12(%rbp)
mov    -0x16(%rbp),%al
mov    %al,-0x25(%rbp)
mov    -0x18(%rbp),%al
mov    %al,-0x16(%rbp)
mov    -0x25(%rbp),%al
mov    %al,-0x18(%rbp)
mov    -0x20(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x20(%rbp)
jmp    1125 <RandomFunc+0x25>
mov    -0x18(%rbp),%rcx
sub    $0x1579f698,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
push   %r14
push   %rbx
movabs $0xffff00000000,%r8
mov    $0xffffffffff660b45,%r11
add    (%rdi),%r11
mov    %r11,%r14
shr    $0x10,%r14
mov    %r11,%rax
shr    $0x18,%rax
mov    %r11,%rdx
shr    $0x20,%rdx
mov    %r11,%rbx
shr    $0x30,%rbx
mov    0x8(%rdi),%r9
test   %r9,%r9
je     121d <RandomFunc+0x11d>
xor    %edi,%edi
movabs $0xffffffff00000000,%r10
ff ff ff
mov    %r11,%rcx
jmp    11b9 <RandomFunc+0xb9>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
shl    $0x8,%eax
movzbl %r11b,%ebx
mov    %rdx,%rcx
and    %r10,%rcx
movzwl %ax,%eax
or     %rbx,%rax
shl    $0x10,%rax
mov    %edx,%ebx
add    %rdx,%rcx
and    $0xff00,%edx
and    $0xfe,%ebx
add    %rdx,%rcx
add    %rbx,%rcx
add    %rax,%rcx
mov    %rcx,%rbx
shr    $0x10,%rbx
mov    %rcx,%rdx
shr    $0x20,%rdx
mov    %rcx,%r14
shr    $0x30,%r14
mov    %rcx,%rax
shr    $0x38,%rax
mov    %rcx,%r11
add    $0x2,%rdi
cmp    %r9,%rdi
jae    1220 <RandomFunc+0x120>
shl    $0x30,%rbx
shl    $0x20,%rdx
and    %r8,%rdx
or     %rbx,%rdx
shl    $0x18,%eax
movzbl %r14b,%ebx
shl    $0x10,%rbx
or     %rax,%rbx
or     %rdx,%rbx
and    $0xff00,%ecx
or     %rbx,%rcx
movzbl %r11b,%edx
or     %rcx,%rdx
cmp    %rdx,%rdi
mov    $0x2,%cl
sbb    $0x0,%cl
shl    %cl,%rdx
mov    %rdx,%r11
shr    $0x10,%r11
mov    %rdx,%rax
shr    $0x18,%rax
cmp    %rdx,%rdi
jne    1160 <RandomFunc+0x60>
mov    %rdx,%rbx
shr    $0x20,%rbx
shr    $0x30,%rdx
mov    %rdi,%r14
mov    %rdi,%rcx
jmp    11b0 <RandomFunc+0xb0>
mov    %r11,%rcx
shl    $0x30,%rbx
shl    $0x20,%rdx
and    %r8,%rdx
shl    $0x18,%eax
movzbl %r14b,%edi
shl    $0x10,%rdi
or     %rax,%rdi
or     %rbx,%rdi
or     %rdx,%rdi
and    $0xff00,%ecx
movzbl %r11b,%eax
or     %rdi,%rcx
add    %rcx,%rax
add    $0xffffffffea860968,%rax
mov    %rax,(%rsi)
pop    %rbx
pop    %r14
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 i16
%8 = alloca i16
%9 = alloca i8
store i64* %0, i64** %3
store i64* %1, i64** %4
%10 = load i64*, i64** %3
%11 = getelementptr inbounds i64, i64* %10, i64 0
%12 = load i64, i64* %11
%13 = add i64 %12, -10089659
%14 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
store i64 %13, i64* %14
store i64 0, i64* %6
br label %15
15: ; preds = %106, %2
%16 = load i64, i64* %6
%17 = load i64*, i64** %3
%18 = getelementptr inbounds i64, i64* %17, i64 1
%19 = load i64, i64* %18
%20 = icmp ult i64 %16, %19
br i1 %20, label %21, label %109
21: ; preds = %15
%22 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%23 = load i64, i64* %22
%24 = load i64, i64* %6
%25 = icmp ugt i64 %23, %24
br i1 %25, label %26, label %32
26: ; preds = %21
%27 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%28 = load i64, i64* %27
%29 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%30 = load i64, i64* %29
%31 = add i64 %30, %28
store i64 %31, i64* %29
br label %46
32: ; preds = %21
%33 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%34 = load i64, i64* %33
%35 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%36 = load i64, i64* %35
%37 = add i64 %34, %36
%38 = load i64, i64* %6
%39 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %38
store i64 %37, i64* %39
%40 = load i64, i64* %6
%41 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %40
%42 = load i64, i64* %41
%43 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%44 = load i64, i64* %43
%45 = add i64 %44, %42
store i64 %45, i64* %43
br label %46
46: ; preds = %32, %26
%47 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%48 = load i64, i64* %47
%49 = load i64, i64* %6
%50 = icmp ne i64 %48, %49
br i1 %50, label %51, label %75
51: ; preds = %46
%52 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%53 = load i64, i64* %52
%54 = load i64, i64* %6
%55 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %54
%56 = load i64, i64* %55
%57 = add i64 %53, %56
%58 = load i64, i64* %6
%59 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %58
store i64 %57, i64* %59
%60 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%61 = bitcast i64* %60 to i16*
%62 = getelementptr inbounds i16, i16* %61, i64 1
%63 = load i16, i16* %62
store i16 %63, i16* %7
%64 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%65 = bitcast i64* %64 to i16*
%66 = getelementptr inbounds i16, i16* %65, i64 3
%67 = load i16, i16* %66
%68 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%69 = bitcast i64* %68 to i16*
%70 = getelementptr inbounds i16, i16* %69, i64 1
store i16 %67, i16* %70
%71 = load i16, i16* %7
%72 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%73 = bitcast i64* %72 to i16*
%74 = getelementptr inbounds i16, i16* %73, i64 3
store i16 %71, i16* %74
br label %106
75: ; preds = %46
%76 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%77 = bitcast i64* %76 to i16*
%78 = getelementptr inbounds i16, i16* %77, i64 2
%79 = load i16, i16* %78
store i16 %79, i16* %8
%80 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%81 = bitcast i64* %80 to i16*
%82 = getelementptr inbounds i16, i16* %81, i64 3
%83 = load i16, i16* %82
%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
store i16 %83, i16* %86
%87 = load i16, i16* %8
%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
store i16 %87, i16* %90
%91 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%92 = bitcast i64* %91 to i8*
%93 = getelementptr inbounds i8, i8* %92, i64 2
%94 = load i8, i8* %93
store i8 %94, i8* %9
%95 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%96 = bitcast i64* %95 to i8*
%97 = getelementptr inbounds i8, i8* %96, i64 0
%98 = load i8, i8* %97
%99 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%100 = bitcast i64* %99 to i8*
%101 = getelementptr inbounds i8, i8* %100, i64 2
store i8 %98, i8* %101
%102 = load i8, i8* %9
%103 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%104 = bitcast i64* %103 to i8*
%105 = getelementptr inbounds i8, i8* %104, i64 0
store i8 %102, i8* %105
br label %106
106: ; preds = %75, %51
%107 = load i64, i64* %6
%108 = add i64 %107, 2
store i64 %108, i64* %6
br label %15
109: ; preds = %15
%110 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%111 = load i64, i64* %110
%112 = sub i64 %111, 360314520
%113 = load i64*, i64** %4
%114 = getelementptr inbounds i64, i64* %113, i64 0
store i64 %112, i64* %114
ret void
}

LLVM IR (-O2):
define void @RandomFunc(i64* nocapture %0, i64* nocapture writeonly %1) {
%3 = load i64, i64* %0
%4 = add i64 %3, -10089659
%5 = lshr i64 %4, 16
%6 = lshr i64 %4, 24
%7 = lshr i64 %4, 32
%8 = lshr i64 %4, 48
%9 = getelementptr inbounds i64, i64* %0, i64 1
%10 = load i64, i64* %9
%11 = icmp eq i64 %10, 0
br i1 %11, label %68, label %12
12: ; preds = %2, %59
%13 = phi i64 [ %66, %59 ], [ 0, %2 ]
%14 = phi i64 [ %65, %59 ], [ %4, %2 ]
%15 = phi i64 [ %64, %59 ], [ %4, %2 ]
%16 = phi i64 [ %63, %59 ], [ %7, %2 ]
%17 = phi i64 [ %62, %59 ], [ %8, %2 ]
%18 = phi i64 [ %61, %59 ], [ %5, %2 ]
%19 = phi i64 [ %60, %59 ], [ %6, %2 ]
%20 = shl i64 %17, 48
%21 = shl nuw i64 %16, 32
%22 = and i64 %21, 281470681743360
%23 = or i64 %22, %20
%24 = shl i64 %19, 24
%25 = and i64 %24, 4278190080
%26 = shl i64 %18, 16
%27 = and i64 %26, 16711680
%28 = or i64 %25, %27
%29 = or i64 %23, %28
%30 = and i64 %15, 65280
%31 = or i64 %29, %30
%32 = and i64 %14, 255
%33 = or i64 %31, %32
%34 = icmp ugt i64 %33, %13
%35 = select i1 %34, i64 1, i64 2
%36 = shl i64 %33, %35
%37 = lshr i64 %36, 16
%38 = lshr i64 %36, 24
%39 = lshr i64 %36, 32
%40 = lshr i64 %36, 48
%41 = icmp eq i64 %36, %13
br i1 %41, label %59, label %42
42: ; preds = %12
%43 = shl nuw nsw i64 %38, 8
%44 = and i64 %37, 255
%45 = and i64 %36, -4294967296
%46 = and i64 %43, 65280
%47 = or i64 %46, %44
%48 = shl nuw nsw i64 %47, 16
%49 = and i64 %36, 65280
%50 = and i64 %36, 254
%51 = add i64 %45, %36
%52 = add i64 %51, %49
%53 = add i64 %52, %50
%54 = add i64 %53, %48
%55 = lshr i64 %54, 16
%56 = lshr i64 %54, 32
%57 = lshr i64 %54, 48
%58 = lshr i64 %54, 56
br label %59
59: ; preds = %12, %42
%60 = phi i64 [ %58, %42 ], [ %38, %12 ]
%61 = phi i64 [ %57, %42 ], [ %13, %12 ]
%62 = phi i64 [ %55, %42 ], [ %39, %12 ]
%63 = phi i64 [ %56, %42 ], [ %40, %12 ]
%64 = phi i64 [ %54, %42 ], [ %13, %12 ]
%65 = phi i64 [ %54, %42 ], [ %37, %12 ]
%66 = add nuw i64 %13, 2
%67 = icmp ult i64 %66, %10
br i1 %67, label %12, label %68
68: ; preds = %59, %2
%69 = phi i64 [ %6, %2 ], [ %60, %59 ]
%70 = phi i64 [ %5, %2 ], [ %61, %59 ]
%71 = phi i64 [ %8, %2 ], [ %62, %59 ]
%72 = phi i64 [ %7, %2 ], [ %63, %59 ]
%73 = phi i64 [ %4, %2 ], [ %64, %59 ]
%74 = phi i64 [ %4, %2 ], [ %65, %59 ]
%75 = shl i64 %71, 48
%76 = shl nuw i64 %72, 32
%77 = and i64 %76, 281470681743360
%78 = shl nuw i64 %69, 24
%79 = and i64 %78, 4278190080
%80 = shl i64 %70, 16
%81 = and i64 %80, 16711680
%82 = or i64 %79, %81
%83 = and i64 %73, 65280
%84 = and i64 %74, 255
%85 = add i64 %75, -360314520
%86 = add i64 %85, %82
%87 = add i64 %86, %77
%88 = add i64 %87, %83
%89 = add i64 %88, %84
store i64 %89, i64* %1
ret void
}