#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 solve_2nd_order(double *, double *, double, double, double);
double sqrt(double);
int paraboloid_intersect(double *l0, double *l1, double x, double y, double z,
                         double kx, double ky, double kz, double a, double b,
                         int sign) {
  double A, B, C, D, k;
  double a2i, b2i;
  int retval = 0;
  if (a != 0 && b != 0) {
    a2i = 1.0 / (a * a);
    b2i = 1.0 / (b * b);
  } else if (a != 0) {
    if (kx == 0 && kz == 0) {
      *l0 = *l1 = 0;
      return 0;
    }
    a2i = 1.0 / (a * a);
    b2i = 0;
  } else if (b != 0) {
    if (ky == 0 && kz == 0) {
      *l0 = *l1 = 0;
      return 0;
    }
    a2i = 0;
    b2i = 1.0 / (b * b);
  }
  k = sqrt(kx * kx + ky * ky + kz * kz);
  A = sign * (kx * kx * a2i + ky * ky * b2i);
  B = sign * 2 * kx * x * a2i + sign * 2 * ky * y * b2i - kz;
  C = sign * x * x * a2i + sign * y * y * b2i - z;
  retval = solve_2nd_order(l0, l1, A, B, C);
  *l0 *= k;
  *l1 *= k;
  return retval;
}


x86 assembly (clang, -O0):
<paraboloid_intersect>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movsd  %xmm0,-0x20(%rbp)
movsd  %xmm1,-0x28(%rbp)
movsd  %xmm2,-0x30(%rbp)
movsd  %xmm3,-0x38(%rbp)
movsd  %xmm4,-0x40(%rbp)
movsd  %xmm5,-0x48(%rbp)
movsd  %xmm6,-0x50(%rbp)
movsd  %xmm7,-0x58(%rbp)
mov    %edx,-0x5c(%rbp)
movl   $0x0,-0x9c(%rbp)
movsd  -0x50(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1185 <paraboloid_intersect+0x65>
jp     1185 <paraboloid_intersect+0x65>
jmp    11e3 <paraboloid_intersect+0xc3>
movsd  -0x58(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    11a2 <paraboloid_intersect+0x82>
jp     11a2 <paraboloid_intersect+0x82>
jmp    11e3 <paraboloid_intersect+0xc3>
movsd  -0x50(%rbp),%xmm1
mulsd  -0x50(%rbp),%xmm1
movsd  0xe4c(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x58(%rbp),%xmm1
mulsd  -0x58(%rbp),%xmm1
movsd  0xe2e(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
jmp    1322 <paraboloid_intersect+0x202>
movsd  -0x50(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1200 <paraboloid_intersect+0xe0>
jp     1200 <paraboloid_intersect+0xe0>
jmp    1280 <paraboloid_intersect+0x160>
movsd  -0x38(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1252 <paraboloid_intersect+0x132>
jp     1252 <paraboloid_intersect+0x132>
movsd  -0x48(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1252 <paraboloid_intersect+0x132>
jp     1252 <paraboloid_intersect+0x132>
mov    -0x18(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    1474 <paraboloid_intersect+0x354>
movsd  -0x50(%rbp),%xmm1
mulsd  -0x50(%rbp),%xmm1
movsd  0xd9c(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
jmp    131d <paraboloid_intersect+0x1fd>
movsd  -0x58(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    129d <paraboloid_intersect+0x17d>
jp     129d <paraboloid_intersect+0x17d>
jmp    1318 <paraboloid_intersect+0x1f8>
movsd  -0x40(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    12ef <paraboloid_intersect+0x1cf>
jp     12ef <paraboloid_intersect+0x1cf>
movsd  -0x48(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    12ef <paraboloid_intersect+0x1cf>
jp     12ef <paraboloid_intersect+0x1cf>
mov    -0x18(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    1474 <paraboloid_intersect+0x354>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x58(%rbp),%xmm1
mulsd  -0x58(%rbp),%xmm1
movsd  0xcf4(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
jmp    131d <paraboloid_intersect+0x1fd>
jmp    1322 <paraboloid_intersect+0x202>
movsd  -0x38(%rbp),%xmm1
movsd  -0x38(%rbp),%xmm2
movsd  -0x40(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x48(%rbp),%xmm0
movsd  -0x48(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1040 <sqrt@plt>
movsd  %xmm0,-0x88(%rbp)
ff
cvtsi2sdl -0x5c(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm1
mulsd  -0x38(%rbp),%xmm1
movsd  -0x90(%rbp),%xmm3
ff
movsd  -0x40(%rbp),%xmm2
mulsd  -0x40(%rbp),%xmm2
mulsd  -0x98(%rbp),%xmm2
ff
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
mov    -0x5c(%rbp),%eax
shl    $0x1,%eax
cvtsi2sd %eax,%xmm0
mulsd  -0x38(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  -0x90(%rbp),%xmm2
ff
mov    -0x5c(%rbp),%eax
shl    $0x1,%eax
cvtsi2sd %eax,%xmm1
mulsd  -0x40(%rbp),%xmm1
mulsd  -0x28(%rbp),%xmm1
mulsd  -0x98(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
subsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
cvtsi2sdl -0x5c(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  -0x90(%rbp),%xmm2
ff
cvtsi2sdl -0x5c(%rbp),%xmm1
mulsd  -0x28(%rbp),%xmm1
mulsd  -0x28(%rbp),%xmm1
mulsd  -0x98(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
subsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
movsd  -0x68(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm1
movsd  -0x78(%rbp),%xmm2
call   1030 <solve_2nd_order@plt>
mov    %eax,-0x9c(%rbp)
movsd  -0x88(%rbp),%xmm0
ff
mov    -0x10(%rbp),%rax
mulsd  (%rax),%xmm0
movsd  %xmm0,(%rax)
movsd  -0x88(%rbp),%xmm0
ff
mov    -0x18(%rbp),%rax
mulsd  (%rax),%xmm0
movsd  %xmm0,(%rax)
mov    -0x9c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<paraboloid_intersect>:
push   %rbp
push   %r14
push   %rbx
sub    $0x60,%rsp
mov    %edx,%ebp
movapd %xmm2,%xmm8
movapd %xmm0,%xmm9
mov    %rsi,%r14
mov    %rdi,%rbx
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm6
jne    1146 <paraboloid_intersect+0x26>
jnp    1169 <paraboloid_intersect+0x49>
ucomisd %xmm0,%xmm7
jne    114e <paraboloid_intersect+0x2e>
jnp    1169 <paraboloid_intersect+0x49>
unpcklpd %xmm6,%xmm7
mulpd  %xmm7,%xmm7
movapd 0xeb1(%rip),%xmm10
divpd  %xmm7,%xmm10
jmp    11ed <paraboloid_intersect+0xcd>
ucomisd %xmm0,%xmm6
jne    1171 <paraboloid_intersect+0x51>
jnp    11a1 <paraboloid_intersect+0x81>
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm3
jne    1185 <paraboloid_intersect+0x65>
jp     1185 <paraboloid_intersect+0x65>
ucomisd %xmm0,%xmm5
jne    1185 <paraboloid_intersect+0x65>
jnp    11c1 <paraboloid_intersect+0xa1>
mulsd  %xmm6,%xmm6
movsd  0xe6f(%rip),%xmm0
divsd  %xmm6,%xmm0
xorpd  %xmm10,%xmm10
unpcklpd %xmm0,%xmm10
jmp    11ed <paraboloid_intersect+0xcd>
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm7
jne    11ad <paraboloid_intersect+0x8d>
jnp    11d6 <paraboloid_intersect+0xb6>
ucomisd %xmm0,%xmm4
jne    11d8 <paraboloid_intersect+0xb8>
jp     11d8 <paraboloid_intersect+0xb8>
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm5
jne    11d8 <paraboloid_intersect+0xb8>
jp     11d8 <paraboloid_intersect+0xb8>
movq   $0x0,(%r14)
movq   $0x0,(%rbx)
xor    %eax,%eax
jmp    1345 <paraboloid_intersect+0x225>
jmp    11ed <paraboloid_intersect+0xcd>
mulsd  %xmm7,%xmm7
movsd  0xe1c(%rip),%xmm0
divsd  %xmm7,%xmm0
movq   %xmm0,%xmm10
movapd %xmm4,%xmm6
mulsd  %xmm4,%xmm6
movapd %xmm3,%xmm7
mulsd  %xmm3,%xmm7
movapd %xmm7,%xmm2
addsd  %xmm6,%xmm2
movapd %xmm5,%xmm0
mulsd  %xmm5,%xmm0
addsd  %xmm2,%xmm0
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jb     1221 <paraboloid_intersect+0x101>
sqrtsd %xmm0,%xmm0
jmp    1298 <paraboloid_intersect+0x178>
movsd  %xmm3,0x48(%rsp)
movsd  %xmm8,0x40(%rsp)
movsd  %xmm1,0x38(%rsp)
movsd  %xmm5,0x30(%rsp)
movsd  %xmm9,0x28(%rsp)
movsd  %xmm4,0x20(%rsp)
movdqa %xmm10,0x50(%rsp)
movsd  %xmm7,0x18(%rsp)
movsd  %xmm6,0x10(%rsp)
call   1040 <sqrt@plt>
movsd  0x10(%rsp),%xmm6
movsd  0x18(%rsp),%xmm7
movdqa 0x50(%rsp),%xmm10
movsd  0x20(%rsp),%xmm4
movsd  0x28(%rsp),%xmm9
movsd  0x30(%rsp),%xmm5
movsd  0x38(%rsp),%xmm1
movsd  0x40(%rsp),%xmm8
movsd  0x48(%rsp),%xmm3
movsd  %xmm0,0x8(%rsp)
xorps  %xmm0,%xmm0
cvtsi2sd %ebp,%xmm0
mulsd  %xmm10,%xmm6
movapd %xmm10,%xmm11
unpckhpd %xmm10,%xmm11
mulsd  %xmm11,%xmm7
addsd  %xmm6,%xmm7
mulsd  %xmm0,%xmm7
add    %ebp,%ebp
xorps  %xmm2,%xmm2
cvtsi2sd %ebp,%xmm2
mulsd  %xmm2,%xmm3
mulsd  %xmm9,%xmm3
mulsd  %xmm2,%xmm4
mulsd  %xmm1,%xmm4
mulsd  %xmm10,%xmm4
mulsd  %xmm11,%xmm3
addsd  %xmm4,%xmm3
subsd  %xmm5,%xmm3
movapd %xmm0,%xmm2
mulsd  %xmm9,%xmm2
mulsd  %xmm9,%xmm2
mulsd  %xmm1,%xmm0
mulsd  %xmm1,%xmm0
mulsd  %xmm10,%xmm0
mulsd  %xmm11,%xmm2
addsd  %xmm0,%xmm2
subsd  %xmm8,%xmm2
mov    %rbx,%rdi
mov    %r14,%rsi
movapd %xmm7,%xmm0
movapd %xmm3,%xmm1
call   1030 <solve_2nd_order@plt>
movsd  (%rbx),%xmm0
movsd  0x8(%rsp),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,(%rbx)
mulsd  (%r14),%xmm1
movsd  %xmm1,(%r14)
add    $0x60,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @paraboloid_intersect(double* %0, double* %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9, i32 %10) {
%12 = fcmp une double %8, 0.000000e+00
%13 = fcmp une double %9, 0.000000e+00
%14 = and i1 %12, %13
br i1 %14, label %15, label %20
15: ; preds = %11
%16 = insertelement <2 x double> poison, double %9, i64 0
%17 = insertelement <2 x double> %16, double %8, i64 1
%18 = fmul <2 x double> %17, %17
%19 = fdiv <2 x double> <double 1.000000e+00, double 1.000000e+00>, %18
br label %40
20: ; preds = %11
br i1 %12, label %21, label %30
21: ; preds = %20
%22 = fcmp oeq double %5, 0.000000e+00
%23 = fcmp oeq double %7, 0.000000e+00
%24 = and i1 %22, %23
br i1 %24, label %25, label %26
25: ; preds = %21
store double 0.000000e+00, double* %1
store double 0.000000e+00, double* %0
br label %74
26: ; preds = %21
%27 = fmul double %8, %8
%28 = fdiv double 1.000000e+00, %27
%29 = insertelement <2 x double> <double 0.000000e+00, double poison>, double %28, i64 1
br label %40
30: ; preds = %20
br i1 %13, label %31, label %40
31: ; preds = %30
%32 = fcmp oeq double %6, 0.000000e+00
%33 = fcmp oeq double %7, 0.000000e+00
%34 = and i1 %32, %33
br i1 %34, label %35, label %36
35: ; preds = %31
store double 0.000000e+00, double* %1
store double 0.000000e+00, double* %0
br label %74
36: ; preds = %31
%37 = fmul double %9, %9
%38 = fdiv double 1.000000e+00, %37
%39 = insertelement <2 x double> <double poison, double 0.000000e+00>, double %38, i64 0
br label %40
40: ; preds = %26, %36, %30, %15
%41 = phi <2 x double> [ %19, %15 ], [ %29, %26 ], [ %39, %36 ], [ undef, %30 ]
%42 = fmul double %6, %6
%43 = tail call double @llvm.fmuladd.f64(double %5, double %5, double %42)
%44 = tail call double @llvm.fmuladd.f64(double %7, double %7, double %43)
%45 = tail call double @sqrt(double %44)
%46 = sitofp i32 %10 to double
%47 = fmul double %5, %5
%48 = extractelement <2 x double> %41, i64 0
%49 = fmul double %42, %48
%50 = extractelement <2 x double> %41, i64 1
%51 = tail call double @llvm.fmuladd.f64(double %47, double %50, double %49)
%52 = fmul double %51, %46
%53 = shl nsw i32 %10, 1
%54 = sitofp i32 %53 to double
%55 = fmul double %54, %5
%56 = fmul double %55, %2
%57 = fmul double %54, %6
%58 = fmul double %57, %3
%59 = fmul double %58, %48
%60 = tail call double @llvm.fmuladd.f64(double %56, double %50, double %59)
%61 = fsub double %60, %7
%62 = fmul double %46, %2
%63 = fmul double %62, %2
%64 = fmul double %46, %3
%65 = fmul double %64, %3
%66 = fmul double %65, %48
%67 = tail call double @llvm.fmuladd.f64(double %63, double %50, double %66)
%68 = fsub double %67, %4
%69 = tail call i32 @solve_2nd_order(double* %0, double* %1, double %52, double %61, double %68)
%70 = load double, double* %0
%71 = fmul double %45, %70
store double %71, double* %0
%72 = load double, double* %1
%73 = fmul double %45, %72
store double %73, double* %1
br label %74
74: ; preds = %40, %35, %25
%75 = phi i32 [ %69, %40 ], [ 0, %25 ], [ 0, %35 ]
ret i32 %75
}