void wigNaiveSynthesis(int m1, int m2, int bw, double *coeffs,
                       double *wignersTrans, double *signal,
                       double *workspace) {
  int i, j, m, n;
  double tmp0, tmp1, tmp2, tmp3;
  m = ((((m1) > 0 ? (m1) : (-m1))) > (((m2) > 0 ? (m2) : (-m2)))
           ? (((m1) > 0 ? (m1) : (-m1)))
           : (((m2) > 0 ? (m2) : (-m2))));
  n = 2 * bw;
  for (i = 0; i < n; i++) {
    tmp0 = 0.;
    tmp1 = 0.;
    tmp2 = 0.;
    tmp3 = 0.;
    for (j = 0; j < (bw - m) % 4; ++j)
      tmp0 += wignersTrans[j] * coeffs[j];
    for (; j < (bw - m); j += 4) {
      tmp0 += wignersTrans[j] * coeffs[j];
      tmp1 += wignersTrans[j + 1] * coeffs[j + 1];
      tmp2 += wignersTrans[j + 2] * coeffs[j + 2];
      tmp3 += wignersTrans[j + 3] * coeffs[j + 3];
    }
    signal[i] = tmp0 + tmp1 + tmp2 + tmp3;
    wignersTrans += (bw - m);
  }
}


x86 assembly (clang, -O0):
<wigNaiveSynthesis>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
cmpl   $0x0,-0x4(%rbp)
jle    1132 <wigNaiveSynthesis+0x32>
mov    -0x4(%rbp),%eax
mov    %eax,-0x5c(%rbp)
jmp    113a <wigNaiveSynthesis+0x3a>
xor    %eax,%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x60(%rbp)
cmpl   $0x0,-0x8(%rbp)
jle    1155 <wigNaiveSynthesis+0x55>
mov    -0x8(%rbp),%eax
mov    %eax,-0x64(%rbp)
jmp    115d <wigNaiveSynthesis+0x5d>
xor    %eax,%eax
sub    -0x8(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x60(%rbp),%eax
mov    -0x64(%rbp),%ecx
cmp    %ecx,%eax
jle    1193 <wigNaiveSynthesis+0x93>
cmpl   $0x0,-0x4(%rbp)
jle    1180 <wigNaiveSynthesis+0x80>
mov    -0x4(%rbp),%eax
mov    %eax,-0x68(%rbp)
jmp    1188 <wigNaiveSynthesis+0x88>
xor    %eax,%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x68(%rbp),%eax
mov    %eax,-0x6c(%rbp)
jmp    11b6 <wigNaiveSynthesis+0xb6>
cmpl   $0x0,-0x8(%rbp)
jle    11a8 <wigNaiveSynthesis+0xa8>
mov    -0x8(%rbp),%eax
mov    %eax,-0x70(%rbp)
jmp    11b0 <wigNaiveSynthesis+0xb0>
xor    %eax,%eax
sub    -0x8(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x70(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0xc(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    1391 <wigNaiveSynthesis+0x291>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x40(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x50(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x58(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0xc(%rbp),%eax
sub    -0x34(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    -0x74(%rbp),%eax
cmp    %edx,%eax
jge    1258 <wigNaiveSynthesis+0x158>
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x40(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11ff <wigNaiveSynthesis+0xff>
jmp    125d <wigNaiveSynthesis+0x15d>
mov    -0x30(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    -0x34(%rbp),%ecx
cmp    %ecx,%eax
jge    134a <wigNaiveSynthesis+0x24a>
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x40(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x48(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x50(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x58(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x30(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x30(%rbp)
jmp    125d <wigNaiveSynthesis+0x15d>
movsd  -0x40(%rbp),%xmm0
addsd  -0x48(%rbp),%xmm0
addsd  -0x50(%rbp),%xmm0
addsd  -0x58(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0xc(%rbp),%ecx
sub    -0x34(%rbp),%ecx
mov    -0x20(%rbp),%rax
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11cc <wigNaiveSynthesis+0xcc>
pop    %rbp
ret

x86 assembly (clang, -O2):
<wigNaiveSynthesis>:
push   %rbp
push   %r14
push   %rbx
mov    %edi,%eax
neg    %eax
cmovs  %edi,%eax
mov    %esi,%ebp
neg    %ebp
cmovs  %esi,%ebp
test   %edx,%edx
jle    126f <wigNaiveSynthesis+0x16f>
cmp    %ebp,%eax
cmova  %eax,%ebp
lea    (%rdx,%rdx,1),%r14d
mov    %edx,%r10d
sub    %ebp,%r10d
lea    0x3(%r10),%eax
test   %r10d,%r10d
cmovns %r10d,%eax
and    $0xfffffffc,%eax
mov    %r10d,%esi
sub    %eax,%esi
movslq %r10d,%rdi
xor    %eax,%eax
test   %esi,%esi
mov    $0x0,%r11d
cmovg  %esi,%r11d
cmp    $0x2,%r14d
mov    $0x1,%ebx
cmovge %r14d,%ebx
movslq %edx,%rdx
shl    $0x3,%rdx
movslq %ebp,%rbp
shl    $0x3,%rbp
sub    %rbp,%rdx
xorpd  %xmm0,%xmm0
jmp    11ae <wigNaiveSynthesis+0xae>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xorpd  %xmm3,%xmm3
xorpd  %xmm2,%xmm2
addsd  %xmm3,%xmm1
unpckhpd %xmm3,%xmm3
addsd  %xmm1,%xmm3
addsd  %xmm2,%xmm3
movsd  %xmm3,(%r9,%rax,8)
add    %rdx,%r8
add    $0x1,%rax
cmp    %rbx,%rax
je     126f <wigNaiveSynthesis+0x16f>
mov    $0x0,%ebp
xorpd  %xmm1,%xmm1
test   %esi,%esi
jle    11f0 <wigNaiveSynthesis+0xf0>
movsd  (%r8),%xmm1
mulsd  (%rcx),%xmm1
addsd  %xmm0,%xmm1
cmp    $0x1,%esi
je     1206 <wigNaiveSynthesis+0x106>
movsd  0x8(%r8),%xmm2
mulsd  0x8(%rcx),%xmm2
addsd  %xmm2,%xmm1
cmp    $0x2,%esi
jne    11f7 <wigNaiveSynthesis+0xf7>
mov    %esi,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmp    %r10d,%ebp
jge    1180 <wigNaiveSynthesis+0x80>
jmp    1211 <wigNaiveSynthesis+0x111>
movsd  0x10(%r8),%xmm2
mulsd  0x10(%rcx),%xmm2
addsd  %xmm2,%xmm1
mov    %esi,%ebp
cmp    %r10d,%ebp
jge    1180 <wigNaiveSynthesis+0x80>
xorpd  %xmm4,%xmm4
xorpd  %xmm2,%xmm2
mov    %r11,%rbp
nopl   0x0(%rax)
movsd  (%r8,%rbp,8),%xmm3
mulsd  (%rcx,%rbp,8),%xmm3
movapd %xmm4,%xmm5
addsd  %xmm3,%xmm1
movupd 0x8(%r8,%rbp,8),%xmm4
movupd 0x8(%rcx,%rbp,8),%xmm3
mulpd  %xmm4,%xmm3
movapd %xmm3,%xmm4
movsd  0x18(%r8,%rbp,8),%xmm6
mulsd  0x18(%rcx,%rbp,8),%xmm6
addpd  %xmm5,%xmm4
addsd  %xmm6,%xmm2
add    $0x4,%rbp
cmp    %rdi,%rbp
jl     1220 <wigNaiveSynthesis+0x120>
addpd  %xmm5,%xmm3
jmp    1188 <wigNaiveSynthesis+0x88>
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define void @wigNaiveSynthesis(i32 %0, i32 %1, i32 %2, double* nocapture %3, double* nocapture %4, double* nocapture writeonly %5, double* nocapture readnone %6) {
%8 = tail call i32 @llvm.abs.i32(i32 %0, i1 true)
%9 = tail call i32 @llvm.abs.i32(i32 %1, i1 true)
%10 = icmp sgt i32 %2, 0
br i1 %10, label %11, label %89
11: ; preds = %7
%12 = shl nuw i32 %2, 1
%13 = icmp ugt i32 %8, %9
%14 = select i1 %13, i32 %8, i32 %9
%15 = sub nsw i32 %2, %14
%16 = srem i32 %15, 4
%17 = icmp sgt i32 %16, 0
%18 = sext i32 %15 to i64
%19 = call i32 @llvm.smax.i32(i32 %16, i32 0)
%20 = zext i32 %19 to i64
%21 = call i32 @llvm.smax.i32(i32 %12, i32 1)
%22 = zext i32 %21 to i64
%23 = icmp eq i32 %16, 1
%24 = getelementptr inbounds double, double* %3, i64 1
%25 = icmp eq i32 %16, 2
%26 = getelementptr inbounds double, double* %3, i64 2
br label %27
27: ; preds = %11, %76
%28 = phi i64 [ 0, %11 ], [ %87, %76 ]
%29 = phi double* [ %4, %11 ], [ %86, %76 ]
br i1 %17, label %34, label %30
30: ; preds = %34, %38, %43, %27
%31 = phi i32 [ 0, %27 ], [ %16, %43 ], [ %16, %38 ], [ %16, %34 ]
%32 = phi double [ 0.000000e+00, %27 ], [ %37, %34 ], [ %42, %38 ], [ %47, %43 ]
%33 = icmp slt i32 %31, %15
br i1 %33, label %48, label %76
34: ; preds = %27
%35 = load double, double* %29
%36 = load double, double* %3
%37 = tail call double @llvm.fmuladd.f64(double %35, double %36, double 0.000000e+00)
br i1 %23, label %30, label %38
38: ; preds = %34
%39 = getelementptr inbounds double, double* %29, i64 1
%40 = load double, double* %39
%41 = load double, double* %24
%42 = tail call double @llvm.fmuladd.f64(double %40, double %41, double %37)
br i1 %25, label %30, label %43
43: ; preds = %38
%44 = getelementptr inbounds double, double* %29, i64 2
%45 = load double, double* %44
%46 = load double, double* %26
%47 = tail call double @llvm.fmuladd.f64(double %45, double %46, double %42)
br label %30
48: ; preds = %30, %48
%49 = phi i64 [ %72, %48 ], [ %20, %30 ]
%50 = phi double [ %71, %48 ], [ 0.000000e+00, %30 ]
%51 = phi double [ %57, %48 ], [ %32, %30 ]
%52 = phi <2 x double> [ %65, %48 ], [ zeroinitializer, %30 ]
%53 = getelementptr inbounds double, double* %29, i64 %49
%54 = load double, double* %53
%55 = getelementptr inbounds double, double* %3, i64 %49
%56 = load double, double* %55
%57 = tail call double @llvm.fmuladd.f64(double %54, double %56, double %51)
%58 = add nuw nsw i64 %49, 1
%59 = getelementptr inbounds double, double* %29, i64 %58
%60 = getelementptr inbounds double, double* %3, i64 %58
%61 = bitcast double* %59 to <2 x double>*
%62 = load <2 x double>, <2 x double>* %61
%63 = bitcast double* %60 to <2 x double>*
%64 = load <2 x double>, <2 x double>* %63
%65 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %62, <2 x double> %64, <2 x double> %52)
%66 = add nuw nsw i64 %49, 3
%67 = getelementptr inbounds double, double* %29, i64 %66
%68 = load double, double* %67
%69 = getelementptr inbounds double, double* %3, i64 %66
%70 = load double, double* %69
%71 = tail call double @llvm.fmuladd.f64(double %68, double %70, double %50)
%72 = add nuw nsw i64 %49, 4
%73 = icmp slt i64 %72, %18
br i1 %73, label %48, label %74
74: ; preds = %48
%75 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %62, <2 x double> %64, <2 x double> %52)
br label %76
76: ; preds = %74, %30
%77 = phi double [ %32, %30 ], [ %57, %74 ]
%78 = phi double [ 0.000000e+00, %30 ], [ %71, %74 ]
%79 = phi <2 x double> [ zeroinitializer, %30 ], [ %75, %74 ]
%80 = extractelement <2 x double> %79, i64 0
%81 = fadd double %77, %80
%82 = extractelement <2 x double> %79, i64 1
%83 = fadd double %81, %82
%84 = fadd double %83, %78
%85 = getelementptr inbounds double, double* %5, i64 %28
store double %84, double* %85
%86 = getelementptr inbounds double, double* %29, i64 %18
%87 = add nuw nsw i64 %28, 1
%88 = icmp eq i64 %87, %22
br i1 %88, label %89, label %27
89: ; preds = %76, %7
ret void
}