void RandomFunc(unsigned long input[1], unsigned long output[1]) {
  unsigned long state[1];
  unsigned long local1;
  unsigned int copy11;
  {
    state[0UL] = (input[0UL] + 51238316UL) + 274866410UL;
    local1 = 0UL;
    while (local1 < input[1UL]) {
      if (state[0UL] < local1) {
        copy11 = *((unsigned int *)(&state[local1]) + 1);
        *((unsigned int *)(&state[local1]) + 1) =
            *((unsigned int *)(&state[local1]) + 0);
        *((unsigned int *)(&state[local1]) + 0) = copy11;
      } else {
        state[0UL] = state[local1] * state[local1];
      }
      local1 += 2UL;
    }
    output[0UL] = state[0UL] + 1626444070UL;
  }
}


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)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x8(%rbp),%rcx
cmp    0x8(%rcx),%rax
jae    119e <RandomFunc+0x9e>
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1176 <RandomFunc+0x76>
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp,%rax,8),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp,%rax,8),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,-0x14(%rbp,%rax,8)
mov    -0x24(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,-0x18(%rbp,%rax,8)
jmp    118d <RandomFunc+0x8d>
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp,%rax,8),%rax
mov    -0x20(%rbp),%rcx
imul   -0x18(%rbp,%rcx,8),%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x20(%rbp)
jmp    112b <RandomFunc+0x2b>
mov    -0x18(%rbp),%rcx
add    $0x60f19126,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
mov    $0x136ff696,%eax
add    (%rdi),%rax
mov    0x8(%rdi),%rcx
test   %rcx,%rcx
je     118e <RandomFunc+0x8e>
add    $0xffffffffffffffff,%rcx
mov    %rcx,%r8
shr    %r8
add    $0x1,%r8
cmp    $0x2,%rcx
jae    112f <RandomFunc+0x2f>
xor    %ecx,%ecx
test   $0x1,%r8b
jne    117d <RandomFunc+0x7d>
jmp    118e <RandomFunc+0x8e>
mov    %r8,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
jmp    1150 <RandomFunc+0x50>
nopw   0x0(%rax,%rax,1)
rolq   $0x20,0x8(%rsp,%rcx,8)
add    $0x2,%rdx
add    $0xfffffffffffffffe,%rdi
je     1173 <RandomFunc+0x73>
mov    %rdx,%rcx
cmp    %rdx,%rax
jae    1160 <RandomFunc+0x60>
rolq   $0x20,-0x8(%rsp,%rcx,8)
jmp    1164 <RandomFunc+0x64>
imul   %rax,%rax
lea    0x2(%rcx),%rdx
cmp    %rdx,%rax
jb     1140 <RandomFunc+0x40>
imul   %rax,%rax
jmp    1146 <RandomFunc+0x46>
add    $0x4,%rcx
test   $0x1,%r8b
je     118e <RandomFunc+0x8e>
cmp    %rcx,%rax
jae    118a <RandomFunc+0x8a>
rolq   $0x20,-0x8(%rsp,%rcx,8)
jmp    118e <RandomFunc+0x8e>
imul   %rax,%rax
add    $0x60f19126,%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 = 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
store i64 0, i64* %6
br label %14
14: ; preds = %54, %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 %57
20: ; preds = %14
%21 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%22 = load i64, i64* %21
%23 = load i64, i64* %6
%24 = icmp ult i64 %22, %23
br i1 %24, label %25, label %45
25: ; preds = %20
%26 = load i64, i64* %6
%27 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %26
%28 = bitcast i64* %27 to i32*
%29 = getelementptr inbounds i32, i32* %28, i64 1
%30 = load i32, i32* %29
store i32 %30, i32* %7
%31 = load i64, i64* %6
%32 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %31
%33 = bitcast i64* %32 to i32*
%34 = getelementptr inbounds i32, i32* %33, i64 0
%35 = load i32, i32* %34
%36 = load i64, i64* %6
%37 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %36
%38 = bitcast i64* %37 to i32*
%39 = getelementptr inbounds i32, i32* %38, i64 1
store i32 %35, i32* %39
%40 = load i32, i32* %7
%41 = load i64, i64* %6
%42 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %41
%43 = bitcast i64* %42 to i32*
%44 = getelementptr inbounds i32, i32* %43, i64 0
store i32 %40, i32* %44
br label %54
45: ; preds = %20
%46 = load i64, i64* %6
%47 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %46
%48 = load i64, i64* %47
%49 = load i64, i64* %6
%50 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 %49
%51 = load i64, i64* %50
%52 = mul i64 %48, %51
%53 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
store i64 %52, i64* %53
br label %54
54: ; preds = %45, %25
%55 = load i64, i64* %6
%56 = add i64 %55, 2
store i64 %56, i64* %6
br label %14
57: ; preds = %14
%58 = getelementptr inbounds [1 x i64], [1 x i64]* %5, i64 0, i64 0
%59 = load i64, i64* %58
%60 = add i64 %59, 1626444070
%61 = load i64*, i64** %4
%62 = getelementptr inbounds i64, i64* %61, i64 0
store i64 %60, i64* %62
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 = add i64 %5, 326104726
%7 = getelementptr inbounds i64, i64* %0, i64 1
%8 = load i64, i64* %7
%9 = icmp eq i64 %8, 0
br i1 %9, label %63, label %10
10: ; preds = %2
%11 = add i64 %8, -1
%12 = lshr i64 %11, 1
%13 = add nuw i64 %12, 1
%14 = and i64 %13, 1
%15 = icmp ult i64 %11, 2
br i1 %15, label %48, label %16
16: ; preds = %10
%17 = and i64 %13, -2
br label %18
18: ; preds = %43, %16
%19 = phi i64 [ 0, %16 ], [ %45, %43 ]
%20 = phi i64 [ %6, %16 ], [ %44, %43 ]
%21 = phi i64 [ 0, %16 ], [ %46, %43 ]
%22 = icmp ult i64 %20, %19
br i1 %22, label %23, label %29
23: ; preds = %18
%24 = getelementptr inbounds [1 x i64], [1 x i64]* %3, i64 0, i64 %19
%25 = bitcast i64* %24 to i32*
%26 = getelementptr inbounds i32, i32* %25, i64 1
%27 = load i32, i32* %26
%28 = load i32, i32* %25
store i32 %28, i32* %26
store i32 %27, i32* %25
br label %31
29: ; preds = %18
%30 = mul i64 %20, %20
br label %31
31: ; preds = %29, %23
%32 = phi i64 [ %30, %29 ], [ %20, %23 ]
%33 = or i64 %19, 2
%34 = icmp ult i64 %32, %33
br i1 %34, label %37, label %35
35: ; preds = %31
%36 = mul i64 %32, %32
br label %43
37: ; preds = %31
%38 = getelementptr inbounds [1 x i64], [1 x i64]* %3, i64 0, i64 %33
%39 = bitcast i64* %38 to i32*
%40 = getelementptr inbounds i32, i32* %39, i64 1
%41 = load i32, i32* %40
%42 = load i32, i32* %39
store i32 %42, i32* %40
store i32 %41, i32* %39
br label %43
43: ; preds = %37, %35
%44 = phi i64 [ %36, %35 ], [ %32, %37 ]
%45 = add nuw i64 %19, 4
%46 = add nuw i64 %21, 2
%47 = icmp eq i64 %46, %17
br i1 %47, label %48, label %18
48: ; preds = %43, %10
%49 = phi i64 [ undef, %10 ], [ %44, %43 ]
%50 = phi i64 [ 0, %10 ], [ %45, %43 ]
%51 = phi i64 [ %6, %10 ], [ %44, %43 ]
%52 = icmp eq i64 %14, 0
br i1 %52, label %63, label %53
53: ; preds = %48
%54 = icmp ult i64 %51, %50
br i1 %54, label %57, label %55
55: ; preds = %53
%56 = mul i64 %51, %51
br label %63
57: ; preds = %53
%58 = getelementptr inbounds [1 x i64], [1 x i64]* %3, i64 0, i64 %50
%59 = bitcast i64* %58 to i32*
%60 = getelementptr inbounds i32, i32* %59, i64 1
%61 = load i32, i32* %60
%62 = load i32, i32* %59
store i32 %62, i32* %60
store i32 %61, i32* %59
br label %63
63: ; preds = %48, %57, %55, %2
%64 = phi i64 [ %6, %2 ], [ %49, %48 ], [ %56, %55 ], [ %51, %57 ]
%65 = add i64 %64, 1626444070
store i64 %65, i64* %1
ret void
}