#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 /*<<< orphan*/ makeBody(double, double, double, double, double, double,
                            double, double, double, double, double);
int rand();
void randombody() {
  int index;
  double mx = 0;
  double my = 0;
  double mz = 0;
  for (index = 0; index < 500; index++) {
    if (index < 500 - 1) {
      double m = 1;
      m = rand() % 5000;
      double r = m / 1000;
      double xpos = (rand() % 100) - 50;
      double ypos = (rand() % 100) - 50;
      double zpos = (rand() % 100) - 50;
      double i = (rand() % 20) - 10;
      double j = (rand() % 20) - 10;
      double k = (rand() % 20) - 10;
      mx += m * i;
      my += m * j;
      mz += m * k;
      double rc = (double)(rand() % 256) / 256.0;
      double g = (double)(rand() % 256) / 256.0;
      double b = (double)(rand() % 256) / 256.0;
      makeBody(m, r, xpos, ypos, zpos, i, j, k, rc, g, b);
    } else {
      double m = 1;
      m = rand() % 500 + 500;
      double r = m / 1000;
      double xpos = (rand() % 50) - 25;
      double ypos = (rand() % 50) - 25;
      double zpos = (rand() % 50) - 25;
      double i = mx / m;
      double j = my / m;
      double k = mz / m;
      double rc = (double)(rand() % 256) / 256.0;
      double g = (double)(rand() % 256) / 256.0;
      double b = (double)(rand() % 256) / 256.0;
      makeBody(m, r, xpos, ypos, zpos, i, j, k, rc, g, b);
    }
  }
}


x86 assembly (clang, -O0):
<randombody>:
push   %rbp
mov    %rsp,%rbp
sub    $0xf0,%rsp
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x10(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x18(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x20(%rbp)
movl   $0x0,-0x4(%rbp)
cmpl   $0x1f4,-0x4(%rbp)
jge    1526 <randombody+0x406>
cmpl   $0x1f3,-0x4(%rbp)
jge    1359 <randombody+0x239>
movsd  0xea4(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x1388,%ecx
cltd
idiv   %ecx
cvtsi2sd %edx,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  0xe72(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x64,%ecx
cltd
idiv   %ecx
sub    $0x32,%edx
cvtsi2sd %edx,%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x64,%ecx
cltd
idiv   %ecx
sub    $0x32,%edx
cvtsi2sd %edx,%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x64,%ecx
cltd
idiv   %ecx
sub    $0x32,%edx
cvtsi2sd %edx,%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x14,%ecx
cltd
idiv   %ecx
sub    $0xa,%edx
cvtsi2sd %edx,%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x14,%ecx
cltd
idiv   %ecx
sub    $0xa,%edx
cvtsi2sd %edx,%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x14,%ecx
cltd
idiv   %ecx
sub    $0xa,%edx
cvtsi2sd %edx,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
movsd  -0x10(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm2
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  -0x60(%rbp),%xmm2
movsd  -0x20(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x100,%ecx
cltd
idiv   %ecx
cvtsi2sd %edx,%xmm0
movsd  0xd50(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x100,%ecx
cltd
idiv   %ecx
cvtsi2sd %edx,%xmm0
movsd  0xd2c(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x100,%ecx
cltd
idiv   %ecx
cvtsi2sd %edx,%xmm0
movsd  0xd08(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  -0x30(%rbp),%xmm1
movsd  -0x38(%rbp),%xmm2
movsd  -0x40(%rbp),%xmm3
movsd  -0x48(%rbp),%xmm4
movsd  -0x50(%rbp),%xmm5
movsd  -0x58(%rbp),%xmm6
movsd  -0x60(%rbp),%xmm7
movsd  -0x68(%rbp),%xmm10
movsd  -0x70(%rbp),%xmm9
movsd  -0x78(%rbp),%xmm8
movsd  %xmm10,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm8,0x10(%rsp)
call   1030 <makeBody@plt>
jmp    1513 <randombody+0x3f3>
movsd  0xcaf(%rip),%xmm0
movsd  %xmm0,-0x80(%rbp)
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x1f4,%ecx
cltd
idiv   %ecx
add    $0x1f4,%edx
cvtsi2sd %edx,%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x80(%rbp),%xmm0
movsd  0xc77(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x32,%ecx
cltd
idiv   %ecx
sub    $0x19,%edx
cvtsi2sd %edx,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x32,%ecx
cltd
idiv   %ecx
sub    $0x19,%edx
cvtsi2sd %edx,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x32,%ecx
cltd
idiv   %ecx
sub    $0x19,%edx
cvtsi2sd %edx,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
divsd  -0x80(%rbp),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
divsd  -0x80(%rbp),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
divsd  -0x80(%rbp),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x100,%ecx
cltd
idiv   %ecx
cvtsi2sd %edx,%xmm0
movsd  0xbb8(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x100,%ecx
cltd
idiv   %ecx
cvtsi2sd %edx,%xmm0
movsd  0xb91(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x100,%ecx
cltd
idiv   %ecx
cvtsi2sd %edx,%xmm0
movsd  0xb6a(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0x80(%rbp),%xmm0
movsd  -0x88(%rbp),%xmm1
ff
movsd  -0x90(%rbp),%xmm2
ff
movsd  -0x98(%rbp),%xmm3
ff
movsd  -0xa0(%rbp),%xmm4
ff
movsd  -0xa8(%rbp),%xmm5
ff
movsd  -0xb0(%rbp),%xmm6
ff
movsd  -0xb8(%rbp),%xmm7
ff
movsd  -0xc0(%rbp),%xmm10
ff ff
movsd  -0xc8(%rbp),%xmm9
ff ff
movsd  -0xd0(%rbp),%xmm8
ff ff
movsd  %xmm10,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm8,0x10(%rsp)
call   1030 <makeBody@plt>
jmp    1518 <randombody+0x3f8>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    114a <randombody+0x2a>
add    $0xf0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<randombody>:
push   %rbx
sub    $0x80,%rsp
xorps  %xmm0,%xmm0
movsd  %xmm0,0x28(%rsp)
mov    $0x1f3,%ebx
xorps  %xmm0,%xmm0
movsd  %xmm0,0x20(%rsp)
xorps  %xmm0,%xmm0
movsd  %xmm0,0x18(%rsp)
nopl   0x0(%rax,%rax,1)
xor    %eax,%eax
call   1040 <rand@plt>
cltq
imul   $0x68db8bad,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x2b,%rcx
add    %edx,%ecx
imul   $0x1388,%ecx,%ecx
sub    %ecx,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x30(%rsp)
divsd  0xe76(%rip),%xmm0
movsd  %xmm0,0x60(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
cltq
imul   $0x51eb851f,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x25,%rcx
add    %edx,%ecx
imul   $0x64,%ecx,%ecx
neg    %ecx
add    %ecx,%eax
add    $0xffffffce,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x58(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
cltq
imul   $0x51eb851f,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x25,%rcx
add    %edx,%ecx
imul   $0x64,%ecx,%ecx
neg    %ecx
add    %ecx,%eax
add    $0xffffffce,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x50(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
cltq
imul   $0x51eb851f,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x25,%rcx
add    %edx,%ecx
imul   $0x64,%ecx,%ecx
neg    %ecx
add    %ecx,%eax
add    $0xffffffce,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x48(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
cltq
imul   $0x66666667,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x23,%rcx
add    %edx,%ecx
shl    $0x2,%ecx
lea    (%rcx,%rcx,4),%ecx
neg    %ecx
add    %ecx,%eax
add    $0xfffffff6,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x40(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
cltq
imul   $0x66666667,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x23,%rcx
add    %edx,%ecx
shl    $0x2,%ecx
lea    (%rcx,%rcx,4),%ecx
neg    %ecx
add    %ecx,%eax
add    $0xfffffff6,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x38(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
cltq
imul   $0x66666667,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x23,%rcx
add    %edx,%ecx
shl    $0x2,%ecx
lea    (%rcx,%rcx,4),%ecx
neg    %ecx
add    %ecx,%eax
add    $0xfffffff6,%eax
cvtsi2sd %eax,%xmm3
movsd  %xmm3,0x78(%rsp)
movsd  0x30(%rsp),%xmm2
movapd %xmm2,%xmm0
mulsd  0x40(%rsp),%xmm0
movsd  0x18(%rsp),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x18(%rsp)
movapd %xmm2,%xmm0
mulsd  0x38(%rsp),%xmm0
movsd  0x20(%rsp),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x20(%rsp)
movapd %xmm2,%xmm0
mulsd  %xmm3,%xmm0
movsd  0x28(%rsp),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x28(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
lea    0xff(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xffffff00,%ecx
sub    %ecx,%eax
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
movsd  0xcbf(%rip),%xmm0
mulsd  %xmm0,%xmm1
movsd  %xmm1,0x70(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
lea    0xff(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xffffff00,%ecx
sub    %ecx,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0xc8c(%rip),%xmm0
movsd  %xmm0,0x68(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
lea    0xff(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xffffff00,%ecx
sub    %ecx,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0xc5d(%rip),%xmm0
movsd  0x70(%rsp),%xmm1
movsd  %xmm1,(%rsp)
movsd  0x68(%rsp),%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  %xmm0,0x10(%rsp)
movsd  0x30(%rsp),%xmm0
movsd  0x60(%rsp),%xmm1
movsd  0x58(%rsp),%xmm2
movsd  0x50(%rsp),%xmm3
movsd  0x48(%rsp),%xmm4
movsd  0x40(%rsp),%xmm5
movsd  0x38(%rsp),%xmm6
movsd  0x78(%rsp),%xmm7
call   1030 <makeBody@plt>
add    $0xffffffff,%ebx
jne    1150 <randombody+0x30>
xor    %eax,%eax
call   1040 <rand@plt>
cltq
imul   $0x10624dd3,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x25,%rcx
add    %edx,%ecx
imul   $0x1f4,%ecx,%ecx
neg    %ecx
add    %ecx,%eax
add    $0x1f4,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x30(%rsp)
divsd  0xbb9(%rip),%xmm0
movsd  %xmm0,0x40(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
cltq
imul   $0x51eb851f,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x24,%rcx
add    %edx,%ecx
imul   $0x32,%ecx,%ecx
neg    %ecx
add    %ecx,%eax
add    $0xffffffe7,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x38(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
cltq
imul   $0x51eb851f,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x24,%rcx
add    %edx,%ecx
imul   $0x32,%ecx,%ecx
neg    %ecx
add    %ecx,%eax
add    $0xffffffe7,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x60(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
cltq
imul   $0x51eb851f,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x24,%rcx
add    %edx,%ecx
imul   $0x32,%ecx,%ecx
neg    %ecx
add    %ecx,%eax
add    $0xffffffe7,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x58(%rsp)
movsd  0x30(%rsp),%xmm0
movsd  0x18(%rsp),%xmm1
divsd  %xmm0,%xmm1
movsd  %xmm1,0x18(%rsp)
movsd  0x20(%rsp),%xmm1
divsd  %xmm0,%xmm1
movsd  %xmm1,0x20(%rsp)
movsd  0x28(%rsp),%xmm1
divsd  %xmm0,%xmm1
movsd  %xmm1,0x28(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
lea    0xff(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xffffff00,%ecx
sub    %ecx,%eax
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
movsd  0xac0(%rip),%xmm0
mulsd  %xmm0,%xmm1
movsd  %xmm1,0x50(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
lea    0xff(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xffffff00,%ecx
sub    %ecx,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0xa8d(%rip),%xmm0
movsd  %xmm0,0x48(%rsp)
xor    %eax,%eax
call   1040 <rand@plt>
lea    0xff(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xffffff00,%ecx
sub    %ecx,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0xa5e(%rip),%xmm0
movsd  0x50(%rsp),%xmm1
movsd  %xmm1,(%rsp)
movsd  0x48(%rsp),%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  %xmm0,0x10(%rsp)
movsd  0x30(%rsp),%xmm0
movsd  0x40(%rsp),%xmm1
movsd  0x38(%rsp),%xmm2
movsd  0x60(%rsp),%xmm3
movsd  0x58(%rsp),%xmm4
movsd  0x18(%rsp),%xmm5
movsd  0x20(%rsp),%xmm6
movsd  0x28(%rsp),%xmm7
call   1030 <makeBody@plt>
add    $0x80,%rsp
pop    %rbx
ret

LLVM IR (-O0):
define void @randombody() {
%1 = alloca i32
%2 = alloca double
%3 = alloca double
%4 = alloca double
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
%17 = alloca double
%18 = alloca double
%19 = alloca double
%20 = alloca double
%21 = alloca double
%22 = alloca double
%23 = alloca double
%24 = alloca double
%25 = alloca double
%26 = alloca double
store double 0.000000e+00, double* %2
store double 0.000000e+00, double* %3
store double 0.000000e+00, double* %4
store i32 0, i32* %1
br label %27
27: ; preds = %152, %0
%28 = load i32, i32* %1
%29 = icmp slt i32 %28, 500
br i1 %29, label %30, label %155
30: ; preds = %27
%31 = load i32, i32* %1
%32 = icmp slt i32 %31, 499
br i1 %32, label %33, label %99
33: ; preds = %30
store double 1.000000e+00, double* %5
%34 = call i32 (...) @rand()
%35 = srem i32 %34, 5000
%36 = sitofp i32 %35 to double
store double %36, double* %5
%37 = load double, double* %5
%38 = fdiv double %37, 1.000000e+03
store double %38, double* %6
%39 = call i32 (...) @rand()
%40 = srem i32 %39, 100
%41 = sub nsw i32 %40, 50
%42 = sitofp i32 %41 to double
store double %42, double* %7
%43 = call i32 (...) @rand()
%44 = srem i32 %43, 100
%45 = sub nsw i32 %44, 50
%46 = sitofp i32 %45 to double
store double %46, double* %8
%47 = call i32 (...) @rand()
%48 = srem i32 %47, 100
%49 = sub nsw i32 %48, 50
%50 = sitofp i32 %49 to double
store double %50, double* %9
%51 = call i32 (...) @rand()
%52 = srem i32 %51, 20
%53 = sub nsw i32 %52, 10
%54 = sitofp i32 %53 to double
store double %54, double* %10
%55 = call i32 (...) @rand()
%56 = srem i32 %55, 20
%57 = sub nsw i32 %56, 10
%58 = sitofp i32 %57 to double
store double %58, double* %11
%59 = call i32 (...) @rand()
%60 = srem i32 %59, 20
%61 = sub nsw i32 %60, 10
%62 = sitofp i32 %61 to double
store double %62, double* %12
%63 = load double, double* %5
%64 = load double, double* %10
%65 = load double, double* %2
%66 = call double @llvm.fmuladd.f64(double %63, double %64, double %65)
store double %66, double* %2
%67 = load double, double* %5
%68 = load double, double* %11
%69 = load double, double* %3
%70 = call double @llvm.fmuladd.f64(double %67, double %68, double %69)
store double %70, double* %3
%71 = load double, double* %5
%72 = load double, double* %12
%73 = load double, double* %4
%74 = call double @llvm.fmuladd.f64(double %71, double %72, double %73)
store double %74, double* %4
%75 = call i32 (...) @rand()
%76 = srem i32 %75, 256
%77 = sitofp i32 %76 to double
%78 = fdiv double %77, 2.560000e+02
store double %78, double* %13
%79 = call i32 (...) @rand()
%80 = srem i32 %79, 256
%81 = sitofp i32 %80 to double
%82 = fdiv double %81, 2.560000e+02
store double %82, double* %14
%83 = call i32 (...) @rand()
%84 = srem i32 %83, 256
%85 = sitofp i32 %84 to double
%86 = fdiv double %85, 2.560000e+02
store double %86, double* %15
%87 = load double, double* %5
%88 = load double, double* %6
%89 = load double, double* %7
%90 = load double, double* %8
%91 = load double, double* %9
%92 = load double, double* %10
%93 = load double, double* %11
%94 = load double, double* %12
%95 = load double, double* %13
%96 = load double, double* %14
%97 = load double, double* %15
%98 = call i32 @makeBody(double %87, double %88, double %89, double %90, double %91, double %92, double %93, double %94, double %95, double %96, double %97)
br label %151
99: ; preds = %30
store double 1.000000e+00, double* %16
%100 = call i32 (...) @rand()
%101 = srem i32 %100, 500
%102 = add nsw i32 %101, 500
%103 = sitofp i32 %102 to double
store double %103, double* %16
%104 = load double, double* %16
%105 = fdiv double %104, 1.000000e+03
store double %105, double* %17
%106 = call i32 (...) @rand()
%107 = srem i32 %106, 50
%108 = sub nsw i32 %107, 25
%109 = sitofp i32 %108 to double
store double %109, double* %18
%110 = call i32 (...) @rand()
%111 = srem i32 %110, 50
%112 = sub nsw i32 %111, 25
%113 = sitofp i32 %112 to double
store double %113, double* %19
%114 = call i32 (...) @rand()
%115 = srem i32 %114, 50
%116 = sub nsw i32 %115, 25
%117 = sitofp i32 %116 to double
store double %117, double* %20
%118 = load double, double* %2
%119 = load double, double* %16
%120 = fdiv double %118, %119
store double %120, double* %21
%121 = load double, double* %3
%122 = load double, double* %16
%123 = fdiv double %121, %122
store double %123, double* %22
%124 = load double, double* %4
%125 = load double, double* %16
%126 = fdiv double %124, %125
store double %126, double* %23
%127 = call i32 (...) @rand()
%128 = srem i32 %127, 256
%129 = sitofp i32 %128 to double
%130 = fdiv double %129, 2.560000e+02
store double %130, double* %24
%131 = call i32 (...) @rand()
%132 = srem i32 %131, 256
%133 = sitofp i32 %132 to double
%134 = fdiv double %133, 2.560000e+02
store double %134, double* %25
%135 = call i32 (...) @rand()
%136 = srem i32 %135, 256
%137 = sitofp i32 %136 to double
%138 = fdiv double %137, 2.560000e+02
store double %138, double* %26
%139 = load double, double* %16
%140 = load double, double* %17
%141 = load double, double* %18
%142 = load double, double* %19
%143 = load double, double* %20
%144 = load double, double* %21
%145 = load double, double* %22
%146 = load double, double* %23
%147 = load double, double* %24
%148 = load double, double* %25
%149 = load double, double* %26
%150 = call i32 @makeBody(double %139, double %140, double %141, double %142, double %143, double %144, double %145, double %146, double %147, double %148, double %149)
br label %151
151: ; preds = %99, %33
br label %152
152: ; preds = %151
%153 = load i32, i32* %1
%154 = add nsw i32 %153, 1
store i32 %154, i32* %1
br label %27
155: ; preds = %27
ret void
}

LLVM IR (-O2):
define void @randombody() {
br label %1
1: ; preds = %0, %1
%2 = phi double [ 0.000000e+00, %0 ], [ %36, %1 ]
%3 = phi double [ 0.000000e+00, %0 ], [ %35, %1 ]
%4 = phi double [ 0.000000e+00, %0 ], [ %34, %1 ]
%5 = phi i32 [ 0, %0 ], [ %50, %1 ]
%6 = tail call i32 (...) @rand()
%7 = srem i32 %6, 5000
%8 = sitofp i32 %7 to double
%9 = fdiv double %8, 1.000000e+03
%10 = tail call i32 (...) @rand()
%11 = srem i32 %10, 100
%12 = add nsw i32 %11, -50
%13 = sitofp i32 %12 to double
%14 = tail call i32 (...) @rand()
%15 = srem i32 %14, 100
%16 = add nsw i32 %15, -50
%17 = sitofp i32 %16 to double
%18 = tail call i32 (...) @rand()
%19 = srem i32 %18, 100
%20 = add nsw i32 %19, -50
%21 = sitofp i32 %20 to double
%22 = tail call i32 (...) @rand()
%23 = srem i32 %22, 20
%24 = add nsw i32 %23, -10
%25 = sitofp i32 %24 to double
%26 = tail call i32 (...) @rand()
%27 = srem i32 %26, 20
%28 = add nsw i32 %27, -10
%29 = sitofp i32 %28 to double
%30 = tail call i32 (...) @rand()
%31 = srem i32 %30, 20
%32 = add nsw i32 %31, -10
%33 = sitofp i32 %32 to double
%34 = tail call double @llvm.fmuladd.f64(double %8, double %25, double %4)
%35 = tail call double @llvm.fmuladd.f64(double %8, double %29, double %3)
%36 = tail call double @llvm.fmuladd.f64(double %8, double %33, double %2)
%37 = tail call i32 (...) @rand()
%38 = srem i32 %37, 256
%39 = sitofp i32 %38 to double
%40 = fmul double %39, 3.906250e-03
%41 = tail call i32 (...) @rand()
%42 = srem i32 %41, 256
%43 = sitofp i32 %42 to double
%44 = fmul double %43, 3.906250e-03
%45 = tail call i32 (...) @rand()
%46 = srem i32 %45, 256
%47 = sitofp i32 %46 to double
%48 = fmul double %47, 3.906250e-03
%49 = tail call i32 @makeBody(double %8, double %9, double %13, double %17, double %21, double %25, double %29, double %33, double %40, double %44, double %48)
%50 = add nuw nsw i32 %5, 1
%51 = icmp eq i32 %50, 499
br i1 %51, label %52, label %1
52: ; preds = %1
%53 = tail call i32 (...) @rand()
%54 = srem i32 %53, 500
%55 = add nsw i32 %54, 500
%56 = sitofp i32 %55 to double
%57 = fdiv double %56, 1.000000e+03
%58 = tail call i32 (...) @rand()
%59 = srem i32 %58, 50
%60 = add nsw i32 %59, -25
%61 = sitofp i32 %60 to double
%62 = tail call i32 (...) @rand()
%63 = srem i32 %62, 50
%64 = add nsw i32 %63, -25
%65 = sitofp i32 %64 to double
%66 = tail call i32 (...) @rand()
%67 = srem i32 %66, 50
%68 = add nsw i32 %67, -25
%69 = sitofp i32 %68 to double
%70 = fdiv double %34, %56
%71 = fdiv double %35, %56
%72 = fdiv double %36, %56
%73 = tail call i32 (...) @rand()
%74 = srem i32 %73, 256
%75 = sitofp i32 %74 to double
%76 = fmul double %75, 3.906250e-03
%77 = tail call i32 (...) @rand()
%78 = srem i32 %77, 256
%79 = sitofp i32 %78 to double
%80 = fmul double %79, 3.906250e-03
%81 = tail call i32 (...) @rand()
%82 = srem i32 %81, 256
%83 = sitofp i32 %82 to double
%84 = fmul double %83, 3.906250e-03
%85 = tail call i32 @makeBody(double %56, double %57, double %61, double %65, double %69, double %70, double %71, double %72, double %76, double %80, double %84)
ret void
}