void wigNaiveSynthesis_symX(int m1, int m2, int bw, double *coeffs,
                            double *wignersTrans, double *signal,
                            double *workspace) {
  int i, j, m, n;
  int fudge;
  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;
  if (((m1 - m2) > 0 ? (m1 - m2) : (-m1 - m2)) % 2)
    fudge = -1;
  else
    fudge = 1;
  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] = fudge * (tmp0 + tmp1 + tmp2 + tmp3);
    wignersTrans += (bw - m);
  }
}


x86 assembly (clang, -O0):
<wigNaiveSynthesis_symX>:
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_symX+0x32>
mov    -0x4(%rbp),%eax
mov    %eax,-0x64(%rbp)
jmp    113a <wigNaiveSynthesis_symX+0x3a>
xor    %eax,%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x64(%rbp),%eax
mov    %eax,-0x68(%rbp)
cmpl   $0x0,-0x8(%rbp)
jle    1155 <wigNaiveSynthesis_symX+0x55>
mov    -0x8(%rbp),%eax
mov    %eax,-0x6c(%rbp)
jmp    115d <wigNaiveSynthesis_symX+0x5d>
xor    %eax,%eax
sub    -0x8(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x68(%rbp),%eax
mov    -0x6c(%rbp),%ecx
cmp    %ecx,%eax
jle    1193 <wigNaiveSynthesis_symX+0x93>
cmpl   $0x0,-0x4(%rbp)
jle    1180 <wigNaiveSynthesis_symX+0x80>
mov    -0x4(%rbp),%eax
mov    %eax,-0x70(%rbp)
jmp    1188 <wigNaiveSynthesis_symX+0x88>
xor    %eax,%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x70(%rbp),%eax
mov    %eax,-0x74(%rbp)
jmp    11b6 <wigNaiveSynthesis_symX+0xb6>
cmpl   $0x0,-0x8(%rbp)
jle    11a8 <wigNaiveSynthesis_symX+0xa8>
mov    -0x8(%rbp),%eax
mov    %eax,-0x78(%rbp)
jmp    11b0 <wigNaiveSynthesis_symX+0xb0>
xor    %eax,%eax
sub    -0x8(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x78(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x74(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0xc(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x4(%rbp),%eax
sub    -0x8(%rbp),%eax
cmp    $0x0,%eax
jle    11e2 <wigNaiveSynthesis_symX+0xe2>
mov    -0x4(%rbp),%eax
sub    -0x8(%rbp),%eax
mov    %eax,-0x7c(%rbp)
jmp    11ed <wigNaiveSynthesis_symX+0xed>
xor    %eax,%eax
sub    -0x4(%rbp),%eax
sub    -0x8(%rbp),%eax
mov    %eax,-0x7c(%rbp)
mov    -0x7c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     120d <wigNaiveSynthesis_symX+0x10d>
movl   $0xffffffff,-0x3c(%rbp)
jmp    1214 <wigNaiveSynthesis_symX+0x114>
movl   $0x1,-0x3c(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    13e9 <wigNaiveSynthesis_symX+0x2e9>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x50(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x58(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x60(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x80(%rbp)
mov    -0xc(%rbp),%eax
sub    -0x34(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    -0x80(%rbp),%eax
cmp    %edx,%eax
jge    12a7 <wigNaiveSynthesis_symX+0x1a7>
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  -0x48(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    124e <wigNaiveSynthesis_symX+0x14e>
jmp    12ac <wigNaiveSynthesis_symX+0x1ac>
mov    -0x30(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    -0x34(%rbp),%ecx
cmp    %ecx,%eax
jge    1399 <wigNaiveSynthesis_symX+0x299>
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  -0x48(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%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  -0x50(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%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  -0x58(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%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  -0x60(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
mov    -0x30(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x30(%rbp)
jmp    12ac <wigNaiveSynthesis_symX+0x1ac>
cvtsi2sdl -0x3c(%rbp),%xmm0
movsd  -0x48(%rbp),%xmm1
addsd  -0x50(%rbp),%xmm1
addsd  -0x58(%rbp),%xmm1
addsd  -0x60(%rbp),%xmm1
mulsd  %xmm1,%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    121b <wigNaiveSynthesis_symX+0x11b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<wigNaiveSynthesis_symX>:
push   %rbp
push   %r14
push   %rbx
mov    %edi,%eax
neg    %eax
cmovs  %edi,%eax
mov    %esi,%ebp
neg    %ebp
cmovs  %esi,%ebp
mov    %edi,%ebx
sub    %esi,%ebx
add    %edi,%esi
test   %ebx,%ebx
cmovg  %ebx,%esi
test   %edx,%edx
jle    127d <wigNaiveSynthesis_symX+0x17d>
cmp    %ebp,%eax
cmova  %eax,%ebp
mov    %edx,%r10d
sub    %ebp,%r10d
lea    0x3(%r10),%eax
test   %r10d,%r10d
cmovns %r10d,%eax
lea    (%rdx,%rdx,1),%ebx
and    $0xfffffffc,%eax
mov    %r10d,%edi
sub    %eax,%edi
xor    %eax,%eax
test   %edi,%edi
mov    $0x0,%r11d
cmovg  %edi,%r11d
cmp    $0x2,%ebx
mov    $0x1,%r14d
cmovge %ebx,%r14d
movslq %r10d,%rbx
movslq %edx,%rdx
shl    $0x3,%rdx
movslq %ebp,%rbp
shl    $0x3,%rbp
sub    %rbp,%rdx
xorpd  %xmm0,%xmm0
movapd 0xe7f(%rip),%xmm1
jmp    11a6 <wigNaiveSynthesis_symX+0xa6>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movsd  %xmm4,(%r9,%rax,8)
add    %rdx,%r8
add    $0x1,%rax
cmp    %r14,%rax
je     127d <wigNaiveSynthesis_symX+0x17d>
mov    $0x0,%ebp
xorpd  %xmm2,%xmm2
test   %edi,%edi
jle    11e0 <wigNaiveSynthesis_symX+0xe0>
movsd  (%r8),%xmm2
mulsd  (%rcx),%xmm2
addsd  %xmm0,%xmm2
cmp    $0x1,%edi
je     124b <wigNaiveSynthesis_symX+0x14b>
movsd  0x8(%r8),%xmm3
mulsd  0x8(%rcx),%xmm3
addsd  %xmm3,%xmm2
cmp    $0x2,%edi
jne    123c <wigNaiveSynthesis_symX+0x13c>
mov    %edi,%ebp
nop
cmp    %r10d,%ebp
jge    1252 <wigNaiveSynthesis_symX+0x152>
xorpd  %xmm5,%xmm5
xorpd  %xmm3,%xmm3
mov    %r11,%rbp
movsd  (%r8,%rbp,8),%xmm4
mulsd  (%rcx,%rbp,8),%xmm4
movapd %xmm5,%xmm6
addsd  %xmm4,%xmm2
movupd 0x8(%r8,%rbp,8),%xmm5
movupd 0x8(%rcx,%rbp,8),%xmm4
mulpd  %xmm5,%xmm4
movapd %xmm4,%xmm5
movsd  0x18(%r8,%rbp,8),%xmm7
mulsd  0x18(%rcx,%rbp,8),%xmm7
addpd  %xmm6,%xmm5
addsd  %xmm7,%xmm3
add    $0x4,%rbp
cmp    %rbx,%rbp
jl     11f0 <wigNaiveSynthesis_symX+0xf0>
addpd  %xmm6,%xmm4
jmp    125a <wigNaiveSynthesis_symX+0x15a>
movsd  0x10(%r8),%xmm3
mulsd  0x10(%rcx),%xmm3
addsd  %xmm3,%xmm2
mov    %edi,%ebp
cmp    %r10d,%ebp
jl     11e5 <wigNaiveSynthesis_symX+0xe5>
xorpd  %xmm4,%xmm4
xorpd  %xmm3,%xmm3
addsd  %xmm4,%xmm2
unpckhpd %xmm4,%xmm4
addsd  %xmm2,%xmm4
addsd  %xmm3,%xmm4
test   $0x1,%sil
je     1190 <wigNaiveSynthesis_symX+0x90>
xorpd  %xmm1,%xmm4
jmp    1190 <wigNaiveSynthesis_symX+0x90>
pop    %rbx
pop    %r14
pop    %rbp
ret

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

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