#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*/ foo(void *, double, double);
void bar(void *a, double b, double c, double d, double e, double f, double g,
         double h, double i, double j, double k[6]) {
  double l, m, n, o, p;
  double q, r, s, t, u;
  double x, y, v, w;
  double z = 0.5 * j;
  double aa;
  l = b - 3 * d;
  m = 4 * f;
  n = f - h;
  q = c + 3 * g - i;
  r = 2 * (e - 2 * g + i);
  s = g - i;
  if (l != 0.0) {
    aa = 0.0;
    o = (-m + aa);
    p = (-m - aa);
    if (o > 0.0) {
      x = ((b - h) * o + 3 * (d + h) * o + 3 * (f - h) * o);
      y = ((c - i) * o + 3 * (e + i) * o + 3 * (g - i) * o);
      foo(a, z, w);
      foo(a, -z, w);
    }
    if (p > 0.0) {
      x = ((b + 3 * f - h) * p + 3 * (d - 2 * f + h) * p + 3 * p);
      y = ((c + 3 * g - i) * p + 3 * (e - 2 * g + i) * p + 3 * p);
      v = x * k[0] + y * k[2];
      w = x * k[1] + y * k[3];
      foo(a, z, w);
      foo(a, -z, w);
    }
  }
  if (q != 0.0) {
    aa = 0.0;
    t = (-r + aa) / (2 * q);
    u = (-r - aa) / (2 * q);
  }
}


x86 assembly (clang, -O0):
<bar>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
movsd  0x10(%rbp),%xmm8
mov    %rdi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  %xmm3,-0x28(%rbp)
movsd  %xmm4,-0x30(%rbp)
movsd  %xmm5,-0x38(%rbp)
movsd  %xmm6,-0x40(%rbp)
movsd  %xmm7,-0x48(%rbp)
mov    %rsi,-0x50(%rbp)
movsd  0xec7(%rip),%xmm0
mulsd  0x10(%rbp),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x10(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
movsd  0xea0(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xe83(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x30(%rbp),%xmm0
subsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x18(%rbp),%xmm1
movsd  -0x38(%rbp),%xmm0
movsd  0xe50(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
subsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x28(%rbp),%xmm1
movsd  -0x38(%rbp),%xmm0
addsd  %xmm0,%xmm0
subsd  %xmm0,%xmm1
addsd  -0x48(%rbp),%xmm1
movsd  0xe17(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x38(%rbp),%xmm0
subsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x58(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1224 <bar+0x114>
jp     1224 <bar+0x114>
jmp    153b <bar+0x42b>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
addsd  -0xd0(%rbp),%xmm0
ff
movsd  %xmm0,-0x70(%rbp)
movsd  -0x60(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
subsd  -0xd0(%rbp),%xmm0
ff
movsd  %xmm0,-0x78(%rbp)
movsd  -0x70(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    1396 <bar+0x286>
movsd  -0x10(%rbp),%xmm1
subsd  -0x40(%rbp),%xmm1
movsd  -0x70(%rbp),%xmm2
movsd  -0x20(%rbp),%xmm3
addsd  -0x40(%rbp),%xmm3
movsd  0xd54(%rip),%xmm0
mulsd  %xmm3,%xmm0
mulsd  -0x70(%rbp),%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x30(%rbp),%xmm2
subsd  -0x40(%rbp),%xmm2
movsd  0xd31(%rip),%xmm0
mulsd  %xmm2,%xmm0
movsd  -0x70(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x18(%rbp),%xmm1
subsd  -0x48(%rbp),%xmm1
movsd  -0x70(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm3
addsd  -0x48(%rbp),%xmm3
movsd  0xcf7(%rip),%xmm0
mulsd  %xmm3,%xmm0
mulsd  -0x70(%rbp),%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x38(%rbp),%xmm2
subsd  -0x48(%rbp),%xmm2
movsd  0xcd4(%rip),%xmm0
mulsd  %xmm2,%xmm0
movsd  -0x70(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
mov    -0x8(%rbp),%rdi
movsd  -0xc8(%rbp),%xmm0
ff
movsd  -0xc0(%rbp),%xmm1
ff
call   1030 <foo@plt>
mov    -0x8(%rbp),%rdi
movsd  -0xc8(%rbp),%xmm0
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  -0xc0(%rbp),%xmm1
ff
call   1030 <foo@plt>
movsd  -0x78(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    1536 <bar+0x426>
movsd  -0x10(%rbp),%xmm0
movsd  -0x30(%rbp),%xmm1
movsd  0xc4e(%rip),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
subsd  -0x40(%rbp),%xmm1
movsd  -0x78(%rbp),%xmm2
movsd  -0x20(%rbp),%xmm3
movsd  -0x30(%rbp),%xmm0
addsd  %xmm0,%xmm0
subsd  %xmm0,%xmm3
addsd  -0x40(%rbp),%xmm3
movsd  0xc1d(%rip),%xmm0
mulsd  %xmm3,%xmm0
mulsd  -0x78(%rbp),%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x78(%rbp),%xmm0
movsd  0xbff(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm1
movsd  0xbdd(%rip),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
subsd  -0x48(%rbp),%xmm1
movsd  -0x78(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm3
movsd  -0x38(%rbp),%xmm0
addsd  %xmm0,%xmm0
subsd  %xmm0,%xmm3
addsd  -0x48(%rbp),%xmm3
movsd  0xbac(%rip),%xmm0
mulsd  %xmm3,%xmm0
mulsd  -0x78(%rbp),%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x78(%rbp),%xmm0
movsd  0xb8e(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
mov    -0x50(%rbp),%rax
movsd  (%rax),%xmm2
movsd  -0xb0(%rbp),%xmm1
ff
mov    -0x50(%rbp),%rax
mulsd  0x10(%rax),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
mov    -0x50(%rbp),%rax
movsd  0x8(%rax),%xmm2
movsd  -0xb0(%rbp),%xmm1
ff
mov    -0x50(%rbp),%rax
mulsd  0x18(%rax),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
mov    -0x8(%rbp),%rdi
movsd  -0xc8(%rbp),%xmm0
ff
movsd  -0xc0(%rbp),%xmm1
call   1030 <foo@plt>
mov    -0x8(%rbp),%rdi
movsd  -0xc8(%rbp),%xmm0
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  -0xc0(%rbp),%xmm1
ff
call   1030 <foo@plt>
jmp    153b <bar+0x42b>
movsd  -0x80(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1558 <bar+0x448>
jp     1558 <bar+0x448>
jmp    15e3 <bar+0x4d3>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
addsd  -0xd0(%rbp),%xmm0
ff
movsd  0xa6e(%rip),%xmm1
mulsd  -0x80(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
subsd  -0xd0(%rbp),%xmm0
ff
movsd  0xa2e(%rip),%xmm1
mulsd  -0x80(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bar>:
push   %r14
push   %rbx
sub    $0x68,%rsp
movapd %xmm0,%xmm8
movsd  0xee4(%rip),%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm8,%xmm0
xorpd  %xmm10,%xmm10
ucomisd %xmm10,%xmm0
jne    113f <bar+0x2f>
jnp    12e3 <bar+0x1d3>
mov    %rsi,%r14
mov    %rdi,%rbx
movsd  0x80(%rsp),%xmm0
mulsd  0xeaa(%rip),%xmm0
movapd %xmm0,0x10(%rsp)
movsd  0xeb3(%rip),%xmm9
mulsd  %xmm4,%xmm9
movapd %xmm9,%xmm0
addsd  %xmm10,%xmm0
ucomisd %xmm10,%xmm0
jbe    1212 <bar+0x102>
mov    %rbx,%rdi
movaps 0x10(%rsp),%xmm0
movsd  %xmm3,0x8(%rsp)
movsd  %xmm2,0x60(%rsp)
movsd  %xmm6,0x58(%rsp)
movsd  %xmm9,0x50(%rsp)
movsd  %xmm4,0x48(%rsp)
movsd  %xmm7,0x40(%rsp)
movsd  %xmm8,0x38(%rsp)
movsd  %xmm5,0x30(%rsp)
movsd  %xmm1,0x28(%rsp)
call   1030 <foo@plt>
movapd 0xe54(%rip),%xmm0
xorpd  0x10(%rsp),%xmm0
mov    %rbx,%rdi
call   1030 <foo@plt>
movsd  0x28(%rsp),%xmm1
movsd  0x30(%rsp),%xmm5
movsd  0x38(%rsp),%xmm8
movsd  0x40(%rsp),%xmm7
movsd  0x48(%rsp),%xmm4
movsd  0x50(%rsp),%xmm9
movsd  0x58(%rsp),%xmm6
movsd  0x60(%rsp),%xmm2
movsd  0x8(%rsp),%xmm3
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm9
jbe    12e3 <bar+0x1d3>
movsd  0xde7(%rip),%xmm0
mulsd  %xmm5,%xmm0
addsd  %xmm5,%xmm5
addsd  %xmm1,%xmm0
subsd  %xmm5,%xmm3
subsd  %xmm7,%xmm0
addsd  %xmm7,%xmm3
movsd  0xdc7(%rip),%xmm1
movapd %xmm4,%xmm5
mulsd  %xmm1,%xmm5
addsd  %xmm8,%xmm5
subsd  %xmm6,%xmm5
addsd  %xmm4,%xmm4
subsd  %xmm4,%xmm2
addsd  %xmm6,%xmm2
mulsd  %xmm1,%xmm2
mulsd  %xmm9,%xmm2
mulsd  %xmm9,%xmm5
addsd  %xmm2,%xmm5
movapd %xmm9,%xmm2
mulsd  %xmm1,%xmm2
mulsd  %xmm1,%xmm3
mulsd  %xmm9,%xmm3
mulsd  %xmm9,%xmm0
addsd  %xmm3,%xmm0
addsd  %xmm2,%xmm0
mulsd  0x18(%r14),%xmm0
movapd %xmm5,%xmm1
addsd  %xmm2,%xmm1
mulsd  0x8(%r14),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
mov    %rbx,%rdi
movaps 0x10(%rsp),%xmm0
call   1030 <foo@plt>
movaps 0x10(%rsp),%xmm0
xorps  0xd52(%rip),%xmm0
mov    %rbx,%rdi
movsd  0x8(%rsp),%xmm1
add    $0x68,%rsp
pop    %rbx
pop    %r14
jmp    1030 <foo@plt>
add    $0x68,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define void @bar(i8* %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9, double* %10) {
%12 = alloca i8*
%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 double
%34 = alloca double
%35 = alloca double
%36 = alloca double
%37 = alloca double
%38 = alloca double
store i8* %0, i8** %12
store double %1, double* %13
store double %2, double* %14
store double %3, double* %15
store double %4, double* %16
store double %5, double* %17
store double %6, double* %18
store double %7, double* %19
store double %8, double* %20
store double %9, double* %21
store double* %10, double** %22
%39 = load double, double* %21
%40 = fmul double 5.000000e-01, %39
store double %40, double* %37
%41 = load double, double* %13
%42 = load double, double* %15
%43 = call double @llvm.fmuladd.f64(double -3.000000e+00, double %42, double %41)
store double %43, double* %23
%44 = load double, double* %17
%45 = fmul double 4.000000e+00, %44
store double %45, double* %24
%46 = load double, double* %17
%47 = load double, double* %19
%48 = fsub double %46, %47
store double %48, double* %25
%49 = load double, double* %14
%50 = load double, double* %18
%51 = call double @llvm.fmuladd.f64(double 3.000000e+00, double %50, double %49)
%52 = load double, double* %20
%53 = fsub double %51, %52
store double %53, double* %28
%54 = load double, double* %16
%55 = load double, double* %18
%56 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %55, double %54)
%57 = load double, double* %20
%58 = fadd double %56, %57
%59 = fmul double 2.000000e+00, %58
store double %59, double* %29
%60 = load double, double* %18
%61 = load double, double* %20
%62 = fsub double %60, %61
store double %62, double* %30
%63 = load double, double* %23
%64 = fcmp une double %63, 0.000000e+00
br i1 %64, label %65, label %188
65: ; preds = %11
store double 0.000000e+00, double* %38
%66 = load double, double* %24
%67 = fneg double %66
%68 = load double, double* %38
%69 = fadd double %67, %68
store double %69, double* %26
%70 = load double, double* %24
%71 = fneg double %70
%72 = load double, double* %38
%73 = fsub double %71, %72
store double %73, double* %27
%74 = load double, double* %26
%75 = fcmp ogt double %74, 0.000000e+00
br i1 %75, label %76, label %120
76: ; preds = %65
%77 = load double, double* %13
%78 = load double, double* %19
%79 = fsub double %77, %78
%80 = load double, double* %26
%81 = load double, double* %15
%82 = load double, double* %19
%83 = fadd double %81, %82
%84 = fmul double 3.000000e+00, %83
%85 = load double, double* %26
%86 = fmul double %84, %85
%87 = call double @llvm.fmuladd.f64(double %79, double %80, double %86)
%88 = load double, double* %17
%89 = load double, double* %19
%90 = fsub double %88, %89
%91 = fmul double 3.000000e+00, %90
%92 = load double, double* %26
%93 = call double @llvm.fmuladd.f64(double %91, double %92, double %87)
store double %93, double* %33
%94 = load double, double* %14
%95 = load double, double* %20
%96 = fsub double %94, %95
%97 = load double, double* %26
%98 = load double, double* %16
%99 = load double, double* %20
%100 = fadd double %98, %99
%101 = fmul double 3.000000e+00, %100
%102 = load double, double* %26
%103 = fmul double %101, %102
%104 = call double @llvm.fmuladd.f64(double %96, double %97, double %103)
%105 = load double, double* %18
%106 = load double, double* %20
%107 = fsub double %105, %106
%108 = fmul double 3.000000e+00, %107
%109 = load double, double* %26
%110 = call double @llvm.fmuladd.f64(double %108, double %109, double %104)
store double %110, double* %34
%111 = load i8*, i8** %12
%112 = load double, double* %37
%113 = load double, double* %36
%114 = call i32 @foo(i8* %111, double %112, double %113)
%115 = load i8*, i8** %12
%116 = load double, double* %37
%117 = fneg double %116
%118 = load double, double* %36
%119 = call i32 @foo(i8* %115, double %117, double %118)
br label %120
120: ; preds = %76, %65
%121 = load double, double* %27
%122 = fcmp ogt double %121, 0.000000e+00
br i1 %122, label %123, label %187
123: ; preds = %120
%124 = load double, double* %13
%125 = load double, double* %17
%126 = call double @llvm.fmuladd.f64(double 3.000000e+00, double %125, double %124)
%127 = load double, double* %19
%128 = fsub double %126, %127
%129 = load double, double* %27
%130 = load double, double* %15
%131 = load double, double* %17
%132 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %131, double %130)
%133 = load double, double* %19
%134 = fadd double %132, %133
%135 = fmul double 3.000000e+00, %134
%136 = load double, double* %27
%137 = fmul double %135, %136
%138 = call double @llvm.fmuladd.f64(double %128, double %129, double %137)
%139 = load double, double* %27
%140 = call double @llvm.fmuladd.f64(double 3.000000e+00, double %139, double %138)
store double %140, double* %33
%141 = load double, double* %14
%142 = load double, double* %18
%143 = call double @llvm.fmuladd.f64(double 3.000000e+00, double %142, double %141)
%144 = load double, double* %20
%145 = fsub double %143, %144
%146 = load double, double* %27
%147 = load double, double* %16
%148 = load double, double* %18
%149 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %148, double %147)
%150 = load double, double* %20
%151 = fadd double %149, %150
%152 = fmul double 3.000000e+00, %151
%153 = load double, double* %27
%154 = fmul double %152, %153
%155 = call double @llvm.fmuladd.f64(double %145, double %146, double %154)
%156 = load double, double* %27
%157 = call double @llvm.fmuladd.f64(double 3.000000e+00, double %156, double %155)
store double %157, double* %34
%158 = load double, double* %33
%159 = load double*, double** %22
%160 = getelementptr inbounds double, double* %159, i64 0
%161 = load double, double* %160
%162 = load double, double* %34
%163 = load double*, double** %22
%164 = getelementptr inbounds double, double* %163, i64 2
%165 = load double, double* %164
%166 = fmul double %162, %165
%167 = call double @llvm.fmuladd.f64(double %158, double %161, double %166)
store double %167, double* %35
%168 = load double, double* %33
%169 = load double*, double** %22
%170 = getelementptr inbounds double, double* %169, i64 1
%171 = load double, double* %170
%172 = load double, double* %34
%173 = load double*, double** %22
%174 = getelementptr inbounds double, double* %173, i64 3
%175 = load double, double* %174
%176 = fmul double %172, %175
%177 = call double @llvm.fmuladd.f64(double %168, double %171, double %176)
store double %177, double* %36
%178 = load i8*, i8** %12
%179 = load double, double* %37
%180 = load double, double* %36
%181 = call i32 @foo(i8* %178, double %179, double %180)
%182 = load i8*, i8** %12
%183 = load double, double* %37
%184 = fneg double %183
%185 = load double, double* %36
%186 = call i32 @foo(i8* %182, double %184, double %185)
br label %187
187: ; preds = %123, %120
br label %188
188: ; preds = %187, %11
%189 = load double, double* %28
%190 = fcmp une double %189, 0.000000e+00
br i1 %190, label %191, label %206
191: ; preds = %188
store double 0.000000e+00, double* %38
%192 = load double, double* %29
%193 = fneg double %192
%194 = load double, double* %38
%195 = fadd double %193, %194
%196 = load double, double* %28
%197 = fmul double 2.000000e+00, %196
%198 = fdiv double %195, %197
store double %198, double* %31
%199 = load double, double* %29
%200 = fneg double %199
%201 = load double, double* %38
%202 = fsub double %200, %201
%203 = load double, double* %28
%204 = fmul double 2.000000e+00, %203
%205 = fdiv double %202, %204
store double %205, double* %32
br label %206
206: ; preds = %191, %188
ret void
}

LLVM IR (-O2):
define void @bar(i8* %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9, double* nocapture %10) {
%12 = fmul double %9, 5.000000e-01
%13 = tail call double @llvm.fmuladd.f64(double %3, double -3.000000e+00, double %1)
%14 = tail call double @llvm.fmuladd.f64(double %6, double 3.000000e+00, double %2)
%15 = fsub double %14, %8
%16 = tail call double @llvm.fmuladd.f64(double %6, double -2.000000e+00, double %4)
%17 = fadd double %16, %8
%18 = fcmp une double %13, 0.000000e+00
br i1 %18, label %19, label %51
19: ; preds = %11
%20 = fmul double %5, -4.000000e+00
%21 = fadd double %20, 0.000000e+00
%22 = fcmp ogt double %21, 0.000000e+00
br i1 %22, label %23, label %27
23: ; preds = %19
%24 = tail call i32 @foo(i8* %0, double %12, double undef)
%25 = fneg double %12
%26 = tail call i32 @foo(i8* %0, double %25, double undef)
br label %27
27: ; preds = %23, %19
%28 = fcmp ogt double %20, 0.000000e+00
br i1 %28, label %29, label %51
29: ; preds = %27
%30 = tail call double @llvm.fmuladd.f64(double %5, double 3.000000e+00, double %1)
%31 = fsub double %30, %7
%32 = tail call double @llvm.fmuladd.f64(double %5, double -2.000000e+00, double %3)
%33 = fadd double %32, %7
%34 = fmul double %33, 3.000000e+00
%35 = fmul double %20, %34
%36 = tail call double @llvm.fmuladd.f64(double %31, double %20, double %35)
%37 = tail call double @llvm.fmuladd.f64(double %20, double 3.000000e+00, double %36)
%38 = fmul double %17, 3.000000e+00
%39 = fmul double %20, %38
%40 = tail call double @llvm.fmuladd.f64(double %15, double %20, double %39)
%41 = tail call double @llvm.fmuladd.f64(double %20, double 3.000000e+00, double %40)
%42 = getelementptr inbounds double, double* %10, i64 1
%43 = load double, double* %42
%44 = getelementptr inbounds double, double* %10, i64 3
%45 = load double, double* %44
%46 = fmul double %41, %45
%47 = tail call double @llvm.fmuladd.f64(double %37, double %43, double %46)
%48 = tail call i32 @foo(i8* %0, double %12, double %47)
%49 = fneg double %12
%50 = tail call i32 @foo(i8* %0, double %49, double %47)
br label %51
51: ; preds = %27, %29, %11
ret void
}