void RandomFunc(unsigned long input[1], unsigned long output[1]) {
  unsigned long state[1];
  char copy11;
  unsigned short copy12;
  {
    state[0UL] = (input[0UL] + 51238316UL) + 274866410UL;
    if ((state[0UL] >> 4UL) & 1UL) {
      state[0UL] += state[0UL];
      state[0UL] += state[0UL];
    } else {
      copy11 = *((char *)(&state[0UL]) + 3);
      *((char *)(&state[0UL]) + 3) = *((char *)(&state[0UL]) + 2);
      *((char *)(&state[0UL]) + 2) = copy11;
      copy12 = *((unsigned short *)(&state[0UL]) + 3);
      *((unsigned short *)(&state[0UL]) + 3) =
          *((unsigned short *)(&state[0UL]) + 2);
      *((unsigned short *)(&state[0UL]) + 2) = copy12;
      copy12 = *((unsigned short *)(&state[0UL]) + 0);
      *((unsigned short *)(&state[0UL]) + 0) =
          *((unsigned short *)(&state[0UL]) + 1);
      *((unsigned short *)(&state[0UL]) + 1) = copy12;
    }
    output[0UL] = (state[0UL] * 943156777UL) * 495144311008221650UL;
  }
}


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    $0x30dd5ac,%rax
add    $0x106220ea,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
shr    $0x4,%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     1156 <RandomFunc+0x56>
mov    -0x18(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    1198 <RandomFunc+0x98>
mov    -0x15(%rbp),%al
mov    %al,-0x19(%rbp)
mov    -0x16(%rbp),%al
mov    %al,-0x15(%rbp)
mov    -0x19(%rbp),%al
mov    %al,-0x16(%rbp)
mov    -0x12(%rbp),%ax
mov    %ax,-0x1c(%rbp)
mov    -0x14(%rbp),%ax
mov    %ax,-0x12(%rbp)
mov    -0x1c(%rbp),%ax
mov    %ax,-0x14(%rbp)
mov    -0x18(%rbp),%ax
mov    %ax,-0x1c(%rbp)
mov    -0x16(%rbp),%ax
mov    %ax,-0x18(%rbp)
mov    -0x1c(%rbp),%ax
mov    %ax,-0x16(%rbp)
imul   $0x38376e29,-0x18(%rbp),%rcx
38
movabs $0x6df1b20a23359d2,%rax
1b df 06
imul   %rax,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
push   %rbx
mov    $0x136ff696,%ebx
add    (%rdi),%rbx
mov    %rbx,%rcx
shr    $0x10,%rcx
mov    %rbx,%rax
shr    $0x18,%rax
test   $0x10,%bl
jne    113d <RandomFunc+0x3d>
mov    %rbx,%rdx
shr    $0x20,%rdx
mov    %rbx,%rdi
shr    $0x30,%rdi
movzbl %al,%eax
shl    $0x8,%rcx
or     %rax,%rcx
mov    %rbx,%rax
shr    $0x8,%rax
jmp    11af <RandomFunc+0xaf>
movzbl %cl,%edx
movzwl %bx,%edi
movabs $0x7fff00000000,%rcx
and    %rbx,%rcx
shl    $0x8,%eax
or     %edx,%eax
movzwl %ax,%edx
shl    $0x10,%rdx
or     %rdx,%rcx
or     %edi,%edx
shr    $0xf,%edx
and    $0xffffff80,%eax
movzbl %dl,%edx
lea    (%rdx,%rax,2),%eax
movabs $0xffff800000000000,%rdx
80 ff ff
and    %rbx,%rdx
shl    $0x2,%rdx
and    $0xffffffff80000000,%rcx
lea    (%rdx,%rcx,4),%rdx
movzwl %ax,%edi
shl    $0x11,%rdi
or     %rdx,%rdi
and    $0x7fff,%ebx
lea    (%rdi,%rbx,4),%rcx
mov    %rcx,%rbx
shr    $0x10,%rbx
movzbl %bh,%eax
shr    $0x20,%rdi
shr    $0x30,%rdx
shl    $0x8,%eax
movzbl %bl,%ebx
or     %eax,%ebx
shl    $0x30,%rdx
movzwl %di,%eax
shl    $0x20,%rax
or     %rdx,%rax
movzwl %bx,%edx
shl    $0x10,%rdx
or     %rax,%rdx
movzwl %cx,%eax
or     %rdx,%rax
movabs $0xeee1729a46ef9ea2,%rcx
72 e1 ee
imul   %rax,%rcx
mov    %rcx,(%rsi)
pop    %rbx
ret

LLVM IR (-O0):
define void @RandomFunc(i64* %0, i64* %1) {
%3 = alloca i64*
%4 = alloca i64*
%5 = alloca [1 x i64]
%6 = alloca i8
%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 = add i64 %10, 51238316
%12 = add i64 %11, 274866410
%13 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
store i64 %12, i64* %13
%14 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%15 = load i64, i64* %14
%16 = lshr i64 %15, 4
%17 = and i64 %16, 1
%18 = icmp ne i64 %17, 0
br i1 %18, label %19, label %30
19: ; preds = %2
%20 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%21 = load i64, i64* %20
%22 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%23 = load i64, i64* %22
%24 = add i64 %23, %21
store i64 %24, i64* %22
%25 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%26 = load i64, i64* %25
%27 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%28 = load i64, i64* %27
%29 = add i64 %28, %26
store i64 %29, i64* %27
br label %76
30: ; preds = %2
%31 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%32 = bitcast i64* %31 to i8*
%33 = getelementptr inbounds i8, i8* %32, i64 3
%34 = load i8, i8* %33
store i8 %34, i8* %6
%35 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%36 = bitcast i64* %35 to i8*
%37 = getelementptr inbounds i8, i8* %36, i64 2
%38 = load i8, i8* %37
%39 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%40 = bitcast i64* %39 to i8*
%41 = getelementptr inbounds i8, i8* %40, i64 3
store i8 %38, i8* %41
%42 = load i8, i8* %6
%43 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%44 = bitcast i64* %43 to i8*
%45 = getelementptr inbounds i8, i8* %44, i64 2
store i8 %42, i8* %45
%46 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%47 = bitcast i64* %46 to i16*
%48 = getelementptr inbounds i16, i16* %47, i64 3
%49 = load i16, i16* %48
store i16 %49, i16* %7
%50 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%51 = bitcast i64* %50 to i16*
%52 = getelementptr inbounds i16, i16* %51, i64 2
%53 = load i16, i16* %52
%54 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%55 = bitcast i64* %54 to i16*
%56 = getelementptr inbounds i16, i16* %55, i64 3
store i16 %53, i16* %56
%57 = load i16, i16* %7
%58 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%59 = bitcast i64* %58 to i16*
%60 = getelementptr inbounds i16, i16* %59, i64 2
store i16 %57, i16* %60
%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 0
%64 = load i16, i16* %63
store i16 %64, i16* %7
%65 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%66 = bitcast i64* %65 to i16*
%67 = getelementptr inbounds i16, i16* %66, i64 1
%68 = load i16, i16* %67
%69 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%70 = bitcast i64* %69 to i16*
%71 = getelementptr inbounds i16, i16* %70, i64 0
store i16 %68, i16* %71
%72 = load i16, i16* %7
%73 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%74 = bitcast i64* %73 to i16*
%75 = getelementptr inbounds i16, i16* %74, i64 1
store i16 %72, i16* %75
br label %76
76: ; preds = %30, %19
%77 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%78 = load i64, i64* %77
%79 = mul i64 %78, 943156777
%80 = mul i64 %79, 495144311008221650
%81 = load i64*, i64** %4
%82 = getelementptr inbounds i64, i64* %81, i64 0
store i64 %80, i64* %82
ret void
}

LLVM IR (-O2):
define void @RandomFunc(i64* nocapture %0, i64* nocapture writeonly %1) {
%3 = load i64, i64* %0
%4 = add i64 %3, 326104726
%5 = lshr i64 %4, 16
%6 = lshr i64 %4, 24
%7 = and i64 %4, 16
%8 = icmp eq i64 %7, 0
br i1 %8, label %43, label %9
9: ; preds = %2
%10 = trunc i64 %6 to i16
%11 = trunc i64 %5 to i16
%12 = and i16 %11, 255
%13 = and i64 %4, 65535
%14 = and i64 %4, 140733193388032
%15 = shl i16 %10, 8
%16 = or i16 %15, %12
%17 = zext i16 %16 to i64
%18 = shl nuw nsw i64 %17, 16
%19 = or i64 %18, %14
%20 = or i64 %18, %13
%21 = shl nuw nsw i64 %13, 2
%22 = lshr i64 %20, 15
%23 = trunc i64 %22 to i16
%24 = shl i16 %16, 1
%25 = and i16 %24, -256
%26 = and i16 %23, 255
%27 = or i16 %26, %25
%28 = shl i64 %4, 2
%29 = and i64 %28, -562949953421312
%30 = shl nuw nsw i64 %19, 2
%31 = and i64 %30, 562941363486720
%32 = or i64 %31, %29
%33 = zext i16 %27 to i64
%34 = shl nuw nsw i64 %33, 17
%35 = or i64 %34, %32
%36 = and i64 %21, 131068
%37 = or i64 %35, %36
%38 = lshr i64 %37, 16
%39 = trunc i64 %38 to i16
%40 = lshr i16 %39, 8
%41 = lshr i64 %35, 32
%42 = lshr i64 %32, 48
br label %52
43: ; preds = %2
%44 = lshr i64 %4, 32
%45 = lshr i64 %4, 48
%46 = and i64 %6, 255
%47 = shl nuw nsw i64 %5, 8
%48 = or i64 %47, %46
%49 = trunc i64 %4 to i16
%50 = lshr i64 %4, 8
%51 = trunc i64 %50 to i16
br label %52
52: ; preds = %43, %9
%53 = phi i64 [ %42, %9 ], [ %44, %43 ]
%54 = phi i64 [ %41, %9 ], [ %45, %43 ]
%55 = phi i64 [ %37, %9 ], [ %48, %43 ]
%56 = phi i16 [ %39, %9 ], [ %49, %43 ]
%57 = phi i16 [ %40, %9 ], [ %51, %43 ]
%58 = shl i16 %57, 8
%59 = and i16 %56, 255
%60 = or i16 %58, %59
%61 = shl i64 %53, 48
%62 = shl nuw i64 %54, 32
%63 = and i64 %62, 281470681743360
%64 = or i64 %63, %61
%65 = zext i16 %60 to i64
%66 = shl nuw nsw i64 %65, 16
%67 = or i64 %66, %64
%68 = and i64 %55, 65535
%69 = or i64 %67, %68
%70 = mul i64 %69, -1233578815982166366
store i64 %70, i64* %1
ret void
}