void updateSolutionLocal_CFP64(float _Complex *mat, double _Complex *x,
                               double _Complex *r, int n) {
  int i, j;
  double _Complex t;
  for (i = 0; i < n; ++i) {
    t = 0.0;
    for (j = 0; j < n; ++j) {
      t += conj(mat[i * n + j]) * r[j];
    }
    x[i] = t;
  }
}


x86 assembly (clang, -O0):
<updateSolutionLocal_CFP64>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1298 <updateSolutionLocal_CFP64+0x198>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x38(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x30(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1268 <updateSolutionLocal_CFP64+0x168>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,8),%xmm1
movss  0x4(%rax,%rcx,8),%xmm0
cvtss2sd %xmm1,%xmm1
movsd  %xmm1,-0x78(%rbp)
cvtss2sd %xmm0,%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
movsd  %xmm2,-0x70(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movsd  (%rax),%xmm4
movsd  %xmm4,-0x68(%rbp)
movsd  0x8(%rax),%xmm5
movsd  %xmm5,-0x60(%rbp)
movaps %xmm1,%xmm0
mulsd  %xmm4,%xmm0
movaps %xmm2,%xmm3
mulsd  %xmm5,%xmm3
mulsd  %xmm5,%xmm1
mulsd  %xmm4,%xmm2
subsd  %xmm3,%xmm0
movsd  %xmm0,-0x58(%rbp)
addsd  %xmm2,%xmm1
movsd  %xmm1,-0x50(%rbp)
ucomisd %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  %xmm1,-0x40(%rbp)
jnp    1234 <updateSolutionLocal_CFP64+0x134>
movsd  -0x50(%rbp),%xmm1
movsd  -0x58(%rbp),%xmm0
ucomisd %xmm1,%xmm1
movsd  %xmm0,-0x48(%rbp)
movsd  %xmm1,-0x40(%rbp)
jnp    1234 <updateSolutionLocal_CFP64+0x134>
movsd  -0x60(%rbp),%xmm3
movsd  -0x68(%rbp),%xmm2
movsd  -0x70(%rbp),%xmm1
movsd  -0x78(%rbp),%xmm0
call   12b0 <__muldc3>
movsd  %xmm0,-0x48(%rbp)
movsd  %xmm1,-0x40(%rbp)
movsd  -0x48(%rbp),%xmm3
movsd  -0x40(%rbp),%xmm2
movsd  -0x38(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm0
addsd  %xmm3,%xmm1
addsd  %xmm2,%xmm0
movsd  %xmm1,-0x38(%rbp)
movsd  %xmm0,-0x30(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1144 <updateSolutionLocal_CFP64+0x44>
movsd  -0x38(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movsd  %xmm1,(%rax)
movsd  %xmm0,0x8(%rax)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1121 <updateSolutionLocal_CFP64+0x21>
add    $0x80,%rsp
pop    %rbp
ret
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)

x86 assembly (clang, -O2):
<updateSolutionLocal_CFP64>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
test   %ecx,%ecx
jle    1216 <updateSolutionLocal_CFP64+0x116>
mov    %rdx,%r15
mov    %rdi,%rbx
mov    %ecx,%r12d
add    $0x4,%rbx
lea    0x0(,%r12,8),%r13
xor    %ebp,%ebp
movaps 0xecc(%rip),%xmm7
jmp    115d <updateSolutionLocal_CFP64+0x5d>
cs nopw 0x0(%rax,%rax,1)
mov    %rbp,%rax
shl    $0x4,%rax
movupd %xmm8,(%rsi,%rax,1)
add    $0x1,%rbp
add    %r13,%rbx
cmp    %r12,%rbp
je     1216 <updateSolutionLocal_CFP64+0x116>
xorpd  %xmm8,%xmm8
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
nop
movss  -0x4(%rbx,%r14,1),%xmm0
movss  (%rbx,%r14,1),%xmm1
cvtss2sd %xmm0,%xmm0
cvtss2sd %xmm1,%xmm1
movupd (%r15,%r14,2),%xmm2
movaps %xmm0,%xmm4
movlhps %xmm0,%xmm4
mulpd  %xmm2,%xmm4
movaps %xmm1,%xmm3
movlhps %xmm1,%xmm3
movapd %xmm2,%xmm5
shufpd $0x1,%xmm2,%xmm5
mulpd  %xmm3,%xmm5
movapd %xmm4,%xmm6
addpd  %xmm5,%xmm6
subpd  %xmm5,%xmm4
movapd %xmm4,%xmm3
movsd  %xmm6,%xmm3
ucomisd %xmm6,%xmm6
jp     11d5 <updateSolutionLocal_CFP64+0xd5>
addpd  %xmm3,%xmm8
add    $0x8,%r14
cmp    %r14,%r13
jne    1170 <updateSolutionLocal_CFP64+0x70>
jmp    1140 <updateSolutionLocal_CFP64+0x40>
unpckhpd %xmm4,%xmm4
ucomisd %xmm4,%xmm4
jnp    11c2 <updateSolutionLocal_CFP64+0xc2>
xorps  %xmm7,%xmm1
movapd %xmm2,%xmm3
unpckhpd %xmm2,%xmm3
mov    %rsi,0x8(%rsp)
movapd %xmm8,0x10(%rsp)
call   1230 <__muldc3>
movapd 0x10(%rsp),%xmm8
movaps 0xdf7(%rip),%xmm7
mov    0x8(%rsp),%rsi
movaps %xmm0,%xmm3
movlhps %xmm1,%xmm3
jmp    11c2 <updateSolutionLocal_CFP64+0xc2>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cs nopw 0x0(%rax,%rax,1)
nop

LLVM IR (-O0):
define void @updateSolutionLocal_CFP64({ float, float }* %0, { double, double }* %1, { double, double }* %2, i32 %3) {
%5 = alloca { float, float }*
%6 = alloca { double, double }*
%7 = alloca { double, double }*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca { double, double }
store { float, float }* %0, { float, float }** %5
store { double, double }* %1, { double, double }** %6
store { double, double }* %2, { double, double }** %7
store i32 %3, i32* %8
store i32 0, i32* %9
br label %12
12: ; preds = %85, %4
%13 = load i32, i32* %9
%14 = load i32, i32* %8
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %88
16: ; preds = %12
%17 = getelementptr inbounds { double, double }, { double, double }* %11, i32 0, i32 0
%18 = getelementptr inbounds { double, double }, { double, double }* %11, i32 0, i32 1
store double 0.000000e+00, double* %17
store double 0.000000e+00, double* %18
store i32 0, i32* %10
br label %19
19: ; preds = %71, %16
%20 = load i32, i32* %10
%21 = load i32, i32* %8
%22 = icmp slt i32 %20, %21
br i1 %22, label %23, label %74
23: ; preds = %19
%24 = load { float, float }*, { float, float }** %5
%25 = load i32, i32* %9
%26 = load i32, i32* %8
%27 = mul nsw i32 %25, %26
%28 = load i32, i32* %10
%29 = add nsw i32 %27, %28
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds { float, float }, { float, float }* %24, i64 %30
%32 = getelementptr inbounds { float, float }, { float, float }* %31, i32 0, i32 0
%33 = load float, float* %32
%34 = getelementptr inbounds { float, float }, { float, float }* %31, i32 0, i32 1
%35 = load float, float* %34
%36 = fpext float %33 to double
%37 = fpext float %35 to double
%38 = fneg double %37
%39 = load { double, double }*, { double, double }** %7
%40 = load i32, i32* %10
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds { double, double }, { double, double }* %39, i64 %41
%43 = getelementptr inbounds { double, double }, { double, double }* %42, i32 0, i32 0
%44 = load double, double* %43
%45 = getelementptr inbounds { double, double }, { double, double }* %42, i32 0, i32 1
%46 = load double, double* %45
%47 = fmul double %36, %44
%48 = fmul double %38, %46
%49 = fmul double %36, %46
%50 = fmul double %38, %44
%51 = fsub double %47, %48
%52 = fadd double %49, %50
%53 = fcmp uno double %51, %51
br i1 %53, label %54, label %60
54: ; preds = %23
%55 = fcmp uno double %52, %52
br i1 %55, label %56, label %60
56: ; preds = %54
%57 = call { double, double } @__muldc3(double %36, double %38, double %44, double %46)
%58 = extractvalue { double, double } %57, 0
%59 = extractvalue { double, double } %57, 1
br label %60
60: ; preds = %56, %54, %23
%61 = phi double [ %51, %23 ], [ %51, %54 ], [ %58, %56 ]
%62 = phi double [ %52, %23 ], [ %52, %54 ], [ %59, %56 ]
%63 = getelementptr inbounds { double, double }, { double, double }* %11, i32 0, i32 0
%64 = load double, double* %63
%65 = getelementptr inbounds { double, double }, { double, double }* %11, i32 0, i32 1
%66 = load double, double* %65
%67 = fadd double %64, %61
%68 = fadd double %66, %62
%69 = getelementptr inbounds { double, double }, { double, double }* %11, i32 0, i32 0
%70 = getelementptr inbounds { double, double }, { double, double }* %11, i32 0, i32 1
store double %67, double* %69
store double %68, double* %70
br label %71
71: ; preds = %60
%72 = load i32, i32* %10
%73 = add nsw i32 %72, 1
store i32 %73, i32* %10
br label %19
74: ; preds = %19
%75 = getelementptr inbounds { double, double }, { double, double }* %11, i32 0, i32 0
%76 = load double, double* %75
%77 = getelementptr inbounds { double, double }, { double, double }* %11, i32 0, i32 1
%78 = load double, double* %77
%79 = load { double, double }*, { double, double }** %6
%80 = load i32, i32* %9
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds { double, double }, { double, double }* %79, i64 %81
%83 = getelementptr inbounds { double, double }, { double, double }* %82, i32 0, i32 0
%84 = getelementptr inbounds { double, double }, { double, double }* %82, i32 0, i32 1
store double %76, double* %83
store double %78, double* %84
br label %85
85: ; preds = %74
%86 = load i32, i32* %9
%87 = add nsw i32 %86, 1
store i32 %87, i32* %9
br label %12
88: ; preds = %12
ret void
}

LLVM IR (-O2):
define void @updateSolutionLocal_CFP64({ float, float }* nocapture %0, { double, double }* nocapture writeonly %1, { double, double }* nocapture %2, i32 %3) {
%5 = icmp sgt i32 %3, 0
br i1 %5, label %6, label %59
6: ; preds = %4
%7 = zext i32 %3 to i64
%8 = zext i32 %3 to i64
br label %9
9: ; preds = %54, %6
%10 = phi i64 [ 0, %6 ], [ %57, %54 ]
%11 = mul nsw i64 %10, %7
br label %12
12: ; preds = %9, %49
%13 = phi i64 [ 0, %9 ], [ %52, %49 ]
%14 = phi <2 x double> [ zeroinitializer, %9 ], [ %51, %49 ]
%15 = add nuw nsw i64 %13, %11
%16 = getelementptr inbounds { float, float }, { float, float }* %0, i64 %15, i32 0
%17 = load float, float* %16
%18 = getelementptr inbounds { float, float }, { float, float }* %0, i64 %15, i32 1
%19 = load float, float* %18
%20 = fpext float %17 to double
%21 = fpext float %19 to double
%22 = fneg double %21
%23 = getelementptr inbounds { double, double }, { double, double }* %2, i64 %13, i32 0
%24 = bitcast double* %23 to <2 x double>*
%25 = load <2 x double>, <2 x double>* %24
%26 = insertelement <2 x double> poison, double %20, i64 0
%27 = shufflevector <2 x double> %26, <2 x double> poison, <2 x i32> zeroinitializer
%28 = fmul <2 x double> %25, %27
%29 = insertelement <2 x double> poison, double %21, i64 0
%30 = shufflevector <2 x double> %29, <2 x double> poison, <2 x i32> zeroinitializer
%31 = fmul <2 x double> %25, %30
%32 = shufflevector <2 x double> %31, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%33 = fadd <2 x double> %28, %32
%34 = fsub <2 x double> %28, %32
%35 = shufflevector <2 x double> %33, <2 x double> %34, <2 x i32> <i32 0, i32 3>
%36 = extractelement <2 x double> %33, i64 0
%37 = fcmp uno double %36, 0.000000e+00
br i1 %37, label %38, label %49
38: ; preds = %12
%39 = extractelement <2 x double> %34, i64 1
%40 = fcmp uno double %39, 0.000000e+00
br i1 %40, label %41, label %49
41: ; preds = %38
%42 = extractelement <2 x double> %25, i64 0
%43 = extractelement <2 x double> %25, i64 1
%44 = tail call { double, double } @__muldc3(double %20, double %22, double %42, double %43)
%45 = extractvalue { double, double } %44, 0
%46 = extractvalue { double, double } %44, 1
%47 = insertelement <2 x double> poison, double %45, i64 0
%48 = insertelement <2 x double> %47, double %46, i64 1
br label %49
49: ; preds = %41, %38, %12
%50 = phi <2 x double> [ %35, %12 ], [ %35, %38 ], [ %48, %41 ]
%51 = fadd <2 x double> %14, %50
%52 = add nuw nsw i64 %13, 1
%53 = icmp eq i64 %52, %8
br i1 %53, label %54, label %12
54: ; preds = %49
%55 = getelementptr inbounds { double, double }, { double, double }* %1, i64 %10, i32 0
%56 = bitcast double* %55 to <2 x double>*
store <2 x double> %51, <2 x double>* %56
%57 = add nuw nsw i64 %10, 1
%58 = icmp eq i64 %57, %8
br i1 %58, label %59, label %9
59: ; preds = %54, %4
ret void
}