#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 */
struct value {
  int dummy;
};

/* Variables and functions */
double imag(struct value *);
int /*<<< orphan*/ int_error(int, char *);
double real(struct value *);
double ranf(struct value *init) {
  long k, z;
  static int firsttime = 1;
  static long seed1, seed2;
  static const long Xm1 = 2147483563L;
  static const long Xm2 = 2147483399L;
  static const long Xa1 = 40014L;
  static const long Xa2 = 40692L;
  if (real(init) != 0.0 || imag(init) != 0.0) {
    long seed1cvrt = real(init);
    long seed2cvrt = imag(init);
    if (real(init) != (double)seed1cvrt || imag(init) != (double)seed2cvrt ||
        seed1cvrt > 017777777777L || seed2cvrt > 017777777777L ||
        (seed1cvrt <= 0 && seed2cvrt != 0) || seed2cvrt < 0)
      int_error((-1), "Illegal seed value");
    else if (seed1cvrt < 0)
      firsttime = 1;
    else {
      seed1 = seed1cvrt;
      seed2 = (seed2cvrt) ? seed2cvrt : seed1cvrt;
      firsttime = 0;
    }
  }
  if (firsttime) {
    firsttime = 0;
    seed1 = 1234567890L;
    seed2 = 1234567890L;
  };
  k = seed1 / 53668L;
  seed1 = Xa1 * (seed1 - k * 53668L) - k * 12211;
  if (seed1 < 0)
    seed1 += Xm1;
  k = seed2 / 52774L;
  seed2 = Xa2 * (seed2 - k * 52774L) - k * 3791;
  if (seed2 < 0)
    seed2 += Xm2;
  z = seed1 - seed2;
  if (z < 1)
    z += (Xm1 - 1);
  return (double)4.656613057E-10 * z;
}


x86 assembly (clang, -O0):
<ranf>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <real@plt>
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1179 <ranf+0x49>
jp     1179 <ranf+0x49>
mov    -0x8(%rbp),%rdi
call   1050 <imag@plt>
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1179 <ranf+0x49>
jp     1179 <ranf+0x49>
jmp    1292 <ranf+0x162>
mov    -0x8(%rbp),%rdi
call   1040 <real@plt>
cvttsd2si %xmm0,%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
call   1050 <imag@plt>
cvttsd2si %xmm0,%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <real@plt>
cvtsi2sdq -0x20(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jne    1218 <ranf+0xe8>
jp     1218 <ranf+0xe8>
mov    -0x8(%rbp),%rdi
call   1050 <imag@plt>
cvtsi2sdq -0x28(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jne    1218 <ranf+0xe8>
jp     1218 <ranf+0xe8>
cmpq   $0x7fffffff,-0x20(%rbp)
7f
jg     1218 <ranf+0xe8>
cmpq   $0x7fffffff,-0x28(%rbp)
7f
jg     1218 <ranf+0xe8>
cmpq   $0x0,-0x20(%rbp)
jg     120d <ranf+0xdd>
cmpq   $0x0,-0x28(%rbp)
jne    1218 <ranf+0xe8>
cmpq   $0x0,-0x28(%rbp)
jge    122e <ranf+0xfe>
mov    $0xffffffff,%edi
lea    0xe04(%rip),%rsi
call   1030 <int_error@plt>
jmp    128d <ranf+0x15d>
cmpq   $0x0,-0x20(%rbp)
jge    1248 <ranf+0x118>
movl   $0x1,0x2df5(%rip)
jmp    1288 <ranf+0x158>
mov    -0x20(%rbp),%rax
mov    %rax,0x2df5(%rip)
cmpq   $0x0,-0x28(%rbp)
je     126b <ranf+0x13b>
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    1273 <ranf+0x143>
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,0x2dd2(%rip)
movl   $0x0,0x2db0(%rip)
jmp    128d <ranf+0x15d>
jmp    1292 <ranf+0x162>
cmpl   $0x0,0x2d9f(%rip)
je     12bf <ranf+0x18f>
movl   $0x0,0x2d8f(%rip)
movq   $0x499602d2,0x2d94(%rip)
d2 02 96 49
movq   $0x499602d2,0x2d91(%rip)
d2 02 96 49
mov    0x2d82(%rip),%rax
mov    $0xd1a4,%ecx
cqto
idiv   %rcx
mov    %rax,-0x10(%rbp)
mov    0x2d6d(%rip),%rax
imul   $0xd1a4,-0x10(%rbp),%rcx
sub    %rcx,%rax
imul   $0x9c4e,%rax,%rax
imul   $0x2fb3,-0x10(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,0x2d49(%rip)
cmpq   $0x0,0x2d41(%rip)
jge    1321 <ranf+0x1f1>
mov    0x2d34(%rip),%rax
add    $0x7fffffab,%rax
mov    %rax,0x2d27(%rip)
mov    0x2d28(%rip),%rax
mov    $0xce26,%ecx
cqto
idiv   %rcx
mov    %rax,-0x10(%rbp)
mov    0x2d13(%rip),%rax
imul   $0xce26,-0x10(%rbp),%rcx
sub    %rcx,%rax
imul   $0x9ef4,%rax,%rax
imul   $0xecf,-0x10(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,0x2cef(%rip)
cmpq   $0x0,0x2ce7(%rip)
jge    1383 <ranf+0x253>
mov    0x2cda(%rip),%rax
add    $0x7fffff07,%rax
mov    %rax,0x2ccd(%rip)
mov    0x2cbe(%rip),%rax
sub    0x2cbf(%rip),%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x1,-0x18(%rbp)
jge    13ae <ranf+0x27e>
mov    -0x18(%rbp),%rax
add    $0x7fffffaa,%rax
mov    %rax,-0x18(%rbp)
cvtsi2sdq -0x18(%rbp),%xmm1
movsd  0xc44(%rip),%xmm0
mulsd  %xmm1,%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ranf>:
push   %r15
push   %r14
push   %rbx
sub    $0x10,%rsp
mov    %rdi,%rbx
call   1040 <real@plt>
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1161 <ranf+0x31>
jp     1161 <ranf+0x31>
mov    %rbx,%rdi
call   1050 <imag@plt>
ucomisd 0xeab(%rip),%xmm0
jne    1161 <ranf+0x31>
jnp    11a5 <ranf+0x75>
mov    %rbx,%rdi
call   1040 <real@plt>
cvttsd2si %xmm0,%r15
mov    %rbx,%rdi
call   1050 <imag@plt>
movsd  %xmm0,0x8(%rsp)
mov    %rbx,%rdi
call   1040 <real@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %r15,%xmm1
ucomisd %xmm1,%xmm0
jne    1194 <ranf+0x64>
jnp    11be <ranf+0x8e>
lea    0xe75(%rip),%rsi
mov    $0xffffffff,%edi
call   1030 <int_error@plt>
cmpb   $0x1,0x2e94(%rip)
jne    1219 <ranf+0xe9>
mov    0x2e93(%rip),%r15
mov    0x2e94(%rip),%r14
jmp    122c <ranf+0xfc>
cvttsd2si 0x8(%rsp),%r14
mov    %rbx,%rdi
call   1050 <imag@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %r14,%xmm1
ucomisd %xmm1,%xmm0
jne    1194 <ranf+0x64>
jp     1194 <ranf+0x64>
cmp    $0x7fffffff,%r15
jg     1194 <ranf+0x64>
cmp    $0x7fffffff,%r14
jg     1194 <ranf+0x64>
test   %r15,%r15
setle  %al
test   %r14,%r14
setne  %cl
test   %cl,%al
jne    1194 <ranf+0x64>
test   %r14,%r14
js     1194 <ranf+0x64>
test   %r15,%r15
js     1219 <ranf+0xe9>
test   %r14,%r14
cmove  %r15,%r14
movb   $0x1,0x2e29(%rip)
jmp    122c <ranf+0xfc>
movb   $0x1,0x2e20(%rip)
mov    $0x499602d2,%r14d
mov    $0x499602d2,%r15d
movabs $0x9c4e3aa71ae25487,%rcx
3a 4e 9c
mov    %r15,%rax
imul   %rcx
add    %r15,%rdx
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0xf,%rdx
add    %rax,%rdx
imul   $0xffffffffffff2e5c,%rdx,%rax
add    %r15,%rax
imul   $0x9c4e,%rax,%rax
imul   $0xffffffffffffd04d,%rdx,%rcx
lea    (%rax,%rcx,1),%rsi
add    $0x7fffffab,%rsi
add    %rcx,%rax
cmovns %rax,%rsi
mov    %rsi,0x2dca(%rip)
movabs $0x4f7a09cc7bd54605,%rcx
09 7a 4f
mov    %r14,%rax
imul   %rcx
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0xe,%rdx
add    %rax,%rdx
imul   $0xffffffffffff31da,%rdx,%rax
add    %r14,%rax
imul   $0x9ef4,%rax,%rax
imul   $0xfffffffffffff131,%rdx,%rcx
lea    (%rax,%rcx,1),%rdx
add    $0x7fffff07,%rdx
add    %rcx,%rax
cmovns %rax,%rdx
mov    %rdx,0x2d83(%rip)
sub    %rdx,%rsi
lea    0x7fffffaa(%rsi),%rax
test   %rsi,%rsi
cmovg  %rsi,%rax
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
mulsd  0xd12(%rip),%xmm0
add    $0x10,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
%struct.value = type { i32 }
@ranf.firsttime = internal global i32 1
@ranf.seed1 = internal global i64 0
@ranf.seed2 = internal global i64 0
@ranf.Xm1 = internal constant i64 2147483563
@ranf.Xm2 = internal constant i64 2147483399
@ranf.Xa1 = internal constant i64 40014
@ranf.Xa2 = internal constant i64 40692
@.str = [19 x i8] c"Illegal seed value\00"
define double @ranf(%struct.value* %0) {
%2 = alloca %struct.value*
%3 = alloca i64
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
store %struct.value* %0, %struct.value** %2
%7 = load %struct.value*, %struct.value** %2
%8 = call double @real(%struct.value* %7)
%9 = fcmp une double %8, 0.000000e+00
br i1 %9, label %14, label %10
10: ; preds = %1
%11 = load %struct.value*, %struct.value** %2
%12 = call double @imag(%struct.value* %11)
%13 = fcmp une double %12, 0.000000e+00
br i1 %13, label %14, label %65
14: ; preds = %10, %1
%15 = load %struct.value*, %struct.value** %2
%16 = call double @real(%struct.value* %15)
%17 = fptosi double %16 to i64
store i64 %17, i64* %5
%18 = load %struct.value*, %struct.value** %2
%19 = call double @imag(%struct.value* %18)
%20 = fptosi double %19 to i64
store i64 %20, i64* %6
%21 = load %struct.value*, %struct.value** %2
%22 = call double @real(%struct.value* %21)
%23 = load i64, i64* %5
%24 = sitofp i64 %23 to double
%25 = fcmp une double %22, %24
br i1 %25, label %47, label %26
26: ; preds = %14
%27 = load %struct.value*, %struct.value** %2
%28 = call double @imag(%struct.value* %27)
%29 = load i64, i64* %6
%30 = sitofp i64 %29 to double
%31 = fcmp une double %28, %30
br i1 %31, label %47, label %32
32: ; preds = %26
%33 = load i64, i64* %5
%34 = icmp sgt i64 %33, 2147483647
br i1 %34, label %47, label %35
35: ; preds = %32
%36 = load i64, i64* %6
%37 = icmp sgt i64 %36, 2147483647
br i1 %37, label %47, label %38
38: ; preds = %35
%39 = load i64, i64* %5
%40 = icmp sle i64 %39, 0
br i1 %40, label %41, label %44
41: ; preds = %38
%42 = load i64, i64* %6
%43 = icmp ne i64 %42, 0
br i1 %43, label %47, label %44
44: ; preds = %41, %38
%45 = load i64, i64* %6
%46 = icmp slt i64 %45, 0
br i1 %46, label %47, label %49
47: ; preds = %44, %41, %35, %32, %26, %14
%48 = call i32 @int_error(i32 -1, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0))
br label %64
49: ; preds = %44
%50 = load i64, i64* %5
%51 = icmp slt i64 %50, 0
br i1 %51, label %52, label %53
52: ; preds = %49
store i32 1, i32* @ranf.firsttime
br label %63
53: ; preds = %49
%54 = load i64, i64* %5
store i64 %54, i64* @ranf.seed1
%55 = load i64, i64* %6
%56 = icmp ne i64 %55, 0
br i1 %56, label %57, label %59
57: ; preds = %53
%58 = load i64, i64* %6
br label %61
59: ; preds = %53
%60 = load i64, i64* %5
br label %61
61: ; preds = %59, %57
%62 = phi i64 [ %58, %57 ], [ %60, %59 ]
store i64 %62, i64* @ranf.seed2
store i32 0, i32* @ranf.firsttime
br label %63
63: ; preds = %61, %52
br label %64
64: ; preds = %63, %47
br label %65
65: ; preds = %64, %10
%66 = load i32, i32* @ranf.firsttime
%67 = icmp ne i32 %66, 0
br i1 %67, label %68, label %69
68: ; preds = %65
store i32 0, i32* @ranf.firsttime
store i64 1234567890, i64* @ranf.seed1
store i64 1234567890, i64* @ranf.seed2
br label %69
69: ; preds = %68, %65
%70 = load i64, i64* @ranf.seed1
%71 = sdiv i64 %70, 53668
store i64 %71, i64* %3
%72 = load i64, i64* @ranf.seed1
%73 = load i64, i64* %3
%74 = mul nsw i64 %73, 53668
%75 = sub nsw i64 %72, %74
%76 = mul nsw i64 40014, %75
%77 = load i64, i64* %3
%78 = mul nsw i64 %77, 12211
%79 = sub nsw i64 %76, %78
store i64 %79, i64* @ranf.seed1
%80 = load i64, i64* @ranf.seed1
%81 = icmp slt i64 %80, 0
br i1 %81, label %82, label %85
82: ; preds = %69
%83 = load i64, i64* @ranf.seed1
%84 = add nsw i64 %83, 2147483563
store i64 %84, i64* @ranf.seed1
br label %85
85: ; preds = %82, %69
%86 = load i64, i64* @ranf.seed2
%87 = sdiv i64 %86, 52774
store i64 %87, i64* %3
%88 = load i64, i64* @ranf.seed2
%89 = load i64, i64* %3
%90 = mul nsw i64 %89, 52774
%91 = sub nsw i64 %88, %90
%92 = mul nsw i64 40692, %91
%93 = load i64, i64* %3
%94 = mul nsw i64 %93, 3791
%95 = sub nsw i64 %92, %94
store i64 %95, i64* @ranf.seed2
%96 = load i64, i64* @ranf.seed2
%97 = icmp slt i64 %96, 0
br i1 %97, label %98, label %101
98: ; preds = %85
%99 = load i64, i64* @ranf.seed2
%100 = add nsw i64 %99, 2147483399
store i64 %100, i64* @ranf.seed2
br label %101
101: ; preds = %98, %85
%102 = load i64, i64* @ranf.seed1
%103 = load i64, i64* @ranf.seed2
%104 = sub nsw i64 %102, %103
store i64 %104, i64* %4
%105 = load i64, i64* %4
%106 = icmp slt i64 %105, 1
br i1 %106, label %107, label %110
107: ; preds = %101
%108 = load i64, i64* %4
%109 = add nsw i64 %108, 2147483562
store i64 %109, i64* %4
br label %110
110: ; preds = %107, %101
%111 = load i64, i64* %4
%112 = sitofp i64 %111 to double
%113 = fmul double 0x3E0000000A9A37F7, %112
ret double %113
}

LLVM IR (-O2):
%struct.value = type { i32 }
@ranf.firsttime = internal unnamed_addr global i1 false
@ranf.seed1 = internal unnamed_addr global i64 0
@ranf.seed2 = internal unnamed_addr global i64 0
@.str = [19 x i8] c"Illegal seed value\00"
define double @ranf(%struct.value* %0) {
%2 = tail call double @real(%struct.value* %0)
%3 = fcmp une double %2, 0.000000e+00
br i1 %3, label %7, label %4
4: ; preds = %1
%5 = tail call double @imag(%struct.value* %0)
%6 = fcmp une double %5, 0.000000e+00
br i1 %6, label %7, label %35
7: ; preds = %4, %1
%8 = tail call double @real(%struct.value* %0)
%9 = fptosi double %8 to i64
%10 = tail call double @imag(%struct.value* %0)
%11 = fptosi double %10 to i64
%12 = tail call double @real(%struct.value* %0)
%13 = sitofp i64 %9 to double
%14 = fcmp une double %12, %13
br i1 %14, label %29, label %15
15: ; preds = %7
%16 = tail call double @imag(%struct.value* %0)
%17 = sitofp i64 %11 to double
%18 = fcmp une double %16, %17
%19 = icmp sgt i64 %9, 2147483647
%20 = select i1 %18, i1 true, i1 %19
%21 = icmp sgt i64 %11, 2147483647
%22 = select i1 %20, i1 true, i1 %21
br i1 %22, label %29, label %23
23: ; preds = %15
%24 = icmp slt i64 %9, 1
%25 = icmp ne i64 %11, 0
%26 = select i1 %24, i1 %25, i1 false
%27 = icmp slt i64 %11, 0
%28 = select i1 %26, i1 true, i1 %27
br i1 %28, label %29, label %31
29: ; preds = %23, %15, %7
%30 = tail call i32 @int_error(i32 -1, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0))
br label %35
31: ; preds = %23
%32 = icmp slt i64 %9, 0
br i1 %32, label %40, label %33
33: ; preds = %31
%34 = select i1 %25, i64 %11, i64 %9
store i1 true, i1* @ranf.firsttime
br label %41
35: ; preds = %29, %4
%36 = load i1, i1* @ranf.firsttime
br i1 %36, label %37, label %40
37: ; preds = %35
%38 = load i64, i64* @ranf.seed1
%39 = load i64, i64* @ranf.seed2
br label %41
40: ; preds = %31, %35
store i1 true, i1* @ranf.firsttime
br label %41
41: ; preds = %37, %33, %40
%42 = phi i64 [ %39, %37 ], [ %34, %33 ], [ 1234567890, %40 ]
%43 = phi i64 [ %38, %37 ], [ %9, %33 ], [ 1234567890, %40 ]
%44 = sdiv i64 %43, 53668
%45 = mul nsw i64 %44, -53668
%46 = add i64 %45, %43
%47 = mul nsw i64 %46, 40014
%48 = mul nsw i64 %44, -12211
%49 = add i64 %47, %48
%50 = icmp slt i64 %49, 0
%51 = add nsw i64 %49, 2147483563
%52 = select i1 %50, i64 %51, i64 %49
store i64 %52, i64* @ranf.seed1
%53 = sdiv i64 %42, 52774
%54 = mul nsw i64 %53, -52774
%55 = add i64 %54, %42
%56 = mul nsw i64 %55, 40692
%57 = mul nsw i64 %53, -3791
%58 = add i64 %56, %57
%59 = icmp slt i64 %58, 0
%60 = add nsw i64 %58, 2147483399
%61 = select i1 %59, i64 %60, i64 %58
store i64 %61, i64* @ranf.seed2
%62 = sub nsw i64 %52, %61
%63 = icmp slt i64 %62, 1
%64 = add nsw i64 %62, 2147483562
%65 = select i1 %63, i64 %64, i64 %62
%66 = sitofp i64 %65 to double
%67 = fmul double %66, 0x3E0000000A9A37F7
ret double %67
}