void RandomFunc(unsigned long input[1], unsigned long output[1]) {
  unsigned long state[1];
  char copy11;
  unsigned short copy13;
  char copy15;
  {
    state[0UL] = (input[0UL] + 914778474UL) - 981234615UL;
    if (state[0UL] & 1UL) {
      if (state[0UL] & 1UL) {
        state[0UL] += state[0UL];
        state[0UL] += state[0UL];
      } else {
        copy11 = *((char *)(&state[0UL]) + 3);
        *((char *)(&state[0UL]) + 3) = *((char *)(&state[0UL]) + 6);
        *((char *)(&state[0UL]) + 6) = copy11;
      }
    } else if ((state[0UL] >> 3UL) & 1UL) {
      state[0UL] += state[0UL];
      copy13 = *((unsigned short *)(&state[0UL]) + 0);
      *((unsigned short *)(&state[0UL]) + 0) =
          *((unsigned short *)(&state[0UL]) + 2);
      *((unsigned short *)(&state[0UL]) + 2) = copy13;
    } else {
      copy15 = *((char *)(&state[0UL]) + 4);
      *((char *)(&state[0UL]) + 4) = *((char *)(&state[0UL]) + 6);
      *((char *)(&state[0UL]) + 6) = copy15;
    }
    output[0UL] = (state[0UL] + 88679743UL) + 1144939583UL;
  }
}


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    $0x3686696a,%rax
sub    $0x3a7c73b7,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     117b <RandomFunc+0x7b>
mov    -0x18(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     1164 <RandomFunc+0x64>
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    1176 <RandomFunc+0x76>
mov    -0x15(%rbp),%al
mov    %al,-0x19(%rbp)
mov    -0x12(%rbp),%al
mov    %al,-0x15(%rbp)
mov    -0x19(%rbp),%al
mov    %al,-0x12(%rbp)
jmp    11d1 <RandomFunc+0xd1>
mov    -0x18(%rbp),%rax
shr    $0x3,%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     11ba <RandomFunc+0xba>
mov    -0x18(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%ax
mov    %ax,-0x1c(%rbp)
mov    -0x14(%rbp),%ax
mov    %ax,-0x18(%rbp)
mov    -0x1c(%rbp),%ax
mov    %ax,-0x14(%rbp)
jmp    11cc <RandomFunc+0xcc>
mov    -0x14(%rbp),%al
mov    %al,-0x1d(%rbp)
mov    -0x12(%rbp),%al
mov    %al,-0x14(%rbp)
mov    -0x1d(%rbp),%al
mov    %al,-0x12(%rbp)
jmp    11d1 <RandomFunc+0xd1>
mov    -0x18(%rbp),%rcx
add    $0x549253f,%rcx
add    $0x443e643f,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
push   %rbx
mov    $0xfffffffffc09f5b3,%rax
add    (%rdi),%rax
mov    %rax,%r8
shr    $0x20,%r8
mov    %rax,%rdx
shr    $0x28,%rdx
mov    %edx,%edi
shl    $0x8,%edi
movzbl %r8b,%ebx
movabs $0xffff000000000000,%rcx
and    %rax,%rcx
movzwl %di,%edi
or     %ebx,%edi
shl    $0x20,%rdi
or     %rcx,%rdi
mov    %eax,%ecx
and    $0xff000000,%ecx
or     %rdi,%rcx
mov    %eax,%edi
and    $0xff0000,%edi
or     %rcx,%rdi
movzwl %ax,%ebx
or     %rdi,%rbx
test   $0x1,%al
jne    116b <RandomFunc+0x6b>
test   $0x8,%al
jne    1186 <RandomFunc+0x86>
mov    %rax,%rbx
shr    $0x30,%rbx
mov    %rax,%rdi
jmp    119d <RandomFunc+0x9d>
lea    0x0(,%rbx,4),%rax
shr    $0x1e,%rbx
movzbl %bh,%edx
mov    %rax,%r8
shr    $0x30,%r8
mov    %rax,%rdi
jmp    119d <RandomFunc+0x9d>
lea    (%rbx,%rbx,1),%rax
shr    $0x1f,%rbx
mov    %rax,%r8
shr    $0x30,%r8
movzwl %bx,%edi
movzbl %ah,%edx
mov    %eax,%ebx
movabs $0xff00000000000000,%rcx
and    %rax,%rcx
shl    $0x8,%edx
movzbl %bl,%ebx
or     %edx,%ebx
movzbl %r8b,%edx
shl    $0x30,%rdx
or     %rcx,%rdx
movzwl %bx,%ecx
shl    $0x20,%rcx
movzwl %di,%edi
and    $0xffff0000,%eax
or     %rdi,%rax
or     %rdx,%rax
add    %rcx,%rax
add    $0x4987897e,%rax
mov    %rax,(%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
%8 = alloca i8
store i64* %0, i64** %3
store i64* %1, i64** %4
%9 = load i64*, i64** %3
%10 = getelementptr inbounds i64, i64* %9, i64 0
%11 = load i64, i64* %10
%12 = add i64 %11, 914778474
%13 = sub i64 %12, 981234615
%14 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
store i64 %13, i64* %14
%15 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%16 = load i64, i64* %15
%17 = and i64 %16, 1
%18 = icmp ne i64 %17, 0
br i1 %18, label %19, label %52
19: ; preds = %2
%20 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%21 = load i64, i64* %20
%22 = and i64 %21, 1
%23 = icmp ne i64 %22, 0
br i1 %23, label %24, label %35
24: ; preds = %19
%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
%30 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%31 = load i64, i64* %30
%32 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%33 = load i64, i64* %32
%34 = add i64 %33, %31
store i64 %34, i64* %32
br label %51
35: ; preds = %19
%36 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%37 = bitcast i64* %36 to i8*
%38 = getelementptr inbounds i8, i8* %37, i64 3
%39 = load i8, i8* %38
store i8 %39, i8* %6
%40 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%41 = bitcast i64* %40 to i8*
%42 = getelementptr inbounds i8, i8* %41, i64 6
%43 = load i8, i8* %42
%44 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%45 = bitcast i64* %44 to i8*
%46 = getelementptr inbounds i8, i8* %45, i64 3
store i8 %43, i8* %46
%47 = load i8, i8* %6
%48 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%49 = bitcast i64* %48 to i8*
%50 = getelementptr inbounds i8, i8* %49, i64 6
store i8 %47, i8* %50
br label %51
51: ; preds = %35, %24
br label %96
52: ; preds = %2
%53 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%54 = load i64, i64* %53
%55 = lshr i64 %54, 3
%56 = and i64 %55, 1
%57 = icmp ne i64 %56, 0
br i1 %57, label %58, label %79
58: ; preds = %52
%59 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%60 = load i64, i64* %59
%61 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%62 = load i64, i64* %61
%63 = add i64 %62, %60
store i64 %63, i64* %61
%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 0
%67 = load i16, i16* %66
store i16 %67, i16* %7
%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 2
%71 = load i16, i16* %70
%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 0
store i16 %71, i16* %74
%75 = load i16, i16* %7
%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
store i16 %75, i16* %78
br label %95
79: ; preds = %52
%80 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%81 = bitcast i64* %80 to i8*
%82 = getelementptr inbounds i8, i8* %81, i64 4
%83 = load i8, i8* %82
store i8 %83, i8* %8
%84 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%85 = bitcast i64* %84 to i8*
%86 = getelementptr inbounds i8, i8* %85, i64 6
%87 = load i8, i8* %86
%88 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%89 = bitcast i64* %88 to i8*
%90 = getelementptr inbounds i8, i8* %89, i64 4
store i8 %87, i8* %90
%91 = load i8, i8* %8
%92 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%93 = bitcast i64* %92 to i8*
%94 = getelementptr inbounds i8, i8* %93, i64 6
store i8 %91, i8* %94
br label %95
95: ; preds = %79, %58
br label %96
96: ; preds = %95, %51
%97 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%98 = load i64, i64* %97
%99 = add i64 %98, 88679743
%100 = add i64 %99, 1144939583
%101 = load i64*, i64** %4
%102 = getelementptr inbounds i64, i64* %101, i64 0
store i64 %100, i64* %102
ret void
}

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