#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 */
float pow(float const, double);
void Quat2Rot(const float *quat, float *rotMat) {
  *(rotMat) = pow(*(quat), 2.0) - pow(*(quat + 1), 2.0) -
              pow(*(quat + 2), 2.0) + pow(*(quat + 3), 2.0);
  *(rotMat + 1) =
      2 * ((*(quat)) * (*(quat + 1)) + (*(quat + 2)) * (*(quat + 3)));
  *(rotMat + 2) =
      2 * ((*(quat + 1)) * (*(quat + 2)) - (*(quat + 1)) * (*(quat + 3)));
  *(rotMat + 3) =
      2 * ((*(quat + 1)) * (*(quat)) - (*(quat + 2)) * (*(quat + 3)));
  *(rotMat + 4) = -pow(*(quat), 2.0) + pow(*(quat + 1), 2.0) -
                  pow(*(quat + 2), 2.0) + pow(*(quat + 3), 2.0);
  *(rotMat + 5) =
      2 * ((*(quat + 1)) * (*(quat + 2)) + (*(quat)) * (*(quat + 3)));
  *(rotMat + 6) =
      2 * ((*(quat + 2)) * (*(quat)) + (*(quat + 1)) * (*(quat + 3)));
  *(rotMat + 7) =
      2 * ((*(quat + 2)) * (*(quat + 1)) - (*(quat)) * (*(quat + 3)));
  *(rotMat + 8) = -pow(*(quat), 2.0) - pow(*(quat + 1), 2.0) +
                  pow(*(quat + 2), 2.0) + pow(*(quat + 3), 2.0);
}


x86 assembly (clang, -O0):
<Quat2Rot>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
movsd  0xed0(%rip),%xmm1
call   1030 <pow@plt>
movss  %xmm0,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
movsd  0xeb5(%rip),%xmm1
call   1030 <pow@plt>
movaps %xmm0,%xmm1
movss  -0x34(%rbp),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
movsd  0xe8e(%rip),%xmm1
call   1030 <pow@plt>
movaps %xmm0,%xmm1
movss  -0x30(%rbp),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm0
movsd  0xe67(%rip),%xmm1
call   1030 <pow@plt>
movaps %xmm0,%xmm1
movss  -0x2c(%rbp),%xmm0
addss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
mulss  0xc(%rax),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  0xe23(%rip),%xmm0
mulss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
mulss  0xc(%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  0xdd5(%rip),%xmm0
mulss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x8(%rax)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
mulss  0xc(%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  0xd88(%rip),%xmm0
mulss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0xc(%rax)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
movsd  0xd63(%rip),%xmm1
call   1030 <pow@plt>
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
movsd  0xd3b(%rip),%xmm1
call   1030 <pow@plt>
movaps %xmm0,%xmm1
movss  -0x28(%rbp),%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x24(%rbp)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
movsd  0xd14(%rip),%xmm1
call   1030 <pow@plt>
movaps %xmm0,%xmm1
movss  -0x24(%rbp),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm0
movsd  0xced(%rip),%xmm1
call   1030 <pow@plt>
movaps %xmm0,%xmm1
movss  -0x20(%rbp),%xmm0
addss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x10(%rax)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
mulss  0xc(%rax),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  0xca8(%rip),%xmm0
mulss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x14(%rax)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
mulss  0xc(%rax),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  0xc68(%rip),%xmm0
mulss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x18(%rax)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
mulss  0xc(%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  0xc1b(%rip),%xmm0
mulss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x1c(%rax)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
movsd  0xbf6(%rip),%xmm1
call   1030 <pow@plt>
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
movsd  0xbce(%rip),%xmm1
call   1030 <pow@plt>
movaps %xmm0,%xmm1
movss  -0x1c(%rbp),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
movsd  0xba7(%rip),%xmm1
call   1030 <pow@plt>
movaps %xmm0,%xmm1
movss  -0x18(%rbp),%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm0
movsd  0xb80(%rip),%xmm1
call   1030 <pow@plt>
movaps %xmm0,%xmm1
movss  -0x14(%rbp),%xmm0
addss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x20(%rax)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Quat2Rot>:
push   %r14
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%r14
mov    %rdi,%rbx
movss  (%rdi),%xmm0
movsd  0xed7(%rip),%xmm1
call   1030 <pow@plt>
movss  %xmm0,(%rsp)
movss  0x4(%rbx),%xmm0
movsd  0xec0(%rip),%xmm1
call   1030 <pow@plt>
movss  (%rsp),%xmm1
subss  %xmm0,%xmm1
movss  %xmm1,(%rsp)
movss  0x8(%rbx),%xmm0
movsd  0xea0(%rip),%xmm1
call   1030 <pow@plt>
movss  (%rsp),%xmm1
subss  %xmm0,%xmm1
movss  %xmm1,(%rsp)
movss  0xc(%rbx),%xmm0
movsd  0xe80(%rip),%xmm1
call   1030 <pow@plt>
addss  (%rsp),%xmm0
movss  %xmm0,(%r14)
movss  0x8(%rbx),%xmm0
mulss  0xc(%rbx),%xmm0
movss  (%rbx),%xmm1
mulss  0x4(%rbx),%xmm1
addss  %xmm0,%xmm1
addss  %xmm1,%xmm1
movss  %xmm1,0x4(%r14)
movss  0x4(%rbx),%xmm0
movss  0xc(%rbx),%xmm1
mulss  %xmm0,%xmm1
mulss  0x8(%rbx),%xmm0
subss  %xmm1,%xmm0
addss  %xmm0,%xmm0
movss  %xmm0,0x8(%r14)
movss  0x4(%rbx),%xmm0
movss  0xc(%rbx),%xmm1
mulss  0x8(%rbx),%xmm1
mulss  (%rbx),%xmm0
subss  %xmm1,%xmm0
addss  %xmm0,%xmm0
movss  %xmm0,0xc(%r14)
movss  (%rbx),%xmm0
movsd  0xe02(%rip),%xmm1
call   1030 <pow@plt>
movss  %xmm0,(%rsp)
movss  0x4(%rbx),%xmm0
movsd  0xdeb(%rip),%xmm1
call   1030 <pow@plt>
subss  (%rsp),%xmm0
movss  %xmm0,(%rsp)
movss  0x8(%rbx),%xmm0
movsd  0xdcf(%rip),%xmm1
call   1030 <pow@plt>
movss  (%rsp),%xmm1
subss  %xmm0,%xmm1
movss  %xmm1,(%rsp)
movss  0xc(%rbx),%xmm0
movsd  0xdaf(%rip),%xmm1
call   1030 <pow@plt>
addss  (%rsp),%xmm0
movss  %xmm0,0x10(%r14)
movss  (%rbx),%xmm0
movss  0x4(%rbx),%xmm1
mulss  0xc(%rbx),%xmm0
mulss  0x8(%rbx),%xmm1
addss  %xmm0,%xmm1
addss  %xmm1,%xmm1
movss  %xmm1,0x14(%r14)
movss  0x4(%rbx),%xmm0
mulss  0xc(%rbx),%xmm0
movss  0x8(%rbx),%xmm1
mulss  (%rbx),%xmm1
addss  %xmm0,%xmm1
addss  %xmm1,%xmm1
movss  %xmm1,0x18(%r14)
movss  0x8(%rbx),%xmm0
movss  0xc(%rbx),%xmm1
mulss  (%rbx),%xmm1
mulss  0x4(%rbx),%xmm0
subss  %xmm1,%xmm0
addss  %xmm0,%xmm0
movss  %xmm0,0x1c(%r14)
movss  (%rbx),%xmm0
movsd  0xd30(%rip),%xmm1
call   1030 <pow@plt>
xorps  0xd34(%rip),%xmm0
movaps %xmm0,(%rsp)
movss  0x4(%rbx),%xmm0
movsd  0xd13(%rip),%xmm1
call   1030 <pow@plt>
movaps (%rsp),%xmm1
subss  %xmm0,%xmm1
movaps %xmm1,(%rsp)
movss  0x8(%rbx),%xmm0
movsd  0xcf5(%rip),%xmm1
call   1030 <pow@plt>
addss  (%rsp),%xmm0
movss  %xmm0,(%rsp)
movss  0xc(%rbx),%xmm0
movsd  0xcd9(%rip),%xmm1
call   1030 <pow@plt>
addss  (%rsp),%xmm0
movss  %xmm0,0x20(%r14)
add    $0x18,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define void @Quat2Rot(float* nocapture %0, float* nocapture writeonly %1) {
%3 = load float, float* %0
%4 = tail call float @pow(float %3, double 2.000000e+00)
%5 = getelementptr inbounds float, float* %0, i64 1
%6 = load float, float* %5
%7 = tail call float @pow(float %6, double 2.000000e+00)
%8 = fsub float %4, %7
%9 = getelementptr inbounds float, float* %0, i64 2
%10 = load float, float* %9
%11 = tail call float @pow(float %10, double 2.000000e+00)
%12 = fsub float %8, %11
%13 = getelementptr inbounds float, float* %0, i64 3
%14 = load float, float* %13
%15 = tail call float @pow(float %14, double 2.000000e+00)
%16 = fadd float %12, %15
store float %16, float* %1
%17 = load float, float* %0
%18 = load float, float* %5
%19 = load float, float* %9
%20 = load float, float* %13
%21 = fmul float %19, %20
%22 = tail call float @llvm.fmuladd.f32(float %17, float %18, float %21)
%23 = fmul float %22, 2.000000e+00
%24 = getelementptr inbounds float, float* %1, i64 1
store float %23, float* %24
%25 = load float, float* %5
%26 = load float, float* %9
%27 = load float, float* %13
%28 = fneg float %25
%29 = fmul float %27, %28
%30 = tail call float @llvm.fmuladd.f32(float %25, float %26, float %29)
%31 = fmul float %30, 2.000000e+00
%32 = getelementptr inbounds float, float* %1, i64 2
store float %31, float* %32
%33 = load float, float* %5
%34 = load float, float* %0
%35 = load float, float* %9
%36 = load float, float* %13
%37 = fneg float %35
%38 = fmul float %36, %37
%39 = tail call float @llvm.fmuladd.f32(float %33, float %34, float %38)
%40 = fmul float %39, 2.000000e+00
%41 = getelementptr inbounds float, float* %1, i64 3
store float %40, float* %41
%42 = load float, float* %0
%43 = tail call float @pow(float %42, double 2.000000e+00)
%44 = load float, float* %5
%45 = tail call float @pow(float %44, double 2.000000e+00)
%46 = fsub float %45, %43
%47 = load float, float* %9
%48 = tail call float @pow(float %47, double 2.000000e+00)
%49 = fsub float %46, %48
%50 = load float, float* %13
%51 = tail call float @pow(float %50, double 2.000000e+00)
%52 = fadd float %49, %51
%53 = getelementptr inbounds float, float* %1, i64 4
store float %52, float* %53
%54 = load float, float* %5
%55 = load float, float* %9
%56 = load float, float* %0
%57 = load float, float* %13
%58 = fmul float %56, %57
%59 = tail call float @llvm.fmuladd.f32(float %54, float %55, float %58)
%60 = fmul float %59, 2.000000e+00
%61 = getelementptr inbounds float, float* %1, i64 5
store float %60, float* %61
%62 = load float, float* %9
%63 = load float, float* %0
%64 = load float, float* %5
%65 = load float, float* %13
%66 = fmul float %64, %65
%67 = tail call float @llvm.fmuladd.f32(float %62, float %63, float %66)
%68 = fmul float %67, 2.000000e+00
%69 = getelementptr inbounds float, float* %1, i64 6
store float %68, float* %69
%70 = load float, float* %9
%71 = load float, float* %5
%72 = load float, float* %0
%73 = load float, float* %13
%74 = fneg float %72
%75 = fmul float %73, %74
%76 = tail call float @llvm.fmuladd.f32(float %70, float %71, float %75)
%77 = fmul float %76, 2.000000e+00
%78 = getelementptr inbounds float, float* %1, i64 7
store float %77, float* %78
%79 = load float, float* %0
%80 = tail call float @pow(float %79, double 2.000000e+00)
%81 = fneg float %80
%82 = load float, float* %5
%83 = tail call float @pow(float %82, double 2.000000e+00)
%84 = fsub float %81, %83
%85 = load float, float* %9
%86 = tail call float @pow(float %85, double 2.000000e+00)
%87 = fadd float %84, %86
%88 = load float, float* %13
%89 = tail call float @pow(float %88, double 2.000000e+00)
%90 = fadd float %87, %89
%91 = getelementptr inbounds float, float* %1, i64 8
store float %90, float* %91
ret void
}