float sphere_intersect(float *restrict y, float *restrict r,
                       const float *restrict s, const float *restrict d,
                       const float *restrict c, float R, int invert) {
  int i;
  float D, n[3], t, v[3];
  for (i = 0; i < 3; ++i)
    v[i] = s[i] - c[i];
  D = ((dot(v, d)) * (dot(v, d))) - (dot(v, v) - ((R) * (R)));
  if (D < 0)
    return -1;
  if (invert)
    t = -dot(v, d) + D;
  else
    t = -dot(v, d) - D;
  if (t <= 0)
    return -1;
  for (i = 0; i < 3; ++i) {
    y[i] = s[i] + t * d[i];
    n[i] = y[i] - c[i];
  }
  float two_dot_nd_div_sq_n_mag = 2.0f * dot(n, d) / dot(n, n);
  for (i = 0; i < 3; ++i)
    r[i] = d[i] - two_dot_nd_div_sq_n_mag * n[i];
  return t;
}


x86 assembly (clang, -O0):
<sphere_intersect>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
movss  %xmm0,-0x34(%rbp)
mov    %r9d,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
cmpl   $0x3,-0x3c(%rbp)
jge    1178 <sphere_intersect+0x68>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm0
movslq -0x3c(%rbp),%rax
movss  %xmm0,-0x5c(%rbp,%rax,4)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    113c <sphere_intersect+0x2c>
lea    -0x5c(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    $0x0,%al
call   1030 <dot@plt>
mov    %eax,-0x68(%rbp)
lea    -0x5c(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    $0x0,%al
call   1030 <dot@plt>
mov    %eax,%ecx
mov    -0x68(%rbp),%eax
imul   %ecx,%eax
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x64(%rbp)
lea    -0x5c(%rbp),%rdi
lea    -0x5c(%rbp),%rsi
mov    $0x0,%al
call   1030 <dot@plt>
movss  -0x64(%rbp),%xmm0
cvtsi2ss %eax,%xmm2
movss  -0x34(%rbp),%xmm1
movss  -0x34(%rbp),%xmm3
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm3,%xmm1
addss  %xmm2,%xmm1
subss  %xmm1,%xmm0
movss  %xmm0,-0x40(%rbp)
xorps  %xmm0,%xmm0
ucomiss -0x40(%rbp),%xmm0
jbe    1209 <sphere_intersect+0xf9>
movss  0xe05(%rip),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    13a0 <sphere_intersect+0x290>
cmpl   $0x0,-0x38(%rbp)
je     123b <sphere_intersect+0x12b>
lea    -0x5c(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    $0x0,%al
call   1030 <dot@plt>
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
cvtsi2ss %eax,%xmm0
addss  -0x40(%rbp),%xmm0
movss  %xmm0,-0x50(%rbp)
jmp    125e <sphere_intersect+0x14e>
lea    -0x5c(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    $0x0,%al
call   1030 <dot@plt>
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
cvtsi2ss %eax,%xmm0
subss  -0x40(%rbp),%xmm0
movss  %xmm0,-0x50(%rbp)
xorps  %xmm0,%xmm0
ucomiss -0x50(%rbp),%xmm0
jb     127d <sphere_intersect+0x16d>
movss  0xd91(%rip),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    13a0 <sphere_intersect+0x290>
movl   $0x0,-0x3c(%rbp)
cmpl   $0x3,-0x3c(%rbp)
jge    12f4 <sphere_intersect+0x1e4>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
movss  -0x50(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm0
movslq -0x3c(%rbp),%rax
movss  %xmm0,-0x4c(%rbp,%rax,4)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1284 <sphere_intersect+0x174>
lea    -0x4c(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    $0x0,%al
call   1030 <dot@plt>
cvtsi2ss %eax,%xmm1
movss  0xcf1(%rip),%xmm0
mulss  %xmm1,%xmm0
movss  %xmm0,-0x6c(%rbp)
lea    -0x4c(%rbp),%rdi
lea    -0x4c(%rbp),%rsi
mov    $0x0,%al
call   1030 <dot@plt>
movss  -0x6c(%rbp),%xmm0
cvtsi2ss %eax,%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x60(%rbp)
movl   $0x0,-0x3c(%rbp)
cmpl   $0x3,-0x3c(%rbp)
jge    1396 <sphere_intersect+0x286>
mov    -0x28(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
movss  -0x60(%rbp),%xmm0
movslq -0x3c(%rbp),%rax
movss  -0x4c(%rbp,%rax,4),%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1340 <sphere_intersect+0x230>
movss  -0x50(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sphere_intersect>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %r9d,%r12d
movss  %xmm0,0x8(%rsp)
mov    %rcx,%r13
mov    %rsi,%r14
mov    %rdi,%r15
movss  (%rdx),%xmm0
movss  (%r8),%xmm1
movss  %xmm0,0x18(%rsp)
movss  %xmm1,0x1c(%rsp)
subss  %xmm1,%xmm0
movss  %xmm0,0x4c(%rsp)
movss  0x4(%rdx),%xmm0
movss  0x4(%r8),%xmm1
movss  %xmm0,0x20(%rsp)
movss  %xmm1,0x24(%rsp)
subss  %xmm1,%xmm0
movss  %xmm0,0x50(%rsp)
movss  0x8(%rdx),%xmm0
movss  0x8(%r8),%xmm1
movss  %xmm0,0x28(%rsp)
movss  %xmm1,0x2c(%rsp)
subss  %xmm1,%xmm0
movss  %xmm0,0x54(%rsp)
lea    0x4c(%rsp),%rbp
mov    %rbp,%rdi
mov    %rcx,%rsi
xor    %eax,%eax
call   1030 <dot@plt>
mov    %eax,%ebx
mov    %rbp,%rdi
mov    %r13,%rsi
xor    %eax,%eax
call   1030 <dot@plt>
imul   %ebx,%eax
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movaps %xmm0,0x30(%rsp)
mov    %rbp,%rdi
mov    %rbp,%rsi
xor    %eax,%eax
call   1030 <dot@plt>
movaps 0x30(%rsp),%xmm1
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  0x8(%rsp),%xmm2
mulss  %xmm2,%xmm2
subss  %xmm2,%xmm0
subss  %xmm0,%xmm1
movss  0xe0c(%rip),%xmm0
xorps  %xmm2,%xmm2
ucomiss %xmm1,%xmm2
ja     133e <sphere_intersect+0x22e>
movaps %xmm1,0x30(%rsp)
lea    0x4c(%rsp),%rdi
mov    %r13,%rsi
xor    %eax,%eax
call   1030 <dot@plt>
neg    %eax
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
test   %r12d,%r12d
je     1229 <sphere_intersect+0x119>
movaps 0x30(%rsp),%xmm1
jmp    1235 <sphere_intersect+0x125>
movaps 0x30(%rsp),%xmm1
xorps  0xddb(%rip),%xmm1
addss  %xmm0,%xmm1
xorps  %xmm0,%xmm0
ucomiss %xmm1,%xmm0
movss  0xdb9(%rip),%xmm0
jae    133e <sphere_intersect+0x22e>
movss  0x0(%r13),%xmm0
mulss  %xmm1,%xmm0
addss  0x18(%rsp),%xmm0
movss  %xmm0,(%r15)
subss  0x1c(%rsp),%xmm0
movss  %xmm0,0xc(%rsp)
movss  0x4(%r13),%xmm0
mulss  %xmm1,%xmm0
addss  0x20(%rsp),%xmm0
movss  %xmm0,0x4(%r15)
subss  0x24(%rsp),%xmm0
movss  %xmm0,0x10(%rsp)
movss  0x8(%r13),%xmm0
mulss  %xmm1,%xmm0
addss  0x28(%rsp),%xmm0
movss  %xmm0,0x8(%r15)
subss  0x2c(%rsp),%xmm0
movss  %xmm0,0x14(%rsp)
lea    0xc(%rsp),%rbx
mov    %rbx,%rdi
mov    %r13,%rsi
xor    %eax,%eax
movaps %xmm1,0x30(%rsp)
call   1030 <dot@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0x8(%rsp)
mov    %rbx,%rdi
mov    %rbx,%rsi
xor    %eax,%eax
call   1030 <dot@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  0x8(%rsp),%xmm1
mulss  0xd0c(%rip),%xmm1
divss  %xmm0,%xmm1
movss  0xc(%rsp),%xmm0
mulss  %xmm1,%xmm0
addss  0x0(%r13),%xmm0
movss  %xmm0,(%r14)
movss  0x10(%rsp),%xmm0
mulss  %xmm1,%xmm0
addss  0x4(%r13),%xmm0
mulss  0x14(%rsp),%xmm1
movss  %xmm0,0x4(%r14)
addss  0x8(%r13),%xmm1
movss  %xmm1,0x8(%r14)
movaps 0x30(%rsp),%xmm0
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define float @sphere_intersect(float* noalias nocapture writeonly %0, float* noalias nocapture writeonly %1, float* noalias nocapture %2, float* noalias %3, float* noalias nocapture %4, float %5, i32 %6) {
%8 = alloca [3 x float]
%9 = alloca [3 x float]
%10 = bitcast [3 x float]* %8 to i8*
%11 = bitcast [3 x float]* %9 to i8*
%12 = load float, float* %2
%13 = load float, float* %4
%14 = fsub float %12, %13
%15 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
store float %14, float* %15
%16 = getelementptr inbounds float, float* %2, i64 1
%17 = load float, float* %16
%18 = getelementptr inbounds float, float* %4, i64 1
%19 = load float, float* %18
%20 = fsub float %17, %19
%21 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 1
store float %20, float* %21
%22 = getelementptr inbounds float, float* %2, i64 2
%23 = load float, float* %22
%24 = getelementptr inbounds float, float* %4, i64 2
%25 = load float, float* %24
%26 = fsub float %23, %25
%27 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 2
store float %26, float* %27
%28 = call i32 (float*, float*, ...) bitcast (i32 (...)* @dot to i32 (float*, float*, ...)*)(float* %15, float* %3)
%29 = call i32 (float*, float*, ...) bitcast (i32 (...)* @dot to i32 (float*, float*, ...)*)(float* %15, float* %3)
%30 = mul nsw i32 %29, %28
%31 = sitofp i32 %30 to float
%32 = call i32 (float*, float*, ...) bitcast (i32 (...)* @dot to i32 (float*, float*, ...)*)(float* %15, float* %15)
%33 = sitofp i32 %32 to float
%34 = fneg float %5
%35 = call float @llvm.fmuladd.f32(float %34, float %5, float %33)
%36 = fsub float %31, %35
%37 = fcmp olt float %36, 0.000000e+00
br i1 %37, label %81, label %38
38: ; preds = %7
%39 = icmp eq i32 %6, 0
%40 = call i32 (float*, float*, ...) bitcast (i32 (...)* @dot to i32 (float*, float*, ...)*)(float* %15, float* %3)
%41 = sub nsw i32 0, %40
%42 = sitofp i32 %41 to float
%43 = fneg float %36
%44 = select i1 %39, float %43, float %36
%45 = fadd float %44, %42
%46 = fcmp ugt float %45, 0.000000e+00
br i1 %46, label %47, label %81
47: ; preds = %38
%48 = load float, float* %3
%49 = call float @llvm.fmuladd.f32(float %45, float %48, float %12)
store float %49, float* %0
%50 = fsub float %49, %13
%51 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
store float %50, float* %51
%52 = getelementptr inbounds float, float* %3, i64 1
%53 = load float, float* %52
%54 = call float @llvm.fmuladd.f32(float %45, float %53, float %17)
%55 = getelementptr inbounds float, float* %0, i64 1
store float %54, float* %55
%56 = fsub float %54, %19
%57 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 1
store float %56, float* %57
%58 = getelementptr inbounds float, float* %3, i64 2
%59 = load float, float* %58
%60 = call float @llvm.fmuladd.f32(float %45, float %59, float %23)
%61 = getelementptr inbounds float, float* %0, i64 2
store float %60, float* %61
%62 = fsub float %60, %25
%63 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 2
store float %62, float* %63
%64 = call i32 (float*, float*, ...) bitcast (i32 (...)* @dot to i32 (float*, float*, ...)*)(float* %51, float* %3)
%65 = sitofp i32 %64 to float
%66 = call i32 (float*, float*, ...) bitcast (i32 (...)* @dot to i32 (float*, float*, ...)*)(float* %51, float* %51)
%67 = sitofp i32 %66 to float
%68 = fmul float %65, -2.000000e+00
%69 = fdiv float %68, %67
%70 = load float, float* %3
%71 = load float, float* %51
%72 = call float @llvm.fmuladd.f32(float %69, float %71, float %70)
store float %72, float* %1
%73 = load float, float* %52
%74 = load float, float* %57
%75 = call float @llvm.fmuladd.f32(float %69, float %74, float %73)
%76 = getelementptr inbounds float, float* %1, i64 1
store float %75, float* %76
%77 = load float, float* %58
%78 = load float, float* %63
%79 = call float @llvm.fmuladd.f32(float %69, float %78, float %77)
%80 = getelementptr inbounds float, float* %1, i64 2
store float %79, float* %80
br label %81
81: ; preds = %47, %38, %7
%82 = phi float [ -1.000000e+00, %7 ], [ -1.000000e+00, %38 ], [ %45, %47 ]
ret float %82
}