void RandomFunc(unsigned long input[1], unsigned long output[1]) {
  unsigned long state[1];
  unsigned long local1;
  unsigned int copy12;
  {
    state[0UL] = (input[0UL] & 914778474UL) << 7UL;
    local1 = 0UL;
    while (local1 < input[1UL]) {
      state[0UL] &= state[local1];
      local1++;
    }
    local1 = 0UL;
    while (local1 < input[1UL]) {
      state[local1] = state[0UL] >> (((state[0UL] >> 3UL) & 7UL) | 1UL);
      copy12 = *((unsigned int *)(&state[local1]) + 0);
      *((unsigned int *)(&state[local1]) + 0) =
          *((unsigned int *)(&state[local1]) + 1);
      *((unsigned int *)(&state[local1]) + 1) = copy12;
      local1++;
    }
    output[0UL] = state[0UL] | 538181890UL;
  }
}


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
and    $0x3686696a,%rax
shl    $0x7,%rax
mov    %rax,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x8(%rbp),%rcx
cmp    0x8(%rcx),%rax
jae    115d <RandomFunc+0x5d>
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp,%rax,8),%rax
and    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1129 <RandomFunc+0x29>
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x8(%rbp),%rcx
cmp    0x8(%rcx),%rax
jae    11d1 <RandomFunc+0xd1>
mov    -0x18(%rbp),%rax
mov    -0x18(%rbp),%rcx
shr    $0x3,%rcx
and    $0x7,%rcx
or     $0x1,%rcx
shr    %cl,%rax
mov    %rax,%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,-0x18(%rbp,%rax,8)
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp,%rax,8),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp,%rax,8),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,-0x18(%rbp,%rax,8)
mov    -0x24(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,-0x14(%rbp,%rax,8)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1165 <RandomFunc+0x65>
mov    -0x18(%rbp),%rcx
or     $0x20140102,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
mov    (%rdi),%rax
mov    0x8(%rdi),%r8
and    $0x3686696a,%eax
shl    $0x7,%rax
test   %r8,%r8
je     1198 <RandomFunc+0x98>
cmp    $0x1,%r8
jne    1123 <RandomFunc+0x23>
xor    %edi,%edi
jmp    1174 <RandomFunc+0x74>
mov    %r8,%rdx
and    $0xfffffffffffffffe,%rdx
xor    %edi,%edi
nopl   0x0(%rax)
mov    %eax,%ecx
shr    $0x3,%cl
and    $0x6,%cl
or     $0x1,%cl
shr    %cl,%rax
mov    %rax,-0x8(%rsp)
rolq   $0x20,-0x8(%rsp,%rdi,8)
mov    -0x8(%rsp),%rax
mov    %eax,%ecx
shr    $0x3,%cl
and    $0x6,%cl
or     $0x1,%cl
shr    %cl,%rax
mov    %rax,-0x8(%rsp)
rolq   $0x20,(%rsp,%rdi,8)
add    $0x2,%rdi
mov    -0x8(%rsp),%rax
cmp    %rdi,%rdx
jne    1130 <RandomFunc+0x30>
test   $0x1,%r8b
je     1198 <RandomFunc+0x98>
mov    %eax,%ecx
shr    $0x3,%cl
and    $0x6,%cl
or     $0x1,%cl
shr    %cl,%rax
mov    %rax,-0x8(%rsp)
rolq   $0x20,-0x8(%rsp,%rdi,8)
mov    -0x8(%rsp),%rax
or     $0x20140102,%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 i32
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 = and i64 %10, 914778474
%12 = shl i64 %11, 7
%13 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
store i64 %12, i64* %13
store i64 0, i64* %6
br label %14
14: ; preds = %20, %2
%15 = load i64, i64* %6
%16 = load i64*, i64** %3
%17 = getelementptr inbounds i64, i64* %16, i64 1
%18 = load i64, i64* %17
%19 = icmp ult i64 %15, %18
br i1 %19, label %20, label %29
20: ; preds = %14
%21 = load i64, i64* %6
%22 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %21
%23 = load i64, i64* %22
%24 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%25 = load i64, i64* %24
%26 = and i64 %25, %23
store i64 %26, i64* %24
%27 = load i64, i64* %6
%28 = add i64 %27, 1
store i64 %28, i64* %6
br label %14
29: ; preds = %14
store i64 0, i64* %6
br label %30
30: ; preds = %36, %29
%31 = load i64, i64* %6
%32 = load i64*, i64** %3
%33 = getelementptr inbounds i64, i64* %32, i64 1
%34 = load i64, i64* %33
%35 = icmp ult i64 %31, %34
br i1 %35, label %36, label %68
36: ; preds = %30
%37 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%38 = load i64, i64* %37
%39 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%40 = load i64, i64* %39
%41 = lshr i64 %40, 3
%42 = and i64 %41, 7
%43 = or i64 %42, 1
%44 = lshr i64 %38, %43
%45 = load i64, i64* %6
%46 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %45
store i64 %44, i64* %46
%47 = load i64, i64* %6
%48 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %47
%49 = bitcast i64* %48 to i32*
%50 = getelementptr inbounds i32, i32* %49, i64 0
%51 = load i32, i32* %50
store i32 %51, i32* %7
%52 = load i64, i64* %6
%53 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %52
%54 = bitcast i64* %53 to i32*
%55 = getelementptr inbounds i32, i32* %54, i64 1
%56 = load i32, i32* %55
%57 = load i64, i64* %6
%58 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %57
%59 = bitcast i64* %58 to i32*
%60 = getelementptr inbounds i32, i32* %59, i64 0
store i32 %56, i32* %60
%61 = load i32, i32* %7
%62 = load i64, i64* %6
%63 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %62
%64 = bitcast i64* %63 to i32*
%65 = getelementptr inbounds i32, i32* %64, i64 1
store i32 %61, i32* %65
%66 = load i64, i64* %6
%67 = add i64 %66, 1
store i64 %67, i64* %6
br label %30
68: ; preds = %30
%69 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%70 = load i64, i64* %69
%71 = or i64 %70, 538181890
%72 = load i64*, i64** %4
%73 = getelementptr inbounds i64, i64* %72, i64 0
store i64 %71, i64* %73
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 = shl i64 %5, 7
%7 = and i64 %6, 117091644672
%8 = getelementptr inbounds [1 x i64], [1 x i64]* %3, i64 0, i64 0
%9 = getelementptr inbounds i64, i64* %0, i64 1
%10 = load i64, i64* %9
%11 = icmp eq i64 %10, 0
br i1 %11, label %61, label %12
12: ; preds = %2
%13 = and i64 %10, 1
%14 = icmp eq i64 %10, 1
br i1 %14, label %45, label %15
15: ; preds = %12
%16 = and i64 %10, -2
br label %17
17: ; preds = %17, %15
%18 = phi i64 [ %7, %15 ], [ %42, %17 ]
%19 = phi i64 [ 0, %15 ], [ %41, %17 ]
%20 = phi i64 [ 0, %15 ], [ %43, %17 ]
%21 = lshr i64 %18, 3
%22 = and i64 %21, 6
%23 = or i64 %22, 1
%24 = lshr i64 %18, %23
%25 = getelementptr inbounds [1 x i64], [1 x i64]* %3, i64 0, i64 %19
store i64 %24, i64* %8
%26 = bitcast i64* %25 to i32*
%27 = load i32, i32* %26
%28 = getelementptr inbounds i32, i32* %26, i64 1
%29 = load i32, i32* %28
store i32 %29, i32* %26
store i32 %27, i32* %28
%30 = or i64 %19, 1
%31 = load i64, i64* %8
%32 = lshr i64 %31, 3
%33 = and i64 %32, 6
%34 = or i64 %33, 1
%35 = lshr i64 %31, %34
%36 = getelementptr inbounds [1 x i64], [1 x i64]* %3, i64 0, i64 %30
store i64 %35, i64* %8
%37 = bitcast i64* %36 to i32*
%38 = load i32, i32* %37
%39 = getelementptr inbounds i32, i32* %37, i64 1
%40 = load i32, i32* %39
store i32 %40, i32* %37
store i32 %38, i32* %39
%41 = add nuw i64 %19, 2
%42 = load i64, i64* %8
%43 = add i64 %20, 2
%44 = icmp eq i64 %43, %16
br i1 %44, label %45, label %17
45: ; preds = %17, %12
%46 = phi i64 [ undef, %12 ], [ %42, %17 ]
%47 = phi i64 [ %7, %12 ], [ %42, %17 ]
%48 = phi i64 [ 0, %12 ], [ %41, %17 ]
%49 = icmp eq i64 %13, 0
br i1 %49, label %61, label %50
50: ; preds = %45
%51 = lshr i64 %47, 3
%52 = and i64 %51, 6
%53 = or i64 %52, 1
%54 = lshr i64 %47, %53
%55 = getelementptr inbounds [1 x i64], [1 x i64]* %3, i64 0, i64 %48
store i64 %54, i64* %8
%56 = bitcast i64* %55 to i32*
%57 = load i32, i32* %56
%58 = getelementptr inbounds i32, i32* %56, i64 1
%59 = load i32, i32* %58
store i32 %59, i32* %56
store i32 %57, i32* %58
%60 = load i64, i64* %8
br label %61
61: ; preds = %50, %45, %2
%62 = phi i64 [ %7, %2 ], [ %46, %45 ], [ %60, %50 ]
%63 = or i64 %62, 538181890
store i64 %63, i64* %1
ret void
}