void project_v(int a, int i, int b, int j, double r[], double v[]) {
  int c, k;
  double xi, yi, xj, yj;
  xi = (&((r)[2 * ((i) + 2 * ((a) + 3 * ((i) + 2 * (a))))]))[0];
  yi = (&((r)[2 * ((i) + 2 * ((a) + 3 * ((i) + 2 * (a))))]))[1];
  xj = (&((r)[2 * ((i) + 2 * ((a) + 3 * ((j) + 2 * (b))))]))[0];
  yj = (&((r)[2 * ((i) + 2 * ((a) + 3 * ((j) + 2 * (b))))]))[1];
  for (c = 0; c < 3; c++)
    for (k = 0; k < 2; k++) {
      double zi = (&((v)[2 * ((k) + 2 * ((c) + 3 * ((i) + 2 * (a))))]))[0];
      double ti = (&((v)[2 * ((k) + 2 * ((c) + 3 * ((i) + 2 * (a))))]))[1];
      double zj = (&((v)[2 * ((k) + 2 * ((c) + 3 * ((j) + 2 * (b))))]))[0];
      double tj = (&((v)[2 * ((k) + 2 * ((c) + 3 * ((j) + 2 * (b))))]))[1];
      (&((v)[2 * ((k) + 2 * ((c) + 3 * ((j) + 2 * (b))))]))[0] =
          xi * zj - yi * tj - xj * zi + yj * ti;
      (&((v)[2 * ((k) + 2 * ((c) + 3 * ((j) + 2 * (b))))]))[1] =
          xi * tj + yi * zj - xj * ti - yj * zi;
    }
}


x86 assembly (clang, -O0):
<project_v>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8,-0x18(%rbp)
mov    %r9,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%ecx
mov    -0x4(%rbp),%edx
mov    -0x8(%rbp),%esi
mov    -0x4(%rbp),%edi
shl    $0x1,%edi
add    %edi,%esi
imul   $0x3,%esi,%esi
add    %esi,%edx
shl    $0x1,%edx
add    %edx,%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%ecx
mov    -0x4(%rbp),%edx
mov    -0x8(%rbp),%esi
mov    -0x4(%rbp),%edi
shl    $0x1,%edi
add    %edi,%esi
imul   $0x3,%esi,%esi
add    %esi,%edx
shl    $0x1,%edx
add    %edx,%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movsd  0x8(%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%ecx
mov    -0x4(%rbp),%edx
mov    -0x10(%rbp),%esi
mov    -0xc(%rbp),%edi
shl    $0x1,%edi
add    %edi,%esi
imul   $0x3,%esi,%esi
add    %esi,%edx
shl    $0x1,%edx
add    %edx,%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%ecx
mov    -0x4(%rbp),%edx
mov    -0x10(%rbp),%esi
mov    -0xc(%rbp),%edi
shl    $0x1,%edi
add    %edi,%esi
imul   $0x3,%esi,%esi
add    %esi,%edx
shl    $0x1,%edx
add    %edx,%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movsd  0x8(%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x48(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x3,-0x24(%rbp)
jge    1408 <project_v+0x308>
movl   $0x0,-0x28(%rbp)
cmpl   $0x2,-0x28(%rbp)
jge    13f5 <project_v+0x2f5>
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x24(%rbp),%edx
mov    -0x8(%rbp),%esi
mov    -0x4(%rbp),%edi
shl    $0x1,%edi
add    %edi,%esi
imul   $0x3,%esi,%esi
add    %esi,%edx
shl    $0x1,%edx
add    %edx,%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x24(%rbp),%edx
mov    -0x8(%rbp),%esi
mov    -0x4(%rbp),%edi
shl    $0x1,%edi
add    %edi,%esi
imul   $0x3,%esi,%esi
add    %esi,%edx
shl    $0x1,%edx
add    %edx,%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movsd  0x8(%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x24(%rbp),%edx
mov    -0x10(%rbp),%esi
mov    -0xc(%rbp),%edi
shl    $0x1,%edi
add    %edi,%esi
imul   $0x3,%esi,%esi
add    %esi,%edx
shl    $0x1,%edx
add    %edx,%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x60(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x24(%rbp),%edx
mov    -0x10(%rbp),%esi
mov    -0xc(%rbp),%edi
shl    $0x1,%edi
add    %edi,%esi
imul   $0x3,%esi,%esi
add    %esi,%edx
shl    $0x1,%edx
add    %edx,%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movsd  0x8(%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x30(%rbp),%xmm0
movsd  -0x60(%rbp),%xmm2
movsd  -0x38(%rbp),%xmm1
mulsd  -0x68(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x40(%rbp),%xmm1
movsd  -0x50(%rbp),%xmm2
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x48(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x24(%rbp),%edx
mov    -0x10(%rbp),%esi
mov    -0xc(%rbp),%edi
shl    $0x1,%edi
add    %edi,%esi
imul   $0x3,%esi,%esi
add    %esi,%edx
shl    $0x1,%edx
add    %edx,%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x30(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm2
movsd  -0x38(%rbp),%xmm1
mulsd  -0x60(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x40(%rbp),%xmm1
movsd  -0x58(%rbp),%xmm2
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x48(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x24(%rbp),%edx
mov    -0x10(%rbp),%esi
mov    -0xc(%rbp),%edi
shl    $0x1,%edi
add    %edi,%esi
imul   $0x3,%esi,%esi
add    %esi,%edx
shl    $0x1,%edx
add    %edx,%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,0x8(%rax,%rcx,8)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11ee <project_v+0xee>
jmp    13fa <project_v+0x2fa>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11dd <project_v+0xdd>
pop    %rbp
ret

x86 assembly (clang, -O2):
<project_v>:
lea    (%rsi,%rdi,2),%r11d
lea    (%r11,%r11,2),%r10d
lea    (%r10,%rdi,1),%eax
lea    (%rsi,%rax,2),%eax
add    %eax,%eax
cltq
lea    (%rcx,%rdx,2),%edx
lea    (%rdx,%rdx,2),%ecx
add    %ecx,%edi
lea    (%rsi,%rdi,2),%esi
add    %esi,%esi
movslq %esi,%rsi
movapd 0xed5(%rip),%xmm4
movsd  (%r8,%rax,8),%xmm0
movsd  0x8(%r8,%rax,8),%xmm3
movapd %xmm3,%xmm5
xorpd  %xmm4,%xmm5
movsd  (%r8,%rsi,8),%xmm2
movsd  0x8(%r8,%rsi,8),%xmm1
xorpd  %xmm1,%xmm4
unpcklpd %xmm4,%xmm1
unpcklpd %xmm2,%xmm2
unpcklpd %xmm0,%xmm0
unpcklpd %xmm5,%xmm3
shl    $0x2,%r11d
lea    (%r11,%r11,2),%eax
shl    $0x2,%edx
lea    (%rdx,%rdx,2),%edx
cltq
movupd (%r9,%rax,8),%xmm4
movslq %edx,%rdx
movupd (%r9,%rdx,8),%xmm5
movapd %xmm5,%xmm6
mulpd  %xmm3,%xmm6
shufpd $0x1,%xmm6,%xmm6
mulpd  %xmm0,%xmm5
addpd  %xmm6,%xmm5
movapd %xmm2,%xmm6
mulpd  %xmm4,%xmm6
shufpd $0x1,%xmm4,%xmm4
subpd  %xmm6,%xmm5
mulpd  %xmm1,%xmm4
addpd  %xmm5,%xmm4
movupd %xmm4,(%r9,%rdx,8)
or     $0x2,%eax
cltq
movupd (%r9,%rax,8),%xmm4
or     $0x2,%edx
movslq %edx,%rax
movupd (%r9,%rax,8),%xmm5
movapd %xmm5,%xmm6
mulpd  %xmm3,%xmm6
shufpd $0x1,%xmm6,%xmm6
mulpd  %xmm0,%xmm5
addpd  %xmm6,%xmm5
movapd %xmm2,%xmm6
mulpd  %xmm4,%xmm6
shufpd $0x1,%xmm4,%xmm4
subpd  %xmm6,%xmm5
mulpd  %xmm1,%xmm4
addpd  %xmm5,%xmm4
movupd %xmm4,(%r9,%rax,8)
lea    0x4(,%r10,4),%eax
lea    0x4(,%rcx,4),%edx
cltq
movupd (%r9,%rax,8),%xmm4
movslq %edx,%rax
movupd (%r9,%rax,8),%xmm5
movapd %xmm5,%xmm6
mulpd  %xmm3,%xmm6
shufpd $0x1,%xmm6,%xmm6
mulpd  %xmm0,%xmm5
addpd  %xmm6,%xmm5
movapd %xmm2,%xmm6
mulpd  %xmm4,%xmm6
shufpd $0x1,%xmm4,%xmm4
subpd  %xmm6,%xmm5
mulpd  %xmm1,%xmm4
addpd  %xmm5,%xmm4
movupd %xmm4,(%r9,%rax,8)
lea    0x6(,%r10,4),%eax
cltq
movupd (%r9,%rax,8),%xmm4
lea    0x6(,%rcx,4),%eax
cltq
movupd (%r9,%rax,8),%xmm5
movapd %xmm5,%xmm6
mulpd  %xmm3,%xmm6
shufpd $0x1,%xmm6,%xmm6
mulpd  %xmm0,%xmm5
addpd  %xmm6,%xmm5
movapd %xmm2,%xmm6
mulpd  %xmm4,%xmm6
shufpd $0x1,%xmm4,%xmm4
subpd  %xmm6,%xmm5
mulpd  %xmm1,%xmm4
addpd  %xmm5,%xmm4
movupd %xmm4,(%r9,%rax,8)
lea    0x8(,%r10,4),%eax
lea    0x8(,%rcx,4),%edx
cltq
movupd (%r9,%rax,8),%xmm4
movslq %edx,%rax
movupd (%r9,%rax,8),%xmm5
movapd %xmm5,%xmm6
mulpd  %xmm3,%xmm6
shufpd $0x1,%xmm6,%xmm6
mulpd  %xmm0,%xmm5
addpd  %xmm6,%xmm5
movapd %xmm2,%xmm6
mulpd  %xmm4,%xmm6
shufpd $0x1,%xmm4,%xmm4
subpd  %xmm6,%xmm5
mulpd  %xmm1,%xmm4
addpd  %xmm5,%xmm4
movupd %xmm4,(%r9,%rax,8)
lea    0xa(,%r10,4),%eax
cltq
movupd (%r9,%rax,8),%xmm4
lea    0xa(,%rcx,4),%eax
cltq
movupd (%r9,%rax,8),%xmm5
mulpd  %xmm5,%xmm3
shufpd $0x1,%xmm3,%xmm3
mulpd  %xmm5,%xmm0
addpd  %xmm3,%xmm0
mulpd  %xmm4,%xmm2
shufpd $0x1,%xmm4,%xmm4
subpd  %xmm2,%xmm0
mulpd  %xmm1,%xmm4
addpd  %xmm0,%xmm4
movupd %xmm4,(%r9,%rax,8)
ret

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

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