void mp_mul_rcmul_nt_out(int n, double *a, double *b, int nc, double *c) {
  int j, k, kk, ks, m;
  double wkr, wki, xr, xi, yr, yi, ajr, aji, akr, aki;
  ks = (nc << 2) / n;
  kk = 0;
  m = n >> 1;
  for (j = 2; j < m; j += 2) {
    k = n - j;
    kk += ks;
    wkr = ((double)0.5) - c[nc - kk];
    wki = c[kk];
    xr = a[j] - a[k];
    xi = a[j + 1] + a[k + 1];
    yr = wkr * xr - wki * xi;
    yi = wkr * xi + wki * xr;
    ajr = a[j] - yr;
    aji = a[j + 1] - yi;
    akr = a[k] + yr;
    aki = a[k + 1] - yi;
    a[j] = ajr;
    a[j + 1] = aji;
    a[k] = akr;
    a[k + 1] = aki;
    xr = b[j] - b[k];
    xi = b[j + 1] + b[k + 1];
    yr = wkr * xr - wki * xi;
    yi = wkr * xi + wki * xr;
    xr = b[j] - yr;
    xi = b[j + 1] - yi;
    yr = b[k] + yr;
    yi = b[k + 1] - yi;
    b[j] = ajr * xr - aji * xi;
    b[j + 1] = ajr * xi + aji * xr;
    b[k] = akr * yr - aki * yi;
    b[k + 1] = akr * yi + aki * yr;
  }
  xr = a[m];
  xi = a[m + 1];
  yr = b[m];
  yi = b[m + 1];
  b[m] = xr * yr - xi * yi;
  b[m + 1] = xr * yi + xi * yr;
}


x86 assembly (clang, -O0):
<mp_mul_rcmul_nt_out>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
shl    $0x2,%eax
cltd
idivl  -0x4(%rbp)
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x4(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x3c(%rbp)
movl   $0x2,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    14ef <mp_mul_rcmul_nt_out+0x3ef>
mov    -0x4(%rbp),%eax
sub    -0x2c(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x38(%rbp),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    -0x34(%rbp),%ecx
movslq %ecx,%rcx
movsd  0xe8f(%rip),%xmm0
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm2
movsd  -0x50(%rbp),%xmm1
mulsd  -0x60(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  -0x60(%rbp),%xmm2
movsd  -0x50(%rbp),%xmm1
mulsd  -0x58(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
addsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x78(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x80(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x88(%rbp),%xmm0
ff
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x90(%rbp),%xmm0
ff
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x2c(%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
addsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm2
movsd  -0x50(%rbp),%xmm1
mulsd  -0x60(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  -0x60(%rbp),%xmm2
movsd  -0x50(%rbp),%xmm1
mulsd  -0x58(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
addsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x78(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm2
movsd  -0x80(%rbp),%xmm1
mulsd  -0x60(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x78(%rbp),%xmm0
movsd  -0x60(%rbp),%xmm2
movsd  -0x80(%rbp),%xmm1
mulsd  -0x58(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x88(%rbp),%xmm0
ff
movsd  -0x68(%rbp),%xmm2
movsd  -0x90(%rbp),%xmm1
ff
mulsd  -0x70(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x88(%rbp),%xmm0
ff
movsd  -0x70(%rbp),%xmm2
movsd  -0x90(%rbp),%xmm1
ff
mulsd  -0x68(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x2c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x2c(%rbp)
jmp    113e <mp_mul_rcmul_nt_out+0x3e>
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x60(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x68(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x58(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm1
mulsd  -0x70(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x58(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm1
mulsd  -0x68(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mp_mul_rcmul_nt_out>:
push   %rbx
mov    %rdx,%r9
mov    %edi,%ebx
sar    %ebx
movslq %ebx,%r10
cmp    $0x5,%edi
jle    12a5 <mp_mul_rcmul_nt_out+0x1a5>
lea    0x0(,%rcx,4),%eax
cltd
idiv   %edi
mov    %edi,%edi
movslq %ebx,%r11
cltq
movslq %ecx,%rdx
lea    (%r8,%rax,8),%rcx
sub    %rax,%rdx
shl    $0x3,%rax
lea    (%r8,%rdx,8),%rdx
mov    %rax,%r8
neg    %r8
add    $0xfffffffffffffffe,%rdi
mov    $0x2,%ebx
movsd  0xeb1(%rip),%xmm8
movapd 0xeb8(%rip),%xmm9
nopl   0x0(%rax,%rax,1)
movapd %xmm8,%xmm11
subsd  (%rdx),%xmm11
movupd (%rsi,%rbx,8),%xmm3
movupd (%rsi,%rdi,8),%xmm2
movapd %xmm3,%xmm0
subpd  %xmm2,%xmm0
movapd %xmm3,%xmm4
addpd  %xmm2,%xmm4
movapd %xmm4,%xmm5
movsd  %xmm0,%xmm5
movsd  (%rcx),%xmm10
movapd %xmm10,%xmm1
xorpd  %xmm9,%xmm1
shufpd $0x1,%xmm10,%xmm4
movapd %xmm1,%xmm7
unpcklpd %xmm0,%xmm7
mulpd  %xmm4,%xmm7
unpcklpd %xmm11,%xmm11
mulpd  %xmm11,%xmm5
addpd  %xmm7,%xmm5
subpd  %xmm5,%xmm3
movapd %xmm2,%xmm12
addpd  %xmm5,%xmm12
subpd  %xmm5,%xmm2
movapd %xmm2,%xmm0
movsd  %xmm12,%xmm0
movupd %xmm3,(%rsi,%rbx,8)
movupd %xmm0,(%rsi,%rdi,8)
movupd (%r9,%rbx,8),%xmm4
movupd (%r9,%rdi,8),%xmm5
movapd %xmm4,%xmm7
subpd  %xmm5,%xmm7
movapd %xmm4,%xmm6
addpd  %xmm5,%xmm6
movapd %xmm6,%xmm0
movsd  %xmm7,%xmm0
shufpd $0x1,%xmm10,%xmm6
unpcklpd %xmm7,%xmm1
mulpd  %xmm6,%xmm1
mulpd  %xmm11,%xmm0
addpd  %xmm1,%xmm0
subpd  %xmm0,%xmm4
movapd %xmm5,%xmm1
addpd  %xmm0,%xmm1
subpd  %xmm0,%xmm5
movapd %xmm5,%xmm0
movsd  %xmm1,%xmm0
movapd %xmm3,%xmm6
unpckhpd %xmm3,%xmm6
xorpd  %xmm9,%xmm6
movapd %xmm4,%xmm7
unpckhpd %xmm3,%xmm7
unpcklpd %xmm4,%xmm6
mulpd  %xmm7,%xmm6
unpcklpd %xmm3,%xmm3
mulpd  %xmm4,%xmm3
addpd  %xmm6,%xmm3
movupd %xmm3,(%r9,%rbx,8)
unpckhpd %xmm2,%xmm5
unpckhpd %xmm2,%xmm2
xorpd  %xmm9,%xmm2
unpcklpd %xmm1,%xmm2
mulpd  %xmm5,%xmm2
unpcklpd %xmm12,%xmm12
mulpd  %xmm0,%xmm12
addpd  %xmm2,%xmm12
movupd %xmm12,(%r9,%rdi,8)
add    $0x2,%rbx
add    %rax,%rcx
add    %r8,%rdx
add    $0xfffffffffffffffe,%rdi
cmp    %r11,%rbx
jl     1160 <mp_mul_rcmul_nt_out+0x60>
jmp    12a8 <mp_mul_rcmul_nt_out+0x1a8>
mov    %r10,%r11
movsd  (%rsi,%r11,8),%xmm0
movsd  0x8(%rsi,%r10,8),%xmm1
movsd  (%r9,%r11,8),%xmm2
movsd  0x8(%r9,%r10,8),%xmm3
movapd %xmm0,%xmm4
mulsd  %xmm3,%xmm0
mulsd  %xmm1,%xmm3
mulsd  %xmm2,%xmm4
subsd  %xmm3,%xmm4
movsd  %xmm4,(%r9,%r11,8)
mulsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,0x8(%r9,%r10,8)
pop    %rbx
ret

LLVM IR (-O0):
define void @mp_mul_rcmul_nt_out(i32 %0, double* %1, double* %2, i32 %3, double* %4) {
%6 = alloca i32
%7 = alloca double*
%8 = alloca double*
%9 = alloca i32
%10 = alloca double*
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca double
%17 = alloca double
%18 = alloca double
%19 = alloca double
%20 = alloca double
%21 = alloca double
%22 = alloca double
%23 = alloca double
%24 = alloca double
%25 = alloca double
store i32 %0, i32* %6
store double* %1, double** %7
store double* %2, double** %8
store i32 %3, i32* %9
store double* %4, double** %10
%26 = load i32, i32* %9
%27 = shl i32 %26, 2
%28 = load i32, i32* %6
%29 = sdiv i32 %27, %28
store i32 %29, i32* %14
store i32 0, i32* %13
%30 = load i32, i32* %6
%31 = ashr i32 %30, 1
store i32 %31, i32* %15
store i32 2, i32* %11
br label %32
32: ; preds = %256, %5
%33 = load i32, i32* %11
%34 = load i32, i32* %15
%35 = icmp slt i32 %33, %34
br i1 %35, label %36, label %259
36: ; preds = %32
%37 = load i32, i32* %6
%38 = load i32, i32* %11
%39 = sub nsw i32 %37, %38
store i32 %39, i32* %12
%40 = load i32, i32* %14
%41 = load i32, i32* %13
%42 = add nsw i32 %41, %40
store i32 %42, i32* %13
%43 = load double*, double** %10
%44 = load i32, i32* %9
%45 = load i32, i32* %13
%46 = sub nsw i32 %44, %45
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds double, double* %43, i64 %47
%49 = load double, double* %48
%50 = fsub double 5.000000e-01, %49
store double %50, double* %16
%51 = load double*, double** %10
%52 = load i32, i32* %13
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds double, double* %51, i64 %53
%55 = load double, double* %54
store double %55, double* %17
%56 = load double*, double** %7
%57 = load i32, i32* %11
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds double, double* %56, i64 %58
%60 = load double, double* %59
%61 = load double*, double** %7
%62 = load i32, i32* %12
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds double, double* %61, i64 %63
%65 = load double, double* %64
%66 = fsub double %60, %65
store double %66, double* %18
%67 = load double*, double** %7
%68 = load i32, i32* %11
%69 = add nsw i32 %68, 1
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds double, double* %67, i64 %70
%72 = load double, double* %71
%73 = load double*, double** %7
%74 = load i32, i32* %12
%75 = add nsw i32 %74, 1
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds double, double* %73, i64 %76
%78 = load double, double* %77
%79 = fadd double %72, %78
store double %79, double* %19
%80 = load double, double* %16
%81 = load double, double* %18
%82 = load double, double* %17
%83 = load double, double* %19
%84 = fmul double %82, %83
%85 = fneg double %84
%86 = call double @llvm.fmuladd.f64(double %80, double %81, double %85)
store double %86, double* %20
%87 = load double, double* %16
%88 = load double, double* %19
%89 = load double, double* %17
%90 = load double, double* %18
%91 = fmul double %89, %90
%92 = call double @llvm.fmuladd.f64(double %87, double %88, double %91)
store double %92, double* %21
%93 = load double*, double** %7
%94 = load i32, i32* %11
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds double, double* %93, i64 %95
%97 = load double, double* %96
%98 = load double, double* %20
%99 = fsub double %97, %98
store double %99, double* %22
%100 = load double*, double** %7
%101 = load i32, i32* %11
%102 = add nsw i32 %101, 1
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds double, double* %100, i64 %103
%105 = load double, double* %104
%106 = load double, double* %21
%107 = fsub double %105, %106
store double %107, double* %23
%108 = load double*, double** %7
%109 = load i32, i32* %12
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds double, double* %108, i64 %110
%112 = load double, double* %111
%113 = load double, double* %20
%114 = fadd double %112, %113
store double %114, double* %24
%115 = load double*, double** %7
%116 = load i32, i32* %12
%117 = add nsw i32 %116, 1
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds double, double* %115, i64 %118
%120 = load double, double* %119
%121 = load double, double* %21
%122 = fsub double %120, %121
store double %122, double* %25
%123 = load double, double* %22
%124 = load double*, double** %7
%125 = load i32, i32* %11
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds double, double* %124, i64 %126
store double %123, double* %127
%128 = load double, double* %23
%129 = load double*, double** %7
%130 = load i32, i32* %11
%131 = add nsw i32 %130, 1
%132 = sext i32 %131 to i64
%133 = getelementptr inbounds double, double* %129, i64 %132
store double %128, double* %133
%134 = load double, double* %24
%135 = load double*, double** %7
%136 = load i32, i32* %12
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds double, double* %135, i64 %137
store double %134, double* %138
%139 = load double, double* %25
%140 = load double*, double** %7
%141 = load i32, i32* %12
%142 = add nsw i32 %141, 1
%143 = sext i32 %142 to i64
%144 = getelementptr inbounds double, double* %140, i64 %143
store double %139, double* %144
%145 = load double*, double** %8
%146 = load i32, i32* %11
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds double, double* %145, i64 %147
%149 = load double, double* %148
%150 = load double*, double** %8
%151 = load i32, i32* %12
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds double, double* %150, i64 %152
%154 = load double, double* %153
%155 = fsub double %149, %154
store double %155, double* %18
%156 = load double*, double** %8
%157 = load i32, i32* %11
%158 = add nsw i32 %157, 1
%159 = sext i32 %158 to i64
%160 = getelementptr inbounds double, double* %156, i64 %159
%161 = load double, double* %160
%162 = load double*, double** %8
%163 = load i32, i32* %12
%164 = add nsw i32 %163, 1
%165 = sext i32 %164 to i64
%166 = getelementptr inbounds double, double* %162, i64 %165
%167 = load double, double* %166
%168 = fadd double %161, %167
store double %168, double* %19
%169 = load double, double* %16
%170 = load double, double* %18
%171 = load double, double* %17
%172 = load double, double* %19
%173 = fmul double %171, %172
%174 = fneg double %173
%175 = call double @llvm.fmuladd.f64(double %169, double %170, double %174)
store double %175, double* %20
%176 = load double, double* %16
%177 = load double, double* %19
%178 = load double, double* %17
%179 = load double, double* %18
%180 = fmul double %178, %179
%181 = call double @llvm.fmuladd.f64(double %176, double %177, double %180)
store double %181, double* %21
%182 = load double*, double** %8
%183 = load i32, i32* %11
%184 = sext i32 %183 to i64
%185 = getelementptr inbounds double, double* %182, i64 %184
%186 = load double, double* %185
%187 = load double, double* %20
%188 = fsub double %186, %187
store double %188, double* %18
%189 = load double*, double** %8
%190 = load i32, i32* %11
%191 = add nsw i32 %190, 1
%192 = sext i32 %191 to i64
%193 = getelementptr inbounds double, double* %189, i64 %192
%194 = load double, double* %193
%195 = load double, double* %21
%196 = fsub double %194, %195
store double %196, double* %19
%197 = load double*, double** %8
%198 = load i32, i32* %12
%199 = sext i32 %198 to i64
%200 = getelementptr inbounds double, double* %197, i64 %199
%201 = load double, double* %200
%202 = load double, double* %20
%203 = fadd double %201, %202
store double %203, double* %20
%204 = load double*, double** %8
%205 = load i32, i32* %12
%206 = add nsw i32 %205, 1
%207 = sext i32 %206 to i64
%208 = getelementptr inbounds double, double* %204, i64 %207
%209 = load double, double* %208
%210 = load double, double* %21
%211 = fsub double %209, %210
store double %211, double* %21
%212 = load double, double* %22
%213 = load double, double* %18
%214 = load double, double* %23
%215 = load double, double* %19
%216 = fmul double %214, %215
%217 = fneg double %216
%218 = call double @llvm.fmuladd.f64(double %212, double %213, double %217)
%219 = load double*, double** %8
%220 = load i32, i32* %11
%221 = sext i32 %220 to i64
%222 = getelementptr inbounds double, double* %219, i64 %221
store double %218, double* %222
%223 = load double, double* %22
%224 = load double, double* %19
%225 = load double, double* %23
%226 = load double, double* %18
%227 = fmul double %225, %226
%228 = call double @llvm.fmuladd.f64(double %223, double %224, double %227)
%229 = load double*, double** %8
%230 = load i32, i32* %11
%231 = add nsw i32 %230, 1
%232 = sext i32 %231 to i64
%233 = getelementptr inbounds double, double* %229, i64 %232
store double %228, double* %233
%234 = load double, double* %24
%235 = load double, double* %20
%236 = load double, double* %25
%237 = load double, double* %21
%238 = fmul double %236, %237
%239 = fneg double %238
%240 = call double @llvm.fmuladd.f64(double %234, double %235, double %239)
%241 = load double*, double** %8
%242 = load i32, i32* %12
%243 = sext i32 %242 to i64
%244 = getelementptr inbounds double, double* %241, i64 %243
store double %240, double* %244
%245 = load double, double* %24
%246 = load double, double* %21
%247 = load double, double* %25
%248 = load double, double* %20
%249 = fmul double %247, %248
%250 = call double @llvm.fmuladd.f64(double %245, double %246, double %249)
%251 = load double*, double** %8
%252 = load i32, i32* %12
%253 = add nsw i32 %252, 1
%254 = sext i32 %253 to i64
%255 = getelementptr inbounds double, double* %251, i64 %254
store double %250, double* %255
br label %256
256: ; preds = %36
%257 = load i32, i32* %11
%258 = add nsw i32 %257, 2
store i32 %258, i32* %11
br label %32
259: ; preds = %32
%260 = load double*, double** %7
%261 = load i32, i32* %15
%262 = sext i32 %261 to i64
%263 = getelementptr inbounds double, double* %260, i64 %262
%264 = load double, double* %263
store double %264, double* %18
%265 = load double*, double** %7
%266 = load i32, i32* %15
%267 = add nsw i32 %266, 1
%268 = sext i32 %267 to i64
%269 = getelementptr inbounds double, double* %265, i64 %268
%270 = load double, double* %269
store double %270, double* %19
%271 = load double*, double** %8
%272 = load i32, i32* %15
%273 = sext i32 %272 to i64
%274 = getelementptr inbounds double, double* %271, i64 %273
%275 = load double, double* %274
store double %275, double* %20
%276 = load double*, double** %8
%277 = load i32, i32* %15
%278 = add nsw i32 %277, 1
%279 = sext i32 %278 to i64
%280 = getelementptr inbounds double, double* %276, i64 %279
%281 = load double, double* %280
store double %281, double* %21
%282 = load double, double* %18
%283 = load double, double* %20
%284 = load double, double* %19
%285 = load double, double* %21
%286 = fmul double %284, %285
%287 = fneg double %286
%288 = call double @llvm.fmuladd.f64(double %282, double %283, double %287)
%289 = load double*, double** %8
%290 = load i32, i32* %15
%291 = sext i32 %290 to i64
%292 = getelementptr inbounds double, double* %289, i64 %291
store double %288, double* %292
%293 = load double, double* %18
%294 = load double, double* %21
%295 = load double, double* %19
%296 = load double, double* %20
%297 = fmul double %295, %296
%298 = call double @llvm.fmuladd.f64(double %293, double %294, double %297)
%299 = load double*, double** %8
%300 = load i32, i32* %15
%301 = add nsw i32 %300, 1
%302 = sext i32 %301 to i64
%303 = getelementptr inbounds double, double* %299, i64 %302
store double %298, double* %303
ret void
}

LLVM IR (-O2):
define void @mp_mul_rcmul_nt_out(i32 %0, double* nocapture %1, double* nocapture %2, i32 %3, double* nocapture %4) {
%6 = ashr i32 %0, 1
%7 = icmp sgt i32 %0, 5
br i1 %7, label %10, label %8
8: ; preds = %5
%9 = sext i32 %6 to i64
br label %92
10: ; preds = %5
%11 = shl i32 %3, 2
%12 = sdiv i32 %11, %0
%13 = zext i32 %0 to i64
%14 = sext i32 %6 to i64
%15 = sext i32 %12 to i64
%16 = sext i32 %3 to i64
br label %17
17: ; preds = %10, %17
%18 = phi i64 [ 0, %10 ], [ %21, %17 ]
%19 = phi i64 [ 2, %10 ], [ %90, %17 ]
%20 = sub nsw i64 %13, %19
%21 = add nsw i64 %18, %15
%22 = sub nsw i64 %16, %21
%23 = getelementptr inbounds double, double* %4, i64 %22
%24 = load double, double* %23
%25 = fsub double 5.000000e-01, %24
%26 = getelementptr inbounds double, double* %4, i64 %21
%27 = load double, double* %26
%28 = getelementptr inbounds double, double* %1, i64 %19
%29 = getelementptr inbounds double, double* %1, i64 %20
%30 = bitcast double* %28 to <2 x double>*
%31 = load <2 x double>, <2 x double>* %30
%32 = bitcast double* %29 to <2 x double>*
%33 = load <2 x double>, <2 x double>* %32
%34 = fsub <2 x double> %31, %33
%35 = fadd <2 x double> %31, %33
%36 = shufflevector <2 x double> %34, <2 x double> %35, <2 x i32> <i32 0, i32 3>
%37 = fneg double %27
%38 = extractelement <2 x double> %35, i64 1
%39 = insertelement <2 x double> poison, double %38, i64 0
%40 = insertelement <2 x double> %39, double %27, i64 1
%41 = insertelement <2 x double> poison, double %37, i64 0
%42 = shufflevector <2 x double> %41, <2 x double> %34, <2 x i32> <i32 0, i32 2>
%43 = fmul <2 x double> %40, %42
%44 = insertelement <2 x double> poison, double %25, i64 0
%45 = shufflevector <2 x double> %44, <2 x double> poison, <2 x i32> zeroinitializer
%46 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %45, <2 x double> %36, <2 x double> %43)
%47 = fsub <2 x double> %31, %46
%48 = fadd <2 x double> %33, %46
%49 = fsub <2 x double> %33, %46
%50 = shufflevector <2 x double> %48, <2 x double> %49, <2 x i32> <i32 0, i32 3>
%51 = bitcast double* %28 to <2 x double>*
store <2 x double> %47, <2 x double>* %51
%52 = bitcast double* %29 to <2 x double>*
store <2 x double> %50, <2 x double>* %52
%53 = getelementptr inbounds double, double* %2, i64 %19
%54 = getelementptr inbounds double, double* %2, i64 %20
%55 = bitcast double* %53 to <2 x double>*
%56 = load <2 x double>, <2 x double>* %55
%57 = bitcast double* %54 to <2 x double>*
%58 = load <2 x double>, <2 x double>* %57
%59 = fsub <2 x double> %56, %58
%60 = fadd <2 x double> %56, %58
%61 = shufflevector <2 x double> %59, <2 x double> %60, <2 x i32> <i32 0, i32 3>
%62 = extractelement <2 x double> %60, i64 1
%63 = insertelement <2 x double> poison, double %62, i64 0
%64 = insertelement <2 x double> %63, double %27, i64 1
%65 = shufflevector <2 x double> %41, <2 x double> %59, <2 x i32> <i32 0, i32 2>
%66 = fmul <2 x double> %64, %65
%67 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %45, <2 x double> %61, <2 x double> %66)
%68 = fsub <2 x double> %56, %67
%69 = fadd <2 x double> %58, %67
%70 = fsub <2 x double> %58, %67
%71 = shufflevector <2 x double> %69, <2 x double> %70, <2 x i32> <i32 0, i32 3>
%72 = extractelement <2 x double> %47, i64 1
%73 = fneg double %72
%74 = shufflevector <2 x double> %68, <2 x double> %47, <2 x i32> <i32 1, i32 3>
%75 = insertelement <2 x double> poison, double %73, i64 0
%76 = shufflevector <2 x double> %75, <2 x double> %68, <2 x i32> <i32 0, i32 2>
%77 = fmul <2 x double> %74, %76
%78 = shufflevector <2 x double> %47, <2 x double> undef, <2 x i32> zeroinitializer
%79 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %78, <2 x double> %68, <2 x double> %77)
%80 = bitcast double* %53 to <2 x double>*
store <2 x double> %79, <2 x double>* %80
%81 = extractelement <2 x double> %49, i64 1
%82 = fneg double %81
%83 = shufflevector <2 x double> %70, <2 x double> %49, <2 x i32> <i32 1, i32 3>
%84 = insertelement <2 x double> poison, double %82, i64 0
%85 = shufflevector <2 x double> %84, <2 x double> %69, <2 x i32> <i32 0, i32 2>
%86 = fmul <2 x double> %83, %85
%87 = shufflevector <2 x double> %48, <2 x double> undef, <2 x i32> zeroinitializer
%88 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %87, <2 x double> %71, <2 x double> %86)
%89 = bitcast double* %54 to <2 x double>*
store <2 x double> %88, <2 x double>* %89
%90 = add nuw nsw i64 %19, 2
%91 = icmp slt i64 %90, %14
br i1 %91, label %17, label %92
92: ; preds = %17, %8
%93 = phi i64 [ %9, %8 ], [ %14, %17 ]
%94 = getelementptr inbounds double, double* %1, i64 %93
%95 = load double, double* %94
%96 = add nsw i32 %6, 1
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds double, double* %1, i64 %97
%99 = load double, double* %98
%100 = getelementptr inbounds double, double* %2, i64 %93
%101 = load double, double* %100
%102 = getelementptr inbounds double, double* %2, i64 %97
%103 = load double, double* %102
%104 = fneg double %99
%105 = fmul double %103, %104
%106 = tail call double @llvm.fmuladd.f64(double %95, double %101, double %105)
store double %106, double* %100
%107 = fmul double %99, %101
%108 = tail call double @llvm.fmuladd.f64(double %95, double %103, double %107)
store double %108, double* %102
ret void
}