void RandomFunc(unsigned int input[1], unsigned int output[1]) {
  unsigned int state[1];
  unsigned int local1;
  unsigned short copy11;
  {
    state[0UL] = (input[0UL] + 914778474UL) * 2674260758U;
    local1 = 0UL;
    while (local1 < input[1UL]) {
      copy11 = *((unsigned short *)(&state[local1]) + 1);
      *((unsigned short *)(&state[local1]) + 1) =
          *((unsigned short *)(&state[local1]) + 0);
      *((unsigned short *)(&state[local1]) + 0) = copy11;
      local1++;
    }
    output[0UL] = state[0UL] * 1047729131UL + 3703211622U;
  }
}


x86 assembly (clang, -O0):
<RandomFunc>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
add    $0x3686696a,%rax
movabs $0x9f65fb16,%rcx
imul   %rcx,%rax
mov    %eax,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x8(%rbp),%rcx
cmp    0x4(%rcx),%eax
jae    1176 <RandomFunc+0x76>
mov    -0x18(%rbp),%eax
mov    -0x12(%rbp,%rax,4),%ax
mov    %ax,-0x1a(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp,%rax,4),%cx
mov    -0x18(%rbp),%eax
mov    %cx,-0x12(%rbp,%rax,4)
mov    -0x1a(%rbp),%cx
mov    -0x18(%rbp),%eax
mov    %cx,-0x14(%rbp,%rax,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1130 <RandomFunc+0x30>
mov    -0x14(%rbp),%eax
imul   $0x3e7313eb,%rax,%rax
movabs $0xdcba8666,%rcx
add    %rcx,%rax
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
imul   $0x9f65fb16,(%rdi),%ecx
add    $0xe5b9fd1c,%ecx
mov    %ecx,-0x4(%rsp)
mov    0x4(%rdi),%eax
test   %rax,%rax
je     1222 <RandomFunc+0x122>
cmp    $0x4,%eax
jae    1128 <RandomFunc+0x28>
xor    %ecx,%ecx
jmp    1210 <RandomFunc+0x110>
mov    %eax,%ecx
and    $0xfffffffc,%ecx
lea    -0x4(%rcx),%rdx
mov    %rdx,%rdi
shr    $0x2,%rdi
add    $0x1,%rdi
mov    %edi,%r8d
and    $0x3,%r8d
cmp    $0xc,%rdx
jae    114d <RandomFunc+0x4d>
xor    %edx,%edx
jmp    11c2 <RandomFunc+0xc2>
and    $0xfffffffffffffffc,%rdi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqu -0x4(%rsp,%rdx,4),%xmm0
movdqu 0xc(%rsp,%rdx,4),%xmm1
movdqu 0x1c(%rsp,%rdx,4),%xmm2
movdqu 0x2c(%rsp,%rdx,4),%xmm3
pshuflw $0xb1,%xmm0,%xmm0
pshufhw $0xb1,%xmm0,%xmm0
movdqu %xmm0,-0x4(%rsp,%rdx,4)
pshuflw $0xb1,%xmm1,%xmm0
pshufhw $0xb1,%xmm0,%xmm0
movdqu %xmm0,0xc(%rsp,%rdx,4)
pshuflw $0xb1,%xmm2,%xmm0
pshufhw $0xb1,%xmm0,%xmm0
movdqu %xmm0,0x1c(%rsp,%rdx,4)
pshuflw $0xb1,%xmm3,%xmm0
pshufhw $0xb1,%xmm0,%xmm0
movdqu %xmm0,0x2c(%rsp,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffc,%rdi
jne    1160 <RandomFunc+0x60>
test   %r8,%r8
je     11fd <RandomFunc+0xfd>
lea    (%rsp,%rdx,4),%rdx
add    $0xfffffffffffffffc,%rdx
shl    $0x4,%r8
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nop
movdqu (%rdx,%rdi,1),%xmm0
pshuflw $0xb1,%xmm0,%xmm0
pshufhw $0xb1,%xmm0,%xmm0
movdqu %xmm0,(%rdx,%rdi,1)
add    $0x10,%rdi
cmp    %rdi,%r8
jne    11e0 <RandomFunc+0xe0>
cmp    %rax,%rcx
je     121e <RandomFunc+0x11e>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
roll   $0x10,-0x4(%rsp,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rax
jne    1210 <RandomFunc+0x110>
mov    -0x4(%rsp),%ecx
imul   $0x3e7313eb,%ecx,%eax
add    $0xdcba8666,%eax
mov    %eax,(%rsi)
ret

LLVM IR (-O0):
define void @RandomFunc(i32* %0, i32* %1) {
%3 = alloca i32*
%4 = alloca i32*
%5 = alloca [1 x i32]
%6 = alloca i32
%7 = alloca i16
store i32* %0, i32** %3
store i32* %1, i32** %4
%8 = load i32*, i32** %3
%9 = getelementptr inbounds i32, i32* %8, i64 0
%10 = load i32, i32* %9
%11 = zext i32 %10 to i64
%12 = add i64 %11, 914778474
%13 = mul i64 %12, 2674260758
%14 = trunc i64 %13 to i32
%15 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
store i32 %14, i32* %15
store i32 0, i32* %6
br label %16
16: ; preds = %22, %2
%17 = load i32, i32* %6
%18 = load i32*, i32** %3
%19 = getelementptr inbounds i32, i32* %18, i64 1
%20 = load i32, i32* %19
%21 = icmp ult i32 %17, %20
br i1 %21, label %22, label %48
22: ; preds = %16
%23 = load i32, i32* %6
%24 = zext i32 %23 to i64
%25 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %24
%26 = bitcast i32* %25 to i16*
%27 = getelementptr inbounds i16, i16* %26, i64 1
%28 = load i16, i16* %27
store i16 %28, i16* %7
%29 = load i32, i32* %6
%30 = zext i32 %29 to i64
%31 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %30
%32 = bitcast i32* %31 to i16*
%33 = getelementptr inbounds i16, i16* %32, i64 0
%34 = load i16, i16* %33
%35 = load i32, i32* %6
%36 = zext i32 %35 to i64
%37 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %36
%38 = bitcast i32* %37 to i16*
%39 = getelementptr inbounds i16, i16* %38, i64 1
store i16 %34, i16* %39
%40 = load i16, i16* %7
%41 = load i32, i32* %6
%42 = zext i32 %41 to i64
%43 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %42
%44 = bitcast i32* %43 to i16*
%45 = getelementptr inbounds i16, i16* %44, i64 0
store i16 %40, i16* %45
%46 = load i32, i32* %6
%47 = add i32 %46, 1
store i32 %47, i32* %6
br label %16
48: ; preds = %16
%49 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%50 = load i32, i32* %49
%51 = zext i32 %50 to i64
%52 = mul i64 %51, 1047729131
%53 = add i64 %52, 3703211622
%54 = trunc i64 %53 to i32
%55 = load i32*, i32** %4
%56 = getelementptr inbounds i32, i32* %55, i64 0
store i32 %54, i32* %56
ret void
}

LLVM IR (-O2):
define void @RandomFunc(i32* nocapture %0, i32* nocapture writeonly %1) {
%3 = alloca [1 x i32]
%4 = bitcast [1 x i32]* %3 to i8*
%5 = load i32, i32* %0
%6 = mul i32 %5, -1620706538
%7 = add i32 %6, -440795876
%8 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 0
store i32 %7, i32* %8
%9 = getelementptr inbounds i32, i32* %0, i64 1
%10 = load i32, i32* %9
%11 = icmp eq i32 %10, 0
br i1 %11, label %92, label %12
12: ; preds = %2
%13 = zext i32 %10 to i64
%14 = icmp ult i32 %10, 4
br i1 %14, label %79, label %15
15: ; preds = %12
%16 = and i64 %13, 4294967292
%17 = add nsw i64 %16, -4
%18 = lshr exact i64 %17, 2
%19 = add nuw nsw i64 %18, 1
%20 = and i64 %19, 3
%21 = icmp ult i64 %17, 12
br i1 %21, label %61, label %22
22: ; preds = %15
%23 = and i64 %19, 9223372036854775804
br label %24
24: ; preds = %24, %22
%25 = phi i64 [ 0, %22 ], [ %58, %24 ]
%26 = phi i64 [ 0, %22 ], [ %59, %24 ]
%27 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 %25
%28 = bitcast i32* %27 to <8 x i16>*
%29 = load <8 x i16>, <8 x i16>* %28
%30 = shufflevector <8 x i16> %29, <8 x i16> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
%31 = shufflevector <8 x i16> %29, <8 x i16> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
%32 = bitcast i32* %27 to <8 x i16>*
%33 = shufflevector <4 x i16> %31, <4 x i16> %30, <8 x i32> <i32 0, i32 4, i32 1, i32 5, i32 2, i32 6, i32 3, i32 7>
store <8 x i16> %33, <8 x i16>* %32
%34 = or i64 %25, 4
%35 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 %34
%36 = bitcast i32* %35 to <8 x i16>*
%37 = load <8 x i16>, <8 x i16>* %36
%38 = shufflevector <8 x i16> %37, <8 x i16> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
%39 = shufflevector <8 x i16> %37, <8 x i16> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
%40 = bitcast i32* %35 to <8 x i16>*
%41 = shufflevector <4 x i16> %39, <4 x i16> %38, <8 x i32> <i32 0, i32 4, i32 1, i32 5, i32 2, i32 6, i32 3, i32 7>
store <8 x i16> %41, <8 x i16>* %40
%42 = or i64 %25, 8
%43 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 %42
%44 = bitcast i32* %43 to <8 x i16>*
%45 = load <8 x i16>, <8 x i16>* %44
%46 = shufflevector <8 x i16> %45, <8 x i16> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
%47 = shufflevector <8 x i16> %45, <8 x i16> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
%48 = bitcast i32* %43 to <8 x i16>*
%49 = shufflevector <4 x i16> %47, <4 x i16> %46, <8 x i32> <i32 0, i32 4, i32 1, i32 5, i32 2, i32 6, i32 3, i32 7>
store <8 x i16> %49, <8 x i16>* %48
%50 = or i64 %25, 12
%51 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 %50
%52 = bitcast i32* %51 to <8 x i16>*
%53 = load <8 x i16>, <8 x i16>* %52
%54 = shufflevector <8 x i16> %53, <8 x i16> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
%55 = shufflevector <8 x i16> %53, <8 x i16> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
%56 = bitcast i32* %51 to <8 x i16>*
%57 = shufflevector <4 x i16> %55, <4 x i16> %54, <8 x i32> <i32 0, i32 4, i32 1, i32 5, i32 2, i32 6, i32 3, i32 7>
store <8 x i16> %57, <8 x i16>* %56
%58 = add nuw i64 %25, 16
%59 = add nuw i64 %26, 4
%60 = icmp eq i64 %59, %23
br i1 %60, label %61, label %24
61: ; preds = %24, %15
%62 = phi i64 [ 0, %15 ], [ %58, %24 ]
%63 = icmp eq i64 %20, 0
br i1 %63, label %77, label %64
64: ; preds = %61, %64
%65 = phi i64 [ %74, %64 ], [ %62, %61 ]
%66 = phi i64 [ %75, %64 ], [ 0, %61 ]
%67 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 %65
%68 = bitcast i32* %67 to <8 x i16>*
%69 = load <8 x i16>, <8 x i16>* %68
%70 = shufflevector <8 x i16> %69, <8 x i16> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
%71 = shufflevector <8 x i16> %69, <8 x i16> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
%72 = bitcast i32* %67 to <8 x i16>*
%73 = shufflevector <4 x i16> %71, <4 x i16> %70, <8 x i32> <i32 0, i32 4, i32 1, i32 5, i32 2, i32 6, i32 3, i32 7>
store <8 x i16> %73, <8 x i16>* %72
%74 = add nuw i64 %65, 4
%75 = add i64 %66, 1
%76 = icmp eq i64 %75, %20
br i1 %76, label %77, label %64
77: ; preds = %64, %61
%78 = icmp eq i64 %16, %13
br i1 %78, label %90, label %79
79: ; preds = %12, %77
%80 = phi i64 [ 0, %12 ], [ %16, %77 ]
br label %81
81: ; preds = %79, %81
%82 = phi i64 [ %88, %81 ], [ %80, %79 ]
%83 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 %82
%84 = bitcast i32* %83 to i16*
%85 = getelementptr inbounds i16, i16* %84, i64 1
%86 = load i16, i16* %85
%87 = load i16, i16* %84
store i16 %87, i16* %85
store i16 %86, i16* %84
%88 = add nuw nsw i64 %82, 1
%89 = icmp eq i64 %88, %13
br i1 %89, label %90, label %81
90: ; preds = %81, %77
%91 = load i32, i32* %8
br label %92
92: ; preds = %90, %2
%93 = phi i32 [ %91, %90 ], [ %7, %2 ]
%94 = mul i32 %93, 1047729131
%95 = add i32 %94, -591755674
store i32 %95, i32* %1
ret void
}