void mp_mul_rcmul_nt_in2(int n, double *a, double *b, int nc, double *c) {
  int j, k, kk, ks, m;
  double wkr, wki, xr, xi, yr, yi, bjr, bji, bkr, bki;
  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;
    xr = a[j] - yr;
    xi = a[j + 1] - yi;
    yr = a[k] + yr;
    yi = a[k + 1] - yi;
    a[j] = xr;
    a[j + 1] = xi;
    a[k] = yr;
    a[k + 1] = yi;
    bjr = b[j] * xr - b[j + 1] * xi;
    bji = b[j] * xi + b[j + 1] * xr;
    bkr = b[k] * yr - b[k + 1] * yi;
    bki = b[k] * yi + b[k + 1] * yr;
    xr = bjr - bkr;
    xi = bji + bki;
    yr = wkr * xr + wki * xi;
    yi = wkr * xi - wki * xr;
    b[j] = bjr - yr;
    b[j + 1] = bji - yi;
    b[k] = bkr + yr;
    b[k + 1] = bki - yi;
  }
  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_in2>:
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    14e9 <mp_mul_rcmul_nt_in2+0x3e9>
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,-0x58(%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,-0x60(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
addsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
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,-0x70(%rbp)
movsd  -0x58(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x60(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x68(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x70(%rbp),%xmm0
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
movsd  -0x58(%rbp),%xmm2
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%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,-0x78(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  -0x60(%rbp),%xmm2
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  -0x58(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x80(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  -0x68(%rbp),%xmm2
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  -0x70(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  -0x70(%rbp),%xmm2
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  -0x68(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x78(%rbp),%xmm0
subsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0x58(%rbp)
movsd  -0x80(%rbp),%xmm0
addsd  -0x90(%rbp),%xmm0
ff
movsd  %xmm0,-0x60(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm2
movsd  -0x50(%rbp),%xmm1
mulsd  -0x60(%rbp),%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
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x78(%rbp),%xmm0
subsd  -0x68(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x80(%rbp),%xmm0
subsd  -0x70(%rbp),%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
addsd  -0x68(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x90(%rbp),%xmm0
ff
subsd  -0x70(%rbp),%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_in2+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_in2>:
push   %rbx
mov    %rdx,%r9
mov    %edi,%ebx
sar    %ebx
movslq %ebx,%r10
cmp    $0x5,%edi
jle    12a2 <mp_mul_rcmul_nt_in2+0x1a2>
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,%xmm2
subsd  (%rdx),%xmm2
movupd (%rsi,%rbx,8),%xmm1
movupd (%rsi,%rdi,8),%xmm5
movapd %xmm1,%xmm0
subpd  %xmm5,%xmm0
movapd %xmm1,%xmm7
addpd  %xmm5,%xmm7
movapd %xmm7,%xmm6
movsd  %xmm0,%xmm6
movsd  (%rcx),%xmm11
movapd %xmm11,%xmm10
xorpd  %xmm9,%xmm10
shufpd $0x1,%xmm11,%xmm7
movapd %xmm10,%xmm4
unpcklpd %xmm0,%xmm4
mulpd  %xmm7,%xmm4
unpcklpd %xmm2,%xmm2
mulpd  %xmm2,%xmm6
addpd  %xmm4,%xmm6
subpd  %xmm6,%xmm1
movapd %xmm5,%xmm4
addpd  %xmm6,%xmm4
subpd  %xmm6,%xmm5
movapd %xmm5,%xmm0
movsd  %xmm4,%xmm0
movupd %xmm1,(%rsi,%rbx,8)
movupd %xmm0,(%rsi,%rdi,8)
movsd  (%r9,%rbx,8),%xmm6
movsd  0x8(%r9,%rbx,8),%xmm3
movapd %xmm3,%xmm7
xorpd  %xmm9,%xmm7
unpcklpd %xmm6,%xmm6
mulpd  %xmm1,%xmm6
shufpd $0x1,%xmm1,%xmm1
unpcklpd %xmm3,%xmm7
mulpd  %xmm1,%xmm7
addpd  %xmm7,%xmm6
movsd  (%r9,%rdi,8),%xmm7
movsd  0x8(%r9,%rdi,8),%xmm1
movapd %xmm1,%xmm3
xorpd  %xmm9,%xmm3
shufpd $0x1,%xmm4,%xmm5
unpcklpd %xmm1,%xmm3
mulpd  %xmm5,%xmm3
unpcklpd %xmm7,%xmm7
mulpd  %xmm0,%xmm7
addpd  %xmm3,%xmm7
movapd %xmm6,%xmm0
subpd  %xmm7,%xmm0
movapd %xmm6,%xmm1
addpd  %xmm7,%xmm1
movapd %xmm1,%xmm3
movsd  %xmm0,%xmm3
unpcklpd %xmm0,%xmm11
shufpd $0x1,%xmm10,%xmm1
mulpd  %xmm11,%xmm1
mulpd  %xmm2,%xmm3
addpd  %xmm1,%xmm3
subpd  %xmm3,%xmm6
movupd %xmm6,(%r9,%rbx,8)
movapd %xmm7,%xmm0
addpd  %xmm3,%xmm0
subpd  %xmm3,%xmm7
movsd  %xmm0,%xmm7
movupd %xmm7,(%r9,%rdi,8)
add    $0x2,%rbx
add    %rax,%rcx
add    %r8,%rdx
add    $0xfffffffffffffffe,%rdi
cmp    %r11,%rbx
jl     1160 <mp_mul_rcmul_nt_in2+0x60>
jmp    12a5 <mp_mul_rcmul_nt_in2+0x1a5>
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_in2(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* %18
%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* %19
%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* %20
%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* %21
%123 = load double, double* %18
%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* %19
%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* %20
%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* %21
%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* %18
%151 = load double*, double** %8
%152 = load i32, i32* %11
%153 = add nsw i32 %152, 1
%154 = sext i32 %153 to i64
%155 = getelementptr inbounds double, double* %151, i64 %154
%156 = load double, double* %155
%157 = load double, double* %19
%158 = fmul double %156, %157
%159 = fneg double %158
%160 = call double @llvm.fmuladd.f64(double %149, double %150, double %159)
store double %160, double* %22
%161 = load double*, double** %8
%162 = load i32, i32* %11
%163 = sext i32 %162 to i64
%164 = getelementptr inbounds double, double* %161, i64 %163
%165 = load double, double* %164
%166 = load double, double* %19
%167 = load double*, double** %8
%168 = load i32, i32* %11
%169 = add nsw i32 %168, 1
%170 = sext i32 %169 to i64
%171 = getelementptr inbounds double, double* %167, i64 %170
%172 = load double, double* %171
%173 = load double, double* %18
%174 = fmul double %172, %173
%175 = call double @llvm.fmuladd.f64(double %165, double %166, double %174)
store double %175, double* %23
%176 = load double*, double** %8
%177 = load i32, i32* %12
%178 = sext i32 %177 to i64
%179 = getelementptr inbounds double, double* %176, i64 %178
%180 = load double, double* %179
%181 = load double, double* %20
%182 = load double*, double** %8
%183 = load i32, i32* %12
%184 = add nsw i32 %183, 1
%185 = sext i32 %184 to i64
%186 = getelementptr inbounds double, double* %182, i64 %185
%187 = load double, double* %186
%188 = load double, double* %21
%189 = fmul double %187, %188
%190 = fneg double %189
%191 = call double @llvm.fmuladd.f64(double %180, double %181, double %190)
store double %191, double* %24
%192 = load double*, double** %8
%193 = load i32, i32* %12
%194 = sext i32 %193 to i64
%195 = getelementptr inbounds double, double* %192, i64 %194
%196 = load double, double* %195
%197 = load double, double* %21
%198 = load double*, double** %8
%199 = load i32, i32* %12
%200 = add nsw i32 %199, 1
%201 = sext i32 %200 to i64
%202 = getelementptr inbounds double, double* %198, i64 %201
%203 = load double, double* %202
%204 = load double, double* %20
%205 = fmul double %203, %204
%206 = call double @llvm.fmuladd.f64(double %196, double %197, double %205)
store double %206, double* %25
%207 = load double, double* %22
%208 = load double, double* %24
%209 = fsub double %207, %208
store double %209, double* %18
%210 = load double, double* %23
%211 = load double, double* %25
%212 = fadd double %210, %211
store double %212, double* %19
%213 = load double, double* %16
%214 = load double, double* %18
%215 = load double, double* %17
%216 = load double, double* %19
%217 = fmul double %215, %216
%218 = call double @llvm.fmuladd.f64(double %213, double %214, double %217)
store double %218, double* %20
%219 = load double, double* %16
%220 = load double, double* %19
%221 = load double, double* %17
%222 = load double, double* %18
%223 = fmul double %221, %222
%224 = fneg double %223
%225 = call double @llvm.fmuladd.f64(double %219, double %220, double %224)
store double %225, double* %21
%226 = load double, double* %22
%227 = load double, double* %20
%228 = fsub double %226, %227
%229 = load double*, double** %8
%230 = load i32, i32* %11
%231 = sext i32 %230 to i64
%232 = getelementptr inbounds double, double* %229, i64 %231
store double %228, double* %232
%233 = load double, double* %23
%234 = load double, double* %21
%235 = fsub double %233, %234
%236 = load double*, double** %8
%237 = load i32, i32* %11
%238 = add nsw i32 %237, 1
%239 = sext i32 %238 to i64
%240 = getelementptr inbounds double, double* %236, i64 %239
store double %235, double* %240
%241 = load double, double* %24
%242 = load double, double* %20
%243 = fadd double %241, %242
%244 = load double*, double** %8
%245 = load i32, i32* %12
%246 = sext i32 %245 to i64
%247 = getelementptr inbounds double, double* %244, i64 %246
store double %243, double* %247
%248 = load double, double* %25
%249 = load double, double* %21
%250 = fsub double %248, %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_in2(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 %97
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 ], [ %95, %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 = or i64 %19, 1
%31 = bitcast double* %28 to <2 x double>*
%32 = load <2 x double>, <2 x double>* %31
%33 = add nsw i64 %20, 1
%34 = bitcast double* %29 to <2 x double>*
%35 = load <2 x double>, <2 x double>* %34
%36 = fsub <2 x double> %32, %35
%37 = fadd <2 x double> %32, %35
%38 = shufflevector <2 x double> %36, <2 x double> %37, <2 x i32> <i32 0, i32 3>
%39 = fneg double %27
%40 = extractelement <2 x double> %37, i64 1
%41 = insertelement <2 x double> poison, double %40, i64 0
%42 = insertelement <2 x double> %41, double %27, i64 1
%43 = insertelement <2 x double> poison, double %39, i64 0
%44 = shufflevector <2 x double> %43, <2 x double> %36, <2 x i32> <i32 0, i32 2>
%45 = fmul <2 x double> %42, %44
%46 = insertelement <2 x double> poison, double %25, i64 0
%47 = shufflevector <2 x double> %46, <2 x double> poison, <2 x i32> zeroinitializer
%48 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %47, <2 x double> %38, <2 x double> %45)
%49 = fsub <2 x double> %32, %48
%50 = fadd <2 x double> %35, %48
%51 = fsub <2 x double> %35, %48
%52 = shufflevector <2 x double> %50, <2 x double> %51, <2 x i32> <i32 0, i32 3>
%53 = bitcast double* %28 to <2 x double>*
store <2 x double> %49, <2 x double>* %53
%54 = bitcast double* %29 to <2 x double>*
store <2 x double> %52, <2 x double>* %54
%55 = getelementptr inbounds double, double* %2, i64 %19
%56 = load double, double* %55
%57 = getelementptr inbounds double, double* %2, i64 %30
%58 = load double, double* %57
%59 = fneg double %58
%60 = insertelement <2 x double> poison, double %58, i64 0
%61 = insertelement <2 x double> %60, double %59, i64 1
%62 = fmul <2 x double> %49, %61
%63 = shufflevector <2 x double> %62, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%64 = insertelement <2 x double> poison, double %56, i64 0
%65 = shufflevector <2 x double> %64, <2 x double> poison, <2 x i32> zeroinitializer
%66 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %65, <2 x double> %49, <2 x double> %63)
%67 = getelementptr inbounds double, double* %2, i64 %20
%68 = load double, double* %67
%69 = getelementptr inbounds double, double* %2, i64 %33
%70 = load double, double* %69
%71 = fneg double %70
%72 = insertelement <2 x double> poison, double %70, i64 0
%73 = insertelement <2 x double> %72, double %71, i64 1
%74 = fmul <2 x double> %52, %73
%75 = shufflevector <2 x double> %74, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%76 = insertelement <2 x double> poison, double %68, i64 0
%77 = shufflevector <2 x double> %76, <2 x double> poison, <2 x i32> zeroinitializer
%78 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %77, <2 x double> %52, <2 x double> %75)
%79 = fsub <2 x double> %66, %78
%80 = fadd <2 x double> %66, %78
%81 = shufflevector <2 x double> %79, <2 x double> %80, <2 x i32> <i32 0, i32 3>
%82 = insertelement <2 x double> poison, double %27, i64 0
%83 = shufflevector <2 x double> %82, <2 x double> %79, <2 x i32> <i32 0, i32 2>
%84 = extractelement <2 x double> %80, i64 1
%85 = insertelement <2 x double> poison, double %84, i64 0
%86 = insertelement <2 x double> %85, double %39, i64 1
%87 = fmul <2 x double> %83, %86
%88 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %47, <2 x double> %81, <2 x double> %87)
%89 = fsub <2 x double> %66, %88
%90 = bitcast double* %55 to <2 x double>*
store <2 x double> %89, <2 x double>* %90
%91 = fadd <2 x double> %78, %88
%92 = fsub <2 x double> %78, %88
%93 = shufflevector <2 x double> %91, <2 x double> %92, <2 x i32> <i32 0, i32 3>
%94 = bitcast double* %67 to <2 x double>*
store <2 x double> %93, <2 x double>* %94
%95 = add nuw nsw i64 %19, 2
%96 = icmp slt i64 %95, %14
br i1 %96, label %17, label %97
97: ; preds = %17, %8
%98 = phi i64 [ %9, %8 ], [ %14, %17 ]
%99 = getelementptr inbounds double, double* %1, i64 %98
%100 = load double, double* %99
%101 = add nsw i32 %6, 1
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds double, double* %1, i64 %102
%104 = load double, double* %103
%105 = getelementptr inbounds double, double* %2, i64 %98
%106 = load double, double* %105
%107 = getelementptr inbounds double, double* %2, i64 %102
%108 = load double, double* %107
%109 = fneg double %104
%110 = fmul double %108, %109
%111 = tail call double @llvm.fmuladd.f64(double %100, double %106, double %110)
store double %111, double* %105
%112 = fmul double %104, %106
%113 = tail call double @llvm.fmuladd.f64(double %100, double %108, double %112)
store double %113, double* %107
ret void
}