void RandomFunc(unsigned long input[1], unsigned long output[1]) {
  unsigned long state[1];
  unsigned long local1;
  unsigned short copy11;
  {
    state[0UL] = input[0UL] ^ 700325083UL;
    local1 = 0UL;
    while (local1 < 0UL) {
      copy11 = *((unsigned short *)(&state[0UL]) + 1);
      *((unsigned short *)(&state[0UL]) + 1) =
          *((unsigned short *)(&state[0UL]) + 2);
      *((unsigned short *)(&state[0UL]) + 2) = copy11;
      local1 += 2UL;
    }
    output[0UL] = (state[0UL] | 45871808UL) >> 7UL;
  }
}


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
xor    $0x29be1cdb,%rax
mov    %rax,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jae    1159 <RandomFunc+0x59>
mov    -0x16(%rbp),%ax
mov    %ax,-0x22(%rbp)
mov    -0x14(%rbp),%ax
mov    %ax,-0x16(%rbp)
mov    -0x22(%rbp),%ax
mov    %ax,-0x14(%rbp)
mov    -0x20(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x20(%rbp)
jmp    1125 <RandomFunc+0x25>
mov    -0x18(%rbp),%rcx
or     $0x2bbf2c0,%rcx
shr    $0x7,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
mov    (%rdi),%rax
movabs $0xffffffff00000000,%rcx
ff ff ff
and    %rax,%rcx
xor    $0x29be1cdb,%rax
mov    %eax,%edx
and    $0xfd440000,%edx
or     %rcx,%rdx
and    $0xd00,%eax
or     %rdx,%rax
shr    $0x7,%rax
or     $0x577e5,%rax
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 i16
store i64* %0, i64** %3
store i64* %1, i64** %4
%8 = load i64*, i64** %3
%9 = getelementptr inbounds i64, i64* %8, i64 0
%10 = load i64, i64* %9
%11 = xor i64 %10, 700325083
%12 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
store i64 %11, i64* %12
store i64 0, i64* %6
br label %13
13: ; preds = %16, %2
%14 = load i64, i64* %6
%15 = icmp ult i64 %14, 0
br i1 %15, label %16, label %34
16: ; preds = %13
%17 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%18 = bitcast i64* %17 to i16*
%19 = getelementptr inbounds i16, i16* %18, i64 1
%20 = load i16, i16* %19
store i16 %20, i16* %7
%21 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%22 = bitcast i64* %21 to i16*
%23 = getelementptr inbounds i16, i16* %22, i64 2
%24 = load i16, i16* %23
%25 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%26 = bitcast i64* %25 to i16*
%27 = getelementptr inbounds i16, i16* %26, i64 1
store i16 %24, i16* %27
%28 = load i16, i16* %7
%29 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%30 = bitcast i64* %29 to i16*
%31 = getelementptr inbounds i16, i16* %30, i64 2
store i16 %28, i16* %31
%32 = load i64, i64* %6
%33 = add i64 %32, 2
store i64 %33, i64* %6
br label %13
34: ; preds = %13
%35 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%36 = load i64, i64* %35
%37 = or i64 %36, 45871808
%38 = lshr i64 %37, 7
%39 = load i64*, i64** %4
%40 = getelementptr inbounds i64, i64* %39, i64 0
store i64 %38, i64* %40
ret void
}

LLVM IR (-O2):
define void @RandomFunc(i64* nocapture %0, i64* nocapture writeonly %1) {
%3 = load i64, i64* %0
%4 = xor i64 %3, 700325083
%5 = and i64 %3, -4294967296
%6 = and i64 %4, 4249092096
%7 = or i64 %6, %5
%8 = and i64 %4, 3328
%9 = or i64 %7, %8
%10 = lshr exact i64 %9, 7
%11 = or i64 %10, 358373
store i64 %11, i64* %1
ret void
}