#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 */

/* Variables and functions */
int labs(int);
double ran3(long *idum) {
  static int inext, inextp;
  static long ma[56];
  static int iff = 0;
  long mj, mk;
  int i, ii, k;
  if (*idum < 0 || iff == 0) {
    iff = 1;
    mj = labs(161803398 - labs(*idum));
    mj %= 1000000000;
    ma[55] = mj;
    mk = 1;
    for (i = 1; i <= 54; i++) {
      ii = (21 * i) % 55;
      ma[ii] = mk;
      mk = mj - mk;
      if (mk < 0)
        mk += 1000000000;
      mj = ma[ii];
    }
    for (k = 1; k <= 4; k++)
      for (i = 1; i <= 55; i++) {
        ma[i] -= ma[1 + (i + 30) % 55];
        if (ma[i] < 0)
          ma[i] += 1000000000;
      }
    inext = 0;
    inext = 31;
    *idum = 1;
  }
  if (++inext == 56)
    inext = 1;
  if (++inextp == 56)
    inextp = 1;
  mj = ma[inext] - ma[inextp];
  if (mj < 0)
    mj += 1000000000;
  ma[inext] = mj;
  return mj * (1.0 / 1000000000);
}


x86 assembly (clang, -O0):
<ran3>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
cmpq   $0x0,(%rax)
jl     1137 <ran3+0x27>
cmpl   $0x0,0x30df(%rip)
jne    12d9 <ran3+0x1c9>
movl   $0x1,0x30cf(%rip)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    %eax,%edi
call   1030 <labs@plt>
mov    $0x9a4ec86,%edi
sub    %eax,%edi
call   1030 <labs@plt>
cltq
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    $0x3b9aca00,%ecx
cqto
idiv   %rcx
mov    %rdx,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,0x308a(%rip)
movq   $0x1,-0x18(%rbp)
movl   $0x1,-0x1c(%rbp)
cmpl   $0x36,-0x1c(%rbp)
jg     11ff <ran3+0xef>
imul   $0x15,-0x1c(%rbp),%eax
mov    $0x37,%ecx
cltd
idiv   %ecx
mov    %edx,-0x20(%rbp)
mov    -0x18(%rbp),%rdx
movslq -0x20(%rbp),%rcx
lea    0x2e9b(%rip),%rax
mov    %rdx,(%rax,%rcx,8)
mov    -0x10(%rbp),%rax
sub    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
jge    11de <ran3+0xce>
mov    -0x18(%rbp),%rax
add    $0x3b9aca00,%rax
mov    %rax,-0x18(%rbp)
movslq -0x20(%rbp),%rcx
lea    0x2e67(%rip),%rax
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x10(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    118d <ran3+0x7d>
movl   $0x1,-0x24(%rbp)
cmpl   $0x4,-0x24(%rbp)
jg     12ba <ran3+0x1aa>
movl   $0x1,-0x1c(%rbp)
cmpl   $0x37,-0x1c(%rbp)
jg     12a7 <ran3+0x197>
mov    -0x1c(%rbp),%eax
add    $0x1e,%eax
mov    $0x37,%ecx
cltd
idiv   %ecx
add    $0x1,%edx
movslq %edx,%rcx
lea    0x2e14(%rip),%rax
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
lea    0x2e05(%rip),%rdx
mov    (%rdx,%rcx,8),%rdx
sub    %rax,%rdx
lea    0x2df7(%rip),%rax
mov    %rdx,(%rax,%rcx,8)
movslq -0x1c(%rbp),%rcx
lea    0x2de8(%rip),%rax
cmpq   $0x0,(%rax,%rcx,8)
jge    1294 <ran3+0x184>
movslq -0x1c(%rbp),%rcx
lea    0x2dd2(%rip),%rax
mov    (%rax,%rcx,8),%rdx
add    $0x3b9aca00,%rdx
lea    0x2dc0(%rip),%rax
mov    %rdx,(%rax,%rcx,8)
jmp    1299 <ran3+0x189>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1217 <ran3+0x107>
jmp    12ac <ran3+0x19c>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1206 <ran3+0xf6>
movl   $0x0,0x2d7c(%rip)
movl   $0x1f,0x2d72(%rip)
mov    -0x8(%rbp),%rax
movq   $0x1,(%rax)
mov    0x2d61(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2d58(%rip)
cmp    $0x38,%eax
jne    12fb <ran3+0x1eb>
movl   $0x1,0x2d45(%rip)
mov    0x2d43(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2d3a(%rip)
cmp    $0x38,%eax
jne    131d <ran3+0x20d>
movl   $0x1,0x2d27(%rip)
movslq 0x2d1c(%rip),%rcx
lea    0x2d25(%rip),%rax
mov    (%rax,%rcx,8),%rax
movslq 0x2d0e(%rip),%rdx
lea    0x2d13(%rip),%rcx
sub    (%rcx,%rdx,8),%rax
mov    %rax,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jge    135e <ran3+0x24e>
mov    -0x10(%rbp),%rax
add    $0x3b9aca00,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdx
movslq 0x2cd7(%rip),%rcx
lea    0x2ce0(%rip),%rax
mov    %rdx,(%rax,%rcx,8)
cvtsi2sdq -0x10(%rbp),%xmm0
movsd  0xc7e(%rip),%xmm1
mulsd  %xmm1,%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ran3>:
mov    (%rdi),%rax
test   %rax,%rax
js     112a <ran3+0x2a>
testb  $0x1,0x30f1(%rip)
je     112a <ran3+0x2a>
mov    0x2f19(%rip),%ecx
add    $0x1,%ecx
cmp    $0x38,%ecx
mov    $0x1,%eax
cmovne %ecx,%eax
jmp    1330 <ran3+0x230>
mov    %eax,%ecx
neg    %ecx
cmovns %eax,%ecx
add    $0x9a4ec86,%ecx
mov    %ecx,%esi
neg    %esi
cmovs  %ecx,%esi
movb   $0x1,0x30bb(%rip)
mov    %esi,%eax
shr    $0x9,%eax
imul   $0x44b83,%rax,%rax
shr    $0x27,%rax
imul   $0x3b9aca00,%eax,%eax
sub    %eax,%esi
mov    %rsi,0x3094(%rip)
mov    $0x1,%r9d
mov    $0x36,%r8d
lea    0x2f71(%rip),%r10
mov    $0x15,%ecx
movabs $0x29e4129e4129e413,%r11
12 e4 29
cs nopw 0x0(%rax,%rax,1)
mov    %rcx,%rax
mul    %r11
mov    %rcx,%rax
sub    %rdx,%rax
shr    %rax
add    %rdx,%rax
shr    $0x5,%rax
imul   $0xfffffffffffffe48,%rax,%rax
sub    %r9,%rsi
lea    0x3b9aca00(%rsi),%rdx
test   %rsi,%rsi
cmovns %rsi,%rdx
mov    %r9,(%r10,%rax,1)
add    $0xa8,%r10
add    $0x15,%rcx
mov    %r9,%rsi
mov    %rdx,%r9
add    $0xffffffff,%r8d
jne    1190 <ran3+0x90>
mov    $0x1,%ecx
mov    $0x20,%r9b
mov    $0x1f,%sil
lea    0x2e55(%rip),%r8
nopl   0x0(%rax,%rax,1)
movzbl %sil,%esi
imul   $0x95,%esi,%eax
shr    $0xd,%eax
imul   $0x37,%eax,%eax
mov    %r9d,%edx
sub    %al,%dl
movzbl %dl,%eax
mov    (%r8,%rcx,8),%rdx
sub    (%r8,%rax,8),%rdx
lea    0x3b9aca00(%rdx),%rax
test   %rdx,%rdx
cmovns %rdx,%rax
mov    %rax,(%r8,%rcx,8)
add    $0x1,%rcx
add    $0x1,%r9b
add    $0x1,%sil
cmp    $0x38,%rcx
jne    11f0 <ran3+0xf0>
mov    $0x1,%ecx
mov    $0x20,%r9b
mov    $0x1f,%sil
nop
movzbl %sil,%esi
imul   $0x95,%esi,%eax
shr    $0xd,%eax
imul   $0x37,%eax,%eax
mov    %r9d,%edx
sub    %al,%dl
movzbl %dl,%eax
mov    (%r8,%rcx,8),%rdx
sub    (%r8,%rax,8),%rdx
lea    0x3b9aca00(%rdx),%rax
test   %rdx,%rdx
cmovns %rdx,%rax
mov    %rax,(%r8,%rcx,8)
add    $0x1,%rcx
add    $0x1,%r9b
add    $0x1,%sil
cmp    $0x38,%rcx
jne    1240 <ran3+0x140>
mov    $0x1,%ecx
mov    $0x20,%r9b
mov    $0x1f,%sil
nop
movzbl %sil,%esi
imul   $0x95,%esi,%eax
shr    $0xd,%eax
imul   $0x37,%eax,%eax
mov    %r9d,%edx
sub    %al,%dl
movzbl %dl,%eax
mov    (%r8,%rcx,8),%rdx
sub    (%r8,%rax,8),%rdx
lea    0x3b9aca00(%rdx),%rax
test   %rdx,%rdx
cmovns %rdx,%rax
mov    %rax,(%r8,%rcx,8)
add    $0x1,%rcx
add    $0x1,%r9b
add    $0x1,%sil
cmp    $0x38,%rcx
jne    1290 <ran3+0x190>
mov    $0x1,%ecx
mov    $0x20,%r9b
mov    $0x1f,%sil
nop
movzbl %sil,%esi
imul   $0x95,%esi,%eax
shr    $0xd,%eax
imul   $0x37,%eax,%eax
mov    %r9d,%edx
sub    %al,%dl
movzbl %dl,%eax
mov    (%r8,%rcx,8),%rdx
sub    (%r8,%rax,8),%rdx
lea    0x3b9aca00(%rdx),%rax
test   %rdx,%rdx
cmovns %rdx,%rax
mov    %rax,(%r8,%rcx,8)
add    $0x1,%rcx
add    $0x1,%r9b
add    $0x1,%sil
cmp    $0x38,%rcx
jne    12e0 <ran3+0x1e0>
movq   $0x1,(%rdi)
mov    $0x20,%eax
mov    %eax,0x2cfa(%rip)
mov    0x2cf8(%rip),%ecx
add    $0x1,%ecx
cmp    $0x38,%ecx
mov    $0x1,%edx
cmovne %ecx,%edx
mov    %edx,0x2ce4(%rip)
cltq
lea    0x2ce7(%rip),%rcx
mov    (%rcx,%rax,8),%rsi
movslq %edx,%rdx
sub    (%rcx,%rdx,8),%rsi
lea    0x3b9aca00(%rsi),%rdx
test   %rsi,%rsi
cmovns %rsi,%rdx
mov    %rdx,(%rcx,%rax,8)
cvtsi2sd %rdx,%xmm0
mulsd  0xc7d(%rip),%xmm0
ret

LLVM IR (-O0):
@ran3.inext = internal global i32 0
@ran3.inextp = internal global i32 0
@ran3.ma = internal global [56 x i64] zeroinitializer
@ran3.iff = internal global i32 0
define double @ran3(i64* %0) {
%2 = alloca i64*
%3 = alloca i64
%4 = alloca i64
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i64* %0, i64** %2
%8 = load i64*, i64** %2
%9 = load i64, i64* %8
%10 = icmp slt i64 %9, 0
br i1 %10, label %14, label %11
11: ; preds = %1
%12 = load i32, i32* @ran3.iff
%13 = icmp eq i32 %12, 0
br i1 %13, label %14, label %94
14: ; preds = %11, %1
store i32 1, i32* @ran3.iff
%15 = load i64*, i64** %2
%16 = load i64, i64* %15
%17 = trunc i64 %16 to i32
%18 = call i32 @labs(i32 %17)
%19 = sub nsw i32 161803398, %18
%20 = call i32 @labs(i32 %19)
%21 = sext i32 %20 to i64
store i64 %21, i64* %3
%22 = load i64, i64* %3
%23 = srem i64 %22, 1000000000
store i64 %23, i64* %3
%24 = load i64, i64* %3
store i64 %24, i64* getelementptr inbounds ([56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 55)
store i64 1, i64* %4
store i32 1, i32* %5
br label %25
25: ; preds = %49, %14
%26 = load i32, i32* %5
%27 = icmp sle i32 %26, 54
br i1 %27, label %28, label %52
28: ; preds = %25
%29 = load i32, i32* %5
%30 = mul nsw i32 21, %29
%31 = srem i32 %30, 55
store i32 %31, i32* %6
%32 = load i64, i64* %4
%33 = load i32, i32* %6
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %34
store i64 %32, i64* %35
%36 = load i64, i64* %3
%37 = load i64, i64* %4
%38 = sub nsw i64 %36, %37
store i64 %38, i64* %4
%39 = load i64, i64* %4
%40 = icmp slt i64 %39, 0
br i1 %40, label %41, label %44
41: ; preds = %28
%42 = load i64, i64* %4
%43 = add nsw i64 %42, 1000000000
store i64 %43, i64* %4
br label %44
44: ; preds = %41, %28
%45 = load i32, i32* %6
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %46
%48 = load i64, i64* %47
store i64 %48, i64* %3
br label %49
49: ; preds = %44
%50 = load i32, i32* %5
%51 = add nsw i32 %50, 1
store i32 %51, i32* %5
br label %25
52: ; preds = %25
store i32 1, i32* %7
br label %53
53: ; preds = %89, %52
%54 = load i32, i32* %7
%55 = icmp sle i32 %54, 4
br i1 %55, label %56, label %92
56: ; preds = %53
store i32 1, i32* %5
br label %57
57: ; preds = %85, %56
%58 = load i32, i32* %5
%59 = icmp sle i32 %58, 55
br i1 %59, label %60, label %88
60: ; preds = %57
%61 = load i32, i32* %5
%62 = add nsw i32 %61, 30
%63 = srem i32 %62, 55
%64 = add nsw i32 1, %63
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %65
%67 = load i64, i64* %66
%68 = load i32, i32* %5
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %69
%71 = load i64, i64* %70
%72 = sub nsw i64 %71, %67
store i64 %72, i64* %70
%73 = load i32, i32* %5
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %74
%76 = load i64, i64* %75
%77 = icmp slt i64 %76, 0
br i1 %77, label %78, label %84
78: ; preds = %60
%79 = load i32, i32* %5
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %80
%82 = load i64, i64* %81
%83 = add nsw i64 %82, 1000000000
store i64 %83, i64* %81
br label %84
84: ; preds = %78, %60
br label %85
85: ; preds = %84
%86 = load i32, i32* %5
%87 = add nsw i32 %86, 1
store i32 %87, i32* %5
br label %57
88: ; preds = %57
br label %89
89: ; preds = %88
%90 = load i32, i32* %7
%91 = add nsw i32 %90, 1
store i32 %91, i32* %7
br label %53
92: ; preds = %53
store i32 0, i32* @ran3.inext
store i32 31, i32* @ran3.inext
%93 = load i64*, i64** %2
store i64 1, i64* %93
br label %94
94: ; preds = %92, %11
%95 = load i32, i32* @ran3.inext
%96 = add nsw i32 %95, 1
store i32 %96, i32* @ran3.inext
%97 = icmp eq i32 %96, 56
br i1 %97, label %98, label %99
98: ; preds = %94
store i32 1, i32* @ran3.inext
br label %99
99: ; preds = %98, %94
%100 = load i32, i32* @ran3.inextp
%101 = add nsw i32 %100, 1
store i32 %101, i32* @ran3.inextp
%102 = icmp eq i32 %101, 56
br i1 %102, label %103, label %104
103: ; preds = %99
store i32 1, i32* @ran3.inextp
br label %104
104: ; preds = %103, %99
%105 = load i32, i32* @ran3.inext
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %106
%108 = load i64, i64* %107
%109 = load i32, i32* @ran3.inextp
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %110
%112 = load i64, i64* %111
%113 = sub nsw i64 %108, %112
store i64 %113, i64* %3
%114 = load i64, i64* %3
%115 = icmp slt i64 %114, 0
br i1 %115, label %116, label %119
116: ; preds = %104
%117 = load i64, i64* %3
%118 = add nsw i64 %117, 1000000000
store i64 %118, i64* %3
br label %119
119: ; preds = %116, %104
%120 = load i64, i64* %3
%121 = load i32, i32* @ran3.inext
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %122
store i64 %120, i64* %123
%124 = load i64, i64* %3
%125 = sitofp i64 %124 to double
%126 = fmul double %125, 1.000000e-09
ret double %126
}

LLVM IR (-O2):
@ran3.inext = internal unnamed_addr global i32 0
@ran3.inextp = internal unnamed_addr global i32 0
@ran3.ma = internal unnamed_addr global [56 x i64] zeroinitializer
@ran3.iff = internal unnamed_addr global i1 false
define double @ran3(i64* nocapture %0) {
%2 = load i64, i64* %0
%3 = icmp slt i64 %2, 0
%4 = load i1, i1* @ran3.iff
%5 = xor i1 %4, true
%6 = select i1 %3, i1 true, i1 %5
br i1 %6, label %7, label %98
7: ; preds = %1
store i1 true, i1* @ran3.iff
%8 = trunc i64 %2 to i32
%9 = tail call i32 @llvm.abs.i32(i32 %8, i1 true)
%10 = sub nsw i32 161803398, %9
%11 = tail call i32 @llvm.abs.i32(i32 %10, i1 true)
%12 = urem i32 %11, 1000000000
%13 = zext i32 %12 to i64
store i64 %13, i64* getelementptr inbounds ([56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 55)
br label %14
14: ; preds = %7, %14
%15 = phi i64 [ %13, %7 ], [ %17, %14 ]
%16 = phi i32 [ 1, %7 ], [ %27, %14 ]
%17 = phi i64 [ 1, %7 ], [ %26, %14 ]
%18 = trunc i32 %16 to i16
%19 = mul i16 %18, 21
%20 = urem i16 %19, 55
%21 = zext i16 %20 to i64
%22 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %21
store i64 %17, i64* %22
%23 = sub nsw i64 %15, %17
%24 = icmp slt i64 %23, 0
%25 = add nsw i64 %23, 1000000000
%26 = select i1 %24, i64 %25, i64 %23
%27 = add nuw nsw i32 %16, 1
%28 = icmp eq i32 %27, 55
br i1 %28, label %29, label %14
29: ; preds = %14, %29
%30 = phi i64 [ %44, %29 ], [ 1, %14 ]
%31 = trunc i64 %30 to i8
%32 = add i8 %31, 30
%33 = urem i8 %32, 55
%34 = add nuw nsw i8 %33, 1
%35 = zext i8 %34 to i64
%36 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %35
%37 = load i64, i64* %36
%38 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %30
%39 = load i64, i64* %38
%40 = sub nsw i64 %39, %37
%41 = icmp slt i64 %40, 0
%42 = add nsw i64 %40, 1000000000
%43 = select i1 %41, i64 %42, i64 %40
store i64 %43, i64* %38
%44 = add nuw nsw i64 %30, 1
%45 = icmp eq i64 %44, 56
br i1 %45, label %46, label %29
46: ; preds = %29, %46
%47 = phi i64 [ %61, %46 ], [ 1, %29 ]
%48 = trunc i64 %47 to i8
%49 = add i8 %48, 30
%50 = urem i8 %49, 55
%51 = add nuw nsw i8 %50, 1
%52 = zext i8 %51 to i64
%53 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %52
%54 = load i64, i64* %53
%55 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %47
%56 = load i64, i64* %55
%57 = sub nsw i64 %56, %54
%58 = icmp slt i64 %57, 0
%59 = add nsw i64 %57, 1000000000
%60 = select i1 %58, i64 %59, i64 %57
store i64 %60, i64* %55
%61 = add nuw nsw i64 %47, 1
%62 = icmp eq i64 %61, 56
br i1 %62, label %63, label %46
63: ; preds = %46, %63
%64 = phi i64 [ %78, %63 ], [ 1, %46 ]
%65 = trunc i64 %64 to i8
%66 = add i8 %65, 30
%67 = urem i8 %66, 55
%68 = add nuw nsw i8 %67, 1
%69 = zext i8 %68 to i64
%70 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %69
%71 = load i64, i64* %70
%72 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %64
%73 = load i64, i64* %72
%74 = sub nsw i64 %73, %71
%75 = icmp slt i64 %74, 0
%76 = add nsw i64 %74, 1000000000
%77 = select i1 %75, i64 %76, i64 %74
store i64 %77, i64* %72
%78 = add nuw nsw i64 %64, 1
%79 = icmp eq i64 %78, 56
br i1 %79, label %80, label %63
80: ; preds = %63, %80
%81 = phi i64 [ %95, %80 ], [ 1, %63 ]
%82 = trunc i64 %81 to i8
%83 = add i8 %82, 30
%84 = urem i8 %83, 55
%85 = add nuw nsw i8 %84, 1
%86 = zext i8 %85 to i64
%87 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %86
%88 = load i64, i64* %87
%89 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %81
%90 = load i64, i64* %89
%91 = sub nsw i64 %90, %88
%92 = icmp slt i64 %91, 0
%93 = add nsw i64 %91, 1000000000
%94 = select i1 %92, i64 %93, i64 %91
store i64 %94, i64* %89
%95 = add nuw nsw i64 %81, 1
%96 = icmp eq i64 %95, 56
br i1 %96, label %97, label %80
97: ; preds = %80
store i64 1, i64* %0
br label %103
98: ; preds = %1
%99 = load i32, i32* @ran3.inext
%100 = add i32 %99, 1
%101 = icmp eq i32 %100, 56
%102 = select i1 %101, i32 1, i32 %100
br label %103
103: ; preds = %98, %97
%104 = phi i32 [ 32, %97 ], [ %102, %98 ]
store i32 %104, i32* @ran3.inext
%105 = load i32, i32* @ran3.inextp
%106 = add nsw i32 %105, 1
%107 = icmp eq i32 %106, 56
%108 = select i1 %107, i32 1, i32 %106
store i32 %108, i32* @ran3.inextp
%109 = sext i32 %104 to i64
%110 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %109
%111 = load i64, i64* %110
%112 = sext i32 %108 to i64
%113 = getelementptr inbounds [56 x i64], [56 x i64]* @ran3.ma, i64 0, i64 %112
%114 = load i64, i64* %113
%115 = sub nsw i64 %111, %114
%116 = icmp slt i64 %115, 0
%117 = add nsw i64 %115, 1000000000
%118 = select i1 %116, i64 %117, i64 %115
store i64 %118, i64* %110
%119 = sitofp i64 %118 to double
%120 = fmul double %119, 1.000000e-09
ret double %120
}