void RandomFunc(unsigned int input[1], unsigned int output[1]) {
  unsigned int state[1];
  unsigned int local1;
  char copy11;
  {
    state[0UL] = input[0UL] + 1373777115U;
    local1 = 0UL;
    while (local1 < input[1UL]) {
      if (state[0UL] == local1) {
        if (state[0UL] < local1) {
          state[local1] = state[0UL] + state[local1];
        } else {
          state[local1] |= ((state[0UL] - state[local1]) & 31U) << 4UL;
        }
      } else if (state[0UL] < local1) {
        copy11 = *((char *)(&state[local1]) + 2);
        *((char *)(&state[local1]) + 2) = *((char *)(&state[local1]) + 3);
        *((char *)(&state[local1]) + 3) = copy11;
        copy11 = *((char *)(&state[local1]) + 3);
        *((char *)(&state[local1]) + 3) = *((char *)(&state[local1]) + 0);
        *((char *)(&state[local1]) + 0) = copy11;
      } else {
        state[local1] += state[local1];
      }
      local1++;
    }
    output[0UL] = ((state[0UL] >> 1U) << 13U) | ((state[0UL] >> 1U) >> 19U);
  }
}


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    $0x51e22cdb,%eax
mov    %eax,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x8(%rbp),%rcx
cmp    0x4(%rcx),%eax
jae    11f9 <RandomFunc+0xf9>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    117f <RandomFunc+0x7f>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jae    115f <RandomFunc+0x5f>
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%eax
add    -0x14(%rbp,%rax,4),%ecx
mov    -0x18(%rbp),%eax
mov    %ecx,-0x14(%rbp,%rax,4)
jmp    117a <RandomFunc+0x7a>
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%eax
sub    -0x14(%rbp,%rax,4),%ecx
and    $0x1f,%ecx
shl    $0x4,%ecx
mov    -0x18(%rbp),%eax
or     -0x14(%rbp,%rax,4),%ecx
mov    %ecx,-0x14(%rbp,%rax,4)
jmp    11eb <RandomFunc+0xeb>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jae    11d4 <RandomFunc+0xd4>
mov    -0x18(%rbp),%eax
mov    -0x12(%rbp,%rax,4),%al
mov    %al,-0x19(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x11(%rbp,%rax,4),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x12(%rbp,%rax,4)
mov    -0x19(%rbp),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x11(%rbp,%rax,4)
mov    -0x18(%rbp),%eax
mov    -0x11(%rbp,%rax,4),%al
mov    %al,-0x19(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp,%rax,4),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x11(%rbp,%rax,4)
mov    -0x19(%rbp),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x14(%rbp,%rax,4)
jmp    11e6 <RandomFunc+0xe6>
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp,%rax,4),%ecx
mov    -0x18(%rbp),%eax
add    -0x14(%rbp,%rax,4),%ecx
mov    %ecx,-0x14(%rbp,%rax,4)
jmp    11eb <RandomFunc+0xeb>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1121 <RandomFunc+0x21>
mov    -0x14(%rbp),%ecx
shr    $0x1,%ecx
shl    $0xd,%ecx
mov    -0x14(%rbp),%eax
shr    $0x1,%eax
shr    $0x13,%eax
or     %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
mov    $0x51e22cdb,%eax
add    (%rdi),%eax
mov    0x4(%rdi),%r8d
test   %r8,%r8
je     1154 <RandomFunc+0x54>
xor    %edx,%edx
jmp    112b <RandomFunc+0x2b>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    %eax,%eax
add    $0x1,%rdx
cmp    %rdx,%r8
je     1154 <RandomFunc+0x54>
mov    %eax,%edi
cmp    %rdi,%rdx
je     1122 <RandomFunc+0x22>
jbe    1120 <RandomFunc+0x20>
movzbl -0x4(%rsp,%rdx,4),%r9d
movzbl -0x2(%rsp,%rdx,4),%edi
movzbl -0x1(%rsp,%rdx,4),%ecx
mov    %cl,-0x2(%rsp,%rdx,4)
mov    %r9b,-0x1(%rsp,%rdx,4)
mov    %dil,-0x4(%rsp,%rdx,4)
jmp    1122 <RandomFunc+0x22>
rol    $0xc,%eax
and    $0xffffefff,%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 i8
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 = add i32 %10, 1373777115
%12 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
store i32 %11, i32* %12
store i32 0, i32* %6
br label %13
13: ; preds = %119, %2
%14 = load i32, i32* %6
%15 = load i32*, i32** %3
%16 = getelementptr inbounds i32, i32* %15, i64 1
%17 = load i32, i32* %16
%18 = icmp ult i32 %14, %17
br i1 %18, label %19, label %122
19: ; preds = %13
%20 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%21 = load i32, i32* %20
%22 = load i32, i32* %6
%23 = icmp eq i32 %21, %22
br i1 %23, label %24, label %56
24: ; preds = %19
%25 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%26 = load i32, i32* %25
%27 = load i32, i32* %6
%28 = icmp ult i32 %26, %27
br i1 %28, label %29, label %40
29: ; preds = %24
%30 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%31 = load i32, i32* %30
%32 = load i32, i32* %6
%33 = zext i32 %32 to i64
%34 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %33
%35 = load i32, i32* %34
%36 = add i32 %31, %35
%37 = load i32, i32* %6
%38 = zext i32 %37 to i64
%39 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %38
store i32 %36, i32* %39
br label %55
40: ; preds = %24
%41 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%42 = load i32, i32* %41
%43 = load i32, i32* %6
%44 = zext i32 %43 to i64
%45 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %44
%46 = load i32, i32* %45
%47 = sub i32 %42, %46
%48 = and i32 %47, 31
%49 = shl i32 %48, 4
%50 = load i32, i32* %6
%51 = zext i32 %50 to i64
%52 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %51
%53 = load i32, i32* %52
%54 = or i32 %53, %49
store i32 %54, i32* %52
br label %55
55: ; preds = %40, %29
br label %119
56: ; preds = %19
%57 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%58 = load i32, i32* %57
%59 = load i32, i32* %6
%60 = icmp ult i32 %58, %59
br i1 %60, label %61, label %108
61: ; preds = %56
%62 = load i32, i32* %6
%63 = zext i32 %62 to i64
%64 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %63
%65 = bitcast i32* %64 to i8*
%66 = getelementptr inbounds i8, i8* %65, i64 2
%67 = load i8, i8* %66
store i8 %67, i8* %7
%68 = load i32, i32* %6
%69 = zext i32 %68 to i64
%70 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %69
%71 = bitcast i32* %70 to i8*
%72 = getelementptr inbounds i8, i8* %71, i64 3
%73 = load i8, i8* %72
%74 = load i32, i32* %6
%75 = zext i32 %74 to i64
%76 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %75
%77 = bitcast i32* %76 to i8*
%78 = getelementptr inbounds i8, i8* %77, i64 2
store i8 %73, i8* %78
%79 = load i8, i8* %7
%80 = load i32, i32* %6
%81 = zext i32 %80 to i64
%82 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %81
%83 = bitcast i32* %82 to i8*
%84 = getelementptr inbounds i8, i8* %83, i64 3
store i8 %79, i8* %84
%85 = load i32, i32* %6
%86 = zext i32 %85 to i64
%87 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %86
%88 = bitcast i32* %87 to i8*
%89 = getelementptr inbounds i8, i8* %88, i64 3
%90 = load i8, i8* %89
store i8 %90, i8* %7
%91 = load i32, i32* %6
%92 = zext i32 %91 to i64
%93 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %92
%94 = bitcast i32* %93 to i8*
%95 = getelementptr inbounds i8, i8* %94, i64 0
%96 = load i8, i8* %95
%97 = load i32, i32* %6
%98 = zext i32 %97 to i64
%99 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %98
%100 = bitcast i32* %99 to i8*
%101 = getelementptr inbounds i8, i8* %100, i64 3
store i8 %96, i8* %101
%102 = load i8, i8* %7
%103 = load i32, i32* %6
%104 = zext i32 %103 to i64
%105 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %104
%106 = bitcast i32* %105 to i8*
%107 = getelementptr inbounds i8, i8* %106, i64 0
store i8 %102, i8* %107
br label %118
108: ; preds = %56
%109 = load i32, i32* %6
%110 = zext i32 %109 to i64
%111 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %110
%112 = load i32, i32* %111
%113 = load i32, i32* %6
%114 = zext i32 %113 to i64
%115 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 %114
%116 = load i32, i32* %115
%117 = add i32 %116, %112
store i32 %117, i32* %115
br label %118
118: ; preds = %108, %61
br label %119
119: ; preds = %118, %55
%120 = load i32, i32* %6
%121 = add i32 %120, 1
store i32 %121, i32* %6
br label %13
122: ; preds = %13
%123 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%124 = load i32, i32* %123
%125 = lshr i32 %124, 1
%126 = shl i32 %125, 13
%127 = getelementptr inbounds [1 x i32], [1 x i32]* %5, i64 0, i64 0
%128 = load i32, i32* %127
%129 = lshr i32 %128, 1
%130 = lshr i32 %129, 19
%131 = or i32 %126, %130
%132 = load i32*, i32** %4
%133 = getelementptr inbounds i32, i32* %132, i64 0
store i32 %131, i32* %133
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 = add i32 %5, 1373777115
%7 = getelementptr inbounds i32, i32* %0, i64 1
%8 = load i32, i32* %7
%9 = icmp eq i32 %8, 0
br i1 %9, label %33, label %10
10: ; preds = %2
%11 = zext i32 %8 to i64
br label %12
12: ; preds = %10, %29
%13 = phi i64 [ 0, %10 ], [ %31, %29 ]
%14 = phi i32 [ %6, %10 ], [ %30, %29 ]
%15 = zext i32 %14 to i64
%16 = icmp eq i64 %13, %15
br i1 %16, label %29, label %17
17: ; preds = %12
%18 = icmp ugt i64 %13, %15
br i1 %18, label %19, label %27
19: ; preds = %17
%20 = getelementptr inbounds [1 x i32], [1 x i32]* %3, i64 0, i64 %13
%21 = bitcast i32* %20 to i8*
%22 = getelementptr inbounds i8, i8* %21, i64 2
%23 = load i8, i8* %22
%24 = getelementptr inbounds i8, i8* %21, i64 3
%25 = load i8, i8* %24
store i8 %25, i8* %22
%26 = load i8, i8* %21
store i8 %26, i8* %24
store i8 %23, i8* %21
br label %29
27: ; preds = %17
%28 = shl i32 %14, 1
br label %29
29: ; preds = %12, %19, %27
%30 = phi i32 [ %14, %12 ], [ %14, %19 ], [ %28, %27 ]
%31 = add nuw nsw i64 %13, 1
%32 = icmp eq i64 %31, %11
br i1 %32, label %33, label %12
33: ; preds = %29, %2
%34 = phi i32 [ %6, %2 ], [ %30, %29 ]
%35 = shl i32 %34, 12
%36 = and i32 %35, -8192
%37 = lshr i32 %34, 20
%38 = or i32 %36, %37
store i32 %38, i32* %1
ret void
}