#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int uint64_t;
typedef int uint32_t;

/* Variables and functions */
uint64_t __rand48_step(unsigned short *xi, unsigned short *lc) {
  uint64_t a, x;
  x = xi[0] | ((uint32_t)xi[1]) << 16 | ((uint64_t)xi[2]) << 32;
  a = lc[0] | ((uint32_t)lc[1]) << 16 | ((uint64_t)lc[2]) << 32;
  x = a * x + lc[3];
  xi[0] = x;
  xi[1] = x >> 16;
  xi[2] = x >> 32;
  return x & 0xffffffffffffull;
}


x86 assembly (clang, -O0):
<__rand48_step>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movzwl (%rax),%eax
mov    -0x8(%rbp),%rcx
movzwl 0x2(%rcx),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x8(%rbp),%rcx
movzwl 0x4(%rcx),%edx
mov    $0x20,%ecx
shl    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl (%rax),%eax
mov    -0x10(%rbp),%rcx
movzwl 0x2(%rcx),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x10(%rbp),%rcx
movzwl 0x4(%rcx),%edx
mov    $0x20,%ecx
shl    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
imul   -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzwl 0x6(%rcx),%ecx
add    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %ax,%cx
mov    -0x8(%rbp),%rax
mov    %cx,(%rax)
mov    -0x18(%rbp),%eax
sar    $0x10,%eax
mov    %ax,%cx
mov    -0x8(%rbp),%rax
mov    %cx,0x2(%rax)
mov    -0x18(%rbp),%eax
mov    $0x20,%ecx
sar    %cl,%eax
mov    %ax,%cx
mov    -0x8(%rbp),%rax
mov    %cx,0x4(%rax)
movslq -0x18(%rbp),%rax
movabs $0xffffffffffff,%rcx
and    %rcx,%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<__rand48_step>:
ret

LLVM IR (-O0):
define i32 @__rand48_step(i16* %0, i16* %1) {
%3 = alloca i16*
%4 = alloca i16*
%5 = alloca i32
%6 = alloca i32
store i16* %0, i16** %3
store i16* %1, i16** %4
%7 = load i16*, i16** %3
%8 = getelementptr inbounds i16, i16* %7, i64 0
%9 = load i16, i16* %8
%10 = zext i16 %9 to i32
%11 = load i16*, i16** %3
%12 = getelementptr inbounds i16, i16* %11, i64 1
%13 = load i16, i16* %12
%14 = zext i16 %13 to i32
%15 = shl i32 %14, 16
%16 = or i32 %10, %15
%17 = load i16*, i16** %3
%18 = getelementptr inbounds i16, i16* %17, i64 2
%19 = load i16, i16* %18
%20 = zext i16 %19 to i32
%21 = shl i32 %20, 32
%22 = or i32 %16, %21
store i32 %22, i32* %6
%23 = load i16*, i16** %4
%24 = getelementptr inbounds i16, i16* %23, i64 0
%25 = load i16, i16* %24
%26 = zext i16 %25 to i32
%27 = load i16*, i16** %4
%28 = getelementptr inbounds i16, i16* %27, i64 1
%29 = load i16, i16* %28
%30 = zext i16 %29 to i32
%31 = shl i32 %30, 16
%32 = or i32 %26, %31
%33 = load i16*, i16** %4
%34 = getelementptr inbounds i16, i16* %33, i64 2
%35 = load i16, i16* %34
%36 = zext i16 %35 to i32
%37 = shl i32 %36, 32
%38 = or i32 %32, %37
store i32 %38, i32* %5
%39 = load i32, i32* %5
%40 = load i32, i32* %6
%41 = mul nsw i32 %39, %40
%42 = load i16*, i16** %4
%43 = getelementptr inbounds i16, i16* %42, i64 3
%44 = load i16, i16* %43
%45 = zext i16 %44 to i32
%46 = add nsw i32 %41, %45
store i32 %46, i32* %6
%47 = load i32, i32* %6
%48 = trunc i32 %47 to i16
%49 = load i16*, i16** %3
%50 = getelementptr inbounds i16, i16* %49, i64 0
store i16 %48, i16* %50
%51 = load i32, i32* %6
%52 = ashr i32 %51, 16
%53 = trunc i32 %52 to i16
%54 = load i16*, i16** %3
%55 = getelementptr inbounds i16, i16* %54, i64 1
store i16 %53, i16* %55
%56 = load i32, i32* %6
%57 = ashr i32 %56, 32
%58 = trunc i32 %57 to i16
%59 = load i16*, i16** %3
%60 = getelementptr inbounds i16, i16* %59, i64 2
store i16 %58, i16* %60
%61 = load i32, i32* %6
%62 = sext i32 %61 to i64
%63 = and i64 %62, 281474976710655
%64 = trunc i64 %63 to i32
ret i32 %64
}

LLVM IR (-O2):
define i32 @__rand48_step(i16* nocapture readnone %0, i16* nocapture readnone %1) {
ret i32 poison
}