void RandomFunc(unsigned short input[1], unsigned short output[1]) {
  unsigned short state[1];
  unsigned short local1;
  char copy11;
  char copy12;
  char copy13;
  char copy14;
  {
    state[0UL] = input[0UL] + (unsigned short)2885;
    local1 = 0UL;
    while (local1 < (unsigned short)0) {
      if (state[0UL] > local1) {
        if (state[0UL] > local1) {
          copy11 = *((char *)(&state[local1]) + 1);
          *((char *)(&state[local1]) + 1) = *((char *)(&state[local1]) + 0);
          *((char *)(&state[local1]) + 0) = copy11;
          copy11 = *((char *)(&state[local1]) + 0);
          *((char *)(&state[local1]) + 0) = *((char *)(&state[local1]) + 1);
          *((char *)(&state[local1]) + 1) = copy11;
          state[local1] += state[local1];
        } else {
          copy12 = *((char *)(&state[0UL]) + 0);
          *((char *)(&state[0UL]) + 0) = *((char *)(&state[0UL]) + 1);
          *((char *)(&state[0UL]) + 1) = copy12;
          copy12 = *((char *)(&state[0UL]) + 1);
          *((char *)(&state[0UL]) + 1) = *((char *)(&state[0UL]) + 0);
          *((char *)(&state[0UL]) + 0) = copy12;
          copy13 = *((char *)(&state[local1]) + 1);
          *((char *)(&state[local1]) + 1) = *((char *)(&state[local1]) + 0);
          *((char *)(&state[local1]) + 0) = copy13;
        }
      } else {
        copy14 = *((char *)(&state[local1]) + 0);
        *((char *)(&state[local1]) + 0) = *((char *)(&state[local1]) + 1);
        *((char *)(&state[local1]) + 1) = copy14;
        state[0UL] = state[local1] + state[local1];
      }
      local1 += 2UL;
    }
    output[0UL] = state[0UL] + (unsigned short)6312;
  }
}


x86 assembly (clang, -O0):
<RandomFunc>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movzwl (%rax),%eax
add    $0xb45,%eax
mov    %ax,-0x12(%rbp)
movw   $0x0,-0x14(%rbp)
movzwl -0x14(%rbp),%eax
cmp    $0x0,%eax
jge    1257 <RandomFunc+0x157>
movzwl -0x12(%rbp),%eax
movzwl -0x14(%rbp),%ecx
cmp    %ecx,%eax
jle    1208 <RandomFunc+0x108>
movzwl -0x12(%rbp),%eax
movzwl -0x14(%rbp),%ecx
cmp    %ecx,%eax
jle    11b9 <RandomFunc+0xb9>
movzwl -0x14(%rbp),%eax
mov    -0x11(%rbp,%rax,2),%al
mov    %al,-0x15(%rbp)
movzwl -0x14(%rbp),%eax
mov    -0x12(%rbp,%rax,2),%cl
movzwl -0x14(%rbp),%eax
mov    %cl,-0x11(%rbp,%rax,2)
mov    -0x15(%rbp),%cl
movzwl -0x14(%rbp),%eax
mov    %cl,-0x12(%rbp,%rax,2)
movzwl -0x14(%rbp),%eax
mov    -0x12(%rbp,%rax,2),%al
mov    %al,-0x15(%rbp)
movzwl -0x14(%rbp),%eax
mov    -0x11(%rbp,%rax,2),%cl
movzwl -0x14(%rbp),%eax
mov    %cl,-0x12(%rbp,%rax,2)
mov    -0x15(%rbp),%cl
movzwl -0x14(%rbp),%eax
mov    %cl,-0x11(%rbp,%rax,2)
movzwl -0x14(%rbp),%eax
movzwl -0x12(%rbp,%rax,2),%edx
movzwl -0x14(%rbp),%eax
movzwl -0x12(%rbp,%rax,2),%ecx
add    %edx,%ecx
mov    %cx,-0x12(%rbp,%rax,2)
jmp    1203 <RandomFunc+0x103>
mov    -0x12(%rbp),%al
mov    %al,-0x16(%rbp)
mov    -0x11(%rbp),%al
mov    %al,-0x12(%rbp)
mov    -0x16(%rbp),%al
mov    %al,-0x11(%rbp)
mov    -0x11(%rbp),%al
mov    %al,-0x16(%rbp)
mov    -0x12(%rbp),%al
mov    %al,-0x11(%rbp)
mov    -0x16(%rbp),%al
mov    %al,-0x12(%rbp)
movzwl -0x14(%rbp),%eax
mov    -0x11(%rbp,%rax,2),%al
mov    %al,-0x17(%rbp)
movzwl -0x14(%rbp),%eax
mov    -0x12(%rbp,%rax,2),%cl
movzwl -0x14(%rbp),%eax
mov    %cl,-0x11(%rbp,%rax,2)
mov    -0x17(%rbp),%cl
movzwl -0x14(%rbp),%eax
mov    %cl,-0x12(%rbp,%rax,2)
jmp    1246 <RandomFunc+0x146>
movzwl -0x14(%rbp),%eax
mov    -0x12(%rbp,%rax,2),%al
mov    %al,-0x18(%rbp)
movzwl -0x14(%rbp),%eax
mov    -0x11(%rbp,%rax,2),%cl
movzwl -0x14(%rbp),%eax
mov    %cl,-0x12(%rbp,%rax,2)
mov    -0x18(%rbp),%cl
movzwl -0x14(%rbp),%eax
mov    %cl,-0x11(%rbp,%rax,2)
movzwl -0x14(%rbp),%eax
movzwl -0x12(%rbp,%rax,2),%eax
movzwl -0x14(%rbp),%ecx
movzwl -0x12(%rbp,%rcx,2),%ecx
add    %ecx,%eax
mov    %ax,-0x12(%rbp)
movzwl -0x14(%rbp),%eax
add    $0x2,%rax
mov    %ax,-0x14(%rbp)
jmp    1122 <RandomFunc+0x22>
movzwl -0x12(%rbp),%eax
add    $0x18a8,%eax
mov    %ax,%cx
mov    -0x10(%rbp),%rax
mov    %cx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<RandomFunc>:
movzwl (%rdi),%eax
add    $0x23ed,%eax
mov    %ax,(%rsi)
ret

LLVM IR (-O0):
define void @RandomFunc(i16* %0, i16* %1) {
%3 = alloca i16*
%4 = alloca i16*
%5 = alloca [1 x i16]
%6 = alloca i16
%7 = alloca i8
%8 = alloca i8
%9 = alloca i8
%10 = alloca i8
store i16* %0, i16** %3
store i16* %1, i16** %4
%11 = load i16*, i16** %3
%12 = getelementptr inbounds i16, i16* %11, i64 0
%13 = load i16, i16* %12
%14 = zext i16 %13 to i32
%15 = add nsw i32 %14, 2885
%16 = trunc i32 %15 to i16
%17 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
store i16 %16, i16* %17
store i16 0, i16* %6
br label %18
18: ; preds = %187, %2
%19 = load i16, i16* %6
%20 = zext i16 %19 to i32
%21 = icmp slt i32 %20, 0
br i1 %21, label %22, label %192
22: ; preds = %18
%23 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
%24 = load i16, i16* %23
%25 = zext i16 %24 to i32
%26 = load i16, i16* %6
%27 = zext i16 %26 to i32
%28 = icmp sgt i32 %25, %27
br i1 %28, label %29, label %150
29: ; preds = %22
%30 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
%31 = load i16, i16* %30
%32 = zext i16 %31 to i32
%33 = load i16, i16* %6
%34 = zext i16 %33 to i32
%35 = icmp sgt i32 %32, %34
br i1 %35, label %36, label %95
36: ; preds = %29
%37 = load i16, i16* %6
%38 = zext i16 %37 to i64
%39 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %38
%40 = bitcast i16* %39 to i8*
%41 = getelementptr inbounds i8, i8* %40, i64 1
%42 = load i8, i8* %41
store i8 %42, i8* %7
%43 = load i16, i16* %6
%44 = zext i16 %43 to i64
%45 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %44
%46 = bitcast i16* %45 to i8*
%47 = getelementptr inbounds i8, i8* %46, i64 0
%48 = load i8, i8* %47
%49 = load i16, i16* %6
%50 = zext i16 %49 to i64
%51 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %50
%52 = bitcast i16* %51 to i8*
%53 = getelementptr inbounds i8, i8* %52, i64 1
store i8 %48, i8* %53
%54 = load i8, i8* %7
%55 = load i16, i16* %6
%56 = zext i16 %55 to i64
%57 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %56
%58 = bitcast i16* %57 to i8*
%59 = getelementptr inbounds i8, i8* %58, i64 0
store i8 %54, i8* %59
%60 = load i16, i16* %6
%61 = zext i16 %60 to i64
%62 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %61
%63 = bitcast i16* %62 to i8*
%64 = getelementptr inbounds i8, i8* %63, i64 0
%65 = load i8, i8* %64
store i8 %65, i8* %7
%66 = load i16, i16* %6
%67 = zext i16 %66 to i64
%68 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %67
%69 = bitcast i16* %68 to i8*
%70 = getelementptr inbounds i8, i8* %69, i64 1
%71 = load i8, i8* %70
%72 = load i16, i16* %6
%73 = zext i16 %72 to i64
%74 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %73
%75 = bitcast i16* %74 to i8*
%76 = getelementptr inbounds i8, i8* %75, i64 0
store i8 %71, i8* %76
%77 = load i8, i8* %7
%78 = load i16, i16* %6
%79 = zext i16 %78 to i64
%80 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %79
%81 = bitcast i16* %80 to i8*
%82 = getelementptr inbounds i8, i8* %81, i64 1
store i8 %77, i8* %82
%83 = load i16, i16* %6
%84 = zext i16 %83 to i64
%85 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %84
%86 = load i16, i16* %85
%87 = zext i16 %86 to i32
%88 = load i16, i16* %6
%89 = zext i16 %88 to i64
%90 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %89
%91 = load i16, i16* %90
%92 = zext i16 %91 to i32
%93 = add nsw i32 %92, %87
%94 = trunc i32 %93 to i16
store i16 %94, i16* %90
br label %149
95: ; preds = %29
%96 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
%97 = bitcast i16* %96 to i8*
%98 = getelementptr inbounds i8, i8* %97, i64 0
%99 = load i8, i8* %98
store i8 %99, i8* %8
%100 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
%101 = bitcast i16* %100 to i8*
%102 = getelementptr inbounds i8, i8* %101, i64 1
%103 = load i8, i8* %102
%104 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
%105 = bitcast i16* %104 to i8*
%106 = getelementptr inbounds i8, i8* %105, i64 0
store i8 %103, i8* %106
%107 = load i8, i8* %8
%108 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
%109 = bitcast i16* %108 to i8*
%110 = getelementptr inbounds i8, i8* %109, i64 1
store i8 %107, i8* %110
%111 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
%112 = bitcast i16* %111 to i8*
%113 = getelementptr inbounds i8, i8* %112, i64 1
%114 = load i8, i8* %113
store i8 %114, i8* %8
%115 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
%116 = bitcast i16* %115 to i8*
%117 = getelementptr inbounds i8, i8* %116, i64 0
%118 = load i8, i8* %117
%119 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
%120 = bitcast i16* %119 to i8*
%121 = getelementptr inbounds i8, i8* %120, i64 1
store i8 %118, i8* %121
%122 = load i8, i8* %8
%123 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
%124 = bitcast i16* %123 to i8*
%125 = getelementptr inbounds i8, i8* %124, i64 0
store i8 %122, i8* %125
%126 = load i16, i16* %6
%127 = zext i16 %126 to i64
%128 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %127
%129 = bitcast i16* %128 to i8*
%130 = getelementptr inbounds i8, i8* %129, i64 1
%131 = load i8, i8* %130
store i8 %131, i8* %9
%132 = load i16, i16* %6
%133 = zext i16 %132 to i64
%134 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %133
%135 = bitcast i16* %134 to i8*
%136 = getelementptr inbounds i8, i8* %135, i64 0
%137 = load i8, i8* %136
%138 = load i16, i16* %6
%139 = zext i16 %138 to i64
%140 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %139
%141 = bitcast i16* %140 to i8*
%142 = getelementptr inbounds i8, i8* %141, i64 1
store i8 %137, i8* %142
%143 = load i8, i8* %9
%144 = load i16, i16* %6
%145 = zext i16 %144 to i64
%146 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %145
%147 = bitcast i16* %146 to i8*
%148 = getelementptr inbounds i8, i8* %147, i64 0
store i8 %143, i8* %148
br label %149
149: ; preds = %95, %36
br label %187
150: ; preds = %22
%151 = load i16, i16* %6
%152 = zext i16 %151 to i64
%153 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %152
%154 = bitcast i16* %153 to i8*
%155 = getelementptr inbounds i8, i8* %154, i64 0
%156 = load i8, i8* %155
store i8 %156, i8* %10
%157 = load i16, i16* %6
%158 = zext i16 %157 to i64
%159 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %158
%160 = bitcast i16* %159 to i8*
%161 = getelementptr inbounds i8, i8* %160, i64 1
%162 = load i8, i8* %161
%163 = load i16, i16* %6
%164 = zext i16 %163 to i64
%165 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %164
%166 = bitcast i16* %165 to i8*
%167 = getelementptr inbounds i8, i8* %166, i64 0
store i8 %162, i8* %167
%168 = load i8, i8* %10
%169 = load i16, i16* %6
%170 = zext i16 %169 to i64
%171 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %170
%172 = bitcast i16* %171 to i8*
%173 = getelementptr inbounds i8, i8* %172, i64 1
store i8 %168, i8* %173
%174 = load i16, i16* %6
%175 = zext i16 %174 to i64
%176 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %175
%177 = load i16, i16* %176
%178 = zext i16 %177 to i32
%179 = load i16, i16* %6
%180 = zext i16 %179 to i64
%181 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 %180
%182 = load i16, i16* %181
%183 = zext i16 %182 to i32
%184 = add nsw i32 %178, %183
%185 = trunc i32 %184 to i16
%186 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
store i16 %185, i16* %186
br label %187
187: ; preds = %150, %149
%188 = load i16, i16* %6
%189 = zext i16 %188 to i64
%190 = add i64 %189, 2
%191 = trunc i64 %190 to i16
store i16 %191, i16* %6
br label %18
192: ; preds = %18
%193 = getelementptr inbounds [1 x i16], [1 x i16]* %5, i64 0, i64 0
%194 = load i16, i16* %193
%195 = zext i16 %194 to i32
%196 = add nsw i32 %195, 6312
%197 = trunc i32 %196 to i16
%198 = load i16*, i16** %4
%199 = getelementptr inbounds i16, i16* %198, i64 0
store i16 %197, i16* %199
ret void
}

LLVM IR (-O2):
define void @RandomFunc(i16* nocapture %0, i16* nocapture writeonly %1) {
%3 = load i16, i16* %0
%4 = add i16 %3, 9197
store i16 %4, i16* %1
ret void
}