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++;
    }
    local1 = 0UL;
    while (local1 < input[1UL]) {
      state[0UL] = state[local1] + state[local1];
      local1 += 2UL;
    }
    output[0UL] = (state[0UL] + 973391845UL) - 2800048120U;
  }
}


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>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x8(%rbp),%rcx
cmp    0x4(%rcx),%eax
jae    11ad <RandomFunc+0xad>
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp,%rax,4),%eax
mov    -0x18(%rbp),%ecx
add    -0x14(%rbp,%rcx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x2,%rax
mov    %eax,-0x18(%rbp)
jmp    117d <RandomFunc+0x7d>
mov    -0x14(%rbp),%eax
add    $0x3a04c7e5,%rax
movabs $0xa6e557f8,%rcx
sub    %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     1257 <RandomFunc+0x157>
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
test   %rax,%rax
je     1257 <RandomFunc+0x157>
add    $0xffffffff,%eax
mov    %eax,%edi
shr    %edi
add    $0x1,%edi
mov    %edi,%edx
and    $0x7,%edx
cmp    $0xe,%eax
jb     1248 <RandomFunc+0x148>
and    $0xfffffff8,%edi
xchg   %ax,%ax
shl    $0x8,%ecx
add    $0xfffffff8,%edi
jne    1240 <RandomFunc+0x140>
test   %edx,%edx
je     1257 <RandomFunc+0x157>
nopl   0x0(%rax)
add    %ecx,%ecx
add    $0xffffffff,%edx
jne    1250 <RandomFunc+0x150>
add    $0x931f6fed,%ecx
mov    %ecx,(%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
store i32 0, i32* %6
br label %49
49: ; preds = %55, %48
%50 = load i32, i32* %6
%51 = load i32*, i32** %3
%52 = getelementptr inbounds i32, i32* %51, i64 1
%53 = load i32, i32* %52
%54 = icmp ult i32 %50, %53
br i1 %54, label %55, label %70
55: ; preds = %49
%56 = load i32, i32* %6
%57 = zext i32 %56 to i64
%58 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %57
%59 = load i32, i32* %58
%60 = load i32, i32* %6
%61 = zext i32 %60 to i64
%62 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %61
%63 = load i32, i32* %62
%64 = add i32 %59, %63
%65 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
store i32 %64, i32* %65
%66 = load i32, i32* %6
%67 = zext i32 %66 to i64
%68 = add i64 %67, 2
%69 = trunc i64 %68 to i32
store i32 %69, i32* %6
br label %49
70: ; preds = %49
%71 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%72 = load i32, i32* %71
%73 = zext i32 %72 to i64
%74 = add i64 %73, 973391845
%75 = sub i64 %74, 2800048120
%76 = trunc i64 %75 to i32
%77 = load i32*, i32** %4
%78 = getelementptr inbounds i32, i32* %77, i64 0
store i32 %76, i32* %78
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 %116, 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 %81, label %79
79: ; preds = %12, %77
%80 = phi i64 [ 0, %12 ], [ %16, %77 ]
br label %91
81: ; preds = %91, %77
%82 = load i32, i32* %8
br i1 %11, label %116, label %83
83: ; preds = %81
%84 = add i32 %10, -1
%85 = lshr i32 %84, 1
%86 = add nuw i32 %85, 1
%87 = and i32 %86, 7
%88 = icmp ult i32 %84, 14
br i1 %88, label %106, label %89
89: ; preds = %83
%90 = and i32 %86, -8
br label %100
91: ; preds = %79, %91
%92 = phi i64 [ %98, %91 ], [ %80, %79 ]
%93 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 %92
%94 = bitcast i32* %93 to i16*
%95 = getelementptr inbounds i16, i16* %94, i64 1
%96 = load i16, i16* %95
%97 = load i16, i16* %94
store i16 %97, i16* %95
store i16 %96, i16* %94
%98 = add nuw nsw i64 %92, 1
%99 = icmp eq i64 %98, %13
br i1 %99, label %81, label %91
100: ; preds = %100, %89
%101 = phi i32 [ %82, %89 ], [ %103, %100 ]
%102 = phi i32 [ 0, %89 ], [ %104, %100 ]
%103 = shl i32 %101, 8
%104 = add i32 %102, 8
%105 = icmp eq i32 %104, %90
br i1 %105, label %106, label %100
106: ; preds = %100, %83
%107 = phi i32 [ undef, %83 ], [ %103, %100 ]
%108 = phi i32 [ %82, %83 ], [ %103, %100 ]
%109 = icmp eq i32 %87, 0
br i1 %109, label %116, label %110
110: ; preds = %106, %110
%111 = phi i32 [ %113, %110 ], [ %108, %106 ]
%112 = phi i32 [ %114, %110 ], [ 0, %106 ]
%113 = shl i32 %111, 1
%114 = add i32 %112, 1
%115 = icmp eq i32 %114, %87
br i1 %115, label %116, label %110
116: ; preds = %106, %110, %2, %81
%117 = phi i32 [ %82, %81 ], [ %7, %2 ], [ %107, %106 ], [ %113, %110 ]
%118 = add i32 %117, -1826656275
store i32 %118, i32* %1
ret void
}