#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*/ abort();
double foo(double, double, double);
main() {
  double f1, f2, f3, f4, f5, f6, f7, f8, f9, f10;
  double f11, f12, f13, f14, f15, f16, f17, f18, f19, f20;
  double f21, f22, f23, f24, f25, f26, f27, f28, f29, f30;
  double x;
  int i, j, k;
  f1 = 0.1;
  f2 = 0.2;
  f3 = 0.3;
  f4 = 0.4;
  f5 = 0.5;
  f6 = 0.6;
  f7 = 0.7;
  f8 = 0.8;
  f9 = 0.9;
  f10 = 1.0;
  f11 = 1.1;
  f12 = 1.2;
  f13 = 1.3;
  f14 = 1.4;
  f15 = 1.5;
  f16 = 1.6;
  f17 = 1.7;
  f18 = 1.8;
  f19 = 1.9;
  f20 = 2.0;
  f21 = 2.1;
  f22 = 2.2;
  f23 = 2.3;
  f24 = 2.4;
  f25 = 2.5;
  f26 = 2.6;
  f27 = 2.7;
  f28 = 2.8;
  f29 = 2.9;
  f30 = 3.0;
  i = (int)foo(1.0, 1.0, 1.0);
  while (i > 0) {
    f1 = f2 / f3 * f30;
    f2 = f3 / f4 * f30;
    f3 = f4 / f5 * f30;
    f4 = f5 / f6 * f30;
    f5 = f6 / f7 * f30;
    f6 = f7 / f8 * f30;
    f7 = f8 / f9 * f30;
    f8 = f9 / f10 * f30;
    f9 = f10 / f11 * f30;
    f10 = f11 / f12 * f30;
    f11 = f12 / f13 * f30;
    f12 = f13 / f14 * f25;
    f13 = f14 / f15 * f30;
    f14 = f15 / f16 * f30;
    f15 = f16 / f17 * f30;
    f16 = f17 / f18 * f30;
    f17 = f18 / f19 * f30;
    f18 = f19 / f20 * f30;
    f19 = f20 / f21 * f30;
    f20 = f21 / f22 * f20;
    f21 = f22 / f23 * f30;
    f22 = f23 / f24 * f30;
    f23 = f24 / f25 * f30;
    f24 = f25 / f26 * f30;
    f25 = f26 / f27 * f30;
    f26 = f27 / f28 * f30;
    f27 = f28 / f29 * f30;
    f28 = f29 / f30 * f30;
    f29 = f30 / f1 * f30;
    f30 = f1 / f2 * f30;
    x = foo(f1, f2, f3);
    i = i - 1;
  }
  x = (f1 + f2 + f3 + f4 + f5 + f6 + f7 + f8 + f9 + f10) *
      (f11 + f12 + f13 + f14 + f15 + f16 + f17 + f18 + f19 + f20) *
      (f21 + f22 + f23 + f24 + f25 + f26 + f27 + f28 + f29 + f30);
  if (x < 19503.0 || x > 19504.0)
    abort();
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x110,%rsp
movl   $0x0,-0x4(%rbp)
movsd  0xfae(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xf99(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  0xf84(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xf6f(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xf5a(%rip),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xf45(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xf30(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xf1b(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  0xf06(%rip),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  0xe51(%rip),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xee4(%rip),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  0xecf(%rip),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xeba(%rip),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0xea5(%rip),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  0xe90(%rip),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  0xe7b(%rip),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  0xe63(%rip),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  0xe4b(%rip),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  0xe33(%rip),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  0xe1b(%rip),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  0xe03(%rip),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  0xdeb(%rip),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  0xdd3(%rip),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  0xdbb(%rip),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  0xda3(%rip),%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  0xd8b(%rip),%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  0xd73(%rip),%xmm0
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  0xd5b(%rip),%xmm0
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  0xd43(%rip),%xmm0
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  0xd2b(%rip),%xmm0
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  0xd13(%rip),%xmm2
movaps %xmm2,%xmm0
movaps %xmm2,%xmm1
call   1040 <foo@plt>
cvttsd2si %xmm0,%eax
mov    %eax,-0x104(%rbp)
cmpl   $0x0,-0x104(%rbp)
jle    1678 <main+0x558>
movsd  -0x18(%rbp),%xmm0
divsd  -0x20(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x10(%rbp)
movsd  -0x20(%rbp),%xmm0
divsd  -0x28(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x18(%rbp)
movsd  -0x28(%rbp),%xmm0
divsd  -0x30(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x20(%rbp)
movsd  -0x30(%rbp),%xmm0
divsd  -0x38(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x28(%rbp)
movsd  -0x38(%rbp),%xmm0
divsd  -0x40(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x30(%rbp)
movsd  -0x40(%rbp),%xmm0
divsd  -0x48(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x38(%rbp)
movsd  -0x48(%rbp),%xmm0
divsd  -0x50(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x40(%rbp)
movsd  -0x50(%rbp),%xmm0
divsd  -0x58(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x48(%rbp)
movsd  -0x58(%rbp),%xmm0
divsd  -0x60(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x50(%rbp)
movsd  -0x60(%rbp),%xmm0
divsd  -0x68(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x58(%rbp)
movsd  -0x68(%rbp),%xmm0
divsd  -0x70(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x60(%rbp)
movsd  -0x70(%rbp),%xmm0
divsd  -0x78(%rbp),%xmm0
mulsd  -0xd0(%rbp),%xmm0
ff
movsd  %xmm0,-0x68(%rbp)
movsd  -0x78(%rbp),%xmm0
divsd  -0x80(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x70(%rbp)
movsd  -0x80(%rbp),%xmm0
divsd  -0x88(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x78(%rbp)
movsd  -0x88(%rbp),%xmm0
ff
divsd  -0x90(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x80(%rbp)
movsd  -0x90(%rbp),%xmm0
ff
divsd  -0x98(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x98(%rbp),%xmm0
ff
divsd  -0xa0(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0xa0(%rbp),%xmm0
ff
divsd  -0xa8(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
divsd  -0xb0(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0xb0(%rbp),%xmm0
ff
divsd  -0xb8(%rbp),%xmm0
mulsd  -0xa8(%rbp),%xmm0
ff
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0xb8(%rbp),%xmm0
ff
divsd  -0xc0(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0xc0(%rbp),%xmm0
ff
divsd  -0xc8(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0xc8(%rbp),%xmm0
ff
divsd  -0xd0(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0xd0(%rbp),%xmm0
ff
divsd  -0xd8(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0xd8(%rbp),%xmm0
ff
divsd  -0xe0(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0xe0(%rbp),%xmm0
ff
divsd  -0xe8(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0xe8(%rbp),%xmm0
ff
divsd  -0xf0(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0xf0(%rbp),%xmm0
ff
divsd  -0xf8(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  -0xf8(%rbp),%xmm0
ff
divsd  -0x10(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
divsd  -0x18(%rbp),%xmm0
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm2
call   1040 <foo@plt>
movsd  %xmm0,-0x100(%rbp)
ff
mov    -0x104(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x104(%rbp)
jmp    1302 <main+0x1e2>
movsd  -0x10(%rbp),%xmm0
addsd  -0x18(%rbp),%xmm0
addsd  -0x20(%rbp),%xmm0
addsd  -0x28(%rbp),%xmm0
addsd  -0x30(%rbp),%xmm0
addsd  -0x38(%rbp),%xmm0
addsd  -0x40(%rbp),%xmm0
addsd  -0x48(%rbp),%xmm0
addsd  -0x50(%rbp),%xmm0
addsd  -0x58(%rbp),%xmm0
movsd  -0x60(%rbp),%xmm1
addsd  -0x68(%rbp),%xmm1
addsd  -0x70(%rbp),%xmm1
addsd  -0x78(%rbp),%xmm1
addsd  -0x80(%rbp),%xmm1
addsd  -0x88(%rbp),%xmm1
ff
addsd  -0x90(%rbp),%xmm1
ff
addsd  -0x98(%rbp),%xmm1
ff
addsd  -0xa0(%rbp),%xmm1
ff
addsd  -0xa8(%rbp),%xmm1
ff
mulsd  %xmm1,%xmm0
movsd  -0xb0(%rbp),%xmm1
ff
addsd  -0xb8(%rbp),%xmm1
ff
addsd  -0xc0(%rbp),%xmm1
ff
addsd  -0xc8(%rbp),%xmm1
ff
addsd  -0xd0(%rbp),%xmm1
ff
addsd  -0xd8(%rbp),%xmm1
ff
addsd  -0xe0(%rbp),%xmm1
ff
addsd  -0xe8(%rbp),%xmm1
ff
addsd  -0xf0(%rbp),%xmm1
ff
addsd  -0xf8(%rbp),%xmm1
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x100(%rbp)
ff
movsd  0x99d(%rip),%xmm0
ucomisd -0x100(%rbp),%xmm0
ff
ja     177b <main+0x65b>
movsd  -0x100(%rbp),%xmm0
ff
movsd  0x987(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1782 <main+0x662>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %eax,%eax
add    $0x110,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x110,%rsp
movsd  0xed0(%rip),%xmm0
movapd %xmm0,%xmm1
movapd %xmm0,%xmm2
call   1040 <foo@plt>
cvttsd2si %xmm0,%ebx
test   %ebx,%ebx
jle    1504 <main+0x3e4>
add    $0x1,%ebx
movapd 0xedc(%rip),%xmm3
movapd 0xee4(%rip),%xmm4
movapd 0xeec(%rip),%xmm7
movapd 0xef4(%rip),%xmm6
movaps 0xefd(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movaps 0xf01(%rip),%xmm0
movaps %xmm0,(%rsp)
movapd 0xf04(%rip),%xmm11
movaps 0xf0d(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movaps 0xf11(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
movapd 0xf13(%rip),%xmm12
movapd 0xf1a(%rip),%xmm13
movapd 0xf21(%rip),%xmm14
movapd 0xf28(%rip),%xmm8
movsd  0xe38(%rip),%xmm5
movsd  0xe38(%rip),%xmm0
movsd  0xe37(%rip),%xmm15
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movapd (%rsp),%xmm9
movapd %xmm9,%xmm2
unpckhpd %xmm9,%xmm2
movapd %xmm9,%xmm1
divsd  %xmm2,%xmm1
unpckhpd %xmm3,%xmm9
movapd %xmm4,%xmm2
shufpd $0x1,%xmm3,%xmm2
shufpd $0x1,%xmm3,%xmm3
divpd  %xmm3,%xmm9
movapd %xmm0,%xmm3
unpcklpd %xmm5,%xmm3
unpcklpd %xmm6,%xmm5
divpd  %xmm3,%xmm5
movapd %xmm7,%xmm10
shufpd $0x1,%xmm4,%xmm10
divpd  %xmm4,%xmm2
movapd %xmm2,(%rsp)
movapd %xmm6,%xmm4
shufpd $0x1,%xmm7,%xmm4
divpd  %xmm7,%xmm10
movapd %xmm11,%xmm3
mulsd  %xmm11,%xmm1
movapd %xmm1,0x40(%rsp)
divpd  %xmm6,%xmm4
movapd %xmm8,%xmm6
unpckhpd %xmm8,%xmm6
divsd  %xmm6,%xmm0
movapd %xmm1,%xmm6
unpcklpd %xmm15,%xmm6
movapd %xmm3,%xmm1
unpcklpd %xmm3,%xmm1
mulpd  %xmm1,%xmm9
movapd %xmm9,%xmm7
unpcklpd %xmm8,%xmm7
mulsd  %xmm13,%xmm0
movapd %xmm0,0x100(%rsp)
divpd  %xmm14,%xmm8
divpd  %xmm13,%xmm14
divpd  %xmm12,%xmm13
movapd 0x20(%rsp),%xmm2
divpd  %xmm2,%xmm12
movapd 0x10(%rsp),%xmm11
divpd  %xmm11,%xmm2
movapd 0x30(%rsp),%xmm15
divpd  %xmm15,%xmm11
movapd %xmm15,%xmm0
divpd  %xmm3,%xmm0
movapd %xmm0,0x10(%rsp)
movsd  %xmm3,%xmm15
divpd  %xmm6,%xmm3
mulpd  %xmm15,%xmm3
movapd %xmm3,0x30(%rsp)
divpd  %xmm7,%xmm6
mulpd  %xmm1,%xmm5
movapd %xmm5,0xf0(%rsp)
mulpd  %xmm1,%xmm4
movapd %xmm4,0xa0(%rsp)
mulpd  %xmm1,%xmm10
movapd %xmm10,0x90(%rsp)
movapd (%rsp),%xmm0
mulpd  %xmm1,%xmm0
movapd %xmm0,0x70(%rsp)
mulpd  %xmm1,%xmm8
movapd %xmm8,0x80(%rsp)
mulpd  %xmm1,%xmm14
movapd %xmm14,0xb0(%rsp)
mulpd  %xmm1,%xmm13
movapd %xmm13,0xe0(%rsp)
mulpd  %xmm1,%xmm12
movapd %xmm12,0xd0(%rsp)
mulpd  %xmm1,%xmm2
movapd %xmm2,0xc0(%rsp)
mulpd  %xmm1,%xmm11
movapd %xmm11,0x20(%rsp)
movapd 0x10(%rsp),%xmm0
mulpd  %xmm1,%xmm0
movapd %xmm0,0x10(%rsp)
mulpd  %xmm1,%xmm6
movapd %xmm6,0x60(%rsp)
movapd %xmm9,%xmm2
unpckhpd %xmm9,%xmm2
movaps 0x40(%rsp),%xmm0
movapd %xmm9,(%rsp)
movapd %xmm9,%xmm1
movapd %xmm2,0x50(%rsp)
call   1040 <foo@plt>
movapd 0x80(%rsp),%xmm2
movapd 0x70(%rsp),%xmm3
movapd 0x90(%rsp),%xmm4
movapd 0xa0(%rsp),%xmm7
movapd 0xb0(%rsp),%xmm8
movapd 0xf0(%rsp),%xmm6
movapd 0x100(%rsp),%xmm5
movapd 0xe0(%rsp),%xmm14
movapd 0xd0(%rsp),%xmm13
movapd 0xc0(%rsp),%xmm12
movapd 0x60(%rsp),%xmm11
movapd %xmm2,%xmm0
unpckhpd %xmm2,%xmm0
add    $0xffffffff,%ebx
movapd %xmm2,%xmm15
cmp    $0x1,%ebx
ja     11f0 <main+0xd0>
movapd (%rsp),%xmm0
addsd  0x40(%rsp),%xmm0
movapd 0x50(%rsp),%xmm9
addsd  %xmm0,%xmm9
movapd %xmm3,%xmm0
unpckhpd %xmm3,%xmm0
addsd  %xmm9,%xmm0
addsd  %xmm3,%xmm0
movapd %xmm4,%xmm3
unpckhpd %xmm4,%xmm3
addsd  %xmm0,%xmm3
addsd  %xmm4,%xmm3
movapd %xmm7,%xmm0
unpckhpd %xmm7,%xmm0
addsd  %xmm3,%xmm0
addsd  %xmm7,%xmm0
movapd %xmm6,%xmm4
unpckhpd %xmm6,%xmm4
addsd  %xmm0,%xmm4
addsd  %xmm6,%xmm5
movapd %xmm11,%xmm0
shufpd $0x1,%xmm5,%xmm0
addpd  %xmm2,%xmm0
addpd  %xmm8,%xmm0
addpd  %xmm14,%xmm0
addpd  %xmm13,%xmm0
addpd  %xmm12,%xmm0
addpd  0x20(%rsp),%xmm0
addpd  0x10(%rsp),%xmm0
addpd  0x30(%rsp),%xmm0
addsd  %xmm0,%xmm11
unpckhpd %xmm0,%xmm0
mulsd  %xmm4,%xmm0
mulsd  %xmm11,%xmm0
movsd  0xb37(%rip),%xmm1
ucomisd %xmm0,%xmm1
ja     1504 <main+0x3e4>
ucomisd 0xb31(%rip),%xmm0
ja     1504 <main+0x3e4>
xor    %eax,%eax
add    $0x110,%rsp
pop    %rbx
ret
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
define i32 @main() {
%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
%27 = alloca double
%28 = alloca double
%29 = alloca double
%30 = alloca double
%31 = alloca double
%32 = alloca double
%33 = alloca i32
%34 = alloca i32
%35 = alloca i32
store i32 0, i32* %1
store double 1.000000e-01, double* %2
store double 2.000000e-01, double* %3
store double 3.000000e-01, double* %4
store double 4.000000e-01, double* %5
store double 5.000000e-01, double* %6
store double 6.000000e-01, double* %7
store double 0x3FE6666666666666, double* %8
store double 8.000000e-01, double* %9
store double 9.000000e-01, double* %10
store double 1.000000e+00, double* %11
store double 1.100000e+00, double* %12
store double 1.200000e+00, double* %13
store double 1.300000e+00, double* %14
store double 1.400000e+00, double* %15
store double 1.500000e+00, double* %16
store double 1.600000e+00, double* %17
store double 1.700000e+00, double* %18
store double 1.800000e+00, double* %19
store double 1.900000e+00, double* %20
store double 2.000000e+00, double* %21
store double 2.100000e+00, double* %22
store double 2.200000e+00, double* %23
store double 2.300000e+00, double* %24
store double 2.400000e+00, double* %25
store double 2.500000e+00, double* %26
store double 2.600000e+00, double* %27
store double 2.700000e+00, double* %28
store double 2.800000e+00, double* %29
store double 2.900000e+00, double* %30
store double 3.000000e+00, double* %31
%36 = call double @foo(double 1.000000e+00, double 1.000000e+00, double 1.000000e+00)
%37 = fptosi double %36 to i32
store i32 %37, i32* %33
br label %38
38: ; preds = %41, %0
%39 = load i32, i32* %33
%40 = icmp sgt i32 %39, 0
br i1 %40, label %41, label %198
41: ; preds = %38
%42 = load double, double* %3
%43 = load double, double* %4
%44 = fdiv double %42, %43
%45 = load double, double* %31
%46 = fmul double %44, %45
store double %46, double* %2
%47 = load double, double* %4
%48 = load double, double* %5
%49 = fdiv double %47, %48
%50 = load double, double* %31
%51 = fmul double %49, %50
store double %51, double* %3
%52 = load double, double* %5
%53 = load double, double* %6
%54 = fdiv double %52, %53
%55 = load double, double* %31
%56 = fmul double %54, %55
store double %56, double* %4
%57 = load double, double* %6
%58 = load double, double* %7
%59 = fdiv double %57, %58
%60 = load double, double* %31
%61 = fmul double %59, %60
store double %61, double* %5
%62 = load double, double* %7
%63 = load double, double* %8
%64 = fdiv double %62, %63
%65 = load double, double* %31
%66 = fmul double %64, %65
store double %66, double* %6
%67 = load double, double* %8
%68 = load double, double* %9
%69 = fdiv double %67, %68
%70 = load double, double* %31
%71 = fmul double %69, %70
store double %71, double* %7
%72 = load double, double* %9
%73 = load double, double* %10
%74 = fdiv double %72, %73
%75 = load double, double* %31
%76 = fmul double %74, %75
store double %76, double* %8
%77 = load double, double* %10
%78 = load double, double* %11
%79 = fdiv double %77, %78
%80 = load double, double* %31
%81 = fmul double %79, %80
store double %81, double* %9
%82 = load double, double* %11
%83 = load double, double* %12
%84 = fdiv double %82, %83
%85 = load double, double* %31
%86 = fmul double %84, %85
store double %86, double* %10
%87 = load double, double* %12
%88 = load double, double* %13
%89 = fdiv double %87, %88
%90 = load double, double* %31
%91 = fmul double %89, %90
store double %91, double* %11
%92 = load double, double* %13
%93 = load double, double* %14
%94 = fdiv double %92, %93
%95 = load double, double* %31
%96 = fmul double %94, %95
store double %96, double* %12
%97 = load double, double* %14
%98 = load double, double* %15
%99 = fdiv double %97, %98
%100 = load double, double* %26
%101 = fmul double %99, %100
store double %101, double* %13
%102 = load double, double* %15
%103 = load double, double* %16
%104 = fdiv double %102, %103
%105 = load double, double* %31
%106 = fmul double %104, %105
store double %106, double* %14
%107 = load double, double* %16
%108 = load double, double* %17
%109 = fdiv double %107, %108
%110 = load double, double* %31
%111 = fmul double %109, %110
store double %111, double* %15
%112 = load double, double* %17
%113 = load double, double* %18
%114 = fdiv double %112, %113
%115 = load double, double* %31
%116 = fmul double %114, %115
store double %116, double* %16
%117 = load double, double* %18
%118 = load double, double* %19
%119 = fdiv double %117, %118
%120 = load double, double* %31
%121 = fmul double %119, %120
store double %121, double* %17
%122 = load double, double* %19
%123 = load double, double* %20
%124 = fdiv double %122, %123
%125 = load double, double* %31
%126 = fmul double %124, %125
store double %126, double* %18
%127 = load double, double* %20
%128 = load double, double* %21
%129 = fdiv double %127, %128
%130 = load double, double* %31
%131 = fmul double %129, %130
store double %131, double* %19
%132 = load double, double* %21
%133 = load double, double* %22
%134 = fdiv double %132, %133
%135 = load double, double* %31
%136 = fmul double %134, %135
store double %136, double* %20
%137 = load double, double* %22
%138 = load double, double* %23
%139 = fdiv double %137, %138
%140 = load double, double* %21
%141 = fmul double %139, %140
store double %141, double* %21
%142 = load double, double* %23
%143 = load double, double* %24
%144 = fdiv double %142, %143
%145 = load double, double* %31
%146 = fmul double %144, %145
store double %146, double* %22
%147 = load double, double* %24
%148 = load double, double* %25
%149 = fdiv double %147, %148
%150 = load double, double* %31
%151 = fmul double %149, %150
store double %151, double* %23
%152 = load double, double* %25
%153 = load double, double* %26
%154 = fdiv double %152, %153
%155 = load double, double* %31
%156 = fmul double %154, %155
store double %156, double* %24
%157 = load double, double* %26
%158 = load double, double* %27
%159 = fdiv double %157, %158
%160 = load double, double* %31
%161 = fmul double %159, %160
store double %161, double* %25
%162 = load double, double* %27
%163 = load double, double* %28
%164 = fdiv double %162, %163
%165 = load double, double* %31
%166 = fmul double %164, %165
store double %166, double* %26
%167 = load double, double* %28
%168 = load double, double* %29
%169 = fdiv double %167, %168
%170 = load double, double* %31
%171 = fmul double %169, %170
store double %171, double* %27
%172 = load double, double* %29
%173 = load double, double* %30
%174 = fdiv double %172, %173
%175 = load double, double* %31
%176 = fmul double %174, %175
store double %176, double* %28
%177 = load double, double* %30
%178 = load double, double* %31
%179 = fdiv double %177, %178
%180 = load double, double* %31
%181 = fmul double %179, %180
store double %181, double* %29
%182 = load double, double* %31
%183 = load double, double* %2
%184 = fdiv double %182, %183
%185 = load double, double* %31
%186 = fmul double %184, %185
store double %186, double* %30
%187 = load double, double* %2
%188 = load double, double* %3
%189 = fdiv double %187, %188
%190 = load double, double* %31
%191 = fmul double %189, %190
store double %191, double* %31
%192 = load double, double* %2
%193 = load double, double* %3
%194 = load double, double* %4
%195 = call double @foo(double %192, double %193, double %194)
store double %195, double* %32
%196 = load i32, i32* %33
%197 = sub nsw i32 %196, 1
store i32 %197, i32* %33
br label %38
198: ; preds = %38
%199 = load double, double* %2
%200 = load double, double* %3
%201 = fadd double %199, %200
%202 = load double, double* %4
%203 = fadd double %201, %202
%204 = load double, double* %5
%205 = fadd double %203, %204
%206 = load double, double* %6
%207 = fadd double %205, %206
%208 = load double, double* %7
%209 = fadd double %207, %208
%210 = load double, double* %8
%211 = fadd double %209, %210
%212 = load double, double* %9
%213 = fadd double %211, %212
%214 = load double, double* %10
%215 = fadd double %213, %214
%216 = load double, double* %11
%217 = fadd double %215, %216
%218 = load double, double* %12
%219 = load double, double* %13
%220 = fadd double %218, %219
%221 = load double, double* %14
%222 = fadd double %220, %221
%223 = load double, double* %15
%224 = fadd double %222, %223
%225 = load double, double* %16
%226 = fadd double %224, %225
%227 = load double, double* %17
%228 = fadd double %226, %227
%229 = load double, double* %18
%230 = fadd double %228, %229
%231 = load double, double* %19
%232 = fadd double %230, %231
%233 = load double, double* %20
%234 = fadd double %232, %233
%235 = load double, double* %21
%236 = fadd double %234, %235
%237 = fmul double %217, %236
%238 = load double, double* %22
%239 = load double, double* %23
%240 = fadd double %238, %239
%241 = load double, double* %24
%242 = fadd double %240, %241
%243 = load double, double* %25
%244 = fadd double %242, %243
%245 = load double, double* %26
%246 = fadd double %244, %245
%247 = load double, double* %27
%248 = fadd double %246, %247
%249 = load double, double* %28
%250 = fadd double %248, %249
%251 = load double, double* %29
%252 = fadd double %250, %251
%253 = load double, double* %30
%254 = fadd double %252, %253
%255 = load double, double* %31
%256 = fadd double %254, %255
%257 = fmul double %237, %256
store double %257, double* %32
%258 = load double, double* %32
%259 = fcmp olt double %258, 1.950300e+04
br i1 %259, label %263, label %260
260: ; preds = %198
%261 = load double, double* %32
%262 = fcmp ogt double %261, 1.950400e+04
br i1 %262, label %263, label %265
263: ; preds = %260, %198
%264 = call i32 (...) @abort()
unreachable
265: ; preds = %260
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call double @foo(double 1.000000e+00, double 1.000000e+00, double 1.000000e+00)
%2 = fptosi double %1 to i32
%3 = icmp sgt i32 %2, 0
br i1 %3, label %4, label %112
4: ; preds = %0, %4
%5 = phi i32 [ %68, %4 ], [ %2, %0 ]
%6 = phi double [ %70, %4 ], [ 2.200000e+00, %0 ]
%7 = phi double [ %71, %4 ], [ 1.300000e+00, %0 ]
%8 = phi double [ %42, %4 ], [ 1.200000e+00, %0 ]
%9 = phi <2 x double> [ %46, %4 ], [ <double 2.300000e+00, double 1.400000e+00>, %0 ]
%10 = phi <2 x double> [ %48, %4 ], [ <double 2.400000e+00, double 1.500000e+00>, %0 ]
%11 = phi <2 x double> [ %50, %4 ], [ <double 2.500000e+00, double 1.600000e+00>, %0 ]
%12 = phi <2 x double> [ %52, %4 ], [ <double 2.600000e+00, double 1.700000e+00>, %0 ]
%13 = phi <2 x double> [ %56, %4 ], [ <double 2.800000e+00, double 1.900000e+00>, %0 ]
%14 = phi <2 x double> [ %61, %4 ], [ <double 2.900000e+00, double 2.000000e+00>, %0 ]
%15 = phi <2 x double> [ %65, %4 ], [ <double 3.000000e+00, double 2.100000e+00>, %0 ]
%16 = phi <8 x double> [ %38, %4 ], [ <double 1.100000e+00, double 1.000000e+00, double 9.000000e-01, double 8.000000e-01, double 0x3FE6666666666666, double 6.000000e-01, double 5.000000e-01, double 4.000000e-01>, %0 ]
%17 = phi <2 x double> [ %30, %4 ], [ <double 2.000000e-01, double 3.000000e-01>, %0 ]
%18 = phi <2 x double> [ %54, %4 ], [ <double 2.700000e+00, double 1.800000e+00>, %0 ]
%19 = extractelement <2 x double> %17, i64 0
%20 = extractelement <2 x double> %17, i64 1
%21 = fdiv double %19, %20
%22 = extractelement <2 x double> %15, i64 0
%23 = fmul double %22, %21
%24 = extractelement <8 x double> %16, i64 7
%25 = insertelement <2 x double> poison, double %20, i64 0
%26 = insertelement <2 x double> %25, double %24, i64 1
%27 = shufflevector <8 x double> %16, <8 x double> undef, <2 x i32> <i32 7, i32 6>
%28 = fdiv <2 x double> %26, %27
%29 = shufflevector <2 x double> %15, <2 x double> poison, <2 x i32> zeroinitializer
%30 = fmul <2 x double> %28, %29
%31 = insertelement <8 x double> poison, double %8, i64 0
%32 = shufflevector <8 x double> %31, <8 x double> %16, <8 x i32> <i32 0, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14>
%33 = insertelement <8 x double> poison, double %7, i64 0
%34 = insertelement <8 x double> %33, double %8, i64 1
%35 = shufflevector <8 x double> %34, <8 x double> %16, <8 x i32> <i32 0, i32 1, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13>
%36 = fdiv <8 x double> %32, %35
%37 = shufflevector <2 x double> %15, <2 x double> undef, <8 x i32> zeroinitializer
%38 = fmul <8 x double> %36, %37
%39 = extractelement <2 x double> %9, i64 1
%40 = fdiv double %7, %39
%41 = extractelement <2 x double> %11, i64 0
%42 = fmul double %40, %41
%43 = fdiv <2 x double> %9, %10
%44 = fmul <2 x double> %43, %29
%45 = fdiv <2 x double> %10, %11
%46 = fmul <2 x double> %45, %29
%47 = fdiv <2 x double> %11, %12
%48 = fmul <2 x double> %47, %29
%49 = fdiv <2 x double> %12, %18
%50 = fmul <2 x double> %49, %29
%51 = fdiv <2 x double> %18, %13
%52 = fmul <2 x double> %51, %29
%53 = fdiv <2 x double> %13, %14
%54 = fmul <2 x double> %53, %29
%55 = fdiv <2 x double> %14, %15
%56 = fmul <2 x double> %29, %55
%57 = insertelement <2 x double> poison, double %23, i64 0
%58 = insertelement <2 x double> %57, double %6, i64 1
%59 = fdiv <2 x double> %15, %58
%60 = shufflevector <2 x double> %15, <2 x double> %14, <2 x i32> <i32 0, i32 3>
%61 = fmul <2 x double> %60, %59
%62 = extractelement <2 x double> %30, i64 0
%63 = shufflevector <2 x double> %30, <2 x double> %9, <2 x i32> <i32 0, i32 2>
%64 = fdiv <2 x double> %58, %63
%65 = fmul <2 x double> %29, %64
%66 = extractelement <2 x double> %30, i64 1
%67 = tail call double @foo(double %23, double %62, double %66)
%68 = add nsw i32 %5, -1
%69 = icmp ugt i32 %5, 1
%70 = extractelement <2 x double> %44, i64 0
%71 = extractelement <2 x double> %44, i64 1
br i1 %69, label %4, label %72
72: ; preds = %4
%73 = extractelement <2 x double> %30, i64 0
%74 = fadd double %73, %23
%75 = fadd double %66, %74
%76 = extractelement <8 x double> %38, i64 7
%77 = fadd double %76, %75
%78 = extractelement <8 x double> %38, i64 6
%79 = fadd double %78, %77
%80 = extractelement <8 x double> %38, i64 5
%81 = fadd double %80, %79
%82 = extractelement <8 x double> %38, i64 4
%83 = fadd double %82, %81
%84 = extractelement <8 x double> %38, i64 3
%85 = fadd double %84, %83
%86 = extractelement <8 x double> %38, i64 2
%87 = fadd double %86, %85
%88 = extractelement <8 x double> %38, i64 1
%89 = fadd double %88, %87
%90 = extractelement <8 x double> %38, i64 0
%91 = fadd double %90, %42
%92 = extractelement <2 x double> %65, i64 1
%93 = insertelement <2 x double> poison, double %92, i64 0
%94 = insertelement <2 x double> %93, double %91, i64 1
%95 = fadd <2 x double> %94, %44
%96 = fadd <2 x double> %95, %46
%97 = fadd <2 x double> %96, %48
%98 = fadd <2 x double> %97, %50
%99 = fadd <2 x double> %98, %52
%100 = fadd <2 x double> %99, %54
%101 = fadd <2 x double> %100, %56
%102 = fadd <2 x double> %101, %61
%103 = extractelement <2 x double> %102, i64 0
%104 = extractelement <2 x double> %65, i64 0
%105 = fadd double %103, %104
%106 = extractelement <2 x double> %102, i64 1
%107 = fmul double %106, %89
%108 = fmul double %105, %107
%109 = fcmp olt double %108, 1.950300e+04
%110 = fcmp ogt double %108, 1.950400e+04
%111 = or i1 %109, %110
br i1 %111, label %112, label %114
112: ; preds = %0, %72
%113 = tail call i32 (...) @abort()
unreachable
114: ; preds = %72
ret i32 0
}