_Complex double foo(_Complex double z) { return z * ~z; }


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movsd  %xmm0,-0x20(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  -0x20(%rbp),%xmm1
movsd  %xmm1,-0x60(%rbp)
movsd  -0x18(%rbp),%xmm2
movsd  %xmm2,-0x58(%rbp)
movsd  -0x20(%rbp),%xmm4
movsd  %xmm4,-0x50(%rbp)
movsd  -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm5
movsd  %xmm5,-0x48(%rbp)
movaps %xmm1,%xmm0
mulsd  %xmm4,%xmm0
movaps %xmm2,%xmm3
mulsd  %xmm5,%xmm3
mulsd  %xmm5,%xmm1
mulsd  %xmm4,%xmm2
subsd  %xmm3,%xmm0
movsd  %xmm0,-0x40(%rbp)
addsd  %xmm2,%xmm1
movsd  %xmm1,-0x38(%rbp)
ucomisd %xmm0,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  %xmm1,-0x28(%rbp)
jnp    11ce <foo+0xce>
movsd  -0x38(%rbp),%xmm1
movsd  -0x40(%rbp),%xmm0
ucomisd %xmm1,%xmm1
movsd  %xmm0,-0x30(%rbp)
movsd  %xmm1,-0x28(%rbp)
jnp    11ce <foo+0xce>
movsd  -0x48(%rbp),%xmm3
movsd  -0x50(%rbp),%xmm2
movsd  -0x58(%rbp),%xmm1
movsd  -0x60(%rbp),%xmm0
call   1200 <__muldc3>
movsd  %xmm0,-0x30(%rbp)
movsd  %xmm1,-0x28(%rbp)
movsd  -0x30(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm0
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm0,-0x8(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  -0x8(%rbp),%xmm1
add    $0x60,%rsp
pop    %rbp
ret
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)

x86 assembly (clang, -O2):
<foo>:
movapd %xmm1,%xmm2
movapd %xmm0,%xmm4
mulsd  %xmm0,%xmm4
movapd %xmm0,%xmm1
mulsd  %xmm2,%xmm1
movapd %xmm2,%xmm3
mulsd  %xmm2,%xmm3
addsd  %xmm4,%xmm3
subsd  %xmm1,%xmm1
ucomisd %xmm3,%xmm3
jp     112f <foo+0x2f>
movapd %xmm3,%xmm0
ret
ucomisd %xmm1,%xmm1
jnp    112a <foo+0x2a>
push   %rax
movapd 0xec2(%rip),%xmm3
xorpd  %xmm2,%xmm3
movapd %xmm2,%xmm1
movapd %xmm0,%xmm2
call   1160 <__muldc3>
movapd %xmm0,%xmm3
add    $0x8,%rsp
movapd %xmm3,%xmm0
ret
nopl   0x0(%rax)

LLVM IR (-O0):
define { double, double } @foo(double %0, double %1) {
%3 = alloca { double, double }
%4 = alloca { double, double }
%5 = getelementptr inbounds { double, double }, { double, double }* %4, i32 0, i32 0
store double %0, double* %5
%6 = getelementptr inbounds { double, double }, { double, double }* %4, i32 0, i32 1
store double %1, double* %6
%7 = getelementptr inbounds { double, double }, { double, double }* %4, i32 0, i32 0
%8 = load double, double* %7
%9 = getelementptr inbounds { double, double }, { double, double }* %4, i32 0, i32 1
%10 = load double, double* %9
%11 = getelementptr inbounds { double, double }, { double, double }* %4, i32 0, i32 0
%12 = load double, double* %11
%13 = getelementptr inbounds { double, double }, { double, double }* %4, i32 0, i32 1
%14 = load double, double* %13
%15 = fneg double %14
%16 = fmul double %8, %12
%17 = fmul double %10, %15
%18 = fmul double %8, %15
%19 = fmul double %10, %12
%20 = fsub double %16, %17
%21 = fadd double %18, %19
%22 = fcmp uno double %20, %20
br i1 %22, label %23, label %29
23: ; preds = %2
%24 = fcmp uno double %21, %21
br i1 %24, label %25, label %29
25: ; preds = %23
%26 = call { double, double } @__muldc3(double %8, double %10, double %12, double %15)
%27 = extractvalue { double, double } %26, 0
%28 = extractvalue { double, double } %26, 1
br label %29
29: ; preds = %25, %23, %2
%30 = phi double [ %20, %2 ], [ %20, %23 ], [ %27, %25 ]
%31 = phi double [ %21, %2 ], [ %21, %23 ], [ %28, %25 ]
%32 = getelementptr inbounds { double, double }, { double, double }* %3, i32 0, i32 0
%33 = getelementptr inbounds { double, double }, { double, double }* %3, i32 0, i32 1
store double %30, double* %32
store double %31, double* %33
%34 = load { double, double }, { double, double }* %3
ret { double, double } %34
}

LLVM IR (-O2):
define { double, double } @foo(double %0, double %1) {
%3 = fneg double %1
%4 = fmul double %0, %0
%5 = fmul double %0, %1
%6 = fmul double %1, %1
%7 = fadd double %4, %6
%8 = fsub double %5, %5
%9 = fcmp uno double %7, 0.000000e+00
br i1 %9, label %10, label %16
10: ; preds = %2
%11 = fcmp uno double %8, 0.000000e+00
br i1 %11, label %12, label %16
12: ; preds = %10
%13 = tail call { double, double } @__muldc3(double %0, double %1, double %0, double %3)
%14 = extractvalue { double, double } %13, 0
%15 = extractvalue { double, double } %13, 1
br label %16
16: ; preds = %12, %10, %2
%17 = phi double [ %7, %2 ], [ %7, %10 ], [ %14, %12 ]
%18 = phi double [ %8, %2 ], [ %8, %10 ], [ %15, %12 ]
%19 = insertvalue { double, double } poison, double %17, 0
%20 = insertvalue { double, double } %19, double %18, 1
ret { double, double } %20
}